[論文レビュー] Artin--Schreier and Cyclotomic Extensions

Julio Cesar Salas–Torres, Martha Rzedowski–Calderón+1 more|arXiv (Cornell University)|Jun 17, 2013

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

ひとこと要約

本稿は、類体論を用いないで、正標数 $ p > 0 $ の有限体上の有理合同関数体の任意のアーティン＝シュライエル拡大が、サイクロトミック関数体と定数体拡大の合成に含まれることを組み合わせ論的証明する。主な結果は、分岐被覆に基づいて、そのようなアーティン＝シュライエル拡大を含むサイクロトミックおよび定数体拡大を明示的に特定する。

ABSTRACT

In this paper we prove that any Artin--Schreier extension of a congruence rational function field is contained in the composite of a cyclotomic function field and a constant field extension that are explicitly prescribed.

研究の動機と目的

• 類体論を用いないで、アーティン＝シュライエル拡大がサイクロトミックおよび定数体拡大に含まれることの証明を提供すること。
• 与えられた有理合同関数体上のアーティン＝シュライエル拡大を含む、明示的なサイクロトミックおよび定数体拡大を特定すること。
• 単一の分岐素点をもつアーティン＝シュライエル拡大の組み合わせ的特徴づけを、次数および整除条件を用いて確立すること。
• 部分分数分解を用いて、一般のアーティン＝シュライエル拡大へ結果を拡張すること。
• このような拡大の数が、指定されたサイクロトミックおよび定数体拡大の合成内にある拡大の数と一致することを検証すること。

提案手法

• アーティン＝シュライエル標準形の使用：$ y^p - y = s(T) $、ここで $ s(T) $ は所定の被覆構造を持つ。
• 部分分数分解により、分岐素点が1つの場合に還元すること。
• 次数および互いに素な条件を用いて、与えられた素数のべきで導手を割るアーティン＝シュライエル拡大の数を計算すること。
• 適切な $ N $ に対して、このような拡大と $ K(\Lambda_N)\mathbb{F}_{q^p} $ の部分拡大との間の全単射を確立すること。
• 補題2.9および2.10の適用により、カルツォー・モジュールの $ N $-torsion によって生成されるサイクロトミック関数体への包含を示すこと。
• 部分分数分解の各項に対応する部分拡大の生成元の和として、生成元 $ y $ を明示的に構成すること。

実験結果

リサーチクエスチョン

• RQ1 アーティン＝シュライエル拡大がサイクロトミックおよび定数体拡大に含まれることを、類体論を用いずに証明できるか？
• RQ2 単一の分岐素点をもつ与えられたアーティン＝シュライエル拡大を含む正確なサイクロトミックおよび定数体拡大は何か？
• RQ3 与えられた分岐被覆をもつアーティン＝シュライエル拡大の数は、指定されたサイクロトミックおよび定数体拡大の合成内にある拡大の数とどのように比較できるか？
• RQ4 カルツォー・モジュール $ \Lambda_N $ は、アーティン＝シュライエル拡大を実現するために果たす役割は何か？
• RQ5 無限大素点 $ \mathcal{P}_\infty $ の存在が、包含結果におけるサイクロトミック導手にどのように影響するか？

主な発見

• 無限大素点 $ \mathcal{P}_\infty $ が分岐していない場合、$ F/K $ をアーティン＝シュライエル拡大とし、$ F = K(y) $、$ y^p - y = s(T) $ とすると、$ F \subseteq K(\Lambda_{\prod_{i=1}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ が成り立つ。
• 無限大素点 $ \mathcal{P}_\infty $ が分岐している場合、拡大は $ K(\Lambda_{1/T^{\alpha_1+1}})K(\Lambda_{\prod_{i=2}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ に含まれる。
• 素数 $ P $ に対して、$ P^\alpha $ で導手を割るアーティン＝シュライエル拡大の数は、$ K(\Lambda_{P^{\alpha+1}})\mathbb{F}_{q^p} $ 内にあるような拡大の数に等しい。
• 有理関数体 $ K = \mathbb{F}_q(T) $ に対して、すべてのアーティン＝シュライエル拡大は、サイクロトミック関数体と次数 $ p $ の定数体拡大の合成の部分拡大として現れる。
• 証明は、一般の場合を単一素数の場合に還元するために部分分数分解を用いる。
• 無限大素点が分岐している場合でも、結果は成り立ち、この場合にはサイクロトミック導手を $ 1/T^{\alpha_1+1} $ に調整する必要がある。