Abstract
We investigate Gauss maps associated to great circle fibrations of the euclidean unit 3-sphere \(\mathbb {S}^3\). We show that the associated Gauss map to such a fibration is harmonic, respectively minimal, if and only if the unit vector field generating the great circle foliation is harmonic, respectively minimal. These results can be viewed as analogues of the classical theorem of Ruh and Vilms about the harmonicity of the Gauss map of a minimal submanifold in the euclidean space. Moreover, we prove that a harmonic or minimal unit vector field on \(\mathbb {S}^3\), whose integral curves are great circles, is a Hopf vector field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Suppose that (M, g) is an m-dimensional manifold equipped with a Riemannian metric g. A unit vector field \(\zeta \in \mathfrak {X}(M)\) can be regarded as a “graphical” map from M to its unit tangent bundle UM equipped with the Sasaki metric \(g_S\). There are two natural functionals that we may consider in the space of unit vector fields. The first one is the energy functional
Critical points of the energy functional with respect to variations through nearby unit vector fields are called harmonic unit vector fields. The second functional is the volume functional
whose critical points are called minimal unit vector fields.
One can exploit the complex structure \(\mathcal {J}\) of \(\mathbb {C}^{n+1}=\mathbb {R}^{n+1}\times \mathbb {R}^{n+1}\) to generate interesting unit vector fields on the euclidean unit sphere \(\mathbb {S}^{2n+1}\). More precisely, if \(\nu \) is the unit normal of \(\mathbb {S}^{2n+1}\) then \(\zeta =\mathcal {J}\nu \) gives rise to a unit vector field whose integral curves are great circles. A unit vector field of this type is called Hopf vector field and the corresponding quotient map \(f:\mathbb {S}^{2n+1}\rightarrow \mathbb{C}\mathbb{P}^n\) is called Hopf fibration, where \(\mathbb{C}\mathbb{P}^n\) stands for the complex projective space equipped with its standard Fubini-Study metric. It turns out that the Hopf fibration is a harmonic Riemannian submersion. Additionally, the Hopf fibration is a minimal map, i.e. its graph \(\varGamma _f:\mathbb {S}^{2n+1}\rightarrow \mathbb {S}^{2n+1}\times \mathbb{C}\mathbb{P}^n\) is a minimal submanifold; see [27]. Let us point out here that \(\mathbb{C}\mathbb{P}^1\) is isometric with the sphere \(\mathbb {S}^2(1/2)\) of radius 1/2. Composing the Hopf fibration with an isometry of \(\mathbb {S}^3\) and the homothety from \(\mathbb {S}^2(1/2)\) into \(\mathbb {S}^2\), we obtain again a submersion with totally geodesic fibres. For simplicity, we call all these maps Hopf fibrations.
Hopf vector fields are simultaneously harmonic and minimal unit vector fields. Moreover, they are the unique global minima of the energy functional restricted to unit vector fields on the 3-sphere; see [7]. Surprisingly, for spheres of dimension greater than 3, Hopf vector fields are unstable critical points of the energy functional; see [37]. Analogously, Hopf vector fields are absolute volume minimisers in their homology classes in \(U\mathbb {S}^3\). According to a result due to Gluck and Ziller [18], the converse is also true. Again, for spheres of dimensions greater than 3, the Hopf vector fields are not minimisers of the volume functional; see [24, 28]. Let us mention that for spheres \(\mathbb {S}^{2n+1}(r)\) of arbitrary radius \(r>0\) the situation is different. For \(n>1\), the stability of the Hopf fields depends on the radius of the sphere; see [6, 12,13,14].
The classification of harmonic or minimal unit vector fields on the sphere \(\mathbb {S}^{2n+1}\) as well as the classification of harmonic or minimal maps \(f:\mathbb {S}^{2n+1}\rightarrow \mathbb{C}\mathbb{P}^n\) is an open problem, even when \(n=1\). For example, the Hopf vector fields are the only known examples of harmonic or minimal unit vector fields on \(\mathbb {S}^3\). Moreover, according to a conjecture of Eells, any harmonic map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) must be weakly conformal; see [2, Note 10.4.1, page 422] or [35, page 730]. Therefore, an interesting question is whether a harmonic map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) can be written as the composition of a Hopf fibration with a conformal map from \(\mathbb {S}^2\) to \(\mathbb {S}^2\).
We investigate harmonic and minimal unit vector fields on \(\mathbb {S}^3\) with totally geodesic integral curves. According to a beautiful result of Gluck and Warner [19], any great circle fibration of \(\mathbb {S}^3\) generates a graphical surface in \(\mathbb {S}^2\times \mathbb {S}^2\). Generically, at least locally, the converse is also true; see Theorem 3.6. In particular, the fibration is smooth and globally defined on \(\mathbb {S}^3\) if and only if the graphical surface is generated by a smooth strictly length decreasing map. The idea to establish this duality is to consider the map which assigns each great circle of the foliation to the 2-plane of \(\mathbb {R}^4\) containing the circle. This mapping may be considered as a Gauss map associated to the great circle fibration. Therefore, there is a huge class of great circle fibrations of \(\mathbb {S}^3\). Moreover, the corresponding quotient maps are homotopic to the Hopf fibration and so they are homotopically non-trivial. Let us emphasise here that great sphere fibrations of the sphere are of particular interest because of their relation with the Blaschke conjecture; for more details on the subject see for example [22, 25, 26, 39].
We show that a unit vector field generating a great circle fibration is minimal if and only if the Gauss map is a minimal surface. More precisely, we prove the following result.
Theorem A
A unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) is minimal if and only if its corresponding Gauss map generates a minimal surface in \(\mathbb {S}^2\times \mathbb {S}^2\).
Following the terminology introduced by Baird in [3], the Gauss map of a submersion \(f:M\rightarrow N\) between oriented Riemannian manifolds of dimensions m and n, respectively, is the map \(\mathcal {G}:M\rightarrow \mathbb {G}_{m-n}(M)\) which associates to each point \(x\in M\) the tangent plane to the fibre of f passing through x. Here, \(\mathbb {G}_{m-n}(M)\) denotes the Grassmann bundle over M, whose fibre at each point \(x\in M\) is the Grassmannian of oriented \((m-n)\)-planes in \(T_xM\). Observe that if \(g:N\rightarrow N\) is a diffeomorphism, then the submersions \(g\circ f\) and f have the same Gauss map. If \(n=m-1\), then the kernel of f is generated by a unit vector field. Hence, the Gauss map \(\mathcal {G}\) may be regarded as a section of the unit tangent bundle UM of M, i.e. a unit vector field of M. Our next result is an analogue of the classical theorem of Ruh and Vilms [30] in the case of great circle fibrations of \(\mathbb {S}^3\) and their corresponding quotient maps.
Theorem B
Let \(\zeta :V\subset \mathbb {S}^3\rightarrow U\mathbb {S}^3\) be a unit vector field whose integral curves are closed great circles defined in an open connected neighbourhood V of \(\mathbb {S}^3\) and \(f:V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2\) be the corresponding quotient map. Then f is a harmonic map if and only if \(\zeta :V\rightarrow U\mathbb {S}^3\) is a harmonic unit vector field.
In the sequel we prove the following global result which generalises a previous one by Han and Yim in [21].
Theorem C
A harmonic unit vector field \(\zeta \) on \(\mathbb {S}^3\), whose integral curves are great circles, is a Hopf vector field and the corresponding quotient map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) is a Hopf fibration.
The main ingredient in the proof of Theorem C is the (formal) second fundamental form \(\varphi \) of the horizontal distribution, i.e. the perpendicular distribution to the line bundle spanned by the vector field \(\zeta \). It turns out that \(\varphi \) satisfies a Ricatti-type ODE along the integral curves of \(\zeta \), and on the horizontal distribution it satisfies a Codazzi type system of PDEs; see Sect. 3. Using the harmonicity of the vector field, we arrive at the conclusion that the squared mean curvature \((\mathop {\textrm{trace}}\limits \varphi )^2\) of the horizontal distribution is a subharmonic function. Then, from the maximum principle and the Bernstein-type theorem for strictly length decreasing minimal maps in [32, Theorem A], we obtain that \(\varphi \) is an orthogonal complex structure. This leads us to the conclusion that \(\zeta \) is a Hopf vector field.
Next we turn our attention to minimal unit vector fields on \(\mathbb {S}^3\) and prove the following result.
Theorem D
A minimal unit vector field \(\zeta \) on \(\mathbb {S}^3\), whose integral curves are great circles, is a Hopf vector field and the corresponding quotient map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) is a Hopf fibration.
In the proof of Theorem D, we use the geometric setup of Gluck and Warner [19] to show that if the mean curvature of the “graphical” map \(\zeta :(M,\zeta ^*g_S)\rightarrow (UM,g_S)\) vanishes, then the corresponding graphical surface G in \(\mathbb {S}^2\times \mathbb {S}^2\) is minimal. Again from the Bernstein-type theorem in [32, Theorem A], we obtain that G is totally geodesic, from where we deduce that \(\zeta \) is a Hopf vector field.
2 Geometry of the tangent bundle
2.1 The unit tangent bundle
Let us collect here some basic facts about the geometry of the tangent bundle TM of a manifold (M, g). There is a natural Riemannian metric on TM whose construction goes back to the seminal paper of Sasaki [29]. He uses the metric g to construct a metric \(g_S\) on TM, which nowadays is called the Sasaki metric. The construction of \(g_S\) is based on a natural splitting of the tangent bundle TTM of TM into a vertical and horizontal sub-bundle by means of the Levi-Civita connection \(\nabla \) of g. Let us briefly recall the construction of the Sasaki metric, following closely the material in [4, 5, 9].
Let (M, g) be an m-dimensional Riemannian manifold and denote by \(\pi _{M}:TM\rightarrow M\) the canonical projection from the tangent bundle TM on M. The kernel of \(d\pi _{M}\) gives rise to the vertical distribution \(\mathscr {V}\) of TM, which is smooth and m-dimensional, i.e.
We will use the Levi-Civita connection \(\nabla \) of g to introduce the horizontal distribution on the tangent bundle TM. This can be achieved through the connection map \(K:TTM \rightarrow TM\) which is defined in the following way: For fixed vector \(X \in T_{(x, v)}TM\) consider a smooth curve \(\gamma (s)=(\alpha (s), v(s))\), \(s\in (-\varepsilon ,\varepsilon )\), in the tangent bundle TM such that
and define
Then we define the horizontal distribution as the kernel of the connection map K, i.e.
From (2.1), we can readily see that \(\mathscr {H}_{(x,v)}\) is m-dimensional and if \(X\in \mathscr {V}_{(x,v)}\cap \mathscr {H}_{(x,v)}\), then \(X=0\). Hence, at any point \((x,v)\in TM\), we have the following decomposition
The Sasaki metric \(g_S\) is a Riemannian metric that makes the above sum orthogonal, i.e.
for any \(X,Y\in TTM\). Observe now that the projection map \(\pi _{M}: (TM, g_{S})\rightarrow (M, g)\) becomes a Riemannian submersion. Any vector \(X\in T_{(x,v)}TM\) can be written in the form
where \(X^{ver}\) stands for the vertical and \(X^{hor}\) for the horizontal component of X. Moreover, for any \(w\in T_xM\), there exists a unique \(w^{{hor}}_{(x,v)}\in \mathscr {H}_{(x,v)}\) and a unique \(w^{{ver}}_{(x,v)}\in \mathscr {V}_{(x,v)}\) such that
In this case, the vector \(w^{{ver}}\) is called the vertical lift and \(w^{hor}\) the horizontal lift of w. The horizontal lift of a vector field \(w \in \mathfrak {X}(M)\) is the vector field \(w^{hor}\in \mathfrak {X}(TM)\) whose value at a point (x, v) is the horizontal lift of \(w_x\) to (x, v). The vertical lift \(w^{ver}\) of w is defined similarly. There is also a natural complex structure \(J_{TM}\) on the manifold TM, i.e. we define
for any \(w\in \mathfrak {X}(M)\).
Consider now the unit tangent bundle UM of M, i.e. \( UM=\big \{(x,v)\in TM:g(v,v)=1\big \}. \) The unit tangent bundle UM is an embedded hypersurface of TM, and we can equip it with the induced from \(g_S\) Riemannian metric. One can readily check that the vector field \(\eta _{(x, v)}=v^{{ver}}_{(x,v)}\) is a unit normal of UM. Note that if \(w\in \mathfrak {X}(M)\), then
Consequently, the horizontal lift \(w^{{hor}}\) of a vector field \(w\in \mathfrak {X}(M)\) is always tangent to UM. On the other hand, the vertical lift \(w^{{ver}}\) is not necessarily tangent to UM. Following the terminology introduced by Boeckx and Vanhecke [5], we call tangential lift \(w^{tan}\) of w the tangential to UM component of \(w^{{ver}}\), i.e.
At the point \((x, v)\in UM\), the tangent space of UM can be written as
On the unit tangent bundle UM, there is an analogue of the Hopf vector field defined from the complex structure of TM. More precisely, the vector field \(\xi _U\) given by
where \((x, v)\in UM\), is unit, tangent along the unit tangent bundle UM and is called the geodesic flow vector field.
The formula in the next lemma will be used later and its proof can be found in [4, page 176] or in [5, page 82].
Lemma 2.1
For any \(X,Y\in \mathfrak {X}(M)\), the following formula holds
where \({{R}_M}\) stands for the Riemann curvature operator of the metric g.
2.2 Critical points of the energy and volume functional
A unit vector field \(\zeta \) on (M, g) can be regarded as the embedding \(\zeta : M\rightarrow UM\) given by \(\zeta (x)=(x, \zeta _{x}).\) Let us collect in the proposition below the Euler-Lagrange equations for the critical points of the energy and volume functional as well as some useful identities. For the proofs, we refer to [15, 36,37,38].
Proposition 2.2
Let \(\zeta :M\rightarrow UM\) be a unit vector field, which we view as a mapping of the form \(\zeta (x)=(x,\zeta _x),\) for any \(x\in M\).
-
(a)
The differential of \(\zeta \) is given by
$$\begin{aligned} d\zeta (X)=X^{hor}+(\nabla _{X}\zeta )^{tan}, \end{aligned}$$(2.3)for all vector fields \(X\in \mathfrak {X}(M)\). Moreover, we have that
$$\begin{aligned} (\nabla _{X}\zeta )^{tan}=(\nabla _{X}\zeta )^{ver}, \end{aligned}$$for all vector fields \(X\in \mathfrak {X}(M)\).
-
(b)
The induced via \(\zeta \) Riemannian metric \(\zeta ^{*}g_{S}\) on M satisfies
$$\begin{aligned} (\zeta ^{*}g_{S})(X, Y)=g_{S}(d\zeta (X), d\zeta (Y))=g(X, Y)+g(\nabla _{X}\zeta , \nabla _{Y}\zeta ), \end{aligned}$$(2.4)for all \(X,Y\in \mathfrak {X}(M)\).
-
(c)
It holds that \(g=\zeta ^*g_S\) if and only if the vector field \(\zeta \) is parallel.
-
(d)
The vector field \(\zeta \) is a critical point of the energy functional with respect to variations through nearby unit vector fields if and only if
$$\begin{aligned} \Delta \zeta +|\nabla \zeta |^2\zeta =0, \end{aligned}$$where \(\Delta \) is the rough Laplacian of \(\zeta \), i.e.
$$\begin{aligned} \Delta \zeta =\sum _{i=1}^m\big (\nabla _{\alpha _i}\nabla _{\alpha _i}\zeta -\nabla _{\nabla _{\alpha _i}\alpha _i}\zeta \big ), \end{aligned}$$where \(\{\alpha _1,\dots ,\alpha _m\}\) is a local orthonormal frame of M with respect to g.
-
(e)
Consider the (1, 1)-tensor \(\phi \) given by the formula \( \phi (X)=\nabla _X\zeta \) for any \(X\in \mathfrak {X}(M)\). Then:
- (e\(_1\)):
-
At any \(x\in M\), there exist orthonormal frames \(\{v_0,v_1,\dots ,v_{m-1}\}\) and \(\{\beta _1,\dots \beta _{m-1}\}\) with respect to g such that
$$\begin{aligned} \phi (v_0)=0,\,\,\phi (v_1)=\lambda _1\beta _1,\,\,\dots ,\,\,\phi (v_{m-1})=\lambda _{m-1}\beta _{m-1}, \end{aligned}$$where \(\lambda _1\ge \dots \ge \lambda _{m-1}\ge 0.\) The numbers \(\lambda _i\), \(i\in \{1,\dots ,m-1\}\), are the singular values of \(\phi \) at the point \(x\in M\).
- (e\(_2\)):
-
With the above ordering, the singular values give rise to continuous functions on M. Moreover, they are smooth on open subsets where the corresponding multiplicities are constant, and the corresponding eigenspaces are smooth distributions.
-
(f)
The vectors
$$\begin{aligned} e_0=v_0,\,\,e_1=\frac{v_1}{\sqrt{1+\lambda _1^2}},\,\,\dots ,\,\, e_{m-1}=\frac{v_{m-1}}{\sqrt{1+\lambda _{m-1}^2}}, \end{aligned}$$form an orthonormal basis at the point \(x\in M\) with respect to the induced Riemannian metric \(\zeta ^*g_S\). Moreover, the vectors
$$\begin{aligned}\xi _1=\frac{-\lambda _1v_1^{hor}+\beta _1^{ver}}{\sqrt{1+\lambda _1^2}},\,\,\dots ,\,\, \xi _{m-1}=\frac{-\lambda _{m-1}v_{m-1}^{hor}+\beta _{m-1}^{ver}}{\sqrt{1+\lambda _{m-1}^2}}, \end{aligned}$$form an orthonormal basis of the normal bundle of the embedding \(\zeta \) at \(\zeta (x)\).
-
(g)
The mean curvature vector \(H_\zeta \) of the embedding \(\zeta \) is given by the formula
$$\begin{aligned} H_\zeta =\sum _{\alpha =1}^{m-1}\frac{1}{\sqrt{1+\lambda _\alpha ^2}}\left\{ \langle \nabla ^2_{v_0,v_0}\zeta ,\beta _\alpha \rangle +\sum _{i=1}^{m-1}\frac{\langle \nabla ^2_{v_i,v_i}\zeta ,\beta _\alpha \rangle -\lambda _\alpha \lambda _i R_M(v_\alpha ,v_i,\zeta ,\beta _i)}{1+\lambda ^2_{i}}\right\} \xi _\alpha , \end{aligned}$$where \(R_M\) stands for the Riemannian curvature operator of g and
$$\begin{aligned} \nabla ^2_{v,w}\zeta =\nabla _v\nabla _w\zeta -\nabla _{\nabla _vw}\zeta , \quad v,w\in \mathfrak {X}(M), \end{aligned}$$is the Hessian of the vector field \(\zeta \); compare with Corollary 1(b) in [27].
-
(h)
The vector field \(\zeta \) is a critical point of the volume functional if and only if the isometric embedding \(\zeta :(M,\zeta ^*g_S)\rightarrow (UM,g_S)\) is minimal.
3 Fibrations with totally geodesic fibres
Let \(\zeta \) be a unit vector field with closed totally geodesic integral curves, defined in an open connected neighbourhood V of \(\mathbb {S}^3\). We denote by \(\mathcal {V}={\text {span}}\{\zeta \}\) the vertical line bundle and by \(\mathcal {H}=\mathcal {V}^\perp \) the horizontal plane bundle generated by \(\zeta \).
3.1 Great circle foliations and the Ricatti equation
Consider the tensor \(\varphi : \mathcal {H} \rightarrow \mathcal {H}\), given by
for all \(v\in \mathcal {H}\), where \(\nabla \) stands for the standard Levi-Civita connection of \(\mathbb {S}^3\). The tensor \(\varphi \) is the (formal) second fundamental form of \(\mathcal {H}\). It is well known that \(\varphi \) satisfies the equations
for any pair of vector fields v, w on \(\mathcal {H}\); see for example [2, page 313]. Denote by J the complex structure of \(\mathcal {H}\) and by \(\{\alpha _1=\zeta ,\alpha _2,\alpha _3=J\alpha _2\}\) a local orthonormal frame on V. Moreover, denote by \(\varphi _{ij}=\langle \varphi (\alpha _i),\alpha _j\rangle \), \(i,j\in \{2,3\}\), the components of \(\varphi \) with respect to the orthonormal frame \(\{\alpha _2,\alpha _3\}\). Then,
From the Ricatti equation in (3.1), we obtain the following:
Lemma 3.1
Let \(\gamma \) be an integral curve of \(\zeta \) and \(\{\alpha _2, \alpha _3\}\) be a parallel orthonormal frame along \(\gamma ^*\mathcal {H}\). Then:
-
(a)
The components \(\varphi _{ij}\), \(i,j\in \{2,3\}\), of \(\varphi \) with respect to this frame, satisfy the ODEs
$$\begin{aligned} \left\{ \begin{array}{lll} \zeta (\varphi _{22})&{}=&{}1+\varphi _{22}^2+\varphi _{23}\varphi _{32},\\ \zeta (\varphi _{33})&{}=&{}1+\varphi _{33}^2+\varphi _{23}\varphi _{32}, \\ \zeta (\varphi _{23})&{}=&{}\varphi _{23}(\varphi _{22}+\varphi _{33}), \\ \zeta (\varphi _{32})&{}=&{}\varphi _{32}(\varphi _{22}+\varphi _{33}). \end{array} \right. \end{aligned}$$(3.2) -
(b)
The functions \(\mathop {\textrm{trace}}\limits {\varphi }\), \(\mathop {\textrm{trace}}\limits {(\varphi \circ J})\) and \({\text {det}}\varphi \) satisfy the ODEs
$$\begin{aligned} \left\{ \begin{array}{lll} \zeta (\mathop {\textrm{trace}}\limits (\varphi \circ J))&{}=&{}(\mathop {\textrm{trace}}\limits \varphi )(\mathop {\textrm{trace}}\limits (\varphi \circ J)),\\ \zeta (1+{\text {det}}\varphi )&{}=&{}(\mathop {\textrm{trace}}\limits \varphi )(1+{\text {det}}\varphi ), \\ \zeta (\mathop {\textrm{trace}}\limits \varphi )&{}=&{}(\mathop {\textrm{trace}}\limits \varphi )^2-2(1+{\text {det}}\varphi )+4, \end{array} \right. \end{aligned}$$(3.3)and
$$\begin{aligned} \zeta \big \{(\mathop {\textrm{trace}}\limits \varphi )^2-4{\text {det}}\varphi \big \}=2(\mathop {\textrm{trace}}\limits \varphi )\big \{(\mathop {\textrm{trace}}\limits \varphi )^2-4{\text {det}}\varphi \big \}. \end{aligned}$$(3.4)
3.2 Great circle foliations and length decreasing maps
Due to an impressive result of Gluck and Warner [19], there is a relation between great circle foliations of the 3-sphere and length decreasing maps between two-dimensional euclidean spheres. This construction is obtained as follows: Associate at each point \(x\in \mathbb {S}^3\) the 2-dimensional subspace of \(\mathbb {R}^4\) spanned by the great circle of the fibration passing through x. In this way, we obtain a map with values in the Grassmann space \(\mathbb {G}_2(\mathbb {R}^4)\simeq \mathbb {S}^2\times \mathbb {S}^2\) of oriented 2-planes in \(\mathbb {R}^4\). It turns out that the image of this particular map is a two-dimensional surface in \(\mathbb {S}^2\times \mathbb {S}^2\) which is the graph of a strictly length decreasing map. The converse is also true, i.e. any strictly length decreasing map between 2-dimensional euclidean unit spheres, gives rise to a great circle foliation of the 3-sphere. To make the paper self-contained, let us describe here this duality following our exposition.
Denote by \(\Lambda ^2(\mathbb {R}^4)\) the dual space of all alternative multilinear forms of degree 2. Elements of \(\Lambda ^2(\mathbb {R}^4)\) are called 2-vectors. Given vectors \(v_1\) and \(v_2\) of \(\mathbb {R}^4\), the exterior product \(v_1\wedge v_2\) is the linear map which on an alternating form \(\Omega \) of degree 2 takes the value
The exterior product is linear in each variable separately. Interchanging two elements, the sign of the product changes and if two variables are the same the exterior product vanishes. A 2-vector \(\omega \) is called simple or decomposable if it can be written as a single wedge product of vectors, that is \( \omega =v_1\wedge v_2. \) Note that there are 2-vectors that are not simple. One can verify that the exterior product \(v_1\wedge v_2\) is zero if and only if the vectors are linearly dependent. Moreover, if \(\{\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4\}\) consists of a basis for \(\mathbb {R}^4\), then the collection \(\{\varepsilon _i\wedge \varepsilon _j:1\le i< j\le 4\}\) consists of a basis of \(\Lambda ^2(\mathbb {R}^4)\). Therefore, the dimension of the vector space of 2-vectors is 6.
We can equip \(\Lambda ^2(\mathbb {R}^4)\) with a natural inner product \((\cdot ,\cdot )\). Indeed, define
on simple 2-vectors and then extend linearly. Note that, if \(\{\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4\}\) is an orthonormal basis of \(\mathbb {R}^4\), then the 2-vectors \(\{\varepsilon _i\wedge \varepsilon _j:1\le i< j\le 4\}\) consist of an orthonormal basis for the exterior power \(\Lambda ^2(\mathbb {R}^4)\).
Each simple 2-vector represents a unique 2-dimensional subspace of \(\mathbb {R}^4\). Moreover, if \(\omega _1\) and \(\omega _2\) are simple 2-vectors representing the same subspace, then there exists a nonzero real number \(\lambda \) such that \(\omega _1=\lambda \,\omega _2.\) Therefore, there is an obvious equivalence relation in the space of simple 2-vectors such that the space of equivalence classes is in a one-to-one correspondence with the space of 2-dimensional subspaces of \(\mathbb {R}^4\). Additionally, we can consider another relation on the set of nonzero simple 2-vectors: \(\omega _1\) and \(\omega _2\) are called equivalent if and only if \(\omega _1=\lambda \,\omega _2\) for some positive number \(\lambda \). Denote by \([\omega ]\) the class containing all simple 2-vectors that are equivalent to \(\omega \). The equivalence classes now obtained are called oriented 2-dimensional subspaces of \(\mathbb {R}^4\), and the space \(\mathbb {G}_2(\mathbb {R}^4)\) of all equivalence classes is called Grassmann space of oriented 2-planes of \(\mathbb {R}^4\). Consequently, a plane \(\varPi \) in \(\mathbb {R}^4\) can be associated with the equivalence class \([\omega ]\) of the 2-vector \(\omega =v_1\wedge v_2\), where \(\{v_1,v_2\}\) is an orthonormal basis of \(\varPi \).
There exists a natural linear endomorphism \(*\) of \(\Lambda ^2(\mathbb {R}^4)\) which maps a 2-plane \(\varPi \) in \(\mathbb {R}^4\) into its orthogonal complement \(\varPi ^{\perp }\). Specifically, if \(\{\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4\}\) is the standard orthonormal basis of \(\mathbb {R}^4\) and
we define
The operator \(*\) is called the Hodge star operator. Let us mention here that \(*\) is an isometry and it satisfies
Using elementary arguments, one can show that a nonzero 2-vector \(\omega \) is simple if and only if \(\omega \wedge \omega = 0\) or, equivalently, if and only if \((\omega ,*\omega )=0\). Hence, we may represent the space of oriented two planes in \(\mathbb {R}^4\) in the form
The Hodge star operator has eigenvalues \(+1\) and \(-1\), both of multiplicity 3. In particular, the corresponding eigenspaces of the \(*\) are 3-dimensional and they are given by
The eigenspaces \(E_-\) and \(E_+\) are mutually perpendicular and
As a matter of fact, any element \(\omega \in \Lambda ^2(\mathbb {R}^4)\) can be uniquely written in the form
where the first term in the right-hand side of (3.5) belongs to \(E_-\) and the second to \(E_+\). Moreover, if \(\{\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4\}\) is the standard basis of \(\mathbb {R}^4\), then the collection
forms an orthogonal basis of \(E_{-}\) and
forms an orthogonal basis of \(E_{+}\). Consider now the euclidean spheres
Lemma 3.2
The Grassmann space \(\mathbb {G}_{2}(\mathbb {R}^{4})\) can be identified with the direct product \(\mathbb {S}^{2}_{-}\times \mathbb {S}^{2}_{+}\).
Proof
Let \(\varPi =[\omega ]\in \mathbb {G}_{2}(\mathbb {R}^{4})\) and assume that the representative \(\omega \) is chosen to have the form \(\omega =v_1\wedge v_2,\) where \(\{v_1,v_2\}\) is an orthonormal basis of the plane \(\varPi \). Observe that if \(\{w_1,w_2\}\) is another orthonormal frame of \(\varPi \) with the same orientation as \(\{v_1,v_2\}\), then \(v_1\wedge v_2=w_1\wedge w_2.\) Now, the map
is well defined and gives rise to a bijection between \(\mathbb {G}_{2}(\mathbb {R}^{4})\) and \(\mathbb {S}^2_-\times \mathbb {S}^2_+\). \(\square \)
Let us denote by \(\pi \) the quotient map of the foliation, i.e. the map which identifies points of the same integral curve of \(\zeta \). Since, at the moment, our considerations have local nature, without loss of generality, we may assume that \(\pi (V)\subset \mathbb {S}^2_-\) is simply connected. Define the maps \(h_{\pm }:\pi (V)\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_\pm \) given by
where \(x\in V\). We now give an alternative proof of a beautiful result first proved by Gluck and Warner [19].
Lemma 3.3
Let \(\zeta \) be a unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) such that \(\pi (V)\) is simply connected. Then:
-
(a)
The maps \(h_{\pm }\) are well-defined and smooth.
-
(b)
At least one of the maps \(h_-\) or \(h_+\) is a diffeomorphism. Moreover, either \(h_+\circ h_-^{-1}\) or \(h_-\circ h_+^{-1}\) is strictly length decreasing, i.e. its differential has norm less than one. In particular, \(G=(h_-,h_+)\) gives rise to a strictly length decreasing graphical submanifold.
-
(c)
If \(h_-\) is a diffeomorphism, then the singular values \(\mu _1\) and \(\mu _2\) of \(h_+\circ h^{-1}_-\) are related with the second fundamental form \(\varphi \) by
$$\begin{aligned} \mu _1\circ \pi =\frac{\Big |\sqrt{(1-{\text {det}}\varphi )^{2}+(\mathop {\textrm{trace}}\limits \varphi )^{2}} -\sqrt{|\varphi |^{2}-2{\text {det}}\varphi }\,\Big |}{1+{\text {det}}\varphi +\mathop {\textrm{trace}}\limits {(\varphi \circ J})}, \end{aligned}$$and
$$\begin{aligned} \mu _2\circ \pi =\frac{\sqrt{(1-{\text {det}}\varphi )^{2}+(\mathop {\textrm{trace}}\limits \varphi )^{2}}+\sqrt{|\varphi |^{2}-2{\text {det}}\varphi }}{1+{\text {det}}\varphi +\mathop {\textrm{trace}}\limits {(\varphi \circ J})}. \end{aligned}$$
Proof
(a) Consider points \(x,y\in V\) such that \(\pi (x)=\pi (y)\). Then, x and y belong in the same circle of the foliation from where we deduce that \(x\wedge \zeta _x=y\wedge \zeta _y.\) Therefore, \(h_{\pm }(\pi (x))=h_{\pm }(\pi (y))\) and \(h_{\pm }\) is well defined. Smoothness of the maps \(h_{\pm }\) is clear.
(b) Let us compute the differentials of \(h_{\pm }\circ \pi \). Fix a point \(x\in V\) and consider a local oriented orthonormal basis \(\{\alpha _1=\zeta ;\alpha _2,\alpha _3\}\) of \(T_xV\). Then,
Differentiating (3.7) with respect to \(\alpha _2\) and \(\alpha _3\), we get that
Observe that the vectors
form an orthonormal basis of the tangent space at \(h_-(\pi (x))\) of \(\mathbb {S}^2_-\subset E_-\) and
form an orthonormal basis of the tangent space at \(h_+(\pi (x))\) of \(\mathbb {S}^2_+\subset E_+\). We claim now that either
everywhere on V, or
everywhere in V. To this end, we will show at first that \(1+{\text {det}}\varphi \) is strictly positive on V. Indeed! Suppose to the contrary that there exists a point \(x_0\) where \((1+{\text {det}}\varphi )(x_0)\le 0\). From the second equation of (3.3), it follows that \(1+{\text {det}}\varphi \le 0\) along the integral curve \(\gamma \) of \(\zeta \) passing through \(x_0\). Hence, the third equation of (3.3) becomes
along \(\gamma \). Since by assumption \(\gamma \) is closed, \(\mathop {\textrm{trace}}\limits {\varphi }\) attains its maximum at a point \(x_{\max }\) on \(\gamma \). Then
which is a contradiction. Hence, \(1+{\text {det}}\varphi \) is strictly positive on V. Now, from the first equation of (3.3) and the first equation of (3.2), it follows that \(\varphi _{23}-\varphi _{32}\) is nowhere zero. Consequently, either \(\varphi _{23}-\varphi _{32}\) is strictly negative and \(D_-\) is strictly negative in V, or \(\varphi _{23}-\varphi _{32}\) is strictly positive and \(D_+\) is strictly negative in V. Since \(\pi (V)\) is simply connected, we deduce that at least one of the maps \(h_{\pm }\) is a diffeomorphism and G is graphical.
Without loss of generality, assume that \(h_-\) is a diffeomorphism. Then, \(\varphi _{23}-\varphi _{32}<0\) everywhere in V. In this case, we will show that \(h_+\circ h^{-1}_-\) is strictly length decreasing, i.e.
or, equivalently,
for any vector \(\alpha \in \mathcal {H}\). Indeed! If \(\alpha =\kappa _1 \alpha _2+\kappa _2 \alpha _3\), then from (3.8), (3.9), (3.10) and (3.11), we get that (3.12) holds if and only if
for any \(\kappa _1,\kappa _2\in \mathbb {R}\). On the other hand, (3.13) holds for any \(\kappa _1,\kappa _2\), if and only if the matrix
has negative eigenvalues or, equivalently, if and only if
The validity of the first condition is clear. Suppose now to the contrary, that there is a point \(x_0\in V\), where
From (3.4), it follows that the same inequality holds along the integral curve \(\gamma \) of \(\alpha _1\) passing through \(x_0\). From the third identity of (3.3), we obtain that along \(\gamma \) it holds
which leads to a contradiction. Therefore, \(h_{+}\circ h_{-}^{-1}\) is a strictly length decreasing map.
(c) To compute the singular values of the map \(h_{+}\circ h_{-}^{-1}\) we proceed as follows. Fix a point \(x_0\) in V and suppose that \(\{\alpha _1=\zeta ,\alpha _2,\alpha _3\}\in T_{x}V\) and \(\{\beta _2,\beta _3\}\in T_{\pi (x)}\mathbb {S}^2\) are orthonormal bases of the singular decomposition of \(\pi \). Then, from (3.8), (3.9), (3.10), and (3.11), we get the expressions for the singular values of \(h_+\circ h_-^{-1}\). This completes the proof. \(\square \)
Let us discuss now the converse. Suppose that \(G:V\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_-\times \mathbb {S}^2_+\simeq \mathbb {G}_2(\mathbb {R}^4)\) is the graph of a smooth map \(g:V\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_+\), where V is an open simply connected domain of \(\mathbb {S}^2\). Then, for any \(x\in V\), the element
describes a plane in \(\mathbb {R}^4\) and \(G(x)\cap \mathbb {S}^3\) gives rise to a great circle of \(\mathbb {S}^3\). To explicitly describe the plane generated by G(x), we will use the quaternionic structure of \(\mathbb {R}^4\). As a vector space, the quaternions are
They become an associative algebra with 1 as the multiplicative unit via
The standard euclidean inner product and the norm on \(\mathbb {R}^4\simeq \mathbb {H}\) can be written in the form
The standard outer product in \(\mathbb {R}^3\) can be regarded as the map \(\times :\textrm{Im}\mathbb {H}\times \textrm{Im}\mathbb {H}\rightarrow \textrm{Im}\mathbb {H}\) given by
We denote by \({\text {Re}}\mathbb {H}\) the one-dimensional linear subspace spanned by the element 1 and \({\text {Im}}\mathbb {H}\) the orthogonal complement of \({\text {Re}}\mathbb {H}\). Hence, an element \(x=x_0+x_1 i+x_2 j+x_3 k\in \mathbb {H}\) can be described by its real part \(\textrm{Re}(x)=x_0\) and its imaginary part \(\textrm{Im}(x)=x_1 i+x_2 j+x_3 k\). Moreover, the conjugate \(\overline{x}\) of x is defined to be the quaternionic number
Let us collect in the following lemma the most important properties of the quaternionic multiplications; for more details see [20, page 186].
Lemma 3.4
The following identities hold:
-
(a)
For any \(x,y,z\in \mathbb {H}\), we have \(\langle z\cdot x, z \cdot y\rangle =\langle x, y\rangle |z|^{2}=\langle x\cdot z, y \cdot z\rangle .\)
-
(b)
For any \(x \in {\text {Im}}\mathbb {H}\), we have \(x^{2}=-|x|^{2}.\)
-
(c)
For any \(x,y\in \mathbb {H}\), we have \(\overline{x\cdot y}=\overline{y}\cdot \overline{x}.\)
-
(d)
For any \(x, y \in {\text {Im}}\mathbb {H}\), we have \(x\cdot y+y\cdot x=-2\langle x, y\rangle \); hence orthogonal imaginaries anti-commute.
Consider now the unit sphere \(\mathbb {S}^{3}\subset \mathbb {H}\) as the subset of quaternions of length 1. Moreover, we consider \(\mathbb {S}^2_{\pm }\subset \textrm{Im}\mathbb {H}\subset \mathbb {H}\) as the subset of pure imaginary quaternions with length \(1/\sqrt{2}\). Under these considerations, the space \(E_-\) is spanned by the vectors
and \(E_+\) by the vectors
By straightforward elementary computations, we obtain the following lemma.
Lemma 3.5
Let \(x=\big (x_1/\sqrt{2},x_2/\sqrt{2},x_3/\sqrt{2}\big )\in V\subset \mathbb {S}^{2}_{-}\) and g be the map given in (3.14). Then the following facts hold:
-
(a)
If \(g(x)\ne -x\), then the 2-plane \(G(x)=x\oplus g(x)\) is generated by the orthonormal vectors
$$ \begin{aligned} \xi (x)=-\frac{x+g(x)}{|x+g(x)|}\in \textrm{Im}\mathbb {H}\quad \& \quad \eta (x)=\sqrt{2}\,g(x)\cdot \xi (x) =\frac{1-2g(x)\cdot x}{\sqrt{2}\,|x+g(x)|}\in \mathbb {H}. \end{aligned}$$ -
(b)
If \(g(x)=-x\), then the 2-plane \(G(x)=x\oplus (-x)\) is generated by orthonormal vectors which have one of the following forms:
$$ \begin{aligned}{} & {} \xi _1(x)=\frac{x\times i}{|x\times i|}\in \textrm{Im}\mathbb {H}\,\,\, \& \,\,\, \eta _1(x)=-\sqrt{2}\,x\cdot \xi _1(x) =\frac{-\sqrt{2}\,x\cdot (x\times i)}{|x\times i|}\in \textrm{Im}\mathbb {H},\,\,\text {if}\,\,\, x_1\ne \pm 1,\\{} & {} \xi _2(x)=\frac{x\times j}{|x\times j|}\in \textrm{Im}\mathbb {H}\,\,\, \& \,\,\, \eta _2(x)=-\sqrt{2}\,x\cdot \xi _2(x) =\frac{-\sqrt{2}\,x\cdot (x\times j)}{|x\times j|}\in \textrm{Im}\mathbb {H},\,\,\text {if}\,\, x_2\ne \pm 1,\\{} & {} \xi _3(x)=\frac{x\times k}{|x\times k|}\in \textrm{Im}\mathbb {H}\,\,\, \& \,\,\, \eta _3(x)=-\sqrt{2}\,x\cdot \xi _3(x) =\frac{-\sqrt{2}\,x\cdot (x\times k)}{|x\times k|}\in \textrm{Im}\mathbb {H},\,\,\text {if}\,\, x_3\ne \pm 1. \end{aligned}$$
Now we give the classification of Gluck and Warner [19] of the great circle fibrations of the 3-sphere following our exposition.
Theorem 3.6
Suppose that \(G:V\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_-\times \mathbb {S}^2_+\simeq \mathbb {G}_2(\mathbb {R}^4)\) is the graph of a smooth map \(g:V\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_+\), where V is a simply connected open domain. The following statements hold:
-
(a)
Let \(x_0\) be a point in V. Then, the circle \(G(x_0)\cap \mathbb {S}^3\) can be represented by
$$\begin{aligned} S(x_0,t)=\cos t\, \xi (x_0)+\sin t\,\eta (x_0), \end{aligned}$$where \(\xi \) and \(\eta \) are the vectors obtained in Lemma 3.5. In particular:
- (a\(_1\)):
-
If \(g(x_0)\ne \pm x_0\), there exists an open neighbourhood \(U_{x_0}\subset V\) and a positive number \(\varepsilon _{x_0}>0\), such that the map \(S:U_{x_0}\times (-\varepsilon _{x_0},\varepsilon _{x_0})\rightarrow \mathbb {S}^3\) given by
$$\begin{aligned} S(x,t)=\cos t\, \xi (x)+\sin t\,\eta (x)=\big (\cos t+\sqrt{2}\sin t\,g(x)\big )\cdot \xi (x), \end{aligned}$$is a diffeomorphism.
- (a\(_2\)):
-
If \(g(x)=x\) in an open set \(U_{x_0}\) around \(x_0\), then \(S:U_{x_0}\times (-\pi /2,\pi /2)\rightarrow \mathbb {S}^3\) given by
$$\begin{aligned} S(x,t)=\cos t\, \xi (x)+\sin t\,\eta (x)=-\sqrt{2}\,\cos t\,x+\sin t, \end{aligned}$$is a diffeomorphism.
- (a\(_3\)):
-
If \(g(x)=-x\) in an open set U around \(x_0\) which does not contain the points \(\pm k/\sqrt{2}\), then there exists a sufficiently small open neighbourhood \(U_{x_0}\subset U\) and a positive number \(\varepsilon _{x_0}>0\) such that the map \(S:U_{x_0}\times (-\varepsilon _{x_0}, \varepsilon _{x_0})\rightarrow \mathbb {S}^3\) given by
$$\begin{aligned} S(x,t)=\cos t\, \xi (x)+\sin t\,\eta (x)=\frac{\cos t\,x\times k-\sqrt{2}\,\sin t\,x\cdot (x\times k)}{|x\times k|}, \end{aligned}$$is a diffeomorphism.
In each of the cases (\(a_1\)), (\(a_2\)) and (\(a_3\)), the map \(\pi :S\big (U_{x_0}\times (-\varepsilon _{x_0},\varepsilon _{x_0})\big )\subset \mathbb {S}^3\rightarrow U_{x_0}\) given by
$$\begin{aligned} \pi \big (\cos t\, \xi (x)+\sin t\,\eta (x)\big )=\big (\overline{\xi (x)}\cdot g(x)\cdot \xi (x)\big )=x, \end{aligned}$$is a submersion with totally geodesic fibres, which are generated by the unit vector field \(\zeta =dS_{x_0}(\partial _t)\). Additionally, if \(h:\mathbb {S}^2_-\rightarrow \mathbb {S}^2\) is a diffeomorphism, then \(h\circ \pi \) gives rise to a submersion whose fibres are generated again by \(\zeta \).
-
(b)
The great circle foliation
$$\begin{aligned} \mathcal {F}=\cup _{x\in U_{x_0}}G(x)\cap \mathbb {S}^3 \end{aligned}$$is smooth if and only if \(g:U_{x_0}\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_+\) is strictly length decreasing.
-
(c)
If \(g:\mathbb {S}^2_-\rightarrow \mathbb {S}^2_+\) is strictly length decreasing, then the maps \(\pi \) given in (a) generate a globally defined submersion from \(\mathbb {S}^3\) onto \(\mathbb {S}^2_-\) with totally geodesic fibres. Moreover, the quotient map \(\pi \) is a Hopf fibration, and \(\zeta \) is a Hopf vector field, if and only if the map g is constant.
The proof of Theorem 3.6 follows by direct computations and using Lemmas 3.4 and 3.5.
3.3 Applications
Let us collect some immediate applications of the classification theorem of the great circle fibrations of the 3-sphere.
Corollary 3.7
(Gluck [16]) Let \(\zeta \) be a unit vector field on \(\mathbb {S}^3\) with totally geodesic integral curves. The dual 1-form associated with \(\zeta \) gives rise to a contact structure of \(\mathbb {S}^3\).
Proof
Let us denote with \(\omega \) the associated 1-form to \(\zeta \), i.e. the form given by \(\omega (\alpha )=\langle \zeta ,\alpha \rangle \), for all tangent vectors \(\alpha \). Recall that \(\omega \) is a contact form in \(\mathbb {S}^3\) if and only if \(\omega \wedge d\omega \ne 0.\) Let now \(\{\alpha _1=\zeta ,\alpha _2,\alpha _3\}\) be a local orthonormal frame and \(\varphi \) the tensor introduced in the Sect. 3. We compute
where J stands for the complex structure of \(\mathcal {H}\). Recall that in the proof of Lemma 3.3(b) we proved that \(\mathop {\textrm{trace}}\limits (\varphi \circ J)\) is nowhere zero. Hence, \(\omega \) is a contact form. This completes the proof. \(\square \)
Corollary 3.8
(Gluck & Gu [17]) Let \(\zeta \) be a divergence-free unit vector field on \(\mathbb {S}^3\) with totally geodesic integral curves. Then \(\zeta \) is a Hopf vector field.
Proof
Since \(\zeta \) is divergence-free, then \(\mathop {\textrm{trace}}\limits \varphi =0\). Then, from Lemma 3.1(b) it follows that \({\text {det}}\varphi =1\). Hence, from Lemma 3.3(c) it follows that the singular values of g are equal. Consequently, g is a conformal map. This implies that the graph of g is a minimal surface in \(\mathbb {S}^2_-\times \mathbb {S}^2_+\); see for example [2, Proposition 4.5.3], [10, Example 3] or [27]. On the other hand, g is strictly length decreasing. From [32, Theorem A], it follows that g must be constant. Consequently, from Theorem 3.6(c) we deduce that \(\pi \) is a Hopf fibration and so \(\zeta \) is a Hopf vector field. This completes the proof. \(\square \)
Corollary 3.9
(Heller [23]) Let \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) be a weakly conformal submersion with totally geodesic fibres. Then the map f is the composition of a Hopf fibration with a conformal diffeomorphism of \(\mathbb {S}^2\).
Proof
Choose a local orthonormal frame \(\{\alpha _1,\alpha _2,\alpha _3\}\), such that \(\alpha _1\in \ker df\). Denote also by \(\lambda ^2\) the conformal factor of f, i.e.
In this case it holds \(|df|^2=2\lambda ^2>0\) and so \(\lambda \) is a smooth function. Differentiating the identity of (3.15) with respect to \(\alpha _1\), we deduce that
where \(\nabla ^f\) is the connection of the induced by f vector bundle \(f^*T\mathbb {S}^2\) and
is the Hessian of f. Similarly, we get that
Moreover,
From the above relations, we see that
As a consequence, \(|\varphi |^2=2{\text {det}}\varphi .\) Hence, from Lemma 3.3(c) we see that the singular values of g are everywhere equal. As in the proof of Corollary 3.8, we show that g is constant. This implies that \(\alpha _1\) is a Hopf vector field and the corresponding projection \(\pi \) a Hopf fibration. Observe that there exists a diffeomorphism \(h:\mathbb {S}^2\rightarrow \mathbb {S}^2\) such that \(f=h\circ \pi \). Since f is a weakly conformal submersion and \(\pi \) a Riemannian submersion, we deduce that h is a conformal diffeomorphism. This completes the proof. \(\square \)
Remark 3.10
In [23] Heller proves a more general result. More precisely, he shows that up to conformal transformations of \(\mathbb {S}^2\) and \(\mathbb {S}^3\), every conformal fibration of \(\mathbb {S}^3\) by circles (not necessarily great circles) is the Hopf fibration.
Corollary 3.11
(Escobales [11]) Suppose that \(f:V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2\) is a submersion with totally geodesic fibres and equal constant singular values defined in an open neighbourhood V of \(\mathbb {S}^3\). Then f is a Hopf fibration.
Proof
By assumption, the singular values of f are \(0,\lambda ,\lambda \), where \(\lambda \) is a nonzero constant. From the formulas (3.16), we deduce that \(\varphi _{22}=\varphi _{33}=0\) and \(\varphi _{23}+\varphi _{32}=0.\) From Lemma 3.1(b), it follows that \({\text {det}}\varphi =1\), which implies that \(\varphi _{23}=-1\) and \(\varphi _{32}=1.\) Now from Lemma 3.3(c) the singular values of g are zero, which implies that g is constant. Following the same lines as in Corollary 3.9, we deduce that f is a Hopf fibration. This completes the proof. \(\square \)
4 Harmonic and minimal unit vector fields
Let us assume now that \(g:V\subset \mathbb {S}^2_-\rightarrow \mathbb {S}^2_+\) is strictly length decreasing, where V is an open and simply connected domain. Fix a point \(x_0\in \mathbb {S}^2_-\). From Theorem 3.6, it follows that there exists a sufficiently small neighbourhood \(U_{x_0}\) around the point \(x_0\) where the map \(\xi \) is a diffeomorphism. Hence, by setting \(y=\xi (x)\) and \(h=\sqrt{2}\,g\circ \xi ^{-1}\), we may reparametrise the foliation by the map \(\vartheta :\xi (U_{x_0})\times [-\pi ,\pi ]\rightarrow \mathbb {S}^3\) given by
Observe that h is a smooth map from an open domain of the unit 2-sphere \(\mathbb {S}^3\cap \textrm{Im}\mathbb {H}\) with values in the same sphere. According to Theorem 3.6, we have that
On the other hand, one can readily check that for any (y, t) it holds
Hence, for \(p=\vartheta (y,t)\) we deduce that the unit vector field \(\zeta \) generating the leaves of the foliation is related to \(\pi \) via the formulas
for any \(p \in V\subset \mathbb {S}^{3}\), where \(f=\sqrt{2}\,\pi \).
4.1 Harmonic unit vector fields
We would like to relate the Hessian of the vector field \(\zeta \) with the Hessian of the quotient map f given in (4.2). We need the following lemma.
Lemma 4.1
Let \(\zeta \) be a unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) and \(f:V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2\) be the corresponding quotient map given in (4.2). Assume that f(V) is simply connected. Then,
where \(i,j\in \{2,3\}\), \(\alpha _2, \alpha _3 \in \mathcal {H}\) and J is the complex structure of \(\mathcal {H}\).
Proof
Observe at first that any tangent vector \(\alpha \in T_{p}\mathbb {S}^{3}\) satisfies the equations
Indeed! Consider a curve \(\sigma :(-\varepsilon , \varepsilon ) \rightarrow \mathbb {S}^{3}\) such that \(\sigma (0)=p\) and \(\sigma '(0)=\alpha \). Differentiating the expression \(\sigma \cdot \overline{\sigma }=1\), and estimating at \(t=0\), we get the first identity of (4.4). The second follows immediately from the first. Differentiating the second equation of (4.2) with respect to \(\alpha _i\), \(i,j\in \{2,3\}\), we get
where D is the standard connection of \(\mathbb {H}=\mathbb {R}^4\). Using Lemma 3.4 and (4.4), we obtain
For any \(p\in \mathbb {S}^3\), the vectors \(\{\alpha _{1}=\zeta , \alpha _{2}, \alpha _{3},p\}\) form a basis of \(\mathbb {H}\). We decompose the vector \(\alpha _{2}\cdot \overline{p}\cdot \alpha _{3}\) in terms of \(\alpha _{1}, \alpha _{2}, \alpha _{3}\) and p. We observe that
Furthermore,
since \(\langle \alpha _{2}, \alpha _{3}\rangle =0=\textrm{Re}(\alpha _{2}\cdot \overline{\alpha _{3}})\). Thus, \(\alpha _{2}\cdot \overline{p}\cdot \alpha _{3}=\pm \alpha _{1}\). Choosing positive orientation, we get
Using (4.4), we obtain
From (4.6) and the equations (4.8), we get (4.3). This completes the proof. \(\square \)
Definition 4.2
Let \(F:(M,g_M,\nabla ^M)\rightarrow (N,g_N,\nabla ^N)\) be a smooth map between Riemannian manifolds, \(\nabla ^F\) be the induced by F connection of the pullback bundle \(F^*TN\) and
be the Hessian of F. The trace
is called the tension field of F. The map F is called harmonic if \(\tau _F=0\).
Proposition 4.3
Let \(\zeta \) be a unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) and \(f:V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2\) be the corresponding quotient map given in (4.2). Assume that f(V) is simply connected. Then the Hessian of \(\zeta \), at a point \(p\in \mathbb {S}^3\), satisfies
where \(i,j\in \{2,3\}\), \(\{\alpha _2, \alpha _3\}\) is a local orthonormal frame of \(\mathcal {H}\), and \(B_f\) is the Hessian of the map \(f:(\mathbb {S}^3,g_{\mathbb {S}^3})\rightarrow (\mathbb {S}^2,g_{\mathbb {S}^2})\). In particular,
where \(\Delta \) stands for the rough Laplacian operator and \(\tau _{f}\) for the tension field of f.
Proof
Consider a local orthonormal frame \(\{\alpha _1=\zeta ,\alpha _2,\alpha _3\}\) such that \(\alpha _1\in \mathcal {V}\) and \(\alpha _2,\alpha _3\in \mathcal {H}\). Recall that
Differentiating the identity \(\alpha _1(p)=p\cdot f(p)\) with respect to \(\alpha _{j}\), \(j\in \{2,3\}\), we get
Differentiating (4.11) with respect to \(\alpha _i\), \(i\in \{2,3\}\), we have
Using (4.11) and (4.12), we deduce
From the formulas (4.8)-(4.9), we get
Combining Lemma 3.4, (4.4), (4.5) and (4.14), we obtain
Substituting (4.15) in (4.13) and using (4.3), we obtain the desired formula (4.10). This completes the proof of the proposition. \(\square \)
As a direct consequence of Proposition 4.3, we derive the following theorem.
Theorem B
Let \(\zeta \) be a unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) and \(f:V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2\) be the corresponding quotient map. Then f is a harmonic map if and only if \(\zeta :V\rightarrow U\mathbb {S}^3\) is a harmonic unit vector field.
Let us prove now our next main theorem.
Theorem C
A harmonic unit vector field \(\zeta \) on \(\mathbb {S}^3\), whose integral curves are great circles, is a Hopf vector field and the corresponding quotient map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) is a Hopf fibration.
Proof
Consider a local orthonormal frame \(\{\alpha _1=\zeta ,\alpha _2,\alpha _3\}\) such that \(\alpha _2,\alpha _3\in \mathcal {H}\). Denote by \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) the quotient map associated to \(\zeta \). Let us introduce the functions
The functions v and u are smooth and globally defined on \(\mathbb {S}^3\). We have that
From the equations
we obtain
and
Since
we obtain the following system of PDEs
and
Subtracting (4.20) from (4.17), adding (4.18) and (4.19) and keeping in mind (3.3) and (4.16), we see that the functions u and v satisfy the system of differential equations
From (4.21) and (3.3), we deduce that
Since
we obtain that
From the maximum principle, it follows that the function v is constant. On the other hand
and by the Stokes’ Theorem, we conclude that \(v=\mathop {\textrm{trace}}\limits \varphi =0\). Moreover, from the first equation of (4.21) we deduce that \({\text {det}}\varphi =1\). From Lemma 3.3(c), we see that the associated graph in \(\mathbb {S}^2_-\times \mathbb {S}^2_+\) is generated by a conformal and strictly length decreasing map g. Note that conformality implies minimality; see [2, Proposition 4.5.3], [10, Example 3] or [27]. From [32, Theorem A], it follows that g must be constant. Then, from Theorem 3.6(c) we deduce that \(\alpha _1\) is a Hopf vector field. \(\square \)
4.2 Minimal unit vector fields
The unit tangent bundle of \(\mathbb {S}^3\) can be identified with the Stiefel manifold \(V_{2}(\mathbb {R}^4)\), i.e. the set of orthonormal two-frames in \(\mathbb {R}^4\). \(V_{2}(\mathbb {R}^4)\) is diffeomorphic with the coset space SO(4)/SO(2). Using the quaternionic structure of \(\mathbb {R}^4\), we can identify \(U\mathbb {S}^3\) with the product of unit spheres \(\mathbb {S}^3 \times \mathbb {S}^2\). Indeed, one can easily verify that the map \(\varPhi : U\mathbb {S}^3\rightarrow \mathbb {S}^3 \times \mathbb {S}^2\) given by
is a diffeomorphism. The map \(T:SO(4)/SO(2)\cong U\mathbb {S}^3\rightarrow \mathbb {G}_{2}(\mathbb {R}^{4})\cong \mathbb {S}^2_{-} \times \mathbb {S}^2_{+}\) given by
is called the Stiefel bundle map. \((U\mathbb {S}^3, g_{S})\) is isometric to the Stiefel manifold of orthonormal 2-frames of \(\mathbb {R}^4\) equipped with the homogeneous metric resulting from its diffeomorphism with SO(4)/SO(2) ( [18, page 180]). The Grassmann manifold \(\mathbb {G}_{2}(\mathbb {R}^{4})\) is isometric to the product \(\mathbb {S}^2_{-} \times \mathbb {S}^2_{+}\). It turns out that \(T: (U\mathbb {S}^3, g_{S}) \rightarrow (\mathbb {S}^2_{-} \times \mathbb {S}^2_{+}, g_{\mathbb {S}_{-}^2\times \mathbb {S}_{+}^2})\) is a Riemannian submersion; see for example ( [19, pages 121-123 and Remark 7.4]) and ( [18, page 180]). For reader’s convenience we include a short proof of this fact.
Proposition 4.4
The Stiefel bundle map \(T:(U\mathbb {S}^3, g_{S})\rightarrow (\mathbb {S}^2_{-} \times \mathbb {S}^2_{+}, g_{\mathbb {S}_{-}^2\times \mathbb {S}_{+}^2})\) is a Riemannian submersion whose fibres are generated by the geodesic flow vector field \(\xi _U\) of \(U\mathbb {S}^3\).
Proof
Let \((x, v)\in U\mathbb {S}^3\) and \(Z \in T_{(x, v)}U\mathbb {S}^3\) and let \(\gamma : (-\varepsilon , \varepsilon ) \rightarrow U\mathbb {S}^3\) be a smooth curve such that \(\gamma (0)=(x, v)\) and \(\gamma '(0)=Z\). Then, \(\gamma \) can be written in the form \(\gamma =(\alpha , V),\) where \(\alpha =\pi _{\mathbb {S}^3} \circ \gamma \) is the projection of the curve \(\gamma \) to \(\mathbb {S}^3\) and V is a unit vector field along \(\alpha \). Note that \(\alpha (0)=x\) and \(V(0) =v\). Furthermore, we have that
where \(w_{1}=\alpha '(0) \in T_{x}\mathbb {S}^3\) and \(w_{2}=\frac{\nabla V}{dt}(0)=V'(0)+\langle w_{1}, v \rangle x=V'(0)-\langle V'(0), x \rangle x\) (since \(\langle \alpha (t), V(t)\rangle =0\)). Differentiating \(T\circ \gamma =\alpha \wedge V\) with respect to t and estimating at \(t=0\), we get
Fix a point \( x \in \mathbb {S}^3\) and consider a local orthonormal frame \(\{v, \alpha _{2}, \alpha _{3}\}\) of \(T_{x}\mathbb {S}^3\). Observe that \(Z \in \ker dT_{(x, v)}\) if and only if
Decomposing the vectors \(w_{1}\) and \(w_{2}\) in terms of \(v, \alpha _{2}\) and \(\alpha _{3}\), we see that \(w_{1}\in {\text {span}}{v}\) and \(w_{2}=0\). Hence, the Stiefel bundle map is a submersion and the geodesic flow vector field \(\xi _U\) generates the fibres of T. Furthermore, \(Z \in \{\ker dT_{(x, v)}\}^{\perp }\) if and only if
Differentiating the expression \(\langle V, V\rangle =1\) with respect to t and evaluating at \(t=0\), we obtain
It remains to show that the map T is a Riemannian submersion. Indeed, choose vector fields
We set
Similarly,
Using (2.2), (4.23) and (4.24), we have
This completes the proof of the proposition. \(\square \)
We would like to relate the mean curvature of the vector field \(\zeta \) with the mean curvature of the corresponding graph. We need the following lemma.
Lemma 4.5
Let \(\zeta :V\subset \mathbb {S}^3\rightarrow U\mathbb {S}^3\) be a unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\), \(\pi :V\subset \mathbb {S}^3\rightarrow \mathbb {S}^2_-\) be the quotient map given in (4.1) and \(G=(h_-,h_+):\pi (V)\subset \mathbb {S}_{-}^2\rightarrow \mathbb {S}_{-}^2\times \mathbb {S}_{+}^2\) be its corresponding graph. Assume that \(\pi (V)\) is simply connected.
-
(a)
The quotient map \(\pi :(V\subset \mathbb {S}^3,\zeta ^*g_S)\rightarrow (\mathbb {S}_{-}^2,G^*g_{\mathbb {S}^2_-\times \mathbb {S}^2_+})\) is a Riemannian submersion. Moreover, we have that \(T\circ \zeta =G\circ \pi \); compare also with [19, equation (7.12) page 126].
-
(b)
The following formula holds
$$\begin{aligned} dT\big (A_{\zeta }(X, Y)\big )=A_G\big (d\pi (X), d\pi (Y)\big )+dG\big (B_{\pi }(X, Y)\big ), \end{aligned}$$for all vector fields X, Y on \((V, \zeta ^{*}g_{S})\) perpendicular to \(\zeta \), where T is the Stiefel map and \(B_{\pi }\) is the Hessian of \(\pi :(V,\zeta ^*g_S)\rightarrow (\mathbb {S}_{-}^2,G^*g_{\mathbb {S}^2_-\times \mathbb {S}^2_+})\). In particular,
$$\begin{aligned} dT\big (H_\zeta \big )=H_G+dG(\tau _{\pi }), \end{aligned}$$(4.25)where \(\tau _{\pi }\) is the tension field of \(\pi :(V,\zeta ^*g_S)\rightarrow (\mathbb {S}_{-}^2,G^*g_{\mathbb {S}^2_-\times \mathbb {S}^2_+})\).
Proof
(a) Without loss of generality, let us assume that the map \(h_-\) is diffeomorphism. From the definition of the Stiefel map and (3.7), we conclude that
for all \(p\in V\); compare also with the computations in [19, page 122]. Hence, \(T\circ \zeta =G\circ \pi \). Since the unit vector field \(\zeta \) has geodesic integral curves, making use of (2.4), we get
We claim now that \(\pi :(V, \zeta ^{*}g_{S})\rightarrow (\mathbb {S}^2_-, G^*g_{\mathbb {S}^2_-\times \mathbb {S}^2_+})\) is a Riemannian submersion. Indeed, from the equations (2.3), (2.4), (4.26) and the fact that T is a Riemannian submersion, we obtain
for all vector fields X, Y on \(V\subset \mathbb {S}^3\) perpendicular to \(\zeta \) with respect to \(\zeta ^*g_S\).
(b) Using the Koszul formula and the fact that T is a Riemannian submersion we deduce that for any pair of \(v_{1}, v_{2} \in \{\ker d T\}^{\perp }\), we have
for details see also [2, Lemma 4.5.1, page 119]. Since \(T\circ \zeta =G\circ \pi \), we have
From the composition formula, we obtain that for all vector fields \(X, Y\in \mathfrak {X}(V)\), it holds
Using (2.3) and (4.26), we see that if \(\zeta ^{*}g_{S}(X, \zeta )=0\), then \(d\zeta (X)\in \{\ker d T\}^{\perp }\). Therefore, from (4.27) we get
for all vector fields X, Y on \(V\subset \mathbb {S}^3\) perpendicular to \(\zeta \) with respect to \(\zeta ^{*}g_{S}\). Using the Koszul formula, we get
for all vector fields X on \(V\subset \mathbb {S}^{3}\) such that \(\zeta ^{*}g_{S}(X, \zeta )=\langle X, \zeta \rangle =0\). Moreover, \(\nabla ^{\zeta ^{*}g_{S}}_{\zeta }\zeta =0\). Using the identity
of Lemma 2.1, we deduce that
Similarly, we get
Taking \(\mathop {\textrm{trace}}\limits \), with respect to the metric \(\zeta ^{*}g_{S}\), at the two sides of (4.28), using the fact that the quotient map
is a Riemannian submersion, (4.29), (4.30) and (4.31), we get (4.25). \(\square \)
Now we are ready to prove Theorem A.
Theorem A
A unit vector field with closed totally geodesic integral curves defined in an open connected neighbourhood V of \(\mathbb {S}^3\) is minimal if and only if its corresponding Gauss map generates a minimal surface in \(\mathbb {S}^2\times \mathbb {S}^2\).
Proof
We follow the notation of the above lemma. Without loss of generality we assume that \(\pi (V)\) is simply connected. Suppose at first that \(\zeta \) is a minimal unit vector field. Then, \(H_{\zeta }=0\). Using (4.25), we obtain that \(H_{G}=0\), i.e. the strictly length decreasing map g is minimal. Conversely, let us assume that g is a minimal map. Then,
Since \((\xi _U)_{\zeta }=\zeta ^{hor}=d\zeta (\zeta ),\) we observe that the mean curvature \(H_{\zeta }\) is perpendicular to the geodesic flow vector field, i.e. \(H_{\zeta } \in \{\ker dT\}^{\perp }\). Furthermore, \(dT(H_{\zeta })\) is normal to the graph of g. Indeed,
for all vector fields X on \(V\subset \mathbb {S}^3\) such that \(\zeta ^{*}g_{S}(X, \zeta )=0\). Using (4.32), we have that \(dT(H_{\zeta })=0\). Since T is an isometry restricted to \(\{\ker dT\}^{\perp }\), we deduce that \(H_{\zeta }=0\), i.e. the vector field \(\zeta \) is a minimal unit vector field. This completes the proof. \(\square \)
As an immediate consequence of Theorem A and the Bernstein-type Theorem A in [32] we obtain the following uniqueness-type theorem.
Theorem D
A minimal unit vector field \(\zeta \) on \(\mathbb {S}^3\), whose integral curves are great circles, is a Hopf vector field and the corresponding quotient map \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) is a Hopf fibration.
Remark 4.6
Let us conclude the paper with some comments and final remarks.
-
(a)
As we already have seen, great circle fibrations of \(\mathbb {S}^3\) can be identified with graphical surfaces of \(\mathbb {S}^2\times \mathbb {S}^2\). Torralbo and Urbano [34] established a local correspondence between (non-complex) minimal surfaces of \(\mathbb {S}^2\times \mathbb {S}^2\) and a certain pair of minimal surfaces of \(\mathbb {S}^3\).
-
(b)
Let \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) be a smooth map and \(\lambda _1=0\le \lambda _2\le \lambda _3\) be its singular values. The 2-dilation \(\textrm{Dil}_2(f)=\sup \lambda _2\lambda _3\) of f measures how much f contracts the areas of compact surfaces in \(\mathbb {S}^3\). In [1], it is shown that if \(\textrm{Dil}_2(f)<2\) then f is null-homotopic. Since any submersion with totally geodesic fibres is homotopically non-trivial, it follows that the 2-dilation of any such map is greater or equal than 2.
-
(c)
An interesting problem is to classify minimal maps \(f:\mathbb {S}^3\rightarrow \mathbb {S}^2\) with totally geodesic fibres. The minimal map f becomes harmonic when we equip \(\mathbb {S}^3\) with the graphical metric \(g=g_{\mathbb {S}^3}+f^*g_{\mathbb {S}^2}\), where \(g_{\mathbb {S}^3}\) is the metric of \(\mathbb {S}^3\) and \(g_{\mathbb {S}^2}\) is the metric of \(\mathbb {S}^2\). It seems that the methods developed in the present paper cannot be easily used, since in the structure equations (3.1) the curvature operator of the graphical metric shows up; for more information regarding this problem we refer to [27].
-
(d)
In [31] it is shown that the graphical mean curvature flow (GMCF for short) will smoothly deform any strictly length decreasing map \(g:\mathbb {S}^2\rightarrow \mathbb {S}^2\) into a constant map. Moreover, this process will preserve the strict length decreasing property. Hence, GMCF will generate a smooth deformation of a unit vector field with totally geodesic fibres into a Hopf vector field.
-
(e)
A similar problem in submanifold geometry is the classification of minimal m-dimensional submanifolds in \(\mathbb {S}^n\) with index of relative nullity at least \(m-2\). Such submanifolds are foliated by \((m-2)\)-dimensional totally geodesic spheres. Under the assumption of completeness, it turns out that any such submanifold is either totally geodesic or has dimension 3. In the latter case, there are plenty of examples, even compact ones. For more details, we refer to [8, 33].
References
Assimos, R., Savas-Halilaj, A., Smoczyk, K.: Graphical mean curvature flow with bounded bi-Ricci curvature. Calc. Var. Partial Differ. Equ. 62, 1 (2023)
Baird, P., Wood, J.: Harmonic morphisms between Riemannian manifolds, London Mathematical Society Monographs. New Series, p. 29. Oxford University Press, Oxford (2003)
Baird, P.: The Gauss map of a submersion, pp. 8–24. The Australian National University, Centre for Mathematical Analysis, Canberra AUS, Miniconference on Geometry and Partial Differential Equations (1986)
Blair, D.E.: Riemannian Geometry of Contact and Symplectic Manifolds, Progress in Mathematics, p. 203. Birkhäuser Boston Ltd, Boston (2010)
Boeckx, E., Vanhecke, L.: Harmonic and minimal vector fields on tangent and unit tangent bundles. Differ. Geom. Appl. 13, 77–93 (2000)
Borrelli, V., Gil-Medrano, O.: A critical radius for unit Hopf vector fields on spheres. Math. Ann. 334, 731–751 (2006)
Brito, F.: Total bending of flows with mean curvature correction. Diff. Geom. Appl. 334, 157–163 (2000)
Dajczer, M., Kasioumis, Th., Savas-Halilaj, A., Vlachos, Th.: Complete minimal submanifolds with nullity in Euclidean spheres. Comment. Math. Helv. 93, 645–660 (2018)
Dombrowski, P.: On the geometry of the tangent bundle. J. Reine Angew. Math. 210, 73–88 (1962)
Eells, J.: Minimal graphs. Manuscr. Math. 28, 101–108 (1979)
Escobales, R.: Riemannian submersions with totally geodesic fibers. J. Differ. Geom. 10, 253–276 (1975)
Gil-Medrano, O.: Volume minimising unit vector fields on three dimensional space forms of positive curvature. Calc. Var. Partial Differ. Equ. 61, 66 (2022)
Gil-Medrano, O., Hurtado, A.: Volume, energy and generalized energy of unit vector fields on Berger spheres: stability of Hopf vector fields. Proc. R. Soc. Edinb. Sect. A Math. 135, 789–813 (2005)
Gil-Medrano, O., Llinares-Fuster, E.: Second variation of volume and energy of vector fields. Stability of Hopf vector fields. Math. Ann. 320, 531–545 (2001)
Gil-Medrano, O., Llinares-Fuster, E.: Minimal unit vector fields. Tohoku Math. J. 54, 71–84 (2002)
Gluck, H.: Great circle fibrations and contact structures on the 3-sphere. Geom. Dedic. 72, 1–19 (2022)
Gluck, H., Gu, W.: Volume-preserving great circle flows on the 3-sphere. Geom. Dedic. 88, 259–282 (2001)
Gluck, H., Ziller, W.: On the volume of a unit vector field on the three-sphere. Comment. Math. Helv. 61, 177–192 (1986)
Gluck, H., Warner, F.: Great circle fibrations of the three-sphere. Duke Math. J. 50, 107–132 (1983)
Gluck, H., Warner, F., Ziller, W.: The geometry of the Hopf fibrations. L’Enseign. Math. 32, 173–198 (1986)
Han, D.-S., Yim, J.-W.: Unit vector fields on spheres, which are harmonic maps. Math. Z. 227, 83–92 (1998)
Harrison, M.: Skew and sphere fibrations arXiv:2203.16412, 1–33 (2022)
Heller, S.: Conformal fibrations of \(\mathbb{S}^3\) by circles, Harmonic maps and differential geometry, Contemp. Math., 542, Amer. Math. Soc., Providence, RI, pp 195–202 (2011)
Johnson, D.L.: Volumes of flows. Proc. Am. Math. Soc. 104, 923–932 (1988)
McKay, B.: The Blaschke conjecture and great circle fibrations of spheres. Am. J. Math. 126, 1155–1191 (2004)
McKay, B.: Summary of progress on the Blaschke conjecture, arXiv:1309.1326v5, pp. 1–23 (2016)
Markellos, M., Savas-Halilaj, A.: Rigidity of the Hopf fibration. Calc. Var. Partial Differ. Equ. 60, 171 (2021)
Pedersen, S.L.: Volumes of vector fields on spheres. Trans. Am. Math. Soc. 336, 69–78 (1993)
Sasaki, S.: On the differential geometry of tangent bundles of Riemannian manifolds. Tohoku Math. J. 10, 338–354 (1958)
Ruh, E.A., Vilms, J.: The tension field of the Gauss map. Trans. Am. Math. Soc. 149, 569–573 (1970)
Savas-Halilaj, A., Smoczyk, K.: Evolution of contractions by mean curvature flow. Math. Ann. 361, 725–740 (2015)
Savas-Halilaj, A., Smoczyk, K.: Bernstein theorems for length and area decreasing minimal maps. Calc. Var. Partial Differ. Equ. 50, 549–577 (2014)
Savas-Halilaj, A.: On deformable minimal hypersurfaces in space forms. J. Geom. Anal. 23, 1032–1057 (2013)
Torralbo, F., Urbano, F.: Minimal surfaces in \(\mathbb{S} ^{2} \times \mathbb{S} ^{2}\). J. Geom. Anal. 25, 1132–1156 (2015)
Wang, G.: \(\mathbb{S} ^1\)-invariant harmonic maps from \(\mathbb{S} ^3\) to \(\mathbb{S} ^2\). Bull. Lond. Math. Soc. 32, 729–735 (2000)
Wiegmink, G.: Total bending of vector fields on Riemannian manifolds. Math. Ann. 303, 325–344 (1995)
Wood, C.M.: On the energy of a unit vector field. Geom. Dedic. 64, 319–330 (1997)
Yampolsky, A.: On the mean curvature of a unit vector field. Publ. Math. 60, 131–155 (2002)
Yang, C.T.: Smooth great circle fibrations and an application to the topological Blaschke conjecture. Trans. Am. Math. Soc. 320, 504–524 (1990)
Acknowledgements
The authors would like to express their gratitude to the referee for the careful reading of the manuscript and for the valuable comments.
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M. Markellos & A. Savas-Halilaj would like to acknowledge support by (HFRI) Grant No:133.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fourtzis, I., Markellos, M. & Savas-Halilaj, A. Gauss maps of harmonic and minimal great circle fibrations. Ann Glob Anal Geom 63, 12 (2023). https://doi.org/10.1007/s10455-023-09886-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10455-023-09886-0