[Paper Review] On the lower bounds for the number of periodic billiard trajectories in manifolds embedded in Euclidean space

Fedor Duzhin|ArXiv.org|Dec 18, 2001

Mathematical Dynamics and Fractals2 references3 citations

TL;DR

This paper establishes lower bounds for the number of periodic billiard trajectories in smooth, closed manifolds embedded in Euclidean space using Morse theory and Smith theory. It proves that for a 3-periodic trajectory, the minimal number of such orbits is at least (B³ − 3B² + 2B)/6, where B is the sum of Betti numbers modulo 3 of the manifold, providing a general estimate applicable to any closed manifold via homological algebra and group action techniques.

ABSTRACT

In this paper the problem of estimating the number of periodical billiard trajectories is considered. The main result is the theorem on Morse theory for periodical billiard trajectories.

Motivation & Objective

• To establish a general lower bound for the number of 3-periodic billiard trajectories in any closed manifold embedded in Euclidean space.
• To extend existing results on periodic billiard trajectories—previously known for specific cases like spheres or 2-periodic orbits—into a general topological framework.
• To apply Morse theory and Smith theory to the configuration space of periodic polygons modulo the dihedral group action, enabling homological estimates of critical points.
• To derive a quantitative estimate based on Betti numbers modulo 3, generalizing prior results for p=2 and p≥3 in spheres.

Proposed method

• Uses Morse theory on the length functional f defined on the p-fold product of the manifold modulo the dihedral group Dp, with singular set Δ where points coincide.
• Constructs a modified function g that is smooth outside Δ and has the same critical points as f, enabling application of Morse inequalities.
• Applies Smith theory to the Z3-action on M×M×M to estimate relative homology groups Hq(X, Δ; Z3), where X = (M×M×M)/Z3.
• Employs exact sequences of homology groups and dimension counting to derive inequalities between Betti numbers and relative homology dimensions.
• Reduces the problem to computing dim Hq(X, Δ; Z3) via the triple exact sequence (X, Δ, Δ(0)) and uses the fact that ker i* = 0 for the inclusion i: M → M×M.
• Uses the inequality ∑c_q ≥ ∑b_q − ∑a_q from an exact sequence to bound the sum of relative homology dimensions.

Experimental results

Research questions

• RQ1 What is the minimal number of 3-periodic billiard trajectories in a closed manifold M embedded in Euclidean space, given its topological invariants?
• RQ2 How can Morse theory and group actions be combined to estimate the number of critical points of the length functional on polygonal paths with reflection conditions?
• RQ3 Can a general lower bound for 3-periodic trajectories be derived that depends only on Betti numbers of M modulo 3?
• RQ4 How do the relative homology groups Hq(X, Δ; Z3) relate to the topology of M and the dynamics of billiard trajectories?
• RQ5 What is the role of the Smith theory estimate in refining lower bounds for periodic billiard orbits in symmetric configuration spaces?

Key findings

• The minimal number of 3-periodic billiard trajectories in a closed manifold M satisfies BT₃(M) ≥ (B³ − 3B² + 2B)/6, where B is the sum of Betti numbers of M modulo 3.
• The estimate is derived via Smith theory applied to the Z3-action on M×M×M, yielding a lower bound on dim Hq(X, Δ; Z3) for the quotient space X = (M×M×M)/Z3.
• The relative homology group Hq(Δ, Δ(0); Z3) has dimension B² − B, where Δ(0) is the set of diagonally embedded triples (x,x,x).
• The triple exact sequence (X, Δ, Δ(0)) allows bounding ∑dim Hq(X, Δ; Z3) from below by ∑dim Hq(X, Δ(0); Z3) − (B² − B).
• The final bound is obtained by combining the Smith theory estimate with the inequality from the exact sequence, leading to the stated polynomial lower bound in B.
• The result generalizes previous estimates for p=2 and p≥3 in spheres, providing a universal topological lower bound for 3-periodic trajectories.