[论文解读] Nilpotence, radicaux et structures mono\"ıdales

Yves André, Bruno Kahn+1 more|arXiv (Cornell University)|Mar 26, 2002

Algebraic structures and combinatorial models参考文献 30被引用 72

一句话总结

本文建立了关于威德伯恩范畴（Wedderburn categories）的基础性结果——即在局部幂零根且商范畴半单的 K-线性范畴中，证明了商映射的截面存在性与唯一性，尤其在张量结构下成立。主要贡献是通过为任意特征零域上的仿射群概形 $G$ 构造其拟半单包络 $^p\mathrm{Red}(G)$，推广了雅可比森-莫罗佐夫定理，其中 $^p\mathrm{Red}(\mathbb{G}_a) = \mathrm{SL}_2$，并将其应用于动机理论与坦纳卡范畴。

ABSTRACT

For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA o \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general case and one when $\sA$ has a monoidal structure for which $\sR$ is a monoidal ideal. The latter applies notably to Tannakian categories over a field of characteristic zero, and we get a generalisation of the Jacobson-Morozov theorem: the existence of a pro-reductive envelope $\Pred(G)$ associated to any affine group scheme $G$ over $K$. Other applications are given in this paper as well as in a forthcoming one on motives.

研究动机与目标

• 为域 $K$ 上的半主范畴（威德伯恩范畴）建立范畴框架，将经典的威德伯恩定理由环推广至多对象范畴。
• 研究根在基变换下的行为，并明确半单性在标量扩张后保持不变的条件。
• 将经典威德伯恩定理推广至张量范畴，尤其在坦纳卡范畴与动机的背景下。
• 为任意特征零域上的仿射群概形 $G$ 构造其拟半单包络 $^p\mathrm{Red}(G)$，推广雅可比森-莫罗佐夫定理。
• 通过分离纯粹范畴结构与动机理论中的几何猜想，为动机伽罗瓦群提供范畴基础。

提出的方法

• 引入 $K$-线性威德伯恩范畴的概念：即一个 $K$-线性范畴 $\mathcal{A}$，其根 $\mathcal{R}$ 局部幂零，且商范畴 $\bar{\mathcal{A}} = \mathcal{A}/\mathcal{R}$ 半单，并在任意标量扩张下仍保持半单。
• 在一般情形及张量结构假设下，证明了商映射 $\mathcal{A} \to \bar{\mathcal{A}}$ 的截面存在性与唯一性。
• 将张量版本的威德伯恩定理应用于坦纳卡范畴，尤其在特征零情形，以构造拟半单包络 $^p\mathrm{Red}(G)$。
• 利用霍赫希尔德上同调与迹理论分析自同态代数及其根的结构。
• 将理论应用于动机范畴，表明在标准猜想下，根与张量结构相容，从而实现动机伽罗瓦群的无条件构造。
• 运用坦纳卡范畴与纤维函子理论，将拟半单包络与 $G$ 的表示理论联系起来。

实验结果

研究问题

• RQ1 在 $K$-线性范畴 $\mathcal{A}$ 中，商映射 $\mathcal{A} \to \mathcal{A}/\mathrm{rad}(\mathcal{A})$ 的截面在何种条件下存在？
• RQ2 威德伯恩范畴中根在基变换下如何行为？半单性在何种条件下保持不变？
• RQ3 是否可通过拟半单包络构造，将经典雅可比森-莫罗佐夫定理推广至非半单群概形？
• RQ4 对幂零群 $G$，其拟半单包络 $^p\mathrm{Red}(G)$ 的结构如何？其何时为有限维？
• RQ5 范畴的张量结构如何用于构造根商的截面？其对坦纳卡对偶性有何影响？

主要发现

• 对任意特征零域 $K$ 上的仿射群概形 $G$，其拟半单包络 $^p\mathrm{Red}(G)$ 存在，且通过 $G$ 的不可约表示与 $^p\mathrm{Red}(G)$ 的不可约表示之间的一一对应关系来刻画。
• $^p\mathrm{Red}(\mathbb{G}_a) = \mathrm{SL}_2$，提供了雅可比森-莫罗佐夫定理的范畴化推广。
• 拟半单包络 $^p\mathrm{Red}(G)$ 通常为无限维，即使当 $G = \mathbb{G}_a \times \mathbb{G}_a$ 时亦然，表明拟半单包络不保持有限维性。
• 在张量设定下，根商的张量截面存在，从而导出威德伯恩定理的张量版本。
• $^p\mathrm{Red}(G)$ 的构造使得动机伽罗瓦群可无条件构造，不依赖于动机理论的标准猜想。
• 在特征零域上的坦纳卡范畴中，根与张量结构相容，且在标准猜想下，该范畴为威德伯恩范畴。