[论文解读] Mapping cone Thom forms

Hao Zhuang|arXiv (Cornell University)|Mar 26, 2026

Advanced Combinatorial Mathematics被引用 0

一句话总结

该论文明确构造了与闭合二形式相关的 de Rham 映射锥复合的映射锥 Thom 形式，证明其闭性、单位纤维积分，以及通过 Berezin 积分得到的穿透(transgression)公式。

ABSTRACT

For the de Rham mapping cone cochain complex induced by a smooth closed 2-form, we explicitly write down the associated mapping cone Thom form in the sense of Mathai-Quillen. Our construction uses the mapping cone covariant derivative, carrying the extra information brought by the 2-form. Our main tool is the Berezin integral. As the main result, we show that this Thom form is closed with respect to the mapping cone differentiation, its integration along the fiber is 1, and it satisfies the transgression formula.

研究动机与目标

• Motivate the study of Thom forms in the mapping cone setting and connect to characteristic classes, gauge theory, and Morse theory.
• Construct an explicit mapping cone Thom form using the mapping cone covariant derivative and extra data from a closed 2-form.
• Show fundamental properties: closedness under the mapping cone differential, unit fiber integration, and a transgression formula.

提出的方法

• Define the mapping cone covariant derivative A combining a Euclidean connection, a closed 2-form, and a skew-adjoint endomorphism.
• Extend the covariant derivative to the exterior bundle and to the de Rham mapping cone complex.
• Construct a Thom form U by applying the Berezin integral to an exponential of a carefully crafted quadratic form A.
• Prove that U is d^omega-closed and satisfies fiber integration equal to (1,0).
• Develop a transgression framework by differentiating the Thom form with respect to a smooth family of connections and endomorphisms.

实验结果

研究问题

• RQ1 What is the explicit form of the Thom element in the mapping cone context induced by a closed 2-form?
• RQ2 Does the constructed Thom form satisfy closedness, unit fiber integration, and a transgression formula under variation of data?
• RQ3 How does the Berezin integral extend to pairs in the mapping cone setting to produce the Thom form?
• RQ4 What obstructions arise from the closed 2-form and how are they managed via the skew-adjoint Bianchi identity?
• RQ5 How does the mapping cone framework interact with the transgression of Thom forms?

主要发现

• The pair U constructed via the Berezin integral is d^omega-closed on the mapping cone and integrates to (1,0) along the fiber.
• The setup uses a Euclidean mapping cone covariant derivative with a skew-adjoint Phi to manage extra terms from the 2-form and ensure desired properties.
• A transgression formula is established for U under smooth families of connections and endomorphisms, yielding explicit (psi_t, rho_t).
• The framework extends the classical Mathai-Quillen Thom form to the mapping cone complex and clarifies the role of the extra structure from the closed 2-form.
• The Berezin integral extended to pairs is key to analyzing the mapping cone Thom form and its fiber behavior.