Möbius transformations should not be confused with the Möbius transform or the Möbius function.

In geometry, a Möbius transformation of the plane is a rational function of the form

of one complex variable z; here the coefficients a, b, c, d are complex numbers satisfying ad − bc ≠ 0. Möbius transformations are named in honor of August Ferdinand Möbius, although they are also called homographic transformations, linear fractional transformations, birational transformations, or fractional linear transformations.

Contents 1 Overview 2 Definition 3 Decomposition and elementary properties 3.1 Preservation of angles and generalized circles 3.2 Cross-ratio preservation 4 Projective matrix representations 5 Specifying a transformation by three points 5.1 Mapping first to 0, 1, ∞ 5.2 Explicit determinant formula 6 Classification 6.1 Parabolic transforms 6.2 Characteristic constant 6.3 Elliptic transforms 6.4 Hyperbolic transforms 6.5 Loxodromic transforms 6.6 General classification 7 Fixed points 7.1 Normal form 8 Geometric interpretation of the characteristic constant 8.1 Elliptic transformations 8.2 Hyperbolic transformations 8.3 Loxodromic transformations 8.4 Stereographic projection 9 Iterating a transformation 10 Poles of the transformation 11 Lorentz transformations 12 Hyperbolic space 13 Subgroups of the Möbius group 14 See also 15 References 16 External links

[edit] Overview

Möbius transformations are defined on the extended complex plane (i.e. the complex plane augmented by the point at infinity):

This extended complex plane can be thought of as a sphere, the Riemann sphere, or as the complex projective line. Every Möbius transformation is a bijective conformal and orientation-preserving map of the Riemann sphere to itself. Indeed, every such map is by necessity a Möbius transformation.

The set of all Möbius transformations forms a group under composition called the Möbius group. It is the automorphism group of the Riemann sphere (when considered as a Riemann surface) 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 n>2 as the bijective conformal orientation-preserving maps from the n-sphere to the n-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.

[edit] Definition

The general form of a Möbius transformation is given by

where a, b, c, d are any complex numbers satisfying ad − bc ≠ 0. (If ad = bc the rational function defined above is a constant and is not considered a Möbius transformation.) In case c≠0 this definition is extended to the whole Riemann sphere by defining

if c=0 we define

This turns f(z) into 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.

[edit] Decomposition and elementary properties

A Möbius transformation is equivalent to a sequence of simpler transformations. Let:

• (translation by d/c)
• (inversion and reflection with respect to the real axis)
• (dilation and rotation)
• (translation by a/c)

then these functions can be composed, giving

This decomposition makes many properties of the Möbius transformation obvious.

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 g₁,g₂,g₃,g₄ such that each g_i is the inverse of f_i. Then the composition

gives a formula for the inverse.

[edit] 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 dilation and isometries (translation, reflection, rotation), which trivially preserve angles.

Furthermore, Möbius transformations map generalized circles to generalized circles since circle inversion has this property. A generalized circle is either a circle or a line, the latter being considered as a circle through the point at infinity. Note that a Möbius transformation does not necessarily map circles to circles and lines to lines: it can mix the two. Even if it maps a circle to another circle, it does not necessarily map the first circle's center to the second circle's center.

[edit] Cross-ratio preservation

Cross-ratios are invariant under Möbius transformations. That is, if a Möbius transformation maps four distinct points z₁,z₂,z₃,z₄ to four distinct points w₁,w₂,w₃,w₄ respectively, then

If one of the points z₁,z₂,z₃,z₄ is the point at infinity, then the cross-ratio has to be defined by taking the appropriate limit; e.g. the cross-ratio of is

[edit] Projective matrix representations

With every invertible complex 2-by-2 matrix

we can associate the Möbius transformation

The condition ad − bc ≠ 0 is equivalent to the condition that the determinant of above matrix be nonzero, i.e. that the matrix be invertible.

