In mathematics, Möbius geometry is a branch of geometry — specifically a subfield of conformal geometry — which deals with the study of geometric objects in the extended complex plane. The field is named after the German mathematician August Ferdinand Möbius (1790–1868). Furthermore, it allows the study of planar geometries.
Historical background Möbius laid the foundations of this field, particularly through his mathematical work in 1827: Der barycentrische Calkul (“The Calculus of Centres of Gravity”). In this work, he introduced homogeneous coordinates — coordinates that can include a point at infinity — and addressed projective geometric transformations in particular. In 1858, he discovered the Möbius strip, a one-sided surface. Around the first third of the 20th century, the Austrian mathematician Wilhelm Blaschke introduced another model, whose advantage lies in the embedding of the diffeomorphism group in the described M ( n ) {\displaystyle M(n)} groups of linear mappings. This model further developed the field of Möbius geometry.
Informal introduction Informally, Möbius geometry is the study of geometric transformations turning hyperspheres back into hyperspheres. According to the Erlanger Programm, Möbius geometry describes the effect the Möbius group has on S n {\displaystyle S^{n}} .
Applications Möbius geometry has applications across different fields:
It has been used in computer graphics to compare two three-dimensional shapes by mapping them onto a sphere and defining correspondences between the two surfaces. Möbius geometry also has applications in theoretical physics, particularly special relativity. When studying the relation between the Lorentz group and Möbius transformations, it was found that the laws of physics that rule space-time work exactly like the math of the Möbius group on the sky’s sphere, meaning that the visual bending of incoming light rays for a speeding observer is controlled completely by the rules of Möbius geometry. In addition, Möbius geometry finds applications in architecture, since it enables the creation of subdivision surfaces that reproduce spheres, circular arcs, and other Möbius‑invariant geometric features, which are highly valuable in architectural design. Moreover, it can be applied to engineering, such as aerospace and satellite communications. Here, Möbius transformation modules are used to expand 1D static strips into 2D linear and radial fields. The optical Möbius transformation (OMT) module can make the transformation from any single 1D scanning to 2D scanning possible. One should also consider the application in mathematics, especially spherical geometry. Möbius transformations here have the ability to map specific points on a sphere, thus transforming vast circles back into great circles. This exact method is used in cartography as well, to display spherical parts onto a planar map.
Definition In Möbius geometry, one investigates certain invariant relationships between four distinct points, whereas in metric geometry, the focus lies on the distance between two points. Möbius geometry relies on the geometric and algebraic relationships formed by the pairings of these four points. From these four points, there are three distinct ways to partition them into pairs (e.g., grouping four points z 1 , z 2 , z 3 , z 4 {\textstyle z_{1},z_{2},z_{3},z_{4}} into pairs of two). We can call those three pairings (each made of two points) A , B {\displaystyle A,B} and C {\displaystyle C} . The subfield focuses on properties that remain invariant under Möbius transformations.
Notations
Examples
Möbius transformation A Möbius transformation is a mapping of the form
T ( z ) := a z + b c z + d {\displaystyle T(z):={\frac {az+b}{cz+d}}} . The general rule is: a d − b c ≠ 0 {\displaystyle ad-bc\neq 0} .
Inversion in a circle Any Möbius transformation arises from a sequence of inversions in circles. The map I ( z ) := 1 / z {\displaystyle I(z):=1/z} is called an inversion. The map is defined on
C ∗ := C ∖ { 0 } {\displaystyle \mathbb {C} ^{*}:=\mathbb {C} \setminus \{0\}} . Then, if and only if the circumstances below are fulfilled,
z = r e i t ≠ 0 {\displaystyle z=re^{it}\neq 0}
the inversion 1 / z = ( 1 / ( z z ¯ ) ) ⋅ z = ( 1 / r ) ⋅ e − i t {\displaystyle 1/z=(1/(z{\bar {z}}))\cdot z=(1/r)\cdot e^{-it}}
is composed of the reflection on the unit circle
… excerpt ends here. Continue reading the full article.




