Fact-checked by Grok 2 weeks ago

Fuchsian group

A Fuchsian group is a discrete subgroup of the projective special linear group PSL(2, ℝ), consisting of 2×2 real matrices with determinant 1, up to scalar multiples, and acting via Möbius transformations on the upper half-plane model of the hyperbolic plane.^[1]^[2] This action is faithful, orientation-preserving, and properly discontinuous, meaning that for any compact set in the upper half-plane, only finitely many group elements map it to overlapping regions, ensuring the quotient space is a manifold.^[2]^[3] The term "Fuchsian" honors the German mathematician Lazarus Fuchs, whose work on linear differential equations with regular singular points inspired the concept, particularly through connections to hypergeometric functions.^[4] Henri Poincaré systematically developed the theory in his 1882 paper "Théorie des groupes fuchsiens," where he explored these groups as tools for constructing automorphic functions and addressing the uniformization of Riemann surfaces. Poincaré's insights revealed that such groups generate discrete actions that tile the hyperbolic plane via fundamental domains, like polygons with paired sides satisfying angle conditions.^[1] Fuchsian groups play a central role in hyperbolic geometry and topology, as their quotients by torsion-free subgroups yield Riemann surfaces of genus g \geq 2, endowing them with a natural hyperbolic metric via the uniformization theorem.^[3] Examples include the modular group PSL(2, ℤ), which is Fuchsian and classifies elliptic curves over the complex numbers, and translation subgroups like \{ z \mapsto z + n \mid n \in \mathbb{Z} \}, generating infinite-area quotients with cusps.^[3] Elements are classified by trace: elliptic (|\operatorname{tr}| < 2), parabolic (|\operatorname{tr}| = 2), or hyperbolic (|\operatorname{tr}| > 2), determining fixed points and dynamics on the boundary circle.^[3] Their study extends to arithmetic cases, Shimura curves, and representations in number theory, while geometrically finite subgroups admit fundamental polygons whose areas relate to the Euler characteristic by Gauss-Bonnet: \mu(\mathbb{H}^2 / \Gamma) = 2\pi (2g - 2 + \sum (1 - 1/m_i)), where g is the genus and m_i are elliptic orders.^[1]^[5]

Definitions

On the Upper Half-Plane

The upper half-plane \mathbb{H} is the open set \{ z = x + iy \in \mathbb{C} \mid y > 0 \} in the complex plane, endowed with the Riemannian metric ds^2 = \frac{dx^2 + dy^2}{y^2}, which induces a geometry of constant curvature -1.^[6] This metric defines the hyperbolic distance between points, ensuring that geodesics are either vertical lines or semicircles orthogonal to the real axis, and it models the hyperbolic plane \mathbb{H}^2.^[6] The group of orientation-preserving isometries of \mathbb{H} under this metric is the projective special linear group \mathrm{PSL}(2, \mathbb{R}), consisting of $2 \times 2 real matrices with determinant 1, modulo \{\pm I\}.^[7] Elements of \mathrm{PSL}(2, \mathbb{R}) act on \mathbb{H} via Möbius transformations of the form z \mapsto \frac{az + b}{cz + d}, where a, b, c, d \in \mathbb{R} and ad - bc = 1.^[7] These transformations preserve the hyperbolic metric, mapping geodesics to geodesics and fixing the real line as the boundary at infinity.^[7] A Fuchsian group \Gamma is a discrete subgroup of \mathrm{PSL}(2, \mathbb{R}), where discreteness means that \Gamma has no accumulation points in the topological space \mathrm{PSL}(2, \mathbb{R}) equipped with the subspace topology from \mathrm{GL}(2, \mathbb{R}).^[3] Equivalently, the action of \Gamma on \mathbb{H} is properly discontinuous: for every z \in \mathbb{H}, there exists a neighborhood U of z such that \gamma U \cap U = \emptyset for all \gamma \in \Gamma \setminus \{e\}, ensuring that orbits \Gamma z are discrete subsets of \mathbb{H} with no limit points in \mathbb{H}.^[8] This condition excludes elliptic elements of infinite order, as such rotations around a fixed point in \mathbb{H} would generate accumulating orbits.^[3] Fuchsian groups were introduced by Henri Poincaré in 1882 as discrete groups of Möbius transformations generating motions in non-Euclidean (hyperbolic) geometry, motivated by the uniformization of Riemann surfaces. They represent the two-dimensional analogue of the more general Kleinian groups, which act on hyperbolic 3-space.

