On the affine invariant of simple hypersemitoric systems

This paper introduces the affine invariant for hypersemitoric systems as a generalization of the Delzant polytope and semitoric polytope invariants, and demonstrates its utility by computing and visualizing it for increasingly complex examples.

The Gist

Imagine you are an explorer trying to map a mysterious, four-dimensional landscape. This landscape isn't made of mountains and rivers, but of energy and motion. In the world of physics and mathematics, this is called an integrable system.

Usually, these systems are like a perfectly organized city where everything moves in neat, predictable loops (like planets orbiting the sun). Mathematicians have already mapped out the "simplest" versions of these cities, called Toric Systems. They look like perfect, multi-sided shapes (polytopes) on a map.

Then, they discovered a slightly more complex version called Semitoric Systems. These are like cities with a few traffic jams or weird intersections (called "focus-focus" singularities). Mathematicians figured out how to map these too, using a special "polytope" that has some cuts and twists in it.

This paper is about the next level of complexity.

The authors are studying Hypersemitoric Systems. Think of these as cities with even stranger features:

1. The "Flap": Imagine a section of the map that folds over itself like a piece of paper that has been folded and glued down. It creates a "pocket" in the landscape.
2. The "Pleat" (or Swallowtail): Imagine a fold in the fabric of space that looks like the tail of a swallow bird, where paths merge and split in a complex way.
3. The "Curl": Sometimes, the paths don't just loop; they curl up like a spring or a rolled-up carpet.

The Problem: How do you draw a map of a folding, curling, pocketed world?

If you try to draw a standard map (a polytope) of these systems, the map breaks. The lines don't connect properly because the "roads" (the paths of the system) split, merge, or disappear into these weird folds.

The authors ask: "Is there a universal way to draw a map for these complex systems?"

The Solution: The "Affine Invariant"

The authors introduce a new tool called the Affine Invariant. Here is the best way to understand it:

The Analogy of the "Unfolding Origami":
Imagine the landscape is a crumpled piece of origami paper.

• The Flap/Pleat: These are the folds.
• The Map: You want to flatten this origami onto a table to draw a map.
• The Problem: If you just flatten it, the paper tears or overlaps. You can't draw a single, clean line across the fold.
• The Solution (The Cut): The authors say, "Let's make a strategic cut in the paper along the fold."
  • If you cut along the fold, you can flatten the paper out.
  • Now you can draw a map!
  • However, because you cut it, the map has a "seam." If you walk across the seam, the coordinates jump a little bit (like crossing the International Date Line).

The Affine Invariant is the collection of all these possible "flattened maps" you can get by making different cuts. It's not just one shape; it's a family of shapes that tells you everything about the system's geometry.

Why is this important?

1. It's a Fingerprint: Just as a fingerprint uniquely identifies a person, this "Affine Invariant" uniquely identifies the system. If two systems have the same invariant, they are essentially the same system, just viewed from a different angle.
2. It Handles the Weird Stuff: Previous maps broke when they hit the "flaps" or "pleats." This new method is robust enough to handle those folds by acknowledging the "cuts" needed to flatten them.
3. It Connects to Quantum Physics: The authors didn't just draw these maps theoretically. They used Quantization (a method from quantum mechanics) to simulate these systems on a computer. They looked at the "joint spectrum" (the specific energy levels the system can have) and used those dots to reconstruct the map.
   • Think of it like this: They looked at the shadows cast by the 4D object to figure out what the object actually looks like.

The Results

The paper takes three specific, complicated examples:

1. A system with a flap containing two special points.
2. A system with a flap where the special points are outside the fold.
3. A system with a flap inside another flap (like a Russian nesting doll of folds).

For each, they calculated the "Affine Invariant." They showed that by making different choices of where to "cut" the map, you get different-looking shapes (polytopes), but they are all mathematically equivalent. They proved that these shapes are the key to classifying these complex systems.

In a Nutshell

• Old Maps: Worked for simple, round systems (Toric) and systems with one type of twist (Semitoric).
• New Maps (This Paper): Work for systems with folds, pockets, and curls (Hypersemitoric).
• The Method: You have to "cut" the map at the folds to flatten it out, creating a shape with specific "jumps" or "seams."
• The Goal: To create a complete catalog (classification) of all these complex, 4D energy systems, which helps physicists and mathematicians understand the fundamental laws of motion in the universe.

The authors essentially said: "The world is more folded than we thought. Here is a new way to flatten it out so we can finally draw the map."

Technical Summary

1. Problem Statement and Context

The Context:
The paper operates within the field of symplectic geometry and the classification of Hamiltonian integrable systems.

• Toric Systems: Completely classified by Delzant (1988) via Delzant polytopes. These systems have only elliptic singularities and connected fibers.
• Semitoric Systems: A generalization allowing for focus-focus singularities (which induce monodromy). Classified by Pelayo, V˜u Ngo˛c, Palmer, and Tang via five invariants, one of which is the semitoric polytope invariant (a generalized Delzant polytope with cuts).
• The Gap: There exists a broader class of systems called Hypersemitoric systems. These are integrable systems on 4-dimensional symplectic manifolds where one integral generates an effective $S^1$-action, and singularities are either nondegenerate or parabolic (the simplest type of degenerate singularity). Unlike semitoric systems, hypersemitoric systems can have:
  • Disconnected fibers.
  • Parabolic singularities leading to structures called flaps and pleats (swallowtails).
  • No complete classification exists yet.

