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 49 pages, 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.

On parabolic external maps

Circumcenter extension maps for non-positively curved spaces

Transversality in the Setting of Hyperbolic and Parabolic Maps

Lyapunov optimizing measures and periodic measures for $C^2$ expanding maps

Existence of Absolutely Continuous Invariant Measures for C1 Expanding Circle Maps

Unbounded Regime for Circle Maps with a Flat Interval

The Exponential Map of the Group of Area-Preserving Diffeomorphisms of a Surface with Boundary

Simultaneous Dense and Nondense Orbits and the Space of Lattices

Partially Volume Expanding Diffeomorphisms

Monotone Families of Circle Diffeomorphisms Driven by Expanding Circle Maps

Derived from expanding endomorphism on $\mathbb{T}^2$

Finite data rigidity for one-dimensional expanding maps

On extremal nonexpansive mappings

C1-genericity of unbounded distortion for ergodic conservative expanding circle maps

Outer symplectic billiards

Partially hyperbolic endomorphisms with expanding linear part

Equivariant harmonic maps into the sphere via isoparametric maps

Uniform resonance free regions for convex cocompact hyperbolic surfaces and expanders

On the distality and expansivity of certain maps on spheres

A group from a map and orbit equivalence

Non-Uniformly Hyperbolic Periodic Points And Uniform Hyperbolicity For C-1 Diffeomorphisms