Sezione (geometria differenziale)

Template:F In geometria differenziale una sezione è una applicazione dalla base di un fibrato, che è una varietà differenziale, a valori nello spazio totale del fibrato stesso. La sua utilità pratica si riscontra nella possibilità di associare ad una funzione differenziabile la base del fibrato vettoriale considerato, accostando ad ogni punto della base della varietà un elemento della fibra in quel punto.

Una sezione generica su una varietà M

Ad esempio, un campo vettoriale è una sezione del fibrato tangente $TM.$ La sua scrittura in coordinate locali è infatti:

$F(x_1,\dots ,x_n)=\underset{i=1}{\sum ^m}{f}^i(x_1,\dots ,x_n)\frac{\partial }{\partial x^i}.$

Sezione in geometria differenziale

Definizione

Data una varietà differenziabile $M$, un punto $p\in M$, un intorno $U\subset M$ di $p$ e un fibrato vettoriale $\pi :E\to M$, una sezione di $M$ è un'applicazione differenziabile $\sigma :U\to E,p\mapsto (p,v)$ tale che $\pi \circ \sigma ={\mathrm{i}\mathrm{d}}_M$.

Classificazione delle sezioni principali

Alcuni oggetti matematici, se visti come sezioni di particolari fibrati vettoriali, ottengono un'interpretazione geometrica molto più profonda. Eccone i più noti:

• Una sezione nulla associa il vettore nullo su $E_p,\mathrm{\forall }p\in M$
• Una sezione globale è una sezione definita su tutta la varietà.
• Una sezione banale è una sezione sul fibrato banale $E=M\times {ℝ}^n$, ovviamente isomorfa ad un'applicazione differenziabile generica.
• Una sezione del fibrato tangente $TM$ definisce un campo vettoriale su $M.$
• Una sezione del fibrato cotangente $T^{*}M$ definisce una 1-forma su $M.$
• Una sezione del fibrato anticotangente (prodotto esterno tra $r$ spazi cotangenti) definisce una $r$-forma su $M.$
• Una sezione di un fibrato che è un prodotto tensoriale di fibrati tangenti e cotangenti definisce un campo tensoriale su $M.$

Continuità

Le sezioni sono funzioni tra la varietà base di un fibrato e lo spazio totale del fibrato, che è a sua volta ha una naturale struttura di varietà differenziabile, quindi una sezione si dice continua se è continua come funzione tra varietà.

Derivazione di sezioni

Sia $M$ una varietà differenziabile, $\pi :E\to M$ un fibrato vettoriale, sia $X$ un campo vettoriale su $M$ con $\sigma :I\to M$ la sua curva integrale, $s$ una sezione su $M$ a valori in $E$. Così come in ${ℝ}^n$ riusciamo a derivare una funzione differenziabile tramite la definizione di rapporto incrementale, anche una sezione di un fibrato può essere "derivata" lungo una curva integrale di un campo vettoriale, ma con una piccola generalizzazione geometrica del rapporto incrementale. Infatti

$\underset{t\to 0}{\lim }\frac{s(\sigma (t))-s(\sigma (0))}{t}$

è una relazione che non ha senso. Su ogni punto di $M$ vive un fibrato differente, e $s(\sigma (t)),s(\sigma (0))$ appartengono rispettivamente a $E_{\sigma (t)},E_{\sigma (0)}$, per cui è impossibile sottrarli. La generalizzazione che conduce alla possibilità di derivare una sezione è la connessione, o meglio conosciuta come derivata covariante.

Derivata covariante

Seguiremo un'introduzione logica/geometrica della connessione, che è quanto fatto storicamente dai matematici. Esiste infatti un isomorfismo tra fibrati vettoriali che vivono su punti di una comune curva integrale, il quale diventa un'identità in spazi piatti, e può essere quindi usato come mezzo per generalizzare il concetto di rapporto incrementale. Si dimostra facilmente essere equivalente alla definizione di derivata covariante tipica dei libri di testo (e della voce di wikipedia). Quest'equivalenza si lascia al lettore come esercizio.

Trasporto parallelo.

Una sezione di $E$ su una curva $\sigma (t)$ su $M$ è una funzione $s:I\to E$ tale che $s(t)\in E_{\sigma (t)},\mathrm{\forall }t\in I$. Data una curva $\sigma :I\to M$, con $I$ intervallo aperto di $ℝ$ e $M$ varietà differenziabile a cui appartengono $p=\sigma (0),q=\sigma (t)$, allora è sempre definibile un isomorfismo ${\tau }_t$ tale che ${\tau }_t:E_p\to E_q,v\to s(\sigma (t)),$ dove $E_p,E_q$ sono i fibrati su $p$ e $q$ tramite $s$.

Questa isomorfismo tra gli spazi vettoriali $E_p,E_q$, è chiamata trasporto parallelo, nome che deriva appunto dalla possibilità di "trasportare" un vettore di un fibrato in un punto, lungo una curva della varietà, permettendo di identificare due fibre di due punti diversi.

Ecco finalmente la definizione geometrica di derivata covariante:

Sia $\sigma :I\to M$ una curva integrale su $M$ di un campo vettoriale $X$. Sia $s$ una sezione di $M$ a valori in $E$ e ${\tau }_t$ il trasporto parallelo come definito sopra. Allora:

${\mathrm{\nabla }}_{X}s(p)=\underset{t\to 0}{\lim }\frac{{\tau }_t^{-1}(s(\sigma (t)))-s(\sigma (0))}{t}$

con le relative proprietà di connessione:

• $C^{\mathrm{\infty }}$-lineare nel primo argomento;
• $ℝ$-lineare nel secondo argomento;
• soddisfa la regola di Leibniz nel secondo argomento ${\mathrm{\nabla }}_X(fs)=f{\mathrm{\nabla }}_{X}s+(Xf)s$, con $f$ funzione $C^{\mathrm{\infty }}$, ed $s$ la sezione considerata.

Curiosità

• In fisica moderna l'interpretazione dei campi come sezioni di fibrati è spesso fondamentale per avere una coerenza matematica e teorica con quanto osservato.
• Grazie all'identificazione mediante sezioni del fibrato tangente con il suo duale fibrato cotangente, tutti i teoremi classici di integrazione di campi possono essere scritti nel linguaggio delle forme differenziali (assumendo inoltre maggiore generalità ed eleganza matematica).
• Le sezioni di un fibrato su un aperto di una varietà formano un intero fascio di gruppi abeliani.
• L'insieme delle sezioni di un fibrato su una varietà $M$ formano un fascio di moduli sul fascio di anelli $C_M^{\mathrm{\infty }}$.
• Partendo da un insieme di sezioni, si può costruire un fibrato.
• Ogni fibrato ammette sezioni.

Bibliografia

• Template:Cita libro
• G. Gentili, F. Podestà, E. Vesentini, Lezioni di Geometria Differenziale, Torino, Bollati Boringhieri, 1995. ISBN 978-88-339-5556-8.
• (EN) I. Kolář; P. Michor, J. Slovák, Natural operators in differential geometry (PDF), Springer-Verlag, 1993.

Voci correlate

• Varietà differenziabile
• Fibrato vettoriale
• Derivata covariante
• Connessione (matematica)