It is straightforward to check that then the product of two matrices will be associated with the composition of the two corresponding Möbius transformations. In other words, the map

from the general linear group GL(2,C) to the Möbius group, which sends the matrix to the transformation f, is a group homomorphism.

Note that any matrix obtained by multiplying by a complex scalar λ determines the same transformation, so a Möbius transformation determines its matrix only up to scalar multiples. In other words: the kernel of π consists of all scalar multiples of the identity matrix I, and the first isomorphism theorem of group theory states that the quotient group GL(2,C)/(CI) is isomorphic to the Möbius group. This quotient group is known as the projective linear group and is usually denoted PGL(2,C).

The same identification of PGL(2,K) with fractional linear transformations and with projective linear automorphisms of the projective line holds over any field, which is of algebraic interest, particularly for finite fields, though the case of the complex numbers is of greatest geometric interest.

The natural action of PGL(2,C) on the complex projective line CP¹ is exactly the natural action of the Möbius group on the Riemann sphere, where the projective line CP¹ and the Riemann sphere are identified as follows:

Here [z₁:z₂] are homogeneous coordinates on CP¹; the point [1:0] corresponds to the point ∞ of the Riemann sphere. By using homogeneous coordinates, many concrete calculations involving Möbius transformations can be simplified, since no case distinctions dealing with ∞ are required.

If one restricts to matrices of determinant one, the map π restricts to a surjective map from the special linear group SL(2,C) to the Möbius group; in the restricted setting the kernel is formed by plus and minus the identity, and the quotient group SL(2,C)/{±I}, denoted by PSL(2,C), is therefore also isomorphic to the Möbius group:

From this we see that the Möbius group is a 3-dimensional complex Lie group (or a 6-dimensional real Lie group). It is a semisimple non-compact Lie group.

Note that there are precisely two matrices with unit determinant which can be used to represent any given Möbius transformation. That is, SL(2,C) is a double cover of PSL(2,C). Since SL(2,C) is simply-connected it is the universal cover of the Möbius group. Therefore the fundamental group of the Möbius group is Z₂.

[edit] Specifying a transformation by three points

Given a set of three distinct points z₁, z₂, z₃ on the Riemann sphere and a second set of distinct points w₁, w₂, w₃, there exists precisely one Möbius transformation f(z) which maps the zs to the ws, i.e. with f(z_i) = w_i for i=1,2,3. (In other words: the action of the Möbius group on the Riemann sphere is sharply 3-transitive.) There are several ways to determine f(z) from the given sets of points.

[edit] Mapping first to 0, 1, ∞

It is easy to check that the Möbius transformation

with matrix

maps z₁, z₂, z₃ to 0, 1, ∞, respectively. (If one of the z_i is ∞, then the proper formula for is obtained from the above one by first dividing all entries by z_i and then taking the limit z_i→∞.)

If is similarly defined to map w₁, w₂, w₃ to 0, 1, ∞, then the matrix which maps z_1,2,3 to w_1,2,3 becomes

[edit] Explicit determinant formula

The equation

is equivalent to the equation of a standard hyperbola

in the (z,w)-plane. The problem of constructing a Möbius transformation mapping a triple (z₁,z₂,z₃) to another triple (w₁,w₂,w₃) is thus equivalent to finding the coefficients a, b, c, d of the hyperbola passing through the points (z_i,w_i). An explicit equation can be found by evaluating the determinant

by means of a Laplace expansion along the first row. This results in the determinant formulae

for the coefficients a,b,c,d of the representing matrix . The constructed matrix has determinant equal to (z₁ − z₂)(z₁ − z₃)(z₂ − z₃)(w₁ − w₂)(w₁ − w₃)(w₂ − w₃) which does not vanish if the z_i resp. w_i are pairwise different thus the Möbius transformation is well-defined. If one of the p ints z_i or w_i is ∞, then we first divide all four determinants by this variable and then take the limit as the variable approaches ∞.

[edit] Classification

