Non-integrability of cylindric billiards and transitive Lie group actions

Abstract

A conjecture is formulated and discussed which provides a necessary and sufficient condition for the ergodicity of cylindric billiards (this conjecture improves a previous one of the second author). This condition requires that the action of a Lie-subgroup ${\cal G}$ of the orthogonal group $SO(d)$ ($d$ being the dimension of the billiard in question) be transitive on the unit sphere $S^{d-1}$. If $C_1, \dots, C_k$ are the cylindric scatterers of the billiard, then ${\cal G}$ is generated by the embedded Lie subgroups ${\cal G}_i$ of $SO(d)$, where ${\cal G}_i$ consists of all transformations $g\in SO(d)$ of ${\Bbb R}^d$ that leave the points of the generator subspace of $C_i$ fixed ($1 \le i \le k$). In this paper we can prove the necessity of our conjecture and we also formulate some notions related to transitivity. For hard ball systems, we can also show that the transitivity holds in general: for an arbitrary number $N\ge 2$ of balls, arbitrary masses $m_1, \dots, m_N$ and in arbitrary dimension $\nu \ge 2$. This result implies that our conjecture is stronger than the Boltzmann–Sinai ergodic hypothesis for hard ball systems. We also note a somewhat surprising characterization of the positive subspace of the second fundamental form for the evolution of a special orthogonal manifold (wavefront), namely for the parallel beam of light. Thus we obtain a new characterization of sufficiency of an orbit segment.