Related papers: On triangular billiards

Let A be a finite dimensional associative algebra over an algebraically closed field with a simple module S of finite projective dimension. The strong no loop conjecture says that this implies Ext(S,S)=0, i.e. that the quiver of A has no…

Over the course of studying billiard dynamics, several questions were raised. One of the questions was, which surfaces satisfy the following property (which is called Veech's dichotomy): Any direction is either completely periodic or…

Building on the genus-3 reduction $C_A : w^2 = \lambda^8 + A \lambda^4 + 1$ established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture ("Conjecture B") on $1{,}072$ explicit…

We prove that every rational angled hyperbolic triangle has transcendental side lengths and that every rational angled hyperbolic quadrilateral has at least one transcendental side length. Thus, there does not exist a rational angled…

We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are $p$-divisible for infinitely many primes $p$, or…

In the class of projective billiards, which contains the usual billiards, we exhibit counter-examples to Ivrii's conjecture, which states that in any planar billiard with smooth boundary the set of periodic orbits has zero measure. The…

Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K…

We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian…

The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex version of Ivrii's…

We prove Manin's conjecture on the asymptotic behavior of the number of rational points of bounded anticanonical height for a spherical threefold with canonical singularities and two infinite families of spherical threefolds with log…

In this paper we prove a perturbative version of a remarkable Bialy-Mironov (Ann.Math:389-413(196), 2022) result. They prove non perturbative Birkhoff conjecture for centrally-symmetric convex domains, namely, a centrally-symmetric convex…

We construct a torsion-free arithmetic lattice in $\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))\times\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))$ arising from a quaternion algebra over $\mathbb{F}_2(z)$. It is the fundamental group of a square complex…

Symplectic billiards were introduced by Albers and Tabachnikov as billiards in strictly convex bounded domains of the plane with smooth boundary having a specific law of reflection. This paper proves a rigidity result for symplectic…

In an earlier paper, we established a natural connection between the Baum-Connes conjecture and noncommutative Bloch theory, viz. the spectral theory of projectively periodic elliptic operators on covering spaces. We elaborate on this…

E. Gutkin found a remarkable class of convex billiard tables in the plane which have a constant angle invariant curve. In this paper we prove that in dimension 3 only round sphere has such a property. For dimension greater than 3 it must be…

The Tijdeman-Zagier conjecture states no integer solution exists for $A^X+B^Y=C^Z$ with positive integer bases and integer exponents greater than 2 unless gcd$(A,B,C)>1$. Any set of values that satisfy the conjecture correspond to a lattice…

In this note we study caustic-free regions for convex billiard tables in the hyperbolic plane or the hemisphere. In particular, following a result by Gutkin and Katok in the Euclidean case, we estimate the size of such regions in terms of…

We give examples of smooth $\k$-unirational line-free quartic hypersurfaces over a non algebraically closed field $\k$. Unlike other methods of proving unirationality, our method does not rely on existence of linear spaces on quartics.

Brjuno and R\"ussmann proved that every irrationally indifferent fixed point of an analytic function with a Brjuno rotation number is linearizable, and Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured that this…

We prove that any sufficiently small perturbation of an isosceles triangle has a periodic billiard path. Our proof involves the analysis of certain infinite families of Fourier series that arise in connection with triangular billiards, and…