三角范畴与其上的T-结构.pdfVIP

本文是在导师彭联刚教授的悉心指导下完成的．彭联刚教授不仅 学识渊博，科学作风严谨，而且为人谦逊和蔼．三年的学习使我受益 终生．在此谨向彭老师表示衷心的感谢． 作者诚挚地感谢谭友军副教授对本人学习上的指导． 同时借此机会，感谢各位学友对我的关心和帮助． 口川大学硕士学位论文 第一章 引言 代数表示论是国际上二十世纪七十年代发展起来的数学分支，与 群的模表示，李群及李代数的表示，代数群的表示，代数几何，量子群 等学科有着密切的联系和应用． 三十年前，Grothendieck提出了三角范畴的概念．随后，Verdier 发展了三角范畴的理论，三角范畴在代数表示论中占有重要地位．三 角范畴中的一个重要例子是导出范畴(如见M，[K】，阻aJ)．起初，导 出范畴是作为研究代数几何的工具(参见【s】)，特别是在发展对偶理论 中成为了必不可少的工具[Hat]，同时也是研究线性偏微分方程强有力 的同调工具．近年来，与三角范畴尤其是导出范畴相关的问题得到了深 中，彭联刚和肖杰在三角范畴上发现了一种内蕴对称，这种对称给出 了一个无限维李代数结构，从而在导出范畴上成功地实现了一切可对 称化Kac-Moody李代数(参见[Ka】)的整体结构． t一绪构的概念．在【AJs】中，三角范畴上的一些非平凡t一结构被研究 了，同时一些三角范畴的等价问题也被解决了．一般她，三角范畴D 上都存在一个平凡的t一结构(D，O)．于是，一个自然的问题是如何在 一个三角范畴上构造非平凡的t．结构．我们的主要工作就是从三角范 畴的一个特殊的阿贝尔的满子范畴出发，得到了该三角范畴上的一个 四川大学硕士学位论文 t一结构．并且，这个t一结构的heart恰好就是这个特殊的满子范畴． 口JlI大学硕士学位论文 3 第二章 三角范畴及其上的t-结构 §2．1三角范畴 这节主要是回忆三角范畴的概念，并列出我们将用到的一些熟知 的基本事实(如见【Ha】)． 设C是加法范畴，T是C的自同构．我们通常称T为平移函 子．记r的逆为T一．记C中态射的合成X—‘y—乌Z为，9．称 c中形如x—兰·y—兰·z—竺+Tx为六元组．我们称(^夕，h)为六 元组之间的态射，如果有下面的交换图： X与Y与Z与Tx ℃} Lg kh LTf xI|Yf立Z+立TX 若上述，，9，h都同构，则称相应两个六元组同构． 现在，我们回忆三角范畴的定义如下： 定义2．1．1设S是C中一些六元组的集合，其中的六元组称为 三角，称C是三角范畴，如果满足： (TRl)每个与三角同构的六元组是三角；c中每个态射u： X—一y都可以扩充为一个三角X—马y—与Z—％TX；X—■ X—一0—_÷了jX是三角． 日川大学硕士学位论文 4 Z—与TX二霉TY也是三角． (TR3)存在态射h使得下图交换： x j■Yj■Z j■Tx l， lg ij^ ir， X，工y，乓Z，三TX，， 其中第一个“方块”是已知的交换图，并且两个行是三角． 和(x，Z，y，，u·V，k，k’)，则存在，：Z’—-Y’，g：Y7—一掣使得 下图交换，且第三行是三角． T—y，!jX量+x J Ul ut，i T一9 T—X，型Y与Z上X，二Ty ii 南i l鼻l 死l Z，卫y，旦X，驾TZ， i7l ∥l TX甄Tx 下面我们回忆三角范畴的一些基本性质