Symplectic circle actions on manifolds with contact type boundary
Pith reviewed 2026-05-24 11:51 UTC · model grok-4.3
The pith
Symplectic circle actions on manifolds with convex contact type boundary are always Hamiltonian.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On a symplectic manifold with convex contact type boundary, every symplectic circle action is Hamiltonian. The boundary is connected. After cylindrical ends are attached, each level set of the Hamiltonian is either empty or connected. These conclusions follow because the contact type boundary condition restores the applicability of Morse-Bott methods that are standard on closed manifolds.
What carries the argument
The convex contact type boundary condition, which makes the Liouville vector field point outward and thereby permits the extension of the circle action while preserving the Morse-Bott analysis.
If this is right
- Every symplectic group action on such a manifold is Hamiltonian.
- The boundary of the manifold is connected.
- After cylindrical ends are attached, every level set of the Hamiltonian is empty or connected.
- Classical results for closed Hamiltonian G-manifolds extend to the contact type boundary setting.
Where Pith is reading between the lines
- The same boundary condition may allow similar conclusions for actions of higher-dimensional Lie groups.
- The connectedness statements could be useful when studying symplectic fillings or exact cobordisms that terminate at contact type boundaries.
- The method of attaching cylindrical ends might produce a compactification in which standard equivariant cohomology techniques apply directly.
Load-bearing premise
The boundary must be of convex contact type.
What would settle it
A symplectic manifold with convex contact type boundary that admits a non-Hamiltonian symplectic circle action, or whose boundary is disconnected.
read the original abstract
Many of the existing results for closed Hamiltonian G-manifolds are based on the analysis of the corresponding Hamiltonian functions using Morse-Bott techniques. In general such methods fail for non-compact manifolds or for manifolds with boundary. In this article, we consider circle actions only on symplectic manifolds that have (convex) contact type boundary. In this situation we show that many of the key ideas of Morse-Bott theory still hold, allowing us to generalize several results from the closed setting. Among these, we show that in our situation any symplectic group action is always Hamiltonian, we show several results about the topology of the symplectic manifold and in particular about the connectedness of its boundary. We also show that after attaching cylindrical ends, a level set of the Hamiltonian of a circle action is either empty or connected. We concentrate mostly on circle actions, but we believe that with our methods many of the classical results can be generalized from closed symplectic manifolds to symplectic manifolds with contact type boundary.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that any symplectic circle action on a symplectic manifold with convex contact type boundary is necessarily Hamiltonian. It adapts Morse-Bott techniques to this non-closed setting by using the Liouville vector field to control behavior near the boundary and ensure the relevant 1-form remains exact. Topological consequences include results on the connectedness of the boundary and, after attaching cylindrical ends, the connectedness (or emptiness) of Hamiltonian level sets. The work focuses primarily on circle actions while suggesting broader applicability to other groups.
Significance. If the central claims hold, the paper provides a concrete extension of classical results on closed Hamiltonian G-manifolds to the setting of manifolds with convex contact type boundary. This is useful because many applications in symplectic and contact geometry involve manifolds with boundary, and the Liouville-vector-field mechanism replaces the compactness arguments that fail in the non-closed case. The explicit boundary condition and the resulting connectedness statements are falsifiable and potentially applicable to fillings and cobordisms.
minor comments (2)
- [Abstract / Introduction] The abstract states both that 'any symplectic group action is always Hamiltonian' and that the authors 'concentrate mostly on circle actions'; a brief clarifying sentence in the introduction on the precise scope for general compact groups versus S^1 would improve readability.
- Notation for the Liouville vector field and the contact form on the boundary should be introduced once and used consistently; occasional redefinition of symbols across sections can be avoided by a short notation table or consistent global definitions.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, the clear summary of our results, and the recommendation for minor revision. We appreciate the recognition of the significance of extending Hamiltonian results to the convex contact-type boundary setting via the Liouville vector field. No specific major comments appear in the report, so we provide no point-by-point responses below and will address any minor editorial or presentational suggestions in the revised version.
Circularity Check
No circularity; derivation adapts standard contact-type boundary techniques to Morse-Bott ideas without reduction to inputs or self-citations.
full rationale
The paper's central results generalize closed-manifold Morse-Bott arguments to convex contact-type boundaries by invoking the Liouville vector field to restore exactness and compactness control at the boundary. This mechanism is an external geometric fact, not defined in terms of the target statements about Hamiltonian actions or level-set connectedness. No equations reduce a claimed prediction to a fitted parameter, no load-bearing uniqueness theorem is imported from the authors' prior work, and the abstract explicitly flags the boundary condition as the enabling hypothesis rather than deriving it internally. The derivation chain therefore remains self-contained against external symplectic geometry axioms.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and definitions of symplectic manifolds, Hamiltonian actions, and convex contact-type boundaries
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.