[論文レビュー] On the geometry of the f-invariant

Hanno von Bodecker|ArXiv.org|Aug 4, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用数 12

ひとこと要約

本稿は、コーナーを持つ多様体上の指数理論と関連付けることで、安定ホモトピー論におけるf不変量の幾何学的・解析的枠組みを確立する。幾何学的f不変量$\check{f}$を導入し、一意の面からのトポロジカルf不変量の計算を可能にする公式を導出する。この公式は、ファミリーのディラック作用素とモジュラー形式を用い、特に$N=3$におけるカルテジアン積および主円周バンドルに対して明示的な応用を含む。主たる貢献は、e不変量に類似した指数論的公式をf不変量に対して得ることであり、低レベルのモジュラー形式における明示的計算によって検証されている。

ABSTRACT

The f-invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be formulated as an elliptic genus of manifolds with corners of codimension two. In this thesis, we develop a geometrical interpretation of the f-invariant in terms of index theory, thereby providing an analytical link between the stable homotopy groups of the spheres and the arithmetic of modular forms. In particular, we are able to establish a formula that allows us to compute the f-invariant from a single face. Furthermore, we apply our results to the situation of cartesian products and principal circle bundles, performing explicit calculations.

研究の動機と目的

• コーナーのcodimensionが2の多様体における指数理論を用いたf不変量の幾何学的・解析的解釈を提供すること。
• 幾何学的f不変量$\check{f}$を通じて、球面の安定ホモトピー群とモジュラー形式の算術との間の関係を確立すること。
• e不変量の枠組みを一般化し、多様体の単一の面からのf不変量の計算手法を構築すること。
• 特にカルテジアン積および主円周バンドルに対して、明示的な応用を含むこの枠組みを適用し、$N=3$における明示的計算を行うこと。

提案手法

• $(U,fr)^2_f$-多様体上でのディラック作用素のファミリーを用いて、幾何学的$\check{f}$-不変量を導入し、適合接続およびチェーン＝ヴェイ理論を用いる。
• ファミリーの$e_\Gamma$-不変量を、チェーン写像の像をmoduloするde Rham代表元として定義し、モジュラー形式値の積分を可能にする。
• f不変量の公式を$f(M) \equiv \int_B \hat{e}_\Gamma \widetilde{Ell}(\nabla^E) \mod \text{im}(ch)$として導出し、ねじれディラックファミリーのスペクトル非対称性と関連付ける。
• スーパーコンネクションおよびポアソン再帰和を用いて導出された、円周バンドル上のディラック作用素の$\hat{\eta}$-形式を用い、$\check{f}$-不変量を計算する。
• カルテジアン積に対しては、f不変量を因子の$e_\mathbb{C}$-不変量の積に還元することで枠組みを適用する。
• アイゼンスタイン級数および合同式を用いた$N=3$における明示的計算により、$f$-不変量の位数および$\mathbb{Z}[1/3][[q]]$における整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 コーナーを持つ多様体の単一の面から、e不変量に類似してf不変量を解析的に計算できるか？
• RQ2 codimensionが2のコーナーを持つ多様体の幾何学は、指数理論を通じてモジュラー形式の算術とどのように関係するか？
• RQ3 主円周バンドルのf不変量を計算する際、$\hat{\eta}$-形式が果たす役割は何か？
• RQ4 フレームド多様体のカルテジアン積においてf不変量はどのように振る舞うか？
• RQ5 $N=3$における低次元例について、f不変量の明示的値は何か？

主な発見

• カルテジアン積$Y_1 \times Y_2$のf不変量は、$f(Y_1 \times Y_2) \equiv m(Y_1)e_\mathbb{C}(Y_2) \equiv -m(Y_2)e_\mathbb{C}(Y_1)$で与えられ、ここで$m(Y_i)$は重み$(\dim Y_i + 1)/2$のモジュラー形式である。
• トーラス上の主円周バンドルに対しては、ディラック作用素の$\hat{\eta}$-形式を用いてf不変量が計算され、$\hat{\eta}(\eth) = \sum_{k=1}^\infty \frac{B_{k+1}}{(k+1)!} \left( \frac{iF}{2\pi} \right)^k$が得られ、これは曲率形式の形式的べき級数である。
• $N=3$における明示的計算により、あるバンドルのf不変量は$\frac{1}{2} \left( \frac{E_1^2 - 1}{4} \frac{E_6 - 1}{8} - \left( \frac{E_1^2 - 1}{4} \right)^2 E_1 E_3 - \frac{E_4 - 1}{16} E_1 E_3 \right)$であり、これは明示的に2次の位数を持つことが分かる。
• $(U,fr)^3_f$-多様体のcodimension3のコーナーに対してf不変量は消えることが示され、高codimensionの場合の消滅定理が証明される。
• $\frac{121E_1^6 - 152E_1^3E_3 + 40E_3^2}{2^7 \cdot 3^6 \cdot 5 \cdot 7} + \frac{18E_1^2}{2^7 \cdot 3^4 \cdot 5 \cdot 7}$が$\mathbb{Z}[1/3][[q]]$において整数であることが示され、f不変量の整数性が確認される。
• $\check{f}$-不変量は、公式$\int_B \left( \hat{\eta}(\eth^\Gamma_{\partial X}) + \frac{1}{2} ch(\nabla^{\ker \eth^\Gamma_{\partial X}}) + \int_{Z''/B} cs \right) \widetilde{Ell}(\nabla^E) $を用いて単一の面から計算可能であり、実用的な計算ツールを提供する。