Register to reply 
Conformal transformations and Möbius transformations 
Share this thread: 
#1
Oct1411, 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. 


#2
Oct1411, 12:45 PM

Sci Advisor
P: 1,594

Every holomorphic function is a conformal transformation of the plane.



#3
Oct1411, 04:00 PM

Sci Advisor
HW Helper
P: 9,498




#4
Oct1511, 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? 


#5
Oct1511, 09:55 PM

Sci Advisor
P: 923

Conformal transformations of spacetime 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 spacetime 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 anglepreserving. 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}] = (mn)\ell_{m+n},[/tex] [tex][\bar{\ell}_{m},\bar{\ell}_{n}] = (mn) \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 infinitedimensional 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 spacetime 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 nonsingular at [itex]z = 0[/itex] only for [itex]n \geq 1[/itex], and nonsingular at [itex]z = \infty[/itex] (where it acts as [itex](w^{1n}\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 welldefined 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 nonsingular 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 socalled 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 2dimensional 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 halfplane. 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 infinitedimensional Witt algebra [itex]\Span\{\ell_{n}\}[/itex] contains a finitedimensional 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 nonlinear 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 yplane to itself. Indeed, one can show that [itex]SL(2, \mathbb{R})[/itex] is the group of all onetoone mappings of the upper halfplane 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 halfplane 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 


#6
Oct1611, 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. 


#7
Oct1711, 08:40 PM

Sci Advisor
P: 1,172

Any holomorphic map, i.e., any complex map satisfying CauchyRiemann in an open disk which also has nonzero derivative, is conformal. So , take f(z)=z^{2} 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 11 and f'(z) being 0 (standard proof is , if f^{(k+1)}(z_{0}) is the first nonzero power of the derivative, so that f(0)=f'(0)=...f^{(k)}=0 for , then you can express, locally, f(z)=h(z)(zz_{0})^{n} , where h(z) is nonzero in a 'hood of z_{0} so that f(z)/h(z) admits a local nth root, and nth roots are n>1 functions, and so are not 11 *) and the only injective entire functions are the functions az+b. *More technically, open balls are simplyconnected, and logf(z) can be defined in simplyconnected regions where f is nonzero because the integral dz/z is independent of path in simplyconnected regions not containing the origin. Once you can define a log, you can define an nth root. EDIT: If f^{'}(z)=0 , then f is not 11, but f'(z)≠ 0 does not imply more than f being locally 11, by the inverse function theorem. Maybe needs some tightening, but I think it is on the right track. 


#8
Oct1711, 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 tourdefrance *) , the issue is different when you deal with maps between the 1pt. 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 