Closed Reeb orbits on contact type hypersurfaces in $T^*S^n$

This paper establishes that dynamically convex, closed contact type hypersurfaces in $T^*S^n$ enclosing the zero section possess at least $[\frac{n+1}{2}]$ closed Reeb orbits, and further guarantees the existence of at least two irrationally elliptic orbits under non-degeneracy and finiteness conditions.

The Gist

Imagine you are floating inside a giant, invisible, multi-dimensional bubble. This bubble is a special kind of mathematical space called a contact hypersurface. Inside this bubble, there is a magical wind called the Reeb flow.

If you release a tiny, invisible particle into this wind, it will start moving along a specific path. Sometimes, this path loops back on itself perfectly, forming a closed circle. These loops are called Closed Reeb Orbits.

The big question mathematicians have been asking for decades is: How many of these loops must exist?

This paper, written by Huagui Duan and Zihao Qi, answers that question for a specific type of bubble (one shaped like the space around a sphere, $T^*S^n$). Here is the story of their discovery, explained without the heavy math.

1. The Setting: The Bubble and the Wind

Think of the space $T^*S^n$ as a giant, flexible trampoline that wraps around a sphere.

• The Hypersurface: Imagine stretching a rubber sheet tightly over this trampoline. This sheet is our "bubble."
• The Wind (Reeb Flow): The sheet is made of a special material that forces any particle on it to move in a very specific, swirling way.
• The Goal: We want to count how many times a particle can run in a perfect circle and return to its starting point without getting stuck or flying off.

2. The Rule of the Game: "Dynamically Convex"

The authors impose a rule called Dynamic Convexity.

• The Analogy: Imagine the wind is so strong and organized that it never lets a particle get "lazy" or "confused." Every path the particle takes is forced to twist and turn in a very robust, energetic way.
• Why it matters: Without this rule, the wind could be chaotic, and particles might just drift away or get stuck in weird loops. With this rule, the wind is predictable enough that we can guarantee a minimum number of loops will exist.

3. The Main Discovery: The Magic Number

The paper proves a specific lower limit on how many loops you must find.

• The Formula: If your bubble is $n$-dimensional (where $n$ is the number of directions you can move), you are guaranteed to find at least $[\frac{n+1}{2}]$ distinct loops.
  • Example: If you are in a 3D space ($n=3$), you are guaranteed at least 2 loops. If you are in a 5D space ($n=5$), you are guaranteed at least 3 loops.
• The "Simple" Loops: The authors are careful to count only the "simple" loops. Think of a simple loop as a runner doing one lap. If a runner does two laps on the exact same track, that's just a "multiple" of the first loop, not a new, distinct path. The math counts the unique tracks, not the laps.

4. The "Ghost" Loops: Irrationally Elliptic

The paper goes even deeper. It asks: What do these loops look like?

They prove that if the wind is perfectly tuned (non-degenerate) and there are only a finite number of loops, then at least two of these loops are "Irrationally Elliptic."

• The Analogy: Imagine a spinning top.
  • A "rational" spin might be like a top that returns to the exact same spot after a whole number of seconds.
  • An "Irrationally Elliptic" spin is like a top that spins in a way that never quite repeats its exact orientation, even though it stays in a circle. It's a "perfectly imperfect" circle.
• Why it's cool: These specific types of loops are the most stable and "beautiful" kind of motion in this mathematical world. The authors prove that in this specific bubble, you can't have a finite set of loops without having at least two of these special, stable, irrational spins.

5. How They Solved It: The Mathematical Detective Work

How did they find these invisible loops? They didn't use a telescope; they used Symplectic Homology.

• The Analogy: Imagine the bubble is a giant, complex musical instrument. You can't see the strings, but you can listen to the notes it plays.
  • Symplectic Homology is like a super-advanced microphone that listens to the "vibrations" of the space itself.
  • The authors realized that the "music" of this space (the homology) has a specific rhythm.
  • They used a tool called the Common Index Jump Theorem. Think of this as a way to predict that if you play a note at a certain frequency, the instrument must resonate at a specific higher frequency.
  • By analyzing these resonances, they could prove: "If the space sounds like this, then there must be a loop here, and another loop there."

6. Why This Matters

