1 Definition and basic ideas

A t-structure is a way to organize the objects of a triangulated category into two complementary classes that behave like “nonpositive” and “nonnegative” objects. The notion is designed to extend familiar truncation procedures from complexes to much more abstract settings. Its main value lies in producing an abelian category, called the heart, inside a triangulated category.

1.1 Motivation from derived categories

Derived categories arise when chain complexes are studied up to quasi-isomorphism rather than term-by-term equality. In that setting, ordinary cohomological grading still suggests a separation into degrees above and below zero. A t-structure captures this separation abstractly, even when objects are not literally complexes. This makes it possible to transfer methods from homological algebra to broader contexts.

1.2 Intuitive interpretation

The two halves of a t-structure can be thought of as generalizations of objects concentrated in degrees at most zero and at least zero. The overlap of these halves forms the heart, where objects behave like ordinary abelian objects. In this sense, a t-structure identifies a “middle layer” inside a triangulated category, with the rest of the category decomposed around it.

1.3 Relation to truncation

In the derived category of complexes, truncation discards parts of a complex above or below a given degree. A t-structure abstracts this by requiring that every object fit into a distinguished triangle resembling such a truncation. These triangles are the mechanism that connects the two halves and makes cohomological analysis possible.

2 Formal definition

A t-structure on a triangulated category is specified by two full subcategories satisfying a small set of axioms. These axioms ensure compatibility with shifts, orthogonality between the two halves, and the existence of canonical truncation triangles. Together they impose a rigid but flexible framework.

2.1 Axioms of a t-structure

Let \(\mathcal{D}\) be a triangulated category. A t-structure is a pair of full subcategories \((\mathcal{D}^{\le 0}, \mathcal{D}^{\ge 0})\) satisfying three main conditions: one subcategory is stable under shift in one direction, the other is stable under shift in the opposite direction, and there is a vanishing condition for morphisms from the first to the shifted second. In addition, every object of \(\mathcal{D}\) must admit a decomposition triangle built from these subcategories.

2.2 Nonpositive and nonnegative subcategories

The notation \(\mathcal{D}^{\le 0}\) and \(\mathcal{D}^{\ge 0}\) reflects the analogy with complexes. Objects in \(\mathcal{D}^{\le 0}\) are regarded as nonpositive, while objects in \(\mathcal{D}^{\ge 0}\) are regarded as nonnegative. More generally, one defines shifted versions \(\mathcal{D}^{\le n}\) and \(\mathcal{D}^{\ge n}\) by applying the suspension functor.

2.3 Shift stability

Shift stability means that the two subcategories remain inside themselves after suitable shifts. Concretely, the nonpositive part is closed under shifting by one step toward lower degrees, while the nonnegative part is closed under shifting by one step toward higher degrees. This mirrors the behavior of truncation in complexes and ensures consistency across all degrees.

2.4 Orthogonality condition

The orthogonality axiom requires that morphisms from an object in the nonpositive part to a shifted object in the nonnegative part vanish in a prescribed range. This expresses the idea that the two halves do not overlap in an incompatible way. It is essential for the uniqueness of truncation data and for the abelian structure of the heart.

2.5 Truncation triangles

For every object \(X\), there is a distinguished triangle \[ X^{\le 0} \to X \to X^{\ge 1} \to X^{\le 0}[1], \] with \(X^{\le 0}\) in the nonpositive subcategory and \(X^{\ge 1}\) in the shifted nonnegative subcategory. This triangle is the abstract analogue of splitting a complex into lower and higher parts. It allows one to define functorial truncation operations and to study objects inductively by degree.

3 The heart of a t-structure

The heart is the intersection of the two halves of a t-structure, shifted into alignment. It is the key output of the construction and is often the main reason t-structures are introduced. Although it sits inside a triangulated category, it has the familiar properties of an abelian category.

3.1 Definition of the heart

The heart is defined as \[ \mathcal{A} = \mathcal{D}^{\le 0} \cap \mathcal{D}^{\ge 0}. \] Objects in the heart are simultaneously nonpositive and nonnegative. They may be viewed as the analogues of complexes concentrated in degree zero.

3.2 Abelian category structure

A fundamental theorem states that the heart of a t-structure is an abelian category. Kernels and cokernels exist in the heart, and exact sequences correspond to distinguished triangles in the ambient triangulated category. This result is one of the central reasons t-structures are so useful: they produce an abelian setting from triangulated data.

