Register to reply

Conformal transformations and Möbius transformations

Share this thread:
mnb96
#1
Oct14-11, 12:38 PM
P: 626
Hello,

I read somewhere that in 2D, the Möbius transformations do not represent all the possible conformal transformations, while according to Liouville's theorem, in spaces of dimension greater than 2 all the conformal transformation can be expressed as combinations of scaling/translation/rotation/inversion (=Möbius transformations).

Can anyone mention what are the conformal transformations of the plane that cannot be "captured" by Möbius transformations?

Thanks.
Phys.Org News Partner Science news on Phys.org
Scientists discover RNA modifications in some unexpected places
Scientists discover tropical tree microbiome in Panama
'Squid skin' metamaterials project yields vivid color display
Ben Niehoff
#2
Oct14-11, 12:45 PM
Sci Advisor
P: 1,594
Every holomorphic function is a conformal transformation of the plane.
mathwonk
#3
Oct14-11, 04:00 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,498
try this

http://en.wikipedia.org/wiki/Conformal_geometry

mnb96
#4
Oct15-11, 01:49 AM
P: 626
Conformal transformations and Möbius transformations

Thanks.

Unfortunately I am not very familiar with holomorphic functions and Möbius transformations.
Could you please point out a straightforward explicit example of transformation that is conformal, but not Möbius?
samalkhaiat
#5
Oct15-11, 09:55 PM
Sci Advisor
P: 923
Conformal transformations of space-time are, by definition, those general coordinate transformations which preserve the angles between any two vectors, or what is the same, which scale the metric locally by an overall factor. In flat space-time of dimension [itex]D > 2[/itex], the infinitesimal conformal transformations generate a [itex](D+1)(D+2)/2[/itex] dimensional Lie algebra isomorphic to that of the group [itex]SO(2,D)[/itex](*). In contrast, for D = 2 any ARBITRARY holomorphic mapping of the (compactified) complex plane IS angle-preserving. Thus, in complex coordinates [itex]z, \bar{z}[/itex], infinitesimal conformal transformations are generated by mappings which transform z;
[tex]z \rightarrow z + f(z),[/tex]
by functions which do not depend on [itex]\bar{z}[/itex];
[tex] f(z) = - \sum_{n \in \mathbb{Z}} \epsilon_{n}z^{n+1},[/tex]
and by analogous mappings of [itex]\bar{z}[/itex] with functions, [itex]\bar{f}(\bar{z})[/itex], which do not depend on z;
[tex]\bar{z}\rightarrow \bar{z} - \sum_{n \in \mathbb{Z}} \bar{\epsilon}_{n} \bar{z}^{n+1}.[/tex]
It is easy to see that on functions of [itex]z,\bar{z}[/itex], these mappings are generated by differential operators;
[tex]\ell_{n}= - z^{n+1}\partial_{z} \ \mbox{and} \ \bar{\ell}_{n}= - \bar{z}^{n+1}\partial_{\bar{z}},[/tex]
respectively. These operators satisfy the following algebra
[tex][\ell_{m},\ell_{n}] = (m-n)\ell_{m+n},[/tex]
[tex][\bar{\ell}_{m},\bar{\ell}_{n}] = (m-n) \bar{\ell}_{m+n},[/tex]
[tex][\ell_{m}, \bar{\ell}_{n}] = 0.[/tex]
In mathematical terms, this means that both the [itex]\ell_{n}[/itex] and the [itex]\bar{\ell}_{n}[/itex] span an infinite-dimensional Lie algebra known as the Witt algebra, moreover, these two algebras are combined as a direct sum. Thus the algebra of the local conformal group [itex]\mathcal{D}^{\infty}(2)[/itex] is a direct sum of two commuting Witt algebras. It is easy to show that the Witt algebra [itex]\Span\{\ell_{n}\}[/itex] is the same as the algebra of infinitesimal diffeomorphisms of the circle [itex]S^{1}[/itex] (try to prove this “easy to show” thing!). Thus, the local conformal group in 2D space-time is (essentially)
[tex]\mathcal{D}^{\infty}(2) = \Diff (S^{1}) \times \Diff (S^{1})[/tex]

The Global Conformal Group in Two Dimensions; the Complex Mobius Group:

