🔢 mathematics

Failure of Weak Approximation in Adjoint Groups

プラトノフが 1991 年に提唱し、1996 年に有理性の反例が見つかった後も未解決だった「随伴群が任意の無限体上で弱近似を満たすか」という問いに対し、本論文はそれを否定する反例を提示することで決着させた。

原著者： Chayansudha Biswas

公開日 2026-04-17

📖 1 分で読めます🧠 じっくり読む

原著者： Chayansudha Biswas

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の「幾何学」と「数論」という 2 つの世界が交差する場所で起きた、ある**「予想の崩壊」**を報告する物語です。

専門用語をすべて捨て、**「魔法の城」や「地図と現実」**といった比喩を使って、何が起きたのかをわかりやすく説明しましょう。

1. 物語の舞台：「魔法の城」と「完全な地図」

まず、数学の世界には**「代数群（Adjoint Groups）」**という、非常に複雑で美しい形をした「魔法の城」がたくさんあります。

昔の数学者プラトノフ（Platonov）は、1991 年にこんな大胆な予想を立てました。

「どんな魔法の城も、実は『完全な地図（有理多様体）』で描けるはずだ。だから、その城の『中（F 上の点）』は、城の『外（Fv 上の点）』を完璧に再現できるはずだ。」

ここでいう「完全な地図」とは、その城がどんなに複雑に見えても、実は単純な直線や平面で説明できるほどシンプルだ、という意味です。
そして「中を外で再現できる」というのは、**「弱近似（Weak Approximation）」**という性質を指します。

【簡単な例え】

城（G）： 数学者が研究している複雑な図形。
中（K）： 特定のルール（体 K）に従って作られた点たち。
外（Kv）： より詳細なルール（完備体 Kv）で見た、より微細な点たち。
弱近似： 「中（K）の点たち」を使って、「外（Kv）の点たち」に限りなく近づけることができる状態。つまり、**「粗い地図（K）で、細部まで正確に描ける」**ということです。

プラトノフは、「この魔法の城はシンプルだから、粗い地図でも細部まで描けるはずだ」と信じていました。

2. 最初の衝撃：「地図はシンプルじゃない！」

1996 年、メルクジェフ（Merkurjev）という数学者が、**「待てよ、この城は実はシンプルじゃない（非有理）」と証明して、予想の前半部分を打ち破りました。
しかし、「シンプルじゃない城でも、もしかしたら『弱近似（粗い地図で細部を描く力）』は持っているかもしれない」**という疑問は残っていました。

「シンプルじゃない（複雑な）城でも、実は『中』と『外』のつながりは完璧なのでは？」という期待が残っていたのです。

3. この論文の結論：「城の壁に穴が開いていた！」

著者のビース（Biswas）さんは、この最後の疑問に**「NO」**と答えました。
**「複雑な魔法の城の中には、粗い地図（K）では決して到達できない『外（Kv）』の場所がある」**ことを証明しました。

つまり、**「弱近似の失敗」**です。

どのようにして証明したのか？（比喩で解説）

著者は、以下のようなトリックを使って城の「壁」に穴があることを示しました。

「R-同値」という魔法の扉
数学には**「R-同値（R-equivalence）」**という概念があります。これは、「2 つの点が、城の中を滑らかに動く道（有理曲線）でつながっていれば、実質的に『同じ場所』とみなす」というルールです。
- 城がシンプルなら、すべての点は「同じ場所（R-同値）」とみなせます。
- しかし、メルクジェフが見つけた複雑な城では、**「1（原点）」と「ある点 g」は、道でつながっていない（R-同値ではない）**ことがありました。
「近所」の秘密
著者は、ある特殊な場所（体 K）を用意しました。
- この場所 K では、**「1 と g はつながっていない（R-同値ではない）」**状態を維持します。
- しかし、その場所の「より詳細な世界（完備体 Kv）」に行くと、**「1 と g はつながっていない」という事実が、「g のすぐ近く（v-進的な近所）」**にも広がっていることがわかりました。
矛盾の発生
もし「弱近似」が成り立っていれば、K の点（1 とつながっている点）が、Kv の点（g のすぐ近く）にいくらでも近づけるはずです。
しかし、Kv の世界では「g のすぐ近く」はすべて「g と同じグループ（R-同値）」です。
一方、K の世界では「1 とつながっている点」は「1 と同じグループ」です。
もし K の点が Kv の g の近くに現れたら、その点は「1 と同じ」でありながら「g と同じ」でなければなりません。
しかし、Kv の世界では「1 と g」は明確に別物です。
これは矛盾！
したがって、K の点は決して g の近くに現れることはできません。「弱近似」は失敗したのです。

