[論文レビュー] On the defect in the generalized Grunwald--Wang problem

David Harari, Tamás Szamuely|arXiv (Cornell University)|Mar 4, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

この論文は、有限の étale 群 schemes に対する一般化 Grunwald–Wang 問題における欠陥（cokernel）の大きさを研究し、欠陥が関数場や特定の局所場を含むさまざまな設定で無限大または任意に大きくなり得ることを示しています。

ABSTRACT

The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special case the obstruction is measured by a group of order 2. It has been known for a long time that the Grunwald--Wang theorem extends to a very general context of valued fields. Therefore it is natural to ask whether in the special case the obstruction is always measured by a finite group and if so, is the order of this group bounded independently of the number of places under consideration. We show that the answer to both questions is negative in general, already for rational function fields and discrete valuations coming from points of the affine line. This has some interesting links to the arithmetic of function fields over Q or Q_p.

研究の動機と目的

• 任意の体、評価、有限の étale 群スキームの設定で Grunwald–Wang 問題を動機付けて形式化する。
• 局所 H^1 の直積の閉包に対する商としてのサイズ、すなわち局所-グローバル性の欠陥を調べる。
• 定住地の集合が増加するとき欠陥が無限大または無限大に発散する条件を同定する。
• 特性ゼロおよび K = k(t) における欠陥の非有界性・非有限性の構成を提供する。

提案手法

• Saltman のフラスク解法を用いて H^1(K,M) を解 1→M→F→P→1 におけるフラスクなトーラス F の H^1(K,F) に関連付ける。
• コ cokernel を K 上の cokernel が F 上の cokernel を介して H^1(k,F) および局所共同作用を介して結びつく同値定理（系）を適用する。
• F が infinite H^1(k,F) を持つような体 k を構成して T が少なくとも 2 要素を持つとき cokernel を無限大に押し上げる。
• 算術的基礎体における特定のコホモロジー群の有限性を示して、無限 T の場合と対比する。
• Wang の反例を利用して Q_2 における非自明な H^1(Q_2,F) を確保し、それを無限族の評価へ伝播させる。
• 弱近似の文脈で X^2_ω および X^2 群の結果を単純に連結した同種の群に対して導く。
• research_questions：['一般の K, T, M に対して prod_v H^1(K_v,M) / H^1(K,M) の閉包は常に有限か？','もし商が有限なら、その階数は T に依存せず有界か？','K = k(t) の設定で rational points からなる T の場合、欠陥の有限性はどうなるか？']
• key_findings that are directly supported by the text：['特性零の体 k が存在し、P^1_k の有理点からの各有限な T に対して、対角写像 H^1(K, Z/8Z) → ∏_{v∈T} H^1(K_v, Z/8Z) の cokernel は |T| が 2 以上の場合に無限大になる。','K = Q または Q_2 で閉点からなる有限の T に対して、対角写像 H^1(K, Z/8Z) → ∏_{v∈T} H^1(K_v, Z/8Z) の cokernel は T によって任意に大きな F_2 次元をとり得る。','k = Q (または Q_2) で閉点からなる T が無限である場合、商 ∏_{v∈T} H^1(K_v, Z/8Z) / closure(H^1(K, Z/8Z)) は無限となり得る。','Corollary: Q_2 の場合、H^2(K, μ_8^⊗2) の X^2_ω(μ_8^⊗2) がほとんどの局所コホモロジー群で像が自明でも無限である。','算術的基礎体において、flasque tori の場合 H^1(K_v, F) が有限であり、finite T の欠陥は有限となるが、infinite T には適用できない。','K = Q(t) の場合も Wang の反例を用いた同様のメカニズムで適切に選ばれた有限の T に対して cokernel が無限となる。']
• table_headers:[]
• table_rows:[]

実験結果

リサーチクエスチョン

• RQ1 Is (prod_v H^1(K_v,M)) / H^1(K,M) closure always finite for general K, T, M?
• RQ2 If the quotient is finite, is its order bounded independently of T?
• RQ3 What are the finiteness properties of the defect in the setting K = k(t) with T from rational points?

主な発見

• There exists a field k of characteristic zero for which, for every finite T of valuations from rational points of P^1_k, the diagonal map H^1(K, Z/8Z) → ∏_{v∈T} H^1(K_v, Z/8Z) has infinite cokernel when |T| ≥ 2.
• For K = Q or Q2 and T finite from closed points, the cokernel of the diagonal map H^1(K, Z/8Z) → ∏_{v∈T} H^1(K_v, Z/8Z) can have arbitrarily large F2-dimension as T varies.
• If k = Q (resp. Q2) and T is infinite from closed points, the quotient (∏_{v∈T} H^1(K_v, Z/8Z)) / closure(H^1(K, Z/8Z)) can be infinite.
• Corollary: over Q2, the subgroup X^2_ω(μ_8^⊗2) of H^2(K, μ_8^⊗2) with trivial image in almost all local cohomology groups is infinite.
• In arithmetic base fields, H^1(K_v, F) are finite for flasque k-tori in p-adic or global cases, implying finiteness of the defect for finite T, but not for infinite T.
• For K = Q(t) the same mechanism with Wang’s counterexample yields infinite cokernels for suitably chosen finite T of places.