Partial Scalar Curvatures and Topological Obstructions for Submanifolds

Abstract

We investigate specific intrinsic curvatures $\rho_{k}$ (where $1\leq k\leq n$) that interpolate between the minimum Ricci curvature $\rho_{1}$ and the normalized scalar curvature $\rho_{n}=\rho$ of $n$-dimensional Riemannian manifolds. For $n$-dimensional submanifolds in space forms, these curvatures satisfy an inequality involving the mean curvature $H$ and the normal scalar curvature $\rho^{\perp}$, which reduces to the well-known DDVV inequality when $k=n$. We derive topological obstructions for compact $n$-dimensional submanifolds based on universal lower bounds of the $L^{n/2}$-norms of certain functions involving $\rho_{k},H$ and $\rho^{\perp}$. These obstructions are expressed in terms of the Betti numbers. Our main result applies for any $1\leq k\leq n-1$, but it generally fails for $k=n$, where the involved norm vanishes precisely for Wintgen ideal submanifolds. We demonstrate this by providing a method of constructing new compact 3-dimensional minimal Wintgen ideal submanifolds in even-dimensional spheres. Specifically, we prove that such submanifolds exist in $\mathbb{S}^{6}$ with arbitrarily large first Betti number.

1 Introduction

A fundamental problem in differential geometry is to investigate the intricate relationship between the geometry and topology of Riemannian manifolds. From the perspective of submanifold theory, there is a profound interplay between the intrinsic and extrinsic geometries of a submanifold, significantly influencing its topological properties. In particular, the intrinsic geometry, governed by metrics and curvature tensors intrinsic to the submanifold itself, interacts with the extrinsic geometry, characterized by how the submanifold is embedded within a higher-dimensional ambient space. This interaction can lead to profound insights into the topological structure of the submanifold.

One of the key questions in this area involves understanding how intrinsic curvature invariants, such as the Ricci curvature and scalar curvature, relate to extrinsic ones, including the mean curvature and normal curvature. These relationships often manifest through inequalities that bind intrinsic quantities to extrinsic ones, providing constraints that influence the topological classification of the submanifolds.

In the case of surfaces $f\colon M^{2}\to\mathbb{Q}_{c}^{2+m}$ isometrically immersed into the complete simply connected space form $\mathbb{Q}_{c}^{2+m}$ of constant curvature $c$, such a pointwise relation is Wintgen’s inequality

$$K\leq c+H^{2}-|K_{N}|.$$

This inequality, first proved by Wintgen [Wi] for surfaces in $\mathbb{R}^{4}$, provides an extrinsic upper bound for the Gaussian curvature $K$ of the surface in terms of the length $H$ of the mean curvature vector field and the normal curvature $K_{N}$ of $f$, which is related to the area of the curvature ellipse. Furthermore, Wintgen demonstrated that equality holds precisely at the points where the ellipse of curvature is a circle. Guadalupe and Rodriguez [GR] extended Wintgen’s inequality in the aforementioned form and straightforwardly derived an inequality for compact surfaces. This inequality establishes a relationship between the integral of $c+H^{2}-|K_{N}|$ and the Euler-Poincaré characteristic of the surface.

Wintgen’s inequality has been generalized to any isometric immersion $f\colon M^{n}\to\mathbb{Q}_{c}^{n+m}$ with arbitrary dimension into space forms, resulting in what is known as the DDVV (cf. [DDVV, GT, Lu]) inequality

$$\rho\leq c+H^{2}-\rho^{\perp}.$$

This pointwise inequality provides an upper bound for the normalized scalar curvature $\rho$ of $M^{n}$ in terms of the length $H$ of the mean curvature vector field, and of the normal scalar curvature of $f$ given by $\rho^{\perp}=\|R^{\perp}\|/n(n-1)$, where $R^{\perp}$ is the normal curvature tensor of $f$. Submanifolds for which the DDVV inequality holds as equality at every point are termed Wintgen ideal submanifolds. These submanifolds often exhibit highly symmetric structures, and their classification remains an area of active research, especially in higher dimensions (see [XLMW] and references therein). In the case $n=2$, these precisely correspond to superconformal surfaces, which are surfaces with curvature ellipses becoming circles at every point. However, in dimensions $n\geq 3$, the classification of Wintgen ideal submanifolds remains an intriguing yet challenging problem.

In this paper, we are interested in a type of partial scalar curvatures essentially introduced by Wolfson in [Wo]. More precisely, let $M^{n}$ be a Riemannian manifold and denote by $\lambda_{1}\leq\dots\leq\lambda_{n}$ the eigenvalues of the normalized Ricci tensor at each point. The $k$-th scalar curvature of $M^{n}$ is defined pointwise as

$$\rho_{k}=\frac{1}{k}\sum_{i=1}^{k}\lambda_{i},\;\;1\leq k\leq n.$$

At any point, the $k$-th scalar curvature interpolates between the minimum $\rho_{1}$ of the normalized Ricci curvature for $k=1$, and the normalized scalar curvature $\rho=\rho_{n}$. In fact, $\rho_{k}$ is the minimum of the average of the sum of Ricci curvatures in $k$ orthonormal vectors, and it is a continuous function on $M^{n}$ for every $k$.

Using the DDVV inequality and its equality case (cf. [GT, Lu]), one can show that for every $n$-dimensional submanifold $f\colon M^{n}\to\mathbb{Q}^{n}_{c}$, $n\geq 3$, the following inequality holds

$$\rho_{k}\leq c+H^{2}-\rho^{\perp},\;\;1\leq k\leq n-1,$$

at every point of $M^{n}$, where the equality holds precisely at the umbilical points.

The aim of the present paper is to derive topological obstructions for compact $n$-dimensional submanifolds based on universal lower bounds of the $L^{n/2}$-norms of certain functions involving $\rho_{k},H$ and $\rho^{\perp}$. These obstructions are expressed in terms of the Betti numbers. For compact submanifolds into space forms $\mathbb{Q}^{n+m}_{c}$ with $c\geq 0$, we prove the following theorem that can be regarded as a generalization of the result of Guadalupe-Rodriguez [GR] in the context of higher-dimensional submanifolds. Throughout this paper, we assume all considered manifolds to be connected without boundary and oriented, with $i$-th Betti number $b_{i}(M^{n};\mathbb{F})$ over an arbitrary coefficient field $\mathbb{F}$.

Theorem 1.

Given integers $n\geq 3$ and $m\geq 1$, there exists for every $k\in\{1,\dots,n-1\}$ a positive constant $\varepsilon_{k}(n,m)$, depending only on $n$ and $m$, such that if $M^{n}$ is a compact Riemannian manifold that admits an isometric immersion into $\mathbb{Q}_{c}^{n+m}$ with $c\geq 0$, then

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM\geq\varepsilon_{k}(n,m)\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})$$

for any coefficient field $\mathbb{F}$. Moreover, if

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM<2\varepsilon_{k}(n,m)$$

for some $k\in\{1,\dots,n-1\}$, then $M^{n}$ is either homeomorphic to $\mathbb{S}^{n}$, or it is an Eells-Kuiper manifold. In particular, $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$ if

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM<\varepsilon_{k}(n,m).$$

We recall that an Eells-Kuiper manifold [EK] of dimension $n$ is a compactification of $\mathbb{R}^{n}$ by a sphere of dimension $n/2$, where $n=2,4,8$, or $16$. For $n\geq 4$, it is simply connected and has the integral cohomology structure of the complex ($n=4$), quaternionic ($n=8$), or the Cayley ($n=16$) projective plane.

We point out that the assumption $n\geq 3$ in the above theorem is essential, and the result does not hold in the case $n=2$. In fact, the involved integral vanishes for every compact superconformal surface, and there exist an abundance of such surfaces with arbitrary genus in any codimension $m\geq 2$.

Chen and Wei [CW] obtained a geometric rigidity result for compact submanifolds $f\colon M^{n}\to\mathbb{Q}^{n+m}_{c},n\geq 4$, with parallel mean curvature vector field, in terms of the lowest eigenvalue of the Ricci tensor. More precisely, for $c\geq 0$, they proved that such a submanifold is totally umbilical if the $L^{n/2}$-norm of the nonnegative part of the function $\lambda-(n-1)\rho_{1}$ is sufficiently pinched, where $\lambda$ is a constant satisfying $(n-2)(c+H^{2})<\lambda\leq(n-1)(c+H^{2})$. The following immediate consequence of Theorem 1 is the analogous topological rigidity result for submanifolds of dimension $n\geq 3$, without imposing any assumption on the mean curvature.

Corollary 2.

Let $f\colon M^{n}\to\mathbb{Q}_{c}^{n+m},n\geq 3,c\geq 0$, be an isometric immersion of a compact Riemannian manifold. If

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho_{1})^{n/2}dM<\varepsilon_{1}(n,m),$$

then $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$.

The following result is a consequence of Theorem 1 that applies to Einstein submanifolds.

Corollary 3.

Let $f\colon M^{n}\to\mathbb{Q}_{c}^{n+m},n\geq 3,c\geq 0$, be an isometric immersion of a compact Einstein manifold with Ricci curvature $\rho$. Then

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho)^{n/2}dM\geq\varepsilon_{1}(n,m)\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})$$

for any coefficient field $\mathbb{F}$. Moreover, if

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho)^{n/2}dM<2\varepsilon_{1}(n,m),$$

then $M^{n}$ is either homeomorphic to $\mathbb{S}^{n}$, or it is an Eells-Kuiper manifold. In particular, $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$ if

$$\int_{M^{n}}(c+H^{2}-\rho^{\perp}-\rho)^{n/2}dM<\varepsilon_{1}(n,m).$$

The above result demonstrates that Theorem 1 is also valid for $k=n$ in the case of any Einstein submanifold, as $\rho_{k}=\rho$ for any $1\leq k\leq n$ in this scenario. However, Theorem 1 doesn’t hold for $k=n$ in general, in which case the involved integral vanishes for Wintgen ideal submanifolds. We note that apart from superconformal surfaces and totally umbilical submanifolds, there are only a few known compact Wintgen ideal submanifolds (cf. [DDVV, XLMW]) and all of them have dimension $n=3$. In Section 5, we provide counterexamples to Theorem 1 for $k=n=3$. In fact, we present a method to generate new compact Wintgen ideal submanifolds with positive first Betti number, which is an interesting result in its own right. These Wintgen ideal submanifolds are unit bundles of plane subbundles of the normal bundle of appropriate compact minimal surfaces in even-dimensional spheres. This class of minimal surfaces encompasses pseudoholomorphic curves in the nearly Kähler sphere $\mathbb{S}^{6}$. This justifies the inclusion of the additional term in the following result when considering the case $k=n$.

Theorem 4.

Given integers $n\geq 2$ and $m\geq 1$, there exists for every $\lambda\in[0,1)$ a positive constant $\varepsilon_{\lambda}(n,m)$, depending only on $n$ and $m$, such that if $M^{n}$ is a compact Riemannian manifold that admits an isometric immersion into $\mathbb{Q}_{c}^{n+m}$, then

$$\int_{M^{n}}(c+H^{2}-\lambda\rho^{\perp}-\rho)^{n/2}dM\geq\varepsilon_{\lambda}(n,m)\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})$$

for any coefficient field $\mathbb{F}$. Moreover, if

$$\int_{M^{n}}(c+H^{2}-\lambda\rho^{\perp}-\rho)^{n/2}dM<2\varepsilon_{\lambda}(n,m)$$

for some $\lambda\in[0,1)$, then $M^{n}$ is either homeomorphic to $\mathbb{S}^{n}$, or it is an Eells-Kuiper manifold. In particular, $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$ if

$$\int_{M^{n}}(c+H^{2}-\lambda\rho^{\perp}-\rho)^{n/2}dM<\varepsilon_{\lambda}(n,m).$$

It is worth noting that the integral in Theorem 4 is conformally invariant, rendering Theorem 4 applicable to submanifolds in any space form. Moreover, the above theorem may be regarded as an enhancement of a topological result by Shiohama and Xu [SX2] for submanifolds in any space form, where the case $\lambda=0$ is considered.

The paper is organized as follows: In Section 2, we prove an auxiliary lemma that is essential for the proofs of our results and may have potential applications in other contexts. In Section 3, we derive algebraic inequalities regarding symmetric bilinear forms, which are crucial to our proofs. Additionally, we provide examples that suggest Theorem 1 may not hold in general for $k=n>3$. In Section 4, we give the detailed proofs of Theorems 1 and 4. The final Section 5 is devoted to the construction of the aforementioned new compact 3-dimensional Wintgen ideal submanifolds with arbitrarily large first Betti number, providing counterexamples to Theorem 1 for $k=n=3$.

2 An auxiliary lemma

The aim of this section is to prove an algebraic lemma essential to our results. In the following, let $V$ and $W$ be finite-dimensional real vector spaces with dimensions $n\geq 2$ and $m\geq 1$ respectively. Both spaces are equipped with positive definite inner products, which, for convenience, we denote by the same symbol $\langle\cdot,\cdot\rangle$. We denote the space of all symmetric bilinear forms from $V$ to $W$ by $\mathrm{Sym}(V\times V,W)$, and the space of all self-adjoint endomorphisms of $V$ by $\mathrm{End}(V)$. Given $\beta\in\mathrm{Sym}(V\times V,W)$, we associate to each $\xi\in W$ the formal shape operator $A_{\xi}(\beta)\in\mathrm{End}(V)$, defined by

$${\langle}\beta(x,y),\xi{\rangle}={\langle}A_{\xi}(\beta)x,y{\rangle},\;\;x,y\in V.$$

The space $\mathrm{Sym}(V\times V,W)$ is a complete metric space with respect to the norm $\|\cdot\|$ defined by

$$\|\beta\|^{2}=\sum_{i,j=1}^{n}\|\beta(e_{i},e_{j})\|^{2}=\sum_{a=1}^{m}\|A_{\xi_{a}}(\beta)\|^{2},$$

where $\{e_{i}\}_{1\leq i\leq n}$ and $\{\xi_{a}\}_{1\leq a\leq m}$ are orthonormal bases of $V$ and $W$, respectively.

A function $\varphi\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ is called homogeneous of degree $d\in\mathbb{R}^{+}$ if $\varphi(t\beta)=t^{d}\phi(\beta)$ for every $t\geq 0$ and any $\beta\in\mathrm{Sym}(V\times V,W)$. The following lemma, that may be useful for other purposes, is crucial for the proofs of our results.

Lemma 5.

Let $n\geq 2,m\geq 1,0\leq p<n/2$ be integers and $d\in\mathbb{R}^{+}$. Suppose that there is a map that assigns to each pair $V,W$ of vector spaces of dimensions $n,m$ respectively, and equipped with positive definite inner products, a nonnegative continuous function $\varphi_{V,W}\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ that is homogeneous of degree $d$ and satisfies the following conditions:

1. For any isometries $\mathsf{i}\colon\tilde{V}\to V$ and $\mathsf{j}\colon\tilde{W}\to W$ we have

   $$\varphi_{V,W}(\beta)=\varphi_{\tilde{V},\tilde{W}}(\mathsf{j}^{-1}\circ\beta\circ(\mathsf{i}\times\mathsf{i}))\;\;\text{for all}\;\;\beta\in\mathrm{Sym}(V\times V,W).$$

2. If $\varphi_{V,W}(\beta)=0$ for some $\beta\in\mathrm{Sym}(V\times V,W)$, then the endomorphism $A_{u}(\beta)$ has an eigenvalue of multiplicity at least $n-p$ for every unit vector $u\in W$, the vanishing of which implies that $A_{u}(\beta)=0$.

Then there exists a positive constant $\delta(n,m)$, depending only on $n$ and $m$, such that the following inequality holds for any vector spaces $V,W$ and all $\beta\in\mathrm{Sym}(V\times V,W)$

$$\varphi_{V,W}(\beta)\geq\delta(n,m)\left(\psi_{p}(\beta)\right)^{d/n},$$

where the function $\psi_{p}\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ is given by

$$\psi_{p}(\beta)=\int_{\Lambda_{p}(\beta)}|\det A_{u}(\beta)|dS_{u},\;\;\Lambda_{p}(\beta)=\left\{u\in\mathbb{S}^{m-1}:p<\mathrm{Index}\,A_{u}(\beta)<n-p\right\},$$

and $dS_{u}$ stands for the volume element of the unit $(m-1)$-sphere $\mathbb{S}^{m-1}$ in $W$.

To simplify the proof of the above lemma, we first prove the following result.

Sublemma 6.

Let $\{\beta_{r}\}_{r\in\mathord{\mathbb{N}}}$ be a sequence in $\psi_{p}^{-1}(1)\subset\mathrm{Sym}(V\times V,W)$ and $\{s_{r}\}_{r\in\mathord{\mathbb{N}}}$ a sequence of positive real numbers. Assume that the sequence $\gamma_{r}=s_{r}\beta_{r}$ converges to some $\gamma\in\mathrm{Sym}(V\times V,W)$ with $\varphi_{V,W}(\gamma)=0$. Then $\gamma=0$.

Proof: For every $r\in\mathord{\mathbb{N}}$, since $\beta_{r}\in\psi_{p}^{-1}(1)$ and $\Lambda_{p}(\beta_{r})=\Lambda_{p}(\gamma_{r})$, there exists an open subset $\mathcal{U}_{r}\subset\mathbb{S}^{m-1}\subset W$ such that $\mathcal{U}_{r}\subset\Lambda_{p}(\gamma_{r})$ and $\det A_{\xi}(\gamma_{r})\neq 0$ for all $\xi\in\mathcal{U}_{r}$. Let $\{u_{r}\}$ be any convergent sequence such that $u_{r}\in\mathcal{U}_{r}$ for all $r\in\mathbb{N}$, and set $u=\lim_{r\rightarrow\infty}u_{r}$. We claim that

$$\lim_{r\rightarrow\infty}A_{u_{r}}(\gamma_{r})=0.$$ (1)

Since $\varphi_{V,W}(\gamma)=0$, by our assumption $A_{u}(\gamma)$ has an eigenvalue $\mu(u)$ with multiplicity at least $n-p$.

We argue that $\mu(u)=0$. Using that $\lim_{r\rightarrow\infty}A_{u_{r}}(\gamma_{r})=A_{u}(\gamma)$ and since $u_{r}\in\mathcal{U}_{r}$, we obtain $\mathrm{Index}\,A_{u}(\gamma)<n-p$ (see [A]). Assuming that $\mu(u)<0$, since its multiplicity is at least $n-p$, it follows that $\mathrm{Index}\,A_{u}(\gamma)\geq n-p$ and this is a contradiction. Therefore $\mu(u)\geq 0$ and this implies that $\mathrm{Index}\,A_{u}(\gamma)\leq p$. Assuming now that $\mu(u)>0$, from $\lim_{r\rightarrow\infty}A_{u_{r}}(\gamma_{r})=A_{u}(\gamma)$ it follows that $\mathrm{Index}\,A_{u_{r}}(\gamma_{r})\leq p$ for $r$ large enough, and this contradicts the fact that $u_{r}\in\Lambda_{p}(\gamma_{r})$. Therefore, $\mu(u)=0$ and the second condition for $\varphi_{V,W}$ yields that $\lim_{r\rightarrow\infty}A_{u_{r}}(\gamma_{r})=A_{u}(\gamma)=0$.

