Bowen–Series-like Maps: Boundary Dynamics

• Bowen–Series-like maps are piecewise Möbius maps that encode geodesic dynamics and group actions through controlled Markov partitions and natural extensions.
• They generalize classical constructions by flexibly adjusting boundary partition parameters, yielding cycle properties and explicit rectangular attractors.
• These maps bridge hyperbolic geometry with spectral theory and symbolic dynamics, supporting applications in reduction theory, entropy invariants, and zeta functions.

Bowen–Series-like maps are piecewise Möbius boundary maps associated with Fuchsian groups, geometric presentations of surface groups, or closely related Markov codings, designed to encode geodesic dynamics, group action on the boundary at infinity, and reduction procedures. In the classical setting, Bowen and Series constructed such maps from fundamental domains with the extension property; later work enlarged this picture to generalized partitions for cocompact torsion-free Fuchsian groups, continuous deformation families for cocompact triangle groups, extremal parameter families with explicit natural extensions and duality, maps attached to groups with cusps, and piecewise Fuchsian Markov maps such as higher Bowen–Series maps. Across these settings, recurring structural themes are piecewise Möbius dynamics, finite or controlled Markov partitions, natural extensions on pairs of boundary points, and pressure- or entropy-based invariants (Katok et al., 2016).

1. Classical construction and core structural features

In the Poincaré disk model, a cocompact torsion-free Fuchsian group $\Gamma$ acts by orientation-preserving isometries on $\mathbb D$, with boundary $\partial \mathbb D=S^1$. For the canonical surface-group setup used by Adler–Flatto and later work, one takes a fundamental polygon $\mathcal F$ with $8g-4$ sides, side-pairing transformations $T_i$, and boundary endpoints $P_i,Q_i$ arranged cyclically as

$P_1,Q_1,P_2,Q_2,\dots,P_{8g-4},Q_{8g-4}.$

The classical Bowen–Series map is then defined by partitioning $S^1$ into intervals $[P_i,P_{i+1})$ and setting

$\mathbb D$0

In this formulation, the map is piecewise Möbius with finitely many discontinuities. The classical construction is tied to the extension property, also called the even corners property in the triangle-group setting: geodesic extensions of sides do not enter interiors of tiles in the tessellation. This property controls the combinatorics of the boundary partition and underlies the Markov character of the induced map (Schmidt et al., 2023).

Several papers describe the classical Bowen–Series map as expanding, Markov, and strongly related to symbolic coding of geodesics and group elements. In the cocompact case it is uniquely ergodic with respect to a measure equivalent to Lebesgue, and it admits a natural extension on $\mathbb D$1 with compact invariant domain of finite rectangular type. In convex cocompact settings without cusps, the same dynamical package leads to transfer operators and Selberg zeta functions, because closed geodesics correspond to periodic points and their lengths are recovered from derivatives of iterates of the boundary map (Pollicott et al., 2022).

A broad usage of the term “Bowen–Series-like” therefore refers to maps that retain the essential formal features of the classical model: piecewise Möbius or piecewise Fuchsian structure, a finite or controlled Markov partition, orbit-equivalence or coding of the underlying group action, and a natural extension or transfer-operator formalism.

2. Generalized boundary maps for cocompact surface groups

A major generalization replaces the fixed Bowen–Series partition points $\mathbb D$2 by parameters $\mathbb D$3, producing

$\mathbb D$4

The generators $\mathbb D$5 are unchanged; only the discontinuity set is moved. In this sense, the maps remain Bowen–Series-like because they preserve the same group, side-pairing combinatorics, and Möbius branches while varying the boundary partition (Katok et al., 2016).

For these generalized maps, each discontinuity $\mathbb D$6 has two one-sided images, $\mathbb D$7 from the right and $\mathbb D$8 from the left, giving upper and lower forward orbits. The central result is the cycle property: for every choice of parameters $\mathbb D$9, the two one-sided forward orbits eventually meet. More precisely, for each $\partial \mathbb D=S^1$0 there exist $\partial \mathbb D=S^1$1 such that

$\partial \mathbb D=S^1$2

A special case is the short cycle property, when the two orbits meet after one step. The short cycle regime is open in parameter space and is the setting in which the natural extension admits an explicit global attractor with finite rectangular structure (Katok et al., 2016).

