Elliptic genera and $SL(2,Z)$ modular forms for fibre bundles

この論文は、族の指数理論を用いて既知の$SL(2, \mathbb{Z})$モジュラー形式を族の場合に一般化し、決定線バンドルや指数ゲージ、エタ不変量、および高次次数における残留チャーン形式に関する新たな異常相殺公式を導出するものである。

要約

この論文は、数学の非常に高度な分野（幾何学とトポロジー）を扱っていますが、一言で言うと**「複雑な形をした世界（多様体）の『隠れたリズム』を見つけ出し、そのリズムが崩れない（対称性が保たれる）条件を見つける」**という研究です。

著者の王勇さんは、物理学の「異常（アノマリー）」という概念を数学的に解き明かそうとしています。これを一般の方にもわかりやすく、いくつかの比喩を使って説明します。

1. 舞台設定：「糸巻き」と「糸」の世界

まず、この論文の世界観をイメージしてください。

• 糸巻き（ベース空間 B）： 私たちが住んでいる「時間」や「パラメータ」の集まりです。
• 糸（ファイバー Z）： 糸巻きに巻かれている「糸」そのものです。これは、各瞬間ごとに存在する小さな世界（多様体）です。
• 全体（ファイバー束）： 糸巻き全体と糸を合わせた巨大な構造です。

この研究は、**「糸（小さな世界）が回転したり変化したりするときに、全体としてどんな『規則』が成り立つか」**を調べるものです。

2. 核心となる道具：「SL(2, Z) 変換」という「魔法の鏡」

論文のタイトルにある「SL(2, Z) 変換」とは、簡単に言うと**「世界をひっくり返したり、ねじったりしても、本質的な形が変わらないようにする魔法の鏡」**のようなものです。

• 通常の鏡： 左右が逆になりますが、形は同じです。
• この魔法の鏡： 世界を「90 度回転」させたり、「裏返し」にしたりしても、その中に隠された**「リズム（モジュラー形式）」**が崩れないように保つルールです。

著者は、この「魔法の鏡」を使って、複雑な幾何学的な形（多様体）を分析しています。

3. 発見した「奇跡のキャンセル（Miracle Cancellation）」

物理学や数学では、計算をすると「誤差」や「矛盾（異常）」が出てくることがよくあります。これを**「アノマリー（異常）」**と呼びます。

• 例え話： 巨大なオーケストラで、指揮者が「ドレミファソラシド」と弾こうとしても、ある楽器だけが「ドレミファソラシラ」と間違えて演奏してしまい、音楽が乱れるような状態です。

しかし、王さんの研究では、**「特定の条件下では、この『間違えた演奏（異常）』が、別の楽器の『逆の演奏』とちょうど打ち消し合い、全体として完璧なハーモニー（ゼロ）になる」**という公式を見つけました。

これを**「奇跡のキャンセル（Miracle Cancellation）」**と呼びます。
「あ、この 2 つの矛盾した要素を組み合わせると、消えてなくなるんだ！だから世界は安定しているんだ！」という発見です。

4. この論文の具体的な貢献

これまでの研究では、この「奇跡のキャンセル」は、静止している単一の世界（1 つの多様体）に対してだけ知られていました。

王さんの論文のすごいところは、**「糸巻きのように、時間やパラメータによって形が変わり続ける『家族（ファイバー束）』全体に対しても、このルールが通用する」**ことを証明した点です。

• 新しい発見：
  • 決定線束（Determinant Line Bundle）： 糸の「太さ」や「ねじれ」を表す目盛りのようなもの。これが壊れない条件を見つけました。
  • インデックス・ガーブ（Index Gerbes）： さらに高度な「ねじれ」の概念。これも同様に、矛盾が打ち消し合う公式を見つけました。
  • エータ不変量（Eta Invariants）： 世界が持つ「音の響き（スペクトル）」のような数値。これも同じリズムに従っていることを示しました。

5. 要約：なぜこれが重要なのか？

この研究は、単なる数式の遊びではありません。