We may choose convergent sequences $\{u_{r}^{(1)}\},\dots,\{u_{r}^{(m)}\}$ in $\mathcal{U}_{r}$ such that the vectors $u_{r}^{(1)},\dots,u_{r}^{(m)}$ span $W$ for all $r\in\mathbb{N}$. Using the Gram-Schmidt process we obtain sequences $\{\xi_{r}^{(1)}\},\dots,\{\xi_{r}^{(m)}\}$ with $\xi_{r}^{(a)}\in{\rm{span}}\{u_{r}^{(1)},\dots,u_{r}^{(a)}\}$ for each $1\leq a\leq m$. Then $\xi_{r}^{(a)}=\sum_{\ell=1}^{a}x_{r}^{(\ell)}u_{r}^{(\ell)}$, where $\{x_{r}^{(\ell)}\}$ are convergent sequences for each $1\leq\ell\leq m$. Consequently, we have that

$$\gamma_{r}(\cdot,\cdot)=\sum_{a=1}^{m}{\langle}A_{{\xi}_{r}^{(a)}}(\gamma_{r})\cdot,\cdot{\rangle}{\xi}_{r}^{(a)},\;\;\text{where}\;\;A_{{\xi}_{r}^{(a)}}(\gamma_{r})=\sum_{\ell=1}^{a}x_{r}^{(\ell)}A_{u_{r}^{(\ell)}}(\gamma_{r}).$$ (2)

Using (1), we obtain

$$\lim_{r\rightarrow\infty}A_{{\xi}_{r}^{(a)}}(\gamma_{r})=\lim_{r\rightarrow\infty}\sum_{\ell=1}^{a}x_{r}^{(\ell)}A_{u_{r}^{(\ell)}}(\gamma_{r})=0\;\;\text{for all}\;\;1\leq a\leq m.$$

From (2) and the above it follows that $\lim_{r\rightarrow\infty}\gamma_{r}=0$ and thus, $\gamma=0$.    

Proof of Lemma 5. Let $V,W$ be vector spaces as in the statement of the lemma. We first show that the set $\psi_{p}^{-1}(1)$ in nonempty. Indeed, since the function $\psi_{p}$ is homogeneous of degree $n$, it follows that for an arbitrary $\beta\in\mathrm{Sym}(V\times V,W)$ with $\psi_{p}(\beta)\neq 0$, we have that $\beta/(\psi_{p}(\beta))^{1/n}\in\psi_{p}^{-1}(1)$.

Let $\{\beta_{r}\}$ be a sequence in $\psi_{p}^{-1}(1)$ such that

$$\lim_{r\rightarrow\infty}\varphi_{V,W}(\beta_{r})=\inf\varphi_{V,W}(\psi_{p}^{-1}(1))\geq 0.$$

We claim that the sequence $\{\beta_{r}\}$ is bounded. Arguing indirectly, assume that there exists a subsequence, which by abuse of notation is again denoted by $\{\beta_{r}\}$, such that $\lim_{r\rightarrow\infty}\|\beta_{r}\|=\infty$. Since $\beta_{r}\in\psi_{p}^{-1}(1)$ implies that $\beta_{r}\neq 0$ for all $r\in\mathord{\mathbb{N}}$, we can consider the sequence $\gamma_{r}=s_{r}\beta_{r}$, where $s_{r}=1/\|\beta_{r}\|$. Then $\{\gamma_{r}\}$ is bounded with $\|\gamma_{r}\|=1$ and, by passing to a subsequence if necessary, we may assume that it converges to some $\gamma\in\mathrm{Sym}(V\times V,W)$ with $\|\gamma\|=1$. From $\varphi_{V,W}(\gamma_{r})=\varphi_{V,W}(\beta_{r})/\|\beta_{r}\|^{d}$ it follows that $\lim_{r\rightarrow\infty}\varphi_{V,W}(\gamma_{r})=0$. Then, the continuity of $\varphi_{V,W}$ yields that $\varphi_{V,W}(\gamma)=0$ and Sublemma 6 implies that $\gamma=0$. This contradicts the fact that $\|\gamma\|=1$, and the proof of the claim follows.

Thus we may assume that $\{\beta_{r}\}$ converges to some $\beta_{\infty}\in\mathrm{Sym}(V\times V,W)$. We argue that $\varphi_{V,W}(\beta_{\infty})>0$. Suppose to the contrary that $\varphi_{V,W}(\beta_{\infty})=0$. Then, Sublemma 6 applied to $\gamma_{r}=\beta_{r}$ yields that $\beta_{\infty}=0$. Therefore $A_{u}(\beta_{\infty})=0$ for every $u\in\mathbb{S}^{m-1}$. On the other hand, since $\beta_{r}\in\psi_{p}^{-1}(1)$, the mean value theorem implies that there exists $\xi_{r}\in\mathbb{S}^{m-1}$ such that

$$1=\psi_{p}(\beta_{r})\leq\int_{\mathbb{S}^{m-1}}|\det A_{u}(\beta_{r})|dS_{u}=\left|\det A_{\xi_{r}}(\beta_{r})\right|\mathrm{Vol}(\mathbb{S}^{m-1})\;\;\text{for all}\;\;r\in\mathbb{N}.$$

Since the sequence $\{\xi_{r}\}$ is bounded, we may assume that it converges to some $\xi\in\mathbb{S}^{m-1}$. Then, by letting $r\to\infty$ in the above, we conclude that $\det A_{\xi}(\beta_{\infty})\neq 0$ which contradicts the fact that $A_{u}(\beta_{\infty})=0$ for every $u\in\mathbb{S}^{m-1}$.

Thus, the function $\varphi_{V,W}$ attains a positive minimum $\delta(n,m)=\varphi_{V,W}(\beta_{\infty})$ on $\psi_{p}^{-1}(1)$, which by condition $(i)$ depends only on $n$ and $m$. Therefore, for an arbitrary $\beta\in\mathrm{Sym}(V\times V,W)$ with $\psi_{p}(\beta)\neq 0$, since $\gamma=\beta/(\psi_{p}(\beta))^{1/n}\in\psi_{p}^{-1}(1)$, it follows that $\varphi_{V,W}(\gamma)\geq\delta(n,m)$. Then, the homogeneity of $\varphi_{V,W}$ implies the desired inequality.    

3 Algebraic preliminaries

Let $V$ and $W$ be real vector spaces of dimensions $n\geq 2$ and $m\geq 1$ respectively, equipped with positive definite inner products.

The Kulkarni-Nomizu product of two bilinear forms $\phi,\psi\in\mathrm{Hom}(V\times V,\mathbb{R})$ is the $(0,4)$-tensor $\phi\varowedge\psi\colon V\times V\times V\times V\to\mathbb{R}$ defined by

$$\phi\varowedge\psi(x_{1},x_{2},x_{3},x_{4}) = \phi(x_{1},x_{3})\psi(x_{2},x_{4})+\phi(x_{2},x_{4})\psi(x_{1},x_{3})$$

$$-\phi(x_{1},x_{4})\psi(x_{2},x_{3})-\phi(x_{2},x_{3})\psi(x_{1},x_{4}).$$

Using the inner product of $W$, we extend the Kulkarni-Nomizu product to bilinear forms $\beta,\gamma\in\mbox{Hom}(V\times V,W)$, as the $(0,4)$-tensor $\beta\varowedge\gamma\colon V\times V\times V\times V\to\mathbb{R}$ defined by

$$\beta\varowedge\gamma(x_{1},x_{2},x_{3},x_{4})\!\!\! = \!\!\!\langle\beta(x_{1},x_{3}),\gamma(x_{2},x_{4})\rangle+\langle\beta(x_{2},x_{4}),\gamma(x_{1},x_{3})\rangle$$

$$\!\!\!-\langle\beta(x_{1},x_{4}),\gamma(x_{2},x_{3})\rangle-\langle\beta(x_{2},x_{3}),\gamma(x_{1},x_{4})\rangle.$$

For any $c\in\mathbb{R}$, we define the formal Ricci tensor as the map ${\sf Ric}_{c}\colon\mathrm{Sym}(V\times V,W)\to\mathrm{Sym}(V\times V,\mathbb{R})$ given by

$${\sf Ric}_{c}(\beta)(x,y)=\mathrm{tr}\ {\sf R}_{c}(\beta)(\cdot,x,\cdot,y),\;\;x,y\in V,$$

where

$${\sf R}_{c}(\beta)=\frac{1}{2}\left(c{\langle}\cdot,\cdot{\rangle}\varowedge{\langle}\cdot,\cdot{\rangle}+\beta\varowedge\beta\right).$$

For any $\beta\in\mathrm{Sym}(V\times V,W)$, we denote by $\boldsymbol{\lambda}_{c,1}(\beta)\leq\dots\leq\boldsymbol{\lambda}_{c,n}(\beta)$ the eigenvalues of the self-adjoint operator ${\sf T}_{c}(\beta)\in{\rm End}(V)$ determined by

$${\langle}{\sf T}_{c}(\beta)x,y{\rangle}=\frac{1}{n-1}{\sf Ric}_{c}(\beta)(x,y).$$

For each $1\leq k\leq n$, we consider the functions $\boldsymbol{\rho}_{c,k}\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ defined by

$$\boldsymbol{\rho}_{c,k}(\beta)=\frac{1}{k}\sum_{i=1}^{k}\boldsymbol{\lambda}_{c,i}(\beta).$$

For $k=n$, we set $\boldsymbol{\rho}_{c}(\beta)=\boldsymbol{\rho}_{c,n}(\beta)$. Clearly we have

