|
In mathematics, more specifically in homological algebra, a t-structure is an additional piece of structure that can be put on a triangulated category or a stable infinity category that axiomatizes the properties of complexes whose positive or negative cohomology vanishes. The notion was introduced by Beilinson, Bernstein and Deligne.〔Beĭlinson, A. A.; Bernstein, J.; Deligne, P. ''Faisceaux pervers.'' Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Astérisque, 100, Soc. Math. France, Paris, 1982.〕 It allows to construct an abelian category, namely the heart of the t-structure, from a triangulated category. ==Definition== The derived category ''D'' of an abelian category ''A'' contains, for each ''n'', the full subcategories and consisting of complexes whose cohomology is "bounded below" or "bounded above" ''n'', respectively, i.e., for and , respectively. The subcategories have the following properties: *, * *Every object ''X'' can be embedded in a distinguished triangle with , This prototypical basic example gives rise to the following definition: a ''t-structure'' on a triangulated category consists of full subcategories and satisfying the conditions above. In ''Faisceaux pervers'' a triangulated category equipped with a t-structure is called a ''t-category''. The above example is referred to as the ''standard t-structure'' or ''canonical t-structure''. The notion of a t-structure can also be defined on a stable model category or a stable infinity category by requiring that there is a t-structure in the above sense on the homotopy category (which is a triangulated category).〔Jacob Lurie. (''Higher Algebra''. )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「T-structure」の詳細全文を読む スポンサード リンク
|