Varietà conformemente piatta

La varietà superiore è piatta. Quella inferiore no, ma è conforme alla prima

In geometria differenziale, una varietà pseudo-riemanniana è conformemente piatta se ogni suo punto ha un intorno che può essere mappato a uno spazio piatto mediante una trasformazione conforme.

In pratica la metrica sulla varietà deve essere conforme alla metrica piatta, ossia le geodetiche devono mantenere le angolazioni passando dall'una all'altra, oltre che mantenere invariate le geodetiche nulle.[1] Ciò comporta che esiste una funzione λ ( x ) {\displaystyle \lambda (x)} tale che g ( x ) = λ ( x ) η {\displaystyle g(x)=\lambda (x)\,\eta } , dove g ( x ) {\displaystyle g(x)} è la metrica in questione, η {\displaystyle \eta } è la metrica piatta e x {\displaystyle x} è un punto della varietà. La radice quadrata di λ ( x ) {\displaystyle \lambda (x)} è definita fattore conforme.

Più formalmente, sia ( M , g ) {\displaystyle (M,g)} una varietà pseudo-riemanniana. Allora ( M , g ) {\displaystyle (M,g)} è conformemente piatta se per ogni punto x {\displaystyle x} in M {\displaystyle M} esiste un intorno U {\displaystyle U} di x {\displaystyle x} e una funzione liscia f {\displaystyle f} definita su U {\displaystyle U} tali che ( U , e 2 f g ) {\displaystyle (U,e^{2f}g)} è piatta (cioè la curvatura di e 2 f g {\displaystyle e^{2f}g} scompare su U {\displaystyle U} ). La funzione f {\displaystyle f} non deve essere necessariamente definita su tutto M . {\displaystyle M.}

Alcuni autori distinguono ulteriormente attribuendo la definizione precedente a una varietà localmente conformemente piatta e lasciando la definizione di conformemente piatta al caso in cui la funzione f {\displaystyle f} sia definita su tutto M {\displaystyle M} .

Esempi

  • Ogni varietà con curvatura sezionale costante è conformemente piatta.
  • Ogni varietà pseudo-riemanniana bidimensionale è conformemente piatta.[1]
  • L'elemento di linea delle coordinate geografiche (sfera bidimensionale o S 2 {\displaystyle S_{2}} )
d s 2 = d θ 2 + sin 2 θ d ϕ 2 {\displaystyle ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,}
ha tensore metrico g i k = [ 1 0 0 sin 2 θ ] {\displaystyle g_{ik}={\begin{bmatrix}1&0\\0&\sin ^{2}\theta \end{bmatrix}}} e non è piatta, rappresentando la sfera, ma usando la proiezione stereografica è mappabile su un piano.
  • Una varietà pseudo-riemanniana tridimensionale è conformemente piatta se e solo se il tensore di Cotton svanisce.
  • Una varietà pseudo-riemanniana n {\displaystyle n} -dimensionale per n 4 {\displaystyle n\geq 4} è conformemente piatta se e solo se il tensore di Weyl svanisce.
  • Ogni varietà riemanniana compatta, semplicemente connessa, conformemente euclidea è conformemente equivalente alla ipersfera (sfera n {\displaystyle n} -dimensionale o S n {\displaystyle S_{n}} ).[2]
  • Nella relatività generale si possono spesso usare varietà conformemente piatte, ad esempio per descrivere la metrica di Friedmann-Lemaître-Robertson-Walker.[3] Tuttavia è stato anche dimostrato che non esistono sezioni conformemente piatte dello spaziotempo di Kerr.[4]
Ad esempio, l'elemento di linea delle coordinate di Kruskal-Szekeres, considerando solo le prime due coordinate, temporale e radiale, è
d s 2 = ( 1 2 G M r ) d v d u {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)dv\,du}
il cui tensore metrico è g i k = [ 0 1 2 G M r 1 2 G M r 0 ] {\displaystyle g_{ik}={\begin{bmatrix}0&1-{\frac {2GM}{r}}\\1-{\frac {2GM}{r}}&0\end{bmatrix}}} , quindi non corrispondente a una varietà piatta. Ma mediante la trasformazione
{ t = 1 2 ( v + u ) x = 1 2 ( v u ) {\displaystyle {\begin{cases}t={\frac {1}{2}}(v+u)\\x={\frac {1}{2}}(v-u)\end{cases}}}
si ottiene
d s 2 = ( 1 2 G M r ) ( d t 2 d x 2 ) {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)(dt^{2}-dx^{2})}
con tensore metrico g i k = [ 1 2 G M r 0 0 1 2 G M r ] = ( 1 2 G M r ) [ 1 0 0 1 ] , {\displaystyle g_{ik}={\begin{bmatrix}1-{\frac {2GM}{r}}&0\\0&1-{\frac {2GM}{r}}\end{bmatrix}}=\left(1-{\frac {2GM}{r}}\right){\begin{bmatrix}1&0\\0&-1\end{bmatrix}},} che è la metrica piatta a meno del primo fattore dopo l'uguale (fattore conforme).[5]

Note

  1. ^ a b Ray D'Inverno, 6.13 The Weyl tensor, in Introducing Einstein's Relativity, pp. 88-89.
  2. ^ N. H. Kuiper, On conformally flat spaces in the large, in Annals of Mathematics, vol. 50, n. 4, 1949, pp. 916-924, DOI:10.2307/1969587.
  3. ^ Janusz Garecki, On Energy of the Friedman Universes in Conformally Flat Coordinates, in Acta Physica Polonica B, vol. 39, n. 4, 2008, pp. 781-797, Bibcode:2008AcPPB..39..781G, arXiv:0708.2783.
  4. ^ (EN) Alcides Garat e Richard H. Price, Nonexistence of conformally flat slices of the Kerr spacetime, in Physical Review D, vol. 61, n. 12, 18 maggio 2000, p. 124011, Bibcode:2000PhRvD..61l4011G, DOI:10.1103/PhysRevD.61.124011, ISSN 0556-2821 (WC · ACNP), arXiv:gr-qc/0002013.
  5. ^ Ray D'Inverno, 17.2 The Kruskal solution, in Introducing Einstein's Relativity, pp. 230-231.

Voci correlate

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica