[论文解读] On maximal tori of algebraic groups of type G_2

Constantin N. Beli, Philippe Gille+1 more|arXiv (Cornell University)|Nov 25, 2014

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本文通过八元数代数与伽罗瓦上同调，研究了域 $k$ 上型为 $G_2$ 的代数群中的极大环面。该文给出了一个上同调准则，用于判断一个秩为二的环面能否 $k$-嵌入 $ {Aut}(C)$，其中 $C$ 是 $k$ 上的八元数代数，利用伽罗瓦上同调和 Weyl 群 $W_0 cong bZ/2bZ imes S_3$。当关联的三次扩张不是域时，给出了完整解；当其为域时，给出了一个复杂的准则。此外，本文还构造了关于 Laurent 级数域上齐次空间有理点的 Totaro 问题的反例。

ABSTRACT

Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.

研究动机与目标

• 通过八元数代数的结构，对域 $k$ 上型为 $G_2$ 的代数群的极大环面进行分类。
• 确定给定的 $W_0$-扭量（对应于 étale 代数对 $(k', l)$）何时可作为某个环面 $k$-嵌入 $ {Aut}(C)$ 的类型，其中 $C$ 是一个八元数代数。
• 为 $G_2$ 作用下的某些齐次空间上 $k$-有理点的存在性提供一个上同调准则，特别关注 Totaro 关于零循环与有理点的问题。
• 证明对于数域，这些代数簇满足 Hasse 原理，从而使分类方法具有可计算性。

提出的方法

• 利用 $G_2$ 是 $k$ 上八元数代数 $C$ 的自同构群这一事实，通过其在 $G_{k_s}$ 的根系上的作用来研究极大环面。
• 为每个 $k$-嵌入 $i: T \to G$ 关联一个上同调类 $\r{type}(T,i) \in H^1(k, W_0)$，其中 $W_0 \cong \bbZ/2\bbZ \times S_3$ 是 $G_2$ 的 Weyl 群。
• 将此类嵌入的存在性与由一对 étale 代数 $(k', l)$ 构造的 $G$-作用齐次空间 $X$ 上 $k$-点的存在性联系起来。
• 当 $l$ 不是域时，利用 $G$ 中 $A_2$-子群的结构，将问题约化为对酉群的已知结果，并应用 Knus、Haile、Rost 和 Tignol 的理论。
• 当 $l$ 是域时，基于 $A_2$-子群的几何结构与伽罗瓦上同调，推导出一个复杂准则（定理 5.2.6）。
• 在 Laurent 级数域 $k((t))$ 的情形下，构造了 Totaro 问题在 $d=1$ 时的反例，通过 $T(k'[[t]])$ 上的滤子论证与 Hilbert 定理 90，证明存在二次与三次点但无 $k$-有理点。

实验结果

研究问题

• RQ1 给定域 $k$ 上的一个八元数代数 $C$，给定的 $W_0$-扭量 $[(k', l)]$ 何时可作为某个极大环面 $k$-嵌入 $ {Aut}(C)$ 的类型？
• RQ2 哪些关于 étale 代数 $k'$ 与 $l$ 的条件能保证关联齐次空间 $X$ 在 $G_2$ 作用下存在 $k$-有理点？
• RQ3 能否对形如 $k((t))$ 的域 $k$，构造一个 $G_2$ 作用下的齐次空间 $X$，使其具有度数为 1 的零循环但无 $k$-有理点？
• RQ4 Hasse 原理是否对数域上 $G_2$ 的极大环面参数化代数簇成立？
• RQ5 Bruhat-Tits 理论如何与局部域上 $G_2$-群中环面的有理共轭性相关联？

主要发现

• 当 $l$ 为非域的三次扩张时，本文给出了一个完整且显式的准则，用于判断是否存在 $k$-嵌入将型为 $(k', l)$ 的环面嵌入 $ {Aut}(C)$，该准则基于 $A_2$-子群结构与伽罗瓦上同调。
• 当 $l$ 是域时，本文给出了一个复杂准则（定理 5.2.6），涉及 $A_2$-子群的几何与酉群上同调，用以判断给定的 $W_0$-扭量是否能提升为 $k$-嵌入。
• 在 Laurent 级数域 $k((t))$ 上，本文构造了一个 $G_2$-作用的齐次空间 $X$，其具有二次点与三次点但无 $k$-有理点，从而在 $d=1$ 情形下提供了 Totaro 问题的新反例。
• 对于数域，参数化 $G_2$ 极大环面的代数簇满足 Hasse 原理，本文给出了一个有效方法来计算所有极大环面的类型，如例 6.4 所示，该例针对 $\bbQ$ 上 $G_2$ 的紧致形式。
• 本文通过证明 $G^\text{ad}_K$-扭量 $E$ 有 $K_{nr}$-点当且仅当其来自 $k$-环面嵌入到 $G^\prime$，建立了 Bruhat-Tits 理论与伽罗瓦上同调之间的联系，将 Steinberg 定理推广至局部域情形。
• 特殊化映射 $H^1(\Gamma, T(k'[[t]])) \to H^1(\Gamma, T(k'))$ 是一个同构，通过幂级数环单位上的滤子论证证明，从而可约化至 Hilbert 定理 90，并确立了主定理证明中的关键正合列。