End-Periodic Homeomorphisms: Theory & Applications

• End-Periodic Homeomorphisms are defined on noncompact surfaces with finitely many ends, exhibiting eventually monotone behavior toward attracting or repelling ends.
• They are analyzed through invariant laminations, tight nesting neighborhoods, and compactified mapping tori that reveal hyperbolic structures and symbolic dynamics.
• Recent frameworks connect stretch factors, pants graph translation lengths, and short-curve phenomena, bridging surface dynamics with 3-manifold topology.

Searching arXiv for papers on end-periodic homeomorphisms and related mapping tori, laminations, and graph models. End-periodic homeomorphisms are homeomorphisms of noncompact surfaces whose dynamics near every end is eventually monotone toward or away from that end. In the modern finitely-ended setting, one requires that there exists $m>0$ such that for each end $E$ there is a neighborhood $U_E$ with either $f^m(U_E)\subsetneq U_E$ and $\{f^{nm}(U_E)\}_{n>0}$ a neighborhood basis of $E$, or $f^{-m}(U_E)\subsetneq U_E$ and $\{f^{-nm}(U_E)\}_{n>0}$ a neighborhood basis of $E$; the two cases define attracting and repelling ends, respectively (Field et al., 2023). The subject originated in unpublished work of Handel and Miller and was substantially developed by Cantwell, Conlon, and Fenley, where endperiodic automorphisms are analyzed through invariant laminations, reducing curves and lines, escaping sets, and applications to depth one foliations of $3$-manifolds (Cantwell et al., 2010). Recent work places these maps in a quantitative framework involving compactified mapping tori, pants-graph translation length, short-curve theorems, loxodromic actions on infinite-type graphs, train-track analogues on infinite graphs, and arithmetic realizability of Handel–Miller stretch factors (Field et al., 2021, Field et al., 2023, Whitfield, 2024, Patel et al., 2022, He et al., 2024, Hillen et al., 20 Mar 2026).

1. Definitions at the ends

For surfaces with finitely many ends, all accumulated by genus, an end-periodic homeomorphism $E$0 is organized by attracting and repelling end neighborhoods. If $E$1 and $E$2 denote unions of chosen neighborhoods of attracting and repelling ends and satisfy $E$3, with $E$4 a union of simple closed curves, then $E$5 are called tight nesting neighborhoods. A core for $E$6 is a compact subsurface $E$7 such that $E$8; the boundary components meeting $E$9 and $U_E$0 are the junctures $U_E$1 and $U_E$2. The escaping sets are

$U_E$3

and the $U_E$4-actions on $U_E$5 are cocompact, with quotients $U_E$6 (Field et al., 2023).

The older Handel–Miller formulation uses a noncompact surface $U_E$7 with finite endset. A periodic end $U_E$8 of period $U_E$9 is positive if there exists a closed, connected neighborhood $f^m(U_E)\subsetneq U_E$0 with $f^m(U_E)\subsetneq U_E$1 connected, $f^m(U_E)\subsetneq U_E$2, $f^m(U_E)\subsetneq U_E$3, and compact frontier; negative ends are defined by the same conditions for $f^m(U_E)\subsetneq U_E$4. Such a $f^m(U_E)\subsetneq U_E$5 is an $f^m(U_E)\subsetneq U_E$6-neighborhood, and $f^m(U_E)\subsetneq U_E$7 is an $f^m(U_E)\subsetneq U_E$8-juncture. In that language, $f^m(U_E)\subsetneq U_E$9 is endperiodic if all periodic ends are positive or negative, and $\{f^{nm}(U_E)\}_{n>0}$0 is endperiodic if and only if $\{f^{nm}(U_E)\}_{n>0}$1 is endperiodic for some $\{f^{nm}(U_E)\}_{n>0}$2 (Cantwell et al., 2010).

A later constructive paper uses the equivalent terminology of positive and negative ladders. A positive ladder $\{f^{nm}(U_E)\}_{n>0}$3 is a union of nesting neighborhoods of attracting ends, a negative ladder $\{f^{nm}(U_E)\}_{n>0}$4 is a union of nesting neighborhoods of repelling ends, and if these ladders are tight and disjoint then

$\{f^{nm}(U_E)\}_{n>0}$5

is a core for $\{f^{nm}(U_E)\}_{n>0}$6 (Hillen et al., 20 Mar 2026).

2. Handel–Miller laminations and reduction theory

The foundational structural result is the existence, after isotopy, of a pair of invariant laminations $\{f^{nm}(U_E)\}_{n>0}$7. In the geodesic version, one starts from positive and negative juncture sets and their geodesic tightenings, defines sets of nonescaping juncture components $\{f^{nm}(U_E)\}_{n>0}$8 and $\{f^{nm}(U_E)\}_{n>0}$9, and then forms

$E$0

so that the path components of $E$1 are the laminations $E$2. The pairs $E$3 and $E$4 are bilaminations, the laminations are strongly closed, every leaf of $E$5 is a one-one immersed copy of $E$6, and

