Mapping cone Thom forms

This paper explicitly constructs the mapping cone Thom form for the de Rham mapping cone cochain complex induced by a smooth closed 2-form using the Berezin integral and mapping cone covariant derivative, proving that the resulting form is closed, integrates to 1 along the fiber, and satisfies the transgression formula.

The Gist

Imagine you are trying to understand the shape of a complex, multi-layered object, like a giant, twisted sculpture made of rubber bands and springs. In mathematics, this object is called a manifold (the base shape), and the rubber bands stretching out from it are called a vector bundle.

Usually, mathematicians have a very specific tool to measure the "holes" or the overall shape of these objects. This tool is called the Thom form. Think of the Thom form as a special "magic ink" that, when you paint it on the object, tells you exactly how many holes it has and how they are connected.

This paper, written by Hao Zhuang, introduces a new, slightly more complicated version of this object. Instead of just rubber bands, imagine the object is also being twisted by a hidden, invisible wind (represented by a 2-form, $\omega$). This wind changes how the rubber bands behave, making the standard "magic ink" useless.

Here is the breakdown of what the paper does, using simple analogies:

1. The Problem: The "Twisted" Object

In the old days, mathematicians (like Mathai and Quillen) knew how to make the magic ink for simple, untwisted objects. But when you add this "wind" ($\omega$), the object becomes a Mapping Cone.

• The Analogy: Imagine a standard cylinder (the object). Now, imagine someone is blowing a strong wind through it while you try to measure it. The wind pushes the rubber bands sideways. If you try to use the old measuring tape (the old Thom form), it breaks because it doesn't account for the wind.
• The Goal: Zhuang wants to invent a new magic ink that works even when the wind is blowing.

2. The New Tool: The "Super-Connection"

To measure this twisted object, you need a new way of moving around it.

• The Analogy: Normally, if you walk on a flat floor, you just go straight. But if the floor is moving (like a conveyor belt) and also spinning, you need a "Super-Walking Guide" to tell you how to step.
• The Math: The author creates a Mapping Cone Covariant Derivative. This is the "Super-Walking Guide." It combines two things:
  1. How the object curves normally (the connection $\nabla$).
  2. How the "wind" ($\omega$) and a special "twist" ($\Phi$) push the object around.
     The author proves that even with this wind, there is a rule (called the Bianchi Identity) that keeps the math from falling apart. It's like proving that even though the floor is spinning, you can still balance if you know the right steps.

3. The Magic Ingredient: The "Berezin Integral"

How do you actually write down this new magic ink? The author uses a strange mathematical trick called the Berezin Integral.

• The Analogy: Imagine you have a soup with many ingredients (mathematical terms). Most of them are just noise. The Berezin integral is like a magical strainer that filters out all the noise and leaves you with only the one specific ingredient that matters (the "top" part of the soup).
• The Process: The author mixes the "Super-Walking Guide" with the wind and the twist into a giant mathematical smoothie ($e^{-A}$). Then, they run it through the Berezin strainer. What comes out is the Mapping Cone Thom Form ($U$).

4. The Results: Does the Ink Work?

The paper proves three amazing things about this new ink:

1. It's Stable (Closed): If you pour this ink on the twisted object, it doesn't leak or change shape. It stays perfect, even with the wind blowing.
2. It Counts Correctly: If you squeeze the ink through the object (integration along the fiber), you get exactly 1. This means the ink successfully identifies the object's core structure, just like the old ink did for simple objects.
3. It's Flexible (Transgression): If you slowly change the wind or the twist (changing the parameters over time), the ink changes smoothly. It doesn't jump or break; it flows from one version to another. This is crucial for proving that the "shape" of the object doesn't depend on the specific wind speed, but on the object itself.

5. Why Does This Matter?

The author concludes with a fascinating insight about Morse Theory (a way of studying shapes by looking at their peaks and valleys).

• The Insight: Usually, when you look for "peaks" on a shape, you find isolated points (like the top of a mountain). But on this "twisted" object, the peaks behave like isolated circles or loops.
• The Metaphor: Imagine looking for the highest point on a hill. On a normal hill, it's a single dot. On this twisted, windy hill, the "highest point" is actually a ring around the hill.
• The Consequence: This means the math for these twisted objects is more like "Morse-Bott Theory" (which deals with rings of peaks) rather than standard Morse theory. The author suggests that the "wind" ($\omega$) is the main difficulty, and the "twist" ($\Phi$) can actually be ignored if you just want a simple answer.

Summary

Hao Zhuang has built a new mathematical "GPS" (the Thom form) for navigating objects that are being twisted by an invisible wind. By inventing a new way to walk on these objects (the covariant derivative) and using a magical filter (the Berezin integral), he proved that you can still measure the shape of these complex, twisted objects accurately. This opens the door to understanding more complex geometric structures in physics and topology that were previously too "windy" to measure.

Technical Summary

1. Problem Statement

The paper addresses the construction of an explicit Thom form for the de Rham mapping cone cochain complex induced by a smooth closed 2-form $\omega$ on a manifold $M$.

• Context: The de Rham mapping cone complex is a fundamental tool in geometry and topology, connecting to symplectic cohomology, characteristic classes, gauge theory, and Morse theory.
• Gap: While the Thom isomorphism for this complex has been established topologically (e.g., in [8]), an explicit analytic construction of the associated Thom form in the sense of Mathai-Quillen was missing.
• Challenge: The standard Mathai-Quillen construction relies on a Euclidean connection. In the mapping cone setting, the presence of the closed 2-form $\omega$ and an endomorphism $\Phi$ introduces extra terms that complicate the construction of a closed form. The author aims to construct a form $U$ that is closed with respect to the mapping cone differential, integrates to 1 along the fiber, and satisfies a transgression formula.

