[論文レビュー] Primarily quasilocal fields and 1-dimensional abstract local class field theory

Ivan D. Chipchakov|arXiv (Cornell University)|Jun 24, 2005

Finite Group Theory Research参考文献 27被引用数 8

ひとこと要約

本稿は、主に準局所（PQL）体に対して1次元の抽象的局所類体論を確立し、有限アーベル拡大がそのノルム群によって一意に決定されることを示すことにより、古典的局所類体論における基本的対応、再帰性法則、ハッセ記号を一般化する。主な貢献は、PQL体が特定のコホモロジー的条件を満たす$p$-成分を有する場合、ブレーガー群とノルム群を用いて古典的不変量の正確な類似物を構成することにある。

ABSTRACT

Let $E$ be a field satisfying the following conditions: (i) the $p$-component of the Brauer group Br$(E)$ is nontrivial whenever $p$ is a prime number for which $E$ is properly included in its maximal $p$-extension; (ii) the relative Brauer group Br$(L/E)$ equals the maximal subgroup of Br$(E)$ of exponent $p$, for every cyclic extension $L/E$ of degree $p$. The paper proves that finite abelian extensions of $E$ are uniquely determined by their norm groups and related essentially as in the classical local class field theory. This includes analogues to the fundamental correspondence, the local reciprocity law and the local Hasse symbol.

研究の動機と目的

• 有限アーベル拡大がそのノルム群によって一意に決定されるような体の特徴付け。
• 局所体を超えるより広いクラスの体へ、古典的局所類体論の不変量（基本的対応、再帰性法則、ハッセ記号）を拡張すること。
• 特に主に準局所（PQL）体に注目して、体が1次元の抽象的局所類体論を有するための条件を確立すること。
• 非古典的状況下で、ブレーガー群不変量とノルム群を用いてハッセ記号および再帰性写像を一般化すること。
• すべての許容可能な局所再帰性法則およびハッセ記号の形を、指定されたブレーガー群の性質を有する厳密PQL体を用いて実現するための枠組みを提供すること。

提案手法

• 体$E$のブレーガー群、特にその$p$-成分の構造を用いて、有限アーベル拡大がノルム群によって一意に決定されるための条件を定義する。
• 体の塔におけるコアストリクションおよびノルム移動写像を応用し、中間拡大におけるノルムを関連づける。連続性およびプロファイント群構造を活用する。
• 証明はPQL性質に依存する：各素数$p$に対して、$E(p) = E$またはブレーガー群の$p$-成分が自明である。これにより、巡回拡大の埋め込み性が保証される。
• 厳密PQL体の文脈において、RC公式とコアストリクション写像の単射性を用いて、ノルム群とアーベル拡大との間の対応を確立する。
• ハッセ記号および再帰性写像の構成は、スカラー拡張写像$\rho_{E/L}$の全射性と$\mathrm{Br}(E)_p$の構造に基づく。
• ガロアコホモロジーおよびアーティン＝シュライエル理論を用いて、形式的に実および非実な状況下でのノルムおよび拡大の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 体$E$にどのような条件を課すと、有限アーベル拡大がそのノルム群によって一意に決定可能となり、古典的局所類体論が一般化されるか？
• RQ2 局所体でないがPQL性質を満たす体に対し、基本的対応、再帰性法則、ハッセ記号を拡張できるか？
• RQ3 厳密PQL体において、ブレーガー群とノルム群の構造がどのように作用し、抽象的類体論を支えるか？
• RQ4 コアストリクション写像は、PQL設定下で、ノルム群の性質を拡大の間で保つ役割を果たすか？
• RQ5 すべての許容可能な局所再帰性法則およびハッセ記号の形を、指定されたブレーガー群の性質を有する厳密PQL体を用いて実現可能か？

主な発見

• 厳密PQL体$E$の有限アーベル拡大は、そのノルム群によって一意に決定され、古典的局所類体論における基本的対応を一般化する。
• 局所再帰性法則の正確な類似物が成立する：2つのアーベル拡大の合成体のノルム群は、それらのノルム群の共通部分群に等しい。
• ハッセ記号は群準同型$\cdot, M/E)\colon E^* \to \mathrm{Gal}(M/E)^{\mathrm{Br}(E)}$として実現され、核がノルム群$N(M/E)$に等しい。これは古典的ハッセ記号を一般化する。
• 非実体の場合、コアストリクション写像$\mathrm{Cor}_{L/E}$は全単射であり、ハッセ記号は拡大の制限およびコアストリクションと両立する。
• 形式的に実な場合、奇素数に対してハッセ記号は部分的に実現され、適切な条件下で$\mathrm{Br}(E')_p \cong \mathrm{Br}(E)_p$が成り立つ。
• プロファイント完備化$\mathrm{Pr}_c(E^*)$は$\prod_{p \in P(E)} \mathcal{G}(E_{\mathrm{ab}}(p)/E)^{d(p)}$に同型であり、古典的類体論の結果を一般化する。