Smooth subvarieties of Jacobians

複素コボルディズムを用いて、滑らかな部分多様体の類の整数線形結合で表せない代数積分コホモロジー類（特に一般曲線のヤコビ多様体上の最小コホモロジー類）の新しい例を構成し、その次元が 6 であることを示した。

要約

この論文は、数学の「幾何学（図形の性質を調べる学問）」という分野における、とても面白い「謎解き」の物語です。

タイトルは**「ヤコビアン（ある種の複雑な図形）の中の滑らかな部分図形」ですが、難しい言葉を使わずに、「レゴブロック」や「クッキーの型」**に例えて説明してみましょう。

1. 物語の舞台：レゴの城と「滑らかな」部品

まず、想像してください。巨大で複雑なレゴの城（これを数学者は「滑らかな多様体」と呼びます）があるとします。

この城の中には、もっと小さなレゴの部品（部分図形）が組み込まれています。

• 問題点： 小さな部品の中には、角がギザギザしたり、くっつき方が不自然で「いびつ」なもの（特異点を持つもの）があります。
• 問い： 「この巨大な城を、角が丸く、なめらかで美しい（滑らかな）レゴ部品だけで、すべて組み立て直すことはできるでしょうか？」

昔から数学者たちは、「たぶんできるはずだ」と思っていました。特に、城が小さければ小さいほど、なめらかな部品だけで作れることは確かでした。

しかし、この論文の著者たち（オリーヴィエ・ベノワとオリーヴィエ・デバール）は、**「実は、ある条件を満たす巨大な城では、なめらかな部品だけでは作れない『魔法の部品』が存在する！」**と証明しました。

2. 登場する「魔法の部品」と「ヤコビアン」

この研究で使われた「城」は、**「ヤコビアン（Jacobian）」**という、曲線（輪っかのようなもの）から作られる非常に特殊で対称性の高い図形です。

• 魔法の部品（最小コホモロジー類）：
  ヤコビアンという城には、数学的に非常に重要な「最小の単位」のような部品があります。これは、曲線の対称性から自然に生まれるもので、**「存在はするが、なめらかなレゴブロック（滑らかな部分図形）の集まりでは表現できない」**という性質を持っています。

• これまでの発見：
  以前、ある数学者（デバール氏）が、ある特定の大きさのヤコビアンでは「なめらかな部品だけでは作れない」ことを証明していました。しかし、それは「城がかなり大きい場合（6 次元以上）」に限られていました。

• 今回の大発見：
  今回の論文では、「6 次元」という、これまでで最も小さいサイズのヤコビアンでも、同じことが起こることを証明しました。
  つまり、「6 次元という、これ以上小さくできない限界のサイズで、なめらかな部品だけでは作れない『いびつな』部品が存在する」という、歴史的な最小記録を更新したのです。

3. どうやって見つけたの？「複素コボルディズム」という新しい道具

なぜ、なめらかな部品だけでは作れないことがわかったのでしょうか？

• 昔の道具（Hirzebruch-Riemann-Roch 定理など）：
  以前は、この問題を解くために「重さ」や「体積」を計算する道具を使っていました。しかし、図形が複雑になる（次元が高くなる）と、計算があまりにも複雑すぎて、手がつけられなくなっていました。まるで、巨大な城の重さを、一つ一つのレゴブロックを手作業で測ろうとして、疲弊してしまうようなものです。

• 新しい道具（複素コボルディズム）：
  今回の著者たちは、**「複素コボルディズム（Complex Cobordism）」という、もっと高度で強力な「魔法の道具」を使いました。
  これは、図形を「どのような形から作られたか」という「歴史や成り立ち」**で分類する道具です。

  • アナロジー：
    なめらかなレゴブロックで作られたものは、ある特定の「歴史（成り立ち）」を持っています。
    しかし、今回見つかった「魔法の部品」は、その歴史の性質（数学的には「チャーン数」という値の割り切れ方）が、なめらかなブロックの歴史とは全く異なることがわかりました。

    「なめらかなブロックの集まりで作ったものには、必ず『偶数個』の歴史の性質があるはずだ」というルールがあるのに、この魔法の部品は「奇数個」の性質を持っていたのです。
    **「ルールに反している！だから、なめらかなブロックだけで作れるはずがない！」**という論理で、証明を完了させました。

