[論文レビュー] R'esolutions flasques des groupes lin'eaires connexes

Jean-Louis Colliot-Thélène|ArXiv.org|Sep 19, 2006

Autoimmune and Inflammatory DisordersMedicine被引用数 17

ひとこと要約

本稿は、体上の連結な再帰的代数群に対して、flasque分解を導入し、$ G = H/S $ の形の商として表現する。ここで $ H $ は、単純連結な半単純群による擬似自明なトーラスの拡張であり、$ S $ は $ H $ に中心的である flasque トーラスである。主な貢献は、Galoisコホホロジーおよび関連する不変量（例えば、滑らかでコンactなコンパクト化のブラウアー群や $ R $-同値類）に対して、関手的かつ選択に依存しないアプローチを提供することであり、これは数体や局所体における既知の結果を単純化し、統一する。

ABSTRACT

A connected reductive group G over a field k may be written as a quotient H/S, where the k-group H is an extension of a quasitrivial torus by a simply connected semisimple group, and S is a flasque k-torus, central in H (a flasque torus is a torus whose cocharacter group is an H^1-trivial Galois lattice). The flasque torus S is well-defined up to multiplication by a quasitrivial torus. Such presentations G=H/S lead to a simplified approach of the Galois cohomology of G and of related objects, such as the Brauer group of a smooth compactification of G. When k is a number field, one also recovers known formulas, in terms of S, for the quotient of the group of rational points by R-equivalence, and for the abelian groups which measure the lack of weak approximation and the failure of the Hasse principle for principal homogeneous spaces.

研究の動機と目的

• 体上の連結な再帰的代数群のGaloisコホホロジーを研究するための、新しい体系的かつ包括的な方法を開発すること。
• Borovoi, Sansuc, Kottwitzらの手法で用いられる最大トーラスや複素トーラス分解に依存するのではなく、flasque トーラスに基づくより柔軟で内因的な構成に置き換えること。
• 特に数体において、滑らかでコンパクトなコンパクト化のブラウアー群や商 $ G(k)/R $ といった不変量の計算を統一的な枠組みで行うためのフレームワークを提供すること。
• flasque分解を用いて、以前の構成とは独立した方法で代数的基本群 $ \pi_1(G) $ を定義すること。
• flasque分解がGaloisコホホロジーにおいて関手的かつ標準的な結果をもたらすことを示すこと、特に弱近似やハッセの原理の文脈において。

提案手法

• $ 1 \to S \to H \to G \to 1 $ の形の分解を構成し、$ H $ を $ G^{\mathrm{der}} $ の普遍被覆による擬似自明なトーラスの拡張とし、$ S $ を $ H $ に中心的である flasque $ k $-トーラスとする。
• $ S $ の flasque 性質（そのコキャラクタモジュールが $ H^1 $-自明であること）を用いて、Galoisコホホロジーの計算を簡略化する。
• flasque分解における flasque トーラス $ S $ のコキャラクタモジュールとして代数的基本群 $ \pi_1(G) $ を定義し、最大トーラスの選択に依存しない。
• 滑らかでコンパクトな $ G $ のコンパクト化のブラウアー群を flasque トーラス $ S $ に関連づけ、2つの同値な公式（1つは $ S $ で、もう1つは $ \pi_1(G) $ で表す）を提供する。
• 既知の単純連結群に関する結果（Kneser, Harder, Chernousov）を用いて、数体および局所体上での $ G(k)/R $ および $ H^1(k, G) $ の計算に分解を適用する。
• Borovoi のトーラス複体と、flasque分解から導かれる複体との間で、準同型が成り立つことを示し、最大トーラスの選択に依存しないアプローチの等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最大トーラスの選択に依存しない、連結な再帰的群 $ G $ の標準的かつ選択に依存しない分解（flasque トーラスを用いたもの）を構成できるか？
• RQ2 flasque分解は、特に $ H^1(k, G) $ や滑らかでコンパクトなコンパクト化のブラウアー群の計算をどのように簡略化するか？
• RQ3 flasque分解と代数的基本群 $ \pi_1(G) $ の関係は何か？ これは Borovoi や Merkur’ev の定義とどのように比較できるか？
• RQ4 flasque分解は、数体上での $ R $-同値、弱近似、および主同次空間に対するハッセの原理に関する既知の結果をどの程度回復できるか？
• RQ5 G のコホモロジー的不変量（例えばブラウアー群や $ G(k)/R $）は、分解における flasque トーラス $ S $ に関して関手的に表現できるか？

主な発見

• 任意の体 $ k $ 上の連結な再帰的群 $ G $ に対して、$ H $ が $ G^{\mathrm{der}} $ の単純連結被覆による擬似自明なトーラスの拡張であり、$ S $ が $ H $ に中心的である flasque $ k $-トーラスであるような、flasque分解 $ 1 \to S \to H \to G \to 1 $ が存在する。
• flasque トーラス $ S $ は、擬似自明なトーラスによる乗法に関して一意的であり、$ G $ の標準的不変量である。
• $ G $ の滑らかでコンパクトなコンパクト化のブラウアー群は $ H^1(k, S) $ に同型であり、$ H^1(k, \pi_1(G)) $ に対しても同型であるため、2つの同値な公式が得られる。
• 数体上では、有理点の $ R $-同値類による商 $ G(k)/R $ が $ H^1(k, S) $ に同型であり、この新しい方法により既知の公式が回復される。
• 主同次空間を分類するコホホロジー $ H^1(k, G) $ は分解を用いて計算され、その結果は Sansuc, Kottwitz, Borovoi, Gille の結果と一致する。
• flasque分解のアプローチは Borovoi のトーラス複体のアプローチと等価であるが、最大トーラスの選択や複雑な分解を回避し、より直接的かつ関手的な枠組みを提供する。