3.3 Cohomology objects

Given a t-structure, one can define cohomology objects by combining truncation with passage to the heart. These objects generalize the cohomology groups of a complex and measure how far an object is from lying in the heart. They provide a powerful way to reconstruct or analyze objects via their “cohomological layers.”

3.4 Examples of hearts

In the derived category of an abelian category, the standard heart is the original abelian category itself. In other settings, hearts can be more subtle and may encode torsion phenomena, perverse sheaves, or stability-related structures. Different t-structures on the same triangulated category can produce very different hearts.

4 Standard examples

Several important examples illustrate the breadth of the notion. Some come from classical derived categories, while others arise in topology, geometry, and representation theory. These examples show that t-structures are not merely formal devices but practical organizing principles.

4.1 t-structure on derived categories of abelian categories

The most familiar example is the standard t-structure on the derived category of an abelian category. Here the nonpositive and nonnegative subcategories are defined by vanishing of cohomology objects in positive or negative degrees. This is the prototype from which the abstract definition was modeled.

4.1.1 Standard truncation functors

Standard truncation functors cut a complex into pieces above or below a chosen degree. They are functorial and fit into distinguished triangles. These operations realize the t-structure axioms concretely and provide the basic mechanism for derived functor calculations.

4.1.2 Standard heart

For the standard t-structure, the heart is precisely the original abelian category from which the derived category was formed. Thus the construction recovers the starting point while embedding it into a richer triangulated context. This example anchors the abstract theory in classical homological algebra.

4.2 t-structures in stable homotopy theory

Analogues of t-structures appear in stable homotopy theory, where triangulated categories also play a central role. They can be used to organize spectra by connectivity or other homotopical constraints. In this setting, they help connect homological information with stable topological phenomena.

4.3 Perverse t-structures

Perverse t-structures arise in the study of sheaves on stratified spaces and algebraic varieties. Their hearts consist of perverse sheaves, which are not ordinary sheaves but objects with shifted cohomological behavior dictated by geometric conditions. These t-structures are especially important in geometric representation theory and intersection cohomology.

5 Properties and constructions

T-structures come with a variety of refinements and methods of construction. Some properties concern how much of the category is controlled by the t-structure, while others describe ways to modify one t-structure into another. These ideas are central in modern applications.

5.1 Bounded t-structures

A t-structure is bounded if every object lies in some finite shift of both halves. This means the t-structure sees the entire triangulated category without leaving objects infinitely far in one direction. Boundedness is often required when one wants the heart to reflect the ambient category faithfully.

5.2 Nondegenerate t-structures

A t-structure is nondegenerate if the only object lying in all shifts of the nonpositive part or all shifts of the nonnegative part is the zero object. This condition rules out hidden invisible objects that evade detection by truncation. It is a natural minimality property in many settings.

5.3 Compactly generated t-structures

In well-generated triangulated categories, t-structures can often be built from a set of compact objects. Such constructions are useful because they make the t-structure accessible from finite or manageable data. Compact generation is especially relevant in derived and localizing contexts.

5.4 Tilted t-structures

A t-structure can be modified by tilting, which produces a new t-structure from an old one using additional abelian data. Tilting is a major technique for generating interesting hearts and for relating different categorical models. It plays a prominent role in representation theory and stability theory.

5.4.1 Tilting with respect to torsion pairs

A torsion pair in the heart of a t-structure gives a way to split objects into torsion and torsion-free parts. This splitting can be used to define a new heart by changing the placement of these parts. The result is a new t-structure with often very different behavior.

5.4.2 Happel–Reiten–Smalø tilt

The Happel–Reiten–Smalø tilt is a standard construction that produces a new t-structure from a torsion pair in an abelian heart. It is widely used because it gives an explicit and controllable way to alter the abelian structure inside a triangulated category. Many later tilting procedures generalize this method.

6 t-Exact functors and morphisms

Functors between triangulated categories often interact with t-structures in a controlled way. The notion of t-exactness describes compatibility with the decomposition into nonpositive and nonnegative parts. This is essential for transporting information between categories.

6.1 t-Exact functors

A functor is t-exact if it preserves both halves of the t-structure exactly. Such a functor sends the heart of one t-structure into the heart of another. t-Exact functors are particularly valuable because they induce abelian functors on hearts and preserve cohomological structures.