4. この発見がなぜすごいのか？

• 最小のサイズ：
  これまで「6 次元」が限界だと思われていましたが、実は「6 次元」こそが、なめらかな部品だけで作れない現象が起きる**「最小のサイズ」**であることがわかりました。これより小さい 5 次元以下の世界では、どんな複雑な図形でも、なめらかな部品だけで作れることが保証されていました。

• 新しい視点：
  数学の世界では、「いびつなもの」を「なめらかなもの」の組み合わせで説明できるかどうかが、その図形の「本質」を問う重要な問題です。この論文は、**「どんなに頑張っても、なめらかなものだけでは説明できない『いびつさ』が、6 次元という小さな世界に潜んでいる」**ことを示しました。

まとめ

この論文は、**「6 次元という小さな宇宙には、滑らかなレゴブロックだけでは組み立てられない『魔法の部品』が隠れている」という事実を、「レゴの成り立ち（コボルディズム）」**という新しい視点を使って見事に証明した物語です。

著者たちは、難しい計算を回避するために、数学の奥深い「歴史の分類」を使うという、とてもクリエイティブな方法で、この長年の謎を解き明かしました。これは、 Claire Voisin 氏という偉大な数学者の 60 歳の誕生日を祝うために捧げられた、素晴らしい贈り物でもあります。

技術概要

1. 問題設定 (Problem)

代数幾何学における基本的な問いの一つとして、滑らかな射影複素多様体 $X$ の代数的コホモロジー類 $H^{2c}(X, \mathbb{Z})_{\text{alg}}$ が、$X$ 内の滑らかな部分多様体のサイクル類によって生成されるかどうかという問題があります（Borel-Haefliger の問い）。

• 既知の結果: 次元 $n \le 5$ の場合や、余次元 $c \le 1$ の場合など、特定の条件下ではこの問いは肯定的に答えられています。
• 既存の反例: Hartshorne, Rees, Thomas (1974) や Debarre (1995) によって、特定の条件下（例えば $c=2, n \ge 7$）で、滑らかな部分多様体の類の $\mathbb{Z}$-線形結合では表せない代数的コホモロジー類が存在することが示されました。
• 本研究の焦点: 既存の反例をより一般的なパラメータ（次元 $n$ と余次元 $c$）に拡張し、特に最低次元での反例を構築すること。具体的には、ヤコビアン（曲線のジャコビアン）上の最小コホモロジー類 $\frac{\theta^c}{c!}$ が、滑らかな部分多様体の類の線形結合で書けない条件を明らかにすることです。

2. 手法 (Methodology)

従来の研究（Debarre, 1995）では、Barth-Lefschetz 型定理、Hirzebruch-Riemann-Roch 定理、Serre 構成法が用いられていました。しかし、高余次元や低次元（特に $n=6$）の場合、これらの手法は計算が複雑になりすぎたり、適用不可能だったりしました。

本研究では、以下の新しい手法を採用してこれらの障壁を克服しました。

1. 複素コボルディズム (Complex Cobordism) の活用:
   • Totaro によって代数サイクル論への応用が先駆された複素コボルディズム環 $MU^*$ を主要な道具として使用します。
   • Hirzebruch-Riemann-Roch 定理に基づく整合性結果に代わり、チャーン数の整除性（Proposition 2.5）を利用します。これは複素コボルディズム環の構造を詳細に理解することで得られます。
2. ヤコビアンのコボルディズム構造の記述:
   • アーベル多様体（ヤコビアン）の複素コボルディズム群を、トーラス $(S^1)^N$ のコボルディズムと関連付けて記述し、サイクル類の展開係数を制御します。
3. 代数的 K 理論と Grothendieck-Riemann-Roch 定理（低余次元の場合）:
   • 余次元 $c=4$ の場合など、特定のケースでは複素コボルディズムではなく、複素位相 K 理論と Grothendieck-Riemann-Roch 定理を用いることで、より強い結果を得ています。

