# All Questions

Tagged with higher-category-theory homological-algebra

20
questions

**2**

votes

**0**answers

129 views

### $\omega$-categorical algebra

Let us consider a 1-category $C$. For any commutative and unital ring $k$ the the free $k$-module generated by the morphisms of $C$ can be equipped with an algebra structure by setting $fg$ to be ...

**3**

votes

**0**answers

180 views

### Cell structure on $B\mathbb{G}$ and the bar resolution of $\mathbb{G}$

Consider $\mathbb{G}$, which can be viewed as a group, as well as a 2-group.
(For example, given a short exact sequence
$$
1 \to BG_2 \to \mathbb{G} \to G_1 \to 1
$$
and the fiber sequence:
$$
B^2G_2 ...

**2**

votes

**2**answers

184 views

### Spelling out explicitly the data of a two step filtration in terms of pieces and gluing data

Let $V$ be an object of some stable infinity category (nothing is lost by taking spectra but I see no reason to state the question in this way as it is irrelevant) and suppose we have a two step ...

**62**

votes

**2**answers

5k views

### What is Homology anyway?

Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...

**3**

votes

**0**answers

48 views

### Can one relate $K_0$ of an $A_\infty$-category $\mathcal A$ to $K_0(Fun_{A_\infty}(\mathcal A, \mathcal A))$?

For an $A_\infty$-category $\mathcal A$, one defines the group $K_0(\mathcal A)$ by
$$K_0(\mathcal A) := \mathbb Z \operatorname{Ob} \operatorname{Tw} \mathcal A / \left<[A]+[B]-[C]\right>$$
...

**7**

votes

**0**answers

226 views

### Identifying and reconstructing the derived category from its auto-equivalences

Background: Given a smooth irreducible algebraic variety $Y$ with $\omega_Y$ or $\omega_Y^{-1}$ ample. Then Bondal-Orlov theorem states that if there exists any other smooth algebraic variety $Y'$ ...

**2**

votes

**0**answers

108 views

### homotopy quotient categories [closed]

(Trying to rephrase an earlier question)
In topology, a continuous map $f: X \to Y$ has a ``homotopy cofiber" $Cf$ included in a cofiber sequence
$$
X \to Y \to Cf \to \Sigma X \to \Sigma Y \to \...

**6**

votes

**1**answer

228 views

### Switching left and right adjoints in recollement situations

In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors
$$
...

**5**

votes

**2**answers

273 views

### Do $RHom(C,D)$ and $DG(C,D)$ have equivalent homotopy categories?

Toen in The homotopy theory of dg-categories and derived Morita theory Section 6 introduced the internal Hom's between dg-categories. Actually for two dg-categories $C$ and $D$, Toen defined
$$
RHom(C,...

**9**

votes

**1**answer

433 views

### derived categories as presentable DG-categories

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and ...

**1**

vote

**0**answers

79 views

### Reconstructing an isomorphism of exact triangles in the homotopy cat. of a dg-cat. using a functorially induced isomorphism between cones

This question is strictly related to this other one.
Let $\mathcal A$ be a (strongly) pretriangulated dg-category over a field $k$. Let
(source: presheaf.com)
be a diagram in $Z^0(\mathcal A)$, ...

**5**

votes

**2**answers

431 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...

**2**

votes

**1**answer

311 views

### Could we extend the Atiyah class to the sheaf of poly-vector fields to get a Poisson bracket?

Let $X$ be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...

**13**

votes

**4**answers

1k views

### What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction to the global existence ...

**8**

votes

**1**answer

340 views

### Analogue of cyclic homology for e_n-algebras?

Cyclic homology may be defined as the primitive part (with respect to a natural product) of the homology of the Lie algebra associated with the "stabilization" of an associative algebra $A$. Here the "...