6.2 Left and right t-exactness

A functor may preserve only one side of the t-structure. Left t-exactness means it respects the nonpositive part, while right t-exactness means it respects the nonnegative part. These weaker forms are still useful, especially for derived functors that naturally preserve only one truncation direction.

6.3 Induced functors on hearts

When a functor is t-exact, it induces a functor between the hearts. Under suitable hypotheses, this induced functor is exact in the abelian sense. This provides a direct bridge between triangulated-category morphisms and classical homological algebra.

Several concepts are closely related to t-structures, though they serve different purposes. Some offer dual perspectives, while others provide alternative decompositions of triangulated categories. Understanding these neighboring ideas clarifies what t-structures do and do not encode.

7.1 Co-t-structures

Co-t-structures are a dual notion in which the roles of the two halves are reversed in a suitable sense. They are also called weight structures in some contexts, though terminology varies. Co-t-structures often arise in motives and other settings where filtration by “weight” is more natural than filtration by cohomological degree.

7.2 Weight structures

Weight structures organize objects by weights rather than by cohomological truncation. They share some formal features with t-structures, including orthogonality and decomposition triangles, but their hearts are not abelian in the same way. They are useful in triangulated categories where weight filtrations are more appropriate than cohomological ones.

7.3 Torsion pairs in abelian categories

A torsion pair is a decomposition of an abelian category into torsion and torsion-free classes with vanishing homomorphisms between them. This notion is often used to construct tilted t-structures. It provides a simpler abelian analogue of the splitting behavior that t-structures encode in triangulated form.

7.4 Bousfield localization

Bousfield localization is a method of formally inverting certain morphisms or annihilating certain objects in homotopy-theoretic categories. It interacts with t-structures because localizations can alter truncation behavior and change the associated heart. In some cases, localization provides a source of new t-structures or modifies existing ones.

8 Applications

T-structures are widely used because they allow triangulated categories to be studied with the tools of abelian categories and cohomology. Their applications range across representation theory, algebraic geometry, and derived methods in algebra. In each area, they supply a language for organizing complex categorical information.

8.1 Representation theory

In representation theory, t-structures help analyze derived categories of modules and representations. Their hearts can encode categories of representations with new exact structures, sometimes revealing hidden equivalences or filtration patterns. Tilting theory in particular depends heavily on t-structure techniques.

8.2 Algebraic geometry

In algebraic geometry, t-structures are central in the study of derived categories of sheaves on varieties and schemes. Perverse t-structures, in particular, are important for geometric stratifications and intersection cohomology. They also appear in modern work on moduli spaces and stability conditions.

8.3 Homological algebra

Homological algebra provides the natural setting for t-structures, since they generalize truncation and cohomology. They allow one to move between triangulated and abelian viewpoints without losing exactness information. This makes them a standard tool in the structural study of derived categories.

8.4 Derived category methods

Derived category methods use t-structures to extract computable invariants and to compare objects via cohomological data. Hearts offer abelian models that are often easier to work with than the ambient triangulated category. As a result, t-structures function as a foundational organizing principle in much of modern derived-category theory.

</INTERNAL_LINK_CANDIDATES> Derived category (triangulated category built from complexes up to quasi-isomorphism) Triangulated category (category equipped with shifts and distinguished triangles) Heart (abelian category associated to a t-structure) Distinguished triangle (exactness-like triangle in a triangulated category) Truncation functor (functor splitting complexes or objects by degree) Abelian category (category with kernels and cokernels behaving like modules) Cohomology object (object in the heart measuring a degree component) Stable homotopy theory (homotopy theory of spectra and stable phenomena) Perverse sheaf (sheaf-like object governed by a perverse t-structure) Torsion pair (decomposition of an abelian category into torsion and torsion-free parts) Tilting theory (method for constructing new abelian or t-structures) Happel–Reiten–Smalø tilt (specific tilt construction from a torsion pair) t-exact functor (functor preserving the t-structure) Left t-exactness (preservation of the nonpositive part) Right t-exactness (preservation of the nonnegative part) Weight structure (triangulated analogue organizing objects by weight) Co-t-structure (dual notion related to weight structures) Bousfield localization (localization method in homotopy theory) Intersection cohomology (cohomology theory for singular spaces) Derived functor (functor derived from an exact or left/right exact one)