**1**

vote

**0**answers

125 views

### Towards an enhanced version of homological mirror symmetry for affine varieties

Let $X$ and $X^\vee$ be a mirror pair, homological mirror symmetry relates the symplectic geometry of $X$ to the complex geometry of $X^\vee$ via the equivalence of triangulated categories
...

**2**

votes

**0**answers

95 views

### Do all full exceptional sequences of a triangulated category have the same length?

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an ...

**1**

vote

**0**answers

104 views

### Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...

**2**

votes

**0**answers

104 views

### Perf($\mathscr{A}$) and perfect chain complexes

Suppose $\mathscr{A}$ is a dg category and $ \mathcal{D} (\mathscr{A})$ its associated derived category. For an object in $ a \in \mathscr{A}$ there is associated (right )dg $ \mathscr{A}$ module, $ ...

**3**

votes

**1**answer

185 views

### $t$-structure on modules over highly structured ring spectra

Let $Sp$ be a suitably nice model of a suitably nice category of spectra. By this I mean that $Sp$ is a symmetric monoidal closed stable model category, where we can make sense of homotopy "groups" ...

**3**

votes

**0**answers

82 views

### composition of t-structures “par recollement”

It is a classical result in Beilinson-Bernstein-Deligne's "Faisceaux Pervers" (thm. 1.4.9) that given three triangulated categories $\mathbf{D}_0, \mathbf{D}_1, \mathbf{D}_{01}$ and a recollement ...

**5**

votes

**0**answers

127 views

### Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...

**1**

vote

**0**answers

39 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
be a diagram in $Z^0(\mathcal A)$, where the rows are ...

**1**

vote

**1**answer

300 views

### Why does Neeman avoid t-structures?

I have a simple question: the book "Triangulated Categories" by A. Neeman aims to be an exhaustive reference about the whole (basic) theory of triangulated categories. So why there is only a single ...

**1**

vote

**1**answer

75 views

### On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if
...

**9**

votes

**1**answer

228 views

### Verdier localization for stable $\infty$-categories

Verdier localization is one of the more intuitive ways to localize a triangulated category, "killing" a suitable class of objects via a functor which is universal with respect to this property.
I ...

**4**

votes

**1**answer

348 views

### Proof without using Yoneda's lemma?

Let $\mathscr{T}$ be atriangulated category.
The third axiom for triangulated categories, namely,
if in the diagram
$$\begin{array} 0X ...

**3**

votes

**1**answer

238 views

### Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations).
Let A,B be two hearts of ...

**3**

votes

**3**answers

271 views

### Adams Spectral Sequence for Triangulated Categories

We have the Adams SS with
$$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$
where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients.
I was wondering if there is a SS for ...

**10**

votes

**1**answer

298 views

### What is Known about the $K$-Theory of Fukaya Categories?

Some Background: In Kontsevich and Soibelman's theory of motivic DT-invariants, one is interested in something like the ``number'' of objects in a 3-Calabi-Yau category $\mathcal{C}$ having a fixed ...

**2**

votes

**2**answers

142 views

### When is a triangulated category uniquely determined by its generators?

Notation: Let $\mathcal T$ be a triangulated category, and let $\mathcal E$ be a full subcategory of $\mathcal T$. I write $\langle \mathcal E \rangle$ to indicate the smallest strictly full ...

**1**

vote

**0**answers

110 views

### Bootstrap subcategory abelian?

In the book "K-Theory for Operator Algebras" by Bruce Blackadar, the exercise 23.15.8. on page 246 says:
"Let KKN be the full subcategory of KK with objects in N. Show that KKN is abelian category by ...

**1**

vote

**0**answers

186 views

### Factorization systems in a triangulated/stable category

Google is of little help when questioned about "factorization systems in a triangulated category". Are there informations about them? Are there "natural" (meaning: "obviously defined") OFS/WFS in a ...

**0**

votes

**0**answers

72 views

### when does a “triangulated” functor factor over the homotopy category?

The setup is as follows:
We have the category $C$ of chain complexes over some additive/abelian category and want to pass to the category $K$ of chain complexes modulo homotopy.
So we have an ...

**3**

votes

**1**answer

213 views

### Why should noncommutative CYs be dgas?

