[論文レビュー] Arithmetic invariant theory

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

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、ガロアコhomologyを用いて、代数閉体でない体への幾何的不変理論の拡張を通じて、算術的不変理論を構築する。特に対称的奇数次特殊直交群 SO(2n+1) の3つの表現における正則半単純軌道に焦点を当て、有理軌道および整数軌道のコhomological分類を示す。主な貢献は、有理軌道がガロアコhomology写像の核に一致すること、整数軌道が特徴多項式によって定義される順序における理想類によってパラメトライズされることを示したことである。

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}$.

研究の動機と目的

• ガロアコhomologyを組み込むことで、一般の体上の算術的設定への幾何的不変理論の拡張を図ること。
• Galois cohomology写像の核を介して、再帰的群の表現における有理軌道を分類すること。
• SO(2n+1)の3つの表現における整数軌道を、理想類と双一次形式を用いてパラメトライズすること。
• 整数軌道のコhomological枠組みを、順序の類数に類似した形で確立すること。
• 古典的対象（例えば二進二次形式とその類数）との理論的関係を明らかにすること。

提案手法

• Galois cohomologyを用いて、G(k^s)-軌道内におけるG(k)-軌道を分類し、γ: H¹(k, G_v) → H¹(k, G) の核の元に同定する。
• 特異的表現（標準的、随伴的、対称平方）に対して理論を適用し、特徴標数 ≠ 2 の体を対象とする。
• 対称平方表現に対して、理想上に双一次形式を構成し、分裂性を判定し、軌道を分類する。
• エタールコhomologyと、Res_{O/ℤ}G_m および G_m を含む完全系列を用いて、整数モデルにおける H¹(ℤ, G_v) を計算する。
• コhomological同型を介して、原始的整数軌道の数が二次順序 O(d) のPic(O(d))類群に一致することを示す。
• 整数軌道と、分裂する双一次形式を持つペア (I, α) の同値類との間の全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 幾何的不変理論は、代数閉体でない体上での有理軌道を分類するために、どのように拡張可能か？
• RQ2 安定化子が自明でない場合に、ガロアコhomologyは軌道分類において果たす役割は何か？
• RQ3 SO(2n+1)の随伴的および対称平方表現における整数軌道はどのようにパラメトライズされるか？
• RQ4 原始的整数軌道の数と二次順序の類数との間にどのような関係があるか？
• RQ5 類数の数論的類似として、整数軌道を記述するコhomological枠組みは構築可能か？

主な発見

• 標準的表現における有理軌道は、写像 H¹(k, G_v) → H¹(k, G) の核にちょうど一致し、安定化子がトーラスである場合にはこの核は自明である。
• 随伴的表現において、理論は正則半単純元の安定的共轭類の概念を回復し、トーラスコhomologyによるコhomological分類が可能である。
• 対称平方表現において、固定された特徴多項式 f(x) を持つ整数軌道は、関連する双一次形式が分裂するペア (I, α) の同値類と一対一対応する。
• PGL₂が二進二次形式に作用する際、判別式 d に対する原始的整数軌道の数は、二次順序 O(d) の類数に等しい。
• コhomological計算により H¹(ℤ, G_v) ≅ Pic(O(d)) が示され、軌道の集合が Pic(O(d)) による主同次空間であることが示された。
• 代数的数論とコhomological不変量を用いて、3つの表現における整数軌道の完全な分類が得られた。