[论文解读] Flat vector bundles and open coverings

Huitao Feng, Weiping Zhang|arXiv (Cornell University)|Mar 23, 2016

Geometric and Algebraic Topology参考文献 6被引用 4

一句话总结

本文提出了一种用于计算在 $2n$-维闭流形上秩为 $2n$ 的平坦向量丛的欧拉数的通用计数公式，采用横截开覆盖和 Mathai-Quillen 形式主义。结果表明，欧拉数等于此类覆盖顶点所索引的局部贡献之和，从而在平坦情形下为欧拉类提供了几何与拓扑解释，通过外代数版本的 Mathai-Quillen 构造绕过了保持度量的假设。

ABSTRACT

We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the Mathai-Quillen formalism to prove our result.

研究动机与目标

• 为闭流形上平坦向量丛的欧拉数发展一个几何公式，尤其在经典定理（如高斯-博内-陈定理）因欧拉类非零而失效的情况下。
• 通过引入 Mathai-Quillen 形式主义的外代数版本，克服度量保持连接在欧拉类计算中的局限性。
• 通过基于横截开覆盖推导出的‘神秘’计数公式，推广陈猜想的几何框架。
• 提供一种不依赖曲率或度量相容性的拓扑不变量计算方法，重点基于开覆盖的组合与局部数据。

提出的方法

• 利用 Mathai-Quillen 形式主义的外代数版本，在 $\Lambda^*(E^*)$ 的拉回丛上定义一个超联络 $A = \nabla^{ ext{ev/odd}} + c(Z)$，使得在不假设连接保持度量的条件下也能计算欧拉类。
• 在 $\pi^*\Lambda^*(E^*)$ 上构造一个超联络 $A$，利用 Clifford 乘法 $c(Z) = Z^*\wedge - i_Z$，确保 $\exp(A^2)$ 沿纤维指数衰减。
• 应用超联络的陈-韦伊理论，证明 $\left(\frac{1}{2\pi}\right)^{\text{rk}(E)}\int_{E/M} \text{tr}_s[\exp(A^2)]$ 表示 $\frac{e(E)}{\widehat{A}(E)^2}$，并针对欧拉类进行校正。
• 引入一族参数为 $T$ 的度量 $g^{F}_T$ 在平坦丛 $F$ 上，以控制超联络及指数项 $\exp(-|Y|^2_{g^F_T})$ 的行为。
• 使用子属于横截开覆盖的单位分解，将局部贡献集中于覆盖的顶点附近，从而将全局欧拉数分解为局部贡献之和。
• 在 $T \to \infty$ 的极限过程中提取超迹的高阶分量，证明其收敛于有限个点 $q \in \mathbf{B}_+$ 上的和，即覆盖的顶点。

实验结果

研究问题

• RQ1 在不假设连接保持度量的条件下，能否计算 $2n$-维闭流形上秩为 $2n$ 的平坦向量丛的欧拉数？
• RQ2 是否存在一个基于开覆盖组合数据的平坦丛欧拉数的拓扑公式？
• RQ3 Mathai-Quillen 形式主义如何适应不保持度量的平坦连接？外代数在此中起什么作用？
• RQ4 在平坦向量丛的背景下，横截开覆盖顶点所索引的局部贡献具有何种几何意义？
• RQ5 陈猜想的框架能否通过涉及开覆盖与超联络的计数公式重新诠释？

主要发现

• 在 $2n$-维闭流形 $M$ 上的秩为 $2n$ 的平坦向量丛 $F$ 的欧拉数 $\langle e(F), [M]\rangle$ 由顶点 $q \in \mathbf{B}_+$ 上的局部贡献 $\nu_q$ 之和给出，即 $\langle e(F), [M]\rangle = \sum_{q \in \mathbf{B}_+} \nu_q$。
• 该公式通过在外代数丛 $\Lambda^*(E^*)$ 上应用 Mathai-Quillen 形式主义推导得出，使得在不需连接保持度量的条件下也能计算欧拉类。
• 当 $T \to \infty$ 时，超迹 $\text{tr}_s[\exp(A^2)]$ 的极限行为产生有限个点 $q \in \mathbf{B}_+$ 上的和，对应于横截开覆盖的顶点。
• 每个顶点 $q$ 处的局部贡献 $\nu_q$ 由超联络和度量 $g^F_T$ 在 $q$ 附近的性质决定，且 $\exp(-|Y|^2_{g^F_T})$ 的指数衰减确保了收敛性。
• 该结果在平坦情形下推广了高斯-博内-陈定理，表明欧拉数可以非零，并可通过离散的、组合的公式计算。
• 该公式对开覆盖的扰动具有鲁棒性，仅依赖于横截性和有限局部结构，适用于拓扑与几何应用。