[论文解读] Scalar Extension of Abelian and Tannakian Categories

Nicolas Stalder|ArXiv.org|Jun 2, 2008

Algebraic Geometry and Number Theory参考文献 7被引用 10

一句话总结

本文在有限域扩张 $F'/F$ 下，为 $F$-线性阿贝尔范畴引入了一个通用的标量扩张函子，构造了一个 $F'$-线性阿贝尔范畴 $\mathscr{A} \otimes_F F'$ 和一个通用的正合 $F$-线性函子 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$。其主要贡献在于一个通用性质：每个以 $F'$-线性阿贝尔范畴为值的右正合 $F$-线性函子均可唯一地通过 $t$ 因子化，该结果在 Tannakian 对偶性和单值群理论中有应用。

ABSTRACT

We introduce and develop the notion of scalar extension for abelian categories. Given a field extension F'/F, to every F-linear abelian category A satisfying a suitable finiteness condition we associate an F'-linear abelian category A' and an exact F-linear functor t: A --> A'. This functor is universal among F-linear right exact functors with target an F'-linear abelian category. We discuss various basic properties of this concept, among others compatibilities with multilinear endofunctors such as tensor products, and the permanence of favourable properties of the functors and categories involved. We obtain the notion of scalar extension for Tannakian categories, which allows us to deduce consequences for the algebraic monodromy groups of Tannakian categories.

研究动机与目标

• 为沿域扩张 $F'/F$ 的 $F$-线性阿贝尔范畴定义并构造一个通用的标量扩张函子。
• 在以 $F'$-线性阿贝尔范畴为值的右正合 $F$-线性函子中，确立函子 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ 的通用性质。
• 将该构造推广至 Tannakian 范畴，并应用于推导代数单值群的结果。
• 研究在何种条件下，诸如全忠实性与对子商的封闭性等性质在标量扩张下得以保持。
• 提供一个与刚性张量范畴中张量积和对偶兼容的范畴框架。

提出的方法

• 通过 ind-完备化和对自同态代数的标量扩张，构造 $\mathscr{A} \otimes_F F'$ 为一个 $F'$-线性阿贝尔范畴。
• 将通用函子 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ 定义为在对象与态射上对标量的自然扩张。
• 证明 $t$ 满足一个通用性质：每个以 $F'$-线性阿贝尔范畴为值的右正合 $F$-线性函子 $V: \mathscr{A} \to \mathscr{B}$ 均可唯一地通过 $t$ 因子化。
• 利用 $\operatorname{mod}$-$E$ 与 $\mathscr{A}$ 中 $S$-同构类对象之间的等价关系，分析简单对象在标量扩张下的分裂行为。
• 建立标量扩张在刚性张量范畴中与张量积和对偶的兼容性。
• 将该构造应用于 Tannakian 范畴，证明 $\mathscr{T} \otimes_F F'$ 同构于 $F'$ 上单值群 $G_\omega(\mathscr{T})$ 的有限维表示范畴。

实验结果

研究问题

• RQ1 如何在域扩张 $F'/F$ 下，为 $F$-线性阿贝尔范畴定义一个通用的标量扩张？
• RQ2 在何种条件下，一个以 $F'$-线性阿贝尔范畴为值的右正合 $F$-线性函子 $V: \mathscr{A} \to \mathscr{B}$ 可唯一地延拓至 $\mathscr{A} \otimes_F F'$？
• RQ3 标量扩张函子 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ 何时在 $F'$ 上是全忠实的？这又对代数几何中的 Tate 猜想有何含义？
• RQ4 标量扩张在 Tannakian 范畴中如何与张量积和对偶相互作用？
• RQ5 Tannakian 范畴的单值群与 $\mathscr{A} \otimes_F F'$ 的结构之间存在何种关系？

主要发现

• 对于任意 $F$-有限阿贝尔范畴 $\mathscr{A}$，标量扩张 $\mathscr{A} \otimes_F F'$ 构造为一个 $F'$-线性阿贝尔范畴，且对右正合 $F$-线性函子满足通用性质。
• 通用函子 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ 是 $F'/F$-全忠实的，即在基变换后诱导 Hom-空间的同构。
• 对于 $\mathscr{A}$ 中的简单对象 $S$ 及其自同态代数 $E$，标量扩张 $t(S)$ 在 $\mathscr{A} \otimes_F F'$ 中对应于 $S \otimes_F F'$，且 $t(S)$ 的子对象与 $E \otimes_F F'$ 的右理想之间存在双射。
• 在刚性张量范畴中，右正合函子自动为正合，这简化了函子的延拓，并确保与张量结构的兼容性。
• 对于 Tannakian 范畴，$\mathscr{T} \otimes_F F'$ 同构于 $F'$ 上单值群 $G_\omega(\mathscr{T})$ 的有限维表示范畴，从而给出一种弱形式的非中性 Tannakian 对偶性。
• 该构造保持了关键的范畴结构：张量积、对偶与子商，从而在代数几何与伽罗瓦表示中具有应用价值。