Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Reduction theory for Fuchsian groups with cusps

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every finitely generated Fuchsian group with at least one cusp, a reduction map exists whose attractor is a finite union of rectangles.

desk verdict A serious, largely well-built proof of Zagier's reduction conjecture for groups with cusps, but the global attractor conclusion rests on a six-line escape argument in Theorem 21 that needs a quantitative upgrade. read the letter →

arxiv 2507.16958 v4 pith:ESA2QN23 submitted 2025-07-22 math.DS

Adam Abrams , Svetlana Katok , Ilie Ugarcovici This is my paper · ORCID
classification math.DS MSC 37D4037E10
keywords Fuchsiangroupsboundarymapsglobalattractorreductiontheoryquasi-idealfundamentalpolygonsfreeproductstructureTeichmüllerspaceMarkovpartitions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves Don Zagier's reduction-theory conjecture for every finitely generated Fuchsian group of the first kind that has at least one cusp. For any such group with signature $(g;m_1,\dots,m_r;t\ge1)$, it constructs a marked fundamental polygon and a boundary map acting piecewise by group generators whose natural extension has a global attractor formed from finitely many rectangles; almost every point enters this attractor in finitely many steps. If the group has an elliptic element of order greater than $2$, the same attractor and finite-time properties hold for a continuous family of partitions. The proof first builds a canonical polygon from free products of cyclic groups, then carries the result to arbitrary groups of the same signature through a Fenchel–Nielsen map, so the conclusion is not limited to arithmetic groups such as the modular group. A reader should care because the finite rectangular attractor is precisely the structure Zagier identified as essential for inverting modular forms from period cocycles and for finite symbolic coding of geodesics.

What carries the argument

The central object is the canonical quasi-ideal polygon $F_0$ (Definition 2): an $N=4g+2r+2(t-1)$-sided polygon whose paired sides are isometric circles and whose side-pairing transformations are exactly the independent generators coming from the free-product decomposition $\Gamma \cong \mathbb{Z}_{m_1} * \cdots * \mathbb{Z}_{m_r} * \underbrace{\mathbb{Z} * \cdots * \mathbb{Z}}_{2g+t-1}$. The polygon's marking is preserved under Teichmüller deformation, producing a quasi-ideal polygon for any group of the same signature. On the boundary $S=\partial\mathbb{D}$, the paper defines partition points $A_k$ (ideal or elliptic) and a boundary map $f_A(x)=\gamma_k(x)$ on $[A_{k-1},A_k)$; its natural extension is $F_A(u,w)=(\gamma_k(u),\gamma_k(w))$, which acts on geodesics. The attractor $\Omega_A$ is an explicit finite union of horizontal strips $\Omega^{(s_k)}_A$, each a finite union of rectangles, and Theorem 20 proves $F_A$ is bijective on $\Omega_A$ and sends strips to vertical strips. The finite Markov property of the special partitions $P$, $Q$, and $M$, together with finite-time entry into $\Omega_A$, is what carries the result.

What would settle it

Take the canonical group of signature $(0;2,3;1)$ with the midpoint partition, and iterate $F_A$ on a fine grid of initial pairs $(u,w)$ lying just inside the exceptional rectangles $\widehat L_m(1)$ and $\widehat U_m(1)$ from Figure 12; if any orbit fails to reach $\Omega_A$ within a bounded number of steps, or instead cycles outside $\Omega_A$, the theorem's finite-time entry claim is false. This directly tests the isometric-circle escape step, since those rectangles are exactly the sets the proof must push into the attractor.

Watch

Extended reading notes

Core claim

