**16**

votes

**0**answers

309 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**16**

votes

**0**answers

309 views

### Is there a cotangent bundle of a stable $\infty$-category?

Let $C$ be a stable $\infty$-category. Is there any categorical construction $C \mapsto T^* C$, where $T^* C$ is another stable $\infty$-category, that specializes to the following?
When $C$ is the ...

**12**

votes

**0**answers

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

**10**

votes

**0**answers

168 views

### A tensor product for triangulated categories?

Many triangulated categories which show up in mathematics, such as derived categories of various sorts, arise as the homotopy category of a stable $\infty$-category.
Stable $\infty$-categories give ...

**7**

votes

**0**answers

223 views

### Do there exist “non-algebraic tensor products” for “algebraic” triangulated categories?

Let us call a triangulated category algebraic if it admits a differential graded enhancement (i.e., an enrichment in complexes of abelian groups). Certainly, there is a notion of a tensor product on ...

**7**

votes

**0**answers

410 views

### Use of derivators to the theory of motives?

This is a rather imprecise question but i think this could become a interesting pool of ideas and comments.
The theory of motives has evolved to a complex field of research the moment Voevodsky (and ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

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

**6**

votes

**0**answers

96 views

### t-structures on the tensor product of stable $\infty$-categories, II

I fork from this thread, a bunch of questions stemmed from a private conversation about that thread. Speculating a bit on the definition of the tensor operation between t-structures generated some ...

**6**

votes

**0**answers

185 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)$? ...

**5**

votes

**0**answers

222 views

### Do differential objects form triangulated categories?

Let $\mathcal{A}$ be a (fixed) additive category. To a differential object $(A,a)$ for $\mathcal{A}$ (so, $a:A\to A$ and $a^2=0$) one may associate an $\mathcal{A}$-complex $\dots \to ...

**4**

votes

**0**answers

193 views

### Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain ...

**4**

votes

**0**answers

245 views

### On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes

Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...

**4**

votes

**0**answers

185 views

### 2-periodic derived equivalence

Let $A$ and $B$ be finite-dimensional algebras with finite global dimension over some field (in fact I am thinking of rational incidence algebras of finite posets).
Suppose we know that $A$ and $B$ ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

140 views

### Can one complete a morphism of commutative triangles to a “commutative cube” in a triangulated category?

This question is a continuation of Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?.
I am deeply grateful for the contributions there; they roughly say that ...

**3**

votes

**0**answers

131 views

### When there exists some “cone” of a morphism of (ind-representable) cohomological functors?

I am interested in cohomological functors from a certain small triangulated category $C$ to abelian groups.
The question is: given a tranformation $F\to G$ of two functors of this sort, is it ...

**3**

votes

**0**answers

90 views

### About some distributive laws in the Bousfield lattice

It is know that for any $\alpha$-well generated tensor triangulated category $\mathcal{T}$ the collection of Bousfield classes forms a set, furthermore this set is a complete lattice, denoted by ...

**3**

votes

**0**answers

252 views

### Functor of points of a tensor triangulated category

Is there is a functor of points approach to tensor triangulated categories parallel to Balmer's theory of prime spectra?
Given a tensor triangulated category $\mathcal{T}$ an $R$-point can be ...

**3**

votes

**0**answers

159 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

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

46 views

### An equivalence between projective modules over the preprojective algebra and an orbit category

Let $Q$ be a Dynkin quiver, and let $kQ$ be its path algebra over some field k. Let $\Pi$ be the preprojective algebra of $Q$. Then (c.f. Section 7.3 of Keller's On Triangulated Orbit Categories) the ...

**2**

votes

**0**answers

118 views

### Full exceptional collections in derived category of coherent sheaves on non-compact varieties

Let $X$ be a smooth algebraic variety over $\mathbb{C}$, and $D^b(X)$ its bounded derived category of coherent sheaves. Then a full exceptional collection will lead to significant simplifications in ...

**2**

votes

**0**answers

82 views

### TTF triples are recollements

The notion of recollement
$$
\mathcal{A}'
\stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}}
...

**2**

votes

**0**answers

100 views

### Is there any numerical obstruction for all perfect complexes on a scheme being strictly perfect?

Let $X$ be a scheme and $E^{\cdot}$ be a cochain complex of sheaves of $\mathcal{O}_X$-modules.
We call $E^{\cdot}$ a strictly perfect complex if $E^{\cdot}$ is a bounded (in both direction) complex ...

**2**

votes

**0**answers

247 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

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

**2**

votes

**0**answers

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

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

**2**

votes

**0**answers

133 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

111 views

### What are some standard operations on the set of localizations of a triangulated category?

Let $C$ be a triangulated category, and $D \subset C$ a triangulated subcategory whose inclusion functor admits a right adjoint. Say that a map $x \to y$ in $C$ is a "D-equivalence" if its cone ...

**1**

vote

**0**answers

66 views

### Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with ...

**1**

vote

**0**answers

91 views

### $n$-recollements and perverse t-structures

A recent preprint on arXiv brought my attention on the notion of $n$-recollement (def. 2) a generalization of the notion of recollement among three abelian or triangulated categories behaving like a ...

**1**

vote

**0**answers

82 views

### Extending natural transformations of triangulated functors on $D^b(\mathbb P^1)$

Let $\mathcal T = D^b(\mathbb P^1)$, the bounded derived category of $\mathbb P^1$ over a field $k$. It is well known that $\mathcal T$ admits a strong and full exceptional sequence $\{\mathcal O, ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

56 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

**0**answers

256 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

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

120 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

**0**answers

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

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

**0**

votes

**0**answers

40 views

### Equivalence between recollements

Suppose you have a pair of recollements
$$
\mathcal{A}'
\stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}}
...

**0**

votes

**0**answers

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