2. Methodology and Setup

The author adopts the framework of Mathai-Quillen superconnections, adapted to the mapping cone structure.

A. Geometric Setup

• Manifold & Bundle: Let $M$ be a smooth manifold without boundary, and $E \to M$ an oriented vector bundle of rank $n$ equipped with a metric $g$.
• Data:
  • $\omega \in \Omega^2(M)$: A smooth closed 2-form.
  • $\nabla$: A Euclidean connection on $E$ (compatible with $g$).
  • $\Phi \in \Omega^0(M, \text{End}(E))$: A skew-adjoint endomorphism with respect to $g$.
• Mapping Cone Covariant Derivative ($A$): Defined on the space of forms $\Omega^i(M, E) \oplus \Omega^{i-1}(M, E)$ as:
  $$A(\alpha, \beta) = (\nabla \alpha + \omega \wedge \beta, \Phi \alpha - \nabla \beta)$$
  This operator is extended to forms with values in the exterior algebra $\Lambda^* E$.

B. Key Mathematical Tools

1. Pullback to Total Space: The construction is lifted to the total space $E$ via the projection $\sigma: E \to M$. The tautological section $v$ of the pullback bundle $\sigma^* E$ is utilized.
2. Curvature Terms: The author defines curvature-like terms $Q_A$ and $S_A$ (and their pullbacks $\tilde{Q}_A, \tilde{S}_A$) involving the curvature of $\nabla$, the interaction with $\omega$, and the commutator of $\nabla$ and $\Phi$.
3. Berezin Integral: The core analytic tool is the Berezin integral ($\int_B$), which integrates out the fiber variables (Grassmann variables) of the exterior bundle. The author extends this integral to pairs of forms $(\alpha, \beta)$ to handle the mapping cone structure.
4. Skew-Adjoint Bianchi Identity: A crucial step is proving a generalized Bianchi identity for the mapping cone covariant derivative under the skew-adjoint condition of $\Phi$.

3. Key Contributions and Constructions

A. Construction of the Thom Form

The author defines a "superconnection" form $A$ on the total space $E$:
$$A = \left( \frac{1}{2}|v|^2, 0 \right) + \tilde{A}(v, 0) - (\tilde{Q}_A, \tilde{S}_A)$$
where $|v|$ is the norm of the tautological section. The Mapping Cone Thom Form $U$ is then constructed via the Berezin integral of the exponential of this form:
$$U = (-1)^{n(n+1)/2} \left( \frac{1}{2\pi} \right)^{n/2} \int_B e^{-A}$$
The exponential is expanded using the Taylor series and the wedge product defined for pairs of forms.

B. The Skew-Adjoint Bianchi Identity

A major technical hurdle is ensuring the closedness of $U$. The author proves Proposition 3.1, showing that if $\Phi$ is skew-adjoint, the mapping cone covariant derivative applied to the curvature pair vanishes:
$$A(Q_A, S_A) = (0, 0)$$
This identity is essential for showing that the operator $(\tilde{A} + v \lrcorner)$ annihilates the form $A$, which leads to the closedness of $U$.

4. Main Results

Theorem 1.2: Properties of the Thom Form

The constructed form $U \in \Omega^n(E) \oplus \Omega^{n-1}(E)$ satisfies three fundamental properties:

1. Closedness: $U$ is closed with respect to the mapping cone differential $d_{\tilde{\omega}}$:
   $$d_{\tilde{\omega}} U = 0$$
2. Normalization: The integration of $U$ along the fiber $E/M$ yields the identity element of the base cohomology:
   $$\int_{E/M} U = (1, 0)$$
   This confirms that $U$ induces the Thom isomorphism.
3. Transgression: The form is robust under deformations of the connection and endomorphism.

Theorem 1.3: Transgression Formula

For a smooth family of Euclidean connections $\nabla_t$ and skew-adjoint endomorphisms $\Phi_t$, the derivative of the Thom form $U_t$ with respect to $t$ is exact:
$$\frac{d U_t}{dt} = d_{\tilde{\omega}} (\psi_t, \rho_t)$$
where $(\psi_t, \rho_t)$ is an explicit form constructed from the derivatives of the connection and $\Phi$. This proves that the cohomology class of the Thom form is independent of the choice of $\nabla$ and $\Phi$.

5. Significance and Implications

• Analytic Realization of Topological Concepts: The paper provides the first explicit analytic formula for the Thom form in the mapping cone setting, bridging the gap between topological definitions (like those in [8]) and the differential geometric machinery of Mathai-Quillen.
• Handling the 2-form $\omega$: The construction successfully incorporates the closed 2-form $\omega$ into the superconnection framework. The author demonstrates that the skew-adjointness of $\Phi$ is the necessary condition to cancel the extra terms introduced by $\omega$ and $\Phi$, effectively making $A$ an analogue of a Euclidean connection.
• Applications to Morse Theory and Characteristic Classes:
  • The result supports the study of Mapping Cone Morse Theory, suggesting a structural similarity to Morse-Bott theory (where critical sets are submanifolds rather than points).
  • It provides a tool for computing characteristic classes in gauge theories and symplectic geometry where the mapping cone complex is relevant.
• Limitations on Gauss-Bonnet Analogs: The author notes that unlike the classical case, a direct Gauss-Bonnet-Chern theorem for the mapping cone complex is not straightforward due to the behavior of vector field zeros (which behave like circles in the mapping cone context rather than points), explaining why the theory resembles Morse-Bott theory.

In summary, this paper successfully extends the powerful Mathai-Quillen formalism to the de Rham mapping cone complex, providing a rigorous analytic foundation for studying characteristic classes and cohomology in this generalized setting.