Questions tagged [t-structure]

$t$-structure is a structure imposed on triangulated categories, first introduced in Beilinson, Bernstein, Deligne's "Faisceaux Pervers".

Filter by
Sorted by
Tagged with
1 vote
0 answers
149 views

Are there any relations between perverse t-structure (cohomologies) and standard t-structure (cohomologies)?

I'm reading the Corollary 3.2.3. in Exponential motives by J. Fresan and P. Jossen. The authors use the following statement in the proof of Corollary 3.2.3: let $C$ be any object in the derived ...
Mathstudent's user avatar
2 votes
0 answers
114 views

Local systems as a Serre subcategory of the category of perverse sheaves

Let $X$ be an algebraic variety. Let $Perv(X)$ be the (abelian) category of perverse sheaves on $X$ and let $Loc^{ft}(X)$ be the subcategory of local systems with finitely-generated stalks. It is ...
Laurent Cote's user avatar
2 votes
0 answers
120 views

When semi-simple subcategories "extend" to hearts of t-structures?

Let $A$ be a semi-simple abelian subcategory of a triangulated category $C$ that "generates" $A$ (that is, $C$ equals its own smallest triangulated subcategory that is closed under direct ...
Mikhail Bondarko's user avatar
5 votes
0 answers
272 views

Tensor product of t-structures compatible with filtered colimits

Let $C,D$ be two stable presentable $(\infty,1)$-categories, equipped with accessible t-structures. Then you can define an accessible t-structure on $C\otimes D$ by having $(C\otimes D)_{\geq 0}$ be ...
dhy's user avatar
  • 5,866
5 votes
0 answers
167 views

Which t-structure extend from subcategories of compact objects uniquely?

Let $T$ be a compactly generated triangulated category, that is, $T$ is closed with respect to small coproducts and equals its own smallest triangulated subcategory closed with respect to coproducts ...
Mikhail Bondarko's user avatar
4 votes
0 answers
135 views

Bounded derived categories of which smooth projectives possess bounded t-structures whose hearts have enough injectives?

For which smooth projective $P$ over a field there exists a bounded $t$-structure $t$ on the bounded derived category of coherent sheaves $D^b(P)$ such the heart $Ht$ of $t$ has enough injectives? ...
Mikhail Bondarko's user avatar
7 votes
1 answer
583 views

Heart of a bounded $t$-structure on the derived category of coherent sheaves

Let $X$ be an elliptic curve and $D(X)$ the bounded derived category of $Coh(X)$, coherent sheaves on $X$. If $(D^{\leq 0}, D^{>0})$ is a bounded $t$-structure, then can we already say that the ...
user12344321's user avatar
2 votes
0 answers
102 views

Semi-stable bundles as a heart of a t-structure

Given an algebraic curve, the category of semi-stable vector bundles of fixed slope forms an abelian category see here page 2. This is surprising as the vector bundles themselves are not an abelian ...
user127776's user avatar
  • 5,821
4 votes
0 answers
288 views

Which derived categories of coherent sheaves are equivalent (or "$t$-related") to derived categories of rings?

As far as I understand, it was Beilinson who proved that the bounded derived category of coherent sheaves $D^b(\mathbb{P}^n)$ is equivalent to the bounded derived category of a certain (non-...
Mikhail Bondarko's user avatar
3 votes
0 answers
184 views

Who introduced the heart ($\mathcal{C}^\heartsuit$) notation in the context of $t$-structures on triangulated categories?

In the context of $t$-structures ([Wikipedia], [nLab], [Notes I], [Notes II], [HA, Definition 1.2.1.11)], [BBD, Définition 1.3.1]), one often writes $\mathcal{C}^\heartsuit$ for the heart of a ...
Emily's user avatar
  • 10k
7 votes
2 answers
511 views

Chromatic t-structures?

Questions: Fix a prime $p$ and $n \in \mathbb N_{\geq 1}$. Does the category $Sp_{K(n)}$ of $K(n)$-local spectra admit a nontrivial $t$-structure? By "nontrivial", I simply mean that $\{0\}...
Tim Campion's user avatar
  • 60.5k
11 votes
2 answers
1k views

The relation between t-structures and derived category

Let $\mathcal{D}$ be a triangulated category and a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, $\mathcal{A}=\mathcal{D}^{\leq 0} \cap ...
Amos Kaminski's user avatar
3 votes
1 answer
419 views

Monoidality of truncation of spectra

If $X$ is a spectrum, we have a notion of its connective part $X_{\le 0}$ and the corresponding notion of truncation $X_{[i:j]} = X_{\le j}/X_{\le i-1}$, where $X_{\le j}$ is deduced from $X_{\le 0}$ ...
Dmitry Vaintrob's user avatar
5 votes
2 answers
953 views

On various relations between "additional axioms" for AB4 and Grothendieck abelian categories

Let $A$ be an abelian category that has a generator and satisfies the AB4 axiom. I would like to understand (better) the relations between various additional "restrictions" on $A$. So here is my list ...
Mikhail Bondarko's user avatar
1 vote
0 answers
81 views

When the tensor product of motives that are not $0$-(homotopy)-connective can be $0$-connective?

For $t$ being the homotopy $t$-structure for Voevodsky effective motivic complexes when $M\otimes N\in DM_{eff}^{t\le -1}$ ensures that either $M$ or $N$ belongs to $DM_{eff}^{t\le -1}$ (so, we use ...
Mikhail Bondarko's user avatar
7 votes
0 answers
353 views

Understanding homotopy t-structure

The following question came up while reading Hoyois' From algebraic cobordism to motivic cohomology. Let $S$ be a Noetherian scheme of finite Krull dimension and let $SH(S)$ denote the homotopy ...
Anandam Banerjee's user avatar
4 votes
0 answers
257 views

What is the structure of the stack of complexes supported in dimension less than r?

Let $X$ be something. (smooth and projective variety over C are my assumptions) The stack $M$ parameterising coherent sheaves on $X$ splits as a disjoint union of open and closed substacks $M_\alpha$, ...
Jacob Bell's user avatar
  • 1,275
20 votes
2 answers
4k views

The derived category of the heart of a t-structure

Suppose $\mathcal{D}$ is a triangulated category and that we are given a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, $\mathcal{A}=\...
user4601931's user avatar
12 votes
1 answer
2k views

got any tricks to build up t-structures on derived categories?

Are there any good tricks to construct a heart of a t-structure? (I'm thinking on the derived category of coherent sheaves of some variety) I'll start with the only one I know. If $(T,F)$ is a ...
Jacob Bell's user avatar
  • 1,275
10 votes
1 answer
810 views

How does one interpret the naive t-structure on constructible sheaves as a t-structure on D-modules?

By the Riemann-Hilbert correspondence, there is an equivalence between (1) $\mathcal{D}\operatorname{-mod}(X)$ , the (derived) category of holonomic D-modules on a complex variety X, and (2) ...
Hiro Lee Tanaka's user avatar
4 votes
1 answer
559 views

reference for a result on thick subcategories and t-structures

A thick subcategory of a triangulated category $C$ is essentially one that one can get away with declaring to be zero, i.e. it is the subcategory which sent to 0 when declares that all maps whose ...
Ben Webster's user avatar
  • 43.9k
14 votes
2 answers
3k views

What is the relationship between t-structure and Torsion pair?

I am away from Torsion theory in abelian category for some while. So it might be a stupid question. The definition of a torsion pair in the category of modules is as follows: Definition: A pair $(\...
Shizhuo Zhang's user avatar