The central claim is that reduction theory is universal among cusped Fuchsian groups: for every signature $(g;m_1,\dots,m_r;t\ge1)$ with $t\ge1$, there exists a marked fundamental polygon, a finite partition of $S=\partial\mathbb{D}$, and a boundary map acting piecewise by independent generators such that the boundary map has a finite Markov partition, its natural extension has a global attractor with finite rectangular structure, and almost every point enters the attractor in finite time. The attractor $\Omega_A$ is described explicitly as a finite union of horizontal strips $\Omega^{(s_k)}_A$, each split into finitely many rectangles; Theorem 20 shows $F_A$ is bijective on $\Omega_A$ and sends horizontal strips to vertical strips, and Theorem 21 shows every orbit lands in $\Omega_A$ after finitely many iterations. Because the canonical data are transferred to an arbitrary group of the same signature by a Fenchel–Nielsen map, the finite rectangular structure is preserved under conjugation. This confirms Zagier's conjecture for all finitely generated Fuchsian groups of the first kind with at least one cusp, with a continuous family of partitions whenever some elliptic order exceeds $2$.

Load-bearing premise

The load-bearing premise is that the side-pairing transformations of the canonical polygon are expanding in the interiors of their isometric circles, so repeated application must pull every pair of boundary points out of the bad set $\Phi_A$ in finite time; if that escape is not genuinely guaranteed, or if the isometric-circle property of the polygon is lost after deformation, the global-attractor conclusion does not follow.

Editorial extensions

If this is right

  • Every geodesic in $\mathbb{D}$ projecting to $\Gamma\setminus\mathbb{D}$ has a finite-length reduction to a reduced geodesic, and from then on the reduction map acts bijectively on the attractor; in particular the symbolic coding of geodesics uses a finite alphabet of size $4g+2r+2(t-1)$.
  • The three named partitions $P$, $Q$, and $M$ all yield finite Markov boundary maps, so every cusped signature admits at least three distinct finite Markov presentations of the boundary action, and continuously many when some elliptic order exceeds $2$.
  • Zagier's inversion problem for modular forms on such groups is supplied with the finite rectangular attractor he identified as essential, so reconstruction from period cocycles is not blocked by lack of reduction theory.
  • The explicit canonical polygons in Appendix A give side-pairing transformations for every signature, making the reduction map computable in practice for any example, including congruence subgroups.
  • Teichmüller space of the orbifold is realized as the space of marked quasi-ideal polygons, giving dimension $6g-6+2(r+t)$ by a parameter count from vertices and generators.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: if the finite-time entry bound is uniform in the partition parameters, the attractor $\Omega_A$ gives a natural cross-section for the geodesic flow on every cusped orbifold, turning the flow into a suspension over a finite-type subshift; the paper says the symbolic coding is current work, but the rectangular structure is exactly what such a cross-section needs.
  • Editorial inference: the paper's conjecture that elliptic partition points may range over the full open interval $(V_{k-1},V_{k+1})$, rather than the closed intervals $[P_k,Q_k]$ used in the proof, suggests that reduction theory is stable under all admissible perturbations of partition points, extending the continuous family to its maximal parameter range.
  • Editorial inference: the quasi-ideal polygon model of Teichmüller space could be used to construct Fenchel–Nielsen coordinates directly from the boundary positions of the ideal vertices, making deformation-theoretic quantities such as shear and twist lengths algorithmically computable from a signature.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims a proof of Zagier's reduction-theory conjecture for all finitely generated Fuchsian groups of the first kind with at least one cusp. For any such group with signature (g; m_1, ..., m_r; t >= 1), the authors construct a marked "quasi-ideal" fundamental polygon by Teichmuller-deforming an explicitly defined canonical polygon, define a finite partition A of the boundary circle and a piecewise Mobius boundary map f_A acting by independent generators, and study its natural extension F_A on S x S \ Delta. The Main Theorem asserts that (i) three special boundary maps have a finite Markov property, (ii) the natural extension has a global attractor Omega_A with finite rectangular structure, and (iii) almost every point enters the attractor in finite time; if some elliptic order exceeds 2, there is a continuous family of partitions with properties (ii) and (iii). The proof proceeds in two stages: an explicit rectangle computation for the canonical case (Theorems 20 and 21) and a transfer to arbitrary groups via a Fenchel-Nielsen map h (Section 6). The paper also proposes a new model of Teichmuller space as the space of marked quasi-ideal polygons (Theorem 13).