$$\boldsymbol{\rho}_{c}(\beta)=\frac{1}{n(n-1)}\mathrm{tr}\ {\sf Ric}_{c}(\beta).$$

Furthermore, we define the function $\boldsymbol{\rho}^{\perp}\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ by

$$\boldsymbol{\rho}^{\perp}(\beta)=\frac{1}{n(n-1)}\|{\sf R}^{\perp}(\beta)\|=\frac{1}{n(n-1)}\Big{(}\sum_{i,j=1}^{n}\sum_{a,b=1}^{m}\left({\sf R}^{\perp}(\beta)(e_{i},e_{j},\xi_{a},\xi_{b})\right)^{2}\Big{)}^{1/2},$$

where $\{e_{i}\}_{1\leq i\leq n}$ and $\{\xi_{a}\}_{1\leq a\leq m}$ are orthonormal bases of $V$ and $W$, respectively. Here, the tensor ${\sf R}^{\perp}(\beta)\colon V\times V\times W\times W\to\mathbb{R}$ is given by

$${\sf R}^{\perp}(\beta)(x,y,\xi,\eta)={\langle}[A_{\xi}(\beta),A_{\eta}(\beta)]x,y{\rangle},\;\;x,y\in V,\;\xi,\eta\in W,$$

being $[A,B]=A\circ B-B\circ A$ the commutator of $A,B\in{\rm End}(V)$.

For every $\beta\in\mathrm{Sym}(V\times V,W)$, we set $\mathcal{H}_{\beta}=\left(1/n\right)\mathrm{tr}\beta,{\sf H}_{\beta}=\|\mathcal{H}_{\beta}\|$ and we denote by $\mathring{\beta}=\beta-{\langle}\cdot,\cdot{\rangle}{\cal H}_{\beta}$ the traceless part of $\beta$. The form $\beta$ is called umbilical if $\mathring{\beta}=0$. It is clear that $\beta$ is umbilical if and only if $A_{\xi}(\beta)={\langle}{\cal H}_{\beta},\xi{\rangle}\operatorname{Id}_{V}$ for every $\xi\in W$.

Lemma 7.

For every $\beta\in\mathrm{Sym}(V\times V,W)$ and any $c\in\mathbb{R}$, the following hold:

1. The formal Ricci tensor is given by

   $${\sf Ric}_{c}(\beta)(x,y)=c(n-1){\langle}x,y{\rangle}+n{\langle}{\cal H}_{\beta},\beta(x,y){\rangle}-\sum_{i=1}^{n}{\langle}\beta(x,e_{i}),\beta(y,e_{i}){\rangle},$$

   for $x,y\in V$, where $\{e_{i}\}_{1\leq i\leq n}$ is an orthonormal basis of $V$.

2. The DDVV inequality is valid

   $$\boldsymbol{\rho}_{c}(\beta)\leq c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}^{\perp}(\beta).$$

   Equality holds if and only if there exist orthonormal bases $\{e_{i}\}_{1\leq i\leq n}$ of $V$ and $\{\xi_{a}\}_{1\leq a\leq m}$ of $W$ such that

   $$A_{\xi_{1}}(\beta)=\operatorname{diag}(\lambda_{1}+\mu,\lambda_{1}-\mu,\lambda_{1},\dots,\lambda_{1}),\;\;A_{\xi_{2}}(\beta)=\operatorname{diag}\left(\left(\begin{array}[]{cc}\lambda_{2}&\mu\\ \mu&\lambda_{2}\end{array}\right),\lambda_{2},\dots,\lambda_{2}\right),$$

   and $A_{\xi_{a}}(\beta)=\lambda_{a}I_{n}$ for $3\leq a\leq m$, where $\mu,\lambda_{1},\dots,\lambda_{m}$ are real numbers.

Proof: Part (i) follows by a straightforward computation. For the second part, we choose an orthonormal basis $\{u_{a}\}_{1\leq a\leq m}$ of $W$ such that $u_{1}={\cal H}_{\beta}/{\sf H}_{\beta}$ if ${\cal H}_{\beta}\neq 0$. Let $B_{a}(\beta)=A_{a}(\beta)-{\langle}{\cal H}_{\beta},u_{a}{\rangle}\operatorname{Id}_{V}$ be the traceless part of $A_{a}(\beta)$ for $1\leq a\leq m$. Using part (i) and taking into account that $\|\mathring{\beta}\|^{2}=\|\beta\|^{2}-n{\sf H}^{2}_{\beta}$, a direct computation yields that

$$c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}_{c}(\beta)=\frac{\|\mathring{\beta}\|^{2}}{n(n-1)}=\frac{1}{n(n-1)}\sum_{a=1}^{m}\|B_{a}(\beta)\|^{2}.$$ (3)

On the other hand, it follows easily that

$$\boldsymbol{\rho}^{\perp}(\beta)=\frac{\|R^{\perp}(\beta)\|}{n(n-1)}=\frac{1}{n(n-1)}\Big{(}\sum_{a,b=1}^{m}\|[B_{a}(\beta),B_{b}(\beta)]\|^{2}\Big{)}^{1/2}.$$ (4)

Therefore, the desired inequality is equivalent to

$$\sum_{a,b=1}^{m}\|[B_{a}(\beta),B_{b}(\beta)]\|^{2}\leq\Big{(}\sum_{a=1}^{m}\|B_{a}(\beta)\|^{2}\Big{)}^{2}.$$

The last inequality, along with its equality case, has been proved in [GT, Lu]. The remainder of the proof follows the same steps as the proof of Corollary 1.2 in [GT], with $T_{p}M$ replaced by $V$ and $T^{\perp}_{p}M$ replaced by $W$.    

Proposition 8.

The following assertions hold for any vector spaces $V,W$, any $\beta\in\mathrm{Sym}(V\times V,W)$ and every $c\in\mathbb{R}$:

1. If $n\geq 3$, then for every $k\in\{1,\dots,n-1\}$, the following inequality holds:

   $$\boldsymbol{\rho}_{c,k}(\beta)\leq c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}^{\perp}(\beta).$$ (5)

   Equality holds for some $k\in\{1,\dots,n-1\}$ if and only if $\beta$ is umbilical.

2. For every $\lambda\in[0,1)$, the following inequality holds:

   $$\boldsymbol{\rho}_{c}(\beta)\leq c+{\sf H}_{\beta}^{2}-\lambda\boldsymbol{\rho}^{\perp}(\beta).$$ (6)

   Equality holds for some $\lambda\in[0,1)$ if and only if $\beta$ is umbilical.

Proof: (i) Assume that $n\geq 3$. For every $k\in\{1,\dots,n-1\}$ we have that

$$\boldsymbol{\rho}_{c,k}(\beta)\leq\boldsymbol{\rho}_{c,k+1}(\beta),$$ (7)

and equality holds if and only if $\boldsymbol{\lambda}_{c,1}(\beta)=\dots=\boldsymbol{\lambda}_{c,k+1}(\beta)$. The proof of (5) then follows from the DDVV inequality in Lemma 7$(ii)$.

Assume now that for some $k\in\{1,\dots,n-1\}$, inequality (5) holds as equality. From (7) it follows that all inequalities in

$$\boldsymbol{\rho}_{c,k}(\beta)\leq\dots\leq\boldsymbol{\rho}_{c,n}(\beta)\leq c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}^{\perp}(\beta)$$

hold as equalities. This implies that all eigenvalues of ${\sf T}_{c}(\beta)$ are equal and thus, ${\sf Ric}_{c}(\beta)=(n-1)\rho\langle\cdot,\cdot\rangle$, where $\rho=\boldsymbol{\rho}_{c,i}(\beta)$, $1\leq i\leq n$.

Moreover, the DDVV inequality holds as equality for $\beta$. Let $\{e_{i}\}_{1\leq i\leq n}$ and $\{\xi_{a}\}_{1\leq a\leq m}$ be orthonormal bases of $V$ and $W$, respectively, as in Lemma 7$(ii)$. Using Lemma 7 and taking into account that ${\cal H}_{\beta}=\sum_{a=1}^{m}\lambda_{a}\xi_{a}$, a straightforward computation yields that

$${\sf Ric}_{c}(\beta)(e_{1},e_{1}) = (n-1)(c+{\sf H}_{\beta}^{2})+\mu\left((n-2)\lambda_{1}-2\mu\right),$$

$${\sf Ric}_{c}(\beta)(e_{2},e_{2}) = (n-1)(c+{\sf H}_{\beta}^{2})-\mu\left((n-2)\lambda_{1}+2\mu\right),$$

$${\sf Ric}_{c}(\beta)(e_{i},e_{i}) = (n-1)(c+{\sf H}_{\beta}^{2}),\;\;\text{if}\;\;i\geq 3.$$

Since ${\sf Ric}_{c}(\beta)=(n-1)\rho\langle\cdot,\cdot\rangle$, the above yield that $\mu=0$. Therefore, we obtain that $A_{\xi_{a}}(\beta)=\lambda_{a}I_{n},1\leq a\leq m$, and this implies that $\beta$ is umbilical. The converse is obvious.

(ii) The desired inequality follows immediately from the DDVV inequality. If (6) holds as equality, then

$$c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}_{c}(\beta)-\boldsymbol{\rho}^{\perp}(\beta)=(\lambda-1)\boldsymbol{\rho}^{\perp}(\beta).$$

By virtue of Lemma 7$(ii)$, the left hand side of the above is nonnegative. Thus $\boldsymbol{\rho}^{\perp}(\beta)=0$ and the DDVV inequality holds as equality for $\beta$. Now we choose the orthonormal bases of $V$ and $W$ as in Lemma 7$(ii)$. Then a direct computation yields that $\|{\sf R}^{\perp}(\beta)\|=4\mu^{2}$. Since $\boldsymbol{\rho}^{\perp}(\beta)=0$, it follows that $\mu=0$. Then, as in the proof of part $(i)$, we conclude that $\beta$ is umbilical.    