$E$7

The invariant set $E$8 carries the recurrent dynamics, and the core dynamical system

$E$9

is topologically conjugate to a two-ended Markov shift of finite type (Cantwell et al., 2010).

These laminations support a reduction theory parallel in spirit to Nielsen–Thurston theory but adapted to ends. If $f^{-m}(U_E)\subsetneq U_E$0, then $f^{-m}(U_E)\subsetneq U_E$1 is isotopic to a translation. Otherwise one constructs a set $f^{-m}(U_E)\subsetneq U_E$2 of reducing curves consisting of rims of crown sets, reducing circles arising from compact border components of the escaping set, and reducing lines associated to noncompact border components. After isotopy, there is an endperiodic automorphism $f^{-m}(U_E)\subsetneq U_E$3 that agrees with the Handel–Miller representative on $f^{-m}(U_E)\subsetneq U_E$4, permutes $f^{-m}(U_E)\subsetneq U_E$5, and on each $f^{-m}(U_E)\subsetneq U_E$6-periodic noncompact reduced piece $f^{-m}(U_E)\subsetneq U_E$7 the return map $f^{-m}(U_E)\subsetneq U_E$8 is isotopic either to a translation or to a pseudo-anosov automorphism. Compact reduced pieces in principal regions are governed by Nielsen–Thurston theory, while compact pieces in the escaping set have trivial dynamics under iteration. The same paper also develops an axiomatic pseudo-geodesic bilamination theory, proves that any such bilamination is ambiently isotopic to the geodesic one, proves a smoothing theorem producing a smooth endperiodic automorphism preserving smooth laminations, and proves the transfer theorem for depth one foliations transverse to a common one-dimensional foliation (Cantwell et al., 2010).

A persistent misconception is that end-periodic dynamics merely describe behavior “at infinity.” Handel–Miller theory shows instead that the nonescaping set supports a finite-type symbolic dynamics, while the escaping sets, principal regions, semi-isolated leaves, arms, nuclei, and crown sets control how that recurrent core is attached to the ends (Cantwell et al., 2010).

3. Strong irreducibility and compactified mapping tori

In the finitely-ended, genus-accumulated setting, recent work isolates a stronger irreducibility hypothesis tailored to $f^{-m}(U_E)\subsetneq U_E$9-manifold geometry. A curve $\{f^{-nm}(U_E)\}_{n>0}$0 is reducing for $\{f^{-nm}(U_E)\}_{n>0}$1 if there exist $\{f^{-nm}(U_E)\}_{n>0}$2 such that $\{f^{-nm}(U_E)\}_{n>0}$3 lies in a nesting neighborhood of an attracting end and $\{f^{-nm}(U_E)\}_{n>0}$4 lies in a nesting neighborhood of a repelling end. An end-periodic homeomorphism is strongly irreducible if it has no periodic curves, no periodic lines, and no reducing curves (Field et al., 2023).

The ordinary mapping torus

$\{f^{-nm}(U_E)\}_{n>0}$5

is noncompact because the fiber is noncompact. The compactification is built upstairs in the infinite cyclic cover by

$\{f^{-nm}(U_E)\}_{n>0}$6

with deck transformation

$\{f^{-nm}(U_E)\}_{n>0}$7

where $\{f^{-nm}(U_E)\}_{n>0}$8. The compactified mapping torus is

$\{f^{-nm}(U_E)\}_{n>0}$9

its interior is $E$0, and its boundary is naturally homeomorphic to

$E$1

The action of $E$2 on $E$3 is properly discontinuous and cocompact, so the quotient is compact (Field et al., 2023).

Under strong irreducibility, $E$4 is a compact, irreducible, atoroidal, acylindrical $E$5-manifold with incompressible boundary, and therefore admits a convex hyperbolic metric with totally geodesic boundary, unique up to isometry. In this setting, strong irreducibility is not merely technical. If periodic curves or lines exist, the compactified mapping torus need not be atoroidal or acylindrical; if reducing curves exist, the core dynamics decomposes and the uniform topological control used in the quantitative theory breaks down (Field et al., 2023).

4. Capacity, pants graphs, short curves, and volume

Because the surface is of infinite type, constants cannot depend on the topology of the whole fiber in the finite-type manner of Brock’s theorem. The replacement is the capacity of $E$6, the pair $E$7, where

$E$8

with the maximum taken over all cores $E$9, and

$3$0

The pants graph $3$1 is defined with edge lengths $3$2 on one-holed torus moves and $3$3 on four-holed sphere moves, but for infinite-type $3$4 it is disconnected. The asymptotic translation distance is therefore

$3$5

and for an $3$6-invariant component $3$7,

$3$8

The central lower bound is

$3$9

where $E$00 depends only on the capacity of $E$01 (Field et al., 2023).

Earlier work proved the companion upper bound

$E$02

and the stronger componentwise estimate

$E$03

Together these give

$E$04

