Regular Polygon Veech Surfaces

Updated 3 July 2026

Regular polygon Veech surfaces are translation surfaces formed by identifying sides of a regular polygon, showcasing high symmetry and the lattice property.
Their construction via cut-and-paste or double n-gon methods yields explicit genus calculations, singularities, and detailed geodesic flow behavior.
They serve as models for Teichmüller dynamics, applying hyperbolic geometry, symbolic dynamics, and saddle connection analyses to practical problems.

A regular polygon Veech surface is a translation surface arising from identifying opposite sides (or, in certain cases, pairs of regular polygons) of a regular Euclidean $n$ -gon via translation. These surfaces are central explicit examples in the theory of Teichmüller dynamics and flat geometry, characterized by particularly large symmetry groups and rigid dynamical properties. Not only do they furnish models for closed geodesics, interval exchange transformations, and billiards in polygons, but—crucially—they realize the lattice property in their Veech group, making possible the application of Fuchsian group techniques and hyperbolic geometry to questions of symbolic dynamics, intersection bounds, and more.

1. Construction and Models of Regular Polygon Veech Surfaces

Regular polygon Veech surfaces are constructed via cut-and-paste operations on regular Euclidean polygons with prescribed side pairings by translation. The classical cases are:

For even $n$ , one forms a surface by identifying opposite sides of the regular $n$ -gon by translation, producing a surface with either one or two singularities depending on the residue class of $n \mod 4$ .
For odd $n$ , a "double $n$ -gon" is created: two regular $n$ -gons (appropriately rotated) are glued together, pairing parallel sides by translation. This gives a surface with a single singularity.

Topologically, the resulting surface is closed of genus $g$ , which depends explicitly on $n$ . For $n=2k$ , (g = \begin{cases} \frac{n}{4}, & n \equiv 0 \pmod{4} \ \frac{n-2}{4}, & n \equiv 2 \pmod{4} \end{cases}); for odd $n$ 0, $n$ 1 (Massart, 2021, Shinomiya, 2011). This construction is intimately tied to the unfolding of billiard flows in regular polygons, where the dynamics of the billiard correspond to straight-line flow on the associated translation surface (Avila et al., 2013).

2. Veech Groups, Lattice Property, and Teichmüller Disks

The Veech group $n$ 2 of a regular polygon Veech surface $n$ 3 is the stabilizer of the surface under the natural action of $n$ 4 on the moduli space of translation surfaces. For regular polygons, this group is always a finite-covolume Fuchsian group—hence, a lattice—generated by explicit matrices corresponding to rotations by $n$ 5 and parabolic elements arising from cylinder decompositions (Massart, 2021, Shinomiya, 2011, Finster, 2010). For even $n$ 6, the group is an index-2 subgroup of the $n$ 7 triangle group; for odd $n$ 8, it is the Hecke triangle group of signature $n$ 9.

The $n$ 0-orbit of a regular polygon surface projects to its Teichmüller disk, parameterizing its deformations by linear maps and equipped with a hyperbolic metric. Regular polygon Veech surfaces yield Teichmüller curves in moduli space, representing rare closed $n$ 1-orbits whose closure is one-dimensional (Massart, 2021).

The lattice property of the Veech group is what grants these surfaces dramatic dynamical features. In particular, the celebrated Veech dichotomy holds: for each direction $n$ 2, the straight-line flow is either completely periodic or uniquely ergodic (Avila et al., 2013, Massart, 2021). The geometric and arithmetic structures of these groups also underpin explicit formulas for geometric invariants, dynamical spectra, and cut-and-paste rules.

3. Algebraic Intersection, KVol Invariant, and Maximizers

A central problem for translation surfaces is to quantify how large the algebraic intersection number of two closed curves can be, normalized by their flat lengths. For a translation surface $n$ 3, the algebraic interaction strength, denoted $n$ 4, is defined as: $n$ 5 where the supremum runs over all pairs of closed curves, $n$ 6 is the algebraic intersection number, and $n$ 7 is the flat length (Boulanger et al., 2021, Boulanger, 2023, Boulanger, 5 Sep 2025). For regular polygon Veech surfaces, this quantity can be computed explicitly, with sharp inequalities governed both by hyperbolic geometry on the Teichmüller disk and by explicit segment combinatorics on the polygon.

For odd $n$ 8, the maximizers are pairs of polygon sides; for even $n$ 9, sides again realize the bound, but when $n \mod 4$ 0, the extremal curves are unions of two sides, intersecting at both singularities (Boulanger, 5 Sep 2025). The exact values are:

For $n \mod 4$ 1 odd: $n \mod 4$ 2
For $n \mod 4$ 3: $n \mod 4$ 4
For $n \mod 4$ 5, $n \mod 4$ 6: $n \mod 4$ 7 (Boulanger et al., 2021, Boulanger, 2023, Boulanger, 5 Sep 2025).

On the whole Teichmüller disk, $n \mod 4$ 8 varies continuously and is controlled by hyperbolic distance to specific geodesics associated with cylinder decompositions. The minimum is always realized by the base polygon or double-gon model; maxima (when they exist) are constrained to special cells/geodesics in the Teichmüller disk (Boulanger et al., 2021, Boulanger, 2023).

4. Symbolic Dynamics and Cutting Sequences