General Formulation

A Fuchsian group is defined abstractly as a discrete subgroup of the group of orientation-preserving isometries of the hyperbolic plane \mathbb{H}^2.^[9] Proper discontinuity of the action means that for every compact subset K \subset \mathbb{H}^2, the set \{ g \in G \mid gK \cap K \neq \emptyset \} is finite.^[10] This ensures that the quotient space \mathbb{H}^2 / G is a hyperbolic 2-orbifold.^[11] Every Fuchsian group G is conjugate in the full isometry group of \mathbb{H}^2 to a subgroup of \mathrm{[PSL](/page/PSL)}(2, \mathbb{R}), the group of [2 \times](/page/2_Times) 2 real matrices of determinant 1 acting by Möbius transformations on the upper half-plane model of \mathbb{H}^2.^[9] Fuchsian groups form a special case of Kleinian groups, which are discrete subgroups of \mathrm{[PSL](/page/PSL)}(2, \mathbb{C}) acting on hyperbolic 3-space; specifically, a Kleinian group is Fuchsian if its limit set lies on a circle in the Riemann sphere at infinity. The fundamental groups of closed orientable hyperbolic surfaces provide canonical examples of Fuchsian groups, as each such surface is isometric to \mathbb{H}^2 / \pi_1(S) for a surface S of genus g \geq 2. The Ahlfors–Bers theorem establishes a parametrization of the Teichmüller space of Fuchsian groups of fixed topological type via quasiconformal extensions: for a finitely generated Fuchsian group \Gamma of the first kind, the Teichmüller space T(\Gamma) is realized as an open domain in the complex vector space of holomorphic quadratic differentials on the quotient surface, where points correspond to equivalence classes of quasiconformal deformations of \Gamma with Beltrami coefficients bounded by the Bers constant.

Examples

Elementary Fuchsian Groups

Elementary Fuchsian groups are discrete subgroups of \mathrm{PSL}(2,\mathbb{R}) whose limit sets contain at most two points on the boundary \partial \mathbb{H} of the upper half-plane \mathbb{H}.^[12] These groups are characterized by having a finite orbit under the group action on \partial \mathbb{H}, making their dynamics simple compared to non-elementary cases.^[13] Up to conjugacy in \mathrm{PSL}(2,\mathbb{R}), elementary Fuchsian groups are either cyclic or isomorphic to the infinite dihedral group D_\infty.^[12] Cyclic elementary Fuchsian groups are generated by a single non-identity element g \in \mathrm{[PSL](/page/PSL)}(2,\mathbb{[R](/page/R)}), whose type is determined by the absolute value of the trace of a lift to \mathrm{SL}(2,\mathbb{R}): elliptic if |\mathrm{tr}(g)| < 2, parabolic if |\mathrm{tr}(g)| = 2, or hyperbolic if |\mathrm{tr}(g)| > 2.^[14] Elliptic cyclic groups are finite, isomorphic to \mathbb{Z}_n for some n \geq 2, and conjugate to subgroups of the rotation group \mathrm{SO}(2) acting by finite-order rotations around a fixed point in \mathbb{H}.^[12] For example, the group generated by an elliptic element of order n fixes a point in \mathbb{H} and has an empty limit set. Parabolic cyclic groups are infinite, isomorphic to \mathbb{Z}, and fix exactly one point on \partial \mathbb{H}; a standard example is the subgroup \langle z \mapsto z + 1 \rangle, which acts by horizontal translations and produces a horocyclic orbit consisting of points at constant imaginary part approaching the cusp at infinity.^[13] Hyperbolic cyclic groups are also infinite, isomorphic to \mathbb{Z}, and fix two distinct points on \partial \mathbb{H}, with the group action expanding distances along the axis connecting these points.^[12] Non-cyclic elementary Fuchsian groups are conjugate to D_\infty, generated by two elements fixing the same point on \partial \mathbb{H} (e.g., two parabolic elements) or by a hyperbolic element and an order-2 elliptic element interchanging the fixed points of the hyperbolic one.^[13] These groups have limit sets consisting of one or two points. All elementary Fuchsian groups are virtually abelian, with rank at most 2, and their classification up to conjugacy is fully determined by the traces and fixed points of generators.^[12]