Let me remark that the general 2D conformal transformations are neither globally well defined nor invertible, even on the Riemann sphere [itex]S^{2}= \mathbb{C}\cup \{\infty\}[/itex] (think of it as the z plane plus a point at infinity). This is because the vector fields
[tex]V(z) = \sum_{n}a_{n}\ell_{n},[/tex]
generating holomorphic transformations, are globally defined only if [itex]a_{n}=0[/itex] for [itex]n < -1[/itex] and [itex]n > 1[/itex]. Namely, the action of [itex](-z^{n+1}\partial_{z})[/itex] is non-singular at [itex]z = 0[/itex] only for [itex]n \geq -1[/itex], and non-singular at [itex]z = \infty[/itex] (where it acts as [itex](w^{1-n}\partial_{w})[/itex] with [itex] w = 1/ z[/itex]) only for [itex]n \leq 1[/itex]. Thus, in order to obtain a global group of well-defined and invertible conformal transformations on the Riemann sphere, we must demand that the infinitesimal transformation [itex]\delta z = \epsilon (z)[/itex] does not have a pole at the “point at infinity”. In terms of a new coordinate system [itex]w = 1/z[/itex], the “point at infinity” is just an ordinary point, namely the origin [itex]w = 0[/itex].
Now,
[tex]\delta w = - \frac{\delta z}{z^{2}} = - \frac{\epsilon (z)}{z^{2}},[/tex]
is non-singular at [itex]w = 0[/itex] if and only if [itex]\epsilon / z^{2}[/itex] is finite for [itex]z \rightarrow \infty[/itex]. Thus, [itex]\epsilon (z)[/itex] must be quadratic polynomial in [itex]z[/itex]. We therefore conclude that the global group of 2D infinitesimal conformal transformations have the form
[tex]\delta z = \alpha + \beta z + \gamma z^{2},[/tex]
with [itex]\alpha , \beta , \gamma[/itex] being arbitrary complex parameters. These transformations integrate to the so-called complex Mobius group (or the complex projective group);
[tex]z \rightarrow \frac{az + b}{cz + d}, \ \ \ (1)[/tex]
where [itex]a,b,c,d[/itex] are complex parameters and [itex]ad – bc = 1[/itex]. Thus, the global conformal group in 2D is parametrized by 6 real parameters; being isomorphic to [itex]SO(1,3) \approx SL(2,\mathbb{C}) / Z_{2}[/itex]. To understand why [itex]SL(2,\mathbb{C})[/itex] is the group of such transformations, note that a [itex]2 \times 2[/itex] complex matrix can act on a 2-dimensional complex vector space;
[tex]
\left( \begin{array}{c} v_{1} \\ v_{2} \\ \end{array}\right) \rightarrow \left( \begin{array}{rr} a & b \\ c & d \end{array}\right) \left( \begin{array}{c} v_{1} \\ v_{2} \\ \end{array}\right) \ \ (2)
[/tex]
If we think of [itex]v_{1}[/itex] and [itex]v_{2}[/itex] as homogeneous coordinates for [itex]CP^{1}[/itex], then [itex]v_{1}/v_{2} \equiv z[/itex] is the stereographic projection from [itex]CP^{1}[/itex] to the z plane. From eq(2), we see that z transforms as in eq(1). Thus we learn that [itex]SL(2,\mathbb{C})[/itex] acts as the group of conformal mappings of the complex plane (including the point at infinity).

The Real Mobius Group [itex]SL(2,\mathbb{R}) \approx SO(2,1)[/itex]:

