Varietà conformemente piatta
# Varietà conformemente piatta

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. Ciò comporta che esiste una funzione $\lambda (x)$ tale che $g(x)=\lambda (x)\,\eta$, dove $g(x)$ è la metrica in questione, $\eta$ è la metrica piatta e $x$ è un punto della varietà. La radice quadrata di $\lambda (x)$ è definita fattore conforme.

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

## Esempi

* Ogni varietà con curvatura sezionale costante è conformemente piatta.
* Ogni varietà pseudo-riemanniana bidimensionale è conformemente piatta.

   * L'elemento di linea delle coordinate geografiche (sfera bidimensionale o $S_{2}$)

          $ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,$
       ha tensore metrico $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$-dimensionale per $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$-dimensionale o $S_{n}$).
* Nella relatività generale si possono spesso usare varietà conformemente piatte, ad esempio per descrivere la metrica di Friedmann-Lemaître-Robertson-Walker. Tuttavia è stato anche dimostrato che non esistono sezioni conformemente piatte dello spaziotempo di Kerr.

    Ad esempio, l'elemento di linea delle coordinate di Kruskal-Szekeres, considerando solo le prime due coordinate, temporale e radiale, è
          $ds^{2}=\left(1-{\frac {2GM}{r}}\right)dv\,du$
       il cui tensore metrico è $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
          ${\begin{cases}t={\frac {1}{2}}(v+u)\\x={\frac {1}{2}}(v-u)\end{cases}}$
       si ottiene
          $ds^{2}=\left(1-{\frac {2GM}{r}}\right)(dt^{2}-dx^{2})$
       con tensore metrico $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).
