Zero cycles on Severi--Brauer flag varieties

技術的概要：セヴェリ・ブローワー旗多様体におけるゼロサイクル

問題提起
本論文は、セヴェリ・ブローワー旗多様体に対する、次数ゼロのゼロサイクルのチャウ群 $A_0(X)$ の構造を調査する。$F$ を体、$A$ を $F$ 上の指数 $n$ の中心単純代数とする。セヴェリ・ブローワー旗多様体 $X = SB_{n_1, \dots, n_k}(A)$ は、$A$ に付随する旗多様体のひねられた形式である。中心的な問いである質問 1.1 は、$A_0(X)$ が自明かどうかを問うものである。以前の結果は、特定の条件下（例えば、$\gcd(n_1, \dots, n_k, \text{ind}(A)) = 1$ の場合、または特定の指数の場合）での自明性を確立していたが、一般の場合については未解決のまま残っていた。著者らは、一般の場合における $A_0(X)$ のねじれ上限を決定し、局所体および大域体に対する消滅結果を確立することを目的としている。

手法
著者らは、安定双有理幾何学、指数縮小技術、および体の同値性の理論の組み合わせを採用している。

1. 素数べき指数への還元: 主要な方法論的ステップは、一般の場合を素数べき指数を持つ中心除数代数の研究に還元することである。除数代数の素因数分解と安定双有理同値の性質を用いることで、問題は素数べき成分に関連する一般化されたセヴェリ・ブローワー多様体の積を分析することに分解される。
2. 安定双有理性と指数計算: 本論文は、$SB_{n_1, \dots, n_k}(A)$ が、$A$ とブラウアー同値な中心除数代数 $D$ および $d = \gcd(n_1, \dots, n_k, n)$ に対して、一般化されたセヴェリ・ブローワー多様体 $SB_d(D)$ と安定双有理同値であることを確立する。著者らは、多様体 $SB_d(D)$ の指数が正確に $n/d$ であることを証明し、以前の結果を任意の標数に拡張している。
3. 帰納法と制限・制限転写によるねじれ上限: $A_0$ のねじれを上限付けるために、著者らは指数の素因数の数に関する帰納的アプローチを利用する。セヴェリ・ブローワー多様体の対称積と一般化されたセヴェリ・ブローワー多様体の間の関係を活用する。分解体上で制限・制限転写の議論を適用することで、多様体の積に対する $A_0$ のねじれに関する上限を導き出す。
4. 局所・大域の場合の体の同値性: 局所体および大域体については、メルクルエフとチェルノウソフによって開発された体の同値性の理論を利用する。指数の挙動が制御された特定の体拡大（補題 6.5）を構成することで、分解体のクラスにおけるある次数を持つ任意の 2 つの体が同値であることを示す。この同値性は、特殊な体に関する基準を通じて $A_0$ の自明性を意味する。

主要な貢献と結果

• 一般のねじれ上限（定理 1.3）: 著者らは、指数 $n$ の代数に関連するセヴェリ・ブローワー旗多様体 $X = SB_{n_1, \dots, n_k}(A)$ に対して、群 $A_0(X)$ が $(d, n/d)$-ねじれであることを証明する。ここで $d = \gcd(n_1, \dots, n_k, n)$ である。これは一般の場合に対する鋭いねじれ上限を提供する。
• 平方因子なし指数の場合の消滅（系 1.4）: 直接的な帰結として、代数の指数 $n$ が平方因子を持たない場合、すべての $r$ に対して $A_0(SB_r(A)) = 0$ となる。
• 新たな消滅事例（命題 4.4）: 本論文は、$A_0$ が消滅する新たな事例を特定する。具体的には、8 で割り切れない偶数指数の代数において、gcd 条件が 2 となる場合である。
• 特定の指数に対する精緻化された上限（系 5.6）: 著者らは、$A$ の指数が 4 で割り切れない場合、$\gcd(r, \text{ind}(A)) = 4$ である限り、$A_0(SB_r(A))$ が 2-ねじれであることを示す。
• 局所体および大域体における自明性（定理 1.2）: 本論文は、$F$ が局所体または大域体であるならば、$F$ 上の任意のセヴェリ・ブローワー旗多様体 $X$ に対して $A_0(X) = 0$ であることを証明する。この結果は、体の同値性の理論をこれらの特定の体に拡張し、消滅に必要な同値条件が満たされることを示すことによって達成される。
• 指数の公式（定理 3.4）: 著者らは、セヴェリ・ブローワー旗多様体の指数に関する公式を提供し、任意の標数で有効な $\text{ind}(SB_{n_1, \dots, n_k}(A)) = n/d$ を示す。

意義と主張
本論文は、局所体および大域体に対して質問 1.1 を肯定的に解決し、任意の体上の一般の場合に対して既知の最も鋭いねじれ上限を提供すると主張している。著者らは、そのアプローチが、特に基底体の標数および代数の指数に関する制限を除去することで、クラシュエン、メルクルエフ、チェルノウソフの以前の結果を統合し拡張していると強調している。

結果の意義は以下の点にある：

1. 一般化: $A_0$ の自明性を、特定のケース（例えば $d=1$ または指数の制約付きの $d=2$）から、gcd パラメータ $d$ によって定義される多様体の広範なクラスへと拡張すること。
2. 局所・大域における消滅: セヴェリ・ブローワー旗多様体が、局所体および大域体におけるゼロサイクルに関して有理多様体と同様に振る舞い、$A_0(X)=0$ を確認すること。
3. 予想の支持: 著者らは、その結果が、$p$ 進体上の幾何学的に有理的に連結な多様体に対する $A_0(X)$ の有限性というコリオット＝テレーヌの予想を支持し、これが成り立つ新たな多様体のクラスを提供していると指摘している。

本論文は、これらの多様体に対する $A_0$ の研究を、素数べき指数を持つ除数代数の研究に効果的に還元できることを結論付け、これらの同種多様体の算術に関するさらなる調査への明確な道筋を提供している。