Curve counting and S-duality

Bayer-Macrì-Toda の Bogomolov-Gieseker 予想を満たす射影 3 次元多様体において、2 次元ねじれ層のモジュライ空間が曲線と点のヒルベルトスキーム上の滑らかな束であることを示し、特にカルビ・ヤウ多様体の場合に、S 双対性や Noether-Lefschetz 理論の観点から D4-D2-D0 ブレーン数のモジュラリティを議論しつつ、曲線数（ひいてはグロモフ・ワインバー不変量）をそれらで表す壁越え公式を導出した。

要約

1. 舞台設定：複雑な宇宙（多様体）と、その中の「点」と「線」

まず、この研究の舞台は**「3 次元の宇宙（多様体）」です。
この宇宙には、「点」や「線（曲線）」、そして「面（2 次元のシート）」**のようなものが存在します。

• 左側の数え方（理想の鞘）：
  研究者たちは、これまで「点と線」を数えることに熱心でした。これは、宇宙の中に「穴（点）」や「ひも（線）」がいくつあるかを数えるようなものです。これは**「Gromov-Witten 不変量」**という名前が付けられており、物理学や数学で非常に重要視されています。

  • 例え話: 宇宙の地図に「ここには山（点）がある」「ここには川（線）がある」と書き込む作業です。

• 右側の数え方（2 次元のシート）：
  一方、最近注目されているのは「2 次元のシート（膜）」の数え方です。弦理論（物理学）では、これを**「D4-D2-D0 ブレーン」**と呼んでいます。

  • 例え話: 宇宙に「透明な膜（シート）」がいくつ浮かんでいるかを数える作業です。

2. 問題：二つの数え方はバラバラだった

これまで、数学者たちは「点と線の数え方（左）」と「シートの数え方（右）」は、全く別のルールで計算される複雑な別物だと思っていました。
両者の関係を式で結びつけようとすると、とんでもなく複雑で、解けないような式が出てきていました。

「左の答え」と「右の答え」は、どうやって繋がるのか？
これが長年の謎でした。

3. 発見：驚くほどシンプルな「魔法の橋」

この論文の著者たち（Feyzbakhsh 氏と Thomas 氏）は、ある特定の条件（Bogomolov-Gieseker 予想が成り立つ宇宙）の下で、**「この二つの数え方は、実は驚くほどシンプルに繋がっている！」**ということを証明しました。

彼らが発見した関係式は、以下のようなものです。

「点と線の数」 ＝ （ある定数） × 「シートの数」

これだけ見ると単純ですが、ここには**「壁を越える必要がない」**という驚くべき事実が含まれています。

• 壁越えの壁（Wall-crossing）：
  通常、異なる数え方をするには、複雑な「壁」を何重も越えて、ルールを変えながら計算し直す必要があります。それはまるで、迷路を抜けるために、何度も壁を壊して進まなければならないようなものです。
• この研究の奇跡：
  しかし、この特定の状況では、**「最初から壁なんて存在しなかった」ことが分かりました。
  「点と線」の集まりと「シート」の集まりは、実は「同じ建物の 1 階と 2 階」**のような関係だったのです。
  • 1 階（点と線）： ヒルベルトスキーム（理想の鞘のモジュライ空間）。
  • 2 階（シート）： 2 次元の鞘のモジュライ空間。
  • 関係： 2 階は、1 階の上にきれいに並んだ「螺旋階段（ファイバー）」で繋がっています。つまり、1 階の場所が分かれば、2 階の場所も自動的に決まるのです。

4. 結果：物理学の「S 対称性」という予言が正しい

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

物理学（弦理論）では、**「S 対称性（S-duality）」という面白い予言があります。
「シートの数え方（右側）」は、「モジュラー形式」**という、非常に規則的で美しい数学的なパターン（波のようなリズム）に従っているはずだ、というのです。

• これまでの状況：
  「点と線」の数え方は複雑すぎて、その美しいリズムが見えませんでした。
• この論文の貢献：
  「点と線」の数え方は、「シートの数え方」の単純な倍数に過ぎないと証明しました。
  つまり、「点と線」の数え方も、実は「シートの数え方」に従って、同じように美しいリズム（モジュラー形式）を持っているはずだ！ と結論付けられます。

これは、物理学の予言（S 対称性）が、数学的に裏付けられたことを意味します。

5. 別の視点：ノイター・レフシェッツ理論（庭師の視点）