Non-identity Möbius transformations are commonly classified into four types, parabolic, elliptic, hyperbolic and loxodromic, with the hyperbolic ones being a subclass of the loxodromic ones. The classification has both algebraic and geometric significance. Geometrically, the different types result in different transformations of the complex plane, as the figures below illustrate. These types can be distinguished by looking at the trace . Note that the trace is invariant under conjugation, that is,

and so every member of a conjugacy class will have the same trace. Every Möbius transformation can be written such that its representing matrix has determinant one (by multiplying the entries with a suitable scalar). Two Möbius transformations (both not equal to the identity transform) with are conjugate if and only if

In the following discussion we will always assume that the representing matrix is normalized such that .

[edit] Parabolic transforms

A non-identity Möbius transformation defined by a matrix of determinant one is said to be parabolic if

(so the trace is plus or minus 2; either can occur for a given transformation since is determined only up to sign). In fact one of the choices for has the same characteristic polynomial X²−2X+1 as the identity matrix, and is therefore unipotent. A Möbius transform is parabolic if and only if it has exactly one fixed point in the extended complex plane , which happens if and only if it can be defined by a matrix conjugate to

which describes a translation in the complex plane.

The set of all parabolic Möbius transformations with a given fixed point in , together with the identity, forms a subgroup isomorphic to the group of matrices

this is an example of the unipotent radical of a Borel subgroup (of the Möbius group, or of SL(2,C) for the matrix group; the notion is defined for any reductive Lie group).

[edit] Characteristic constant

All non-parabolic transformations have two fixed points and are defined by a matrix conjugate to

with the complex number λ not equal to 0, 1 or −1, corresponding to a dilation/rotation through multiplication by the complex number k = λ², called the characteristic constant or multiplier of the transformation.

[edit] Elliptic transforms

The transformation is said to be elliptic if it can be represented by a matrix whose trace is real with

A transform is elliptic if and only if | λ | = 1. Writing λ = e^iα, an elliptic transform is conjugate to

with α real.

Note that for any with characteristic constant k, the characteristic constant of is kⁿ. Thus, the only Möbius transformations of finite order are the elliptic transformations, and these only when λ is a root of unity; equivalently, when α is a rational multiple of π.

[edit] Hyperbolic transforms

The transform is said to be hyperbolic if it can be represented by a matrix whose trace is real with

A transform is hyperbolic if and only if λ is real and positive.

[edit] Loxodromic transforms

The transform is said to be loxodromic if is not in [0,4]. A transformation is loxodromic if and only if .

Historically, navigation by loxodrome or rhumb line refers to a path of constant bearing; the resulting path is a logarithmic spiral, similar in shape to the transformations of the complex plane that a loxodromic Möbius transformation makes. See the geometric figures below.

[edit] General classification

Transformation	Trace squared	Multipliers	Class representative
Elliptic		| k | = 1
Parabolic	σ = 4	k = 1
Hyperbolic
Loxodromic		k = λ2,λ − 2

[edit] Fixed points

Every non-identity Möbius transformation has two fixed points γ₁,γ₂ on the Riemann sphere. Note that the fixed points are counted here with multiplicity; for parabolic transformations, the fixed points coincide. Either or both of these fixed points may be the point at infinity.

The fixed points of the transformation

are obtained by solving the fixed point equation f(γ) = γ. For , this has two roots obtained by expanding this equation to

and applying the quadratic equation. The roots are

Note that for parabolic transformations, which satisfy (a + d)² = 4(ad − bc), the fixed points coincide. Note also that the discriminant is

When c = 0, the quadratic equation degenerates into a linear equation. This corresponds to the situation that one of the fixed points is the point at infinity. When a ≠ d 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 c = 0 and a = d, then both fixed points are at infinity, and the Möbius transformation corresponds to a pure translation:

.

[edit] 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

(k ∈ C) with fixed points at 0 and ∞. To see this define a map

