[论文解读] Semisimple Algebraic Groups in Characteristic Zero

J. S. Milne|arXiv (Cornell University)|May 9, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 3

一句话总结

本文通过利用Tannaka对偶性和张量范畴理论，对特征为零的域上分裂半单代数群的分类给出了简洁且概念清晰的推导，表明此类群的分类由与之关联的半单李代数相同的根数据决定。其主要贡献在于通过张量范畴建立了一条自然且表示论意义上的桥梁，连接李代数与代数群。

ABSTRACT

It is shown that the classification theorems for semisimple algebraic groups in characteristic zero can be derived quite simply and naturally from the corresponding theorems for Lie algebras by using a little of the theory of tensor categories. This article is extracted from Milne 2007.

研究动机与目标

• 提供特征为零的分裂半单代数群分类的简洁且自然的推导。
• 通过张量范畴理论，建立半单李代数分类与半单代数群分类之间的直接联系。
• 表明这些群的表示理论，特别是其有限维表示，完全由其根数据所刻画。
• 阐明特征为零下半单李代数、半单代数群与张量范畴之间的结构关系。

提出的方法

• 利用Tannaka对偶性，从其有限维表示范畴重构代数群。
• 应用张量范畴上M-加细的理论，将从对角化群到范畴Tannaka对偶的同态关联起来。
• 利用从简单对象的同构类到自由阿贝尔群模张量关系的通用张量映射，定义权格。
• 将代数群构造为具有给定格X中最高权的李代数表示的全子范畴的Tannaka对偶。
• 利用如下事实：具有X中最高权的分裂半单李代数的表示范畴的Tannaka对偶，是一个具有根系(V,R)和权格X的分裂半单代数群。
• 应用伴随表示以及伴随自同态指数映射的作用，证明极大环面的共轭性。

实验结果

研究问题

• RQ1 如何直接从半单李代数的分类推导出特征为零的分裂半单代数群的分类？
• RQ2 张量范畴和Tannaka对偶性在连接李代数与代数群中起着怎样的精确作用？
• RQ3 根系的权格Q(R)与P(R)如何与代数群的分类相关联？
• RQ4 能否从根系权格之间的格嵌入中恢复半单代数群的同构类？
• RQ5 具有固定最高权的表示子范畴的Tannaka对偶的几何意义是什么？

主要发现

• 每个图式(V,R,X)，其中(V,R)是一个约化根系且X是满足Q(R) ⊂ X ⊂ P(R)的格，都唯一地来源于一个定义在k上的分裂半单代数群。
• 具有X中最高权的分裂半单李代数的表示全子范畴的Tannaka对偶，是一个具有根系(V,R)和权格X的分裂半单代数群。
• 分裂半单代数群之间的同构映射恰好对应于保持根系的格嵌入X → X'。
• 分裂半单代数群G的中心同构于权格X对根格Q(R)的商，并作为伴随表示的核被恢复。
• 代数群G(𝔤)中的极大环面在G(𝔤)(k)中元素的作用下彼此共轭，这一结论通过指数化李代数的幂零元得到证明。
• 分裂半单代数群的有限维表示范畴等价于其李代数在权格中最高权表示范畴的Tannaka对偶。