[論文レビュー] Modular Invariance and Twisted Anomaly Cancellations of Characteristic Numbers

Qingtao Chen, Fengling Han|ArXiv.org|May 16, 2006

Algebraic structures and combinatorial models参考文献 14被引用数 6

ひとこと要約

本稿は、特徴的形式のモジュラー不変性を用いて、$8k+4$ および $8k$ 次元多様体に対するリウの研究を拡張し、特徴的数の新しいねじれ異常キャンセレーション公式を確立する。複素線束を導入することで双曲余弦補正を $χ$-genus および $χ$-form に施し、スピンおよびスピン$^c$ 多様体に対して新たな可除性および合同関係——特にねじれ Rokhlin 型合同関係——を導出する。これにより、特徴的数に深い算術的制約が与えられる。

ABSTRACT

By studying modular invariance properties of some characteristic forms, we obtain twisted anomaly cancellation formulas. We apply these twisted cancellation formulas to study divisibilities on spin manifolds and congruences on spin$^c$ manifolds. Especially, we get twisted Rokhlin congruences for $8k+4$ dimensional spin$^c$ manifolds

研究の動機と目的

• $SL(2,\mathbb{Z})$ の作用における特徴的形式のモジュラー不変性を用いて、$8k+4$ および $8k$ 次元多様体に対するリウの驚異的なキャンセレーション公式を、複素線束を介したねじれモジュラー不変性によって一般化すること。
• 双曲余弦因子を用いて $χ$-形式および $χ$-genus の補正を施した、$χ$-形式と $χ$-genus に関連する新しい異常キャンセレーション恒等式を導出すること。
• 閉じたスピンおよびスピン$^c$ 多様体の特徴的数に、特に可除性および合同条件を含む算術的制約を確立すること。
• 微分形式レベルの恒等式を用いて、オハニーネおよびフィナシーンの合同関係をねじれ設定に拡張すること。

提案手法

• スピン$^c$ 多様体のアティヤ＝シンガー指数定理を用いて、2を法とするトポロジカル不変量と解析的指数を関係づける。
• 特徴的形式の $SL(2,\mathbb{Z})$ に対するモジュラー不変性を用いて、$8k$ および $8k+4$ 次元多様体上の特徴的形式の恒等式を導出する。
• 複素線束 $\xi_{\mathbf{C}}$ のオイラー形式 $c$ を用いて、$χ$-form を $\cosh^2(c/2)$ で除算することで、$χ$-genus のねじれ版を導入する。
• $q$-級数展開を用いてモジュラー形式を展開し、$q^0$ および $q^1$ の係数を比較することで、特徴的形式間の恒等式を導出する。
• $P_1(\xi_{\mathbf{C}}, \tau)$ および $P_2(\xi_{\mathbf{C}}, \tau)$ のモジュラー変換を等置することで、$z_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ を含む新しいキャンセレーション公式を導出する。
• $q$ を用いた $\mathrm{ch}(\Theta_1)$ および $\mathrm{ch}(\Theta_2)$ の明示的展開から、係数の恒等式を抽出する。

実験結果

リサーチクエスチョン

• RQ1 特徴的形式のモジュラー不変性を用いて、リウの元々の結果を超える新しい異常キャンセレーション公式を導出できるか？
• RQ2 複素線束が $\cosh^{-2}(c/2)$ の補正により $χ$-genus に組み込まれた場合、どのような算術的制約（可除性または合同）が生じるか？
• RQ3 非自明な $c_1$-ねじれを持つ $8k+4$ 次元スピン$^c$ 多様体に対して、オハニーネおよびフィナシーンの合同関係のねじれ版が成り立つか？
• RQ4 モジュラー展開における高次の $q$-係数から、さらなる合同関係または可除性の結果が得られるか？
• RQ5 特徴的形式 $h_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ および $z_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ の正確な構造は、$\widehat{A}$-類およびチャーン類の指標を用いてどのように記述できるか？

主な発見

• 本稿は、$8k+4$ 次元多様体に対するねじれ異常キャンセレーション公式を確立した：$\left\{\frac{\widehat{L}(TM,\nabla^{TM})}{\cosh^2(c/2)}\right\}^{(8k+4)} = 8\sum_{r=0}^k 2^{6k-6r} h_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ であり、$h_r$ は $\widehat{A}$-類およびねじれチャーン指標を含む。
• $8k$ 次元多様体に対して、恒等式 $\left\{\frac{\widehat{L}}{\cosh^2(c/2)}\right\}^{(8k)} = \sum_{r=0}^k 2^{6k-6r} z_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ が導出され、リウの元来の公式が一般化された。
• 著者らは、$\frac{\mathrm{Sig}(M) - \mathrm{Sig}(B \bullet B)}{8} \equiv \mathrm{ind}_2(b_k(TB \oplus \mathbb{R}^2, \mathbb{R}^2)) \mod 2$ を証明し、オハニーネ合同関係の解析的版を提供した。
• 新しい合同関係が確立された：$\left\{\frac{\widehat{L}(TM)\left[\mathrm{ch}(T_{\mathbf{C}}M) - \sinh^2(c/2)\mathrm{ch}(2\xi_{\mathbf{C}} \oplus \mathbb{C}^8)\right]}{\cosh^2(c/2)}\right\}^{(8k+4)} = 2^{14} \sum_{r=0}^{k-1} (k-r)2^{6(k-r-1)} h_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$。
• $8k$ 次元多様体に対して、恒等式 $\left\{\frac{\widehat{L}(TM)\left[\mathrm{ch}(T_{\mathbf{C}}M) - \sinh^2(c/2)\mathrm{ch}(2\xi_{\mathbf{C}} \oplus \mathbb{C}^8)\right]}{\cosh^2(c/2)}\right\}^{(8k)} = 2^{11} \sum_{r=0}^{k-1} (k-r)2^{6(k-r-1)} z_r(T_{\mathbf{C}}M, \xi_{\mathbf{C}})$ が導出された。
• 本稿は、$8k+4$ 次元スピン$^c$ 多様体に対してねじれ Rokhlin 合同関係が成り立つことを確認した。特に、自己交叉条件を満たすとき、符号の差が 8 で割り切れる。