[论文解读] Tensor-triangulated categories and dualities

Baptiste Calm Es, Jens Hornbostel|arXiv (Cornell University)|Jun 3, 2008

Algebraic structures and combinatorial models参考文献 11被引用 13

一句话总结

本文建立了具有对偶性的张量-三角范畴之间张量-正合函子的交换图和投影公式，确保与内部同态及对偶结构相容。在对称张量-闭条件下，证明了诸如拉回与上推函子等函子保持对偶性，从而通过自然同构与符号相容结构，实现Witt群及相关上同调理论的函子性。

ABSTRACT

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary commutative diagrams for f^* and f_* to respect certain dualities, for a projection formula to hold between them (as duality preserving functors) and for classical base change and composition formulas to hold when such duality preserving functors are composed. This framework is for example useful to define push-forwards for Witt groups.

研究动机与目标

• 定义并表征具有对称张量-闭结构的张量-三角范畴之间的保持对偶性的函子。
• 建立张量函子与对偶性相容的必要与充分条件，包括投影公式与基变换同构。
• 为沿概形态射的Witt群函子性提供范畴框架，特别是通过导出拉回与上推函子。
• 通过与Balmer、Gille及Nenashev工作相容的显式符号约定，解决对偶同构中的符号歧义。
• 通过导出函子与对偶性相容性，实现概形上Witt群上推的构造。

提出的方法

• 使用带有对称张量-闭结构的悬垂与三角范畴，通过反变函子与自然同构定义内部同态与对偶性。
• 将保持对偶性的函子定义为对 (F, φ)，其中 F 沿自然变换 φ 与对偶性相容，且满足涉及对偶同构的交换图。
• 应用伴随三元组 (f*, f*, f!) 推导投影态射，并研究其何时成为可逆，以确保与对偶性的相容性。
• 采用张量积、对称性与结合性同构的符号约定，以确保在链复形的导出范畴中的一致性。
• 推导并验证21个方程（表3）中的符号相容性，确保所有结构同构（如结合性、对称性、扭映射）的交换性。
• 通过展示保持对偶性的函子在Witt群上诱导群同态，并且函子之间的态射诱导相容映射，将该框架应用于Witt群。

实验结果

研究问题

• RQ1 在对称张量-闭三角范畴之间，张量-正合函子在何种条件下保持对偶性结构？
• RQ2 投影态射 f* → f! ∘ f* 何时可逆？这对其基变换与复合公式有何含义？
• RQ3 如何一致地选择张量积、对称性与结合性同构的符号约定，以在导出范畴中保持对偶性？
• RQ4 何种条件可确保保持对偶性的函子复合保持对偶性结构，并在Witt群上诱导良定义的态射？
• RQ5 如何通过导出函子与对偶性相容性，构造概形上Witt群的上推？

主要发现

• 本文证明，在对称张量-闭三角范畴中，内部同态自然诱导对偶性，且保持对偶性的函子由涉及对偶同构与函子作用的交换图表征。
• 在这样的范畴之间，张量函子 f* 诱导保持对偶性的函子，当且仅当投影态射 f* → f! ∘ f* 可逆，从而确保与对偶性的相容性。
• 作者构建了一套完整的相容符号约定（表3），满足所有必要的协调性条件，包括五边形、六边形与正方形公理，确保在链复形的导出范畴中的一致性。
• 该框架使得沿概形的正则态射的Witt群上推得以定义，如推论5.5.1所示，通过确保导出上推函子 f* 保持对偶性。
• 符号约定被显式给出并验证满足恒等式 ε^ath_{j-i,i}ε^ath_{i,j-i}ε^s_{j-i,i} = (-1)^{j(j-1)/2}，这对导出范畴中的对偶性结构至关重要。
• 该结果不仅适用于Witt群，也适用于其他基于对偶性的上同调理论，如Grothendieck-Witt群、厄米特K-理论与Chow-Witt理论，通过相同的范畴机制。