Bolotin's Polynomial Integrability Conjecture

• Bolotin's Polynomial Integrability Conjecture is a precise classification asserting that polynomially integrable billiards must have boundaries that are conic sections, typically ellipses in the planar case.
• The theory extends to constant-curvature surfaces, where integrability is characterized by boundaries formed from unions of confocal conical arcs and admissible geodesic segments.
• Key algebraic methods include the use of projective duality, Hessian identities, and Puiseux analysis to demonstrate that non-linear irreducible components of the dual boundary curve are necessarily conics.

Searching arXiv for the cited papers and closely related work to ground the article. arXiv search query: Bolotin polynomial integrability conjecture billiards constant curvature (Glutsyuk, 2017) Bolotin’s Polynomial Integrability Conjecture, in its billiard-theoretic form, is the algebraic version of the classical Birkhoff Conjecture. It asserts that if a convex bounded planar billiard with smooth boundary is polynomially integrable, then its boundary is a conic; for bounded convex planar billiards this means an ellipse. In "On polynomially integrable Birkhoff billiards on surfaces of constant curvature" (Glutsyuk, 2017), this conjecture is resolved and extended from the Euclidean plane to the sphere and the Lobachevsky plane: polynomial integrability is characterized by boundaries that are unions of confocal conical arcs and certain admissible geodesic segments.

1. Conjecture and polynomial integrability

The basic notion is the following. Let $\Sigma$ be a two-dimensional surface with a Riemannian metric, and let $\Omega\subset \Sigma$ be a domain with piecewise smooth boundary. The billiard in $\Omega$ is said to be polynomially integrable if its flow has a first integral on $T\Sigma|_\Omega$ that is a polynomial in the velocity $P$ and whose restriction to the hypersurface $\{|P|=1\}$ is non-constant (Glutsyuk, 2017).

In the planar case, Bolotin’s Polynomial Birkhoff Conjecture is the statement that a convex bounded planar billiard with smooth boundary is polynomially integrable only when its boundary is a conic. For bounded planar billiards with connected $C^2$ boundary, the theorem proved in (Glutsyuk, 2017) yields the sharper conclusion that every such billiard is an ellipse. The paper formulates the constant-curvature version as: if a billiard in $\Sigma$ with a $C^2$-smooth connected boundary is polynomially integrable and the boundary is not contained in a geodesic, then the boundary is a conic, or a connected component of a conic.

This polynomial notion is closely related to analytic integrability. The paper notes that analytic integrability implies polynomial integrability, since each homogeneous part in $P$ of an analytic integral is itself a first integral. It also recalls Bolotin’s result that on simply connected complete surfaces of constant curvature with smooth connected boundary, polynomial integrability is equivalent to the existence of a polynomial integral near the unit tangent bundle to the boundary; moreover, a polynomial-in-$\Omega\subset \Sigma$0 integral is globally analytic on $\Omega\subset \Sigma$1 (Glutsyuk, 2017).

The significance of the conjecture is its role as a rigid algebraic analogue of the classical Birkhoff Conjecture. The latter remains open in full generality, whereas the polynomial version admits a complete classification in constant curvature.

2. Constant-curvature formulation and confocality

The global classification in (Glutsyuk, 2017) is stated for simply connected complete two-dimensional surfaces of constant curvature realized in $\Omega\subset \Sigma$2 with a quadratic form $\Omega\subset \Sigma$3.

Surface $\Omega\subset \Sigma$4	Model in $\Omega\subset \Sigma$5	Matrix $\Omega\subset \Sigma$6
Euclidean plane	$\Omega\subset \Sigma$7	$\Omega\subset \Sigma$8
Unit sphere	$\Omega\subset \Sigma$9	$\Omega$0
Hyperbolic plane	$\Omega$1	$\Omega$2

The metric on $\Omega$3 is induced by $\Omega$4 on tangent planes. Geodesics are intersections of $\Omega$5 with two-dimensional vector subspaces of $\Omega$6, and conics on $\Omega$7 are intersections with quadrics $\Omega$8, where $\Omega$9 is a real symmetric $T\Sigma|_\Omega$0 matrix (Glutsyuk, 2017).

The organizing structure for the classification is a confocal pencil. Given a real symmetric matrix $T\Sigma|_\Omega$1 not proportional to $T\Sigma|_\Omega$2, one considers

$T\Sigma|_\Omega$3

At singular values of $T\Sigma|_\Omega$4, the definition is modified using the kernel of $T\Sigma|_\Omega$5, producing geodesics $T\Sigma|_\Omega$6 or $T\Sigma|_\Omega$7 when the kernel has dimension one or two. The associated admissible geodesics are precisely those singular members, together with additional geodesics in the special tensor case

$T\Sigma|_\Omega$8

described explicitly in the theorem statement (Glutsyuk, 2017).

