Unboundedness of zero-cycles on higher dimensional Fano manifolds

あなたは、幾何学的な図形の隠された「住所録」に関する謎を解こうとしている探偵だと想像してください。数学の世界、特に代数幾何学と呼ばれる分野では、図形は方程式によって定義され、多くの次元を持つ空間の中に存在します。最も興味深い図形の一つが「ファノ多様体（Fano manifolds）」と呼ばれるものです。これらは、球体や立方体のような、数学的宇宙における「完璧に湾曲した」図形のようなものですが、3次元、4次元、あるいは100次元にも存在し得ます。これらは「有理連結（rationally connected）」であるという点で特別です。つまり、任意の2点間を結ぶ滑らかで直線的な（あるいは直線のように見える）曲線を描くことができるのです。

数学者たちは、これらの図形上の「点」を数えることに夢中になっています。しかし、これらは単なる点ではありません。これらは「ゼロサイクル（zero-cycles）」であり、複雑な形で集まった点の集合体のようなものです。鍵となる問いは、**「これらの集合が、単純な単一の点へと分解できると確信するためには、どれほどの大きさである必要があるか？」**ということです。これは「有界性（boundedness）」と呼ばれます。もし図形が「有界な」ゼロサイクルを持つならば、それは魔法の数字 $N$ が存在することを意味します。もしあなたが $N$ より大きい総サイズを持つ点の集合を持っていれば、その集合は実際には存在する実在の点の集まりであることが保証されます。それは、「もし100枚のコインの山があれば、ポケットの中に100枚の実在するコインが確実にあると言える」というようなものです。2次元の曲面（豪華に湾曲したシートのようなもの）のような単純な図形については、数学者はすでにこの魔法の数字が存在することを知っていました。しかし、高次元の図形については、そのような限界が存在するのか、あるいは「山」があまりに奇妙になりすぎて、いくら多くの点を持っていても、単一の実在する点を見つけられないままなのか、誰も確信を持てませんでした。

クレア・ヴォイゾン（Claire Voisin）によるこの論文は、高次元のファノ図形に関するこの謎に取り組んでいます。著者は、これらの単純な2次元の従兄弟たちとは異なり、これらの高次元のファノ図形には魔法の数字の限界が存在しないことを証明しています。つまり、これらの図形の「住所録」は有界ではありません。この論文は、あなたがどのような数 $N$ を選んでも、その $N$ というサイズを持ちながら、単一のより小さな奇数のサイズへと還元できない図形が存在することを示す、具体的な例を構築できることを示しています。それはまるで、1,000,000枚のコインの山があるのに、どんなに頑張っても中に実在するコインが1枚も見つからないような、特定の数学的な意味で「分解不可能」な状態です。また、この論文は、この「非有界性」を「微分形式（differential forms）」（図形の上を流れる数学的な流体のようなもの）の振る舞いと結びつけることで、新しい考え方を導入しています。もしこれらの流体が特定の形で存在するならば、点のカウントの限界は存在しないのです。

主な発見：無限の山

この論文の核心となる発見は、長年の疑問に対する決定的な「ノー」です。数学者たちは、あらゆる滑らかなファノ図形（例えば、特定の種類の方程式で定義される3次元のクォティック・スリーフォールドなど）に対して、普遍的な境界が存在することを期待していました。彼らは、「もし私が奇数の総サイズを持つ点の集合を持っていたら、単一の点を見つけるためにチェックすべき最大サイズはあるだろうか？」と疑問に思っていました。2次元の図形（デル・ペッツォ曲面）の場合、答えは「イエス」でした。境界が存在するのです。しかし、ヴォイソンは、3次元以上の図形については、この限界は存在しないことを証明しました。

この論文は、特別な体（field）の上で定義された、特定の「一般的（generic）」な3次元の図形（クォティック超曲面）を構築しています。この例では、あなたがどのような奇数 $N$（例えば7、9、11、あるいは100万）を選んだとしても、その $N$ のサイズを持つ点を持つ一方で、それより小さい奇数のサイズの点を持たないバージョンの図形を作成できることを著者は示しています。これは、この図形上の点の「最小奇数次数」が任意に大きくなり得ることを意味します。上限はありません。この論文は、以前の数学者にちなんで名付けられた「コレイ型の境界（Coray-type bound）」（特定の種類の限界）が、これらの高次元の図形に対して存在するという考えを明確に否定しています。それは単に数字が見つかっていないのではなく、これらの特定のタイプの図形に対しては、そのような数字は存在し得ないことをこの論文は証明しているのです。

探偵の仕事の進め方：「特殊化」のトリック

これを証明するために、ヴォイソンは「特殊化（specialization）」と呼ばれる巧妙な数学的手法を使用しています。非常に滑らかで完璧な図形（「一般的」な図形）を想像してください。著者は、この図形を、まるで氷のブロックが溶けて少し異なる図形に変わっていくように、ゆっくりと変形させ、別の数学的世界（具体的には、数学が「2」という数で機能する「標数2」の世界）へと移行させます。

この「溶けた」状態において、図形はより単純な図形の「二重被覆（double cover）」となり、いくつかの特異点（折れ目や歪み）を持つようになります。しかし、著者はこれらの特異点を滑らかにする（特異点除去／desingularization）と、結果として得られる図形が非常に特別な性質を持つことを示しています。すなわち、特定の次数の「代数形式（algebraic form）」を含んでいるということです。この形式を、図形の上にあるユニークで消えない「流れ」や「振動」と考えてください。

