On the defect in the generalized Grunwald--Wang problem

この論文は、一般化されたグリューンワルド・ワン問題において、特殊な場合の障害を測る群が有限であるか、あるいはその位数が考慮される位数の数に依存せずに有界であるかという問いに対し、有理関数体やアフィン直線の点から来る離散付値の文脈では両方の答えが否定的であることを示しています。

要約

この論文は、数学の「数論（数の性質を研究する分野）」という難しい領域に属するものですが、核心となるアイデアは**「ルールが完璧に通用するかどうか」**という問いかけです。

タイトルにある「グリュンワルド・ワン問題（Grunwald-Wang problem）」は、少し複雑な名前ですが、ここでは**「パズルのピースが、全体像と完全に一致するか？」**という問題と捉えてみましょう。

以下に、専門用語を排し、日常の比喩を使ってこの論文の発見を解説します。

---

1. 物語の舞台：「世界のルール」と「地域のルール」

想像してください、ある巨大な国（K）があるとします。この国には、いくつかの小さな村（v）があります。

• 国のルール（大域的なルール）： 国全体で決まっている法律や習慣。
• 村のルール（局所的なルール）： 各々の村で独自に決まっている習慣。

数学の「グリュンワルド・ワン定理」というのは、**「もし、すべての村で『ある特定の習慣（M）』が成り立っているなら、それは国全体でも成り立っているはずだ」**という、とても心地よい「常識」のような定理です。

• 例え： 「すべての村で『日曜日は休む』という習慣があるなら、国全体でも『日曜日は休む』というルールがあるはずだ」という感じです。

これまで、この「常識」は、ある特定の条件（「特別な場合」を除く）では、ほぼ常に正しいと信じられてきました。

2. この論文が問いかけたこと：「欠陥（デフェクト）」の大きさ

しかし、この論文の著者たち（ハーラリ氏とサミュエリ氏）は、**「もし、村のルールが国全体のルールと少しズレていた場合、そのズレ（欠陥）はどれくらい大きいのか？」**という、より深い疑問を持ちました。

彼らは、このズレを**「欠陥の箱」**とイメージしました。

• 箱が空なら、ルールは完璧（定理が成り立つ）。
• 箱に少しだけ石が入っているなら、小さなズレがある。
• 箱がパンパンに詰まっているなら、大きなズレがある。

これまでの研究では、この「欠陥の箱」は**「常に小さくて、数えられるほど（有限個）」**であると考えられていました。

3. 驚きの発見：「箱」は無限に大きくなることがある！

この論文の最大の衝撃は、**「実は、この箱は無限に大きくなることがある」**と証明したことです。

彼らは、以下のような実験を行いました。

実験 A：無限の国（無限のトランスセンデンス次数）

まず、非常に複雑で巨大な国（無限の自由度を持つ体）を用意しました。

• 結果： ここで「欠陥の箱」を作ると、箱の中に石が無限に詰まっていることがわかりました。
• 意味： 「村のルールが合っているから国全体も合っている」という常識が、この国では完全に崩壊しています。

実験 B：シンプルな国（有理数体 Q やその類似）

次に、もっと身近でシンプルな国（有理数 Q やその 2 進数版 Q2）で、その国に「変な村（多項式の根から来る村）」を追加する実験をしました。

• 結果： 村の数を増やしていくと、「欠陥の箱」のサイズが、いくらでも大きく膨らむことがわかりました。
• 比喩： 最初は「石が 1 個」だったのが、村を 10 個増やすと「石が 100 個」、100 個増やすと「石が 1 万個」と、村の数に比例して（それ以上にも）欠陥が積み上がっていくのです。

4. なぜこれが重要なのか？（「魔法の箱」の比喩）

この研究は、単に「数が大きくなった」という話ではありません。

• 従来の考え方： 「村のルールが合えば、国全体も大丈夫。もしズレがあっても、それはごくわずか（最大 2 個の石）で済むはずだ」と思っていました。
• 新しい発見： 「いや、村のルールが合っているように見えても、国全体で見ると**『魔法の箱』が無限に膨らんで、制御不能になる**ことがあるぞ！」と警告しています。

特に、**「8」**という数字（Z/8Z）が鍵となっています。

• 8 以外の数字では、この「魔法の箱」は小さく抑えられます。
• しかし、8（特に 2 の冪乗）に関係するルールでは、この「欠陥」が爆発的に大きくなることがあります。

5. まとめ：何がわかったのか？

この論文は、数学の「常識」に対する重要な修正を提案しています。

1. 完璧な一致は幻想： 「局所（村）が正しければ、全体（国）も正しい」という考え方は、一般的には成り立たないことがわかりました。
2. 欠陥は制御不能： 局所的なズレが、全体では無限大になったり、いくらでも大きくなったりする可能性があります。
3. 8 の呪い： 特に「8」に関連する数学的な構造では、この問題が顕著に現れます。

一言で言うと：
「村のルールが合っているからといって、国全体のルールが合っているとは限らない。しかも、そのズレは、村の数が増えるにつれて、とてつもない大きさになることがあるんだ！」というのが、この論文が私たちに教えてくれた新しい「数学の風景」です。

これは、私たちが世界を「部分の集まり」として理解しようとする際、**「全体は部分の単純な足し算ではない」**という、非常に哲学的で重要な教訓を含んでいます。

技術概要

論文「一般化されたグロンワルド・ワン問題における欠陥について」の技術的サマリー

著者: David Harari, Tamás Szamuely
概要: 本論文は、数体における古典的なグロンワルド・ワン（Grunwald-Wang）定理の一般化された文脈（任意の体 $K$ とその評価値の集合 $T$）において、局所コホモロジー群の直積と大域コホモロジー群の間の写像の「欠陥（cokernel）」の大きさに焦点を当てています。特に、この欠陥が有限であるか、その位数が $T$ に依存せずに有界であるかという問いに対して、一般には否定されることを示し、具体的な反例を構成しました。

---

1. 問題設定と背景

• グロンワルド・ワン定理の一般化:
  体 $K$、その評価値の集合 $T$、$K$ 上の有限エタール可換群スキーム $M$ に対し、制限写像の直積
  $$(r_v)_{v \in T} : H^1(K, M) \to \prod_{v \in T} H^1(K_v, M)$$
  を考えます。ここで $K_v$ は $v$ における $K$ の完備化です。
  グロンワルド・ワン定理が成り立つとは、この写像が全射である（すなわち、すべての局所条件を満たすコホモロジー類が大域的に実現可能である）ことを意味します。

• 古典的結果:
  $K$ が数体で $M = \mathbb{Z}/n\mathbb{Z}$、$T$ が有限集合の場合、定理は「特殊な場合（special case）」を除いて成り立ちます（特殊な場合とは、$n$ を割り切る最大の 2 のべき乗 $2^r$に対して、$Gal(K(\mu_{2^r})/K)$ が巡回群でない場合）。
  この場合、コホモロジー群の商（欠陥）は有限であり、その位数は最大でも 2 です。

• 本研究の問い（Question 1.1）:

  1. 一般の $K, T, M$ において、商 $\left(\prod_{v \in T} H^1(K_v, M)\right) / \overline{\text{Im}(H^1(K, M))}$ は常に有限か？
  2. 有限である場合、その位数は $T$ に依存せずに有界か？

  数体では肯定的ですが、一般の体（特に有理関数体）ではどうなるかが問題となります。

2. 手法と主要な道具

• 塩田（Saltman）の方法と Flasque Resolution:
  著者らは、Colliot-Thélène と Sansuc による Saltman の手法を流用しています。$M$ が乗法的型（multiplicative type）の群である場合、flasque 分解（flasque resolution）と呼ばれる完全系列
  $$1 \to M \to F \to P \to 1$$
  を用います。ここで $F$ はフラスク（flasque）なトーラス、$P$ は擬自明（quasi-trivial）なトーラスです。

• 補題 2.1 の応用:
  この分解を用いることで、$M$ に関するコホモロジーの欠陥は、フラスクなトーラス $F$ に関する欠陥と同型であることが示されます。
  $$\text{Coker}\left(H^1(K, M) \to \prod_{v \in T} H^1(K_v, M)\right) \cong \text{Coker}\left(H^1(K, F) \to \prod_{v \in T} H^1(K_v, F)\right)$$
  さらに、$P$ はヒルベルトの定理 90 により $H^1$ が自明であるため、解析が $F$ に還元されます。