A billiard with countably piecewise smooth boundary is called countably confocal when its regular boundary consists of arcs of conics from one confocal pencil, possibly together with segments of admissible geodesics. The paper’s main global theorem states that if a billiard in $T\Sigma|_\Omega$9 with countably piecewise $P$0-smooth boundary is polynomially integrable and its regular boundary contains at least one non-geodesic arc, then the billiard is countably confocal (Glutsyuk, 2017).

The converse is due to Bolotin. Every countably confocal billiard is polynomially integrable: it has a non-trivial first integral that is linear, quadratic, or a degree $P$1 polynomial in the velocity components, nonconstant on the unit velocity hypersurface. If all geodesic pieces lie in the singular members $P$2 or $P$3, the integral can be chosen of degree at most $P$4; the irreducible degree-$P$5 case occurs exactly for confocal pencils of the special types described in Definition 1.20, when the boundary contains a segment of the corresponding admissible geodesic (Glutsyuk, 2017).

3. Duality, momentum variables, and the algebraic reduction

A central step in the proof is to pass from the boundary curve to its projective dual in momentum variables. Bolotin’s theorem states that for every polynomially integrable billiard with countably piecewise $P$6-smooth boundary, a polynomial integral non-constant on $P$7 can be chosen as a homogeneous polynomial $P$8 of even degree in the components of the moment vector

$P$9

and every $\{|P|=1\}$0-smooth boundary arc with non-zero geodesic curvature lies in an algebraic curve (Glutsyuk, 2017).

The projective setting uses the tautological projection $\{|P|=1\}$1 and the polarity induced by the quadratic form $\{|P|=1\}$2. The polar of a point $\{|P|=1\}$3 is the line

$\{|P|=1\}$4

For a $\{|P|=1\}$5-smooth curve $\{|P|=1\}$6 with nonzero geodesic curvature, the $\{|P|=1\}$7-dual curve $\{|P|=1\}$8 is obtained by projecting $\{|P|=1\}$9, taking the tangent lines to $C^2$0, and sending each tangent line to its $C^2$1-polar point. In the momentum-plane language, $C^2$2 consists of the points dual to the tangent lines of $C^2$3 (Glutsyuk, 2017).

The relevant projective quadric is the absolute conic

$C^2$4

For $C^2$5 of even degree $C^2$6, Bialy and Mironov consider the rational function

$C^2$7

They show that for each point $C^2$8 on the dual curve $C^2$9, the restriction of $\Sigma$0 to the tangent line $\Sigma$1 is invariant under the unique projective involution fixing $\Sigma$2 that preserves each line through $\Sigma$3 and interchanges its intersection points with $\Sigma$4. This is the $\Sigma$5-angular symmetry centered at $\Sigma$6 (Glutsyuk, 2017).

The reduction obtained by Bialy and Mironov is decisive. The complex Zariski closure of $\Sigma$7 is algebraic; each non-linear irreducible component $\Sigma$8 generates a rationally integrable $\Sigma$9-angular billiard; and all singular points and inflection points of $C^2$0, if any, lie in $C^2$1 (Glutsyuk, 2017). The billiard problem is therefore transformed into a rigid algebraic problem about projective curves with constrained local geometry relative to the absolute conic.

4. The conic conclusion and resolution of the conjecture

The new ingredient supplied in (Glutsyuk, 2017) is the algebraic theorem that completes the reduction. It states: let $C^2$2 be a conic, either smooth or a union of two lines. Every irreducible algebraic curve $C^2$3 different from a line and from $C^2$4 that generates a rationally integrable $C^2$5-angular billiard is a conic.

This is the conic conclusion. It implies that every non-linear irreducible component of the dual curve is a conic, so the original boundary arc is itself a conic arc. Bolotin’s earlier theorem then forces the entire billiard to be confocal whenever the boundary contains a non-geodesic conical arc. Combining these results yields the complete constant-curvature classification: polynomial integrability holds exactly for billiards whose boundaries are unions of confocal conical arcs and admissible geodesic segments (Glutsyuk, 2017).

The proof of the conic conclusion combines local and global algebraic geometry. Bialy and Mironov’s Hessian identity is written, for a defining equation $C^2$6 of $C^2$7, in the form

$C^2$8

where $C^2$9 in an affine chart and

$P$0

The paper analyzes this identity near points of $P$1 using Puiseux asymptotics. It proves that branches transverse to $P$2 at regular points are regular and quadratic, branches tangent to $P$3 are quadratic, and in the union-of-two-lines case branches transversal to both lines are quadratic (Glutsyuk, 2017).

These local constraints are then combined with global intersection-theoretic relations, including the Hessian intersection formula

$P$4

together with Plücker-type relations and Hironaka’s genus bound

$P$5

The resulting inequalities force the degree $P$6 of $P$7 to be $P$8. Hence $P$9 is a conic (Glutsyuk, 2017).

In the planar bounded case, the corollary is exactly the desired resolution: every bounded polynomially integrable planar billiard with a $\Omega\subset \Sigma$00-smooth connected boundary is an ellipse.

