On exotic rationally integrable dual billiards I. Complex geometry and type of dynamics.

2026.

Glutsyuk A.

A planar dual billiard is a planar curve γ equipped with a family (σP)|P∈γ of projective involutions of the projective lines LP tangent to γ at P that fix P. A dual billiard is called rationally integrable, if there exists a rational function R(x,y) of two variables (called first integral) whose restriction to each tangent line LP is σP-invariant. In the previous author's paper it was shown that rationally integrable dual billiards exist only on conics punctured at k points, 0≤k≤4. Their classification given there includes standard examples with quadratic integrals, defined by conical pencils, and an infinite family of exotic examples with minimal degree of integrals being any even number greater than two. In the present paper we study a question stated by Dmitry Treschev on dynamics and conservation laws in the exotic examples. We study the dynamics acting on the two-dimensional phase space: the complex algebraic surface consisting of pairs (Q,P), where Q∈CP2∖γ, P∈γ and the line QP is tangent to γ at P. We show that the phase space is fibered by invariant algebraic curves along which Q lies in a level curve of the integral of the dual billiard. For each example we find the type of a generic level curve of the integral and of the corresponding fiber. We show that a generic level curve is rational in most of examples and elliptic in two examples. We present formulas for an invariant area form on the phase space and for invariant holomorphic differentials on invariant curves. This yields a formula for holomorphic differentials on the elliplic level curves of the integral.

Keywords: критическая точка, critical point, rational integral, рациональный интеграл, birational automorphism, бирациональный автоморфизм, двойственный бильярд, dual billiard, Newton diagram, диаграмма Ньютона

Publication based on the results of: Symmetry, Information, Chaos (2025)