• 物理学への応用： 弦理論や量子重力理論では、宇宙の法則が矛盾なく成り立つためには、このような「異常のキャンセル」が必須です。王さんの公式は、**「宇宙が安定して存在できるための新しい設計図」**を提供する可能性があります。
• 数学の美しさ： 一見バラバラに見える複雑な数式や幾何学的な形が、実は「モジュラー形式」という美しいリズムで統制されていることを示しました。

まとめると：
王勇さんは、**「形が変わり続ける複雑な世界（糸巻き）の中で、矛盾（異常）が自然に消え去る『魔法の公式』を見つけ出した」**という論文を書いています。これは、宇宙の安定性を理解する鍵となる、非常に美しく重要な数学的な発見です。

技術概要

論文「ファイバー束における楕円性種数と SL(2, Z) 保型形式」の技術的サマリー

1. 概要

本論文は、Yong Wang によって執筆され、ファイバー束（特に閉多様体 $M$ から基底空間 $B$ へのファイバー $Z$）の文脈において、既知の $SL(2, \mathbb{Z})$ 保型形式を「族（family）」のケースに一般化することを目的としています。著者は、族の指数理論（family index theory）を用いて、決定線バンドル（determinant line bundle）や指数ゲージ（index gerbes）、および $\eta$ 不変量に関する新しい異常相殺公式（anomaly cancellation formulas）を導出しました。さらに、高次次数の場合には、残留チャーン形式（residue Chern forms）に関する公式も提供しています。

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

• 背景: 重力異常（gravitational anomalies）の「奇跡的な相殺（miracle cancellation）」は、Alvarez-Gaumé と Witten によって 12 次元多様体上で発見され、その後、Liu 氏らによって高次元や特定の gauge 群（$E_8 \times E_8$ など）に対する拡張が行われました。これらの公式は、特性形式の保型性（modular invariance）に基づいています。
• 問題: これらの公式は通常、単一の多様体に対して定義されています。しかし、物理的な文脈（例えば、弦理論における場の理論の族）や幾何学的な文脈では、パラメータ空間（基底空間 $B$）に依存する「族」の Dirac 演算子を扱う必要があります。
• 課題: 族の決定線バンドルの曲率（局所異常）や指数ゲージの曲率（大域的異常）、および $\eta$ 不変量に対して、$SL(2, \mathbb{Z})$ 保型形式を用いた同様の相殺公式を確立すること、および高次次数の Chern 形式に対する拡張を行うことが本研究の目的です。

3. 手法とアプローチ

著者は以下の数学的ツールと理論を組み合わせることでアプローチしています。

1. 族の指数理論 (Family Index Theory):
   • Bismut-Freed 接続と Quillen 計量を用いて、決定線バンドルの曲率を記述します。
   • 奇数次元のファイバーに対しては、Lott による指数ゲージ（index gerbe）の理論を用い、その曲率（3 形式）を Atiyah-Singer 族指数定理の 3 形式成分として特定します。
2. 保型形式と特性形式の構成:
   • 垂直接束 $TZ$ に対して、$\Theta_1, \Theta_2, \Theta_3$ と呼ばれる無限積形式（Jacobi 関数と関連）を定義し、これらを用いて $Q(TZ, \tau)$ という形式的な級数を構成します。
   • この $Q(TZ, \tau)$ が $SL(2, \mathbb{Z})$ 上の重み $2k$ の保型形式であることを示します。
3. 展開と係数の比較:
   • 構成した保型形式を $q = e^{2\pi i \tau}$ について展開し、その係数（特性形式の多項式）を比較します。
   • 既知の Eisenstein 級数 $E_4, E_6$ などとの関係を利用し、特定の次数（$q$ のべき）における係数の等式（異常相殺公式）を導出します。
4. 楕円性種数の一般化:
   • 複素構造を持つファイバー束に対して、2 変数楕円性種数（two-variable elliptic genus）を定義し、弱ヤコビ形式（weak Jacobi form）としての性質を調べます。
5. 高次次数への拡張:
   • Mickelsson と Paycha の定理（超接続から構成される Chern-Weil 形式と Wodzicki 残留の関連）を用いて、高次次数の Chern 形式や残留 Chern 形式に対する公式を導きます。

