[论文解读] Arithmetic invariant theory

Manjul Bhargava, Benedict H. Gross|arXiv (Cornell University)|Jun 21, 2012

Advanced Algebra and Geometry被引用 4

一句话总结

本文通过使用伽罗瓦上同调将几何不变量理论推广至非代数闭域，发展了算术不变量理论，聚焦于分裂奇特殊正交群 SO(2n+1) 的三个表示中的正则半单轨道。主要贡献在于对有理轨道与整轨道的上同调分类，表明有理轨道对应于伽罗瓦上同调映射的核中的元素，而整轨道则由特征多项式所定义的序中的理想类参数化。

ABSTRACT

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation between these invariants and the $G$-orbits on $V$, usually under the hypothesis that the base field $k$ is algebraically closed. In favorable cases, one can determine the geometric quotient $V//G = Spec(Sym(V^*))^G$ and can identify certain fibers of the morphism $V ightarrow V/G$ with certain $G$-orbits on $V$. In this paper, we study the analogous problem when $k$ is not algebraically closed. The additional complexity that arises in the orbit picture in this scenario is what we refer to as arithmetic invariant theory. We illustrate some of the issues that arise by considering the regular semi-simple orbits--i.e., the closed orbits whose stabilizers have minimal dimension--in three arithmetically rich representations of the split odd special orthogonal group $G = SO_{2n+1}$.

研究动机与目标

• 通过引入伽罗瓦上同调，将几何不变量理论推广至一般域上的算术设定。
• 通过伽罗瓦上同调映射的核，对半单代数群在表示上的有理轨道进行分类。
• 利用理想类与双线性型，对 SO(2n+1) 的三个表示中的整轨道进行参数化。
• 建立一个类比于序的类数的整轨道的上同调框架。
• 将理论与经典对象（如二元二次型及其类数）联系起来。

提出的方法

• 使用伽罗瓦上同调对 G(k)-轨道在 G(k^s)-轨道内的分类，将其识别为 γ: H¹(k, G_v) → H¹(k, G) 的核中的元素。
• 将理论应用于三个表示：SO(2n+1) 的标准表示、伴随表示与对称平方表示，定义在特征 ≠ 2 的域上。
• 在对称平方表示中，构造理想上的双线性型以判断分裂性并分类轨道。
• 使用埃雷斯曼上同调及涉及 Res_{O/ℤ}G_m 与 G_m 的正合列，计算整模型下的 H¹(ℤ, G_v)。
• 通过上同调同构，将初等整轨道的数量与二次序 O(d) 的类群 Pic(O(d)) 联系起来。
• 建立整轨道与满足分裂双线性型的对 (I, α) 的等价类之间的双射，具体取决于表示。

实验结果

研究问题

• RQ1 如何将几何不变量理论扩展至非代数闭域，以对有理轨道进行分类？
• RQ2 当稳定子非平凡时，伽罗瓦上同调在轨道分类中起什么作用？
• RQ3 SO(2n+1) 的伴随表示与对称平方表示中的整轨道如何参数化？
• RQ4 初等整轨道的数量与二次序的类数之间有何联系？
• RQ5 能否建立一个类比于数论中类数的整轨道的上同调框架？

主要发现

• 在标准表示中，有理轨道恰好对应于映射 H¹(k, G_v) → H¹(k, G) 的核，且当稳定子为环面时该核平凡。
• 在伴随表示中，该理论恢复了正则半单元素的稳定共轭类概念，通过环面上同调实现上同调分类。
• 在对称平方表示中，具有固定特征多项式 f(x) 的整轨道与满足关联双线性型为分裂的对 (I, α) 的等价类之间存在双射。
• 在 PGL₂ 作用于二元二次型时，判别式为 d 的初等整轨道数量等于二次序 O(d) 的类数。
• 上同调计算表明 H¹(ℤ, G_v) ≅ Pic(O(d))，从而说明轨道集合是 Pic(O(d)) 上的主齐性空间。
• 该理论通过代数数论与上同调不变量，对三个表示中的整轨道提供了完整的分类。