ここに決定的な繋がりがあります。この論文は、もし図形がこのような「流れ」（2次以上の形式）を持っているならば、その図形は有界な点の集合を持つことができないことを証明しています。その論理は、もし点が有界であれば、「トレース（trace）」と「ランク（rank）」を用いた数学的なトリックを用いることで、その流れを消失させることができるはずだ、というものです。しかし、この流れが存在し、かつゼロではないことが証明されているため、「点が有界である」という仮定は偽であると結論付けられます。それは、「もし音楽がまだ流れているなら、スピーカーは壊れていない」と言うようなものです。

CH0群の「非有界な性質」

この論文はまた、「CH0群」という概念も導入しています。簡単に言えば、CH0群とは、図形上のあらゆる可能な点の集合を整理するための方法です。もしある図形が「有界な」CH0群を持つならば、点の集合が十分に大きくなれば、それは必ず「実在する」集合（effective）であることが保証されます。もし「非有界」であれば、いくら大きくても、分解不可能な「偽の」あるいは「不可能な」点の集合が常に存在することを意味します。

ヴォイソンは、非常に一般的な（very general）偶数次 $d$ の超曲面において、次元 $n \ge 3$ （具体的には $d \ge 2\lceil \frac{n+2}{3} \rceil$）の場合、CH0群は非有界であることを証明しています。これは、次数が $N$ 以上のすべてのゼロサイクルが実在する（effective）ような整数 $N$ は存在しないことを意味します。この論文は、「特殊化」の手法と、デヴィッド・マムフォードによる有名な定理の新しい一般化されたバージョンを組み合わせることで、これを確立しています。マムフォードは、図形が特定の「流れ（形式）」を持つ場合、その点の群は無限次元であることを示しました。ヴォイソンはこれを拡張し、たとえ図形が「有理連結（rationally connected）」（通常は物事を単純にする性質）であったとしても、その「普遍的な（universal）」バージョン（あらゆる体の拡大を考慮したもの）は依然として非有界であり得ることを示しました。

クォティック・スリーフォールドの例

論文の主要な部分は、クォティック・スリーフォールド（4次の式で定義される3次元の図形）に焦点を当てています。著者は以下のシナリオを構築します：

1. 特性0の体（有理数のようなもの）の上にある、一般的なクォティック・スリーフォールドから始める。
2. 奇数次 $N$ の「一般的点」を加える体への拡大を考える。
3. この論文は、この新しい設定において、図形が次数 $N$ の点を持つ一方で、それより小さい奇数次の点を持たないことを証明します。

この結果は、2次元の曲面（デル・ペッツォ曲面）においてそのような境界が存在することとは対照的であり、非常に衝撃的です。次数2の2次元曲面では、もし奇数次の点を持っていれば、次数1、3、または7の点が見つかることが保証されています。しかし、3次元のクォティックにおいては、著者は、次数101、1001、あるいは1,000,001の点を持つことができ、それより小さい奇数次の点は見つからないことを示しています。この論文は、これが4次元空間（$P^4$）におけるクォティック超曲面、さらには、6次または8次の超曲面に分岐する4次元空間の二重被覆に対しても成立することを明記しています。

「テンソル・ランク」と「標数2」の役割

この論文が克服した技術的な障壁の一つは、「標数2（$1+1=0$ となる数学の世界）」で作業することでした。この世界では、先ほど述べた「流れ」のような数学的対象の「サイズ」や「ランク」を測定する標準的な方法が崩れてしまいます。ヴォイソンは、これに対処するために**テンソル・ランク（tensor rank）**という概念を導入しています。

「ランク」を、複雑な対象を構築するために必要な単純な構成要素の数と考えてください。通常の数学では、これは明快です。しかし、標数2においては、ルールが変わります。論文は、特殊化された図形における流れの「テンソル・ランク」が、非有界性を防ぐには十分に高いことを証明しています。具体的には、もし点が有界であると仮定しようとすると、これらの流れの「テンソル・ランク」において矛盾が生じることを示しています。つまり、方程式の一方の側のランクが、もう一方の側のランクと一致するには小さすぎるのです。この矛盾によって、「点が有界である」という仮定が偽であることが証明されます。

結論：無限のフロンティア

要約すると、この論文は、高次元のファノ多様体が、より単純な2次元の対応物と同じように、点の「サイズ」に関して振る舞うという希望を打ち砕きました。これは、広範なクラスの図形において、点の「最小奇数次数」は非有界であることを証明しています。普遍的な限界はありません。あなたは、最小の「奇数」の点が、あなたが望む限り大きくなるような図形をいつでも見つけることができます。

この論文は単に示唆しているだけではありません。特殊化、特異点除去、および代数形式の性質を用いて、厳密な証明を提供しています。それは、これらの図形に対して「コレイ型の境界」が存在することを明確に否定しています。信頼性は高く、「非常に一般的な（very general）」超曲面に対して成立すると証明されている定理に基づいています。この研究は、点の算術学と図形の流れの幾何学との間の溝を埋め、これらの図形の「無限次元性」が、特定の例における単なる癖ではなく、根本的な特徴であることを示しています。幾何学的図形の深い構造に関心を持つ人々にとって、この論文は、高次元の点の宇宙が、以前に想像されていたよりもはるかに混沌としており、限界がないことを明らかにしています。