Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Fuchsian group
Summary
In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of orientation-preserving isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations of the upper half plane, so a Fuchsian group can be regarded as a group acting on any of these spaces. There are some variations of the definition: sometimes the Fuchsian group is assumed to be finitely generated, sometimes it is allowed to be a subgroup of PGL(2,R) (so that it contains orientation-reversing elements), and sometimes it is allowed to be a Kleinian group (a discrete subgroup of PSL(2,C)) which is conjugate to a subgroup of PSL(2,R).
Fuchsian groups are used to create Fuchsian models of Riemann surfaces. In this case, the group may be called the Fuchsian group of the surface. In some sense, Fuchsian groups do for non-Euclidean geometry what crystallographic groups do for Euclidean geometry. Some Escher graphics are based on them (for the disc model of hyperbolic geometry).
General Fuchsian groups were first studied by , who was motivated by the paper , and therefore named them after Lazarus Fuchs.
Let H = {z in C : Im(z) > 0} be the upper half-plane. Then H is a model of the hyperbolic plane when endowed with the metric
The group PSL(2,R) acts on H by linear fractional transformations (also known as Möbius transformations):
This action is faithful, and in fact PSL(2,R) is isomorphic to the group of all orientation-preserving isometries of H.
A Fuchsian group Γ may be defined to be a subgroup of PSL(2,R), which acts discontinuously on H. That is,
For every z in H, the orbit Γz = {γz : γ in Γ} has no accumulation point in H.
An equivalent definition for Γ to be Fuchsian is that Γ be a discrete group, which means that:
Every sequence {γn} of elements of Γ converging to the identity in the usual topology of point-wise convergence is eventually constant, i.e. there exists an integer N such that for all n > N, γn = I, where I is the identity matrix.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood