Implicit representations of codimension-2 submanifolds and their prequantum structure

This paper establishes a prequantum bundle structure over the space of codimension-2 submanifolds by using complex-valued implicit representations, thereby offering a new geometric interpretation of the Marsden-Weinstein symplectic structure as the curvature of a connection form that measures the average volume swept by phase level set deformations.

The Gist

Imagine you are a choreographer trying to describe the movement of a complex dance troupe. In this paper, the "dance troupe" is a collection of invisible, codimension-2 shapes (like points in 2D space or thin filaments in 3D space) moving through a larger world.

The authors, Albert Chern and Sadashige Ishida, are trying to solve a puzzle: How do we mathematically describe the "energy" and "geometry" of these moving shapes, and can we find a deeper, hidden structure underneath?

Here is the breakdown of their discovery using simple analogies.

1. The Problem: Invisible Shapes and Invisible Rules

In fluid dynamics (like water swirling around), we often care about vortices.

• In 2D, a vortex is a single point.
• In 3D, a vortex is a thin, twisting filament (like a smoke ring).

Mathematicians have known for a long time that the space of all possible positions for these shapes has a special "geometry" called a Symplectic Structure (the Marsden–Weinstein structure). Think of this structure as a rulebook that tells you how the shapes interact and move. It's like a map of the dance floor that dictates how one dancer's move affects another.

However, there was a mystery: Is this rulebook just a flat map, or does it have a hidden "curvature" or "twist" that implies a deeper physical reality? In physics, when a rulebook has this kind of twist, it often hints at quantum mechanics (hence the term "prequantum").

2. The Solution: The "Ghost" Representation

The authors realized that describing these shapes directly (by tracking every point on the filament) is messy. Instead, they used a trick called Implicit Representation.

The Analogy: The Iceberg and the Water Level
Imagine you want to describe the shape of a submerged iceberg.

• Explicit way: You measure the coordinates of every point on the ice surface.
• Implicit way (The authors' method): You imagine the entire ocean is filled with a "height function." The water level is 0 exactly where the ice is. Everywhere else, the water is either above or below 0.

But the authors went a step further. They didn't just use a real number (height); they used a complex number (which has a magnitude and a phase, or angle).

• Think of the "phase" as a color wheel or a clock hand spinning around the shape.
• The shape itself is where the clock hand is undefined (the zero point).
• The space around the shape is filled with these spinning clock hands.

This creates a "ghostly" field of colors wrapping around the shape.

3. The Discovery: The "Swept Volume" Connection

Here is the magic part. The authors showed that this "ghostly" field of colors isn't just a drawing; it has a physical meaning related to volume.

The Analogy: The Sweeping Broom
Imagine the shape (the vortex) is moving. As it moves, the "clock hands" (the phase levels) around it also move, sweeping through the space like a broom.

• If you track all the different "colors" (phases) of the broom as it moves, they sweep out a certain amount of volume in the room.
• The authors found that the "rulebook" (the symplectic structure) for the shape's movement is actually a measure of the average volume swept out by these invisible phase surfaces.

If the shape moves in a loop and returns to its starting position, the total "swept volume" of these invisible surfaces tells you something profound about the geometry of the movement.

4. The "Prequantum Bundle": A Twisted Ladder

In mathematics, a bundle is like a ladder where the rungs are spaces stacked on top of each other.

• The Base: The actual shape (the vortex).
• The Rungs: All the possible ways to paint the "ghostly" phase field around that shape.

The authors proved that this ladder is twisted. You can't just walk up the ladder in a straight line; the twist is determined by the "swept volume" we mentioned earlier.

• The Twist: If you move the shape around a closed loop and come back to the start, the "ghostly" phase field might not look exactly the same as when you started. It might have shifted by a full rotation (like a clock hand moving from 12 back to 12, but having spun around once).
• This shift is called holonomy. The authors showed that the "rulebook" (symplectic form) is exactly the measure of this twist.

5. Why Does This Matter?

This is a big deal for two reasons:

1. Geometric Clarity: It gives a concrete, visual explanation for a very abstract mathematical formula. Instead of just calculating numbers, we can now say: "The geometry of vortex movement is literally the volume swept out by the invisible phase surfaces surrounding them."
2. Quantum Connection: In physics, "prequantization" is the first step toward turning a classical system (like fluid flow) into a quantum system (like quantum fluids or superfluids). By finding this "twisted ladder" structure, the authors have built the mathematical bridge that allows us to apply quantum mechanics to these shapes.

Summary in One Sentence

The paper reveals that the complex geometry of moving invisible shapes (like vortices) can be understood as the average volume swept out by invisible, spinning phase surfaces surrounding them, creating a "twisted" mathematical structure that bridges classical fluid dynamics and quantum mechanics.

Technical Summary

1. Problem Statement

The paper addresses the geometric structure of the shape space of codimension-2 submanifolds (denoted as $\mathcal{O}$) within an oriented manifold $M$ equipped with a volume form $\mu$.

• Context: This space is fundamental in fluid dynamics (representing singular vortices like point vortices in 2D and vortex filaments in 3D) and integrable systems.
• The Marsden–Weinstein (MW) Structure: The space $\mathcal{O}$ is endowed with a canonical symplectic form $\omega_{MW}$. A central question in symplectic geometry is whether this form is exact (i.e., $\omega_{MW} = d\eta$ for some 1-form $\eta$) or, if not, whether it admits a prequantum structure.
• The Gap: While it is known that $\omega_{MW}$ is exact when $M$ is unbounded or when the volume form is exact, the case for closed manifolds (where the volume form is not exact) is more complex. Previous work established prequantizability under specific topological conditions (total volume is an integer) but relied on abstract gluing of local potentials, lacking an explicit geometric construction or interpretation of the symplectic form as a curvature.

2. Methodology

The authors employ a novel approach combining implicit representations of submanifolds with fiber bundle geometry.

A. Implicit Representation

Instead of treating submanifolds $\gamma$ as explicit embeddings, the authors represent them as the zero sets of complex-valued functions $\psi: M \to \mathbb{C}$.

• Space $\mathcal{F}$: The space of such functions where $d\psi$ is surjective at the zero set.
• Fibration: There is a projection $\Pi: \mathcal{F} \to \mathcal{O}$ mapping a function $\psi$ to its zero set $\gamma = \psi^{-1}(0)$.
• Phase Level Sets: The complex phase $\phi = \psi/|\psi|$ defines an $S^1$-family of hypersurfaces (level sets) in $M$ that are bounded by the codimension-2 submanifold $\gamma$.

B. Group Actions and Symmetries

The paper analyzes the action of the semi-direct product group $DC = \text{Diff}_0(M) \ltimes \text{Exp}(C^\infty(M, \mathbb{C}))$ on $\mathcal{F}$:

• Diffeomorphisms: Push forward the function.
• Gauge Transformations: Multiply by non-vanishing complex functions ($e^\phi$).
• Topology of Fibers: The authors demonstrate that the fibers of $\Pi$ are not connected if $M$ is not simply connected. The connected components are indexed by the first cohomology group $H^1(M; \mathbb{Z})$.

C. Construction of the Prequantum Bundle

To resolve the non-exactness of $\omega_{MW}$ on closed manifolds, the authors construct a Volume Bundle $\mathcal{P}$:

1. Formal Prequantization: They define a 1-form $\Theta$ on the space of functions $\mathcal{F}$ involving the integral of the phase gradient and the volume form. They prove $d\Theta = \Pi^* \omega_{MW}$.
2. Quotienting: Since $\Theta$ is not a connection form on $\mathcal{F}$ (its kernel does not match the vertical space of the fibration), they define an equivalence relation $\sim_P$. Two functions are equivalent if they can be connected by a path where the average swept volume of the phase hypersurfaces is zero.
3. The Bundle $\mathcal{P}$: The quotient space $\mathcal{P} = \mathcal{F} / \sim_P$ forms a principal bundle over $\mathcal{O}$ with structure group $G = S^1 \times H^1(M; \mathbb{Z})$.
4. Connection: The 1-form $\Theta$ descends to a well-defined connection form $\Theta_P$ on $\mathcal{P}$.

3. Key Contributions

1. Explicit Construction of a Generalized Prequantum Bundle

The paper provides an explicit construction of a prequantum bundle for the Marsden–Weinstein symplectic structure on the space of codimension-2 submanifolds in a closed manifold.

• Theorem 5.8: The volume bundle $\Pi_P: (\mathcal{P}, \Theta_P) \to (\mathcal{O}, \omega_{MW})$ is a generalized prequantum bundle with structure group $G = S^1 \times H^1(M; \mathbb{Z})$.
• If $M$ is simply connected, this reduces to a standard prequantum circle bundle.

2. Geometric Interpretation of the Symplectic Form

The paper offers a profound geometric interpretation of the MW symplectic form $\omega_{MW}$:

• Curvature: $\omega_{MW}$ is the curvature of the connection $\Theta_P$.
• Physical Meaning: The symplectic form measures the average volume swept out by the $S^1$-family of phase hypersurfaces during a deformation of the submanifold.
• Holonomy: The integral of $\omega_{MW}$ over a closed loop in shape space equals the total volume enclosed between the initial and final phase hypersurfaces (averaged over the phase circle), provided the path is a "horizontal lift" (zero net swept volume).

3. Extension of Exactness Results

The authors extend previous results regarding the exactness of $\omega_{MW}$:

• They prove that for unbounded manifolds (or those with exact volume forms), $\omega_{MW}$ is exact (Theorem 2.4).
• For closed manifolds, they show that while $\omega_{MW}$ is not exact, it is the curvature of a specific bundle, resolving the topological obstruction via the cohomology group $H^1(M; \mathbb{Z})$.

4. Key Results and Theorems

• Theorem 2.4: If the volume form $\mu$ is exact ($\mu = d\nu$), then $\omega_{MW}$ is exact with potential $\eta_\gamma(X_u) = \int_\gamma \iota_u \nu$.
• Theorem 4.3: The fibration $\Pi: (\mathcal{F}, \Theta) \to (\mathcal{O}, \omega_{MW})$ is a formal prequantization, meaning $d\Theta = \Pi^* \omega_{MW}$.
• Theorem 5.8: The quotient bundle $\mathcal{P}$ is a generalized prequantum bundle. The curvature of the connection $\Theta_P$ is exactly $\omega_{MW}$.
• Corollary 5.10 (Geometric Phase): For a closed path in shape space bounding a disk $D$, the symplectic area $\int_D \omega_{MW}$ equals the volume enclosed between the phase hypersurfaces at the start and end of the path, averaged over the phase circle.
• Corollary 5.11 (Limiting Case): In the limit where the phase is constant except for a jump across a single hypersurface $\sigma_t$ bounded by $\gamma_t$, the symplectic area equals the volume swept by this single hypersurface.

5. Significance

• Bridging Geometry and Physics: The work connects abstract symplectic geometry (prequantization) with concrete physical concepts in fluid dynamics (vortex filaments and swept volumes). It provides a "geometric phase" interpretation for the dynamics of singular vortices.
• Implicit Methods: It validates and extends the use of implicit representations (level set methods) beyond numerical computation, showing they possess deep intrinsic geometric structures (prequantum bundles) that explicit parameterizations obscure.
• Topological Insight: The construction clarifies the role of the first cohomology group $H^1(M; \mathbb{Z})$ in the quantization of shape spaces, showing how topological obstructions in the ambient manifold manifest as discrete components in the prequantum bundle.
• Generalization: The results generalize previous findings restricted to 3D or specific topological conditions to arbitrary dimensions and general closed manifolds.

In summary, the paper successfully constructs a geometric framework where the symplectic structure of codimension-2 submanifolds is realized as the curvature of a bundle, providing a clear physical interpretation of the symplectic form as an average swept volume, thereby unifying implicit representation theory with geometric quantization.