which sends the points (γ₁,γ₂) to . Here we assume that both γ₁ and γ₂ are 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 (γ₁,γ₂) then the transformation gfg ^{− 1} has fixed points at 0 and ∞ and is therefore a dilation: gfg ^{− 1}(z) = kz. 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 | k | > 1, one says that γ₁ is the repulsive fixed point, and γ₂ is the attractive fixed point. For | k | < 1, 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 gfg ^{− 1} 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

or, 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:

[edit] Geometric interpretation of the characteristic constant

The following picture depicts (after stereographic transformation from the sphere to the plane) the two fixed points of a Möbius transformation in the non-parabolic case:

The characteristic constant can be expressed in terms of its logarithm:

When expressed in this way, the real number ρ becomes an expansion factor. It indicates how repulsive the fixed point γ₁ is, and how attractive γ₂ is. The real number α is a rotation factor, indicating to what extent the transform rotates the plane anti-clockwise about γ₁ and clockwise about γ₂.

[edit] Elliptic transformations

If ρ = 0, then the fixed points are neither attractive nor repulsive but indifferent, and the transformation is said to be elliptic. These transformations tend to move all points in circles around the two fixed points. If one of the fixed points is at infinity, this is equivalent to doing an affine rotation around a point.

If we take the one-parameter subgroup generated by any elliptic Möbius transformation, we obtain a continuous transformation, such that every transformation in the subgroup fixes the same two points. All other points flow along a family of circles which is nested between the two fixed points on the Riemann sphere. In general, the two fixed points can be any two distinct points.

This has an important physical interpretation. Imagine that some observer rotates with constant angular velocity about some axis. Then we can take the two fixed points to be the North and South poles of the celestial sphere. The appearance of the night sky is now transformed continuously in exactly the manner described by the one-parameter subgroup of elliptic transformations sharing the fixed points , and with the number α corresponding to the constant angular velocity of our observer.

Here are some figures illustrating the effect of an elliptic Möbius transformation on the Riemann sphere (after stereographic projection to the plane):

These pictures illustrate the effect of a single Möbius transformation. The one-parameter subgroup which it generates continuously moves points along the family of circular arcs suggested by the pictures.

[edit] Hyperbolic transformations

If α is zero (or a multiple of 2π), then the transformation is said to be hyperbolic. These transformations tend to move points along circular paths from one fixed point toward the other.

If we take the one-parameter subgroup generated by any hyperbolic Möbius transformation, we obtain a continuous transformation, such that every transformation in the subgroup fixes the same two points. All other points flow along a certain family of circular arcs away from the first fixed point and toward the second fixed point. In general, the two fixed points may be any two distinct points on the Riemann sphere.

This too has an important physical interpretation. Imagine that an observer accelerates (with constant magnitude of acceleration) in the direction of the North pole on his celestial sphere. Then the appearance of the night sky is transformed in exactly the manner described by the one-parameter subgroup of hyperbolic transformations sharing the fixed points , with the real number ρ corresponding to the magnitude of his acceleration vector. The stars seem to move along longitudes, away from the South pole toward the North pole. (The longitudes appear as circular arcs under stereographic projection from the sphere to the plane).

Here are some figures illustrating the effect of a hyperbolic Möbius transformation on the Riemann sphere (after stereographic projection to the plane):

These pictures resemble the field lines of a positive and a negative electrical charge located at the fixed points, because the circular flow lines subtend a constant angle between the two fixed points.

[edit] Loxodromic transformations

If both ρ and α are nonzero, then the transformation is said to be loxodromic. These transformations tend to move all points in S-shaped paths from one fixed point to the other.

The word "loxodrome" is from the Greek: "λοξος (loxos), slanting + δρόμος (dromos), course". When sailing on a constant bearing - if you maintain a heading of (say) north-east, you will eventually wind up sailing around the north pole in a logarithmic spiral. On the mercator projection such a course is a straight line, as the north and south poles project to infinity. The angle that the loxodrome subtends relative to the lines of longitude (i.e. its slope, the "tightness" of the spiral) is the argument of k. Of course, Möbius transformations may have their two fixed points anywhere, not just at the north and south poles. But any loxodromic transformation will be conjugate to a transform that moves all points along such loxodromes.