論文の最後では、もう一つの視点からこの現象を説明しています。
**「ノイター・レフシェッツ理論」**という、代数幾何学の古い道具を使います。

• 例え話：
  宇宙（3 次元）の中に、大きな「庭（2 次元の曲面）」があると想像してください。
  この庭には、特定の「花（曲線）」が咲いている場所があります。
  この研究は、「庭の形が変わる（変形する）たびに、花が咲く場所がどう変わるか」を研究することで、なぜ「シートの数え方」が規則的になるのかを説明しようとしています。
  庭の境界（境界条件）を詳しく調べることで、その規則性（モジュラー性）が自然に現れてくるというのです。

まとめ：何が起きたのか？

1. 複雑な迷路を単純化： 「点と線」を数える方法と「シート」を数える方法が、実は**「同じ建物の階違い」**であることが分かりました。
2. 壁を壊さずに通り抜けた： 複雑な計算（壁越え）を一切行わずに、両者の関係を証明しました。
3. 物理学の予言を数学で証明： 「シートの数え方」が持つ美しいリズム（モジュラー性）が、実は「点と線」の数え方にも適用できることを示し、弦理論の**「S 対称性」**という予言を強く支持しました。

一言で言えば：
「宇宙の複雑な構造を数える際、私たちはこれまで『点と線』と『シート』を別々の難しい問題だと思っていましたが、実はこれらは**『同じコインの表と裏』**でした。そして、その裏側（シート）には、宇宙の法則が隠された美しいリズム（モジュラー性）が刻まれていることが分かりました」という発見です。

技術概要

論文「Curve counting and S-duality」の技術的サマリー

著者: S. Feyzbakhsh, R. P. Thomas
掲載誌: Épijournal de Géométrie Algébrique, Vol. 7 (2023), Article No. 15

1. 研究の背景と問題設定

この論文は、代数多様体上のコヒーレント層のモジュライ空間における数え上げ不変量（Enumerative Invariants）と、弦理論における S-双対性（S-duality）の間の深い関係を探求するものです。

• 対象とする多様体: ボゴモロフ・ギーセカー（Bogomolov–Gieseker）予想を満たす射影 3 次元多様体 $X$（例：$\mathbb{P}^3$、5 次超曲面など）。特に $X$ がカラビ・ヤウ 3 次元多様体（Calabi–Yau threefold）である場合を重点的に扱います。
• 核心的な問題:
  1. 曲線と点のイデアル層（Ideal sheaves）を数える不変量（これは MNOP 予想を通じてグロモフ・ウィッテン不変量と等価）と、2 次元の純粋なねじれ層（2-dimensional pure sheaves、D4-D2-D0 ブレーンに対応）を数える不変量の間の関係を明確にすること。
  2. これらの関係式を用いて、S-双対性の予想（D4-D2-D0 ブレーンの数え上げがモジュラー形式の係数であるという物理的な予想）を幾何学的に検証・理解すること。
• 既存の課題: 異なる安定性条件（Stability conditions）を持つモジュライ空間を関連付ける際、通常は「壁越え（wall-crossing）」による複雑な補正項が必要となり、公式が非常に複雑になります。しかし、特定の条件下では、この壁越えが不要になる、あるいは極めて単純化されるケースがあるかどうかが問われていました。

2. 手法とアプローチ

著者らは、Bayer–Macrì–Toda による**弱安定条件（Weak stability conditions）**の枠組みを用いて、安定性パラメータ空間における「壁（walls）」を解析しました。

• 弱安定条件の導入: 有界導来圏 $D(X)$ 上の弱安定条件 $\nu_{b,w}$ を定義し、大体積極限（large volume limit）から出発して、安定性パラメータを垂直方向に移動させることで不安定性の壁を追跡します。
• Bogomolov–Gieseker 不等式の適用: 安定な対象に対する予想上の不等式（Conjecture BGn）を、特定の Chern 特性を持つ対象に対して適用することで、不安定化される部分対象の Chern 特性を厳密に制限します。
• Joyce–Song 対への帰着: 2 次元のねじれ層が、ある特定の「Joyce–Song 対（層とその切断の対）」の cokernel として一意に表現できることを示すために、壁越えの解析を精密に行いました。
• 壁越えの回避: 驚くべきことに、特定の Chern 特性（$v_n$）を持つ層について、不安定化の壁を越えた先には、安定な層が存在せず、すべての安定な層が「Joyce–Song 対の cokernel」という単純な構造を持つことを証明しました。これにより、複雑な壁越え公式を必要とせず、モジュライ空間間の直接的な幾何学的関係が導かれます。