Non-Elementary Fuchsian Groups

Non-elementary Fuchsian groups are discrete subgroups of \mathrm{PSL}(2, \mathbb{R}) whose limit sets consist of infinitely many points on the boundary \mathbb{R} \cup \{\infty\} of the upper half-plane \mathbb{H}. This distinguishes them from elementary Fuchsian groups, which have limit sets containing at most two points and are either finite or virtually cyclic.^[15] Non-elementary groups exhibit rich dynamics, often being free or surface groups, and play a central role in the uniformization of Riemann surfaces of genus greater than 1. A canonical example is the modular group \Gamma = \mathrm{[PSL](/page/PSL)}(2, \mathbb{[Z](/page/Z)}), which acts on \mathbb{H} via Möbius transformations with integer coefficients. It is generated by the elliptic element S: z \mapsto -1/z of order 2 and the parabolic element T: z \mapsto z + 1. The fundamental domain for this action is the hyperbolic triangle defined by |\mathrm{Re}(z)| \leq 1/2 and |z| \geq 1, which tiles \mathbb{H} under the group action, yielding the modular surface as the quotient.^[15] This group, first studied by Poincaré in connection with automorphic functions, has finite covolume and limit set the entire real line, showcasing Cantor-like structure in its dynamics. Triangle groups provide a broad family of non-elementary Fuchsian groups associated with hyperbolic tessellations. The (p, q, r)-triangle group is generated by rotations of orders p, q, and r about the vertices of an ideal or finite hyperbolic triangle with corresponding angles \pi/p, \pi/q, and \pi/r, where $1/p + 1/q + 1/r < 1. These groups are cocompact when all orders are finite and act by tessellating \mathbb{H} with congruent triangles, producing quotients that are hyperbolic surfaces. For instance, the (2,3,7)-triangle group uniformizes the Bolza surface, a genus-2 Riemann surface with high symmetry.^[16] Hecke groups extend the modular group to a parameterized family. The Hecke group H_q for integer q \geq 3 is generated by S: z \mapsto -1/z and U_q: z \mapsto z + 2\cos(\pi/q), reducing to the modular group when q=3. These are Fuchsian groups of the first kind with a fundamental domain that is an infinite hyperbolic triangle with vertices at cusps and angles $0, \pi/2, \pi/q. They have finite covolume and are used in studying modular forms and cusp forms on non-compact surfaces.^[17] Fuchsian Schottky groups offer freely generated examples of non-elementary Fuchsian groups, constructed via pairing disjoint semicircles (or intervals) on the boundary. A classical Fuchsian Schottky group of rank g \geq 2 is freely generated by $2g hyperbolic elements pairing g pairs of disjoint boundary arcs, with the region between each pair serving as a generator of the fundamental domain. Every free Fuchsian group of finite rank at least 2 arises this way, and their quotients are compact Riemann surfaces of genus g. The limit set is a Cantor set, and these groups were shown by Poincaré to uniformize punctured spheres before Maskit's generalization to higher genera.^[18] Infinite dihedral groups refer to non-cyclic virtually cyclic infinite Fuchsian subgroups isomorphic to D_\infty, which stabilize a geodesic in \mathbb{H} and are generated by a hyperbolic element (acting by translations along the geodesic) and an order-2 elliptic element (interchanging the fixed points on the boundary). Groups generated by a single hyperbolic element are instead infinite cyclic. However, these are all elementary, and non-elementary examples like the above exhibit more complex orbital dynamics on infinite limit sets.

Limit Sets

Construction and Basic Properties