If we take the one-parameter subgroup generated by any loxodromic Möbius transformation, we obtain a continuous transformation, such that every transformation in the subgroup fixes the same two points. All other points flow along a certain family of curves, away from the first fixed point and toward the second fixed point. Unlike the hyperbolic case, these curves are not circular arcs, but certain curves which under stereographic projection from the sphere to the plane appear as spiral curves which twist counterclockwise infinitely often around one fixed point and twist clockwise infinitely often around the other fixed point. In general, the two fixed points may be any two distinct points on the Riemann sphere.

You can probably guess the physical interpretation in the case when the two fixed points are : an observer who is both rotating (with constant angular velocity) about some axis and moving along the same axis, will see the appearance of the night sky transform according to the one-parameter subgroup of loxodromic transformations with fixed points , and with ρ,α determined respectively by the magnitude of the actual linear and angular velocities.

File:Mobius Small Loxodromic.jpeg

File:Mobius Large Loxodromic.jpeg

[edit] Stereographic projection

These images show Möbius transformations stereographically projected onto the Riemann sphere. Note in particular that when projected onto a sphere, the special case of a fixed point at infinity looks no different from having the fixed points in an arbitrary location.

	Elliptic	Hyperbolic	Loxodromic
One fixed point at infinity
	Full size	Full size	Full size
Fixed points diametrically opposite
	Full size	Full size	Full size
Fixed points in an arbitrary location
	Full size	Full size	Full size

[edit] Iterating a transformation

If a transformation has fixed points γ₁,γ₂, and characteristic constant k, then will have γ₁' = γ₁, γ₂' = γ₂, k' = kⁿ.

This can be used to iterate a transformation, or to animate one by breaking it up into steps.

These images show three points (red, blue and black) continuously iterated under transformations with various characteristic constants.

	File:Mobius23624.jpeg
File:Mobius23625.jpeg

And these images demonstrate what happens when you transform a circle under Hyperbolic, Elliptical, and Loxodromic transforms. Note that in the elliptical and loxodromic images, the α value is 1/10 .

[edit] 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 γ₁,γ₂ 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 the matrix

representing the transform (compare the discussion in the preceding section about the characteristic constant of a transformation). Its characteristic polynomial is equal to

which has roots

[edit] Lorentz transformations

The real Minkowski space consists of the four-dimensional real coordinate space R⁴ consisting of the space of ordered quadruples (x₀,x₁,x₂,x₃) of real numbers, together with a quadratic form

Borrowing terminology from special relativity, points with Q > 0 are considered timelike; in addition, if x₀ > 0, then the point is called future-pointing. Points with Q < 0 are called spacelike. The null cone S consists of those points where Q = 0; the future null cone N⁺ are those points on the null cone with x₀ > 0. The celestial sphere is then identified with the collection of rays in N⁺ whose initial point is the origin of R⁴. The collection of linear transformations on R⁴ with positive determinant preserving the quadratic form Q and preserving the time direction form the restricted Lorentz group SO⁺(1,3).

In connection with the geometry of the celestial sphere, the group of transformations SO⁺(1,3) is identified with the group PSL(2,C) of Möbius transformations of the sphere by exhibiting the action of the spin group on spinors (Penrose & Rindler 1986). To each (x₀,x₁,x₂,x₃) ∈ R⁴, associate the hermitian matrix

The determinant of the matrix X is equal to Q(x₀,x₁,x₂,x₃). The special linear group acts on the space of such matrices via

   

(1)

   

