Common base: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>DesbWit
Current follower: new vector image
 
en>Spinningspark
Reverted good faith edits by 122.163.252.135 (talk): And what exactly do you have against linking the cascode article. (TW)
Line 1: Line 1:
Hand calculators download from the underneath hyperlink, if you're looking for clash of families zero-cost gems, elixir and unwanted watches. You'll get the greatest secret text to get accessibility having to do with assets and endless flagstones by downloading from adhering to links.<br><br>Should you have any [https://Www.Google.com/search?hl=en&gl=us&tbm=nws&q=concerns&btnI=lucky concerns] with regards to exactly where as well as the best way to work with [http://circuspartypanama.com clash of clans hack download no survey], you possibly can e mail us with our website. Shelter are able to consumption those gems to instantly fortify his army. He tapped 'Yes,'" close to without thinking. In under a month to do with walking around a small amount of hours on a daily basis, he''d spent near 1000 dollars.<br><br>Temperance is essential in almost things, and enjoying clash of clans cheats is no different. Playing for hours on finish is simply not good-for-you, bodily or at your inner levels. There are some games out here which know this and include measures to remind one to take rests. Consider the initiative yourself, although! Place an alarm a person don't play for a lot more an hour right.<br><br>Don't be frightened to remove. It's normal to wish to play fighting opponents who are inside the or below your effectiveness level. In the exact end, it is ' interesting to always squander! There's, still, an important negative aspect to this scheme - there is no benefits to progress. You actually are playing against individuals who are better than you, you'll learn from the best own mistakes and you should be on their degree in a timely manner.<br><br>It's important to agenda your apple is consistently confident from association war dilemmas because association wars end up being fought inside a improved breadth absolutely -- this war zone. On the war region, your adapt and advance hostilities bases instead of agreed on villages; therefore, your villages resources, trophies, and absorber are never in jeopardy.<br><br>Casino is infiltrating houses almost. Some play these games for work, but unfortunately others play them intended for enjoyment. This firm is booming and won't fall off anytime soon. Refer to for some fantastic tips on gaming.<br><br>Pc games or computer games elevated in popularity nowadays, merely with the younger generation, but also with uncle and aunts as well. There are plenty games available, ranging from the intellectual to the regular - your options get limitless. Online character playing games are one of the most popular games anywhere remaining. With this popularity, plenty of men and women are exploring and struggling to find ways to go over the whole game as at once as they can; possibilities for using computer How to hack in clash of clans range from simply wanting to own your own chums stare at you found in awe, or getting a great deal of game money anyone really can sell later, or simply just - rid the game within the fun factor for the additional players.
In [[mathematics]], '''conformal geometry''' is the study of the set of angle-preserving ([[conformal map|conformal]]) transformations on a space.  In two real dimensions, conformal geometry is precisely the geometry of [[Riemann surfaces]].  In more than two dimensions, conformal geometry may refer either to the study of conformal transformations of "flat" spaces (such as [[Euclidean space]]s or [[n-sphere|spheres]]), or, more commonly, to the study of '''conformal manifolds''' which are [[Riemannian manifold|Riemannian]] or [[pseudo-Riemannian manifold]]s with a class of [[metric tensor|metrics]] defined up to scale.  Study of the flat structures is sometimes termed '''Möbius geometry''', and is a type of [[Klein geometry]].
 
==Conformal manifolds==
A '''conformal manifold''' is a [[differentiable manifold]] equipped with an equivalence class of (pseudo-)Riemannian [[metric tensor]]s, in which two metrics ''g'' and ''h'' are equivalent (see also: [[Conformal equivalence]]) if and only if
 
:<math>h = \lambda^2 g \, </math>
 
where λ is a smooth function.  An equivalence class of such metrics is known as a '''conformal metric''' or '''conformal class'''.  Thus a conformal metric may be regarded as a metric that is only defined "up to scale".  Often conformal metrics are treated by selecting a metric in the conformal class, and applying only "conformally invariant" constructions to the chosen metric.
 
A conformal metric is '''conformally flat''' if there is a metric representing it that is flat, in the usual sense that the [[Riemann tensor]] vanishes.  It may only be possible to find a metric in the conformal class that is flat in an open neighborhood of each point.  When it is necessary to distinguish these cases, the latter is called ''locally conformally flat'', although often in the literature no distinction is maintained.  The [[n-sphere]] is a locally conformally flat manifold that is not globally conformally flat in this sense, whereas a Euclidean space, a torus, or any conformal manifold that is covered by an open subset of Euclidean space is (globally) conformally flat in this sense.  A locally conformally flat manifold is locally conformal to a Möbius geometry, meaning that there exists an angle preserving [[local diffeomorphism]] from the manifold into a Möbius geometry. In two dimensions, every conformal metric is locally conformally flat. In dimension ''n''&nbsp;>&nbsp;3 a conformal metric is locally conformally flat if and only if its [[Weyl tensor]] vanishes; in dimension ''n''&nbsp;=&nbsp;3, if and only if the [[Cotton tensor]] vanishes.
 
Conformal geometry has a number of features which distinguish it from (pseudo-)Riemannian geometry.  The first is that although in (pseudo-)Riemannian geometry one has a well-defined metric at each point, in conformal geometry one only has a class of metrics.  Thus the length of a [[tangent vector]] cannot be defined, but the angle between two vectors still can.  Another feature is that there is no [[Levi-Civita connection]] because if ''g'' and λ<sup>2</sup>''g'' are two representatives of the conformal structure, then the [[Christoffel symbol]]s of ''g'' and λ<sup>2</sup>''g'' would not agree. Those associated with λ<sup>2</sup>''g'' would involve derivatives of the function λ whereas those associated with ''g'' would not.
 
Despite these differences, conformal geometry is still tractable.  The Levi-Civita connection and [[curvature form|curvature tensor]], although only being defined once a particular representative of the conformal structure has been singled out, do satisfy certain transformation laws involving the λ and its derivatives when a different representative is chosen.  In particular, (in dimension higher than 3) the [[Weyl tensor]] turns out not to depend on λ, and so it is a '''conformal invariant'''.  Moreover, even though there is no Levi-Civita connection on a conformal manifold, one can instead work with a [[conformal connection]], which can be handled either as a type of [[Cartan connection]] modelled on the associated Möbius geometry, or as a [[Weyl connection]].  This allows one to define '''conformal curvature''' and other invariants of the conformal structure.
 
== Möbius geometry ==
 
Möbius geometry is the study of "[[Euclidean space]] with a point added at infinity", or a "[[Minkowski space|Minkowski (or pseudo-Euclidean) space]] with a [[null cone]] added at infinity". That is, the setting is a [[compactification (mathematics)|compactification]] of a familiar space; the [[geometry]] is concerned with the implications of preserving angles.
 
At an abstract level, the Euclidean and pseudo-Euclidean spaces can be handled in much the same way, except in the case of dimension two.  The compactified two dimensional Minkowski plane exhibits extensive conformal [[symmetry]].  Formally, its group of conformal transformations is infinite dimensional.  By contrast, the group of conformal transformations of the compactified Euclidean plane is only 6 dimensional.
 
===Two dimensions===
====Minkowski space====
The conformal group for the Minkowski quadratic form ''q''(''x'',&nbsp;''y'') = 2''xy'' in the plane is the [[abelian group|abelian]] [[Lie group]]:
 
:<math>CSO(1,1)=\left\{\left.
\begin{pmatrix}
e^a&0\\
0&e^b
\end{pmatrix}\right|
a,b \in \mathbb{R}
\right\}
</math>
 
with [[Lie algebra]] '''cso'''(1,&nbsp;1) consisting of all real diagonal 2&nbsp;&times;&nbsp;2 matrices.
 
Consider now the Minkowski plane: '''R'''<sup>2</sup> equipped with the metric
 
: <math>g = 2 \, dx \, dy.\, </math>
 
A 1-parameter group of conformal transformations gives rise to a vector field ''X'' with the property that the Lie derivative of ''g'' along ''X'' is proportional to ''g''. Symbolically,
 
:'''L'''<sub>''X''</sub> ''g'' = &lambda; ''g'' for some &lambda;.
 
In particular, using the above description of the Lie algebra '''cso'''(1,&nbsp;1), this implies that
#  '''L'''<sub>''X''</sub>&nbsp;''dx'' = ''a''(''x'')&nbsp;''dx''
#  '''L'''<sub>''X''</sub>&nbsp;''dy'' = ''b''(''y'')&nbsp;''dy''
 
for some real-valued functions ''a'' and ''b'' depending, respectively, on ''x'' and ''y''. Conversely, given any such pair of real-valued functions, there exists a vector field ''X'' satisfying 1. and 2.  Hence the [[Lie algebra]] of infinitesimal symmetries of the conformal structure is infinite dimensional.
 
The conformal compactification of the Minkowski plane is a Cartesian product of two circles ''S''<sup>1</sup> &times; ''S''<sup>1</sup>.  On the [[universal cover]], there is no obstruction to integrating the infinitesimal symmetries, and so the group of conformal transformations is the infinite dimensional Lie group
 
:<math>(\mathbb{Z}\rtimes\mathrm{Diff}(S^1))\times(\mathbb{Z}\rtimes\mathrm{Diff}(S^1))\, </math>
 
where Diff(''S''<sup>1</sup>) is the [[diffeomorphism group]] of the circle.{{Citation needed|date=May 2007}}
 
The conformal group CSO(1,&nbsp;1) and its Lie algebra are of current interest in [[conformal field theory]].  See also [[Virasoro algebra]].
 
====Euclidean space====
[[Image:Conformal grid before Möbius transformation.svg|thumb|right|A coordinate grid prior to a Möbius transformation]]
[[Image:Conformal grid after Möbius transformation.svg|thumb|right|The same grid after a Möbius transformation]]
The group of conformal symmetries of the quadratic form
 
:<math>q(z,\bar{z}) = z\bar{z} \, </math>
 
is the group GL<sub>1</sub>('''C''') = '''C'''<sup>*</sup> of non-zero complex numbers.  Its Lie algebra is '''gl'''<sub>1</sub>('''C''') = '''C'''.
 
Consider the (Euclidean) [[complex plane]] equipped with the metric
 
:<math>g = dz \, d\bar{z}.</math>
 
The infinitesimal conformal symmetries satisfy
#<math>\mathbf{L}_X \, dz = f(z) \, dz</math>
#<math>\mathbf{L}_X \, d\bar{z} = f(\bar{z}) \, d\bar{z}</math>
where ''ƒ'' satisfies the [[Cauchy-Riemann equation]], and so is [[holomorphic]] over its domain. (See [[Witt algebra]].)
 
The conformal isometries of a domain therefore consist of holomorphic self-maps.  In particular, on the conformal compactification &mdash; the [[Riemann sphere]] &mdash; the conformal transformations are given by the [[Möbius transformation]]s
 
:<math>z \mapsto \frac{az+b}{cz+d}</math>
 
where ''ad''&nbsp;&minus;&nbsp;''bc'' is nonzero.
 
===Higher dimensions===
In two dimensions, the group of conformal automorphisms of a space can be quite large (as in the case of Lorentzian signature) or variable (as with the case of Euclidean signature). The comparative lack of rigidity of the two-dimensional case with that of higher dimensions owes to the analytical fact that the asymptotic developments of the infinitesimal automorphisms of the structure are relatively unconstrained. In Lorentzian signature, the freedom is in a pair of real valued functions. In Euclidean, the freedom is in a single holomorphic function.
 
In the case of higher dimensions, the asymptotic developments of infinitesimal symmetries are at most quadratic polynomials.<ref>Kobayashi (1972).</ref>  In particular, they form a finite dimensional Lie algebra.  The pointwise infinitesimal conformal symmetries of a manifold can be integrated precisely when the manifold is a certain model ''conformally flat'' space ([[up to]] taking universal covers and discrete group quotients).<ref>Due to a general theorem of Sternberg (1962).</ref>
 
The general theory of conformal geometry is similar, although with some differences, in the cases of Euclidean and pseudo-Euclidean signature.<ref>Slovak (1993).</ref>  In either case, there are a number of ways of introducing the model space of conformally flat geometry.  Unless otherwise clear from the context, this article  treats the case of Euclidean conformal geometry with the understanding that it also applies, ''[[mutatis mutandis]]'', to the pseudo-Euclidean situation.
 
====The inversive model====
The inversive model of conformal geometry consists of the group of local transformations on the [[Euclidean space]] '''E'''<sup>n</sup> generated by inversion in spheres.  By [[Liouville's theorem (conformal mappings)|Liouville's theorem]], any angle-preserving local (conformal) transformation is of this form.<ref>{{springer|id=L/l059680|title=Liouville theorems|author=S.A. Stepanov}}.  {{cite book|chapter=''Extension au case des trois dimensions de la question du tracé géographique, Note VI'' (by J. Liouville)|pages=609–615|author=G. Monge|title=Application de l'Analyse à la géometrie|publisher=Bachelier, Paris|year=1850}}.</ref>  From this perspective, the transformation properties of flat conformal space are those of [[inversive geometry]].
 
====The projective model====
The projective model identifies the conformal sphere with a certain [[quadric]] in a [[projective space]].  Let ''q'' denote the Lorentzian [[quadratic form]] on '''R'''<sup>''n''+2</sup> defined by
 
:<math>q(x_0,x_1,\ldots,x_{n+1}) = -2x_0x_{n+1}+x_1^2+x_2^2+\cdots+x_n^2.</math>
 
In the projective space '''P'''('''R'''<sup>''n''+2</sup>), let ''S'' be the locus of ''q''&nbsp;=&nbsp;0. Then ''S'' is the projective (or Möbius) model of conformal geometry.  A conformal transformation on ''S'' is a [[projective linear group|projective linear transformation]] of '''P'''('''R'''<sup>''n''+2</sup>) which leaves the quadric invariant.
 
In a related construction, the quadric ''S'' is thought of as the [[celestial sphere]] at infinity of the [[null cone]] in the Minkowski space '''R'''<sup>''n''+1,&nbsp;1</sup>, which is equipped with the quadratic form ''q'' as above.  The null cone is defined by
 
:<math>N = \left\{\left. (x_0,\ldots,x_{n+1}) \right| -2x_0x_{n+1} + x_1^2 +\cdots+x_n^2 = 0 \right\}.</math>
 
This is the affine cone over the projective quadric ''S''.  Let ''N''<sup>+</sup> be the future part of the null cone (with the origin deleted).  Then the tautological projection '''R'''<sup>''n''+1,&nbsp;1</sup>&nbsp;&minus;&nbsp;{0}&nbsp;→&nbsp;'''P'''('''R'''<sup>''n''+2</sup>) restricts to a projection ''N''<sup>+</sup>&nbsp;→&nbsp;''S''.  This gives ''N''<sup>+</sup> the structure of a [[line bundle]] over ''S''. Conformal transformations on ''S'' are induced by the [[Lorentz transformation|orthochronous Lorentz transformation]]s of '''R'''<sup>''n''+1,&nbsp;1</sup>, since these are homogeneous linear transformations preserving the future null cone.
 
====The Euclidean sphere====
Intuitively, the conformally flat geometry of a sphere is less rigid than the [[Riemannian geometry]] of a sphere.  Conformal symmetries of a sphere are generated by the inversion in all of its hyperspheres.  On the other hand, Riemannian [[isometry|isometries]] of a sphere are generated by inversions in ''[[geodesic]]'' hyperspheres (see the [[Cartan-Dieudonné theorem]].)  The Euclidean sphere can be mapped to the conformal sphere in a canonical manner, but not vice-versa.
 
The Euclidean unit sphere is the locus in '''R'''<sup>n+1</sup>
 
:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2=1.</math>
 
This can be mapped to the Minkowski space '''R'''<sup>n+1,1</sup> by letting
 
:<math>x_0 = \frac{z+1}{\sqrt{2}},\, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{z-1}{\sqrt{2}}.</math>
 
It is readily seen that the image of the sphere under this transformation is null in the Minkowski space, and so it lies on the cone ''N''<sup>+</sup>.  Consequently, it determines a cross-section of the line bundle ''N''<sup>+</sup> → ''S''.
 
Nevertheless, there was an arbitrary choice.  In fact, if κ(''x'') is any positive function of ''x''=(''z'',&nbsp;''x''<sub>0</sub>,&nbsp;...,&nbsp;''x''<sub>n</sub>), then the assignment
 
:<math>x_0 = \frac{z+1}{\kappa(x)\sqrt{2}}, \, x_1=x_1,\, \ldots,\, x_n=x_n,\, x_{n+1}=\frac{(z-1)\kappa(x)}{\sqrt{2}}</math>
 
also gives a mapping into ''N''<sup>+</sup>.  The function κ is an arbitrary choice of ''conformal scale''.
 
====Representative metrics====
A representative [[Riemannian metric]] on the sphere is a metric which is proportional to the standard sphere metric.  This gives a realization of the sphere as a [[conformal geometry#Conformal manifolds|conformal manifold]]. The standard sphere metric is the restriction of the Euclidean metric on '''R'''<sup>''n''+1</sup>
 
:<math>g=dz^2+dx_1^2+dx_2^2+\cdots+dx_n^2\,</math>
 
to the sphere
 
:<math>z^2+x_1^2+x_2^2+\cdots+x_n^2.\,</math>
 
A conformal representative of ''g'' is a metric of the form λ²''g'' where λ is a positive function on the sphere.  The conformal class of ''g'', denoted [''g''], is the collection of all such representatives:
 
:<math>[g] = \left\{\left.\lambda^2g\right| \lambda>0\right\}.\,</math>
 
An embedding of the Euclidean sphere into ''N''<sup>+</sup>, as in the previous section, determines a conformal scale on ''S''.  Conversely, any conformal scale on ''S'' is given by such an embedding. Thus the line bundle ''N''<sup>+</sup>&nbsp;→&nbsp;''S'' is identified with the bundle of conformal scales on ''S'': to give a section of this bundle is tantamount to specifying a metric in the conformal class [''g''].
 
====Ambient metric model====
{{see also|Ambient construction}}
Another way to realize the representative metrics is through a special [[coordinate system]] on '''R'''<sup>''n''+1,&nbsp;1</sup>.  Suppose that the Euclidean ''n''-sphere ''S'' carries a [[stereographic projection|stereographic coordinate system]]. This consists of the following map of '''R'''<sup>''n''</sup>&nbsp;→&nbsp;''S''&nbsp;⊂&nbsp;'''R'''<sup>''n''+1</sup>:
 
:<math>\mathbf{y} \in \mathbf{R}^n \mapsto \left(\frac{2\mathbf{y}}{|\mathbf{y}|^2+1}, \frac{|\mathbf{y}|^2-1}{|\mathbf{y}|^2+1}\right) \in S\sub \mathbf{R}^{n+1}.</math>
 
In terms of these stereographic coordinates, it is possible to give a coordinate system on the null cone ''N''<sup>+</sup> in Minkowski space.  Using the embedding given above, the representative metric section of the null cone is
 
:<math>x_0 = \sqrt{2}\frac{|\mathbf{y}|^2}{1+|\mathbf{y}|^2}, x_i=\frac{y_i}{|\mathbf{y}|^2+1}, x_{n+1}=\sqrt{2}\frac{1}{|\mathbf{y}|^2+1}.</math>
 
Introduce a new variable ''t'' corresponding to dilations up ''N''<sup>+</sup>, so that the null cone is coordinatized by
 
:<math>x_0 = t\sqrt{2}\frac{|\mathbf{y}|^2}{1+|\mathbf{y}|^2}, x_i=t\frac{y_i}{|\mathbf{y}|^2+1}, x_{n+1}=t\sqrt{2}\frac{1}{|\mathbf{y}|^2+1}.</math>
 
Finally, let ρ be the following defining function of ''N''<sup>+</sup>:
 
:<math>\rho = \frac{-2x_0x_{n+1}+x_1^2+x_2^2+\cdots+x_n^2}{t^2}.</math>
 
In the ''t'', ''ρ'', ''y'' coordinates on '''R'''<sup>''n''+1,1</sup>, the Minkowski metric takes the form:
 
:<math>t^2 g_{ij}(y)\,dy^i\,dy^j+2\rho \, dt^2+2t\,dt\,d\rho,\, </math>
 
where ''g''<sub>''ij''</sub> is the metric on the sphere.
 
In these terms, a section of the bundle ''N''<sup>+</sup> consists of a specification of the value of the variable ''t'' = ''t''(''y''<sup>''i''</sup>) as a function of the ''y''<sup>''i''</sup> along the null cone ρ = 0. This yields the following representative of the conformal metric on ''S'':
 
:<math>t(y)^2 g_{ij} \, dy^i \, dy^j.\, </math>
 
====The Kleinian model====
Consider first the case of the flat conformal geometry in Euclidean signature.  The ''n''-dimensional model is the [[celestial sphere]] of the (''n''&nbsp;+&nbsp;2)-dimensional Lorentzian space '''R'''<sup>''n''+1,1</sup>.  Here the model is a [[Klein geometry]]: a [[homogeneous space]] ''G''/''H'' where ''G'' = SO(''n''&nbsp;+&nbsp;1,&nbsp;1) acting on the (''n''+2)-dimensional Lorentzian space '''R'''<sup>''n''+1,1</sup> and ''H'' is the [[isotropy group]] of a fixed null ray in the [[light cone]].  Thus the conformally flat models are the spaces of [[inversive geometry]].  For pseudo-Euclidean of [[metric signature]] (''p'',&nbsp;''q''), the model flat geometry is defined analogously as the homogeneous space O(''p''&nbsp;+&nbsp;1,&nbsp;''q''&nbsp;+&nbsp;1)/''H'', where ''H'' is again taken as the stabilizer of a null line.  Note that both the Euclidean and pseudo-Euclidean model spaces are [[Compact space|compact]].
 
====The conformal Lie algebras====
To describe the groups and algebras involved in the flat model space, fix the following form on '''R'''<sup>''p''+1,''q''+1</sup>:
 
:<math>
Q=\begin{pmatrix}
0&0&-1\\
0&J&0\\
-1&0&0
\end{pmatrix}
</math>
where ''J'' is a quadratic form of signature (''p'',&nbsp;''q'').  Then ''G'' = O(''p''&nbsp;+&nbsp;1,&nbsp;''q''&nbsp;+&nbsp;1) consists of (''n''&nbsp;+&nbsp;2)&nbsp;&times;&nbsp;(''n''&nbsp;+&nbsp;2) matrices stabilizing ''Q'':  <sup>t</sup>''MQM'' = ''Q''.  The Lie algebra admits a [[Cartan decomposition]]
 
:<math>\mathbf{g}=\mathbf{g}_{-1}\oplus\mathbf{g}_0\oplus\mathbf{g}_1</math>
 
where
 
:<math>
\mathbf{g}_{-1} = \left\{\left.
\begin{pmatrix}
0&^tp&0\\
0&0&J^{-1}p\\
0&0&0
\end{pmatrix}\right| p\in\mathbb{R}^n\right\},\quad
\mathbf{g}_{-1} = \left\{\left.
\begin{pmatrix}
0&0&0\\
^tq&0&0\\
0&qJ^{-1}&0
\end{pmatrix}\right| q\in(\mathbb{R}^n)^*\right\}
</math>
 
:<math>
\mathbf{g}_0 = \left\{\left.
\begin{pmatrix}
-a&0&0\\
0&A&0\\
0&0&a
\end{pmatrix}\right| A\in\mathfrak{so}(p,q), a\in\mathbb{R}\right\}
.</math>
 
Alternatively, this decomposition agrees with a natural Lie algebra structure defined on '''R'''<sup>''n''</sup>&nbsp;⊕&nbsp;'''cso'''(''p'',&nbsp;''q'')&nbsp;⊕&nbsp;('''R'''<sup>''n''</sup>)<sup>*</sup>.
 
The stabilizer of the null ray pointing up the last coordinate vector is given by the [[Borel subalgebra]]
 
:'''h''' = '''g'''<sub>0</sub> &oplus; '''g'''<sub>1</sub>.
 
==See also==
*[[Conformal equivalence]]
*[[Conformal geometric algebra]]
*[[Conformal gravity]]
*[[Erlangen program]]
 
==Notes==
<references/>
 
==References==
*{{cite book | author=Kobayashi, Shoshichi| title = Transformation Groups in Differential Geometry | publisher=Springer | year=1970 (First edition) |isbn = 3-540-05848-6}}
*{{cite book|last=Slovák|first=Jan|title=Invariant Operators on Conformal Manifolds|url=http://www.math.muni.cz/~slovak/ftp/papers/vienna.ps|year=1993|publisher=Research Lecture Notes, University of Vienna (Dissertation)}}
*{{cite book| author=Sternberg, Shlomo |title=Lectures on differential geometry |location=New York |publisher=Chelsea |year=1983 |isbn=0-8284-0316-3}}
 
==External links==
*{{springer|id=C/c024770|title=Conformal geometry|author=G.V. Bushmanova}}
*http://www.euclideanspace.com/maths/geometry/space/nonEuclid/conformal/index.htm
 
{{DEFAULTSORT:Conformal Geometry}}
[[Category:Differential geometry]]
[[Category:Conformal geometry|*]]

Revision as of 13:44, 16 December 2013

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space. In two real dimensions, conformal geometry is precisely the geometry of Riemann surfaces. In more than two dimensions, conformal geometry may refer either to the study of conformal transformations of "flat" spaces (such as Euclidean spaces or spheres), or, more commonly, to the study of conformal manifolds which are Riemannian or pseudo-Riemannian manifolds with a class of metrics defined up to scale. Study of the flat structures is sometimes termed Möbius geometry, and is a type of Klein geometry.

Conformal manifolds

A conformal manifold is a differentiable manifold equipped with an equivalence class of (pseudo-)Riemannian metric tensors, in which two metrics g and h are equivalent (see also: Conformal equivalence) if and only if

h=λ2g

where λ is a smooth function. An equivalence class of such metrics is known as a conformal metric or conformal class. Thus a conformal metric may be regarded as a metric that is only defined "up to scale". Often conformal metrics are treated by selecting a metric in the conformal class, and applying only "conformally invariant" constructions to the chosen metric.

A conformal metric is conformally flat if there is a metric representing it that is flat, in the usual sense that the Riemann tensor vanishes. It may only be possible to find a metric in the conformal class that is flat in an open neighborhood of each point. When it is necessary to distinguish these cases, the latter is called locally conformally flat, although often in the literature no distinction is maintained. The n-sphere is a locally conformally flat manifold that is not globally conformally flat in this sense, whereas a Euclidean space, a torus, or any conformal manifold that is covered by an open subset of Euclidean space is (globally) conformally flat in this sense. A locally conformally flat manifold is locally conformal to a Möbius geometry, meaning that there exists an angle preserving local diffeomorphism from the manifold into a Möbius geometry. In two dimensions, every conformal metric is locally conformally flat. In dimension n > 3 a conformal metric is locally conformally flat if and only if its Weyl tensor vanishes; in dimension n = 3, if and only if the Cotton tensor vanishes.

Conformal geometry has a number of features which distinguish it from (pseudo-)Riemannian geometry. The first is that although in (pseudo-)Riemannian geometry one has a well-defined metric at each point, in conformal geometry one only has a class of metrics. Thus the length of a tangent vector cannot be defined, but the angle between two vectors still can. Another feature is that there is no Levi-Civita connection because if g and λ2g are two representatives of the conformal structure, then the Christoffel symbols of g and λ2g would not agree. Those associated with λ2g would involve derivatives of the function λ whereas those associated with g would not.

Despite these differences, conformal geometry is still tractable. The Levi-Civita connection and curvature tensor, although only being defined once a particular representative of the conformal structure has been singled out, do satisfy certain transformation laws involving the λ and its derivatives when a different representative is chosen. In particular, (in dimension higher than 3) the Weyl tensor turns out not to depend on λ, and so it is a conformal invariant. Moreover, even though there is no Levi-Civita connection on a conformal manifold, one can instead work with a conformal connection, which can be handled either as a type of Cartan connection modelled on the associated Möbius geometry, or as a Weyl connection. This allows one to define conformal curvature and other invariants of the conformal structure.

Möbius geometry

Möbius geometry is the study of "Euclidean space with a point added at infinity", or a "Minkowski (or pseudo-Euclidean) space with a null cone added at infinity". That is, the setting is a compactification of a familiar space; the geometry is concerned with the implications of preserving angles.

At an abstract level, the Euclidean and pseudo-Euclidean spaces can be handled in much the same way, except in the case of dimension two. The compactified two dimensional Minkowski plane exhibits extensive conformal symmetry. Formally, its group of conformal transformations is infinite dimensional. By contrast, the group of conformal transformations of the compactified Euclidean plane is only 6 dimensional.

Two dimensions

Minkowski space

The conformal group for the Minkowski quadratic form q(xy) = 2xy in the plane is the abelian Lie group:

CSO(1,1)={(ea00eb)|a,b}

with Lie algebra cso(1, 1) consisting of all real diagonal 2 × 2 matrices.

Consider now the Minkowski plane: R2 equipped with the metric

g=2dxdy.

A 1-parameter group of conformal transformations gives rise to a vector field X with the property that the Lie derivative of g along X is proportional to g. Symbolically,

LX g = λ g for some λ.

In particular, using the above description of the Lie algebra cso(1, 1), this implies that

  1. LX dx = a(xdx
  2. LX dy = b(ydy

for some real-valued functions a and b depending, respectively, on x and y. Conversely, given any such pair of real-valued functions, there exists a vector field X satisfying 1. and 2. Hence the Lie algebra of infinitesimal symmetries of the conformal structure is infinite dimensional.

The conformal compactification of the Minkowski plane is a Cartesian product of two circles S1 × S1. On the universal cover, there is no obstruction to integrating the infinitesimal symmetries, and so the group of conformal transformations is the infinite dimensional Lie group

(Diff(S1))×(Diff(S1))

where Diff(S1) is the diffeomorphism group of the circle.Potter or Ceramic Artist Truman Bedell from Rexton, has interests which include ceramics, best property developers in singapore developers in singapore and scrabble. Was especially enthused after visiting Alejandro de Humboldt National Park.

The conformal group CSO(1, 1) and its Lie algebra are of current interest in conformal field theory. See also Virasoro algebra.

Euclidean space

File:Conformal grid before Möbius transformation.svg
A coordinate grid prior to a Möbius transformation
File:Conformal grid after Möbius transformation.svg
The same grid after a Möbius transformation

The group of conformal symmetries of the quadratic form

q(z,z¯)=zz¯

is the group GL1(C) = C* of non-zero complex numbers. Its Lie algebra is gl1(C) = C.

Consider the (Euclidean) complex plane equipped with the metric

g=dzdz¯.

The infinitesimal conformal symmetries satisfy

  1. LXdz=f(z)dz
  2. LXdz¯=f(z¯)dz¯

where ƒ satisfies the Cauchy-Riemann equation, and so is holomorphic over its domain. (See Witt algebra.)

The conformal isometries of a domain therefore consist of holomorphic self-maps. In particular, on the conformal compactification — the Riemann sphere — the conformal transformations are given by the Möbius transformations

zaz+bcz+d

where ad − bc is nonzero.

Higher dimensions

In two dimensions, the group of conformal automorphisms of a space can be quite large (as in the case of Lorentzian signature) or variable (as with the case of Euclidean signature). The comparative lack of rigidity of the two-dimensional case with that of higher dimensions owes to the analytical fact that the asymptotic developments of the infinitesimal automorphisms of the structure are relatively unconstrained. In Lorentzian signature, the freedom is in a pair of real valued functions. In Euclidean, the freedom is in a single holomorphic function.

In the case of higher dimensions, the asymptotic developments of infinitesimal symmetries are at most quadratic polynomials.[1] In particular, they form a finite dimensional Lie algebra. The pointwise infinitesimal conformal symmetries of a manifold can be integrated precisely when the manifold is a certain model conformally flat space (up to taking universal covers and discrete group quotients).[2]

The general theory of conformal geometry is similar, although with some differences, in the cases of Euclidean and pseudo-Euclidean signature.[3] In either case, there are a number of ways of introducing the model space of conformally flat geometry. Unless otherwise clear from the context, this article treats the case of Euclidean conformal geometry with the understanding that it also applies, mutatis mutandis, to the pseudo-Euclidean situation.

The inversive model

The inversive model of conformal geometry consists of the group of local transformations on the Euclidean space En generated by inversion in spheres. By Liouville's theorem, any angle-preserving local (conformal) transformation is of this form.[4] From this perspective, the transformation properties of flat conformal space are those of inversive geometry.

The projective model

The projective model identifies the conformal sphere with a certain quadric in a projective space. Let q denote the Lorentzian quadratic form on Rn+2 defined by

q(x0,x1,,xn+1)=2x0xn+1+x12+x22++xn2.

In the projective space P(Rn+2), let S be the locus of q = 0. Then S is the projective (or Möbius) model of conformal geometry. A conformal transformation on S is a projective linear transformation of P(Rn+2) which leaves the quadric invariant.

In a related construction, the quadric S is thought of as the celestial sphere at infinity of the null cone in the Minkowski space Rn+1, 1, which is equipped with the quadratic form q as above. The null cone is defined by

N={(x0,,xn+1)|2x0xn+1+x12++xn2=0}.

This is the affine cone over the projective quadric S. Let N+ be the future part of the null cone (with the origin deleted). Then the tautological projection Rn+1, 1 − {0} → P(Rn+2) restricts to a projection N+ → S. This gives N+ the structure of a line bundle over S. Conformal transformations on S are induced by the orthochronous Lorentz transformations of Rn+1, 1, since these are homogeneous linear transformations preserving the future null cone.

The Euclidean sphere

Intuitively, the conformally flat geometry of a sphere is less rigid than the Riemannian geometry of a sphere. Conformal symmetries of a sphere are generated by the inversion in all of its hyperspheres. On the other hand, Riemannian isometries of a sphere are generated by inversions in geodesic hyperspheres (see the Cartan-Dieudonné theorem.) The Euclidean sphere can be mapped to the conformal sphere in a canonical manner, but not vice-versa.

The Euclidean unit sphere is the locus in Rn+1

z2+x12+x22++xn2=1.

This can be mapped to the Minkowski space Rn+1,1 by letting

x0=z+12,x1=x1,,xn=xn,xn+1=z12.

It is readily seen that the image of the sphere under this transformation is null in the Minkowski space, and so it lies on the cone N+. Consequently, it determines a cross-section of the line bundle N+S.

Nevertheless, there was an arbitrary choice. In fact, if κ(x) is any positive function of x=(zx0, ..., xn), then the assignment

x0=z+1κ(x)2,x1=x1,,xn=xn,xn+1=(z1)κ(x)2

also gives a mapping into N+. The function κ is an arbitrary choice of conformal scale.

Representative metrics

A representative Riemannian metric on the sphere is a metric which is proportional to the standard sphere metric. This gives a realization of the sphere as a conformal manifold. The standard sphere metric is the restriction of the Euclidean metric on Rn+1

g=dz2+dx12+dx22++dxn2

to the sphere

z2+x12+x22++xn2.

A conformal representative of g is a metric of the form λ²g where λ is a positive function on the sphere. The conformal class of g, denoted [g], is the collection of all such representatives:

[g]={λ2g|λ>0}.

An embedding of the Euclidean sphere into N+, as in the previous section, determines a conformal scale on S. Conversely, any conformal scale on S is given by such an embedding. Thus the line bundle N+ → S is identified with the bundle of conformal scales on S: to give a section of this bundle is tantamount to specifying a metric in the conformal class [g].

Ambient metric model

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. Another way to realize the representative metrics is through a special coordinate system on Rn+1, 1. Suppose that the Euclidean n-sphere S carries a stereographic coordinate system. This consists of the following map of Rn → S ⊂ Rn+1:

yRn(2y|y|2+1,|y|21|y|2+1)SRn+1.

In terms of these stereographic coordinates, it is possible to give a coordinate system on the null cone N+ in Minkowski space. Using the embedding given above, the representative metric section of the null cone is

x0=2|y|21+|y|2,xi=yi|y|2+1,xn+1=21|y|2+1.

Introduce a new variable t corresponding to dilations up N+, so that the null cone is coordinatized by

x0=t2|y|21+|y|2,xi=tyi|y|2+1,xn+1=t21|y|2+1.

Finally, let ρ be the following defining function of N+:

ρ=2x0xn+1+x12+x22++xn2t2.

In the t, ρ, y coordinates on Rn+1,1, the Minkowski metric takes the form:

t2gij(y)dyidyj+2ρdt2+2tdtdρ,

where gij is the metric on the sphere.

In these terms, a section of the bundle N+ consists of a specification of the value of the variable t = t(yi) as a function of the yi along the null cone ρ = 0. This yields the following representative of the conformal metric on S:

t(y)2gijdyidyj.

The Kleinian model

Consider first the case of the flat conformal geometry in Euclidean signature. The n-dimensional model is the celestial sphere of the (n + 2)-dimensional Lorentzian space Rn+1,1. Here the model is a Klein geometry: a homogeneous space G/H where G = SO(n + 1, 1) acting on the (n+2)-dimensional Lorentzian space Rn+1,1 and H is the isotropy group of a fixed null ray in the light cone. Thus the conformally flat models are the spaces of inversive geometry. For pseudo-Euclidean of metric signature (pq), the model flat geometry is defined analogously as the homogeneous space O(p + 1, q + 1)/H, where H is again taken as the stabilizer of a null line. Note that both the Euclidean and pseudo-Euclidean model spaces are compact.

The conformal Lie algebras

To describe the groups and algebras involved in the flat model space, fix the following form on Rp+1,q+1:

Q=(0010J0100)

where J is a quadratic form of signature (pq). Then G = O(p + 1, q + 1) consists of (n + 2) × (n + 2) matrices stabilizing Q: tMQM = Q. The Lie algebra admits a Cartan decomposition

g=g1g0g1

where

g1={(0tp000J1p000)|pn},g1={(000tq000qJ10)|q(n)*}
g0={(a000A000a)|Aso(p,q),a}.

Alternatively, this decomposition agrees with a natural Lie algebra structure defined on Rn ⊕ cso(pq) ⊕ (Rn)*.

The stabilizer of the null ray pointing up the last coordinate vector is given by the Borel subalgebra

h = g0g1.

See also

Notes

  1. Kobayashi (1972).
  2. Due to a general theorem of Sternberg (1962).
  3. Slovak (1993).
  4. Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534.

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

External links