• 有理点からの評価値:
  構成においては、$K = k(t)$（$k$ は標数 0 の体）とし、$T$ を $P^1_k$ の有理点（または閉点）から誘導される離散評価値の集合として選びます。このとき、局所体 $K_v$ の剰余体は $k$ と同型になります。

3. 主要な結果

定理 1.2（無限の欠陥の存在）

標数 0 の体 $k$（$\mathbb{Q}$ 上の無限超越次数を持つもの）が存在し、$K = k(t)$ に対して、$P^1_k$ の有理点から誘導される任意の 2 要素以上の有限集合 $T$ について、写像
$$H^1(K, \mathbb{Z}/8\mathbb{Z}) \to \prod_{v \in T} H^1(K_v, \mathbb{Z}/8\mathbb{Z})$$
のコケルネル（cokernel）は無限になります。

• 理由: 適切な $k$ を選ぶことで、フラスク分解における $H^1(k, F)$ が無限群となり、それが $H^1(K, F)$ や局所群に引き継がれるためです。

定理 1.3（欠陥の大きさの無制限な増大）

$k = \mathbb{Q}$ または $k = \mathbb{Q}_2$ に対し、$K = k(t)$ とします。$P^1_k$ の閉点（$k=\mathbb{Q}_2$ の場合は有理点でも可）から誘導される有限集合 $T$ について、コケルネルの $\mathbb{F}_2$ 上の次元は、$T$ を適切に選ぶことで任意に大きくなることができます。

• 意味: 質問 1.1(2) に対する否定答です。$T$ のサイズを増やすと、欠陥のサイズも無限に増大しうることを示しています。

コロラリー 1.4 と 1.5（無限集合 $T$ と $X^2_\omega$）

• $T$ が無限集合である場合、商は無限になり得ます（質問 1.1(1) に対する否定答）。
• 特に $K = \mathbb{Q}_2(t)$ の場合、$X^2_\omega(\mu_8^{\otimes 2})$（ほとんどすべての $v$ で局所的に自明な $H^2$ の部分群）が無限群となります。これは半単純単連結代数群の有限部分群による商における弱近似（weak approximation）の性質と深く関連しています。

4. 証明の鍵となる論理

1. 反例の源（Wang の反例）:
   $k = \mathbb{Q}_2$ における $M = \mathbb{Z}/8\mathbb{Z}$ に対するグロンワルド・ワン定理の失敗（Wang の反例）を利用します。これにより、フラスク分解 $1 \to \mathbb{Z}/8\mathbb{Z} \to F \to P \to 1$において$H^1(\mathbb{Q}_2, F) \neq 0$ となることが保証されます。

2. 有理関数体への持ち上げ:
   $K = k(t)$ において、$T$ を $P^1_k$ の点から選ぶと、局所体 $K_v$ の剰余体は $k$ になります。$F$ がフラスクである性質により、$H^1(K_v, F) \cong H^1(k, F)$ となります。

   • $k$ が無限超越次数を持つ場合、$H^1(k, F)$ を無限にできるため、定理 1.2 が成立します。
   • $k = \mathbb{Q}$ の場合、$H^1(\mathbb{Q}, F)$ は有限ですが、$H^1(L, F) \neq 0$ となる有限拡大 $L$ が存在し、$P^1_{\mathbb{Q}}$ には剰余体が $L$ となる無限個の閉点が存在します（補題 4.4）。これらから $T$ を構成することで、$T$ の要素数に比例して欠陥のサイズを増大させられます（定理 1.3）。

5. 意義と結論

• 数体との決定的な違い:
  数体ではグロンワルド・ワン定理の欠陥は常に有限かつ有界ですが、有理関数体 $k(t)$ においては、$T$ の選び方によって欠陥が無限になったり、有限でも任意に大きくなったりすることが示されました。
• 弱近似への影響:
  結果として得られた $X^2_\omega$ の無限性は、代数群の商における弱近似の失敗がより広範に起こりうることを示唆しており、M. L. Nguyen による問いへの回答となります。
• 一般化:
  この現象は $\mathbb{Z}/8\mathbb{Z}$ だけでなく、$2^r$($r \ge 3$) に対しても成り立ち、より一般的な有限エタール群スキームに対しても同様の現象が期待されます。

本論文は、数論的幾何における局所 - 大域原理の限界を、コホモロジーの「欠陥」の大きさという観点から明確に描き出し、従来の数体中心の直観が有理関数体では成立しないことを示した重要な業績です。