Proposition 9.

Given integers $n\geq 2$ and $m\geq 1$, the following assertions hold:

1. If $n\geq 3$, then for any $c\in\mathbb{R}$ and $k\in\{1,\dots,n-1\}$ there exists a constant $\delta_{c,k}(n,m)>0$ depending only on $n$ and $m$, such that the following inequality holds

   $$c+{\sf H}_{\beta}^{2}-\boldsymbol{\rho}^{\perp}(\beta)-\boldsymbol{\rho}_{c,k}(\beta)\geq\delta_{c,k}(n,m)\left(\psi_{0}(\beta)\right)^{2/n}$$

   for any vector spaces $V,W$ and all $\beta\in\mathrm{Sym}(V\times V,W)$, where $\psi_{0}$ is the function defined in Lemma 5.

2. For every $c\in\mathbb{R}$ and $\lambda\in[0,1)$ there exists a constant $\delta_{c,\lambda}(n,m)>0$ depending only on $n$ and $m$, such that the following inequality holds

   $$c+{\sf H}_{\beta}^{2}-\lambda\boldsymbol{\rho}^{\perp}(\beta)-\boldsymbol{\rho}_{c}(\beta)\geq\delta_{c,\lambda}(n,m)\left(\psi_{0}(\beta)\right)^{2/n}$$

   for any vector spaces $V,W$ and all $\beta\in\mathrm{Sym}(V\times V,W)$.

Proof: For each pair of vector spaces $V,W$ of dimensions $n,m$, respectively, $c\in\mathbb{R}$, $\lambda\in[0,1]$ and $k\in\{1,\dots,n\}$, we consider the function $\varphi_{V,W}^{k,\lambda}\colon\mathrm{Sym}(V\times V,W)\to\mathbb{R}$ given by $\varphi_{V,W}^{k,\lambda}(\beta)=c+{\sf H}_{\beta}^{2}-\lambda\boldsymbol{\rho}^{\perp}(\beta)-\boldsymbol{\rho}_{c,k}(\beta)$. We claim that the function $\varphi_{V,W}^{k,1}$ for any $k\in\{1,\dots,n-1\}$, $n\geq 3$, as well the function $\varphi_{V,W}^{n,\lambda}$ for any $\lambda\in[0,1)$ fulfill the requirements in Lemma 5.

First, we argue that $\varphi_{V,W}^{k,\lambda}$ is continuous. Let $\{\beta_{r}\}$ be a sequence in $\mathrm{Sym}(V\times V,W)$ with $\lim_{r\to\infty}\beta_{r}=\beta\in\mathrm{Sym}(V\times V,W)$ and we consider orthonormal bases $\{e_{i}\}_{1\leq i\leq n}$ and $\{\xi_{a}\}_{1\leq a\leq m}$ of $V$ and $W$, respectively. From Lemma 7(i) it follows that the Ricci tensors satisfy $\lim_{r\to\infty}{\sf Ric}_{c}(\beta_{r})(e_{i},e_{j})={\sf Ric}_{c}(\beta)(e_{i},e_{j})$, $1\leq i,j\leq n$. Therefore $\lim_{r\to\infty}{\sf T}_{c}(\beta_{r})={\sf T}_{c}(\beta)$ for the associated self-adjoint operators. Then the ordered eigenvalues of these operators satisfy $\lim_{r\to\infty}\boldsymbol{\lambda}_{c,i}(\beta_{r})=\boldsymbol{\lambda}_{c,i}(\beta)$, $1\leq i\leq n$ (see for instance [A, Theorem 1]). Therefore,

$$\lim_{r\to\infty}\boldsymbol{\rho}_{c,k}(\beta_{r})=\boldsymbol{\rho}_{c,k}(\beta)\;\;\text{for every}\;\;k\in\{1,\dots,n\}.$$

Using the fact that $\lim_{r\to\infty}A_{\xi_{a}}(\beta_{r})=A_{\xi_{a}}(\beta)$ for any $1\leq a\leq m$, we obtain $\lim_{r\to\infty}\boldsymbol{\rho}^{\perp}(\beta_{r})=\boldsymbol{\rho}^{\perp}(\beta)$. It is clear that $\lim_{r\to\infty}{\sf H}^{2}_{\beta_{r}}={\sf H}^{2}_{\beta}$. Hence the above imply that $\lim_{r\to\infty}\varphi_{V,W}^{k,\lambda}(\beta_{r})=\varphi_{V,W}^{k,\lambda}(\beta)$ and thus the function $\varphi_{V,W}^{k,\lambda}$ is continuous.

We next show that $\varphi_{V,W}^{k,\lambda}$ is a homogeneous function of degree $d=2$. Lemma 7$(i)$ yields that

$${\sf Ric}_{c}(\beta)(x,y)=c(n-1){\langle}x,y{\rangle}+{\sf Ric}_{0}(\beta)(x,y)\;\;\text{for every}\;\;x,y\in V.$$

This implies that ${\sf T}_{c}{(\beta)}=c\operatorname{Id}_{V}+{\sf T}_{0}{(\beta)}$ and the corresponding eigenvalues are related by $\boldsymbol{\lambda}_{c,i}(\beta)=c+\boldsymbol{\lambda}_{0,i}(\beta),1\leq i\leq n$. Therefore, $\boldsymbol{\rho}_{c,k}(\beta)=c+\boldsymbol{\rho}_{0,k}(\beta)$ and thus

$$\varphi_{V,W}^{k,\lambda}={\sf H}_{\beta}^{2}-\lambda\boldsymbol{\rho}^{\perp}(\beta)-\boldsymbol{\rho}_{0,k}(\beta),\;\;1\leq k\leq n.$$

From Lemma 7(i) it follows that ${\sf Ric}_{0}(t\beta)=t^{2}{\sf Ric}_{0}(\beta)$ for every $t\in\mathbb{R}$. Then a straightforward computation shows that $\varphi_{V,W}^{k,\lambda}$ is a homogeneous function of degree $d=2$.

The fact that the function $\varphi_{V,W}^{k,\lambda}$ satisfies condition $(i)$ in Lemma 5 follows directly from its definition. Moreover, Proposition 8 implies that condition $(ii)$ is fulfilled for $p=0$. The proof now follows from Lemma 5.     

The following example shows that the inequality in part $(i)$ of Proposition 9 fails for $k=n$. In fact, this example shows that $\liminf_{\lambda\to 1^{-}}\delta_{c,\lambda}(n,m)=0$.

Example 10.

Given $\mu>0$ and a sequence $\sigma_{r}>0$ such that $\lim_{r\to\infty}\sigma_{r}=0$, we define the sequence $\beta_{r}\in\mathrm{Sym}(V\times V,W),r\in\mathbb{N}$, given by $\beta_{r}=A_{\xi_{1}}(\beta_{r})\xi_{1}+A_{\xi_{2}}(\beta_{r})\xi_{2}$, where

$$A_{\xi_{1}}(\beta_{r})=\operatorname{diag}(\mu,-\mu,-\sigma_{r},\sigma_{r},\dots,\sigma_{r}),\;\;A_{\xi_{2}}(\beta_{r})=\operatorname{diag}\left(\left(\begin{array}[]{cc}0&\mu\\ \mu&0\end{array}\right),-\sigma_{r},\sigma_{r},\dots,\sigma_{r}\right),$$

with respect to orthonormal bases $\{e_{i}\}_{1\leq i\leq n}$ and $\{\xi_{a}\}_{1\leq a\leq m}$ of $V=\mathbb{R}^{n}$ and $W=\mathbb{R}^{m}$, respectively, with $n\geq 3$ and $m\geq 2$.

Then, for any unit vector $u=\sum_{a=1}^{m}u_{a}\xi_{a}\in W$ the eigenvalues of $A_{u}(\beta_{r})$ are

$$\tau_{1} = \mu(u_{1}^{2}+u_{2}^{2})^{1/2},\;\;\tau_{2}=-\mu(u_{1}^{2}+u_{2}^{2})^{1/2},$$

$$\tau_{3} = -\sigma_{r}(u_{1}+u_{2}),\;\;\tau_{i}=\sigma_{r}(u_{1}+u_{2}),\;\;4\leq i\leq n.$$

Thus $\mathrm{Index}\,A_{u}(\beta_{r})=2$ if $u_{1}+u_{2}>0$, whereas $\mathrm{Index}\,A_{u}(\beta_{r})=n-2$ if $u_{1}+u_{2}<0$. Therefore, $\Lambda_{1}(\beta_{r})=U$ for every $r\in\mathbb{N}$, where $U=\left\{u\in\mathbb{S}^{m-1}:u_{1}+u_{2}\neq 0\right\}$ and consequently,

$$\psi_{1}(\beta_{r})=I\sigma_{r}^{n-2},\;\;\text{where}\;\;I=\mu^{2}\int_{U}(u_{1}^{2}+u_{2}^{2})|u_{1}+u_{2}|^{n-2}dS_{u}.$$ (8)

On the other hand, a straightforward computation using (3) and (4) yields that

$$c+{\sf H}_{\beta_{r}}^{2}-\boldsymbol{\rho}^{\perp}(\beta_{r})-\boldsymbol{\rho}_{c,n}(\beta_{r})=D(n)\sigma_{r}^{2},\;\;\text{where}\;\;D(n)=\frac{4(3n-8)}{n^{2}(n-1)}.$$

From (8) and the above it follows that the quotient

