[論文レビュー] A constructive proof of Weil's Galois descent theorem

Rubén A. Hidalgo, Sebastian Reyes|arXiv (Cornell University)|Mar 28, 2012

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

ひとこと要約

この論文は、与えられたガロア拡大 $ \mathcal{L} $ 上の代数的多様体 $ X $ の明示的な方程式とガロア降下データが与えられたとき、基本体 $ \mathcal{K} $ 上の降下多様体 $ Y $ と双有理同型 $ R: X \to Y $ を明示的に計算することにより、ヴェイユのガロア降下定理の構成的証明を提供する。主な貢献は、ヴェイユの元々の証明が非構成的であるのを補う、アルゴリズム的手法による $ Y $ と $ R $ の有効な構成法である。

ABSTRACT

Let ${\mathcal K}<{\mathcal L}$ be a finite Galois extension and let $X$ be an algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides sufficient conditions for $X$ to be definable over ${\mathcal K}$, that is, the existence of a Galois decent datum for $X$ asserts the existence of an algebraic variety $Y$, defined over ${\mathcal K}$, and a birational isomorphism $R:X o Y$, defined ver ${\mathcal L}$. Unfortunately, Weil's original proof does not provides a method to compute $R$ nor $Y$ explicitly. The aim of this paper is to provide a constructive proof, that is, once explicit equations are given for $X$ and a Galois descent datum for $X$, one produces such an explicit birational isomorphism $R$.

研究の動機と目的

• ヴェイユの元々のガロア降下定理の非構成的性質に対処し、降下多様体や双有理写像の明示的構成が得られない問題を解決する。
• ガロア拡大 $ \mathcal{L} $ 上の多様体 $ X $ の明示的な方程式が与えられたとき、それに対応する基本体 $ \mathcal{K} $ 上で定義された多様体 $ Y $ を構成するアルゴリズム的手法を提供する。
• 基本体 $ \mathcal{K} $ 上で定義された、明示的な双有理同型 $ R: X \to Y $ を構成し、降下が計算可能かつ有効であることを保証する。
• 抽象的な存在定理を計算的手順に変換することで、代数幾何や算術幾何におけるガロア降下の実用的応用を可能にする。

提案手法

• 有限なガロア拡大 $ \mathcal{K} \to \mathcal{L} $ と $ \mathcal{L} $ 上で定義された多様体 $ X $ を前提とし、$ X $ を定義する明示的な多項式方程式を出発点とする。
• ガロア降下データとして、各 $ \sigma \in \mathrm{Gal}(\mathcal{L}/\mathcal{K}) $ に対して $ \sigma \cdot X \to X $ という同型の族が与えられ、コycle条件を満たすものとする。
• 不変式理論を用いて、$ \mathcal{K} $ 上で定義される $ Y $ の方程式を求める方法により、$ X $ のガロア作用による商として降下多様体 $ Y $ を $ \mathcal{K} $ 上に構成する。
• 対称関数やレインズオペレーターを用いて、$ X $ の点をそのガロア不変座標に写すことで、双有理同型 $ R: X \to Y $ を明示的に構成する。
• グレブナー基底や類似の計算代数ツールを用いて、不変式や有理写像を計算するアルゴリズム的手法を適用する。
• 得られる $ Y $ は $ \mathcal{K} $ 上で定義され、$ R $ は $ \mathcal{L} $ 上で定義された双有理同型であり、逆写像は同じデータから計算可能である。

実験結果

リサーチクエスチョン

• RQ1 ヴェイユのガロア降下定理をどのようにして有効化できるか。具体的には、与えられたデータから降下多様体 $ Y $ と双有理写像 $ R $ が明示的に計算可能であるようにするには。
• RQ2 ガロア不変有理関数や、基本体 $ \mathcal{K} $ 上の降下多様体 $ Y $ の定義方程式を計算するための、どのようなアルゴリズム的手法が有効か。
• RQ3 与えられた $ X $ 上のガロア作用から、写像 $ R: X \to Y $ を有理写像として明示的に構成できるか。
• RQ4 構成的降下プロセスに必要な・十分な計算ツール（例：グレブナー基底、対称多項式）は何か。
• RQ5 どのような条件下で、構成的メソッドが、幾何的に整であり、かつ $ X $ と双有理同倣である多様体 $ Y $ を得られるか。

主な発見

• 論文は、与えられた $ X $ の方程式とガロア降下データを用いて、不変式理論を用いて $ \mathcal{K} $ 上の降下多様体 $ Y $ を明示的に構成する。
• 基本体 $ \mathcal{K} $ 上で定義された明示的な双有理同型 $ R: X \to Y $ が得られ、降下が計算可能に実現される。
• この方法により、$ Y $ が $ \mathcal{K} $ 上で定義され、$ R $ が有理写像であり、逆写像が同じデータから計算可能であることが保証される。
• 構成はアルゴリズム的であり、グレブナー基底や対称関数の計算といった、計算代数幾何の標準的ツールを用いて実装可能である。
• 入力データから $ Y $ と $ R $ を体系的に回復する手続きを提供するため、ヴェイユの元々の証明の非構成的性質を解消する。
• 方程式が明示的に与えられている限り、任意の $ \mathcal{L} $ 上の代数的多様体 $ X $ とガロア降下データを備えた場合に、この方法は適用可能である。