The Problem:
The authors aim to construct a symplectic invariant for simple hypersemitoric systems (where each fiber component contains at most one $S^1$ orbit of singular points). The challenge is that the presence of parabolic singularities and disconnected fibers prevents a direct application of the semitoric polytope construction. Specifically, the image of the momentum map is not simply connected, and standard action-angle coordinates cannot be defined globally without addressing monodromy and the topology of the fibers.

2. Methodology

The authors employ a multi-step methodology combining symplectic geometry, topological monodromy, and semiclassical quantization:

1. Structural Analysis of Singularities:

   • They analyze the local normal forms of parabolic singularities (cuspidal points).
   • They define flaps and pleats as specific topological arrangements of critical values in the momentum map image. A flap is a region bounded by parabolic values and curves of hyperbolic/elliptic-regular values, often containing elliptic-elliptic values.
   • They introduce the concept of an unfolded momentum domain ($A$), a stratified space where the momentum map lifts to a map with connected fibers, allowing for the definition of action coordinates.

2. Handling Monodromy and Cuts:

   • Similar to the semitoric case, the presence of elliptic-elliptic values inside flaps induces monodromy.
   • To define an affine invariant, the authors introduce vertical cuts in the momentum map image. They explore two distinct strategies:
     • Strategy A: One cut per flap.
     • Strategy B: One cut per elliptic-elliptic value within a flap.
   • They prove that these choices lead to different representatives of the invariant (different polytopes) but belong to the same group orbit under the action of the group of integral affine transformations.

3. Quantization and Joint Spectrum:

   • To compute explicit examples, the authors utilize geometric quantization.
   • They quantize specific systems on the Hirzebruch surface and the modified Jaynes-Cummings model.
   • They compute the joint spectrum of the quantum operators corresponding to the classical integrals $(J, H)$.
   • By analyzing the distribution of eigenvalues (the joint spectrum), they reconstruct the classical action variables and visualize the affine invariant.

4. Extension to Non-Hypersemitoric Cases:

   • The authors investigate systems with lines of curled tori (systems with degenerate non-parabolic points). They show that even if the system is not strictly hypersemitoric, an affine invariant can still be defined if the regular values form a simply connected set, utilizing fractional monodromy.

3. Key Contributions

• Definition of the Affine Invariant: The primary contribution is the rigorous definition of the affine invariant for simple hypersemitoric systems. This invariant generalizes the Delzant polytope (toric) and the semitoric polytope invariant.
• Handling Disconnected Fibers: The paper addresses the difficulty of disconnected fibers in hypersemitoric systems by working on the "unfolded" domain and defining the invariant as a collection of polytopes (representatives) associated with different choices of cuts and torus bases.
• Classification of Flaps and Pleats: The authors provide a detailed topological description of flaps and pleats, proving properties about their boundaries (e.g., that the boundary of a flap consists of parabolic values and curves of regular values).
• Group Orbit Structure: They establish that the different representatives of the affine invariant (arising from different cut choices) form an orbit under the action of a specific group of piecewise affine transformations, analogous to the semitoric case.
• Explicit Computations: The paper provides the first explicit computations and visualizations of these invariants for non-trivial examples, including systems with nested flaps and multiple focus-focus values.

4. Key Results

• Theorem 1.1: For every simple hypersemitoric system on a compact 4D symplectic manifold, there exists an affine invariant. It is defined as the image of a map constructed from action variables on the unfolded momentum domain, modulo the choice of cuts and the group of integral affine transformations.
• Theorem 1.2: For systems with standard flaps, the affine invariant can be constructed either by making one cut per flap or one cut per elliptic-elliptic value. If a flap contains more than one elliptic-elliptic value, these two approaches yield different polytopes.
• Theorem 1.3: For systems with only a pleat/swallowtail, an affine invariant can be defined without any cuts, as the regular values remain simply connected.
• Proposition 1.4: Systems exhibiting a line of curled tori (non-hypersemitoric due to non-parabolic degeneracies) also admit an affine invariant if the set of regular values is simply connected.
• Computational Examples:
  • Modified Jaynes-Cummings Model: The affine invariant is computed, showing a flap with a single elliptic-elliptic value.
  • Hirzebruch Surface Examples: The authors compute invariants for systems with:
    • Two focus-focus values inside a flap.
    • Two focus-focus values outside a flap.
    • A flap containing two elliptic-elliptic values, which is itself contained inside another flap (nested structure).
  • These results are visualized in Figures 8.6, 8.7, and 8.8, showing the "holes" in the polytopes corresponding to the flaps and the discontinuities caused by monodromy.

5. Significance

• Advancement in Classification: This work represents a significant step toward the global symplectic classification of integrable systems beyond the semitoric class. It bridges the gap between the well-understood toric/semitoric systems and the more complex world of degenerate singularities.
• New Geometric Objects: The introduction of the affine invariant for hypersemitoric systems provides a new tool for distinguishing non-isomorphic systems that share the same topological invariants but differ in their symplectic structure.
• Interplay of Classical and Quantum: The paper demonstrates a powerful synergy between classical symplectic geometry (action variables, monodromy) and quantum mechanics (joint spectra). The quantization method serves as a practical tool to compute and visualize these abstract invariants.
• Foundation for Future Work: By defining the invariant and computing examples, the authors lay the groundwork for a complete classification theorem for simple hypersemitoric systems, potentially leading to a set of invariants (including Taylor series and twisting indices) similar to the semitoric case.

In summary, the paper successfully extends the powerful machinery of polytope invariants to a new, more complex class of integrable systems, providing both theoretical definitions and concrete computational evidence of their utility.