On 4-reflective complex analytic planar billiards (Q522471)

The famous Ivrii's conjecture claims that in every billiard with infinitely smooth boundary in a Euclidean space of any dimension the set of periodic orbits has measure zero. The author studies a complex analytic version of the conjecture in dimension two, with reflections from holomorphic curves. He provides a complete classification of 4-reflective complex planar analytic billiards (i.e., collections of four complex analytic curves in \(\mathbb{CP}^2\) for which the corresponding billiard has an open set of 4-periodic orbits), generalizing previous results obtained in the algebraic case in [the author, Mosc. Math. J. 14, No. 2, 239--289 (2014; Zbl 1334.37018)]. As an application, he presents a complete classification of germs of \(C^4\)-smooth real planar pseudo-billiards having an open set of 4-periodic orbits. Furthermore he gives solutions, in the two-dimensional piecewise \(C^4\)-smooth case, of Tabachnikov's commuting billiard conjecture and of the 4-reflective Plakhov's invisibility conjecture.