Proof of Miyanishi's conjecture on endomorphisms of varieties

Supravat Sarkar による論文「多様体の自己準同型に関する宮西の予想の証明（Proof of Miyanishi's Conjecture on Endomorphisms of Varieties）」の技術的概要を以下にまとめます。

1. 問題の背景と定式化

代数多様体の自己準同型（endomorphism）の研究は、特に正規射影多様体において、特異点や大域幾何に強い制限を課すことが知られています。しかし、非完備な多様体（non-complete varieties）における自己準同型の挙動については、Ax の定理（全単射な自己準同型は同型である）や、標数 0 における Nowak の結果（全単射な自己準同型は同型である）を除き、あまり解明されていません。

宮西（Miyanishi）は、以下の宮西の予想を提起しました。

予想 1.1 (宮西の予想): $X$ を $\mathbb{C}$ 上の多様体、$\phi: X \to X$ を $X$ 内の余次元 $\ge 2$ の閉集合の外側で単射である自己準同型とする。このとき、$\phi$ は同型（isomorphism）である。

既存の結果として、この予想は $X$ が正規化された場合に成り立つこと、$\dim X \le 2$ の場合、$X$ が $\mathbb{Q}$-因子的（Q-factorial）な場合、あるいは $X$ がアフィンまたは完備な場合に証明されていました。しかし、一般の準射影多様体（quasi-projective varieties）に対する証明は未解決でした。

2. 主要な結果（定理 A）

本論文の中心的な成果は、任意の体 $k$ 上の任意の準射影多様体に対して、宮西の予想を一般化・証明した定理 Aです。

定理 A: $k$ を任意の体、$X$ を $k$ 上の準射影多様体とする。$\phi: X \to X$ が $X$ 内の余次元 $\ge 2$ の閉集合の外側で単射である**双有理写像（birational morphism）**であるならば、$\phi$ は同型である。

注記:

• 標数 0 の場合、単射性から双有理性は自動的に導かれますが、正標数の場合（例えばフロベニウス写像の例）には双有理性の仮定が不可欠です。
• この結果は、宮西の予想を任意の標数および任意の準射影多様体に拡張したものです。

3. 証明の手法と鍵となる補題

証明は、2 つの独立した興味深い補題（Lemma 2.1, 2.2）に基づいています。

補題 2.1: 類群の有限性

$X$ が有限生成体 $k$ 上の多様体であるとき、以下の性質が成り立ちます。

1. $\mathbb{Q}$-ベクトル空間 $\text{Cl}(X) \otimes \mathbb{Q}$ は有限次元である。
2. $X$ が $k$ 上の幾何学的に正規かつ固有（proper）な多様体と双有理同値である場合、$\text{Cl}(X)$ は有限生成アーベル群である。

論理:

• 除去完全系列（excision exact sequence）を用いて、双有理同値な多様体間でこの性質が保存されることを示します。
• 正規射影多様体に帰着させ、有限拡大 $K/k$ における類群の有限生成性（Néron の結果や Mordell-Weil 定理の一般化に基づく）と、基底変換による類群の射影性を用いて証明します。

補題 2.2: 双有理写像と類群の次元

$Y, X$ を $k$ 上の正規準射影多様体、$\phi: Y \to X$ を双有理写像とし、例外集合 $\text{Ex}(\phi)$ の余次元が $\ge 2$ であるとします。また、$\dim (\text{Cl}(X)/\text{Pic}(X) \otimes \mathbb{Q}) < \infty$ と仮定します。
このとき、もし $\phi$ が開埋め込み（open immersion）でなければ、以下の不等式が成り立ちます。
$$\dim \left( \frac{\text{Cl}(Y)}{\text{Pic}(Y)} \otimes \mathbb{Q} \right) < \dim \left( \frac{\text{Cl}(X)}{\text{Pic}(X)} \otimes \mathbb{Q} \right)$$

論理:

• $\phi$ が開埋め込みでないと仮定すると、例外集合 $E$ は空でなく、ザリスキーの主要定理により $\phi|_E$ は有限写像ではありません。
• これにより、$E$ 内で異なる 2 点 $x, y$ が同一の像を持つことになります。
• $X$ が準射影であることから、$x$ を含むが $y$ を含まない有効カルティエ因子 $H$ が存在します。
• この $H$ を用いて、$\text{Cl}(X)$ におけるある非自明な元 $G$ を構成し、$\phi^*$ による写像で 0 になることを示します。これにより、$\phi^*$ が単射でない（したがって次元が減少する）ことが導かれます。

4. 定理 A の証明の概要

1. 基底体の縮小: $X, \phi$ などが定義されている有限生成部分体 $K$ へ基底を縮小し、$k$ を有限生成体とみなせるようにします。
2. 正規化: 既知の結果 [8] より、$X$ が正規であると仮定して一般性を失いません。
3. 類群の有限性: 補題 2.1 より、$\dim (\text{Cl}(X)/\text{Pic}(X) \otimes \mathbb{Q}) < \infty$ が成り立ちます。
4. 開埋め込みへの帰着: 単射性の仮定とザリスキーの主要定理から、例外集合の余次元が $\ge 2$ であることがわかります。これに補題 2.2 を適用すると、$\phi$ が開埋め込みでなければ次元が減少し続ける矛盾が生じるため、$\phi$ は開埋め込みでなければなりません。
5. 全射性と同型: Ax の定理（単射な自己準同型は全射）より、$\phi$ は全射です。開埋め込みかつ全射である自己準同型は同型です。

5. 考察と意義

• 一般性: この結果は、標数 0 に限定されず、任意の標数および任意の準射影多様体に対して宮西の予想を解決しました。
• 技術的貢献: 証明の鍵となった「類群の有限性（Lemma 2.1）」および「双有理写像による類群の次元減少（Lemma 2.2）」は、多様体の幾何学においてそれ自体が重要な結果です。
• 準射影性の役割: 著者は、証明において準射影性が本質的に使われたのは「任意の 2 点に対して、一方を含み他方を含まない有効カルティエ因子が存在する」という性質のみであることを指摘しています（Remark 2.3）。したがって、この性質を満たすすべての多様体に対して定理は成立します。

この論文は、代数幾何学における自己準同型の分類と、多様体の大域構造に関する理解を深める重要な進展です。