4. 主要な結果

第 2 章：決定線バンドル、指数ゲージ、$\eta$ 不変量に対する異常相殺公式

• 偶数次元ファイバー ($dim Z = 4k-2$):
  • 重み $2k$の保型形式$Q(TZ, \tau)$を構成し、その展開係数から、決定線バンドルの曲率$R_{LD}$ に関する一連の等式（Theorem 2.4 - 2.7）を導出しました。
  • 例：$dim Z = 6$ の場合、特定のテンソル積を持つ曲率の線形結合が、定数倍の元の曲率に等しくなることが示されました（係数は 120, 2160 など）。
• 奇数次元ファイバー ($dim Z = 4k-3, 4k-1$):
  • 指数ゲージ $G_{DZ}$ の曲率（3 形式）および $\eta$ 不変量 $\bar{\eta}$ に対して、同様の相殺公式を導出しました（Theorem 2.10 - 2.18）。
  • これらは、局所異常だけでなく、大域的な異常やスペクトル非対称性に関する制約を与えます。
• spinc 構造の場合:
  • 複素線束 $L$ を含む spinc 構造に対して、条件 $p_1(TZ) = 3p_1(L_R)$ や $p_1(TZ) = p_1(L_R)$ の下で、同様の公式が成り立つことを示しました（Theorem 2.20 - 2.31）。

第 3 章：2 変数楕円性種数と族への拡張

• 定義: 複素ファイバー束 $M \to B$ に対して、2 変数楕円性種数 $Ell(TZ, W, \tau, z)$ を定義しました。
• 保型性: 特定の条件（$c_1(W)=c_1(T^{1,0}Z)=0$ かつ $p_1(TZ)=p_1(W)$）の下で、これが重み $d-l$、インデックス $l/2$ の弱ヤコビ形式となることを示しました。
• 係数展開: 楕円性種数を $z$ について展開した係数 $a_n$ が、$SL(2, \mathbb{Z})$ 上の保型形式であることを証明し、これを用いて決定線バンドルや $\eta$ 不変量に関する新しい相殺公式（Theorem 3.6 - 3.20）を導出しました。
  • 特に、$d-l$ の値（4, 6, 8, 10 など）に応じて、異なる係数（240, -504, 480 など）を持つ公式が得られました。

第 4 章：高次次数の場合（残留 Chern 形式）

• Mickelsson と Paycha の定理を応用し、高次次数の Chern 形式 $str(A^{2j})$ および残留 Chern 形式 $sres(|A|^{2j-1})$ に対する異常相殺公式を導出しました（Theorem 4.2, 4.3）。
• これにより、低次数の曲率形式だけでなく、高次次数の幾何的不変量に対しても、保型性に基づく制約が存在することが示されました。

5. 意義と貢献

1. 理論の一般化: 単一多様体における「奇跡的な相殺」公式を、ファイバー束（族）の文脈に体系的に拡張しました。これにより、パラメータ依存性を持つ物理系や幾何学的構造に対する異常の理解が深まりました。
2. 新たな不変量の関係: 決定線バンドル、指数ゲージ、$\eta$ 不変量、そして残留 Chern 形式という、一見異なる幾何的・解析的対象の間に、$SL(2, \mathbb{Z})$ 保型形式を通じて深い関係（相殺公式）が存在することを明らかにしました。
3. spinc 多様体への適用: spinc 構造を持つ多様体に対する拡張を行い、より広範な幾何学的対象に適用可能な公式を提供しました。
4. 将来の展望: 本論文の結果は、非可換幾何学（NCG）における Kaster-Kalau-Walze 定理の族への拡張や、Dai-Zhang の Toeplitz 族指数定理への応用への道を開く可能性を示唆しています（Remark 1, 2）。

6. 結論

本論文は、保型形式の強力な手法を用いて、ファイバー束上の Dirac 演算子族に伴う多様な異常（局所・大域・高次）を統一的に記述する新しい公式群を確立しました。これらの結果は、数学的物理学（特に弦理論やゲージ理論の異常相殺）および微分幾何学（指数理論、特性類）の両分野において重要な進展をもたらすものです。