5. Examples, complexification, and relation to the classical Birkhoff problem

The basic model example is the planar disk billiard. In the disk centered at the origin in $\Omega\subset \Sigma$01, the quantity

$\Omega\subset \Sigma$02

is linear in $\Omega\subset \Sigma$03 and is a first integral under elastic reflections. More generally, for any conic boundary on $\Omega\subset \Sigma$04, Bolotin’s proposition yields a quadratic first integral in $\Omega\subset \Sigma$05; and in the special admissible-geodesic configurations associated with Definition 1.20, the minimal degree may be $\Omega\subset \Sigma$06 (Glutsyuk, 2017).

The confocal description is explicit on $\Omega\subset \Sigma$07 and $\Omega\subset \Sigma$08. On the sphere, conics are intersections with quadratic cones $\Omega\subset \Sigma$09, confocal families are given by $\Omega\subset \Sigma$10, and admissible geodesics arise at singular values of $\Omega\subset \Sigma$11 through $\Omega\subset \Sigma$12 and, in the special tensor case, through the geodesics $\Omega\subset \Sigma$13 and $\Omega\subset \Sigma$14 when nonempty. The hyperbolic case is analogous with $\Omega\subset \Sigma$15 (Glutsyuk, 2017).

The paper also develops a complex version. In complexified $\Omega\subset \Sigma$16 with $\Omega\subset \Sigma$17 and $\Omega\subset \Sigma$18 equal to either $\Omega\subset \Sigma$19 or $\Omega\subset \Sigma$20, a complex billiard is a collection of holomorphic curves $\Omega\subset \Sigma$21 that are not isotropic lines. Polynomial integrability is defined by a polynomial $\Omega\subset \Sigma$22 in $\Omega\subset \Sigma$23 satisfying invariance under geodesic translation and under the nontrivial $\Omega\subset \Sigma$24-orthogonal involution fixing the tangent line at reflection points. The main complex theorem states that every polynomially integrable complex billiard containing at least one non-geodesic curve is confocal, with a homogeneous integral $\Omega\subset \Sigma$25 of degree at most $\Omega\subset \Sigma$26, quadratic in $\Omega\subset \Sigma$27 except in the special admissible-geodesic cases where the minimal degree is $\Omega\subset \Sigma$28 (Glutsyuk, 2017).

The conceptual relation to the classical Birkhoff Conjecture is precise. The classical conjecture says that among strictly convex bounded planar billiards with smooth boundary, the only caustic-integrable ones are ellipses; this remains open in full generality. The polynomial assumption is much stronger and leads to an algebraic classification through duality, angular symmetry, and projective algebraic geometry. A plausible implication is that polynomial integrability isolates exactly the rigid, confocal examples that classical theory regards as model integrable billiards.

6. Related uses of the term and broader mathematical context

The expression “Bolotin’s Polynomial Integrability Conjecture” also appears in convex geometry, where it refers to a different problem: polynomiality of parallel section functions of convex bodies. For a convex body $\Omega\subset \Sigma$29, one considers

$\Omega\subset \Sigma$30

In that setting, the conjecture asserts that if $\Omega\subset \Sigma$31 is even there are no polynomially integrable convex bodies, while if $\Omega\subset \Sigma$32 is odd the only ones are ellipsoids; centered ellipsoids indeed have polynomial parallel section functions of degree $\Omega\subset \Sigma$33. The paper "An extension of polynomial integrability to dual quermassintegrals" (Yaskin, 2018) states that this conjecture has been resolved under a $\Omega\subset \Sigma$34 boundary assumption by Koldobsky, Merkurjev, and Yaskin, and then extends the characterization to dual quermassintegrals without a smoothness assumption: for odd index $\Omega\subset \Sigma$35 no convex body has a polynomial $\Omega\subset \Sigma$36th dual parallel section function, and for even $\Omega\subset \Sigma$37 the only such bodies are ellipsoids.

A further, distinct usage appears in the literature on planar polynomial vector fields. "Differential Galois Theory and non-Integrability of Planar Polynomial Vector Fields" (Acosta-Humánez et al., 2017) does not explicitly cite Bolotin, but it discusses a commonly accepted formulation according to which, for a generic planar polynomial differential system of degree $\Omega\subset \Sigma$38, there is no nonconstant polynomial first integral, equivalently the polynomially integrable locus is thin in parameter space. The paper develops differential-Galois obstructions to rational, hence polynomial, first integrals via variational equations, Liouville’s theorem, and the Risch equation, and presents parameter families where non-abelian Galois groups force non-integrability (Acosta-Humánez et al., 2017).

These usages are mathematically different but structurally related. In each case, polynomial integrability imposes strong algebraic constraints and leads either to a rigid classification or to generic nonexistence results. For billiards, the classification is complete on surfaces of constant curvature: the polynomially integrable examples are exactly the confocal ones, and in the bounded planar smooth connected case they are precisely ellipses (Glutsyuk, 2017).