Outer symplectic billiards

TL;DR

This paper introduces the concept of outer symplectic billiards, a generalization of the classical billiard map, and investigates their existence, properties, and integrability in symplectic geometry.

Contribution

It establishes the existence of periodic orbits, provides examples with no 4-periodic orbits, and proves integrability for certain Lagrangian submanifolds.

Findings

Existence of odd-periodic orbits using variational methods

Examples of curves with no 4-periodic orbits

Outer symplectic billiard correspondence is integrable for Lagrangian submanifolds with cubic generating functions

Abstract

A submanifold of the standard symplectic space determines a partially defined, multi-valued symplectic map, the outer symplectic billiard correspondence. Two points are in this correspondence if the midpoint of the segment connecting them is on the submanifold, and this segment is symplectically orthogonal to the tangent space of the submanifold at its midpoint. This is a far-reaching generalization of the outer billiard map in the plane; the particular cases, when the submanifold is a closed convex hypersurface or a Lagrangian submanifold, were considered earlier. Using a variational approach, we establish the existence of odd-periodic orbits of the outer symplectic billiard correspondence. On the other hand, we give examples of curves in 4-space which do not admit 4-periodic orbits at all. If the submanifold satisfies certain conditions (which are always satisfied if its dimension is at least half of the ambient dimension) we prove the existence of two $n$-reflection orbits connecting two transverse affine Lagrangian subspaces for every $n\geq1$. In addition, for every immersed closed submanifold, the number of single outer symplectic billiard ``shots" from one affine Lagrangian subspace to another is no less than the number of critical points of a smooth function on this submanifold. We study, in detail, the behavior of this correspondence when the submanifold is a curve or a Lagrangian submanifold. For Lagrangian submanifolds in 4-dimensional space we present a criterion for the outer symplectic billiard correspondence to be an actual map. We show, in every dimension, that if a Lagrangian submanifold has a cubic generating function, then the outer symplectic billiard correspondence is completely integrable in the Liouville sense.