Instead of the Riemann sphere, which is a closed surface of genus zero, we can consider an open Riemann surface given by an upper half-plane. In this case we obtain the real projective group [itex]SL(2, \mathbb{R})[/itex] as a subgroup of the full global conformal group
[tex]SO(2,2) \approx SL(2,\mathbb{R})_{1} \times SL(2,\mathbb{R})_{2}.[/tex]
This is precisely the conformal group that one would get when “naively” extrapolating from [itex]D > 2[/itex] to [itex]D = 2.[/itex]
The apparent similarity between the open case and the holomorphic part of the closed case extends to a similar relation in string theory between open and closed strings; the doubling of degrees of freedom in going from open strings to closed strings; [itex]SL(2, \mathbb{C})[/itex] has twice as many parameters as [itex]SL(2,\mathbb{R})[/itex].
Each infinite-dimensional Witt algebra [itex]\Span\{\ell_{n}\}[/itex] contains a finite-dimensional subalgebra, [itex]\Span \{\ell_{-1},\ell_{0},\ell_{+1}\}[/itex], isomorphic to [itex]sl(2)[/itex]. When the field of scalars is restricted from [itex]\mathbb{C}[/itex] to [itex]\mathbb{R}[/itex], we obtain the real form [itex]sl(2,\mathbb{R)}[/itex]. Exponentiating the action of [itex]\{\ell_{-1},\ell_{0},\ell_{1}\}[/itex] on the real axis y, gives the finite transformations:
Translation;
[tex]T(\lambda_{-1}) = e^{\lambda_{-1}\ell_{-1}}: \ y \rightarrow y + \lambda_{-1}[/tex]
Scale;
[tex]S(\lambda_{0}) = e^{\lambda_{0}\ell_{0}}: \ y \rightarrow e^{\lambda_{0}}y[/tex]
Special Conformal transformations;
[tex]e^{\lambda_{1}\ell_{1}}: \ y \rightarrow \frac{y}{1 - \lambda_{1}y}[/tex]
Combining these transformations leads to the general form of an [itex]SL(2, \mathbb{R})[/itex] transformation;
[tex]y \rightarrow \frac{ay + b}{cy + d}, \ \ ad – bc = 1 \ \ (3)[/tex]
This means that the [itex]2 \times 2[/itex] real matrices of the group [itex]SL(2, \mathbb{R})[/itex] have natural non-linear action on ONE real variable [itex]y[/itex]! Does this surprise you? I hope not.
Since a, b, c and d are real, eq(3) clearly maps the real axis to itself. If we analytically continue to complex values of [itex]y[/itex], then [itex]SL(2, \mathbb{R})[/itex] transformations map the upper half y-plane to itself. Indeed, one can show that [itex]SL(2, \mathbb{R})[/itex] is the group of all one-to-one mappings of the upper half-plane to itself; [itex]y \rightarrow \bar{y}(y)[/itex], with [itex]\bar{y}[/itex] being an analytic function of y. In some region such transformation is conformal. Therefore, we may say that the mappings of the upper half-plane onto itself form a subgroup of the full conformal group, namely the real projective group [itex]SL(2, \mathbb{R})[/itex]. And I should stop here.

Sam

(*) See
www.physicsforums.com/showthread.php?t=172461
TGlad
#6
Oct16-11, 04:03 AM
P: 109
"Could you please point out a straightforward explicit example of transformation that is conformal, but not Möbius?"
Yes, z^2 or z^3 or z^4... z^n.
Bacle2
#7
Oct17-11, 08:40 PM
Sci Advisor
P: 1,172
Any holomorphic map, i.e., any complex map satisfying Cauchy-Riemann in an open disk which also has non-zero derivative, is conformal. So , take f(z)=z2 in ℂ-{0} is conformal, but
it is not a Mobius map, and it is not conformal in ℂ, since f'(z)=2z is 0 at z=0.
The only entire conformal maps are the maps az+b, since there
is an equivalence between f(z) being 1-1 and f'(z) being 0 (standard proof is , if f(k+1)(z0) is the first non-zero power of the derivative, so that f(0)=f'(0)=...f(k)=0 for , then you can express, locally, f(z)=h(z)(z-z0)n , where h(z) is non-zero in a 'hood of z0 so that f(z)/h(z) admits a local n-th root, and n-th roots are n->1 functions, and so are not 1-1 *) and the only injective entire functions are the functions az+b.

*More technically, open balls are simply-connected, and logf(z) can be defined in simply-connected regions where f is non-zero --because the integral dz/z is independent of path in simply-connected regions not containing the origin. Once you can define a log, you can define an n-th root.

EDIT: If f'(z)=0 , then f is not 1-1, but f'(z)≠ 0 does not imply more than f being locally 1-1, by the inverse function theorem.

Maybe needs some tightening, but I think it is on the right track.
Bacle2
#8
Oct17-11, 09:08 PM
Sci Advisor
P: 1,172
That should be: Any map f(z) :ℂ →ℂ is conformal, if/where it is analytic and f'(z)≠ 0. As Samalkhaiat posted in his thesis below (a real tour-de-france *) , the issue is different when you deal with maps between the 1-pt. compactification of ℂ to itself.


Register to reply

Related Discussions
Möbius transformations and SO(3) Differential Geometry 1
Distances, compactification & Möbius transformations Differential Geometry 3
Special Conformal Transformations Differential Geometry 0
Iterated Möbius transformations - Any University teachers or similar here to help? Linear & Abstract Algebra 14
Möbius transformations. General Math 1