Berger's sphere

In the mathematical field of Riemannian geometry, the Berger spheres form a special class of examples of Riemannian manifolds diffeomorphic to the 3-sphere. They are named for Marcel Berger who introduced them in 1962.

Geometry of the Berger spheres edit

The Lie group $SU(2)$ is diffeomorphic to the 3-sphere. Its Lie algebra is a three-dimensional real vector space spanned by

u_{1}={\begin{pmatrix}0&i\\i&0\end{pmatrix}},\quad u_{2}={\begin{pmatrix}0&-1\\1&0\end{pmatrix}},\quad u_{3}={\begin{pmatrix}i&0\\0&-i\end{pmatrix}}~,

which are complex multiples of the Pauli matrices. It is direct to check that the commutators are given by $[u 1, u 2] = 2 u 3$ and $[u 1, u 3] = -2 u 2$ and $[u 2, u 3] = 2 u 1$ . Any positive-definite inner product on the Lie algebra determines a left-invariant Riemannian metric on the Lie group. A Berger sphere is a metric so obtained by making the inner product on the Lie algebra have matrix

{\begin{pmatrix}t&0&0\\0&1&0\\0&0&1\end{pmatrix}}

relative to the basis $u 1, u 2, u 3$ . Here $t$ is a positive number to be freely chosen; each choice produces a different Berger sphere. If it were chosen negative, a Lorentzian metric would instead be produced. Using the Koszul formula it is direct to compute the Levi-Civita connection:

{\begin{aligned}\nabla _{u_{1}}u_{2}&=(2-t)u_{3}&\nabla _{u_{2}}u_{1}&=-tu_{3}\\\nabla _{u_{2}}u_{3}&=u_{1}&\nabla _{u_{3}}u_{2}&=-u_{1}\\\nabla _{u_{3}}u_{1}&=tu_{2}&\nabla _{u_{1}}u_{3}&=(t-2)y.\end{aligned}}

The curvature operator has eigenvalues $t, t, 4 - 3 t$ . The left-invariant Berger metric is also right-invariant if and only if $t = 1$ .^[1]

The left-invariant vector field on $SU(2)$ corresponding to $u 1$ (or to any other particular element of the Lie algebra) is tangent to the circular fibers of a Hopf fibration $SU(2) \to S 2$ .^[2] As such, the Berger metrics can be constructed via the Hopf fibration, by scaling the tangent directions to the fibers. Unlike the above construction, which is based on a Lie group structure on the 3-sphere, this version of the construction can be extended to the more general Hopf fibrations $S 2 n + 1 \to CP n$ of odd-dimensional spheres over the complex projective spaces, using the Fubini–Study metric.

Significance edit

A well-known inequality of Wilhelm Klingenberg says that for any smooth Riemannian metric on a closed orientable manifold of even dimension, if the sectional curvature is positive then the injectivity radius is greater than or equal to $.mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}π⁄K1/2$ , where $K$ is the maximum of the sectional curvature. The Berger spheres show that this does not hold if the assumption of even-dimensionality is removed.^[3]

Likewise, another estimate of Klingenberg says that for any smooth Riemannian metric on a closed simply-connected manifold, if the sectional curvatures are all in the interval $[1,4)$ , then the injectivity radius is greater than $π ⁄ 2$ . The Berger spheres show that the assumption on sectional curvature cannot be removed.^[3]

Any compact Riemannian manifold can be scaled to produce a metric of small volume, diameter, and injectivity radius but large curvature. The Berger spheres illustrate the alternative phenomena of small volume and injectivity radius but without small diameter or large curvature. They show that the 3-sphere is a collapsing manifold: it admits a sequence of Riemannian metrics with uniformly bounded curvature but injectivity radius converging to zero. This sequence of Riemannian manifolds converges in the Gromov–Hausdorff metric to a two-dimensional sphere of constant curvature 4.^[4]

Generalizations edit

Berger–Cheeger perturbations edit

The Hopf fibration $S 3 \to S 2$ is a principle bundle with structure group $U(1)$ . Furthermore, relative to the standard Riemannian metric on $S 3$ , the unit-length vector field along the fibers of the bundle form a Killing vector field. This is to say that $U(1)$ acts by isometries.^[2]