Significance. If the main theorem is correct, it settles Zagier's conjecture in full generality and gives a uniform finite rectangular reduction map for all Fuchsian groups with cusps, with applications to coding geodesic flows and to inversion problems for modular forms. The paper has substantial constructive content: the canonical polygon is built by explicit formulas in Appendix A, the bijectivity of F_A on Omega_A is checked by direct rectangle computations in Theorem 20, and the Fenchel-Nielsen transfer in Section 6 is conceptually clean. The quasi-ideal polygon model of Teichmuller space is an original contribution. However, the global-attractor and finite-time-entry conclusions rest on an unproved expansion assertion in Theorem 21, and the bijectivity proof in Theorem 20 contains an unproved case distinction for even elliptic order; these gaps are load-bearing for the Main Theorem. The paper cannot be accepted without a rigorous proof of those points.

major comments (3)
  1. [§5.3, Theorem 21] The proof that every orbit escapes the set Phi_A and enters Omega_A in finite time is the only support for Main Theorem parts (ii) and (iii), and it is a sketch rather than a proof. The crucial assertion is that each side-pairing map gamma_k is expanding in the interior of its isometric circle and that this interior includes the intervals that define each Phi_k. No uniform expansion constant is given; the maps gamma_k vary along the orbit, so pointwise expansion does not automatically accumulate. For an elliptic vertex of order m > 2, the side-pairing maps are powers of a finite-order Mobius transformation, and their derivative along the boundary is not uniformly greater than 1 on the relevant arcs; the text does not show that the boundary intervals in the definition of Phi_k lie in the expanding part of the isometric-circle interior. Moreover, Phi_k is a product of boundary arcs, while an isometric circle is a Euclidean circle inside D, so the inclusion assertion is geometrically unclear. Since Theorem 21 is the only proof of (ii)-(iii) in the canonical case, and Section 6 merely conjugates it by h x h, this gap propagates to the Main Theorem.
  2. [§5.2, Theorem 20] In the proof for m >= 3, the even-order case is dismissed with the assertions 'for even m, a = c_m^j(v2) for some j' and 'then c_m^{J+1}(a) = 1'. For a generic elliptic partition point a = A_1 in (1, v2) this is not established and is generally false unless a lies in the c_m-orbit of v2. The statement of Theorem 20 imposes no such condition on A, and Omega_A is defined for arbitrary A in Section 5.2. Thus the equality F_A(Omega_A^{(m)}) = Omega_A \cap ([1, v2] x S) is not proved in the stated generality. If the intended domain is only the special partitions P, Q, M of Section 5.1, the statement should be restricted accordingly and the orbit property for those partition points should be proved explicitly.
  3. [§5.1, Proposition 19] The finite Markov property for f_P, f_Q, and f_M is claimed to follow from finiteness of the upper and lower orbits of partition points. That implication is not automatic: one must also show that the image of each partition interval under the relevant generator is a union of intervals from a finite partition, possibly after a sofic refinement. The proof only describes the endpoint of the cycle and refers to earlier finiteness results; a complete argument for the Markov property of the three special partitions is needed, since part (i) of the Main Theorem depends on it.
minor comments (4)
  1. [Introduction / Section 5] The terms 'global attractor' and 'finite rectangular structure' are used throughout but never defined formally; please add precise definitions before the Main Theorem.
  2. [§3.2, Definition 11] There is a typo: 'verticex' should be 'vertex'.
  3. [§5.3, Theorem 21] In the first paragraph, 'Mobius transformationgamma_k' is missing a space, and the sentence 'the distance between u_n and w_n must grow sufficiently' should be formulated quantitatively if it is to serve as a proof step.
  4. [Appendix A] The explicit formulas for c_m, c_infty, a_1, and b_1 are stated without derivation; since they are not used in the main proofs, a brief indication of how they were obtained would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the canonical attractor is constructed and verified by direct computation, and the transfer to arbitrary groups is a standard conjugacy argument.