The limit set \Lambda(\Gamma) of a Fuchsian group \Gamma \leq \mathrm{PSL}(2,\mathbb{R}) acting on the upper half-plane \mathbb{H} is defined as the closure of the accumulation points of the orbit \Gamma \cdot z_0 for any fixed z_0 \in \mathbb{H}, and this set is contained in the boundary \partial \mathbb{H} = \mathbb{R} \cup \{\infty\}. Equivalently, \Lambda(\Gamma) = \bigcup_{z \in \mathbb{H}} \mathrm{AP}_{\partial \mathbb{H}}(\Gamma z), where \mathrm{AP}_{\partial \mathbb{H}}(\Gamma z) denotes the set of accumulation points of \Gamma z in \partial \mathbb{H}. This definition is independent of the choice of z_0, as all orbits accumulate in the same closed subset of the boundary.^[12] The limit set can be constructed explicitly in certain cases, such as through sequences of nested intervals in the classical Schottky construction for free Fuchsian groups, where pairs of disjoint intervals are mapped to each other by group generators, and the limit set emerges as the intersection of shrinking nested components. More generally, points in \Lambda(\Gamma) arise as radial limits: for a sequence \{\gamma_n\} \subset \Gamma with \gamma_n z \to \xi \in \partial \mathbb{H} along geodesics from z \in \mathbb{H} to \xi, where the hyperbolic distance d(z, \gamma_n z) \to \infty. For non-elementary Fuchsian groups, \Lambda(\Gamma) is perfect—closed and containing no isolated points—and compact as a closed subset of the compactified real line \mathbb{RP}^1.^[19]^[12] Basic properties of \Lambda(\Gamma) include invariance under the action of \Gamma, meaning \gamma \Lambda(\Gamma) = \Lambda(\Gamma) for all \gamma \in \Gamma, which follows directly from the group action preserving accumulation points of orbits. For Schottky-type Fuchsian groups, generated freely by hyperbolic elements pairing disjoint intervals, \Lambda(\Gamma) is nowhere dense in \mathbb{RP}^1, forming a Cantor-like subset with empty interior. The Hausdorff dimension \dim_H \Lambda(\Gamma) satisfies $0 < \dim_H \Lambda(\Gamma) \leq 1, with the upper bound reflecting the one-dimensional nature of the boundary and equality holding for groups of the first kind whose limit sets fill \mathbb{R} \cup \{\infty\}.^[20]^[20]^[21] Points in \Lambda(\Gamma) are classified as ordinary or exceptional based on the nature of radial limits. An ordinary point \xi \in \Lambda(\Gamma) admits radial limits of holomorphic functions or geodesics approaching \xi, while exceptional points lack such uniform approximation; however, the set of radial limit points is dense in \Lambda(\Gamma) for non-elementary groups.^[22]^[12] Fuchsian groups, as a subclass of Kleinian groups, inherit the property that their limit sets have Lebesgue measure zero on \mathbb{R} \cup \{\infty\} when the group is of the second kind (i.e., the limit set is not the entire boundary), as established in Ahlfors' finiteness theorem and subsequent resolutions of the measure conjecture for finitely generated cases. By the dichotomy theorem, the limit set of a Fuchsian group has Lebesgue measure zero or full measure on the boundary, with the latter occurring precisely for groups of the first kind.^[23]^[24]

Classification of Limit Sets

