[论文解读] Ultraproducts of Tannakian Categories and Generic Representation Theory of Unipotent Algebraic Groups

Michael Crumley|arXiv (Cornell University)|Nov 1, 2010

advanced mathematical theories参考文献 12被引用 8

一句话总结

本文证明了某些中性坦纳卡ian范畴的超积——具体而言，是正特征递增的域上幂零代数群表示的、高度受限的超积——与特征零域上该群的多个副本的表示范畴之间存在张量等价。关键结果表明，当特征足够大时，正特征下的所有有限维表示均可分解为类似于特征零表示的‘高度受限’表示的乘积，从而可通过超积与坦纳卡ian对偶性，对一般上同调与表示理论实现一阶模型论描述。

ABSTRACT

The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally motivated by an attempt to find a first-order explanation for generic cohomology of algebraic groups, we study neutral tannakian categories as abstract first-order structures and, in particular, ultraproducts of them. One of the main theorems of this dissertation is that certain naturally definable subcategories of these ultraproducts are themselves neutral tannakian categories, hence tensorially equivalent to Comod_A for some Hopf algebra A over a field k. We are able to give a fairly tidy description of the representing Hopf algebras of these categories, and explicitly compute them in several examples. For the second half of this dissertation we turn our attention to the representation theories of certain unipotent algebraic groups, namely the additive group G_a and the Heisenberg group H_1. The results we obtain for these groups in characteristic zero are not at all new or surprising, but in positive characteristic they perhaps are. In both cases we obtain that, for a given dimension n, if p is large enough with respect to n, all n-dimensional modules for these groups in characteristic p are given by commuting products of representations, with the constituent factors resembling representations of the same group in characteristic zero. We later use these results to extrapolate some generic cohomology results for these particular unipotent groups.

研究动机与目标

• 通过坦纳卡ian范畴的超积，为代数群的一般上同调提供一阶模型论框架。
• 研究中性坦纳卡ian范畴的超积结构，并识别出仍为坦纳卡ian的可定义子范畴。
• 显式计算表示这些超积范畴的霍普夫代数，特别是在幂零群背景下的情形。
• 分析正特征下幂零群——特别是加法群 $G_a$ 与海森堡群 $H_1$——的表示理论，并与特征零情形进行比较。
• 定义并研究‘高度受限超积’，作为连接正特征与零特征表示理论的桥梁。

提出的方法

• 构造一系列正特征递增的域 $k_i$ 上坦纳卡ian范畴 $ ext{Rep}_{k_i}G$ 的受限超积，对表示的高度施加限制。
• 应用模型论中的超积构造于有限维表示范畴，利用超滤子定义表示系统之间的等价类。
• 应用坦纳卡ian对偶性，证明超积的某些子范畴为中性坦纳卡ian范畴，因此等价于某特征零域 $k$ 上的霍普夫代数 $A_R$ 的余模范畴 $ ext{Comod}_{A_R}$。
• 计算受限超积的表示霍普夫代数 $A_R$，表明其同构于 $G$ 的群代数的 $n$ 个副本的直积。
• 利用高特征下，幂零群的 $n$-维表示可分解为类似于特征零表示的表示之积的性质，从而实现高度受限超积的构造。
• 应用所得等价关系 $ ext{Comod}_{A_R} o ext{Rep}_k G^n$，在超积设定下外推幂零群的一般上同调结果。

实验结果

研究问题

• RQ1 是否可使用坦纳卡ian范畴的超积来描述幂零代数群的一般上同调？
• RQ2 在何种条件下，正特征递增的域上表示的受限超积本身构成一个中性坦纳卡ian范畴？
• RQ3 表示受限超积的霍普夫代数的结构为何？
• RQ4 当特征足够大时，$G_a$ 与 $H_1$ 在正特征下的表示理论与特征零情形的对应关系如何？
• RQ5 在超积构造中，是否可一阶地保持‘平凡扩张’或‘扩张的线性无关性’的性质？

主要发现

• 在正特征递增的域 $k_i$ 上，$ ext{Rep}_{k_i}G$ 的受限超积与特征零域 $k$ 上 $G^n$ 的表示范畴 $ ext{Rep}_k G^n$ 之间存在张量等价，其中 $G^n$ 为 $G$ 的 $n$ 重积。
• 对给定维数 $n$，若特征 $p$ 相对于 $n$ 足够大，则 $G_a$ 与 $H_1$ 在特征 $p$ 下的所有 $n$-维表示均为与特征零表示同构的表示之积。
• 受限超积的表示霍普夫代数 $A_R$ 同构于 $G$ 的群代数的 $n$ 个副本的直积，即 $A_R o k[G]^n$。
• 超积构造保持了由有界高度与维数定义的子范畴的坦纳卡ian结构，确保结果范畴仍为中性坦纳卡ian。
• 该构造允许对一般上同调实现一阶解释，因为超积捕捉了在大特征下同调群 $ ext{Ext}$ 的稳定行为。
• 在超积中，扩张的线性无关性未必能从原范畴中继承，这是由于扩张等价性非一阶性质，表明上同调性质在可定义性上存在限制。