[論文レビュー] Le probl\\`eme inverse de Galois sur les corps des fractions tordus \\`a ind\\'etermin\\'ee centrale

Bruno Deschamps, François Legrand|arXiv (Cornell University)|Mar 26, 2019

Algebraic Geometry and Number Theory参考文献 21被引用数 13

ひとこと要約

本稿は、中心 $k$ 上の有限次元中心的歪体 $H$ 上の逆ガロア問題と、$H/k$ のノルム形式を含む制約付きバージョンの $k$ 上の逆ガロア問題との間の同値性を確立する。主な結果は、$k$ に豊富な体が含まれるならば、任意の有限群が $H(t)$、つまり中心的変数 $t$ を持つねじれ有理関数体上にガロア群として実現可能であり、これは非可換設定下での逆ガロア問題を、基底体における多項式的制約によって解決するものである。

ABSTRACT

In this article, we show that the Inverse Galois Problem over a skew field $H$ of finite dimension over its center $k$ is equivalent to a variant of the Inverse Galois Problem over $k$ involving a polynomial constraint. As an application, we show that if $k$ contains an ample field, then the Inverse Galois Problem has a positive answer over the skew field $H(t)$ of rational fractions with central indeterminate.

研究の動機と目的

• 中心的歪体 $H$ 上の逆ガロア問題と、その中心 $k$ 上の制約付きバージョンとの間の正確な同値性を確立すること。
• 特に中心的変数を持つねじれ有理関数体 $H(t)$ を含む非可換設定へ、逆ガロア問題を拡張すること。
• 基底体 $k$ 内に豊富な体が存在するならば、$H(t)$ 上の逆ガロア問題に正の解が存在することを示すこと。
• ノルム形式が線形に分離する性質を制御する役割を明らかにし、非可換体上でのガロア実現を可能にする。
• 標準的な代数的閉包の概念が成立しない非可換体およびねじれ有理関数体へ、古典的ガロア理論の技法を一般化すること。

提案手法

• $H/k$ の縮約ノルムに関連するノルム形式 $\mathcal{F} = P_H$ を定義し、$H/k$ とガロア拡大 $L/k$ の間の線形分離性を符号化する。
• $H/k$ と $L/k$ が線形に分離するための必要十分条件として、$\mathcal{F}$ が $L$ 内に非自明な零点を持たないこと、すなわち $\mathcal{F}$ の $L$ 上での消滅を示し、$H$ 上のガロア実現と $\mathcal{F}$ の $L$ 上での消滅を結びつける。
• 有限次元中心単純代数の構造を用いた双対性による議論により、同値関係 $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$ を確立する。
• $G^{n+1}$ 次の線形に分離するガロア拡大が $n+1$ 個存在することを用い、少なくとも一つの拡大が $H$ と分離していることを保証する。この際、中間体の数を活用する。
• Oreの構成法を用い、中心的変数 $t$ を持つねじれ多項式環 $H[t]$ の商体としてねじれ有理関数体 $H(t)$ を構成する。
• 同値性の結果を応用し、$k$ に豊富な体が含まれるならば、$\text{PIG}_{H(t)}$ に正の解が存在することを示す。これは、$\mathcal{F}$ の零点が自明となる適切な $L/k$ の存在に起因する。

実験結果

リサーチクエスチョン

• RQ1 有限次元中心的歪体 $H$（中心 $k$ 上）における逆ガロア問題は、$H/k$ のノルム形式を含む制約付き逆ガロア問題と同値であるか？
• RQ2 基底体 $k$ に豊富な体が含まれる場合、ねじれ有理関数体 $H(t)$ 上での逆ガロア問題は解けるか？
• RQ3 ノルム形式 $P_H$ は、$H/k$ とガロア拡大 $L/k$ 間の線形分離性を保証するために果たす役割は何か？
• RQ4 一般には $\text{PIG}_H \Rightarrow \text{PIG}_{\mathcal{F}\text{C}}^k$ が成り立たないが、非可換設定下ではなぜ成立するのか？
• RQ5 古典的ガロア理論は、特にねじれ有理関数体の文脈において、非可換体へどのように一般化できるか？

主な発見

• 有限次元中心的歪体 $H$（中心 $k$ 上）における逆ガロア問題は、$H/k$ のノルム形式 $P_H$ を含む制約付き逆ガロア問題と同値であり、両者の間の正確な代数的ブリッジを確立する。
• 線形分離性と拡大体上でのノルム形式の消滅の相互作用により、同値関係 $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$ が成立する。
• $k$ に豊富な体が含まれるならば、任意の有限群が中心的変数 $t$ を持つねじれ有理関数体 $H(t)$ 上にガロア群として実現可能であり、非可換設定下での逆ガロア問題に正の解を与える。
• $t$ を中心的変数とするねじれ多項式環 $H[t]$ の商体として $H(t)$ を構成することにより、すべての元が $p(t)q(t)^{-1}$ の形に表され、非可換構造が保たれる。
• 証明は、$H$ と分離する少なくとも一つの拡大が存在することを保証する十分に多くの線形に分離するガロア拡大の存在に依存し、$H/k$ の中間体の数を活用する。
• 結果は、基底体 $k$ が豊富な体などの強いモデル理論的性質を持つ場合、非可換設定下での逆ガロア問題がより取り扱いやすくなることを示している。