full rationale

The central claim is self-contained. For the canonical case, the polygon is constructed explicitly (Definition 2 and Appendix A), the boundary map f_A and natural extension F_A are defined directly from side pairings, and the candidate attractor Ω_A (18) is built from explicit intervals L_m(i), U_m(i) using the orbit data of the elliptic partition point. Theorem 20 verifies bijectivity by direct rectangle-image computations, and Theorem 21 iterates the exceptional rectangles explicitly. The only compressed step is the isometric-circle escape argument in the first paragraph of Theorem 21, where expansion is asserted without a quantitative constant; this is a rigor gap, not a circularity, because it does not assume the conclusion or fit a parameter to it. The extension to arbitrary Fuchsian groups uses the Fenchel–Nielsen map as a topological conjugacy: (h×h)Ω_A is the attractor for the conjugate map, and finite-time entry is preserved exactly. Self-citations to [22,24] supply the matching/cycle technique, but the needed cycle property is reproved in Theorem 17 within this paper, and [21] is cited only for standard textbook facts. The unresolved escape argument is correctly identified as a correctness risk, but it does not make the derivation circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on four classical pillars, all cited rather than proved, and on the paper's own explicit constructions. No free parameters fitted to data appear; the elliptic orders and cusp count are inputs from the signature. The new objects (canonical polygon, quasi-ideal polygon, attractor Ω_A) are constructed and their properties proved inside the paper, so nothing is postulated without a proof of existence.

assumptions (4)
  • standard math Fenchel-Nielsen theorem (Theorem 7): for groups Γ and Γ0 of the same signature there is a quasiconformal map h: D -> D, isotopic to the identity, with Γ = h Γ0 h^{-1}.
    Load-bearing for the transfer from canonical to general groups in Section 6; stated with citations [6, 12, 30, 40], not proved in the paper.
  • standard math Tukia's free-combination theorem (Theorem 2.6 of [40]): a system of cyclic Fuchsian groups satisfying the free-combination condition generates a free product, discrete when polygon sides are arcs of isometric circles.
    Used in the proofs of Theorems 4 and 12 to conclude freeness and discreteness of the group generated by the polygon's side-pairing transformations.
  • standard math Poincaré's Polygon Theorem: a convex polygon whose sides are paired by isometries satisfying the cycle relations generates a Fuchsian group with the corresponding signature.
    Invoked in the proofs of Theorems 4 and 12 to identify the signature (genus, elliptic orders, cusp count) of the generated group.
  • standard math Lehner's free-product theorem: a Fuchsian group with signature (g; m1,...,mr; t>=1) is isomorphic to Z_{m1} * ... * Z_{mr} * Z * ... * Z (2g+t-1 copies of Z).
    Motivates the block decomposition of the canonical polygon (Definition 2) and the independent-generator structure used throughout.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reduction theory for Fuchsian groups with cusps." pith.science (2026). https://pith.science/paper/ESA2QN23

@misc{pith2026250716958,
  author       = {Pith},
  title        = {Pith review of: Reduction theory for Fuchsian groups with cusps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ESA2QN23}},
  note         = {Machine review of arXiv:2507.16958}
}
read the original abstract

We study a family of Bowen-Series-like maps associated to any finitely generated Fuchsian group of the first kind with at least one cusp. These maps act on the boundary of the hyperbolic plane in a piecewise manner by generators of the group. We show that the two-dimensional natural extension (reduction map) of the boundary map has a domain of bijectivity and global attractor with a finite rectangular structure, confirming a conjecture of Don Zagier. Our work is based on the construction of a special fundamental polygon, related to the free product structure of the group, whose marking is preserved by "Teichm\"uller deformation."

Figures

Figures reproduced from arXiv: 2507.16958 by the authors.