Symbolic coding of linear trajectories—cutting sequences—on regular polygon Veech surfaces exhibits rich combinatorial structure reflecting the underlying symmetry and Veech group action (Pasquinelli, 2015, Davis, 2013). A characteristic feature is that, under parabolic (Shear) elements of the Veech group, the cutting sequence corresponds via an explicit operation: for regular polygons, the "Keep Only Sandwiched Letters" rule applies (Davis, 2013):

A letter in the cutting sequence is sandwiched if it is preceded and followed by the same letter.
The derived cutting sequence after a classical Veech shear is given precisely by retaining only sandwiched letters.

This is a consequence of cylinder decompositions with constant modulus $n \mod 4$ 9, and applies to the double-n-gon, regular even $n$ 0-gons, and surfaces with appropriate perfect-cylinder decompositions. These cutting rules generalize the continued fraction/ Sturmian sequence framework for tori to more general polygon Veech surfaces (Davis, 2013, Pasquinelli, 2015).

For higher-combinatorics models (e.g., Bouw-Möller surfaces), the regular polygon rule specializes as a highly symmetric case of a more general local combinatorial rule, but additional geometric data is required in less symmetric cases (Davis, 2013).

5. Weak Mixing and Spectral Properties

For regular polygon Veech surfaces, directional flows have highly constrained dynamical spectra. Beyond the classical Veech dichotomy, almost every direction is weak mixing (absence of non-trivial eigenfunctions for the flow), except in toral/lattice cases ( $n$ 1) (Avila et al., 2013). For generic directions on non-arithmetic Veech surfaces—including all regular polygons with $n$ 2—the Hausdorff dimension of non-weak-mixing directions is strictly less than one, and in certain cases (quadratic trace field surfaces, e.g., decagon, octagon), the set of exceptional directions has positive but less-than-full dimensionality. These results leverage the arithmeticity of the Veech group, Lyapunov exponents of the Kontsevich–Zorich cocycle, and Markov model coding of the Teichmüller flow (Avila et al., 2013).

The spectral properties are determined by the structure of cohomological decompositions into Galois-conjugate $n$ 3-subspaces and the arithmetic of the trace field $n$ 4 or $n$ 5. The weak-mixing property is stronger than ergodicity and is generically prevalent for regular polygon Veech surfaces outside the toral cases.

6. Coverings, Congruence, and Extensions

Regular polygon Veech surfaces serve as base objects for the construction of infinite series of translation covers, with properties such as constant Veech group across the family (Finster, 2010, Shinomiya, 2011). Explicit combinatorial monodromy prescriptions yield infinite families of compact and infinite translation surfaces—many of which are infinite-area surfaces with the lattice property. The universal Veech group of the regular polygon is a triangle group or Hecke triangle group generated by explicit rotation and twist matrices, and all finite covers have Veech groups as subgroups of these triangle groups (Shinomiya, 2011).

The arithmetic structure of the Veech group supports the definition and analysis of congruence subgroups, modeled on congruence subgroups of $n$ 6 but adapted to each specific polygon surface (Finster, 2014). For some regular polygons (e.g., the double $n$ 7-gons, $n$ 8 odd), every level admits property $n$ 9, allowing the realization of every partition-stabilizing congruence subgroup as a Veech group of a translation covering. For other cases (regular $n$ 0-gons, $n$ 1 odd), property $n$ 2 holds exactly when the level is coprime to $n$ 3. This arithmetic allows for precise control over the possible coverings, Veech subgroup structures, and congruence levels, including the relationship between generalized Wohlfahrt level and minimal congruence level (Finster, 2014).

7. Slope Gap Distributions and Asymptotics

The geometry and arithmetic of regular polygon Veech surfaces are reflected in the fine statistics of saddle connections. The gap distribution of saddle connection slopes on any Veech surface, and in particular on regular polygon surfaces, is piecewise real analytic with finitely many points of non-analyticity (Kumanduri et al., 2021). The tail of the limiting gap distribution decays quadratically. This universality—and the finiteness result for the number of analytic breakpoints—explicitly extends to all regular polygons, with bounds on the number of non-analyticity points linear in $n$ 4 (Kumanduri et al., 2021). These results employ first-return maps for horocycle flows on the corresponding $n$ 5 spaces, explicit parameterizations of Poincaré sections, and careful combinatorics of winning saddle connections. The geometric root of finiteness is that, after appropriate normalization, only finitely many saddle connections can be "winning" on each cell of the section.

Table: Key Explicit Features of Regular Polygon Veech Surfaces

Family	Affine Group/Teichmüller Curve	Cone Points	Maximizing Curves for $n$ 6
Double- $n$ 7-gon ( $n$ 8 odd)	Hecke triangle $n$ 9	One	Sides of polygon ( $n$ 0)
Regular $n$ 1-gon, $n$ 2	Triangle $n$ 3	One	Sides of polygon ( $n$ 4)
Regular $n$ 5-gon, $n$ 6	Triangle $n$ 7	Two	Pairs of two sides

Regular polygon Veech surfaces thus anchor the intersection of flat geometry, arithmetic Fuchsian groups, symbolic dynamical renormalization, and saddle connection statistics. They serve as tractable, highly symmetric models for the interaction of geometric, arithmetic, and dynamical phenomena seen in the broad landscape of translation surfaces and Teichmüller dynamics (Boulanger et al., 2021, Massart, 2021, Davis, 2013, Finster, 2010, Hooper, 2010, Pasquinelli, 2015, Avila et al., 2013, Shinomiya, 2011, Kumanduri et al., 2021, Finster, 2014, Boulanger, 5 Sep 2025, Boulanger, 2023).