Fuchsian groups are classified as elementary or non-elementary based on the cardinality and structure of their limit sets. Elementary Fuchsian groups have limit sets consisting of at most two points on the real projective line \mathbb{RP}^1. The trivial group has an empty limit set (0 points). Cyclic groups generated by a parabolic element have a limit set consisting of a single point, corresponding to the cusp at infinity. Cyclic groups generated by a hyperbolic element have a limit set of exactly two points, which are the fixed points of the generator and serve as the endpoints of its geodesic axis in the hyperbolic plane. Non-elementary Fuchsian groups have perfect limit sets, meaning they are closed, nonempty, and every point is a limit point. These limit sets exhibit diverse structures: for Schottky groups, which are free groups generated by hyperbolic elements satisfying a ping-pong condition, the limit set is a totally disconnected Cantor set of measure zero. In contrast, for lattices such as the modular group \mathrm{PSL}(2,\mathbb{Z}), the limit set is the entire \mathbb{RP}^1, filling the boundary completely and having positive (full) measure. Fuchsian groups of the first kind, which include such lattices, always have the full \mathbb{RP}^1 as their limit set, while those of the second kind have proper subsets. Sullivan developed a classification of measures on limit sets via conformal densities, extending Patterson's construction for Fuchsian groups. A conformal density of dimension \delta(\Gamma) is a family of measures \{\mu_x\}_{x \in \mathbb{H}^2} on the limit set \Lambda(\Gamma) satisfying \frac{d\mu_x}{d\mu_y}(\xi) = e^{\delta(\Gamma) b_\xi(x,y)} for \xi \in \Lambda(\Gamma), where b_\xi is the Busemann function; these densities are invariant under the group action and unique up to scalar if the action is ergodic. For Fuchsian groups, such densities support the Patterson-Sullivan measures when the Poincaré series diverges at the critical exponent.^[25] The Hausdorff dimension of the limit set \Lambda(\Gamma) equals the critical exponent \delta(\Gamma) of the Poincaré series, defined as the infimum of s > 0 such that \sum_{\gamma \in \Gamma} e^{-s d(o, \gamma o)} < \infty for a basepoint o \in \mathbb{H}^2:

\dim_H \Lambda(\Gamma) = \delta(\Gamma).

This equality holds for non-elementary Fuchsian groups, with \delta(\Gamma) \leq 1; equality to 1 occurs precisely for groups of the first kind.^[26] Patterson-Sullivan measures, constructed as weak limits of measures from the Poincaré series at the critical exponent, are finite, nonatomic, and supported on \Lambda(\Gamma). For Fuchsian groups without parabolic elements, these measures are mutually absolutely continuous with respect to Hausdorff measure of dimension \delta(\Gamma) and are \delta(\Gamma)-conformal, satisfying \frac{d(\mu \circ \gamma^{-1})}{d\mu}(\xi) = \| \gamma'(\xi) \|^{\delta(\Gamma)} for \xi \in \Lambda(\Gamma). In the context of hyperbolic groups, they provide a geometric measure of maximal entropy on the boundary, facilitating the study of thermodynamic formalism and equidistribution of orbits.^[27]

Geometric Properties

Fundamental Domains and Tessellations

A fundamental domain for a Fuchsian group \Gamma acting on the upper half-plane \mathbb{H} is a closed region D \subset \mathbb{H} such that the union \Gamma \cdot D = \mathbb{H} and the interiors of distinct translates gD^\circ for g \in \Gamma are disjoint, ensuring D contains exactly one representative from each orbit under the group action.^[28] This construction allows \Gamma to tile \mathbb{H} via the translates \Gamma \cdot D, providing a fundamental region whose boundary identifications yield the quotient space.^[14] The Dirichlet fundamental domain centered at a point p \in \mathbb{H} with trivial stabilizer is defined as D(p) = \{ z \in \mathbb{H} : d(z, p) \leq d(gz, p) \ \forall g \in \Gamma \}, where d denotes the hyperbolic distance, forming the convex hull of points in \mathbb{H} closer to p than to any other group translate g(p).^[28] Its boundary consists of geodesic segments (sides) perpendicularly bisecting the geodesics joining p to g(p), with each side paired to another via a unique group element g \neq 1, generating \Gamma through these side-pairings.^[28] For finitely generated \Gamma of cofinite area, D(p) is a hyperbolic polygon with finitely many sides.^[28] For infinite-volume Fuchsian groups, the Ford domain provides an alternative construction, defined in the unit disk model \mathbb{D} as the closure of the intersection over g \in \Gamma \setminus \{1\} of the exteriors of the isometric circles of g, intersected with a fundamental domain for any parabolic subgroup stabilizing infinity, such as a vertical strip.^[29] This yields a fundamental domain that is both Dirichlet and Ford (DF domain) precisely when \Gamma is an index-2 subgroup of a reflection group generated by reflections in the sides of a hyperbolic polygon.^[29] Fuchsian triangle groups, generated by rotations around the vertices of a hyperbolic triangle with angles \pi/p, \pi/q, \pi/r where $1/p + 1/q + 1/r < 1, produce regular tessellations of \mathbb{H} by congruent copies of that triangle, with vertices of orders p, q, r.^[14] For the (2,3,7) triangle group, this tessellation underlies the Hurwitz surface of genus 3, the compact Riemann surface of maximal symmetry, obtained as a torsion-free subgroup of index 168.^[30] The quotient \mathbb{H}/\Gamma forms a hyperbolic surface, a non-compact Riemann surface of finite area if \Gamma has cofinite area, or an orbifold if finite stabilizers (elliptic points) are present, with the topology determined by the side-pairings of the fundamental domain.^[28] On this quotient, closed geodesics correspond to conjugacy classes of hyperbolic elements in \Gamma, and the Selberg zeta function, defined as Z(s) = \prod_{\{\gamma\}} \prod_{k=0}^\infty (1 - e^{-(s+k) \ell(\gamma)}) over primitive closed geodesics of length \ell(\gamma), encodes their lengths and relates to the spectrum of the Laplacian on L^2(\mathbb{H}/\Gamma).^[31]

