Curvatura sezionale

In geometria differenziale, la curvatura sezionale misura la curvatura di una varietà riemanniana lungo piani dello spazio tangente in un punto della varietà. La curvatura sezionale contiene la stessa quantità di informazioni del tensore di Riemann.

Definizione

Sia $p$ un punto in una varietà riemanniana $M$, e $\sigma$ un piano (passante per l'origine) nello spazio tangente $T_p$ in $p$.

La mappa esponenziale manda un aperto di $\sigma$ contenente l'origine su una superficie $S$, contenuta in $M$ e tangente a $\sigma$ in $p$. Si tratta della superficie ottenuta prendendo localmente tutte le geodetiche uscenti da $p$ tangenti a $\sigma$.

La curvatura sezionale $K(\sigma )$ di $M$ rispetto a $\sigma$ è la curvatura gaussiana di $S$ in $p$.

Relazione con il tensore di Riemann

La curvatura sezionale può essere ricavata dal tensore di Riemann. Siano $u$ e $v$ due vettori che generano il piano $\sigma$; vale la formula

$K(\sigma )=\frac{⟨R(u,v)v,u⟩}{⟨u,u⟩\cdot ⟨v,v⟩-⟨u,v{⟩}^2}$

dove $R$ è il tensore di Riemann, ed il prodotto scalare è dato dal tensore metrico.

D'altra parte, il tensore di Riemann può essere completamente espresso in termini delle curvature sezionali nel punto.

Spazi a curvatura sezionale costante

Una varietà a curvatura sezionale costante è una varietà riemanniana in cui la curvatura sezionale è sempre un valore $K$, indipendentemente dal punto $p$ e dal piano $\sigma$. A meno di riscalare il tensore metrico di un fattore costante, si può supporre che questa curvatura sia $K=-1$, $0$ oppure $1$. La varietà è allora detta rispettivamente iperbolica, piatta e ellittica.

Per ogni dimensione $n$ esiste (a meno di riscalamento) esattamente una varietà iperbolica, piatta e ellittica, che sia anche connessa, semplicemente connessa e completa. Queste sono rispettivamente lo spazio iperbolico ${ℍ}^n$, lo spazio euclideo ${ℝ}^n$ e la sfera $S^n$.

Ogni altra varietà iperbolica, piatta e ellittica completa ha uno di questi tre modelli come rivestimento universale, ed è quindi costruita a partire da questo come quoziente di un opportuno gruppo di isometrie.

Ad esempio, lo spazio proiettivo reale $ℝ{\mathbb{P}}^n$ è una varietà ellittica ottenuta quozientando la sfera $S^n$ tramite la mappa antipodale.

Bibliografia

• Template:Cita libro
• Template:Cita libro

Voci correlate

• Tensore di Riemann
• Curvatura scalare