with constants depending only on capacity, extending Brock’s finite-type pseudo-Anosov theorem to strongly irreducible end-periodic homeomorphisms. The same program also produces invariant pants-graph components whose induced boundary pants decompositions have uniformly bounded length and whose translation lengths are within a uniform multiplicative constant of the global asymptotic translation length (Field et al., 2021, Field et al., 2023).

A related quantitative theorem compares Handel–Miller laminations to short curves in hyperbolic structures. If $E$05 and $E$06 are the positive and negative Handel–Miller laminations, then for any $E$07 there exists $E$08 such that for any atoroidal end-periodic $E$09 with

$E$10

there exists $E$11 with the property that for any connected, compact subsurface $E$12,

$E$13

This is an end-periodic analogue of Minsky’s short-curve theorem from the finite-type pseudo-Anosov setting (Whitfield, 2024).

5. Loxodromic actions and graph-theoretic analogues

End-periodic homeomorphisms also act on several infinite-type arc and curve graphs. One construction starts with an endperiodic map $E$14, a finite-type witness subsurface $E$15, and a mapping class $E$16, and sets

$E$17

Under explicit hypotheses on the boundary behavior of $E$18 under $E$19 and the projection-distance condition

$E$20

the map $E$21 is again endperiodic and acts loxodromically on the ambient graph $E$22. The same method produces loxodromic actions on the relative arc graph, the omnipresent arc graph and grand arc graph, and separating curve graphs. In the examples emphasized there, the constructed $E$23 is strongly irreducible in the sense of Field–Kim–Leininger–Loving (Patel et al., 2022).

A distinct line of work builds one-dimensional analogues on infinite graphs with finitely many ends. A generalized endperiodic graph map is a cellular homotopy equivalence $E$24 for which each end is attracting or repelling; it is endperiodic if the restrictions to $E$25-neighborhoods of ends are homeomorphisms that send edges to edges. Adapting Bestvina–Handel theory, every generalized endperiodic map is conjugate to a generalized endperiodic relative train track map via a combinatorially bounded homotopy equivalence. If $E$26 is such a representative, its largest Perron–Frobenius eigenvalue $E$27 is canonical, characterized by

$E$28

and when $E$29,

$E$30

Relative train track representatives minimize both $E$31 and topological entropy in the proper homotopy class. The authors are explicit that this graph-theoretic framework is a one-dimensional analogue of the surface theory and do not claim equivalence with Handel–Miller laminational train tracks (He et al., 2024).

The graph-mapping-torus analogue is equally close. If $E$32 is an infinite connected graph with finitely many ends and $E$33 is end-periodic, then the mapping torus $E$34 is homotopy equivalent to a finite $E$35-complex $E$36 via a flow-preserving embedding, with disjoint $E$37-subcomplexes $E$38 and $E$39 such that

$E$40

With additional hypotheses, the compactified mapping torus embeds in the mapping torus of a homotopy equivalence of a finite graph via a $E$41-injective, flow-preserving map (Smith, 18 Nov 2025).

6. Stretch factors, realizability, and broader context

The arithmetic range of end-periodic stretch factors is now known exactly. For an end-periodic homeomorphism $E$42, the intersection $E$43 determines a Markov decomposition of the complement of the escaping points, and the Handel–Miller stretch factor $E$44 is the spectral radius of the corresponding incidence matrix, equivalently the exponential of the topological entropy on the action of $E$45 on $E$46. The realizability theorem states: $E$47 In particular, given any weak Perron number $E$48, there is a connected infinite-type surface with finitely many ends all accumulated by genus and an end-periodic homeomorphism $E$49 whose Handel–Miller stretch factor equals $E$50 (Hillen et al., 20 Mar 2026).

This arithmetic picture differs sharply from the finite-type pseudo-Anosov case. The same paper emphasizes that every pseudo-Anosov stretch factor is bi-Perron, while realizability of all bi-Perron numbers is open, whereas in the end-periodic category realizability is completely settled: exactly weak Perron numbers occur (Hillen et al., 20 Mar 2026).

The broader context remains foliation theory. In the smooth depth one setting, the monodromy on noncompact leaves is endperiodic, and the transfer theorem shows that if two depth one foliations are transverse to a common one-dimensional foliation and the induced monodromy on one leaf preserves a pseudo-geodesic bilamination satisfying the Handel–Miller axioms, then the induced monodromy on the other leaf does as well. In more recent $E$51-manifold work, compactified mapping tori of end-periodic homeomorphisms appear as the pieces obtained after collapsing trivial pieces of a co-oriented depth-one foliation of a $E$52-manifold (Cantwell et al., 2010).

End-periodic homeomorphisms therefore occupy a position analogous, but not identical, to pseudo-Anosov homeomorphisms. Their invariant laminations replace stable and unstable laminations only after one incorporates escaping sets and end neighborhoods; their mapping tori become canonical hyperbolic objects only after compactification; and their quantitative theory depends not on the topology of a compact fiber but on capacity, end complexity, and related finite invariants extracted from the dynamically nontrivial core.