In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form
of one complex variable ; here the coefficients , , , are complex numbers satisfying .
Geometrically, a Möbius transformation can be obtained by first applying the inverse stereographic projection from the plane to the unit sphere, moving and rotating the sphere to a new location and orientation in space, and then applying a stereographic projection to map from the sphere back to the plane. These transformations preserve angles, map every straight line to a line or circle, and map every circle to a line or circle.
The Möbius transformations are the projective transformations of the complex projective line. They form a group called the Möbius group, which is the projective linear group . Together with its subgroups, it has numerous applications in mathematics and physics.
Möbius geometries and their transformations generalize this case to any number of dimensions over other fields.
Möbius transformations are named in honor of August Ferdinand Möbius; they are an example of homographies, linear fractional transformations, bilinear transformations, and spin transformations (in relativity theory).
Overview Möbius transformations are defined on the extended complex plane (i.e., the complex plane augmented by the point at infinity).
Stereographic projection identifies with a sphere, which is then called the Riemann sphere; alternatively, can be thought of as the complex projective line . The Möbius transformations are exactly the bijective conformal maps from the Riemann sphere to itself, i.e., the automorphisms of the Riemann sphere as a complex manifold; alternatively, they are the automorphisms of as an algebraic variety. Therefore, the set of all Möbius transformations forms a group under composition. This group is called the Möbius group, and is sometimes denoted .
The Möbius group is isomorphic to the group of orientation-preserving isometries of hyperbolic 3-space and therefore plays an important role when studying hyperbolic 3-manifolds.
In physics, the identity component of the Lorentz group acts on the celestial sphere in the same way that the Möbius group acts on the Riemann sphere. In fact, these two groups are isomorphic. An observer who accelerates to relativistic velocities will see the pattern of constellations as seen near the Earth continuously transform according to infinitesimal Möbius transformations. This observation is often taken as the starting point of twistor theory.
Certain subgroups of the Möbius group form the automorphism groups of the other simply-connected Riemann surfaces (the complex plane and the hyperbolic plane). As such, Möbius transformations play an important role in the theory of Riemann surfaces. The fundamental group of every Riemann surface is a discrete subgroup of the Möbius group (see Fuchsian group and Kleinian group). A particularly important discrete subgroup of the Möbius group is the modular group; it is central to the theory of many fractals, modular forms, elliptic curves and Pellian equations.
Möbius transformations can be more generally defined in spaces of dimension as the bijective conformal orientation-preserving maps from the to the -sphere. Such a transformation is the most general form of conformal mapping of a domain. According to Liouville's theorem a Möbius transformation can be expressed as a composition of translations, similarities, orthogonal transformations and inversions.
Definition The general form of a Möbius transformation is given by
where , , , are any complex numbers that satisfy .
In case , this definition is extended to the whole Riemann sphere by defining
If , we define
Thus a Möbius transformation is always a bijective holomorphic function from the Riemann sphere to the Riemann sphere.
The set of all Möbius transformations forms a group under composition. This group can be given the structure of a complex manifold in such a way that composition and inversion are holomorphic maps. The Möbius group is then a complex Lie group. The Möbius group is usually denoted as it is the automorphism group of the Riemann sphere.
If , the rational function defined above is a constant (unless , when it is undefined):
where a fraction with a zero denominator is ignored. A constant function is not bijective and is thus not considered a Möbius transformation.
An alternative definition is given as the kernel of the Schwarzian derivative.
Fixed points Every non-identity Möbius transformation has two fixed points on the Riemann sphere. The fixed points are counted here with multiplicity; the are those where the fixed points coincide. Either or both of these fixed points may be the point at infinity.
Determining the fixed points The fixed points of the transformation
are obtained by solving the fixed point equation . For , this has two roots obtained by expanding this equation to
and applying the quadratic formula. The roots are
with discriminant
where the matrix
represents the transformation. Parabolic transforms have coincidental fixed points due to zero discriminant. For c nonzero and nonzero discriminant the transform is elliptic or hyperbolic.
When , the quadratic equation degenerates into a linear equation and the transform is linear; in this case, one of the fixed points is the point at infinity. When the second fixed point is finite and is given by
In this case the transformation will be a simple transformation composed of translations, rotations, and dilations:
If and , then both fixed points are at infinity, and the Möbius transformation corresponds to a pure translation:
Topological proof Topologically, the fact that (non-identity) Möbius transformations fix 2 points (with multiplicity) corresponds to the Euler characteristic of the sphere being 2:
Firstly, the projective linear group is sharply 3-transitive – for any two ordered triples of distinct points, there is a unique map that takes one triple to the other, just as for Möbius transforms, and by the same algebraic proof (essentially dimension counting, as the group is 3-dimensional). Thus any map that fixes at least 3 points is the identity.
Next, one can see by identifying the Möbius group with that any Möbius function is homotopic to the identity. Indeed, any member of the general linear group can be reduced to the identity map by Gauss-Jordan elimination, this shows that the projective linear group is path-connected as well, providing a homotopy to the identity map. The Lefschetz–Hopf theorem states that the sum of the indices (in this context, multiplicity) of the fixed points of a map with finitely many fixed points equals the Lefschetz number of the map, which in this case is the trace of the identity map on homology groups, which is simply the Euler characteristic.
By contrast, the projective linear group of the real projective line, need not fix any points – for example has no (real) fixed points: as a complex transformation it fixes ±iGeometrically this map is the stereographic projection of a rotation by 90° around ±i with period 4, which takes – while the map 2x fixes the two points of 0 and ∞. This corresponds to the fact that the Euler characteristic of the circle (real projective line) is 0, and thus the Lefschetz fixed-point theorem says only that it must fix at least 0 points, but possibly more.
Normal form Möbius transformations are also sometimes written in terms of their fixed points in so-called normal form. We first treat the non-parabolic case, for which there are two distinct fixed points.
Non-parabolic case:
Every non-parabolic transformation is conjugate to a dilation/rotation, i.e., a transformation of the form
with fixed points at 0 and ∞. To see this define a map
which sends the points (γ1, γ2) to (0, ∞). Here we assume that γ1 and γ2 are distinct and finite. If one of them is already at infinity then g can be modified so as to fix infinity and send the other point to 0.
If f has distinct fixed points (γ1, γ2) then the transformation has fixed points at 0 and ∞ and is therefore a dilation: . The fixed point equation for the transformation f can then be written
Solving for f gives (in matrix form):
or, if one of the fixed points is at infinity:
From the above expressions one can calculate the derivatives of f at the fixed points: and
Observe that, given an ordering of the fixed points, we can distinguish one of the multipliers (k) of f as the characteristic constant of f. Reversing the order of the fixed points is equivalent to taking the inverse multiplier for the characteristic constant:
For loxodromic transformations, whenever , one says that γ1 is the repulsive fixed point, and γ2 is the attractive fixed point. For , the roles are reversed.
Parabolic case:
In the parabolic case there is only one fixed point γ. The transformation sending that point to ∞ is
or the identity if γ is already at infinity. The transformation fixes infinity and is therefore a translation:
Here, β is called the translation length. The fixed point formula for a parabolic transformation is then
Solving for f (in matrix form) gives Note that
If :
Note that β is not the characteristic constant of f, which is always 1 for a parabolic transformation. From the above expressions one can calculate:
Poles of the transformation
The point is called the pole of ; it is that point which is transformed to the point at infinity under .
The inverse pole is that point to which the point at infinity is transformed. The point midway between the two poles is always the same as the point midway between the two fixed points:
These four points are the vertices of a parallelogram which is sometimes called the characteristic parallelogram of the transformation.
A transform can be specified with two fixed points γ1, γ2 and the pole .
This allows us to derive a formula for conversion between k and given :
which reduces down to
The last expression coincides with one of the (mutually reciprocal) eigenvalue ratios of (compare the discussion in the preceding section about the characteristic constant of a transformation). Its characteristic polynomial is equal to
which has roots
Simple Möbius transformations and composition
A Möbius transformation can be composed as a sequence of simple transformations.
The following simple transformations are also Möbius transformations: is a translation. is a combination of a homothety (uniform scaling) and a rotation. If then it is a rotation, if then it is a homothety. (inversion and reflection with respect to the real axis)
Composition of simple transformations
If , let: (translation by d/c) (inversion and reflection with respect to the real axis) (homothety and rotation) (translation by a/c)
Then these functions can be composed, showing that, if
one has
In other terms, one has
with
This decomposition makes many properties of the Möbius transformation obvious.
Elementary properties A Möbius transformation is equivalent to a sequence of simpler transformations. The composition makes many properties of the Möbius transformation obvious.
Formula for the inverse transformation The existence of the inverse Möbius transformation and its explicit formula are easily derived by the composition of the inverse functions of the simpler transformations. That is, define functions g1, g2, g3, g4 such that each gi is the inverse of fi. Then the composition
gives a formula for the inverse.
Preservation of angles and generalized circles From this decomposition, we see that Möbius transformations carry over all non-trivial properties of circle inversion. For example, the preservation of angles is reduced to proving that circle inversion preserves angles since the other types of transformations are dilations and isometries (translation, reflection, rotation), which trivially preserve angles.