Related work on extremal parameters considers $\partial \mathbb D=S^1$3 for all $\partial \mathbb D=S^1$4. In that setting the natural extension domain can be written explicitly as a finite union of rectangles, and the resulting arithmetic cross-section for geodesic flow is parametrized by this domain. Classical choices $\partial \mathbb D=S^1$5 and $\partial \mathbb D=S^1$6 are recovered as special extremal parameters, but every extremal choice remains within the same generalized Bowen–Series family (Abrams, 2020).

For closed hyperbolic surfaces, this generalized family also exhibits entropy rigidity. If $\partial \mathbb D=S^1$7 for all $\partial \mathbb D=S^1$8, then the topological entropy of the boundary map is constant across the entire family and depends only on the genus: $\partial \mathbb D=S^1$9 The same value remains constant throughout Teichmüller space, and the proofs use conjugation to piecewise constant-slope circle maps (Abrams et al., 2021).

3. Natural extensions, global attractors, and reduction theory

The two-dimensional natural extension attached to a generalized boundary map is defined on $\mathcal F$0 by

$\mathcal F$1

Interpreting $\mathcal F$2 as the endpoints of an oriented geodesic, $\mathcal F$3 acts as a reduction map: the branch is chosen from the future endpoint $\mathcal F$4, and both endpoints are moved by the same group element. The projection to the second coordinate recovers the original one-dimensional map, so $\mathcal F$5 is a genuine natural extension in the dynamical sense (Katok et al., 2016).

For short-cycle partitions in the cocompact surface-group case, the natural extension possesses a bijectivity domain $\mathcal F$6 with finite rectangular structure, and this domain is also a global attractor: $\mathcal F$7 The map is essentially bijective on $\mathcal F$8, almost every point enters $\mathcal F$9 after finitely many iterations, and the complement of the attractor is controlled via trapping-region arguments and exponential shrinking of widths under iteration (Katok et al., 2016).

This geometric picture is explicitly framed as reduction theory. Don Zagier proposed several “good” properties for reduction algorithms associated with Fuchsian groups; the two properties singled out in this setting are the cycle property at discontinuities and the existence of a global attractor with finite rectangular structure. For cocompact torsion-free surface groups, generalized Bowen–Series maps supply families realizing both properties simultaneously (Katok et al., 2016).

The same reduction-theoretic viewpoint now extends to finitely generated Fuchsian groups of the first kind with at least one cusp. In that setting, a quasi-ideal polygon adapted to the free-product decomposition of the group yields a finite partition of the boundary and a Bowen–Series-like map

$8g-4$0

where $8g-4$1 are independent generators coming from side pairings. Its natural extension

$8g-4$2

admits a finite rectangular domain of bijectivity and global attractor, confirming Zagier’s conjecture in this cuspidal setting (Abrams et al., 22 Jul 2025).

4. Deformations, extremal choices, and duality

For cocompact triangle groups, the Bowen–Series map admits continuous one-parameter deformations on overlap intervals where two different Möbius branches are both expanding. If $8g-4$3 is a signature for which the Bowen–Series quadrilateral has the extension property, then for $8g-4$4 in one of four overlap intervals $8g-4$5, the deformed map is

$8g-4$6

This produces four continuous deformation families of piecewise Möbius, eventually expanding circle maps (Schmidt et al., 2023).

Within these families, surjectivity and finite Markov structure are sharply characterized. The deformed map is aperiodic if and only if it is surjective, provided it is Markov with respect to the induced partition. It is finite Markov if and only if the deformation parameter $8g-4$7 is a hyperbolic fixed point of the triangle group. These results show that Bowen–Series-like deformations can preserve or destroy classical dynamical properties in a controlled way, depending on explicit combinatorics of overlap intervals and the location of $8g-4$8 (Schmidt et al., 2023).

Extremal parameters $8g-4$9 yield another distinguished deformation class. For any extremal choice, the natural extension domain $T_i$0 is a finite union of rectangles, and there is an explicit dual parameter set $T_i$1 satisfying

$T_i$2

together with the duality relation

$T_i$3

This gives a past/future duality for arithmetic codes of geodesics: the future with respect to $T_i$4 is mirrored by the past with respect to $T_i$5 at the other endpoint (Abrams, 2020).

A related deformation theory appears for Bowen–Series-like maps attached to geometric presentations of surface groups. There the family is parametrized by $T_i$6 cutting parameters $T_i$7, one in each overlap interval $T_i$8, and

