[论文解读] A reductive group with finitely generated cohomology algebras

Wilberd van der Kallen|ArXiv.org|Mar 22, 2004

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

一句话总结

该论文证明了当 $ k $ 的特征为二时，对于任意具有有理 $ σ\mathrm{L}_3 $-作用的有限生成交换 $ k $-代数 $ A $，有理上同调环 $ H^*(\mathrm{SL}_3, A) $ 作为 $ k $-代数是有限生成的。该结果将有限生成性从不变量推广到了上同调，采用了一种基于良好过滤维数和对偶 Weyl 模结构的新论证方法，解决了早期关于 $ \mathrm{SL}_2 $ 研究中遗留的关键情形。

ABSTRACT

Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring $H^*(G,A)$ is finitely generated. This extends the finite generation property of the ring of invariants $A^G$. We discuss where the problem stands for other geometrically reductive group schemes.

研究动机与目标

• 建立特征为二的域上 $ \mathrm{SL}_3 $ 的上同调有限生成性（CFG）。
• 将不变量 $ A^G $ 的有限生成结果推广到完整的上同调环 $ H^*(G, A) $，推广已知的 $ \mathrm{SL}_2 $ 情形结果。
• 识别阻止该方法推广到其他 $ \mathrm{SL}_n $ 或特征的结构性与上同调障碍。
• 阐明良好过滤维数和对偶 Weyl 模结构在正特征下控制上同调中的作用。

提出的方法

• 改编 van der Kallen (2004) 对 $ \mathrm{SL}_2 $ 使用的方法，修改后以处理 $ \mathrm{SL}_3 $ 中 Borel 子群的非交换幂零根。
• 引入对偶 Weyl 权 $ \rho^\vee $，并利用条件 $ \rho^\vee(\lambda) \leq m $ 来界定 Frobenius 拉直的良过滤维数。
• 对 $ m $（即 $ \rho^\vee $-权）进行归纳，证明对任意最高权为 $ \lambda $ 的 $ G $-模 $ M $，有 $ \dim_\nabla(M^{(1)}) \leq m $。
• 利用上同调中映射 $ \Delta_{a,b} $ 的满射性，证明偶上同调环 $ H^{\mathrm{even}}(G, A) $ 是有限生成的。
• 应用当 $ M $ 具有有限良好过滤维数时，$ H^*(G, A \otimes k[G/U]) $ 在高阶次消失的事实。
• 利用几何约化性与不变量有限生成性之间的等价性，将上同调性质与不变量理论性质联系起来。

实验结果

研究问题

• RQ1 在特征二下，$ \mathrm{SL}_3 $ 是否满足上同调有限生成性（CFG），即对任意具有有理 $ G $-作用的有限生成 $ k $-代数 $ A $，$ H^*(G, A) $ 是否为有限生成的？
• RQ2 在特征二下，$ \mathrm{SL}_3 $ 的哪些结构性特征使得其上同调环能够有限生成，尽管其幂零根非阿贝尔？
• RQ3 为何对 $ \mathrm{SL}_2 $ 使用的方法在 $ \mathrm{SL}_3 $ 情况下失效？需要引入哪些新工具来克服这一问题？
• RQ4 在不假设光滑性或平坦性的情况下，如何保证有限生成代数上具有良好过滤的模的有限良好过滤维数？
• RQ5 是否存在超出 $ n=3 $、$ p=2 $ 的障碍，阻止 $ \mathrm{SL}_n $ 的上同调环有限生成？如果有，这些障碍是什么？

主要发现

• 在特征二下，对于任意具有有理 $ \mathrm{SL}_3 $-作用的有限生成交换 $ k $-代数 $ A $，上同调环 $ H^*(\mathrm{SL}_3, A) $ 作为 $ k $-代数是有限生成的。
• 关键技术结果是：当 $ G = \mathrm{SL}_3 $ 且在特征二下，任意最高权为 $ \lambda $ 的 $ G $-模 $ M $，其 $ M^{(1)} $ 的良好过滤维数被 $ \rho^\vee(\lambda) $ 所控制。
• 上同调中映射 $ \Delta_{a,b} $ 的满射性意味着偶上同调 $ H^{\mathrm{even}}(G, A) $ 是有限生成的，从而推出整个环的有限生成性。
• 推论表明：对于任意具有相容 $ G $-作用的诺特 $ A $-模 $ M $，其具有良好过滤维数，且无需假设 $ A $ 的光滑性或平坦性。
• 该方法在 $ n > 3 $ 或 $ p > 2 $ 时失效，因为受限于零点集的秩至多为一的条件不成立，这与 $ \Gamma^2(V^{(1)}) \otimes \Gamma^2(V^{\#(1)}) $ 的结构有关。
• 该结果为 $ \mathrm{SL}_2 $ 情形提供了新的证明，并明确了上同调有限生成性成立的精确条件。