For a (commutative) CY manifold of dimension $n$, Serre duality implies that there are ifunctorial isomorphisms
$$\operatorname{Hom}_{D^b(X)}(E,F)\cong\operatorname{Hom}_{D^b(X)}(F,E[n])^*$$
in the ...

**2**

votes

**0**answers

133 views

### Neeman's homotopy limits in stable $\infty$-categories

Related question (I hoped to turn this into an answer for the user, but in the end it became a question on its own right!): this
In the book
Neeman, Amnon. Triangulated categories. No. 148. ...

**5**

votes

**1**answer

185 views

### How to show twisted complexes over a DG category is again a DG category?

In Bondal and Kapranov's paper enhanced triangulated categories, a twisted complex over a DG category $A$ is a set $\{(E_i)_{i\in \mathbb Z}, q_{ij}: E_i\to E_j\}$, where $E_i$ are objects in $A$, ...

**8**

votes

**3**answers

201 views

### Is 'the' homotopy colimit of a sequence of exact triangles an exact triangle?

Let
$$
\begin{array}{rccccl}
A_0&\to& B_0&\to& C_0&\to\\
\downarrow & &\downarrow&&\downarrow\\
A_1&\to& B_1&\to& C_1&\to\\
\downarrow & ...

**3**

votes

**1**answer

201 views

### Full exceptional set on flag variety

Define a full exceptional set in a triangulated category to be a partially ordered set of objects $\Delta_i$ which generate the category and such that $\text{Ext}^\bullet(\Delta_i, \Delta_j) = 0$ ...

**1**

vote

**0**answers

112 views

### The right (not the left 'Suslin complex' one) adjoint to the embedding of $ DM^{eff} $ into $D(ShvTr) $?

Inside the derived category of Nisnevich sheaves with transfers there is the category $DM^{eff} $ of Voevodsky's effective motivic complexes (actually, Voevodsky only considered bounded above ...

**1**

vote

**1**answer

296 views

### A $2$-torsion version of the motivic stable homotopy category?

For a field $k$ there exists the motivic stable homotopy $SH(k)$; it is compactly generated. My question: does there exist a 'reasonable' functor $p$ from $SH(k)$ to a certain triangulated category ...

**2**

votes

**2**answers

202 views

### Cool Examples of Localisation in Triangulated Cats Besides the Usual

In the theory of triangulated categories there is a hefty literature on localisation -- the most common example in algebra being (variants of) localising the homotopy category of chain complexes over ...

**9**

votes

**1**answer

276 views

### Is $\mathcal{D} \bigl( \mathrm{QCoh}(\mathfrak{X}) \bigr)$ compactly generated?

An object $E$ in a triangulated category $\mathcal{T}$ with (small) coproducts is called compact if the functor $\mathrm{Hom}_{\mathcal{T}}(E,-)$ commutes with arbitrary coproducts or, equivalently, ...

**4**

votes

**1**answer

216 views

### Is the functor $mod(Tw\mathcal{C})\rightarrow mod(\mathcal{C})$ cohomologically full and faithful?

Let $\mathcal{C}$ be a $c$-unital $A_\infty$-category. If $\mathcal{A}$ is a $c$-unital and triangulated $A_\infty$-category, then there is a $c$-unital $A_\infty$- functor
$$Tw: ...

**3**

votes

**1**answer

187 views

### Bousfield localization before and after taking homotopy

The ncatlab says:
Under suitable conditions it should be true that for $C$ a model category whose homotopy category $\mathrm{Ho}(C)$ is a triangulated category the homotopy category of a left ...

**5**

votes

**1**answer

112 views

### Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it:
The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...

**2**

votes

**0**answers

193 views

### How do I find abelian subcategories of periodic triangulated categories?

If $T$ is a triangulated category, then the formalism of $t$-structures gives a way to find abelian subcategories inside. You're supposed to find two strictly full subcategories, $T^{\le 0}, T^{\ge ...

**3**

votes

**0**answers

129 views

### Relationship of additive and triangulated structures in the triangulated cateogry

In the triangulated category $T$, say we have two distinguished triangles: $$X \xrightarrow{f} Y \rightarrow C_f \rightarrow X[1], $$ $$ X \xrightarrow{g} Y \rightarrow C_g \rightarrow X[1]$$ Of ...

**2**

votes

**5**answers

411 views

