**1**

vote

**0**answers

115 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

314 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

238 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

319 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

234 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

217 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

126 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

202 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

131 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

505 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

557 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

281 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

189 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

131 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

441 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

329 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

189 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, ...

**4**

votes

**1**answer

288 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

297 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

184 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 ...

**12**

votes

**0**answers

392 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

844 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

60 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 ...

**3**

votes

**1**answer

915 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 ...

**8**

votes

**1**answer

607 views

### Cohomological functor from triangulated category

Say we have a cohomological functor F from a triangulated category $C$ to the category $Ab$ of abelian groups, e.g. $F=Hom(x,-)$, where x is an object in $C$. By definition, such a functor transform ...

**17**

votes

**2**answers

977 views

### Why not define triangulated categories using a mapping cone functor?

Recall that the usual definition of a triangulated category is an additive category equipped with a self equivalence called $[1]$ in which certain diagrams, of the form $X \to Y \to Z \to X[1]$ are ...

**15**

votes

**4**answers

1k views

### Proof that the homotopy category of a stable $\infty$-category is triangulated

I've been looking at various general strategies for proving that some category is triangulated, and Lurie manages to prove that a huge class of interesting examples of categories that we know about ...

**9**

votes

**2**answers

429 views

### Does a triangulated category that possesses a subcategory $B$ of generators with no extensions of non-zero degree between them have to be isomorphic to $K^b(B)$?

Suppose that a triangulated category $C$ contains a full additive subcategory $B$ of (strong) generators (i.e. there does not exist a proper strict triangulated subcategory $C'\subset C$ that contains ...

**0**

votes

**0**answers

557 views

### Neeman's Lemma 1.4.4 (in his book on triangulated categories)

When proving Lemma 1.4.4 in his book on triangulated categories, Neeman asserts that a certain mapping cone splits into a direct sum of three candidate triangles. I'm unable to see why this is so. ...

**2**

votes

**0**answers

131 views

### On 'graded polarizable' triangulated categories; are there any mixed Galois module analogues known? Also on mixed realizations

There is a construction by Beilinson (in section 3 of "Notes on absolute Hodge cohomology") of the derived category of graded polarizable mixed Hodge complexes; he also proved that this category is ...

**1**

vote

**0**answers

42 views

### Any examples known of $K^b(B)$ localized by a set of morphisms (i.e. of complexes of length 1)?

I would like to understand the following setting: for an additive $B$ localize $K^b(B)$ by a set of $B$-morphisms (i.e. by a thick triangulated subcategory generated by some set of two-term ...

**7**

votes

**4**answers

802 views

### Intuition about the triangulation of a homotopy category K(A)

Let $\cal{A}$ be an additive category. Given a morphism of (cochain) complexes $f:X\rightarrow Y$ we can form the mapping cone $C_f$, which is the complex $X[1]\oplus Y$ with differential given by
...

**9**

votes

**4**answers

600 views

### Glueing triangulated categories

Hello!
Given a triangulated category, one can look for semiorthogonal decompositions into (simpler?) triangulated subcategories.
I'd like to know if there's a way to attack the opposite problem, ...

**7**

votes

**0**answers

276 views

### The residue class functor from a Frobenius category to its stable category induces a functor on cube-shaped diagrams - is it dense?

Let $\mathcal{E}$ be a Frobenius category, i.e. an exact category with sufficiently many bijective objects. (Such as e.g. the category of complexes over an additive category.)
Let ...

**7**

votes

**1**answer

1k views

### Showing the category of perfect complexes on a scheme is essentially small

So I've tried to set up a few meetings with professors to talk about this, but I think one of them forgot about it after a big conference, and the other is still on vacation... in the meantime...
At ...

**3**

votes

**3**answers

358 views

### Sequential colim vs sequential hocolim

Suppose we have some homotopical setting in which we can speak of homotopy colimits. The setting I have in mind at the moment is that of a compactly generated triangulated category with a model, but ...

**8**

votes

**1**answer

665 views

### Do homotopy colimits always commute with homotopy colimits?

Do homotopy colimits commute with homotopy colimits? The setting I am thinking of is that of a triangulated category with a model, but it would be interesting to have more general answers as well. A ...

**7**

votes

**3**answers

715 views

### If a colimit of distinguished triangles exists, is it also a distinguished triangle?

Consider the following situation in some triangulated category: We are given a collection of distinguished triangles $A_n \to B_n \to C_n \to A_n[1]$ indexed by the natural numbers, together with maps ...

**33**

votes

**3**answers

2k views

### Pre-triangulated category that isn't triangulated

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this ...

**22**

votes

**3**answers

1k views

### t-structures and higher categories?

I'm curious to find out where the viewpoint of higher categories may be useful so here is a somewhat vague question (which may or may not have a reasonable answer).
Given a triangulated category, one ...

**6**

votes

**3**answers

1k views

### A toy example of a tensor triangulated category?

I've been reading Paul Balmer's paper about constructing a "spectrum of prime ideals" on (essentially small) tensor triangulated category in order to then classify thick subcategories. This is all ...

**7**

votes

**2**answers

425 views

### Is the tensorproduct of a triangulated category with a ring again triangulated?

$\underline{Background}$ :
Suppose $\tau$ is a preadditive category and $R$ a ring. Then one may form a new preadditive category $\tau \otimes R$ in the following way:
$\tau \otimes R$ has the same ...

**3**

votes

**1**answer

516 views

### Do exact faithful functors between triangulated categories detect semi-simplicity?

Recall that in a triangulated category, all monomorphisms split (have a retraction). Let $F:C\to D$ be an exact functor between triangulated categories. It is an easy exercise to see that if $F$ is ...

**0**

votes

**3**answers

671 views

### The (upper hat of) an octahedral diagram in (la)tex

I would like to draw an octahedral diagram in my paper; I would prefer to present it as the 'upper hat' + the 'lower hat' (as it is common in the texts on triangulated categories). Could anyone tell ...

**5**

votes

**3**answers

472 views

### Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?

Consider two (distinct) octahedral diagrams i.e. diagrams mentioned in the octahedron axioms of triangulated categories (with four 'commutative triangular faces' and four 'distinguished triangular ...

**4**

votes

**1**answer

458 views

### Morphisms between pure complexes of sheaves

I would like to understand the theory of pure complexes of (etale?) sheaves (of geometric origin?). In particular, I would like to understand which conditions are realy necessary in (part 1 of) ...

**9**

votes

**1**answer

719 views

### How to write down the determinant of a quasi-isomorphism?

This question about the determinant of a perfect complex reminded me of an old question that I had.
The construction of the determinant (as in MR1914072 or MR0437541) is a difficult piece of ...

**13**

votes

**0**answers

506 views

### When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy.
...