[论文解读] Quotients of Tannakian Categories

J. S. Milne|arXiv (Cornell University)|Aug 24, 2005

Algebraic structures and combinatorial models参考文献 5被引用 12

一句话总结

本文对tannakian范畴的商范畴进行分类，证明当且仅当子范畴为中性时，此类商范畴存在，此时商范畴由子范畴上的k-值纤维函子参数化。关键贡献在于通过纤维函子与基本群对商范畴进行表征，将tannakian对偶性扩展至张量范畴中的商构造。

ABSTRACT

We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.

研究动机与目标

• 对精确张量函子 q: T → Q 进行分类，该函子将tannakian范畴 T 关于tannakian子范畴 S 的商化，使得 S 中的对象在 Q 中变为平凡对象。
• 确定此类商函子存在的条件，特别是与子范畴 S 的中性性之间的关系。
• 分析所得商范畴 Q 的基本群、纤维函子与极化结构。
• 建立基本群 π(T) 的子群与 tannakian 子范畴之间的对应关系，通过 tannakian 对应。
• 将 tannakian 对偶性扩展至商构造，尤其在动机与代数几何的背景下。

提出的方法

• 利用 tannakian 子范畴与基本群 π(T) 的子群之间的 tannakian 对应关系。
• 应用丛与带（bands）的理论，分析纤维函子及其提升，特别是通过纤维函子丛 FIB(T)。
• 将基本群 π(T) 视为 T 中的仿射群概形，使得 ω(π(T)) ≃ Aut⊗(ω) 对 ω 变换自然成立。
• 通过核条件表征商函子 q: T → Q：S 中的对象在 Q 中变为平凡当且仅当它们在 q 下被平凡化。
• 利用与丛态射相关的带的正合列，分析 (ω₀↓G₁) 的结构及其 tannakian 性质。
• 应用通过实代数群的非歧义性来判断分级极化存在的准则，尤其在 Tate 三元组的背景下。

实验结果

研究问题

• RQ1 在何种条件下，tannakian 范畴可关于 tannakian 子范畴 S 进行商化，使得 S 中的对象在商中变为平凡？
• RQ2 当此类商函子存在时，如何对其进行分类？
• RQ3 基本群 π(T) 的子群与范畴 T 的 tannakian 子范畴之间存在何种关系？
• RQ4 Tate 三元组 T 上的极化何时可提升为商范畴 Q 上的极化？
• RQ5 商范畴 Q 的基本群与纤维函子如何与原始范畴 T 的相应结构相关联？

主要发现

• 当且仅当 tannakian 子范畴 S 为中性时，满足条件 (a) 与 (b) 的商函子 q: T → Q 存在。
• 当 S 为中性时，此类商函子 q 的集合与 S 上的 k-值纤维函子集合之间存在双射。
• 商范畴 Q 的基本群 π(Q) 同构于同态 π(q): π(T) → π(Q) 的像，该同态将 π(Q) 保向同构地映射到 q(H)，其中 H ⊂ π(T)。
• Q 上的纤维函子由 q 沿 q 的拉回确定，而 Q 的带则源自与丛 (ω₀↓G₁) 相关的带的正合列。
• T 上的分级极化 Π 可提升为 Q 上的极化 Π′，当且仅当纤维函子 ωΠ 在 S 上的限制同构于与商相关的纤维函子 ωq。
• 当 Q 半单且 H ⊃ w(Gm) 时，Q 上极化的存在性等价于实代数群 Aut⊗(γV ◦ξΠ′ ◦q|Tw(Gm)) 的非歧义性。