for each A ∈ SL(2,C), and this action of SL(2,C) preserves the determinant of X because det A = 1. Since the determinant of X is identified with the quadratic form Q, SL(2,C) acts by Lorentz transformations. On dimensional grounds, SL(2,C) covers a neighborhood of the identity of SO(1,3). Since SL(2,C) is connected, it covers the entire restricted Lorentz group SO⁺(1,3). Furthermore, if is that the kernel of the action (1) is the subgroup {±I}, then passing to the quotient group gives the group isomorphism

   

(2)

   

Focusing now attention on the case when (x₀,x₁,x₂,x₃) is null, the matrix X has zero determinant, and therefore splits as the outer product of a complex two-vector ξ with its complex conjugate:

   

(3)

   

The two-component vector ξ is acted upon by SL(2,C) in a manner compatible with (1). It is now clear that the kernel of the representation of SL(2,C) on hermitian matrices is {±I}.

The action of PSL(2,C) on the celestial sphere may also be described geometrically using stereographic projection. Consider first the hyperplane in R⁴ given by x₀ = 1. The celestial sphere may be identified with the sphere S⁺ of intersection of the hyperplane with the future null cone N⁺. The stereographic projection from the north pole (1,0,0,1) of this sphere onto the plane x₃ = 0 takes a point with coordinates (1,x₁,x₂,x₃) with

to the point

Introducing the complex coordinate

the inverse stereographic projection gives the following formula for a point (x₁, x₂, x₃) on S⁺:

   

(4)

   

The action of SO⁺(1,3) on the points of N⁺ does not preserve the hyperplane S⁺, but acting on points in S⁺ and then rescaling so that the result is again in S⁺ gives an action of SO⁺(1,3) on the sphere which goes over to an action on the complex variable ζ. In fact, this action is by fractional linear transformations, although this is not easily seen from this representation of the celestial sphere. Conversely, for any fractional linear transformation of ζ variable goes over to a unique Lorentz transformation on N⁺, possibly after a suitable (uniquely determined) rescaling.

A more invariant description of the stereographic projection which allows the action to be more clearly seen is to consider the variable ζ = z:w as a ratio of a pair of homogeneous coordinates for the complex projective line CP¹. The stereographic projection goes over to a transformation from C² − {0} to N⁺ which is homogeneous of degree two with respect to real scalings

   

(5)

   

which agrees with (4) upon restriction to scales in which The components of (5) are precisely those obtained from the outer product

In summary, the action of the restricted Lorentz group SO⁺(1,3) agrees with that of the Möbius group PSL(2,C). This motivates the following definition. In dimension n ≥ 2, the Möbius group Möb(n) is the group of all orientation-preserving conformal isometries of the round sphere Sⁿ to itself. By realizing the conformal sphere as the space of future-pointing rays of the null cone in the Minkowski space R^1,n+1, there is an isomorphism of Möb(n) with the restricted Lorentz group SO⁺(1,n+1) of Lorentz transformations with positive determinant, preserving the direction of time.

[edit] Hyperbolic space

As seen above, the Möbius group PSL(2,C) acts on Minkowski space as the group of those isometries that preserve the origin, the orientation of space and the direction of time. Restricting to the points where Q=1 in the positive light cone, which form a model of hyperbolic 3-space H ³, we see that the Möbius group acts on H ³ as a group of orientation-preserving isometries. In fact, the Möbius group is equal to the group of orientation-preserving isometries of hyperbolic 3-space.

If we use the Poincaré ball model, identifying the unit ball in R³ with H ³, then we can think of the Riemann sphere as the "conformal boundary" of H ³. Every orientation-preserving isometry of H ³ gives rise to a Möbius transformation on the Riemann sphere and vice versa; this is the very first observation leading to the AdS/CFT correspondence conjectures in physics.

[edit] Subgroups of the Möbius group