$$\frac{c+{\sf H}_{\beta_{r}}^{2}-\boldsymbol{\rho}^{\perp}(\beta_{r})-\boldsymbol{\rho}_{c,n}(\beta_{r})}{\left(\psi_{1}(\beta_{r})\right)^{2/n}}=\frac{D(n)}{I^{2/n}}\sigma_{r}^{4/n}$$

tends to zero. Therefore, the function $(c+{\sf H}^{2}-\boldsymbol{\rho}^{\perp}-\boldsymbol{\rho}_{c,n})/\psi_{1}^{2/n}$ is not bounded from below by a positive constant. Since $\psi_{0}(\beta)\geq\psi_{1}(\beta)$ for every $\beta\in\mathrm{Sym}(V\times V,W)$, we conclude that this also holds for the function $(c+{\sf H}^{2}-\boldsymbol{\rho}^{\perp}-\boldsymbol{\rho}_{c,n})/\psi_{0}^{2/n}$.

4 Proofs of the Results

Let $f\colon M^{n}\to\mathbb{R}^{n+m}$ be an isometric immersion of a compact Riemannian manifold into the Euclidean space $\mathbb{R}^{n+m}$ equipped with the usual inner product $\langle\cdot,\cdot\rangle$. We denote by $N_{f}M$ the normal bundle of $f$ and by $\alpha_{f}\in\Gamma(\mathrm{Hom}(TM\times TM,N_{f}M))$ its second fundamental form.

First, let’s recall some well-known facts about total curvature and how Morse theory imposes constraints on the Betti numbers. The unit normal bundle of $f$ is defined as the set

$$UN_{f}=\left\{(p,\xi)\in N_{f}M:\|\xi\|=1\right\}.$$

The generalized Gauss map $\nu\colon UN_{f}\to\mathbb{S}^{n+m-1}$ is given by $\nu(p,\xi)=\xi$. For each $u\in\mathbb{S}^{n+m-1}$, we consider the height function $h_{u}$ defined by $h_{u}(p)=\langle f(p),u\rangle,\,p\in M^{n}$. Since $h_{u}$ has a degenerate critical point if and only if $u$ is a critical value of $\nu$, by Sard’s theorem, there exists a subset $E\subset\mathbb{S}^{n+m-1}$ of measure zero such that $h_{u}$ is a Morse function for all $u\in\mathbb{S}^{n+m-1}\smallsetminus E$. We denote by $\mu_{i}(u)$ the number of critical points of $h_{u}$ of index $i$ for each $u\in\mathbb{S}^{n+m-1}\smallsetminus E$ and set $\mu_{i}(u)=0$ for every $u\in E$. Following Kuiper [Kuiper], we define the total curvature of index $i$ of $f$ by

$$\tau_{i}(f)=\frac{1}{\mathrm{Vol}(\mathbb{S}^{n+m-1})}\int_{\mathbb{S}^{n+m-1}}\mu_{i}(u)dS,$$

where $dS$ denotes the volume element of the sphere $\mathbb{S}^{n+m-1}$. From the weak Morse inequalities [Milnor63, Theorem 5.2, p. 29], we have

$$\mu_{i}(u)\geq b_{i}(M^{n};\mathbb{F})\;\;\text{for all}\;\;u\in\mathbb{S}^{n+m-1}\smallsetminus E,$$ (9)

where $b_{i}(M^{n};\mathbb{F})$ is the $i$-th Betti number of $M^{n}$ over an arbitrary coefficient field $\mathbb{F}$. By integrating over $\mathbb{S}^{n+m-1}$, we obtain

$$\tau_{i}(f)\geq b_{i}(M^{n};\mathbb{F}).$$ (10)

There is a natural volume element $d\varSigma$ on the unit normal bundle $UN_{f}$. In fact, if $dV$ is a $(m-1)$-form on $UN_{f}$ such that its restriction to a fiber of the unit normal bundle at $(p,\xi)$ is the volume element of the unit $(m-1)$-sphere of the normal space of $f$ at $p$, then $d\varSigma=dM\wedge dV$, where $dM$ is the volume element of $M^{n}$. Shiohama and Xu [SX, p. 381] refined a well-known integral formula due to Chern-Lashof [CL1, CL2], and proved that

$$\int_{U^{i}N_{f}}\left|\mathrm{det}A_{\xi}\right|d\varSigma=\int_{\mathbb{S}^{n+m-1}}\mu_{i}(u)dS,$$ (11)

where $U^{i}N_{f}$ is the subset of the unit normal bundle of $f$ defined by

$$U^{i}N_{f}=\left\{(p,\xi)\in UN_{f}:\mathrm{Index}\,A_{\xi}=i\right\},\;\;0\leq i\leq n,$$

and $A_{\xi}$ the shape operator of $f$ with respect to $\xi$, where $(p,\xi)\in UN_{f}$.

Lemma 11.

Let $f\colon M^{n}\rightarrow\mathbb{R}^{n+m},n\geq 2$, be an isometric immersion of a compact Riemannian manifold such that $\sum_{i=1}^{n-1}\tau_{i}(f)<2$. Then, for any coefficient field $\mathbb{F}$, the Betti numbers satisfy $\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})\in\{0,1\}$. In particular:

1. If $b_{i}(M^{n};\mathbb{F})=0$ for any $1\leq i\leq n-1$, then $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$.

2. If $\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})=1$, then $M^{n}$ is an Eells-Kuiper manifold.

Proof: The assumption is equivalent to

$$\int_{\mathbb{S}^{n+m-1}}\sum_{i=1}^{n-1}\mu_{i}(u)dS<2\mathrm{Vol}(\mathbb{S}^{n+m-1}).$$

This implies that there exists a unit vector $u_{0}$ such that the height function $h_{u_{0}}$ is a Morse function satisfying $\sum_{i=1}^{n-1}\mu_{i}(u_{0})<2$, or equivalently

$$\sum_{i=1}^{n-1}\mu_{i}(u_{0})\leq 1.$$ (12)

The above and (9) yield that $\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})\in\{0,1\}$ for every coefficient field $\mathbb{F}$.

(i) Suppose that

$$b_{i}(M^{n};\mathbb{F})=0\;\;{\text{for every}}\;\;1\leq i\leq n-1.$$ (13)

We claim that the homology groups of $M^{n}$ over the integers satisfy $H_{k}(M^{n};\mathord{\mathbb{Z}})=0$ for any $1\leq k\leq n-1$, which in view of (13), is equivalent to the claim that $M^{n}$ has no torsion. Indeed, if $H_{k}(M^{n};\mathord{\mathbb{Z}})$ contains torsion for some $1\leq k\leq n-1$, then $H_{k}(M^{n};\mathord{\mathbb{Z}}_{p})\neq 0$ for some prime $p$, which contradicts (13). Hence $M^{n}$ is a homology sphere over the integers.

We now prove that $M^{n}$ is simply connected. This is clear if $n=2$. Assume that $n\geq 3$ and suppose, to the contrary, that the fundamental group is $\pi_{1}(M^{n})\neq 0$. It follows from [AD, Proposition 4.5.7, p. 90] that $\mu_{1}(u_{0})\neq 0$. Thus, (12) yields that $\mu_{1}(u_{0})=1$ and $\mu_{i}(u_{0})=0$ for any $2\leq i\leq n-1$. Then, by Morse theory, it follows that the manifold $M^{n}$ has the homotopy type of a CW-complex with no cells of dimension $2\leq i\leq n-1$. In particular, there are no $2$-cells, and thus, by the cellular approximation theorem, the inclusion of the $1$-skeleton $\mathrm{X}^{(1)}\hookrightarrow M^{n}$ induces isomorphism between the fundamental groups. Therefore, $\pi_{1}(M^{n})$ is a free group on $b_{1}(M^{n};\mathord{\mathbb{Z}})=0$ elements. Hence, $\pi_{1}(M^{n})=0$, which is a contradiction.

Thus, $M^{n}$ is a simply connected homology sphere over the integers and therefore a homotopy sphere. By the (generalized) Poincaré conjecture (Smale $n\geq 5$, Freedman $n=4$, Perelman $n=3$), $M^{n}$ is homeomorphic to $\mathbb{S}^{n}$.

(ii) Assume that $\sum_{i=1}^{n-1}b_{i}(M^{n};\mathbb{F})=1.$ From Poincaré duality it follows that $n$ is even and the Betti numbers are

$$b_{n/2}(M^{n};\mathbb{F})=1\;\;\mbox{and}\;\;b_{i}(M^{n};\mathbb{F})=0,\;1\leq i\leq n-1,\;i\neq n/2.$$

Jointly with (9) and (12), the above implies that

$$\mu_{n/2}(u_{0})=1\;\;\mbox{and}\;\;\mu_{i}(u_{0})=0,\;1\leq i\leq n-1,\;i\neq n/2.$$ (14)

Since $\mu_{1}(u_{0})=0$, it follows from [CE75, Lemma 4.11, p. 85] that $\mu_{0}(u_{0})\leq 1$. Hence from (9), we obtain

$$\mu_{0}(u_{0})=1.$$ (15)

The Euler-Poincaré characteristic of $M^{n}$ is given by

$$\chi(M^{n})=\sum_{i=0}^{n}(-1)^{i}b_{i}(M^{n};\mathbb{F})=3.$$

On the other hand, using (14) and (15), from [Milnor63, Theorem 5.2, p. 29] we have

$$\chi(M^{n})=\sum_{i=0}^{n}(-1)^{i}\mu_{i}(u_{0})=2+\mu_{n}(u_{0}),$$

and thus $\mu_{n}(u_{0})=1$. Taking into account (14) and (15), this implies that the height function $h_{u_{0}}$ is a Morse function with three critical points. Therefore, $M^{n}$ is an Eells-Kuiper manifold.     

