Teorema de Myers

En geometria riemanniana, el teorema de Myers, també conegut com el teorema de Bonnet–Myers, és un cèlebre teorema fonamental descobert per Sumner Byron Myers l'any 1941. Afirma el següent:

Sigui $(M,g)$ una varietat riemanniana completa i connexa de dimensió $n$ i la curvatura de Ricci de la qual satisfà per un cert nombre real fixat $r$ la desigualtat ${\mathrm{Ric}}_p(v)\ge (n-1)\frac{1}{r^2}$ per tot $p\in M$ i $v\in T_{p}M$ unitari. Llavors dos punts qualssevol de M poden ser connectats per una geodèsica amb longitud inferior o igual a $\pi r$.

En el cas especial de superfícies, aquest resultat va ser demostrat per Pierre-Ossian Bonnet l'any 1855. Per a una superfície, les curvatures de Gauss, seccional i de Ricci són totes iguals, però la demostració de Bonnet generalitza fàcilment el cas a dimensions superiors si s'assumeix una fita inferior positiva en la curvatura seccional. La contribució clau de Myers va ser, per tant, la de demostrar que tot el que es necessita per arribar a la mateixa conclusió és una fita inferior per a la curvatura de Ricci.

Corol·laris

La conclusió del teorema diu, en particular, que el diàmetre de $(M,g)$ és finit. El teorema de Hopf-Rinow per tant implica que $M$ ha de ser compacte, ja que una bola tancada (i per tant compacta) de radi $\pi /\sqrt{k}$ en qualsevol espai tangencial contínuada en tot $M$ per mitjà de l'aplicació exponencial.

Com a cas molt particular, això demostra que tota varietat riemanniana completa, suau i no compacta que és Einstein ha de tenir una constant d'Einstein no positiva.

Com que $M$ és connex, existeix el mapa revestiment universal suau $\pi :N\to M.$ Un pot considerar la mètrica pullback Plantilla:Math en $N.$ Com que $\pi$ és una isometria local, el teorema de Myers aplica a la varietat riemanniana Plantilla:Math i, per tant, $N$ és compacte i el mapa revestiment és finit. Això implica que el grup fonamental de $M$ és finit.

Teorema de rigiditat del diàmetre de Cheng

La conclusió del teorema de Myers diu que donats dos punts qualssevol $p,q\in M,$ es té Plantilla:Math. L'any 1975, el matemàtic hongkonguès Shiu-Yuen Cheng va demostrar que: Plantilla:Quote

Referències

• Ambrose, W. A theorem of Myers. Duke Math. J. 24 (1957), 345–348.
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation