A long-standing rule for the geometry of motion
- What it is
- A paper claims the full Arnold-Givental lower bound on intersections for a broad class of symmetric geometric systems.
- Who did it
- Shaoyun Bai, Egor Shelukhin, Yi Wang, and Guangbo Xu
- What it could mean
- Some shapes cannot be untangled by the motions the mathematics permits. This claimed theorem would make unavoidable intersections predictable in the geometry behind classical mechanics.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
A proof of the Arnold-Givental conjecture ↗See the proposed checks
Check the integral Floer-theory inputs and their hypotheses; verify the reduction to Hamiltonian Floer cohomology; examine the equivariant-localization construction, transversality requirements, and the passage to the stated mod-2 Betti lower bound.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- For a closed symplectic manifold with an anti-symplectic involution and transverse Hamiltonian image of its fixed locus, the authors claim the Arnold-Givental lower bound on the number of intersection points in full generality.
- Why this could matter
- A long-standing rule for the geometry of motion Symplectic geometry is the language of systems whose positions and momenta evolve together. This claimed theorem says certain symmetric shapes cannot be moved through phase space without a minimum number of intersections—a deep rigidity rule for the geometry underlying mechanics.
- If it holds up
- Foundational: it would complete a major rigidity principle in symplectic topology and sharpen the geometric toolkit used to understand Hamiltonian motion, without implying an immediate engineering breakthrough.
- If it does not
- A failure would locate a gap in the new localization or Floer-theory machinery, preserve only established partial cases, and prevent the full-generality claim from hardening into lore.
- Impact horizon
- Foundational · Symplectic geometry · Mathematical physics · Dynamical systems
- Version
- v1, submitted 2026-08-27 15:24:51 UTC; arXiv comment: 69 pages, “Comments welcome!”.
- Why we tracked it
- The claim removes the abstract's stated generality restriction and depends on a newly described localization construction in equivariant Floer theory.
- Highest-risk dependency
- The claimed full-generality extension depends on analytic and orientation/transversality machinery that cannot be inferred from the abstract or a finite calculation.
- Available artifacts
- No formal-proof, code, or certificate repository was linked on the primary record at retrieval.
- Current boundary
- Intake record only; examination not started.