4. 具体的な例：「Q(i) という土地の城」

論文の最後には、具体的な例が示されています。

土地（F）： 虚数単位 $i$ を含む数（ $Q(i)$ ）。
城の材料： 四元数代数（Quaternion algebra）という特殊な数体系。
城の設計： $3 \times 3$ の行列を使った複雑な構造。

この特定の城を、ある特殊な拡張体（K）の上に建てると、**「城の内部（K）からは、城の外部（Kv）の特定の場所には決して近づけない」**という現象が起きます。

まとめ：この論文がなぜ重要なのか？

予想の否定： 長年残っていた「複雑な城でも弱近似は成り立つのではないか？」という疑問に、明確な**「No」**を突きつけました。
数学の壁： 「有理性（シンプルさ）」が失われたとき、その代償として「弱近似（点のつながり）」も失われることがあることを示しました。
新しい視点： 数学者たちは、これからは「どんな城が弱近似を失うのか」という新しい地図を描く必要が出てきました。

一言で言えば：
「魔法の城は、一見するとどこにでも行けるように見えますが、実は『シンプルさ』を失った城には、**『近づくことのできない壁』**が隠されていたのです」という発見です。

論文「ADJOINT GROUPS における弱近似の失敗」の技術的サマリー

著者: Chayansudha Biswas
概要: 本論文は、代数群論における重要な未解決問題であった「Platonov の予想（任意の体上の半単純随伴群は有理多様体であり、したがって弱近似を満たす）」の、弱近似に関する部分について反例を構築し、その予想が偽であることを証明したものである。

以下に、問題の背景、手法、主要な貢献、結果、および意義について詳細に述べる。

1. 問題の背景と動機

弱近似 (Weak Approximation):
体 $F$ 上の多様体 $X$ について、 $F$ の有限個の不等価な離散値付値の集合 $S$ に対する対角埋め込み $X(F) \hookrightarrow \prod_{v \in S} X(F_v)$ の像が稠密であるとき、 $X$ は $S$ に関して弱近似を満たすという。すべての有理多様体は弱近似を満たすため、弱近似の失敗は有理性の障害となる。
Platonov の予想 (1991):
Platonov は、任意の無限体上の半単純随伴群（adjoint groups）は有理多様体であり、したがって弱近似を満たすと予想した。
既存の知見:
- 有理性: Merkurjev (1996) により、随伴群が有理でない反例が構築され、予想の「有理性」部分は否定された。
- 弱近似: 有理性の否定は弱近似の失敗を直接意味しない。Th˘a´ng (1996) により多くの随伴群で弱近似が示されたが、一般の体における弱近似の成否は長らく未解決であった。
本研究の目的:
任意の体上の随伴群が弱近似を満たすかどうかを決定し、もし満たさないのであればその反例を構築すること。

2. 主要な手法と構成

本研究は、R-同値 (R-equivalence) の概念と、普遍 R-自明性 (universal R-triviality) の失敗を利用した反例構成を行っている。

A. 理論的枠組み

R-同値: 2 点 $x, y \in G(F)$ が R-同値であるとは、 $f: \mathbb{A}^1_F \dashrightarrow G$ なる有理写像が存在し、 $f(0)=x, f(1)=y$ となること。
普遍 R-自明性: 任意の体拡大 $E/F$ に対して $G(E)/R = 1$ となること。
論理構造:
1. 有理多様体は普遍 R-自明性を満たす。
2. Merkurjev は、普遍 R-自明性を満たさない随伴群 $G$ を構築した（これにより有理性が否定された）。
3. 本研究は、この $G$ を利用して、弱近似を満たさない随伴群を構築する。

B. 反例構築のステップ