Before this paper, mathematicians knew how many loops existed in simpler shapes (like a perfect sphere in flat space). But this paper tackles a more complex, twisted shape (the cotangent bundle of a sphere).

• The Conjecture: There was a long-standing guess that the number of loops on these shapes should be related to the dimension of the space in a specific way.
• The Result: This paper confirms that guess for a very important class of shapes, provided the "wind" (the contact form) is strong enough (dynamically convex).

Summary

In simple terms:

1. The Scene: A special, high-dimensional bubble with a swirling wind.
2. The Condition: The wind is strong and organized (Dynamically Convex).
3. The Guarantee: You are guaranteed to find at least half the dimension (rounded up) of unique, closed loops.
4. The Bonus: If the system is perfect, at least two of those loops are the most stable, "irrational" kind of circles imaginable.

The authors used the "music" of the space to prove that these loops cannot be avoided; they are a fundamental feature of the geometry itself.

Technical Summary

Here is a detailed technical summary of the paper "Closed Reeb Orbits on Contact Type Hypersurfaces in $T^*S^n$" by Huagui Duan and Zihao Qi.

1. Problem Statement and Context

The paper addresses the multiplicity problem for closed Reeb orbits on contact-type hypersurfaces. Specifically, it investigates the number of closed Reeb orbits on a closed contact-type hypersurface $M$ embedded in the cotangent bundle $T^*S^n$ (where $S^n$ is the $n$-dimensional sphere) that encloses the zero section.

• Background: The existence of closed Reeb orbits is a central topic in symplectic and contact geometry. While the Weinstein conjecture (existence of at least one orbit) is proven in dimension 3, higher dimensions remain challenging.
• The Conjecture: A longstanding conjecture posits that for "star-shaped" hypersurfaces in $\mathbb{R}^{2n}$ or unit cotangent bundles of $S^n$, the number of closed Reeb orbits is at least $n$ and $2\lfloor \frac{n+1}{2} \rfloor$, respectively.
• Gap: Previous results for $T^*S^n$ often required the hypersurface to be star-shaped or relied on non-degeneracy conditions. Results for general contact-type hypersurfaces (which may not be star-shaped) in higher dimensions are scarce.
• Goal: To establish lower bounds on the number of closed Reeb orbits for restricted contact-type hypersurfaces in $T^*S^n$ under the dynamically convex condition, without assuming star-shapedness or non-degeneracy initially.

2. Methodology

The authors employ a sophisticated combination of Equivariant Symplectic Homology (ESH) and Maslov-type Index Iteration Theory.

A. Equivariant Symplectic Homology (ESH)

• The authors utilize the positive equivariant symplectic homology $SH^{S^1, +}_*(W)$ of the Liouville domain $W$ bounded by $M$.
• They rely on the spectral invariants $c_w(\alpha)$ associated with homology classes $w \in SH^{S^1, +}_*(T^*S^n)$.
• Key Proposition (2.1): They use the known Betti numbers of $SH^{S^1, +}_*(T^*S^n)$ to establish a "target" homology structure. Specifically, they identify non-zero homology classes $w_i$ in specific degrees $2i + (2j-1)(n-1)$ that must be realized by closed Reeb orbits.

B. Maslov-Type Index and Iteration Theory

• The paper uses the Conley-Zehnder index (specifically the Maslov-type index $\mu$) and its iteration properties.
• Common Index Jump Theorem (Theorem 3.4): A powerful tool (from Long, Wang, et al.) is used to find integers $N$ and iteration numbers $m_i$ such that the indices of iterated orbits align precisely with the degrees of the homology classes.
• Local Equivariant Homology: The authors analyze the local homology $SH^{S^1}_*(x)$ of isolated orbits to distinguish between simple orbits and their iterations.
• Symplectically Degenerate Maximum (SDM): They utilize the concept of an SDM orbit. If an orbit is an SDM, it implies the existence of infinitely many closed orbits. The proof strategy involves showing that assuming a specific number of orbits leads to the existence of an SDM, which contradicts the assumption of finiteness (or the specific bound).

C. Normal Form Decomposition

• For the second main theorem (regarding elliptic orbits), the authors analyze the linearized Poincaré map $P$ of the orbits.
• They use the basic normal form decomposition of symplectic matrices (Theorem 3.1) to determine the structure of the eigenvalues.
• They employ a symmetric argument based on the common index jump theorem to find a second orbit with complementary index properties.

3. Key Contributions and Results

Theorem 1.1: Lower Bound under Dynamical Convexity

• Condition: $M$ is a closed contact-type hypersurface in $T^*S^n$ enclosing the zero section, bounding a simply connected Liouville domain, and the contact form $\alpha$ is dynamically convex (Maslov-type index $\ge n-1$ for all orbits).
• Result: $M$ carries at least $\lfloor \frac{n+1}{2} \rfloor$ closed Reeb orbits.
• Significance: This improves upon previous bounds (e.g., $\lfloor \frac{n+1}{2} \rfloor - 2$ in [15]) for restricted contact-type hypersurfaces. It removes the requirement for the hypersurface to be star-shaped, provided it encloses the zero section and bounds a simply connected domain.
• Proof Sketch:
  1. Establishes $\lfloor \frac{n}{2} \rfloor - 1$ orbits via standard homology arguments (similar to [15]).
  2. Uses local ESH to find an additional orbit contributing to a specific homology degree.
  3. For odd $n$, uses a precise index iteration analysis to show that if the count were lower, an orbit would be an SDM, leading to a contradiction (infinite orbits).

Theorem 1.3: Existence of Irrationally Elliptic Orbits

• Condition: $M$ is a non-degenerate restricted contact-type hypersurface with finitely many closed Reeb orbits, and $\alpha$ is dynamically convex.
• Result: There exist at least two simple irrationally elliptic closed Reeb orbits.
• Definition: An orbit is irrationally elliptic if its linearized Poincaré map is symplectically similar to a direct sum of $2 \times 2$ irrational rotations.
• Significance: This supports the conjecture that pseudo-rotations (flows with finitely many orbits) on such manifolds consist entirely of irrationally elliptic orbits. It generalizes previous results known for unit cotangent bundles under curvature pinching conditions.
• Proof Sketch:
  1. Identifies an orbit $x_{i_1}$ with a specific index $2N + n - 1$.
  2. Analyzes the splitting numbers and nullity of the Poincaré map. The index constraints force the map to be homotopic to a direct sum of irrational rotations ($R(\theta_1) \diamond \dots \diamond R(\theta_{n-1})$).
  3. Uses a symmetric application of the Common Index Jump Theorem to find a second orbit $x_{i_2}$ with a complementary index structure, proving it is also irrationally elliptic.

4. Technical Nuances and Innovations

• Simply Connected Domain: The assumption that the Liouville domain is simply connected is crucial. The authors note (Remark 1.2) that without this, the lower bound drops by one because the "extra" orbit obtained via an uniterated SDM might become an iteration of another orbit.
• Handling Non-Star-Shaped Hypersurfaces: The paper successfully extends results from star-shaped domains to general contact-type domains in $T^*S^n$ by leveraging the topological properties of the cotangent bundle and the specific structure of the ESH for $T^*S^n$.
• SDM Contradiction: The proof of Theorem 1.1 for odd $n$ is particularly elegant. It assumes the number of orbits is minimal, deduces the existence of an SDM orbit, and uses the known property that simple SDM orbits imply infinitely many closed orbits to derive a contradiction.

5. Significance

This paper represents a significant advancement in the multiplicity theory of Reeb orbits in higher dimensions.

1. Generalization: It moves beyond the restrictive "star-shaped" condition, addressing a broader class of contact-type hypersurfaces in $T^*S^n$.
2. Sharpness: The lower bound $\lfloor \frac{n+1}{2} \rfloor$ matches the number of orbits found in the fundamental examples (like the unit cotangent bundle with a round metric), suggesting the bound is sharp.
3. Ellipticity: The result on irrationally elliptic orbits provides strong evidence for the structure of pseudo-rotations in contact geometry, linking dynamical properties (finiteness of orbits) to spectral properties (ellipticity).
4. Methodological Synthesis: The work demonstrates the power of combining global homological invariants (ESH) with precise local index iteration techniques (Maslov-type index) to solve existence problems in symplectic topology.

In summary, Duan and Qi have proven that under dynamically convex conditions, the topology of $T^*S^n$ forces the existence of a specific minimum number of closed Reeb orbits, and if the system is non-degenerate and finite, these orbits must possess specific elliptic spectral properties.