Metric Structures

The upper half-plane model of the hyperbolic plane \mathbb{H}^2 carries the Riemannian metric ds^2 = \frac{dx^2 + dy^2}{y^2}, where points are represented as z = x + iy with y > 0. This metric induces the hyperbolic distance between two points z, w \in \mathbb{H}^2 given by

d(z, w) = \arcosh\left(1 + \frac{|z - w|^2}{2 \Im(z) \Im(w)}\right).

^[32] The geodesics in this model, which are the shortest paths minimizing this distance, consist uniquely of semicircles centered on the real axis and orthogonal to it, or vertical rays extending to infinity. These geodesics are invariant under the isometric action of Fuchsian groups, preserving the hyperbolic structure on the quotient.^[33] For a hyperbolic element \gamma in a Fuchsian group \Gamma \subset \mathrm{PSL}(2, \mathbb{R}), the translation length \ell(\gamma) measures the minimal displacement along the unique geodesic axis fixed by \gamma, computed as

\ell(\gamma) = 2 \arcosh\left(\frac{|\operatorname{tr}(\gamma)|}{2}\right),

where \operatorname{tr}(\gamma) is the trace of a matrix representative in \mathrm{SL}(2, \mathbb{R}). This length quantifies the hyperbolic isometry's effect and remains invariant under conjugation within the group.^[34] On the quotient surface X = \Gamma \backslash \mathbb{H}^2, such lengths correspond to closed geodesics, influencing the surface's geometry. The Gauss–Bonnet theorem relates the geometry of X to its topology: for a complete hyperbolic surface of constant curvature -1, the area satisfies \operatorname{area}(X) = -2\pi \chi(X), where the Euler characteristic is \chi(X) = 2 - 2g - n for a surface of genus g with n punctures.^[1] This formula arises from integrating the curvature form over a fundamental domain and applying the theorem's general statement for surfaces. For non-compact surfaces arising from Fuchsian groups, the metric completion includes infinite-area ends: cusps, corresponding to parabolic fixed points, form horocyclic neighborhoods with exponentially decaying widths, while funnels, associated with hyperbolic elements bounding the group, exhibit flaring hyperbolic funnels of infinite area.^[35] A key metric decomposition of hyperbolic surfaces is the thick-thin partition, defined using the Margulis constant \varepsilon > 0, a universal value (approximately 0.263 in dimension 2) such that the \varepsilon-thin part consists of embedded tubes around geodesics shorter than \varepsilon and neighborhoods of cusps, while the thick part has injectivity radius at least \varepsilon/2. This decomposition highlights regions of high distortion near short geodesics or cusps, with the thin parts having bounded diameter in the thick complement.^[36] Such structures can be analyzed via fundamental domains to compute volumes of these components.

References

