Un par (D^{≤0}, D^{≥0}) de subcategorías plenas de una categoría triangulada D, estables por desplazamientos y extensiones, cuya intersección (el corazón) es una categoría abeliana; las t-estructuras organizan truncamientos cohomológicos y producen funtores de cohomología H^i.

Principio

Los objetos se filtran por grados cohomológicos: cada objeto encaja en un triángulo distinguido que relaciona sus truncamientos, y las subcategorías cumplen axiomas de ortogonalidad y estabilidad por desplazamiento que definen funtores de truncamiento coherentes.

Demostración

En la categoría derivada D^b(A) de una categoría abeliana A, la t-estructura estándar tiene D^{≤0} los complejos con cohomología nula en grados positivos y D^{≥0} los complejos con cohomología nula en grados negativos; su corazón es equivalente a A.

Aplicación incorrecta

Tratar el corazón como igual a toda la categoría triangulada o asumir que existe una t-estructura única; usar funtores de truncamiento sin verificar la ortogonalidad y el cierre por extensiones requeridos.

Consecuencia

Una t-estructura proporciona funtores de cohomología canónicos, corazones abelianos aptos para álgebra homológica, series espectrales procedentes de filtraciones y un puente entre categorías trianguladas y abelianas.

Inversión

Una estructura de peso (co-t-estructura) invierte el papel de los ejes de truncamiento: su corazón se comporta como la categoría de 'pesos' puros en lugar de grados cohomológicos, dando lugar a filtraciones y condiciones de ortogonalidad distintas.

Límite

Se aplica sólo a categorías trianguladas con las propiedades de cierre y ortogonalidad necesarias; no toda categoría triangulada admite una t-estructura, y las t-estructuras son elecciones de estructura adicionales, no invariantes intrínsecos.

Tensión semántica

T-estructura frente a estructura de peso: ambas producen corazones y filtraciones pero codifican filosofías de graduación distintas (grado cohomológico vs. peso); también puede confundirse el corazón abstracto con categorías abelianas concretas de haces o módulos.

Síntesis

Una t-estructura es una estructura extra sobre una categoría triangulada que divide los objetos en mitades cohomológicas cuya intersección es un corazón abeliano, permitiendo truncamiento, cohomología y la transferencia de técnicas homológicas.