$T_i$9

Although these maps can be non-Markov and dynamically distinct, all of them have the same topological entropy, equal to the volume entropy of the presentation. Milnor–Thurston kneading theory then turns this into an algorithmic computation from a presentation-dependent polynomial (Alsedà et al., 2023).

5. Beyond cocompact Fuchsian boundary maps

The phrase “Bowen–Series-like” also covers piecewise Fuchsian Markov maps used to encode punctured sphere groups and to build holomorphic matings with polynomials. In that setting, a mateable map is a continuous expanding circle covering that is piecewise Fuchsian, Markov, orbit equivalent to the Fuchsian group generated by its branches, and has no asymmetrically hyperbolic periodic break-points. Classical Bowen–Series maps for punctured sphere groups are examples, but the paper also introduces higher Bowen–Series maps, which are orbit equivalent to the same group while having larger degree and different combinatorics (Mj et al., 2023).

Higher Bowen–Series maps can be characterized as minimal representatives of certain completely folding maps, or equivalently as amalgams of Bowen–Series maps associated with overlapping fundamental domains. They remain piecewise Fuchsian Markov maps and are mateable with polynomials in the principal hyperbolic component of matching degree. This situates Bowen–Series-like maps inside the Sullivan dictionary as dynamical surrogates for Fuchsian groups on the rational-dynamics side (Mj et al., 2023).

For non-uniform lattices in $P_i,Q_i$0, Bowen–Series maps produce continued-fraction-type expansions on the boundary and hence Diophantine approximation data. In that setting, admissible symbol sequences are grouped into cuspidal words, and the associated convergents are parabolic fixed points obtained from products of group elements. The main metric result identifies sufficiently good geometric approximations exactly with these convergents, extending the classical relation between continued fraction convergents and good rational approximations (Marchese, 2020).

The thermodynamic and dimension-theoretic role of Bowen-type formulas also appears in broader symbolic settings that model Bowen–Series dynamics. For topological Markov chains with local weak Gibbs measures and for Markov transformations with countable partitions, shrinking-target sets satisfy generalized Bowen formulas in terms of pressure. This suggests a direct parallel with Bowen–Series codings of Fuchsian groups, where exceptional sets and approximation rates are likewise controlled by pressure equations associated with $P_i,Q_i$1 (Pérez, 2016).

6. Entropy, zeta functions, and symbolic consequences

For classical Bowen–Series codings of compact or convex cocompact hyperbolic surfaces, transfer operators attached to the boundary map produce Selberg zeta functions. If $P_i,Q_i$2 is the Bowen–Series map and $P_i,Q_i$3, then the transfer operator

$P_i,Q_i$4

encodes periodic orbit data, and the Selberg zeta function is expressed as a Fredholm determinant

$P_i,Q_i$5

Closed geodesics correspond to prime periodic orbits of $P_i,Q_i$6, and the length of a closed geodesic is given by

$P_i,Q_i$7

for the corresponding periodic point $P_i,Q_i$8 of period $P_i,Q_i$9. This makes Bowen–Series-like maps a direct bridge between hyperbolic geometry, symbolic dynamics, and spectral theory (Pollicott et al., 2022).

Entropy is another unifying invariant. For generalized cocompact surface-group boundary maps, topological entropy is rigid across the full parameter family and across Teichmüller space (Abrams et al., 2021). For Bowen–Series-like maps coming from geometric presentations of surface groups, the same topological entropy equals the volume entropy of the presentation and is computed by Milnor–Thurston kneading determinants (Alsedà et al., 2023). For triangle-group deformations, surjectivity and hyperbolic fixed parameters determine when a deformed map remains aperiodic or finite Markov (Schmidt et al., 2023).

A plausible implication is that “Bowen–Series-like map” names not one rigid object but a methodological class: boundary or circle dynamics built from group-theoretic branches, equipped with symbolic codings that retain enough Markov, reduction, or thermodynamic structure to recover geometric information. Across cocompact groups, triangle groups, groups with cusps, geometric presentations of surface groups, and mateable piecewise Fuchsian maps, the term consistently indicates a boundary model that replaces a group action or geodesic flow by a piecewise conformal one-dimensional dynamical system while preserving a substantial part of the original geometry (Abrams et al., 22 Jul 2025).