[论文解读] 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}$，并推导出一个公式，使得仅通过单个面即可利用 Dirac 算子族与模形式计算出拓扑 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 二的具有角流形上的指标理论，提供 f-不变量的几何与分析解释。
• 通过几何 f-不变量 $\check{f}$，建立球面稳定同伦群与模形式算术之间的联系。
• 基于流形单个面的 f-不变量计算方法，推广 e-不变量框架。
• 将该框架应用于具体情形，包括笛卡尔积与主圆丛，并在 $N=3$ 时进行显式计算。

提出的方法

• 通过在 $(U,fr)^2_f$-流形上引入 Dirac 算子族，利用相容联络与 Chern-Weil 理论，定义几何 $\check{f}$-不变量。
• 将族的 $e_\Gamma$-不变量定义为 de Rham 代表元模 Chern 指标的像，从而实现模形式取值的积分。
• 推导出 f-不变量的公式：$f(M) \equiv \int_B \hat{e}_\Gamma \widetilde{Ell}(\nabla^E) \mod \text{im}(ch)$，将其与扭曲 Dirac 族的谱不对称性联系起来。
• 通过超连接与 Poisson 求和法推导出圆丛上 Dirac 算子的 $\hat{\eta}$-形式，用于计算 $\check{f}$-不变量。
• 通过将 f-不变量约化为因子的 $e_\mathbb{C}$-不变量之积，将该框架应用于笛卡尔积。
• 利用 Eisenstein 系数与同余关系，在 $N=3$ 时进行显式计算，验证 f-不变量在 $\mathbb{Z}[1/3][[q]]$ 中的阶与整性。

实验结果

研究问题

• RQ1 能否像 e-不变量一样，从具有角流形的单个面上解析计算 f-不变量？
• RQ2 codimension 二的角流形的几何结构如何通过指标理论与模形式的算术相关联？
• RQ3 在主圆丛上，$\hat{\eta}$-形式在计算 f-不变量中起什么作用？
• 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$ 的模形式。
• 对于环面上的主圆丛，f-不变量通过 Dirac 算子的 $\hat{\eta}$-形式计算，得到 $\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)$，其阶数显然为二。
• 对于 $(U,fr)^3_f$-流形的 codimension 三角，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-不变量的整性。
• 通过公式 $\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) $，$\check{f}$-不变量可从单个面计算，提供了一种实用的计算工具。