3. 主要な貢献と結果 (Key Contributions and Results)

3.1. 一般の余次元 $c$ における定理 (Theorem 1.2 / Theorem 3.7)

非常に一般的なヤコビアン $(X, \theta)$（次元 $n$）において、以下の条件を満たす場合、整数係数 $c$ に対して $\lambda \frac{\theta^c}{c!}$ （$\lambda$ は奇数）は代数的であるが、滑らかな部分多様体のサイクル類の $\mathbb{Z}$-線形結合では表せないことを証明しました。

• 条件:
  • $n \ge 4c - 2$
  • $\alpha(c + \alpha(c)) > \alpha(c)$ （ここで $\alpha(m)$ は $m$ の二進展開における 1 の個数）
• 意味: この条件は $c \in \{2, 4, 5, 8, 9, 12, 16, 17, \dots\}$ などで満たされます。
• 結果: 滑らかな部分多様体の類は、$\frac{\theta^c}{c!}$ の偶数倍でなければならないことを示し、奇数倍の類が反例となることを立証しました。

3.2. 最低次元での反例 (Corollary 1.3)

上記の定理を $c=2, n=6$ に適用することで、以下の重要な結果を得ました。

• 次元 6 の反例: 次元 6 の滑らかな射影複素多様体 $X$ が存在し、その $H^4(X, \mathbb{Z})_{\text{alg}}$ は滑らかな部分多様体の類によって生成されません。
• 最適性: 次元 5 以下ではこの性質が成り立つことが知られているため、次元 6 は可能な限り最小の次元です。これは、この問題に対する反例の次元の下限を確立した画期的な結果です。

3.3. 余次元 4 における改良 (Theorem 4.3)

K 理論を用いた手法により、余次元 $c=4$ の場合について、より低い次元でも同様の反例が存在することを示しました。

• 条件:
  • $n \ge 12$ で $\lambda$ が奇数の場合。
  • $n \ge 14$ で $\lambda$ が 4 の倍数でない場合。
• これにより、$c=2$ の場合の $n=6$ に加え、$c=4$ におけるより広いパラメータ範囲で反例が成立することが示されました。

4. 技術的な詳細と証明の鍵

• セグレ類 (Segre classes) と 2 進法:
  証明の核心は、セグレ類 $s_i$ の値が 2 のべき乗で割り切れるかどうかの条件（$\alpha(i+h-1) > 2h-2$ など）を、複素コボルディズム環の生成元と結びつけることにあります。これにより、滑らかな部分多様体のチャーン数に特定の整除性（偶数倍など）が課されることを導き出します。
• Hodge 類の生成:
  「非常に一般的な (very general)」ヤコビアンにおいては、Hodge 類が $\frac{\theta^k}{k!}$ によって生成されるという性質を利用しています。これにより、滑らかな部分多様体のコホモロジー類が $\frac{\theta^c}{c!}$ の倍数でなければならないことが保証され、その係数の偶奇を議論する土台ができました。
• 対立の導出:
  滑らかな部分多様体の類が $\frac{\theta^c}{c!}$ の奇数倍であると仮定すると、コボルディズムや K 理論に基づくチャーン数の計算において、整数性（integrality）が破綻する矛盾が生じます。

5. 意義 (Significance)

1. 次元の下限の確立: 代数サイクルが滑らかな部分多様体で生成されない現象が、次元 6 で初めて発生することを示しました。これは代数幾何学における古典的な問題に対する決定的な進歩です。
2. 手法の革新: Hirzebruch-Riemann-Roch 定理や Serre 構成法に依存していた従来のアプローチから、複素コボルディズムや K 理論を用いた新しいアプローチへとパラダイムシフトを起こしました。これにより、高余次元や低次元の複雑なケースを統一的に扱えるようになりました。
3. ヤコビアンの構造理解: ヤコビアン上の最小コホモロジー類の性質を、滑らかさという幾何学的制約と結びつけることで、アーベル多様体のサイクル論に対する深い洞察を提供しています。

総じて、この論文は代数サイクルの「滑らかさ」に関する長年の問いに対して、厳密な反例を構成し、その存在範囲を明確にした重要な業績です。