基礎体の設定:
標数が 2 でなく、$-1 $が平方である大域体$ F $（例：$ \mathbb{Q}(i)$）を固定する。
随伴群 $G$ の構成 (Proposition 1, 2):
Merkurjev の基準を用いて、型 $D_n$ $D_{n}$ ( $n$ $n$ は奇数、 $n \ge 3$ $n \geq 3$ ) の随伴群 $G$ $G$ を構成する。
- 四元数代数 $Q$ と要素 $d \in F^\times$ を選び、 $d \in -Nrd(Q)$ かつ $d \notin Nrd(Q^+)$ （純四元数のノルム）となるようにする。
- これにより、 $G(F)/R = 1$ だが、ある体拡大 $E/F$ に対して $G(E)/R \neq 1$ となる $G$ が得られる。
値付値の導入 (Lemma 8):
上記の $E$ $E$ を用いて、 $F$ $F$ の拡大 $K$ $K$ とその上の離散値付値 $v$ $v$ を構成する。
- $K$ の完備化 $K_v$ の剰余体 $\kappa_v$ が $E$ と同型になるようにする。
- これにより、 $G(K)/R = 1$ かつ $G(K_v)/R \neq 1$ となる状況を作る。
R-同値類の位相的性質 (Lemma 9, 10):
- Raghunathan の結果を用い、完全値付値体上の連結可約群 $G$ において、任意の点 $g$ の R-同値類が $g$ の近傍（値付位相で開）に含まれることを示す（Lemma 10）。
- つまり、 $G(K_v)$ 内の $1 $と R-同値でない点$ g $には、$ 1 $と R-同値な点が含まれない開近傍$ U$ が存在する。
矛盾の導出 (Theorem 11):
- もし $G$ が弱近似を満たせば、 $G(K)$ の点が $G(K_v)$ の任意の開集合（特に上記の $U$ ）と交わるはずである。
- しかし、 $G(K)/R = 1$ より、 $G(K)$ の点はすべて $1$ と R-同値である。
- 一方、 $U$ 内の点は $1 $と R-同値ではない（$ G(K_v)/R \neq 1$ のため）。
- したがって、 $G(K) \cap U = \emptyset$ となり、弱近似の仮定と矛盾する。

3. 主要な結果

定理 11 (Main Theorem):
標数が 2 でなく $-1 $が平方である大域体$ $が平方である大域体$ F $に対して、$ $に対して、$ F $上の適当な拡大$ $上の適当な拡大$ K $で定義された随伴群$ $で定義された随伴群$ G $が存在し、$ $が存在し、$ G $は$ $は$ K$ における弱近似を満たさない。
- 具体的には、 $G(K) \to G(K_v)$ の像が $v$ -進位相で稠密ではない。
明示的な反例 (Example 12):
- $F = \mathbb{Q}(i)$ 、四元数代数 $Q = (2, 5)_F$ を用いる。
- $A = M_3(Q)$ と適当な対合 $\sigma$ を選び、随伴群 $G = \text{PSim}^+(A, \sigma)$ を構成する。
- この $G$ は、ある超越次数 $\le 13$ の拡大 $K$ に対して弱近似を満たさない。
- 一般に、 $n \ge 3$ の奇数に対して、超越次数 $\le 3n+4$ の拡大で同様の反例が得られる。

4. 論文の意義と貢献

Platonov-Th˘a´ng 予想の否定:
長年未解決だった「任意の体上の随伴群は弱近似を満たすか」という問いに対し、明確に「否」と答えた。これは代数群論における重要な進展である。
有理性と弱近似の分離:
Merkurjev が示した「有理性の失敗」と、本研究で示された「弱近似の失敗」が、異なるメカニズム（R-同値の構造の違い）によって生じることを明確にした。
技術的アプローチの革新:
R-同値類が値付位相において「開集合」であるという性質（Raghunathan の結果の応用）を、弱近似の失敗を示すための決定的な道具として用いた点。これは、代数的な不変量（R-同値類）と位相的な性質（稠密性）を結びつける巧妙な手法である。
具体的な構成:
単なる存在証明にとどまらず、具体的な四元数代数と対合を用いた明示的な反例（Example 12）を提供しており、今後の研究や計算への指針となっている。

結論

本論文は、Platonov の予想を完全に否定し、随伴群の有理性および弱近似に関する理解を深めた。特に、R-同値の構造が弱近似の障害となり得ることを示した点は、代数群の有理点の分布や数論的性質を研究する上で重要な示唆を与えるものである。