[1]
[PDF] Poincaré's Theorem for Fuchsian Groups - The University of Chicago
Aug 23, 2011 · In other words, a Fuchsian group is a discrete group of orientation-preserving isometries of the hyperbolic plane. Page 6. 6. JAMES BUCHANAN. We ...
[2]
[PDF] Fuchsian Groups: Intro - UCSD Math
A Fuchsian group is a discrete subgroup of PSL(2, R). A Fuchsian group is a group that acts properly discontinuously on the upper half plane. I have to postpone ...
[3]
[PDF] Fuchsian Groups - CSUSB ScholarWorks
A Fuchsian group is a discrete subgroup of PSL(2,R). Example 3.2.1. The modular group PSL(2,Z) is a discrete subgroup of PSL(2,R) and hence is a Fuchsian group.
[4]
[PDF] Poincaré's Path to Uniformization | Connemara Doran
Poincaré had established Fuchsian groups in the context of the hypergeometric equation, not expecting them to apply more broadly, but found that he had a.
[5]
arithmetic Fuchsian groups and Shimura curves - Documentation
... PSL2(R). An arithmetic Fuchsian group Γ is a discrete subgroup of PSL2(R) which is commensurable with Γ(1) (for some choice of F and A). The classical case ...
[6]
[PDF] 5 The hyperbolic plane - UC Davis Math
We just saw that a metric of constant negative curvature is modelled on the upper half space H with metric dx2 + dy2 y2 which is called the hyperbolic plane.
[7]
https://math.uchicago.edu/~may/REU2017/REUPapers/Beach.pdf
[8]
[PDF] Basics of group actions and Fuchsian groups; Fundamental domains
Nov 9, 2020 · Discreteness. Definition. A subgroup G ⊂ SL(2,R) is a discrete group if G has no accumulation points in SL(2,R). Accumulation points x is ...
[9]
https://link.springer.com/book/10.1007/978-1-4612-1146-4
[10]
Fuchsian group - Encyclopedia of Mathematics
Mar 15, 2023 · To describe Fuchsian groups, Poincaré applied a combinatoric-geometric method, which subsequently became one of the main methods in the theory ...
[11]
[PDF] Fuchsian groups
Nov 8, 2021 · 2.7 Elementary Fuchsian groups. Definition 2.7.1 A subgroup G ⩽ PSL2(R) is called elementary if there exists a point z ∈ b. H such that the ...
[12]
[PDF] Jørgensen Lemma
A discrete subgroup of PSL(2,R) is called Fuchsian group. Examples. (i) The subgroup of integer translations {𝛾𝑛(𝑧) = 𝑧+𝑛|𝑛 ∈ Z} is a Fuchsian group ...
[13]
[PDF] Fuchsian Groups and Fundamental Regions - UChicago Math
A discrete subgroup of G is a Fuchsian Group if it is a discrete subgroup of PSL2(R). Remark 2.2.2. The action of PSL2(R) on the upper half plane H by ...
[14]
Fuchsian Groups, Katok - The University of Chicago Press
This introductory text provides a thoroughly modern treatment of Fuchsian groups that addresses both the classical material and recent developments in the ...
[15]
Mathematical Physics Fuchsian Triangle Groups and Grothendieck ...
On the other hand, Fuchsian triangle groups arise in many contexts, such as in the theory of hypergeometric functions and certain triangular billiard problems, ...
[16]
Hecke Triangle Groups, Transfer Operators and Hausdorff Dimension
Oct 4, 2021 · \) Hecke showed that $ \Gamma _w $ is a Fuchsian group, that is, a discrete subgroup of $ \mathrm {PSL}_2({\mathbb {R}}) $, if and only ...<|separator|>
[17]
[PDF] Fuchsian Schottky groups are classical Schottky groups 1 Introduction
... Fuchsian group G (namely a discrete subgroup of PSL(2,R)) containing no elliptic elements, we form the quotient surface. S = U/G where U is the upper half plane ...
[18]
[PDF] THE LIMIT SET OF FUCHSIAN AND KLEINIAN GROUPS - Dialnet
Notice that M(U) = SL(2, R)/{I} = PSL(2, R). A Fuchsian group is a subgroup of M(A) (or M(U)) which acts discontinuously on A (or U).
[19]
[PDF] Limit sets of discrete groups - ICTP
Then the limit set of such a group is defined to be the set of accumulation points of the orbits. This set has very rich dynamics and a fascinating geometry.<|control11|><|separator|>
[20]
THE HAUSDORFF DIMENSION OF LIMIT SETS OF SOME ...
Let Γs be a Fuchsian group constructed above for any real number s (0 ^ s ^ 1) and let Λs be the limit set of Γs. Then d(Λs) is continuous in s (0 ^ s ^ 1).
[21]
[PDF] dimensions of limit sets of kleinian groups
The set of radial limit points of G is called the radial limit set of G and is denoted by Lr(G). If we fix one point o ∈ C(MG) we get a very clear and.
[22]
A THEOREM OF AHLFORS FOR HYPERBOLIC SPACES H".
Kleinian group G contains only points of approximation. Thus the limit set of a degenerate, purely loxodromic, Kleinian group is of measure zero. In [2], ...
[23]
[PDF] arXiv:2307.03834v1 [math.GR] 7 Jul 2023
Jul 7, 2023 · These are classified into elementary and non-elementary groups. The elementary groups are those whose limit set consists of 0, 1 or 2 points ...
[24]
[PDF] William P. Thurston The Geometry and Topology of Three-Manifolds
A group with limit set contained in a geometric circle is called a Fuchsian group. The limit set for a closed hyperbolic manifold is the entire sphere Sn−1. ∞ .
[25]
[PDF] The density at infinity of a discrete group of hyperbolic motions
— There is a conformal density of dimension 8(r) on the topological limit set which is invariant by F. This result for Fuchsian groups is due to Patterson [4].Missing: classification | Show results with:classification
[26]
Hausdorff dimension and Kleinian groups - Project Euclid
tangential cone with vertex at x (such points are sometimes called radial limit points or points of approximation). The set of such points is denoted At(G).Missing: limits | Show results with:limits
[27]
[PDF] The Patterson Measure: Classics, Variations and Applications
for the construction of the Patterson measure was to study fractal geometric properties of limit sets of Fuchsian groups. The analogue of Patterson's.
[28]
[PDF] Computing fundamental domains for Fuchsian groups - John Voight
to the class of finitely generated non-elementary Fuchsian groups of the first kind. For simplicity, we restrict to the case of groups with finite coarea ...<|control11|><|separator|>
[29]
[PDF] Dirichlet-Ford Domains and Arithmetic Reflection Groups
The purpose of this paper is to determine exactly which Fuchsian groups admit a fundamental domain that is both a Dirichlet domain and a Ford domain (which we ...
[30]
TORSION FREE SUBGROUPS OF FUCHSIAN GROUPS AND ...
The infinite fuchsian group G contains a torsion free subgroup of index k if and only ifk = 0 modulo 2€l, where e = 0ifGhas even type and e = 1 if G has odd ...
[31]
[PDF] Spectral Theory on Hyperbolic Surfaces
Uniformization implies that any Riemann surface can be realized as a quotient of the Riemann sphere C ∪ {∞}, the complex plane C, and the upper half-plane H.
[32]
[PDF] Introduction to Hyperbolic Geometry and Fuchsian Groups
This thesis is an introduction to hyperbolic geometry and Fuchsian groups. We will introduce the Poincaré models of the hyperbolic plane.Missing: applications | Show results with:applications
[33]
[PDF] Geodesics of Hyperbolic Space
The metric of D is ds2 = 4(dx2+dy2). (1−x2+y2)2 = dzdz. (1−|z|2)2 . Definition 1.2. The upper half-plane model of hyperbolic space, H, consists of the upper ...
[34]
[PDF] On multiplicities in length spectra of semi-arithmetic hyperbolic ...
Jun 30, 2025 · defined up to a sign and determines the translation length ℓ(γ) of the ... ℓ = d(z,γz) = 2 arcosh. |tr(γ)|. 2. , where z ∈ H is a point on ...
[35]
[PDF] Complex hyperbolic quasi-Fuchsian groups
Feb 8, 2008 · A complex hyperbolic quasi-Fuchsian group is a discrete, faithful, type preserving and geometrically finite representation of a surface group as ...<|control11|><|separator|>
[36]
[PDF] The Margulis Lemma and the Thick and Thin Decomposition for ...
Thin Decomposition for Convex. Real Projective Surfaces. Suhyoung Choi ... Choi, Convex decompositions of real projective surfaces. I: ?-annuli and ...