Figure 1
Figure 1. Example of polygon, partition, and attractor (genus 1 with 3 elliptic points and 2 cusps). Fuchsian groups with at least one cusp, i.e., with signature (g, m1, ..., mr;t ≥ 1), are free products of cyclic groups [28], and the generators of these cyclic groups are called independent generators. We consider fundamental polygons related to the free product structure of the group whose side-pairing transformations are in… view at source ↗
Figure 2
Figure 2. Dirichlet (left) and quasi-ideal (right) fundamental polygons for the modular group in the half-plane model. Kulkarni’s construction of special polygons for subgroups of the modular group mentioned above [27] is based on Farey symbols and is different from ours. In par￾ticular, if the number of cusps is greater than 1, the translation in the half-plane is included as one of the parabolic generators while we specific… view at source ↗
Figure 3
Figure 3. Canonical polygon for signature (1; 2, 3, 7; 2). Remark 3. Property (5) of the above definition implies that the glued sides are arcs of Euclidean circles of the same radius and the point closest to 0 ∈ D in one circle is mapped to the point closest to 0 in another [21, Theorem 3.3.4], hence the side￾pairing transformations are unique and thus the polygon is marked. Therefore, for given signature (g; m1, m2, ..., mr… view at source ↗
Figures from the paper (12 more)
Figure 4
Figure 4. Figure 4: Examples of fundamental polygons used in free combinations. The sets identified above are indeed fundamental domains for respective groups as the maximal non-empty subset of D containing no equivalent points [29, Chapter IV, 1A]. Tukia’s result on discrete groups obtai…
Figure 5
Figure 5. Figure 5: (the right-most part is the Teichm¨uller deformation, not an image under h). This proves arg V ′ k < arg V ′ k+1. By similar reasoning, arg V ′ k−1 < arg V ′ k as well. Therefore the set V ′ = {V ′ k : Vk ∈ V} is also ordered by the argument. Connecting Vk−1 Vk+1 Vk h(…
Figure 6
Figure 6. Figure 6: Labels of points on the boundary. Recall that V0 = 1. We will make frequent use of the point (14) v := e (π/ℓ)i , which is either the vertex V1 if V1 is ideal or the projection V1 |V1| of the elliptic vertex V1 to the boundary. In the latter case we denote (15) p := P1…
Figure 7
Figure 7. Figure 7: Orbit of v and p under cm for m = 6 (left), m = 7 (right). If Ak = Mk is an elliptic partition point in B(n), then the end of the cycle is the second endpoint of the geodesic through Vk and Mk, which (since F is canonical) is −Mk. If ℓ is even, −Mk is the middle point …
Figure 8
Figure 8. Figure 8: Bijectivity domain (attractor) ΩA for s = □□258∞ with non-ideal Ak = Mk, and its image. For sk ∈ {□, 2,∞}, the strip Ω(sk) A does not depend on the partition A and is given by (19) Ω (□) A = ([v 1/2 , 1] × [1, v1/2 ]) ∪ ([v, v1/2 ] × [v 1/2 , v]) ∪ ([v 3/2 , v] × [v, v…
Figure 9
Figure 9. Figure 9: shows Ω(10) A as a union of L10(j) and U10(i) rectangles, and [PITH_FULL_IMAGE:figures/full_fig_p020_9.png]
Figure 10
Figure 10. Figure 10: The horizontal strip Ω(11) A and its image under FA. More precisely, let (u, w) ∈ Ω (sk) A , w ∈ [Pj , Qj+1], then F|[Pj ,Qj+1] = γj . Also Rk−1 (w) ∈ Rk−1 [Pj , Qj+1] and so F|Rk−1[Pj ,Qj+1] = Rk−1γjR−(k−1). Therefore FA(R k−1 × R k−1 )(Ω(sk) A ) = (R k−1 γskR −(k−1)…
Figure 11
Figure 11. Figure 11: By isometric circle argument, orbits must escape the orange sets. Each iterate (un, wn) := F n A(u0, w0) is acted on by a M¨obius transformation we can call γk. By Property (5) of Definition 2, the isometric circle of γk contains a side of the canonical polygon, and γ…
Figure 12
Figure 12. Figure 12: Rectangles forming the exceptional set for k = 1, m = 9 [PITH_FULL_IMAGE:figures/full_fig_p024_12.png]
Figure 13
Figure 13. Figure 13: Images of exceptional rectangle Lbm(1) (red). With the canonical case complete, we now prove the main theorem. 6. Proof of Main Theorem Let Γ be any Fuchsian group of the first kind with signature (g; m1, ..., mr;t ≥ 1). Let F0 be the canonical marked quasi-ideal poly…
Figure 14
Figure 14. Figure 14: Standard-position fundamental polygons [PITH_FULL_IMAGE:figures/full_fig_p028_14.png]
Figure 15
Figure 15. Figure 15: (a) in the disk model is exactly the right part of [PITH_FULL_IMAGE:figures/full_fig_p029_15.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups

    math.DS 2025-11 unverdicted novelty 1.0 of 10

    Algebraic correspondences mate rational maps with Kleinian groups, and the modular Mandelbrot set is homeomorphic to the Mandelbrot set—this survey reports those results.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adler and Flatto revisited: cross-sections for geodesic flow on compact surfaces of constant negative curvature

    Adam Abrams and Svetlana Katok. Adler and Flatto revisited: cross-sections for geodesic flow on compact surfaces of constant negative curvature. Studia Math. , 246(2):167–202, 2019

    work page 2019

  2. [2]

    The backward continued fraction map and geodesic flow.Ergodic Theory and Dynamical Systems , 4(4):487–492, 1984

    Roy Adler and Leopold Flatto. The backward continued fraction map and geodesic flow.Ergodic Theory and Dynamical Systems , 4(4):487–492, 1984

    work page 1984

  3. [3]

    Geodesic flows, interval maps, and symbolic dynamics

    Roy Adler and Leopold Flatto. Geodesic flows, interval maps, and symbolic dynamics. Bull. Amer. Math. Soc. (N.S.) , 25(2):229–334, 1991

    work page 1991

  4. [4]

    Riemann’s mapping theorem for variable metrics.Ann

    Lars Ahlfors and Lipman Bers. Riemann’s mapping theorem for variable metrics.Ann. of Math. (2), 72:385–404, 1960

    work page 1960

  5. [5]

    Alan F. Beardon. The geometry of discrete groups , volume 91 of Graduate Texts in Mathemat- ics. Springer-Verlag, New York, 1995. Corrected reprint of the 1983 original

    work page 1995

  6. [6]

    Uniformization, moduli, and Kleinian groups

    Lipman Bers. Uniformization, moduli, and Kleinian groups. Bull. London Math. Soc. , 4:257– 300, 1972

    work page 1972

  7. [7]

    Markov maps associated with Fuchsian groups

    Rufus Bowen and Caroline Series. Markov maps associated with Fuchsian groups. Publications Math´ ematiques de l’IH´ES, 50:153–170, 12 1979

    work page 1979

  8. [8]

    Generators and relations of γ0(n)

    Yasuhiro Chuman. Generators and relations of γ0(n). Jour. Math. Kyoto Univ. , 13-2:381–390, 1973

    work page 1973

Show all 44 references
  1. [9]

    Dynamics of geodesic flows on hyperbolic compact surfaces with some elliptic points

    Dawoud Ahmadi Dastjerdi and Lamei Sanaz. Dynamics of geodesic flows on hyperbolic compact surfaces with some elliptic points. Dynamical Systems, 29:537–568, 2014

    2014

  2. [10]

    Adrien Douady and Clifford J. Earle. Conformally natural extension of homeomorphisms of the circle. Acta Math., 157(1-2):23–48, 1986

    1986

  3. [11]

    Earle and Curt McMullen

    Clifford J. Earle and Curt McMullen. Quasiconformal isotopies. In Holomorphic functions and moduli, Vol. I (Berkeley, CA, 1986) , volume 10 of Math. Sci. Res. Inst. Publ. , pages 143–154. Springer, New York, 1988

    1986

  4. [12]

    Discontinuous groups of isometries in the hyperbolic plane

    Werner Fenchel and Jakob Nielsen. Discontinuous groups of isometries in the hyperbolic plane . Walter de Gruyter, 2003

    2003

  5. [13]

    L. R. Ford. The fundamental region for a Fuchsian group. Bull. Amer. Math. Soc. , 31(9- 10):531–539, 1925

    1925

  6. [14]

    L. R. Ford. Automorphic functions. Chelsea Publishing Co., New York, second edition, 1951

    1951

  7. [15]

    Die erzeugenden der hauptkongruenzgruppen fur primzahlstufen

    Hermann Frasch. Die erzeugenden der hauptkongruenzgruppen fur primzahlstufen. Math. Ann., 108 (1932), 229-252 , 108:229–252, 1932

    1932

  8. [16]

    Robert Fricke and Felix Klein.Lectures on the theory of automorphic functions. Vol. 1, volume 3 of CTM. Classical Topics in Mathematics . Higher Education Press, Beijing, 2017. Translated from the German original [MR0183872] by Arthur M. DuPre

    2017

  9. [17]

    Generalized Hecke groups and Hecke polygons

    Shuechin Huang. Generalized Hecke groups and Hecke polygons. Ann. Acad. Sci. Fenn. Ser. A. I. , 24:187–214, 1999

    1999

  10. [18]

    Realizability of torsion free subgroups with prescribed signatures in Fuchsian groups

    Shuechin Huang. Realizability of torsion free subgroups with prescribed signatures in Fuchsian groups. Taiwanese Journal of Mathematics , 13(2):441–457, 2009

    2009

  11. [19]

    Jones and David Singerman

    Gareth A. Jones and David Singerman. Complex functions. Cambridge University Press, Cam- bridge, 1987. An algebraic and geometric viewpoint

    1987

  12. [20]

    Hyperbolic manifolds and discrete groups

    Michael Kapovich. Hyperbolic manifolds and discrete groups . Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Ltd., Boston, MA, 2009. Reprint of the 2001 edition

    2009

  13. [21]

    Fuchsian groups

    Svetlana Katok. Fuchsian groups . Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1992

    1992

  14. [22]

    Structure of attractors for (a,b)-continued fraction trans- formations

    Svetlana Katok and Ilie Ugarcovici. Structure of attractors for (a,b)-continued fraction trans- formations. J. Mod. Dyn. , 4(4):637–691, 2010

    2010

  15. [23]

    Applications of ( a, b)-continued fraction transformations

    Svetlana Katok and Ilie Ugarcovici. Applications of ( a, b)-continued fraction transformations. Ergodic Theory Dynam. Systems , 32(2):755–777, 2012

    2012

  16. [24]

    Structure of attractors for boundary maps associated to Fuchsian groups

    Svetlana Katok and Ilie Ugarcovici. Structure of attractors for boundary maps associated to Fuchsian groups. Geom. Dedicata, 191:171–198, 2017. REDUCTION THEORY FOR FUCHSIAN GROUPS WITH CUSPS 31

    2017

  17. [25]

    Canonical polygons for finitely generated Fuchsian groups

    Linda Keen. Canonical polygons for finitely generated Fuchsian groups. Acta Math., 115:1–16, 1965

    1965

  18. [26]

    Gesammelte mathematische Abhandlungen

    Felix Klein. Gesammelte mathematische Abhandlungen . Springer-Verlag, Berlin-New York,

  19. [27]

    An arithmetic-geometric method in the study of the subgroups of the modular group

    Ravi Kulkarni. An arithmetic-geometric method in the study of the subgroups of the modular group. American Journal of Mathematics , 113:1053–1133, 1991

    1991

  20. [28]

    Representations of a class of infinite groups

    Joseph Lehner. Representations of a class of infinite groups. Michigan Math. J. , 7:233–236, 1960

    1960

  21. [29]

    Discontinuous groups and automorphic functions , volume No

    Joseph Lehner. Discontinuous groups and automorphic functions , volume No. VIII of Mathe- matical Surveys. American Mathematical Society, Providence, RI, 1964

    1964

  22. [30]

    The classification of non-Euclidean plane cristallographic groups

    Alexander Murray Macbeath. The classification of non-Euclidean plane cristallographic groups. Can. J. Math. , 4:1192–1205, 1967

    1967

  23. [31]

    On homotopic mappings of Riemann surfaces

    Albert Marden. On homotopic mappings of Riemann surfaces. Ann. of Math. (2), 90:1–8, 1969

    1969

  24. [32]

    Isomorphism between Fuchsian groups

    Albert Marden. Isomorphism between Fuchsian groups. Lecture Notes in Math., Springer- Verlag, 505:56–78, 1976

    1976

  25. [33]

    On Poincar´ e’s theorem for fundamental polygons

    Bernard Maskit. On Poincar´ e’s theorem for fundamental polygons. Adv. in Math. , 7:219–230, 1971

    1971

  26. [34]

    On the classification of Kleinian groups

    Bernard Maskit. On the classification of Kleinian groups. II. Signatures. Acta Math. , 138(1- 2):17–42, 1976

    1976

  27. [35]

    Isomorphisms of function groups

    Bernard Maskit. Isomorphisms of function groups. J. Analyse Math. , 32:63–82, 1977

    1977

  28. [36]

    ¨Uber die erzeugenden von kongruenzuntergruppen der modulgruppe

    Hans Rademacher. ¨Uber die erzeugenden von kongruenzuntergruppen der modulgruppe. Abh. Math. Sem. Univ. Hamburg , 7(1):134–148, 1929

    1929

  29. [37]

    Teichm¨ uller space and fundamental domains of Fuchsian groups

    Paul Schmutz Schaller. Teichm¨ uller space and fundamental domains of Fuchsian groups. En- seign. Math. (2) , 45(1-2):169–187, 1999

    1999

  30. [38]

    Symbolic dynamics for geodesic flows

    Caroline Series. Symbolic dynamics for geodesic flows. Acta Math., 146:103–128, 1981

    1981

  31. [39]

    The boundary mapping induced by an isomorphism of covering groups

    Tuomas Sorvali. The boundary mapping induced by an isomorphism of covering groups. Ann. Acad. Sci. Fenn. Ser. A. I. , 526:1–31, 1972

    1972

  32. [40]

    On discrete groups of the unit disk and their isomorphisms

    Pekka Tukia. On discrete groups of the unit disk and their isomorphisms. Ann. Acad. Sci. Fenn., Series A, I. Math. , 504:5–44, 1972

    1972

  33. [41]

    Quasiconformal extension of quasisymmetric mappings compatible with a M¨ obius group

    Pekka Tukia. Quasiconformal extension of quasisymmetric mappings compatible with a M¨ obius group. Acta Math., 154(3-4):153–193, 1985

    1985

  34. [42]

    Reduction theory and periods of modular forms, 2023

    Don Zagier. Reduction theory and periods of modular forms, 2023. https://archive. mpim-bonn.mpg.de/id/eprint/4867/22/ManinSeminarTalk-fast.pdf

    2023

  35. [43]

    Surfaces and Planar Discontinuous Groups, Lecture Notes in Mathematics 835

    Heiner Zieschang, Elmar Vogt, and Hans-Dieter Coldewey. Surfaces and Planar Discontinuous Groups, Lecture Notes in Mathematics 835 . Springer-Verlag, 1980. F aculty of Pure and Applied Mathematics, Wroc law University of Science and Technology, Wroc law, 50370, Poland Current:...

    1980

  36. [1973]

    (Dritter Band: Elliptische Funktionen, 1923)

    1923

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.