Proof of Theorem 1. Let $f\colon M^{n}\to\mathbb{Q}^{n+m}_{c},n\geq 3$, be an isometric immersion with second fundamental form $\alpha_{f}$, mean curvature $H_{f}$ and shape operator $A_{\xi}$ with respect to $\xi$, where $(p,\xi)\in UN_{f}$. Assume first that the ambient space is the Euclidean space $\mathbb{R}^{n+m}$, that is $c=0$. Since $H_{f}(p)={\sf H}_{\alpha_{f}(p)}$, $\rho_{k}(p)=\boldsymbol{\rho}_{0,k}(\alpha_{f}(p))$ and $\rho^{\perp}(p)=\boldsymbol{\rho}^{\perp}(\alpha_{f}(p))$, it follows from Proposition 9$(i)$ that

$$(H_{f}^{2}-\rho^{\perp}-\rho_{k})^{n/2}(p)\geq\left(\delta_{0,k}(n,m)\right)^{n/2}\int_{\Lambda_{0}(\alpha_{f}(p))}|\det A_{\xi}|\ dV_{\xi}$$

for all $p\in M^{n}$. Integrating over $M^{n}$ and using (11), we have

$$\int_{M^{n}}(H_{f}^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM\geq\left(\delta_{0,k}(n,m)\right)^{n/2}\mathrm{Vol}(\mathbb{S}^{n+m-1})\sum_{i=1}^{n-1}\tau_{i}(f).$$

Thus, from the above and (10) we obtain

$$\int_{M^{n}}(H_{f}^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM\geq\varepsilon_{k}(n,m)\sum_{i=1}^{n-1}\tau_{i}(f)\geq\varepsilon_{k}(n,m)\sum_{i=1}^{n-1}b_{i}(M;\mathbb{F}),$$ (16)

where $\varepsilon_{k}(n,m)=\left(\delta_{0,k}(n,m)\right)^{n/2}\mathrm{Vol}(\mathbb{S}^{n+m-1})$.

Now, assume that

$$\int_{M^{n}}(H_{f}^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM<2\varepsilon_{k}(n,m).$$

Then it follows directly from $(\ref{57667})$ that $\sum_{i=1}^{n-1}\tau_{i}(f)<2$, and the proof follows from Lemma 11. In particular, if

$$\int_{M^{n}}(H_{f}^{2}-\rho^{\perp}-\rho_{k})^{n/2}dM<\varepsilon_{k}(n,m),$$

then $\sum_{i=1}^{n-1}\tau_{i}(f)<1$ and (10) implies that only the first case in Lemma 11 can occur.

Suppose now that $c>0$. We consider the isometric immersion $\tilde{f}\colon M^{n}\to\mathbb{R}^{n+m+1}$ given by $\tilde{f}=i\circ f$, where $i$ is an umbilical inclusion of the sphere $\mathbb{S}_{c}^{n+m}$ of radius $R=1/\sqrt{c}$ into $\mathbb{R}^{n+m+1}$. Clearly $H^{2}_{\tilde{f}}=H_{f}^{2}+c$ and the normal curvature $\tilde{\rho}^{\perp}$ of $\tilde{f}$ is given by $\tilde{\rho}^{\perp}=\rho^{\perp}$. Then the proof follows from the above argument applied to $\tilde{f}$ with $\varepsilon_{k}(n,m)=\left(\delta_{0,k}(n,m+1)\right)^{n/2}\mathrm{Vol}(\mathbb{S}^{n+m})$.    

Remark 12.

It is immediate from (7) that the constants in Proposition 9$(i)$ satisfy $\delta_{c,1}(n,m)\geq\dots\geq\delta_{c,n-1}(n,m)>0$. Then, it follows from the proof of Theorem 1 that the constants $\varepsilon_{k}(n,m),1\leq k\leq n-1$, satisfy $\varepsilon_{1}(n,m)\geq\dots\geq\varepsilon_{n-1}(n,m)>0$.

Proof of Corollary 2. It follows immediately from Theorem 1 for $k=1$.   

Proof of Corollary 3. Since $M^{n}$ is Einstein and $n\geq 3$, it has constant normalized Ricci curvature equal to $\rho$. Therefore, $\rho_{k}=\rho$ for every $k\in\{1,\dots,n\}$. The proof follows immediately from Theorem 1.    

Proof of Theorem 4. Let $f\colon M^{n}\to\mathbb{Q}^{n+m}_{c},n\geq 2$, be an isometric immersion. We claim that the integral

$$\int_{M^{n}}(c+H_{f}^{2}-\lambda\rho^{\perp}-\rho)^{n/2}dM$$

is invariant under conformal changes of the metric $\langle\cdot,\cdot\rangle$ of $\mathbb{Q}^{n+m}_{c}$. Indeed, from (3) and (4) it follows that

$$n(n-1)(c+H_{f}^{2}-\lambda\rho^{\perp}-\rho)=\|\Phi_{f}\|^{2}-\lambda\|R^{\perp}\|,$$ (17)

where $\Phi_{f}$ is the traceless part of the second fundamental form of $f$ and $R^{\perp}$ its normal curvature tensor. Consider the conformal change $\widetilde{\langle\cdot,\cdot\rangle}=e^{2u}\langle\cdot,\cdot\rangle$ of the metric of $\mathbb{Q}^{n+m}_{c}$, where $u$ is a smooth function, and let $\tilde{f}\colon\tilde{M}^{n}\to(\mathbb{Q}^{n+m}_{c},\widetilde{\langle\cdot,\cdot\rangle})$ be the isometric immersion induced by $f$. Then, at corresponding points the normal spaces of $f,\tilde{f}$ coincide and particularly, the second fundamental forms and the mean curvature vector fields are related by

$$\alpha_{\tilde{f}}=\alpha_{f}-\langle\cdot,\cdot\rangle(\mbox{grad\,}u)^{\perp}\;\;\text{and}\;\;{\cal H}_{\tilde{f}}=e^{-2u}\left({\cal H}_{f}-(\mbox{grad\,}u)^{\perp}\right),$$

where $(\mbox{grad\,}u)^{\perp}$ is the normal component of the gradient of $u$ is with respect to the metric $\langle\cdot,\cdot\rangle$. The above imply that $\Phi_{\tilde{f}}=\Phi_{f}$ and thus, the traceless parts of the shape operators of $\tilde{f},f$ associated to a local orthonormal frame field $\{\xi_{a}\}_{1\leq a\leq m}$ of $N_{f}M$ satisfy $\tilde{B}_{\xi_{a}}=B_{\xi_{a}},1\leq a\leq m$. Any orthonormal tangent frame field $\{e_{i}\}_{1\leq i\leq n}$ of $(M,\langle\cdot,\cdot\rangle)$ and any orthonormal normal frame field $\{\xi_{a}\}_{1\leq a\leq m}$ of $N_{f}M$ give rise to orthonormal frame fields $\{\tilde{e}_{i}\}_{1\leq i\leq n}$ of $(M,\widetilde{\langle\cdot,\cdot\rangle})$ with $\tilde{e}_{i}=e^{-u}e_{i}$ and $\{\tilde{\xi}_{a}\}_{1\leq a\leq m}$ of $N_{\tilde{f}}M$ with $\tilde{\xi}_{a}=e^{-u}\xi_{a}$. Therefore, a direct computation using (3) and (4) yields that

$$\|\Phi_{\tilde{f}}\|_{\sim}^{2}-\lambda\|\tilde{R}^{\perp}\|_{\sim}=e^{-2u}(\|\Phi_{f}\|^{2}-\lambda\|R^{\perp}\|).$$

Now, by virtue of (17), the claim follows from the above equality and the fact that the volume element of $(M,\widetilde{\langle\cdot,\cdot\rangle})$ is $e^{nu}dM$.

Therefore, under a conformal change of the metric of (a part of) $\mathbb{Q}^{n+m}_{c}$, we may assume without loss of generality that the ambient space is the Euclidean space $\mathbb{R}^{n+m}$. Since $H_{f}(p)={\sf H}_{\alpha_{f}(p)}$, $\rho(p)=\boldsymbol{\rho}_{0}(\alpha_{f}(p))$ and $\rho^{\perp}(p)=\boldsymbol{\rho}^{\perp}(\alpha_{f}(p))$, it follows from Proposition 9$(ii)$ that

$$(H_{f}^{2}-\lambda\rho^{\perp}-\rho)^{n/2}(p)\geq\left(\delta_{0,\lambda}(n,m)\right)^{n/2}\int_{\Lambda_{0}(\alpha_{f}(p))}|\det A_{\xi}|\ dV_{\xi}$$

for all $p\in M^{n}$. Then the proof follows arguing as in the proof of Theorem 1 with $\varepsilon_{\lambda}(n,m)=\left(\delta_{0,\lambda}(n,m)\right)^{n/2}\mathrm{Vol}(\mathbb{S}^{n+m-1})$.    

Remark 13.

Since $\lambda\in[0,1)$, from (17) it follows that

$$n(n-1)(c+H_{f}^{2}-\lambda\rho^{\perp}-\rho)\leq\|\Phi_{f}\|^{2}=\|\alpha_{f}\|^{2}-nH_{f}^{2}.$$

This shows that our integrand is smaller than the (normalized) one of Shiohama and Xu in [SX2], which corresponds to $\lambda=0$.

5 Counterexamples to Theorem 1 for $k=n$

5.1 Minimal surfaces in spheres

In this subsection, we discuss some properties of the isotropic surfaces in spheres, which are the basic tool for the construction of new compact 3-dimensional Wintgen ideal submanifolds.

Let $f\colon L^{2}\to\mathbb{S}^{n+2}$ denote an isometric immersion of a two-dimensional oriented Riemannian manifold into the sphere $\mathbb{S}^{n+2}$. The $k^{th}$-normal space of $f$ at $x\in L^{2}$ for $k\geq 1$ is given by

$$N^{f}_{k}(x)=\mbox{span}\{\alpha_{f}^{k+1}(X_{1},\ldots,X_{k+1}):X_{1},\ldots,X_{k+1}\in T_{x}L\}$$

where $\alpha_{f}^{2}=\alpha_{f}\colon TL\times TL\to N_{f}L$ is the standard second fundamental form with values in the normal bundle and

$$\alpha_{f}^{s}\colon TL\times\cdots\times TL\to N_{f}L,\;\;s\geq 3,$$

is the symmetric tensor called the $s^{th}$-fundamental form defined inductively by

$$\alpha_{f}^{s}(X_{1},\ldots,X_{s})=\left(\nabla^{\perp}_{X_{s}}\ldots\nabla^{\perp}_{X_{3}}\alpha_{f}(X_{2},X_{1})\right)^{\perp}.$$

Here $\nabla^{\perp}$ is the induced connection in the normal bundle $N_{f}L$ and $(\;\;)^{\perp}$ means taking the projection onto the normal complement of $N^{f}_{1}\oplus\cdots\oplus N^{f}_{s-2}$ in $N_{f}L$.

Now suppose that $f\colon L^{2}\to\mathbb{S}^{n+2}$ denotes an oriented minimal and substantial surface. The latter means that the codimension cannot be reduced, in fact, not even locally since minimal surfaces are real analytic. It is known (cf. [v, df]) that the normal bundle $N_{f}L$ of $f$ splits along an open dense subset of $L^{2}$ as

$$N_{f}L=N_{1}^{f}\oplus N_{2}^{f}\oplus\dots\oplus N_{m}^{f},\;\;\;m=[(n+1)/2],$$

since all higher normal bundles have rank two except possibly the last one that has rank one if $n$ is odd. The orientation of $L^{2}$ induces an orientation on each plane vector bundle $N_{s}^{f}$ given by the ordered pair

$$\xi_{1}^{s}=\alpha_{f}^{s+1}(X,\ldots,X),\;\;\;\xi_{2}^{s}=\alpha_{f}^{s+1}(JX,\ldots,X)$$

where $0\neq X\in TL$ and $J$ is the complex structure of $L^{2}$ determined by the metric and orientation.

For each $1\leq k\leq m$, the $k^{th}$-order curvature ellipse ${\cal E}^{f}_{k}(x)\subset N^{f}_{k}(x)$ is defined by

$${\cal E}^{f}_{k}(x)=\left\{\alpha_{f}^{k+1}(Z^{\varphi},\ldots,Z^{\varphi})\colon\,Z^{\varphi}=\cos\varphi Z+\sin\varphi JZ\;\mbox{and}\;\varphi\in[0,2\pi)\right\}$$

where $Z\in T_{x}L$ is any vector of unit length.

A surface $f\colon L^{2}\to\mathbb{S}^{n+2}$ is called $r$-isotropic if it is minimal and at any $x\in L^{2}$ and for any $1\leq k\leq r$ the ellipses of curvature ${\cal E}^{f}_{k}(x)$ contained in all two-dimensional $N^{f}_{k}$$\,{}^{\prime}$s are circles. We point out that there are alternative ways to define isotropy for surfaces, for instance, in terms of the vanishing of higher order Hopf differentials [v1].

We consider the open and dense subset $L_{1}$ of $L^{2}$ defined by

$$L_{1}=\left\{x\in L^{2}:\dim N^{f}_{1}(x)\text{ is maximal}\right\}.$$

Then the 1st normal spaces along $L_{1}$ form a subbundle $N^{f}_{1}|_{L_{1}}$ of the normal bundle $N_{f}L$. Inductively, we define the open and dense subset

$$L_{s}=\left\{x\in L_{s-1}:\dim N^{f}_{s}(x)\text{ is maximal}\right\}$$

and similarly the $s$-th normal spaces along $L_{s}$ form a subbundle $N^{f}_{s}|_{L_{s}}$ of the normal bundle. The following result was proved in [11] (see also [v, dv]).

Proposition 14.

If the surface $f$ is $r$-isotropic, then each $L^{2}\smallsetminus L_{s},1\leq s\leq r$, consists of isolated points and the vector bundle $N^{f}_{s}|_{L_{s}}$ smoothly extends to a vector bundle over $L^{2}$ still denoted by $N^{f}_{s}$.

5.2 A class of compact 3-dimensional Wintgen submanifolds

In the sequel, let $f\colon L^{2}\to\mathbb{S}^{2n+2},n\geq 2$, be a substantial $(n-1)$-isotropic surface. Then Proposition 14 implies that each plane bundle $N^{f}_{s}|_{L_{s}},1\leq s\leq n-1$, smoothly extends to a plane bundle over $L^{2}$. Clearly, $N^{f}_{n}$ is the orthogonal complement of $N^{f}_{1}\oplus N_{2}^{f}\oplus\dots\oplus N^{f}_{n-1}$ in $N_{f}L$. There are plenty of compact $(n-1)$-isotropic surfaces in $\mathbb{S}^{2n+2},n\geq 2$. This is the case of pseudoholomorphic curves in the nearly Kähler $\mathbb{S}^{6}$. In fact, it is known that they are $1$-isotropic [8, 19, v1]. Moreover, there are compact substantial pseudoholomorphic curves in the nearly Kähler $\mathbb{S}^{6}$ of positive genus (see [8]). Additionally, all $1$-isotropic tori in $\mathbb{S}^{6}$ were described in [5].

The following result provides a method to produce new compact Wintgen ideal submanifolds.

Theorem 15.

Let $f\colon L^{2}\to\mathbb{S}^{2n+2},n\geq 2$, be a compact oriented substantial $(n-1)$-isotropic surface of genus $g(L)$ and let $M^{3}$ be the total space of the unit bundle $p\colon UN^{f}_{n}\rightarrow L^{2}$ of the plane bundle $N^{f}_{n}$. Then $\phi_{f}\colon M^{3}\to\mathbb{S}^{2n+2}$ given by $\phi_{f}(x,w)=w$ is a minimal Wintgen ideal submanifold, whose first Betti number satisfies $b_{1}(M^{3})\geq 2g(L)$.

Proof: It follows from Proposition 4.2 in [15] that the map $\phi_{f}\colon M^{3}\to\mathbb{S}^{2n+2}$ is a minimal immersion of rank two with polar surface $f$. Moreover, Proposition 8 in [df] implies that the first curvature ellipse (as defined in [df]) of $\phi_{f}$ is a circle at any point. It follows from Corollary 1.2 in [GT] that a minimal $n$-dimensional submanifold of a space form with relative nullity $n-2$ is a Wintgen ideal submanifold if and only if its first curvature ellipse is a circle at any point. Hence $\phi_{f}$ is a Wintgen ideal submanifold.

Now we argue that $b_{1}(M^{3})\geq 2g(L)$. Clearly, the circle bundle $p\colon UN^{f}_{n}\rightarrow L^{2}$ is oriented (as defined in [BT, p. 114]). Then we have from [B, Theorem 13.2, p. 390] or [Hat, p. 438] that the cohomology rings of $M^{3}$ and $L^{2}$ are related by the following long exact sequence known as the Gysin sequence:

$$\!\!\!\cdots\xrightarrow{\Psi_{i-1}}H^{i}(L;\mathord{\mathbb{Z}})\xrightarrow{p^{*}_{i}}H^{i}(M;\mathord{\mathbb{Z}})\xrightarrow{\Phi_{i}}H^{i-1}(L;\mathord{\mathbb{Z}})\xrightarrow{\Psi_{i}}H^{i+1}(L;\mathord{\mathbb{Z}})\xrightarrow{p^{*}_{i+1}}\cdots$$

The exactness gives that $p^{*}_{1}$ is a monomorphism and ${\rm{Im}}\,p^{*}_{1}=\ker\Phi_{1}$. On the other hand we have

$${\rm{Im}}\,p^{*}_{1}\cong H^{1}(L;\mathord{\mathbb{Z}})/\ker\,p^{*}_{1}\cong H^{1}(L;\mathord{\mathbb{Z}})\cong\mathord{\mathbb{Z}}^{2g(L)}.$$

Thus $\ker\Phi_{1}\cong\mathord{\mathbb{Z}}^{2g(L)}$. The desired inequality follows from the fact that $H^{1}(M;\mathord{\mathbb{Z}})$ contains a subgroup isomorphic to $\mathord{\mathbb{Z}}^{2g(L)}$.   

Theorem 15 shows that each compact oriented substantial $(n-1)$-isotropic surface $f\colon L^{2}\to\mathbb{S}^{2n+2},n\geq 2$, of positive genus $g(L)$ gives rise to a compact 3-dimensional Wintgen ideal submanifold with positive first Betti number. For instance, $f$ can be chosen to be a compact substantial pseudoholomorphic curve in the nearly Kähler $\mathbb{S}^{6}$ of positive genus (see [8]), or a $1$-isotropic torus in $\mathbb{S}^{6}$ as described in [5]. Clearly, these Wintgen ideal submanifolds violate the inequality in Theorem 1 for $k=n=3$.

Christos-Raent Onti
Department of Mathematics and Statistics
University of Cyprus
1678, Nicosia – Cyprus
e-mail: onti.christos-raent@ucy.ac.cy

Kleanthis Polymerakis
University of Ioannina
Department of Mathematics
Ioannina – Greece
e-mail: kpolymerakis@uoi.gr

Theodoros Vlachos
University of Ioannina
Department of Mathematics
Ioannina – Greece
e-mail: tvlachos@uoi.gr