3. 主要な結果

定理 1: モジュライ空間の幾何学的構造

$X$ が BMT 予想を満たし、十分大きな $n$ に対して、Chern 特性 $v_n$ を持つ Gieseker 半安定な 2 次元ねじれ層のモジュライ空間 $M_{X,H}(v_n)$ は、以下の性質を持ちます。

1. 構造: $M_{X,H}(v_n)$ は、曲線と点のイデアル層のヒルベルトスキーム $\text{Im}(X, \beta)$ と、$X$ のトーション・ピカール群 $\text{Pic}^0(X)$ の積上の**滑らかな射影束（smooth projective bundle）**です。
2. ファイバー: ファイバーは $\mathbb{P}^{\chi(v(n))-1}$ です。
3. 一意性: 任意の安定な層は、一意な Joyce–Song 対 $(I, s)$ と線形束 $L$ を用いて $\text{cok}(s) \otimes L$ の形で表されます。ここで $I$ は曲線と点のイデアル層（またはそのトーション・ツイスト）です。

この結果は、2 次元層のモジュライ空間が、より古典的な曲線・点のモジュライ空間（ヒルベルトスキーム）の単純な拡張であることを意味し、著者らにとっても驚くべき発見でした。

定理 2: 数え上げ不変量の関係式（壁越え公式）

$X$ がカラビ・ヤウ 3 次元多様体の場合、上記の幾何学的関係から、以下の単純な数え上げ公式が導かれます。

$$\Omega_{v_n}(X) = e_n \cdot \text{Im}_{m, \beta}(X)$$

• $\Omega_{v_n}(X)$: 2 次元ねじれ層（D4-D2-D0 ブレーン）の仮想数え上げ（Behrend 重み付きオイラー特性）。
• $\text{Im}_{m, \beta}(X)$: 曲線と点のイデアル層の仮想数え上げ（MNOP 不変量）。
• $e_n$: 明示的な位相定数（符号付きオイラー特性）。

この公式は、複雑な壁越え補正項が存在せず、両者の不変量が単純な定数倍の関係にあることを示しています。

4. 意義と S-双対性・モジュラリティへの示唆

この論文の最大の貢献は、Gromov–Witten 理論（左辺）と D4-D2-D0 ブレーンの数え上げ（右辺）を結びつける「単純な橋渡し」を提供し、S-双対性の幾何学的理解を促進した点にあります。

• S-双対性とモジュラリティ:
  物理学者の予想（S-双対性）によれば、D4-D2-D0 ブレーンの数え上げ $\Omega_{v_n}$ は、ベクトル値の（擬）モジュラー形式の係数であるはずです。
  定理 2 により、$\Omega_{v_n}$ は MNOP 不変量（曲線数え上げ）と比例関係にあるため、曲線数え上げもまた、モジュラー形式の構造に支配されている可能性が示唆されます。
• Noether–Lefschetz 理論との関連:
  第 6 章では、このモジュラリティを Noether–Lefschetz 理論の観点から説明しようとしています。2 次元層のサポートとなる除数 $D$ が、Noether–Lefschetz 軌道（特定の (1,1) 類を含む除数の族）に属する点に対応し、その生成関数がモジュラー形式として振る舞うことを示唆しています。
  特に、非正則なモジュラー形式（Mock modular forms）の出現は、境界でのホッジ構造の退化や、可約・非既約な除数の寄与と関連付けられています。

5. 結論

Feyzbakhsh と Thomas は、Bogomolov–Gieseker 予想を満たす 3 次元多様体において、2 次元ねじれ層のモジュライ空間が、曲線・点のヒルベルトスキーム上の単純な束構造を持つことを証明しました。これにより、Gromov–Witten 不変量と D-brane 不変量の間の関係が極めて単純化され、S-双対性に基づくモジュラリティの予想を幾何学的に検証するための強力な枠組みが提供されました。

この結果は、より高ランクの層や、より一般的なカラビ・ヤウ多様体への拡張（後続の論文 [FT21b, FT21c, Fey22] で議論）への道を開き、代数幾何学と弦理論の交差点における重要な進展と言えます。