Abstract
In this work we introduce a new method for manufacturing minimal submanifolds of Riemannian manifolds of codimension two. For this we employ the so-called complex-valued eigenfunctions. This is particularly interesting in the cases when the Riemannian ambient manifold is compact. We then give several explicit examples in important cases.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of minimal submanifolds of a given ambient space plays a central role in differential geometry. This has a long, interesting history and has attracted the interests of many profound mathematicians for many generations. The famous Weierstrass–Enneper representation formula
for minimal surfaces in Euclidean 3-space, brings complex analysis into play as a useful tool for the study of these beautiful objects. Here \(F:U\rightarrow {\mathbb {C}}\) is a holomorphic function and \(G:U\rightarrow {\mathbb {C}}\) meromorphic, both defined on a simply connected open subset of the complex plane containing the point \(z_0\). The resulting map \(\Phi :U\rightarrow {\mathbb {R}}^3\) is harmonic and conformal. For this classical problem we refer the reader to [7] and [21].
This was later generalised to the study of minimal surfaces in much more general ambient manifolds via conformal harmonic maps. The following result follows from the seminal paper [8] of Eells and Sampson from 1964. For this see also Proposition 3.5.1 of [3].
Theorem 1.1
Let \(\phi :(M^m,g)\rightarrow (N,h)\) be a smooth conformal map between Riemannian manifolds. If \(m=2\) then \(\phi \) is harmonic if and only if the image is minimal in (N, h).
This result has turned out to be very useful in the construction of minimal surfaces in Riemannian symmetric spaces of various types. For this we refer to [5, 6, 9, 22] and [4], just to name a few.
In their work [1] from 1981, Baird and Eells have shown that complex-valued harmonic morphisms from Riemannian manifolds are useful tools for the study of minimal submanifolds of codimension two. This is due to the following special case of their famous result, here stated as Theorem 2.5. This can be seen as dual to the above-mentioned generalisation of the Weierstrass–Enneper representation.
Theorem 1.2
[1] Let \(\phi :(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued harmonic morphism from a Riemannian manifold. Then every regular fibre of \(\phi \) is a minimal submanifold of (M, g) of codimension two.
Complex-valued holomorphic functions \(\phi :(M,g,J)\rightarrow {\mathbb {C}}\) from Kähler manifolds are harmonic morphisms. It is a classical result that their regular fibres are minimal submanifolds of codimension two.
In [15], the authors introduce a general method for producing harmonic morphisms on Riemannian manifolds. The ingredients for their recipe are the so-called complex-valued eigenfamilies. Explicit examples of such families have been constructed on all the classical Riemannian symmetric spaces, see [10, 15,16,17] and [11] and Table 1 below. This leads to explicit constructions of a variety of minimal submanifolds of codimension two on all these important Riemannian manifolds.
In this work we extend the investigation and provide a new scheme for constructing minimal submanifolds of codimension two. The complex-valued eigenfunctions are the elements of the above mentioned families. These are the building blocks for our new method described by our following main result.
Theorem 1.3
Let \(\phi :(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued eigenfunction on a Riemannian manifold, such that \(0\in \phi (M)\) is a regular value for \(\phi \). Then the fibre \(\phi ^{-1}(\{0\})\) is a minimal submanifold of M of codimension two.
The case when (M, g) is a compact Riemannian symmetric space is of particular interest. We construct multi-dimensional families of compact minimal submanifolds in several important cases.
The only other general methods for constructing minimal submanifolds of codimension two, that the authors are aware of, can be found in [19] and [20]. These are obtained by immersions rather that submersions. Hence they are different from those presented here.
2 Eigenfunctions and Eigenfamilies
Let (M, g) be an m-dimensional Riemannian manifold and \(T^{{\mathbb {C}}}M\) be the complexification of the tangent bundle TM of M. We extend the metric g to a complex bilinear form on \(T^{{\mathbb {C}}}M\). Then the gradient \(\nabla \phi \) of a complex-valued function \(\phi :(M,g)\rightarrow {\mathbb {C}}\) is a section of \(T^{{\mathbb {C}}}M\). In this situation, the well-known complex linear Laplace–Beltrami operator (alt. tension field) \(\tau \) on (M, g) acts locally on \(\phi \) as follows:
For two complex-valued functions \(\phi ,\psi :(M,g)\rightarrow {\mathbb {C}}\) we have the following well-known fundamental relation:
where the complex bilinear conformality operator \(\kappa \) is given by
Locally this satisfies
Definition 2.1
[15] Let (M, g) be a Riemannian manifold. Then a complex-valued function \(\phi :M\rightarrow {\mathbb {C}}\) is said to be an eigenfunction if it is eigen both with respect to the Laplace–Beltrami operator \(\tau \) and the conformality operator \(\kappa \) i.e. there exist complex numbers \(\lambda ,\mu \in {\mathbb {C}}\) such that
A set \(\mathcal {E}=\{\phi _i:M\rightarrow {\mathbb {C}}\ |\ i\in I\}\) of complex-valued functions is said to be an eigenfamily on M if there exist complex numbers \(\lambda ,\mu \in {\mathbb {C}}\) such that for all \(\phi ,\psi \in \mathcal {E}\) we have
For the standard odd-dimensional round spheres we have the following eigenfamilies based on the classical real-valued spherical harmonics.
Example 2.2
Let \(S^{2n-1}\) be the odd-dimensional unit sphere in the standard Euclidean space \({\mathbb {C}}^{n}\cong {\mathbb {R}}^{2n}\) and define \(\phi _1,\dots ,\phi _n:S^{2n-1}\rightarrow {\mathbb {C}}\) by
Then the tension field \(\tau \) and the conformality operator \(\kappa \) on \(S^{2n-1}\) satisfy
For the standard complex projective space \({\mathbb {C}}P^n\) we obtain a complex multi-dimensional eigenfamily, in a similar way.
Example 2.3
Let \({\mathbb {C}}P^n\) be the standard n-dimensional complex projective space. For a fixed integer \(1\le \alpha < n+1\) and some \(1\le j\le \alpha < k\le n+1\) define the function \(\phi _{jk}:{\mathbb {C}}P^n\rightarrow {\mathbb {C}}\) by
Then the tension field \(\tau \) and the conformality operator \(\kappa \) on \({\mathbb {C}}P^n\) satisfy
The next result shows that a given eigenfamily \(\mathcal {E}\) on M induces a large collection \(\mathcal {P}_d(\mathcal {E})\) of such objects.
Theorem 2.4
[11] Let (M, g) be a Riemannian manifold and the set of complex-valued functions
be a finite eigenfamily i.e. there exist complex numbers \(\lambda ,\mu \in {\mathbb {C}}\) such that for all \(\phi ,\psi \in \mathcal {E}\)
Then the set of complex homogeneous polynomials of degree d
is an eigenfamily on M such that for all \(P,Q\in \mathcal {P}_d(\mathcal {E})\) we have
The much studied case of complex-valued eigenfunctions \(\phi :(M,g)\rightarrow {\mathbb {C}}\) with \((\lambda ,\mu )=(0,0)\) is that of the harmonic morphisms. For the general theory of harmonic morphisms between Riemannian manifolds we refer to the excellent book [3] and the regularly updated online bibliography [12].
In the case of harmonic morphisms we have the following important result of Baird and Eells providing a nice geometric flavour to the theory.
Theorem 2.5
[1] Let \(\phi :(M,g)\rightarrow (N^n,h)\) be a horizontally (weakly) conformal map between Riemannian manifolds. If
-
(i)
\(n=2\), then \(\phi \) is harmonic if and only if \(\phi \) has minimal fibres at regular points,
-
(ii)
\(n\ge 3\), then two of the following conditions imply the other
-
(a)
\(\phi \) is a harmonic map,
-
(b)
\(\phi \) has minimal fibres at regular points,
-
(c)
\(\phi \) is horizontally homothetic.
-
(a)
In the spirit of Theorem 2.5, Baird and Gudmundsson later established the following result of Theorem 2.6. This plays a central role in our work. In the next section we will explain the notions and background and provide a new proof avoiding the stress–energy tensor employed in [2].
Theorem 2.6
[2] Let \(\phi : (M,g) \rightarrow (N^n,h)\) be a submersion and \(K= \phi ^{-1}(\{y\}) \) for some \(y\in N\). If \(\phi \) is horizontally conformal up to first order along K, then the following two conditions are equivalent
-
(1)
\(\phi \) is n-harmonic along K i.e. \(\tau _n(\phi )(x) = 0\), for all \(x \in K\),
-
(2)
K is a minimal submanifold of M.
3 Horizontal Conformality up to First Order
From now on, we will turn our focus to the complex-valued eigenfunctions \(\phi :(M,g)\rightarrow {\mathbb {C}}\) with \((\lambda ,\mu )\ne (0,0)\). The existence of these objects has been proven in several important cases, for example when (M, g) is a classical Riemannian symmetric space, see the articles [10, 15,16,17] and [11].
Definition 3.1
Let \(\phi :(M,g) \rightarrow (N,h)\) be a smooth map between Riemannian manifolds. For a real number \(p> 1\), we say that \(\phi \) is a p-harmonic map if it is a critical point of the p-energy functional,
The p-harmonic maps are characterised by the following result.
Proposition 3.2
[2] A smooth map \(\phi : (M,g) \rightarrow (N,h)\) between Riemannian manifolds is p-harmonic if and only if it satisfies the Euler–Lagrange equation
We call \(\tau _p (\phi )\) the p-tension field of \(\phi \).
Notice that p-harmonic maps generalise the classical case of harmonic maps, since when \(p=2\), the p-energy functional is the standard energy functional.
Our next item is the definition of an important ingredient for Theorem 2.6.
Definition 3.3
[2] Let \(\phi : (M,g)\rightarrow (N^n,h)\) be a smooth submersion between Riemannian manifolds. Further let the functions \(\lambda _1^2,\dots ,\lambda _n^2\) denote the non-zero eigenvalues of the first fundamental form \(\phi ^* h\) with respect to the metric g. Let K be a submanifold of M. Then \(\phi \) is said to be horizontally conformal up to first order along K if
-
(i)
\(\lambda _1^2(p)= \cdots =\lambda _n^2(p)\) and
-
(ii)
\((\nabla \lambda _1^2)(p) =\cdots =(\nabla \lambda _n^2)(p)\), at every point \(p \in K\).
Definition 3.4
Let \( {\hat{X}}\) be a horizontal vector field over M. Then \({\hat{X}}\) is said to be basic if there exists a vector field X on N such that \(d\phi _x( {\hat{X}}) = X\) for all \(x \in M.\) The vector field \({\hat{X}}\) is called a horizontal lift of X. For a given vector field X on N there exists a unique horizontal lift \({\hat{X}}\) on M. For two basic horizontal vector fields \({\hat{X}}, {\hat{Y}}\) on M we write for the horizontal lift of , where \(\nabla \) is the Levi-Civita connection on N.
By \(\mathcal {H}\) we also denote the projection of TM onto the horizontal space \(\mathcal {H}\).
Lemma 3.5
[13] If \(\phi :(M,g) \rightarrow (N,h)\) is a horizontally conformal submersion and \({\hat{X}}, {\hat{Y}}\) are basic vector fields on M, then
This has the following interesting consequence.
Proposition 3.6
[2] Let \(\phi :(M,g) \rightarrow (N,h)\) be a smooth submersion and \({\hat{X}},{\hat{Y}}\) be basic vector fields on M. If K is a fibre of \(\phi \), hence a submanifold of M, such that \(\phi \) is horizontally conformal up to first order along K, then
along K.
Proof
Since the proof in [13] only uses the value of \(\lambda \) and its first derivative we immediately obtain the result. \(\square \)
Proof of Theorem 2.6
Let \(\{Z_1,\ldots , Z_n \}\) be a local orthonormal frame for the tangent bundle TN of N and lift horizontally to \({\hat{Z}}_i\) on K, then \(\{\lambda {\hat{Z}}_i \mid i=1,\ldots ,n\}\) is an orthonormal frame for the horizontal distribution on K. Recalling the formula
we first calculate the horizontal component of the Laplace–Beltrami operator.
Then since \(\phi \) is horizontally conformal up to first order along K, it follows from Proposition 3.6 that
along the submanifold K i.e.
Then projecting onto TN by \(d\phi \), we obtain
So we can simplify the above equation (3.1) and obtain
Let \(\{V_{n+1},\ldots ,V_m\}\) be a local orthonormal frame for the vertical distribution. Then for the tension field \(\tau (\phi )\) along K we obtain
Now we consider \(d\phi ({{\,\textrm{grad}\,}}(\log |d\phi |^{p-2}))\),
Also, because \(d\phi (V) = 0\) for all \(V \in {\mathcal {V}}\) we obtain
Then for \(n=p\) we have that
This shows that \(\phi \) is n-harmonic if and only if \(d\phi (H) = 0\) along the submanifold K of M. \(\square \)
4 Minimality of the Fibre Over the Origin
In this section we prove our main result stated in Theorem 1.3. We equip the complex plane \({\mathbb {C}}\) with its standard Euclidean metric denoted by h.
Lemma 4.1
Let \(\phi = u+iv:(M,g)\rightarrow ({\mathbb {C}},h)\) be a smooth submersion that is eigen with respect to the conformality operator \(\kappa \) i.e. \(\kappa (\phi ,\phi )=\mu \cdot \phi ^2\). Then the two eigenvalues \(\lambda _1\) and \(\lambda _2\) of the first fundamental form \(\phi ^*h\) satisfy
Proof
It is an immediate consequence of the fact that the function \(\phi \) is eigen with respect to the conformality operator \(\kappa \) that
This will lead to important simplifications in the following calculations.
We first notice that for any tangent vector X of M we have that
This implies that for any vertical vector \(V\in \mathcal {V}\) tangent to a fibre of \(\phi \) we have \(d\phi (V)=0\). Furthermore, at each point of M the vectors \(\nabla u\) and \(\nabla v\) form a basis for the horizontal space \(\mathcal {H}\). For these we have
We can now describe the first fundamental form \(\phi ^* h\) in terms of the basis \(\{\nabla u,\nabla v\}\) of the horizontal distribution \(\mathcal {H}\) as follows.
Using the Gram–Schmidt process we now yield the following orthonormal basis \(\{N_1,N_2\}\) for the horizontal space at each point
The linearity of the Euclidean metric h on \({\mathbb {C}}\) then leads to
and
We are now in the position of calculating the eigenvalues of the first fundamental form \(\phi ^*h\) with respect to the metric g on M. These are the solutions to the characteristic polynomial \(\det (\lambda \cdot I-A)=0\), where A is the real \((2\times 2)\)-matrix
This simplifies the following second-order polynomial equation in \(\lambda \)
Now considering the discriminant \(D=b^2-4ac\) we then, after simplifying, obtain
With this at hand, we finally obtain the two solutions \(\lambda _1\) and \(\lambda _2\) to the characteristic polynomial as
\(\square \)
We now prove the main result of this work formulated in Theorem 1.3.
Proof of Theorem 1.3
Let \(p\in \mathcal {F}_0\) be a point of the fibre of \(\phi =u+i\cdot v\) over the origin \((u,v)=0\in {\mathbb {C}}\). Lemma 4.1 implies that \(\lambda _1(p)=\lambda _2(p)\) and if \(X\in T_pM\) is a tangent vector of M at p, then
This shows that the complex-valued function \(\phi \) is horizontally conformal up to first order along \(\mathcal {F}_0\). Following Theorem 2.6, the fibre \(\mathcal {F}_0\) is a minimal submanifold of (M, g). \(\square \)
5 Simple Compact Examples
In this section we employ Theorem 1.3 to construct compact minimal submanifolds. Let \(\Phi :(M,g)\rightarrow {\mathbb {C}}\) be a complex-valued eigenfunction on a compact Riemannian manifold M and \(0\in {\mathbb {C}}\) be a regular value of \(\Phi \). Then the fibre \(\Phi ^{-1}(\{0\})\) is closed and hence compact as a submanifold of M.
Let \({\mathbb {C}}^{n}\cong {\mathbb {R}}^{2n}\) be the standard 2n-dimensional Euclidean space and \(d\in {\mathbb {Z}}^+\) be a positive integer. Further let \(P:{\mathbb {C}}^n\rightarrow {\mathbb {C}}\) be a homogeneous polynomial of degree d i.e. \(P(r\cdot z)=r^d\cdot P(z)\) for all \(r\in {\mathbb {R}}^+\). Now define the function \({\hat{\Phi }}:{\mathbb {C}}^n\setminus \{0\}\rightarrow {\mathbb {C}}\) by \({\hat{\Phi }} (z)=P(z)/{|z|^d}\). Then \({\hat{\Phi }}(r\cdot z)={\hat{\Phi }}(z)\) for all \(r\in {\mathbb {R}}^+\) and \(z\in {\mathbb {C}}^n\setminus \{0\}\) so \({\hat{\Phi }}\) induces a complex-valued function \(\Phi \) on the odd-dimensional unit sphere \(S^{2n-1}\) in \({\mathbb {C}}^n\) which simply is the restriction of \({\hat{\Phi }}\) to the sphere. It is clear that for any point \(p\in S^{2n-1}\) the two gradients \(\nabla {\hat{\Phi }}\) and \(\nabla \Phi \) satisfy
For the partial derivative \(\partial {\hat{\Phi }}/\partial z_k\) and \(\partial {\hat{\Phi }}/\partial \bar{z}_k\) we now have
and
After our preparations we are now ready for a few explicit examples. We start with a complex multi-dimensional family of compact minimal submanifolds on the odd-dimensional spheres.
Example 5.1
Let \(S^{2n-1}\) be the odd-dimensional unit sphere in the standard Euclidean \({\mathbb {C}}^n\cong {\mathbb {R}}^{2n}\) and \(A\in {\mathbb {C}}^{n\times n}\) be a complex matrix which is invertible i.e. \(\det A\ne 0\). Further define the function \(\Phi _A:S^{2n-1}\rightarrow {\mathbb {C}}\) with
If \(p\in S^{2n-1}\) is a element of the unit sphere then for \(k=1,2,\dots ,n\) we have
and
Let us now assume that \(p\in S^{2n-1}\) is a critical point of \(\Phi _A\). If p is not in the fibre \(\Phi _A^{-1}(\{0\})\) then equation (5.4) shows that \(p=0\notin S^{2n-1}\). On the other hand if the critical point \(p\in \Phi _A^{-1}(\{0\})\) then we see from equation (5.3) that for \(k=1,2,\dots ,n\), we have
This shows that p is a critical point for \(\Phi _A\) if and only if \(A\cdot p=0\). Since \(\det A\ne 0\) this implies that \(p=0\notin S^{2n-1}\).
These considerations show that the compact fibres of the function \(\Phi _A:S^{2n-1}\rightarrow {\mathbb {C}}\) form a foliation on the unit sphere of codimension two. From Example 2.2 and Theorem 2.4, \(\Phi _A\) is an eigenfunction on \(S^{2n-1}\). According to Theorem 1.3 the compact submanifold \(\Phi _A^{-1}(\{0\})\) is minimal in \(S^{2n-1}\). This means that we have constructed a complex \(n^2\)-dimensional family \(\mathcal {F}_n\) of compact minimal submanifolds of codimension two, given by
With the next example we provide a complex multi-dimensional family of minimal submanifolds of the odd-dimensional complex projective spaces \({\mathbb {C}}P^{2n-1}\).
Example 5.2
For a positive integer \(n\in {\mathbb {Z}}^+\), let \(\Sigma _n\) be the following subset of \({\mathbb {C}}^n\) given by
It then follows from Theorem 2.4 and Example 2.3 that for all \(a\in \Sigma _n\) the complex-valued function \(\Phi _a:{\mathbb {C}}P^{2n-1}\rightarrow {\mathbb {C}}\) with
is an eigenfunction on the complex projective space \({\mathbb {C}}P^{2n-1}\). This clearly lifts to \({\hat{\Phi }}_a=\pi \circ \Phi _a\) on the \((4n-1)\)-dimensional unit sphere \(S^{4n-1}\) in \({\mathbb {C}}^{2n}\cong {\mathbb {R}}^{4n}\), via the standard submersive Hopf fibration \(\pi :S^{4n-1}\rightarrow {\mathbb {C}}P^{2n-1}\). Then we can use the machinery developed earlier in this section for the lift \({\hat{\Phi }}\).
If \(p\in S^{4n-1}\) is a element of the unit sphere then for \(k=1,2,\dots ,n\) we have
and
For a point \(p\in S^{4n-1}\) contained in the compact fibre \({\hat{\Phi }}_a^{-1}(\{0\})\) we then have, for \(k=1,2,\dots ,n\), that
This implies that \(\nabla \Phi _a(p)\ne 0\) along the fibre \(\Phi _a^{-1}(\{0\})\) over the origin \(0\in {\mathbb {C}}\). According to the implicit function theorem this fibre is a submanifold of \({\mathbb {C}}P^{2n-1}\) of codimension two. Furthermore Theorem 1.3 tells us that it is minimal. Here we have constructed a complex n-dimensional family \(\mathcal {F}_n\) of minimal submanifolds of \({\mathbb {C}}P^{2n-1}\) satisfying
6 The Riemannian Lie Group \(\textbf{GL}_{n}({\mathbb {C}})\)
The main purpose of this short section is to introduce some useful notation. The complex general linear group is given by
Its Lie algebra \(\mathfrak {gl}_{n}({\mathbb {C}})\) of left-invariant vector fields can be identified with the tangent space at the neutral element \(e\in \textbf{GL}_{n}({\mathbb {C}})\) i.e. the \(n\times n\) complex matrices in \({\mathbb {C}}^{n\times n}\). We equip \(\textbf{GL}_{n}({\mathbb {C}})\) with its standard Riemannian metric induced by the Euclidean scalar product on the Lie algebra \(\mathfrak {gl}_{n}({\mathbb {C}})\) given by
For \(1\le i,j\le n\) we shall by \(E_{ij}\) denote the element of \(\mathfrak {gl}_{n}({\mathbb {R}})\) satisfying
and by \(D_t\) the diagonal matrices \(D_t=E_{tt}\). For \(1\le r<s\le n\) let \(X_{rs}\) and \(Y_{rs}\) be the matrices satisfying
7 The Compact Special Orthogonal Group \(\textbf{SO}(n)\)
In this section we construct minimal submanifolds of codimension two of the compact special orthogonal group
For this we use its standard n-dimensional representation on \({\mathbb {C}}^n\) with
The Lie algebra \(\mathfrak {so}(n)\) of \(\textbf{SO}(n)\) is the set of real skew-symmetric matrices
and for this we have the canonical orthonormal basis
The gradient \(\nabla \phi \), of a complex-valued function \(\phi :\textbf{SO}(n)\rightarrow {\mathbb {C}}\), is an element of the complexified tangent bundle \(T^{\mathbb {C}}\textbf{SO}(n)\). This satisfies
We now consider the functions \(x_{j\alpha }: \textbf{SO}(n) \rightarrow {\mathbb {C}}\) with \(x_{j\alpha }: x \mapsto e_j \cdot x \cdot e_\alpha ^t\). For any tangent vector \(Y\in \mathcal {B}_{\mathfrak {so}(n)}\) we have
This implies that
For the tension field \(\tau \) and the conformality operator \(\kappa \) on the special orthonormal group \(\textbf{SO}(n)\) we have the following result.
Lemma 7.1
[15] For \(1\le j,\alpha \le n\), let \(x_{j\alpha }:\textbf{SO}(n)\rightarrow {\mathbb {R}}\) be the real-valued matrix elements of the standard representation of \(\textbf{SO}(n)\). Then the following relations hold
This leads to the following statement.
Proposition 7.2
[15] Let \(p\in {\mathbb {C}}^n\) be a non-zero element and V be a maximal isotropic subspace of \({\mathbb {C}}^n\). Then the complex vector space
is an eigenfamily on \(\textbf{SO}(n)\).
Example 7.3
Let us consider the real-valued functions \(x_{11},x_{12}: \textbf{SO}(n) \rightarrow {\mathbb {C}}\) with \(x_{j\alpha } : x \mapsto e_j \cdot x \cdot e_\alpha ^t\). For a tangent vector \(Y_{rs}\in B_{\mathfrak {so}(n)}\) equation (7.1) implies that
Then define the complex-valued function \(\Phi :\textbf{SO}(n)\rightarrow {\mathbb {C}}\) with \(\Phi (x)=(x_{11}+i\, x_{12})\). The above derivatives show that the gradient
never vanishes along \(\textbf{SO}(n)\), so \(\Phi \) induces a foliation on \(\textbf{SO}(n)\) of codimension two. According to Proposition 7.2, \(\Phi \) is an eigenfunction. Hence the fibre \(\Phi ^{-1}(\{0\})\) is a compact minimal submanifold of \(\textbf{SO}(n)\), by Theorem 1.3.
Example 7.4
Let \(d\in {\mathbb {Z}}^+\) be a positive integer and \(a_1,\dots ,a_n\in {\mathbb {C}}\) be non-zero complex numbers. Now we consider the complex-valued function \(\Phi :\textbf{SO}(2n)\rightarrow {\mathbb {C}}\) with
Then it easily follows from the chain rule and equation (7.1) that for \(k=1,2,\dots , n\) we have
This shows that the gradient \(\nabla \Phi \) of \(\Phi \) is non-vanishing along \(\textbf{SO}(2n)\), so \(\Phi \) induces a foliation on \(\textbf{SO}(2n)\) of codimension two. According to Proposition 7.2 and Theorem 2.4, \(\Phi \) is an eigenfunction and hence the fibre \(\Phi ^{-1}(\{0\})\) is a compact minimal submanifold of \(\textbf{SO}(2n)\), by Theorem 1.3.
8 The Compact Unitary Group \({\textbf {U}}(n)\)
In this section we construct minimal submanifolds of codimension two of the compact unitary group
For this we use its standard n-dimensional representation on \({\mathbb {C}}^n\) with
The Lie algebra \(\mathfrak {u}(n)\) of \({\textbf {U}}(n)\) is the set of the complex skew-Hermitian matrices
and for this we have the canonical orthonormal basis
The gradient \(\nabla \phi \), of a complex-valued function \(\phi :{\textbf {U}}(n)\rightarrow {\mathbb {C}}\), is an element of the complexified tangent bundle \(T^{\mathbb {C}}{\textbf {U}}(n)\). This satisfies
Remark 8.1
We now consider the functions \(z_{j\alpha }: {\textbf {U}}(n) \rightarrow {\mathbb {C}}\) with \(z_{j\alpha }: z \mapsto e_j \cdot z \cdot e_\alpha ^t\). For any tangent vector \(Z\in {\mathcal {B}}_{\mathfrak {u}(n)}\) we get
As a direct consequence, we see that for the elements of the basis \(\mathcal {B}_{\mathfrak {u}(n)}\) we yield
For the tension field \(\tau \) and the conformality operator \(\kappa \) on the unitary group \({\textbf {U}}(n)\) we have the following result.
Lemma 8.2
[11, 15] Let \(z_{j\alpha }:{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) be the matrix elements of the standard representation of the unitary group \({\textbf {U}}(n)\). Then the tension field \(\tau \) and the conformality operator \(\kappa \) satisfy the following relations:
This leads to the following statement.
Proposition 8.3
[15] Let p be a non-zero element of \({\mathbb {C}}^n\). Then the n-dimensional vector space
is an eigenfamily on \({\textbf {U}}(n)\).
Example 8.4
Let the complex-valued function \(\Phi :{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) be defined by \(\Phi :z\mapsto z_{11}\). Then the following coefficients of the gradient \(\nabla \Phi \) satisfy
Since the first row \((z_{11},z_{12},\dots ,z_{1n})\) cannot vanish, at least one of these derivatives, and hence the gradient \(\nabla \Phi \) of \(\Phi \) is non-zero along the unitary group \({\textbf {U}}(n)\). This means that \(\Phi \) induces a foliation of \({\textbf {U}}(n)\) of codimension two. It follows from Proposition 8.3 that \(\Phi \) is an eigenfunction. This implies that the fibre \(\Phi ^{-1}(\{0\})\) is a compact minimal submanifold of \({\textbf {U}}(n)\).
Example 8.5
For a positive integer \(n\in {\mathbb {Z}}^+\), let \(\Sigma _n\) be the following subset of \({\mathbb {C}}^n\) given by
For a positive integer \(d\in {\mathbb {Z}}^+\) and \(a\in \Sigma _n\), let \(\Phi _a:{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) be the complex-valued function with
Then it follows from Proposition 8.3 and Theorem 2.4 that the function \(\Phi _a\) is an eigenfunction on \({\textbf {U}}(n)\). For a point \(z\in {\textbf {U}}(n)\) the following derivatives satisfy
Since the first row \((z_{11},z_{12},\dots ,z_{1n})\) cannot vanish, at least one of these derivatives, and hence the gradient \(\nabla \Phi _a\), does not vanish along the unitary group \({\textbf {U}}(n)\). This implies that the compact fibres of \(\Phi _a:{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) form a foliation of codimension two. According to Theorem 1.3 the fibre \(\Phi _a^{-1}(\{0\})\) is a minimal submanifold of \({\textbf {U}}(n)\). It follows that we have constructed a complex n-dimensional familiy \(\mathcal {F}_n\) of minimal submanifolds of \({\textbf {U}}(n)\) of codimension two given by
Example 8.6
For \(n\ge 3\), we define the complex-valued function \(\Phi :{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) by
According to Theorem 11.2 of [11], \(\Phi \) is an eigenfunction on \({\textbf {U}}(n)\). For any element Z in the Lie algebra \({\mathfrak {u}(n)}\) we then have
When applying this to our basis elements in \(\mathcal {B}_{\mathfrak {u}(n)}\) we then easily yield
Since the first and the second rows of any matrix element \(z\in {\textbf {U}}(n)\) are linearly independent, we notice that the gradient \(\nabla \Phi \) is non-vanishing along \({\textbf {U}}(n)\). This implies that the compact fibres of \(\Phi :{\textbf {U}}(n)\rightarrow {\mathbb {C}}\) form a foliation on \({\textbf {U}}(n)\) of codimension two. According to Theorem 1.3 the fibre \(\Phi ^{-1}(\{0\})\) is a compact minimal submanifold of \({\textbf {U}}(n)\).
9 The Compact Quaternionic Unitary Group \({\textbf {Sp}}(n)\)
In this section we construct minimal submanifolds of codimension two of the compact quaternionic unitary group \({\textbf {Sp}}(n)\). The group \({\textbf {Sp}}(n)\) is the intersection of the unitary group \({\textbf {U}}(2n)\) and the standard representation of the quaternionic general linear group \(\textbf{GL}_{n}({\mathbb {H}})\) in \({\mathbb {C}}^{2n\times 2n}\) given by
The Lie algebra \(\mathfrak {sp}(n)\) of \({\textbf {Sp}}(n)\) satisfies
For the indices \(1\le r<s\le n\) and \(1\le t\le n\) we now introduce the following notation for the elements of the orthonormal basis \(\mathcal {B}_{\mathfrak {sp}(n)}\) of the Lie algebra \(\mathfrak {sp}(n)\) of the quaternionic unitary group \({\textbf {Sp}}(n)\):
For \(1\le j,k,\alpha ,\beta \le n\), let us now consider the coordinate functions
For an arbitrary tangent vector \(Z\in \mathcal {B}_{\mathfrak {sp}(n)}\), we then have
In particular, we obtain
For the quaternionic unitary group \({\textbf {Sp}}(n)\) we have the following useful result, see [15] and [14].
Proposition 9.1
Let p be a non-zero element of \({\mathbb {C}}^n\). Then the set
of complex-valued functions is an eigenfamily on \({\textbf {Sp}}(n)\).
Example 9.2
On the quaternionic unitary group \({\textbf {Sp}}(n)\) we define the complex-valued eigenfunction \(\Phi :{\textbf {Sp}}(n)\rightarrow {\mathbb {C}}\) with
Employing the above relations for the derivatives \(Z(z_{11})\) with \(Z\in \mathcal {B}_{\mathfrak {sp}(n)}\), and noting that \(s>1\), we then obtain
It is clear that the first row \((z_{11},\dots , z_{1n},w_{11},\dots , w_{1n})\) of any element \(q\in {\textbf {Sp}}(n)\) does not vanish. This implies that the function \(\Phi :{\textbf {Sp}}(n)\rightarrow {\mathbb {C}}\) is submersive along \({\textbf {Sp}}(n)\). Hence we obtain a foliation on \({\textbf {Sp}}(n)\) of codimension two. The leaves are compact and the fibre \(\Phi ^{-1}(\{0\})\) over \(0\in {\mathbb {C}}\) is minimal.
Data availability
Does not apply for this work.
References
Baird, P., Eells, J.: A conservation law for harmonic maps, Geometry Symposium Utrecht 1980, Lecture Notes in Mathematics 894, 1-25, Springer (1981)
Baird, P., Gudmundsson, S.: \(p\)-hamonic maps and minimal submanifolds. Math. Ann. 294, 611–624 (1992)
Baird, P., Wood, J. C.: Harmonic morphisms between Riemannian manifolds, London Math. Soc. Monogr. No. 29, Oxford Univ. Press (2003)
Burstall, F.E., Guest, M.A.: Harmonic two-spheres in compact symmetric spaces, revisited. Math. Ann. 309, 541–752 (1997)
Burstall, F. E., Rawnsley, J. H.: Twistor theory for Riemannian symmetric spaces. With applications to harmonic maps of Riemann surfaces Lecture Notes in Math. 1424, Springer (1990)
Calabi, E.: Minimal immersions of surfaces in euclidean spheres. J. Differential Geom. 1, 111–125 (1967)
Dierkes, U., Hildebrandt, S., Sauvigny, F.: Minimal surfaces. Grundlehren Math. Wiss. 339, Springer, (2010)
Eells, J., Sampson, J.H.: Harmonic mappings of Riemannian manifolds. Amer. J. Math. 86, 109–160 (1964)
Eells, J., Wood, J.C.: Harmonic maps from surfaces to complex projective spaces. Adv. Math. 49, 217–263 (1983)
Ghandour, E., Gudmundsson, S.: Explicit \(p\)-harmonic functions on the real Grassmannians. Adv. Geom. 23, 315–321 (2023)
Ghandour, E., Gudmundsson, S.: Explicit harmonic morphisms and \(p\)-harmonic functions from the complex and quaternionic Grassmannians. Ann. Global Anal. Geom. 64, 15 (2023). https://doi.org/10.1007/s10455-023-09919-8
Gudmundsson, S.: The Bibliography of Harmonic Morphisms, www.matematik.lu.se/matematiklu/personal/sigma/harmonic/bibliography.html
Gudmundsson, S.: The Geometry of Harmonic Morphisms, Doctoral thesis, University of Leeds (1992)
Gudmundsson, S., Montaldo, S., Ratto, A.: Biharmonic functions on the classical compact simple Lie groups. J. Geom. Anal. 28, 1525–1547 (2018)
Gudmundsson, S., Sakovich, A.: Harmonic morphisms from the classical compact semisimple Lie groups. Ann. Global Anal. Geom. 33, 343–356 (2008)
Gudmundsson, S., Sakovich, A.: Harmonic morphisms from the classical non-compact semisimple Lie groups. Differential Geom. Appl. 27, 47–63 (2009)
Gudmundsson, S., Siffert, A., Sobak, M.: Explicit proper \(p\)-harmonic functions on the Riemannian symmetric spaces \({ SU}(n)/{ SO}(n), { Sp}(n)/{ U}(n), { SO}(2n)/{ U}(n), { SU}(2n)/{ Sp}(n)\). J. Geom. Anal. 32, 147 (2022)
Gudmundsson, S., Sobak, M.: Proper \(r\)-harmonic functions from Riemannian manifolds. Ann. Global Anal. Geom. 57, 217–223 (2020)
Dajczer, M., Gromoll, D.: The Weierstrass representation for complete minimal real Kaehler submanifolds of codimension two. Invent. Math. 119, 235–242 (1995)
Dajczer, M., Vlachos, Th.: A class of complete minimal submanifolds and their associated families of genuine deformations. Comm. Anal. Geom. 26, 699–721 (2018)
Meeks, W.H., Pérez, J.: The classical theory of minimal surfaces. Bull. Amer. Math. Soc. 48, 325–407 (2011)
Karen, K. Uhlenbeck.: Harmonic maps into Lie groups: classical solutions of the chiral model. J. Differential Geom. 30, 1–50 (1989)
Acknowledgements
The authors are grateful to Fran Burstall for useful discussions on this work. They would also like to thank the referee for useful comments improving the presentation.
Funding
Open access funding provided by Lund University.
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.
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
Gudmundsson, S., Munn, T.J. Minimal Submanifolds via Complex-Valued Eigenfunctions. J Geom Anal 34, 190 (2024). https://doi.org/10.1007/s12220-024-01642-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01642-5