In greater generality, consider a Lie group $G$ acting by isometries on a Riemannian manifold $(M, g)$ . In this generality (unlike for the specific case of the Hopf fibration), different orbits of the group action might have different dimensionality. For this reason, scaling the tangent directions to the group orbits by constant factors, as for the Berger spheres, would produce discontinuities in the metric. The Berger–Cheeger perturbations modify the scaling to address this, in the following way.^[5]

Given a right-invariant Riemannian metric $h$ on $G$ , the product manifold $G \times M$ can be given the Riemannian metric $th \oplus g$ . The left action of $G$ on this product by $x \cdot(y, m) = (y x -1, xm)$ acts freely by isometries, and so there is a naturally induced Riemannian metric on the quotient space, which is naturally diffeomorphic to $M$ .^[5]

Canonical variation of a Riemannian submersion edit

The Hopf fibration $S 3 \to S 2$ is a Riemannian submersion relative to the standard Riemannian metrics on $S 3$ and $S 2$ . For any Riemannian submersion $f : M \to B$ , the canonical variation scales the vertical part of the metric by a constant factor. The Berger spheres are thus the total space of the canonical variation of the Hopf fibration. Some of the geometry of the Berger spheres generalizes to this setting. For instance, if a Riemannian submersion has totally geodesic fibers then the canonical variation also has totally geodesic fibers.^[6]

References edit

^ Petersen 2016, Section 4.4.3.
^ ^a ^b Thurston 1997, Section 2.7.
^ ^a ^b Cheeger & Ebin 2008, Chapter 5; Petersen 2016, Section 6.5.
^ Gromov 1999, Section 3.11; Petersen 2016, p. 399.
^ ^a ^b Petersen 2016, Section 4.5.4.
^ Besse 1987, Section 9G.

Sources

Besse, Arthur L. (1987). Einstein manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Vol. 10. Berlin: Springer-Verlag. doi:10.1007/978-3-540-74311-8. ISBN 3-540-15279-2. MR 0867684. Zbl 0613.53001.
Cheeger, Jeff; Ebin, David G. (2008). Comparison theorems in Riemannian geometry (Revised reprint of 1975 original ed.). Providence, RI: AMS Chelsea Publishing. doi:10.1090/chel/365. ISBN 978-0-8218-4417-5. MR 2394158. Zbl 1142.53003.
Gromov, Misha (1999). Metric structures for Riemannian and non-Riemannian spaces. Progress in Mathematics. Vol. 152. Translated by Bates, Sean Michael. With appendices by M. Katz, P. Pansu, and S. Semmes. (Based on the 1981 French original ed.). Boston, MA: Birkhäuser Boston, Inc. doi:10.1007/978-0-8176-4583-0. ISBN 0-8176-3898-9. MR 1699320. Zbl 0953.53002.
Petersen, Peter (2016). Riemannian geometry. Graduate Texts in Mathematics. Vol. 171 (Third edition of 1998 original ed.). Springer, Cham. doi:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001.
Thurston, William P. (1997). Three-dimensional geometry and topology. Volume 1. Princeton Mathematical Series. Vol. 35. Princeton, NJ: Princeton University Press. ISBN 0-691-08304-5. JSTOR j.ctt1k3s9kd. MR 1435975. Zbl 0873.57001.

[FOOTNOTEPetersen2016Section_4.4.3-1] Petersen 2016, Section 4.4.3.

[FOOTNOTEThurston1997Section_2.7-2] Thurston 1997, Section 2.7.

[FOOTNOTECheegerEbin2008Chapter_5Petersen2016Section_6.5-3] Cheeger & Ebin 2008, Chapter 5; Petersen 2016, Section 6.5.

[FOOTNOTEGromov1999Section_3.11Petersen2016399-4] Gromov 1999, Section 3.11; Petersen 2016, p. 399.

[FOOTNOTEPetersen2016Section_4.5.4-5] Petersen 2016, Section 4.5.4.

[FOOTNOTEBesse1987Section_9G-6] Besse 1987, Section 9G.

[1]

[2]

[3]

[4]

[5]

[6]