If we require the coefficients a, b, c, d of a Möbius transformation to be real numbers with ad - bc = 1, we obtain a subgroup of the Möbius group denoted as PSL(2,R). This is the group of those Möbius transformations that map the upper half-plane H = {x + iy : y > 0} to itself, and is equal to the group of all biholomorphic (or equivalently: bijective, conformal and orientation-preserving) maps H→H. If a proper metric is introduced, the upper half-plane becomes a model of the hyperbolic plane H ², the Poincaré half-plane model, and PSL(2,R) is the group of all orientation-preserving isometries of H ² in this model.

The subgroup of all Möbius transformations that map the open disk D = {z : |z| < 1} to itself consists of all transformations of the form

with , and | b | < 1. This is equal to the group of all biholomorphic (or equivalently: bijective, conformal and orientation-preserving) maps D→D. By introducing a proper metric, the open disk turns into another model of the hyperbolic plane, the Poincaré disk model, and this group is the group of all orientation-preserving isometries of H ² in this model.

Since both of the above subgroups serve as isometry groups of H ², they are isomorphic. A concrete isomorphism is given by conjugation with the transformation

which bijectively maps the open unit disk to the upper half plane.

If we require the coefficients a, b, c, d of a Möbius transformation to be integers with ad - bc = 1, we obtain the modular group PSL(2,Z), a discrete subgroup of PSL(2,R) important in the study of lattices in the complex plane, elliptic functions and elliptic curves. The discrete subgroups of PSL(2,R) are known as Fuchsian groups; they are important in the study of Riemann surfaces.

[edit] See also

[edit] References

• Beardon, Alan F. (1995), The Geometry of Discrete Groups, New York: Springer-Verlag, ISBN 0-3879-0788-2 

• Jones, Gareth A.; Singerman, David (1987), Complex Functions: an Algebraic and Geometric Viewpoint, Cambridge: Cambridge University Press, ISBN 0-521-313666-X  (See Chapter 2 for various isomorphisms, and for the Lorentz group viewed as a Galois group.)

• Hall, G. S. (2004), Symmetries and Curvature Structure in General Relativity, Singapore: World Scientific, ISBN 981-02-1051-5  (See Chapter 6 for the classification, up to conjugacy, of the Lie subalgebras of the Lie algebra of the Lorentz group.)

• Katok, Svetlana (1992), Fuchsian Groups, Chicago:University of Chicago Press, ISBN 0-226-42583-5  See Chapter 2.

• Knopp, Konrad (1952), Elements of the Theory of Functions, New York: Dover, ISBN 0-486-60154-4  (See Chapters 3-5 of this classic book for a beautiful introduction to the Riemann sphere, stereographic projection, and Möbius transformations.)

• Mumford, David; Series, Caroline; Wright, David (2002), Indra's Pearls: The Vision of Felix Klein, Cambridge University Press, ISBN 0-521-35253-3  (Aimed at non-mathematicians, provides an excellent exposition of theory and results, richly illustrated with diagrams.)

• Needham, Tristan (1997), Visual Complex Analysis, Oxford: Clarendon Press, ISBN 0-19-853446-9  (See Chapter 3 for a beautifully illustrated introduction to Möbius transformations, including their classification up to conjugacy.)

• Penrose, Roger; Rindler, Wolfgang (1986), Spinors and space-time, Volume 1: Two-spinor calculus and relativistic fields, Cambridge University Press, ISBN 0-521-24527-3 

[edit] External links

• A java applet allowing you to specify a transformation via its fixed points and so on.
• A java applet demonstrating iterated application of a Möbius transformation to a circle.
• Conformal maps gallery

• Weisstein, Eric W., "Linear Fractional Transformation" from MathWorld.
• Möbius Transformation Module by John H. Mathews
• Linear Fractional Transformations at MathPages
• Möbius Transformations Revealed, by Douglas N. Arnold and Jonathan Rogness (a video by two University of Minnesota professors explaining and illustrating Möbius transformations using stereographic projection from a sphere). A high resolution version in QuickTime format is available at http://www.ima.umn.edu/~arnold/moebius/index.html .