On polynomially integrable Birkhoff billiards on surfaces of constant curvature

DOI10.4171/JEMS/1027MaRDI QIDQ2659451zbMATH OpenOpenAlexFDO

Authors Alexey A. Glutsyuk

Publication date 26 March 2021

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.04030

zbMATH Keywords

algebraic Birkhoff conjecturebilliardgeodesic billiard flowpolynomial integralsingularities of algebraic curvessurface of constant curvature

Mathematics Subject Classification ID

Singularities of curves, local rings (14H20) Dynamical systems with singularities (billiards, etc.) (37C83) Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests (37J35) Relations of finite-dimensional Hamiltonian and Lagrangian systems with topology, geometry and differential geometry (symplectic geometry, Poisson geometry, etc.) (37J39) Minimal surfaces in differential geometry, surfaces with prescribed mean curvature (53A10)

Abstract: We present a solution of the algebraic version of Birkhoff Conjecture on integrable billiards. Namely we show that every polynomially integrable real bounded convex planar billiard with smooth boundary is an ellipse. We extend this result to billiards with piecewise-smooth and not necessarily convex boundary on arbitrary two-dimensional surface of constant curvature: plane, sphere, Lobachevsky (hyperbolic) plane; each of them being modeled as a plane or a (pseudo-) sphere in $mathbb{R}^3$ equipped with appropriate quadratic form. Namely, we show that a billiard is polynomially integrable, if and only if its boundary is a union of confocal conical arcs and appropriate geodesic segments. We also present a complexification of these results. These are joint results of Mikhail Bialy, Andrey Mironov and the author. The proof is split into two parts. The first part is given by Bialy and Mironov in their two joint papers. They considered the tautological projection of the boundary to $mathbb{RP}^2$ and studied its orthogonal-polar dual curve, which is piecewise algebraic, by S.V.Bolotin's theorem. By their arguments and another Bolotin's theorem, it suffices to show that each non-linear complex irreducible component of the dual curve is a conic. They have proved that all its singularities and inflection points (if any) lie in the projectivized zero locus of the corresponding quadratic form on $mathbb{C}^3$. The present paper provides the second part of the proof: we show that each above irreducible component is a conic and finish the solution of the Algebraic Birkhoff Conjecture in constant curvature.

Recommendations

• On two-dimensional polynomially integrable billiards on surfaces of constant curvature
• Algebraic Birkhoff conjecture for billiards on sphere and hyperbolic plane
• scientific article; zbMATH DE number 1163261
• A survey on polynomial in momenta integrals for billiard problems
• Integrable billiards on surfaces of constant curvature

Cites work

• A locally integrable multi-dimensional billiard system
• A survey on polynomial in momenta integrals for billiard problems
• Algebraic Birkhoff conjecture for billiards on sphere and hyperbolic plane
• Algebraic non-integrability of magnetic billiards
• An integrable deformation of an ellipse of small eccentricity is an ellipse
• Angular billiard and algebraic Birkhoff conjecture
• Bicentennial of the great Poncelet theorem (1813--2013): current advances
• Billiard map and rigid rotation
• Caustics and evolutes for convex planar domains
• Confocal surfaces and integrable billiards on the sphere and in the Lobachevsky space
• Convex billiards and a theorem by E. Hopf
• Entropy of billiard maps and a dynamical version of the Birkhoff conjecture
• First integrals of systems with gyroscopic forces
• Hopf rigidity for convex billiards on the hemisphere and hyperbolic plane
• scientific article; zbMATH DE number 47098 (Why is no real title available?)
• scientific article; zbMATH DE number 3634395 (Why is no real title available?)
• scientific article; zbMATH DE number 1163261 (Why is no real title available?)
• scientific article; zbMATH DE number 3405122 (Why is no real title available?)
• scientific article; zbMATH DE number 2229974 (Why is no real title available?)
• Integrable billiards
• Integrable billiards and quadrics
• Integrable billiards on surfaces of constant curvature
• Integrable Birkhoff billiards
• Integrable discrete-time systems and difference operators
• Introduction to Singularities and Deformations
• Invariants of singular points of algebraic curves
• On a conjugacy problem in billiard dynamics
• On algebraically integrable outer billiards
• On fourth-degree polynomial integrals of the Birkhoff billiard
• On integrable systems with elastic reflections
• On polynomially integrable planar outer billiards and curves with symmetry property
• On quadrilateral orbits in complex algebraic planar billiards
• On the arithmetic genera and the effective genera of algebraic curves
• On the local Birkhoff conjecture for convex billiards
• On totally integrable magnetic billiards on constant curvature surface
• On two-dimensional polynomially integrable billiards on surfaces of constant curvature
• Periods of pseudo-integrable billiards
• Pseudo-integrable billiards and arithmetic dynamics
• Pseudo-integrable billiards and double reflection nets
• Seules les quadriques admettent des caustiques
• Singular Points of Complex Hypersurfaces. (AM-61)
• The billiard ball problem on a table with a convex boundary - An illustrative dynamical problem. I. The invariant integral

Cited in

(35)

• Integrable billiards on surfaces of constant curvature
• On polynomially integrable planar outer billiards and curves with symmetry property
• On two-dimensional polynomially integrable billiards on surfaces of constant curvature
• Topology of Liouville foliations of integrable billiards on table-complexes
• On curves with the Poritsky property
• The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables
• Algebraic Birkhoff conjecture for billiards on sphere and hyperbolic plane
• On odd-periodic orbits in complex planar billiards
• A survey on polynomial in momenta integrals for billiard problems
• On the integrability of Birkhoff billiards
• Open problems, questions and challenges in finite- dimensional integrable systems
• Inverse problems and rigidity questions in billiard dynamics
• Integrable geodesic flows on orientable two-dimensional surfaces and topological billiards
• On fourth-degree polynomial integrals of the Birkhoff billiard
• Resonance of ellipsoidal billiard trajectories and extremal rational functions
• On differential equations of integrable billiard tables
• Projective integrable mechanical billiards
• On the fragility of periodic tori for families of symplectic twist maps
• Conformal transformations and integrable mechanical billiards
• On rationally integrable planar dual multibilliards and piecewise smooth projective billiards
• Billiards and integrable systems
• Billiard with slipping at any rational angle
• Research of the structure of the Liouville foliation of an integrable elliptical billiard with polynomial potential
• On curves with the Poritsky property
• Topology of isoenergy surfaces of billiard books glued of annuli
• The dynamical degree of billiards in an algebraic curve
• Algebraic billiards in the Fermat hyperbola
• Lecture notes on Birkhoff billiards: dynamics, integrability and spectral rigidity
• Billiard trajectories inside cones
• Is every triangle a trajectory of an elliptical billiard?
• Deformational rigidity of integrable metrics on the torus
• Effective rigidity away from the boundary for centrally symmetric billiards
• Birkhoff billiards inside cones
• On rationally integrable planar dual and projective billiards
• Confocal surfaces and integrable billiards on the sphere and in the Lobachevsky space

This page was built for publication: On polynomially integrable Birkhoff billiards on surfaces of constant curvature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2659451)