[論文レビュー] Groupe de Brauer non ramifié algébrique des espaces homogènes (The unramified algebraic Brauer group of homogeneous spaces)

Giancarlo Lucchini Arteche|arXiv (Cornell University)|Dec 11, 2013

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

本稿は、有限体および特徴数0の体上で、単連結な半単純群 $G'$ による同次空間 $V = G\backslash G'$ の非分岐な代数的ブラーブラウル群を計算する明示的公式を提供する。安定化子群 $G$ のガロアコホホロジーを、その有限部分商に還元することにより、著者らはブラーブラウル群が、成分群と最大トーラスの $m$- torsion から構成される有限部分群によって完全に決定されることを示し、非連結な安定化子に対しても、以前の結果を一般化する。

ABSTRACT

Using a reduction of the Galois cohomology of a linear algebraic group $G$ to that of a certain finite subquotient, we give different formulas allowing the calculation of the unramified algebraic Brauer group of a homogeneous space $V=G\backslash G'$ with $G'$ semisimple and simply connected, both over a finite field and over an arbitrary field of characteristic $0$.

研究の動機と目的

• 安定化子群が有限または可換でない場合を含め、非分岐な代数的ブラーブラウル群の既存の公式を、任意の安定化子群にまで拡張すること。
• 非連結な安定化子の場合に、ブラーブラウル群が安定化子の有限部分商にのみ依存することを示すことにより、そのケースを解消すること。
• ガロアコホホロジーを有限群に還元する一般的手法を確立し、$\mathrm{Br}_{\mathrm{nr,al}}V$ の計算に用いること。
• ブラーブラウル群に必要なコホモロジー情報が、成分群とトーラスの torsion から構成される有限部分群によって完全に捉えられることを証明すること。
• [BDH13] および [LA14] の結果を、分岐群が有限群と分解トーラスの拡張である場合にまで一般化し、一般線型代数的群のケースをカバーすること。

提案手法

• 線型代数的群 $G$ のガロアコホホロジーを、$G$ が有限群 $F$ と分解トーラス $T$ の拡張として構造を持つことを利用し、有限部分商に還元すること。
• $T^{nd} \to H \to F$ と $T \to G \to F$ の可換図式を満たす、$k$-代数群 $H \subset G$ の構成。ここで $n = |F|$、$d = [L:k]$ は $T$ の分裂体 $L$ に対応する。
• $m = nd$ として、乗法 $m$-写像 $\phi_m: T \to T$ を用い、$H$ を $H_0$ と $\phi_m^{-1}(H_0 \cap T)$ の生成する部分群として定義し、$H$ が有限であることを保証すること。
• すべての体拡張 $k' \supset k$ に対して、自然な写像 $H^1(k', H) \to H^1(k', G)$ が全射であることを証明し、$H$ がブラーブラウル群に必要なすべてのガロアコホホロジー情報を捉え込んでいることを示すこと。
• [CGR08] の結果（命題3.1）を応用し、ブラーブラウル群がこの有限部分群のコホモロジーによって決定されることを示すこと。
• $\mathrm{Br}_{\mathrm{nr,al}}V$ の計算を、有限群のガロアコホモロジーに還元することにより、有限体および特徴数0の体の両方で明示的な計算が可能になること。

実験結果

リサーチクエスチョン

• RQ1 安定化子 $G$ が非連結的で、かつ 'ssumult' 型でもない場合に、同次空間 $V = G\backslash G'$ の非分岐な代数的ブラーブラウル群を計算できるか。
• RQ2 安定化子 $G$ が有限群と分解トーラスの拡張である場合でも、ブラーブラウル群がその安定化子の有限部分商にのみ依存するか。
• RQ3 特徴数0の体に対しても、$\mathrm{Br}_{\mathrm{nr,al}}V$ の計算を有限群のガロアコホモロジーに還元できるか。
• RQ4 安定化子 $G$ が有限群 $F$ と分解トーラス $T$ の拡張であるとき、ブラーブラウル群を制御する有限部分群 $H \subset G$ をどのように構成できるか。
• RQ5 [LA14]（有限安定化子の場合）の結果が、コホモロジーの還元によってどの程度より一般的な安定化子にまで拡張できるか。

主な発見

• 特徴数と互いに素な位数 $n$ の有限群 $F$ と、体 $k$ 上の分解トーラス $T$ の拡張として得られる安定化子 $G$ に対して、非分岐な代数的ブラーブラウル群 $\mathrm{Br}_{\mathrm{nr,al}}V$ は、$G$ の有限 $k$-部分群 $H \subset G$ のガロアコホモロジーによって決定される。
• 有限部分群 $H$ は、$F$ の $G$ 上への持ち上げ $H_0 \subset G$ と $T$ の $m$- torsion の生成する部分群として構成され、$m = nd$（$d = [L:k]$、$L$ は $T$ の分裂体）である。$H$ は正確な列 $1 \to T^{nd} \to H \to F \to 1$ に適合する。
• $H^1(k', H) \to H^1(k', G)$ がすべての $k' \supset k$ に対して全射であることは、ブラーブラウル群に必要なすべてのガロアコホモロジー情報が $H$ によって捉えられていることを示し、したがって $\mathrm{Br}_{\mathrm{nr,al}}V$ は $H$ のみに依存する。
• $\mathrm{Br}_{\mathrm{nr,al}}V$ の公式は $H^1(k, H)$ と $H^2(k, H)$ の形で与えられ、計算が有限群コホモロジーに還元される。
• この結果は、[BDH13] および [LA14] の既存の公式を、有限群と分解トーラスの拡張である安定化子にまで一般化し、一般線型代数的群のケースをカバーする。
• この手法は、有限体および特徴数0の体の両方に対して一様に適用可能であり、このような同次空間の非分岐な代数的ブラーブラウル群の計算に一貫したフレームワークを提供する。