### A statement for a triangulated category generated by a subset

Let $D$ be a triangulated category (the triangulated category in my mind is $D^{b}(X)$, that is the derived category of bounded complex of coherent sheaves on a smooth projective variety), $A \subset ...

**1**

vote

**1**answer

545 views

### Where should one go to learn about triangulated categories?

Lurie's book, higher topos theory describes a new notion of a triangulated category, which is apparently much more natural than the usual definition. Obviously by now a great deal of work has been ...

**2**

votes

**1**answer

247 views

### Generators of Thick Subcategories

Suppose we are given a thick subcategory of the compact objects in the homotopy category of modules over a ring spectrum $R$. Are there conditions we can place on $R$, or on the category (compact) ...

**4**

votes

**1**answer

168 views

### Stable equivalence and triangle stable equivalence of selfinjective algebras

Two (finite-dimensional) $k$-algebras $A$ and $B$ are said to be stable equivalent if their stable module categories $\underline{\rm mod}(A)$ and $\underline{\rm mod}(B)$ are equivalent as $k$-linear ...

**3**

votes

**0**answers

119 views

### Right Notion of Localizing Subcategory in Quasicategory

Given a stable quasicategory $C$, what are the conditions required of a subcategory for it to descend to a localizing subcategory in $Ho(C)$? Is it enough for it to be reflective? Perhaps exact and ...

**5**

votes

**2**answers

368 views

### Resolutions of unbounded complexes and homotopy (co)limits.

I want to understand once and for all what the resolution of an unbounded complex is. I've been trying to read 'Homotopy limits in triangulated categories' by Marcel Bokstedt and Amnon Neeman and ...

**3**

votes

**0**answers

303 views

### Good morphisms of distinguished triangles: can Neeman's method be applied to the motivic stable homotopy category?

It is well known that non-uniqueness of a cone for a morphism in a triangulated category $C$ makes constructing exact functors (of triangulated categories) a difficult task. In section 3 of his "Some ...

**1**

vote

**0**answers

170 views

### The homotopy colimit of a tower of triangles

Set the framework to be a triangulated category with all set indexed coproducts.
In "Relative Homological Algebra and Purity in Triangulated Categories", J. of Algebra 227, (2000), pp. 268- 361, ...

**3**

votes

**1**answer

258 views

### Is the stable homotopy category idempotent complete?

Is the stable homotopy category idempotent complete? I have not been able to prove it, and the proof for abelian groups seems to strongly rely on looking at elements.
Thanks,
Jon

**2**

votes

**1**answer

294 views

### Showing morphism of sheaves is zero

I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...

**7**

votes

**0**answers

168 views

### Enriched triangulated categories

If $V$ is a monoidal model category, then its homotopy category $\mathrm{Ho}(V)$ is a monoidal category. Similarly, if $M$ is a $V$-model category, then $\mathrm{Ho}(M)$ is a ...

**10**

votes

**0**answers

367 views

### The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...

**0**

votes

**1**answer

693 views

### Terminology - subcategories of Abelian categories

Hello,
I have terminological question. Consider the following properties of a full subcategory $B \subset A$, where $A$ is an abelian category, and we assume $B$ to be closed under finite direct ...

**12**

votes

**3**answers

1k views

### Stable homotopy category and the moduli space of formal groups

The usual disclaimer applies: I'm new to all this stuff, so be gentle.
It seems like the spectrum, as defined by Balmer, of the stable homotopy category of finite complexes is something like ...

**2**

votes

**0**answers

58 views

### Computing morphisms in localizations of $K(B)$

Let $B$ be an additive category (a small one; one can assume that it is a $\mathbb{Q}$-category, yet not much else is known about it). Given a set of objects $S$ of $K^b(B)$ (or $K(B)$), I consider ...

**2**

votes

**1**answer

895 views

### Where could I publish an average paper on triangulated categories?

I have a rather abstract paper on triangulated categories; I would say that it is of average size and quality. I want to find an appropriate journal to publish it; I would like it to be accepted in ...

**9**

votes

**3**answers

1k views

### Derived categories of (coherent) sheaves of modules: exceptional images, gluing, and proper descent?

I am interested in the properties of (the derived categories) of various categories of (coherent) sheaves of modules (over varieties). I would like to understand in what extent these properties are ...