Abstract
For Riemannian submersions, we establish some estimates for the spectrum of the total space in terms of the spectrum of the base space and the geometry of the fibers. In particular, for Riemannian submersions of complete manifolds with closed fibers of bounded mean curvature, we show that the spectrum of the base space is discrete if and only if the spectrum of the total space is discrete.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The spectrum of the Laplacian on a Riemannian manifold is an isometric invariant whose relation with the geometry of the manifold is not comprehended completely. In particular, its behavior under maps between Riemannian manifolds, which respect the geometry of the manifolds to some extent, remains largely unclear. In this paper, we study the behavior of the spectrum under Riemannian submersions.
The notion of Riemannian submersion was introduced in the 1960s as a tool to study the geometry of a manifold in terms of the geometry of simpler components, namely, the base space and the fibers. Similarly to other geometric quantities, it is natural to describe the spectrum of the total space in terms of the geometry and the spectrum of the base space and the fibers. Of course, the term geometry of the fibers refers both to the intrinsic and the extrinsic geometry of the fibers as submanifolds of the total space. There are various results on the spectrum of closed (that is, compact and without boundary) total spaces, in case the submersion has totally geodesic, or minimal fibers, or fibers of basic mean curvature (cf. for instance [4] and the references therein). Our results focus mostly on the non-compact case, which is in general more complicated and less understood.
To set the stage, let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion and denote the fiber over \(x \in M_{1}\) by \(F_{x} := p^{-1} (x)\). In the first part of the paper, we establish a lower bound for the bottom of the spectrum of the total space, under the assumption that the (unnormalized) mean curvature H of the fibers is bounded in a specific way. In particular, we extend the recent result of [5] about Riemannian submersions. According to [5, Theorem 1.1], if \(M_{1}\) is the m-dimensional hyperbolic space \({\mathbb {H}}^{m}\), and the mean curvature vector field of the fibers is bounded by \(\Vert H \Vert \le C \le m-1\), then the bottom of the spectrum of the Laplacian on \(M_{2}\) satisfies
It should be noticed that \(m-1 = 2 \sqrt{\lambda _{0}({\mathbb {H}}^{m})}\). This result is extended in [5, Theorem 5.1] to the case where the base manifold is Hadamard with sectional curvature bounded from above by a negative constant, or the base manifold is a warped product of some special form. In its general version, in the assumption and the conclusion of the above formulation, \(m-1\) is replaced by a certain lower bound for \(2 \sqrt{\lambda _{0}(M_{1})}\). Our first result generalizes this estimate in various directions and provides some information in the case where the equality holds and \(\lambda _{0}(M_{1})\) is an isolated point of the spectrum of the Laplacian on \(M_{1}\).
Theorem 1.1
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion, such that the mean curvature of the fibers satisfies \(\Vert H \Vert \le C \le 2 \sqrt{\lambda _{0}(M_{1})}\). Then
If, in addition, the equality holds and \(\lambda _{0}(M_{1}) \notin \sigma _{{{\,\mathrm{ess}\,}}}(M_{1})\), then \(\lambda _{0}(F_{x})\) is almost everywhere equal to its infimum.
It should be emphasized that, in this theorem, there are no assumptions on the geometry or the topology of the base space. In particular, the manifolds involved in Theorem 1.1 do not have to be complete, which in the sequel allows us to derive a similar estimate involving the bottoms of the essential spectra, by exploiting the decomposition principle. Moreover, Theorem 1.1 gives a quite natural (and sharper than [5, Theorem 5.1]) estimate for submersions over negatively curved symmetric spaces and yields an analogous lower bound if the base manifold is a complete, negatively curved, locally symmetric space.
Conceptually, it seems interesting that the last term in the estimate of Theorem 1.1 shows up, while in [5] the intrinsic geometry of the fibers does not play any role. For example, equality in the estimate of Theorem 1.1 holds if \(M_{2}\) is the Riemannian product \(M_{1} \times F\) for any Riemannian manifold F. For the aforementioned reason, equality in the estimate of [5, Theorem 1.1] holds for \(M_{2} = {\mathbb {H}}^{k} \times F\) only for Riemannian manifolds F with \(\lambda _{0}(F) = 0\).
In general, it is quite important to establish lower bounds for the bottom of the spectrum, or even deduce whether it is zero or not. It follows from Theorem 1.1 that if \(p :M_{2} \rightarrow M_{1}\) is a Riemannian submersion with minimal fibers, \(M_{1}\) is closed, and \(\lambda _{0}(M_{2}) = 0\), then the bottom of the spectrum of almost any fiber is zero, since the spectrum of the Laplacian on \(M_{1}\) is discrete. As Example 3.3 shows, in this case, the bottom of the spectrum of some fibers may be positive. In principle, in order to deduce that the bottom of the spectrum is positive, one needs information on the global geometry of the underlying manifold. However, in the above setting, we obtain that \(\lambda _{0}(M_{2}) > 0\) if \(\lambda _{0}(F_{x}) > 0\) for any x in a set of positive measure.
In the second part of the paper, we consider Riemannian submersions \(p :M_{2} \rightarrow M_{1}\) of complete manifolds with closed fibers. Such submersions under further constraints, are studied in [2]. According to [2, Theorem 1], if the fibers are minimal, then the spectra and the essential spectra of the Laplacians satisfy \(\sigma (M_{1}) \subset \sigma (M_{2})\) and \(\sigma _{{{\,\mathrm{ess}\,}}}(M_{1}) \subset \sigma _{{{\,\mathrm{ess}\,}}}(M_{2})\). In this paper, we extend this result in a natural way. Instead of comparing the spectra of the Laplacians, we compare the spectrum of a Schrödinger operator on \(M_{1}\), whose potential is determined by the volume of the fibers, with the spectrum of the Laplacian on \(M_{2}\). To be more precise, let V(x) be the volume of the fiber over \(x \in M_{1}\), and consider the Schrödinger operator
on \(M_{1}\). The potential of this operator measures the deviation of \(\sqrt{V}\) from being harmonic. In particular, if the submersion has minimal fibers (or more generally, fibers of constant volume), then S coincides with the Laplacian on \(M_{1}\).
In the case where \(M_{2}\) is closed and the submersion has fibers of basic mean curvature, Bordoni [3] considered the restriction \(\Delta _{c}\) of the Laplacian acting on lifted functions and the restriction \(\Delta _{0}\) of the Laplacian acting on functions whose average is zero on any fiber. In [3, Theorem 1.6], he showed that \(\sigma (M_{2}) = \sigma ( \Delta _{c}) \cup \sigma (\Delta _{0})\). In this situation, the spectrum of S coincides with the spectrum of \(\Delta _{c}\). It should be noticed that expressing the latter one as the spectrum of a Schrödinger operator on the base manifold allows us to relate it more easily to the spectrum of the Laplacian on the base manifold.
For submersions of complete manifolds with closed fibers, we compare the bottoms of the (essential) spectra of S and of the Laplacian on the total space. If the submersion has fibers of basic mean curvature, we prove that the (essential) spectrum of S is contained in the (essential, respectively) spectrum of the Laplacian on \(M_{2}\). This is formulated in the following generalization of [2, Theorem 1].
Theorem 1.2
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion of complete manifolds, with closed fibers. Then \(\lambda _{0}(M_{2}) \le \lambda _{0}(S)\) and \(\lambda _{0}^{{{\,\mathrm{ess}\,}}}(M_{2}) \le \lambda _{0}^{{{\,\mathrm{ess}\,}}}(S)\). If, in addition, the fibers have basic mean curvature, then \(\sigma (S) \subset \sigma (M_{2})\) and \(\sigma _{{{\,\mathrm{ess}\,}}}(S) \subset \sigma _{{{\,\mathrm{ess}\,}}}(M_{2})\).
If the submersion has closed fibers of bounded mean curvature, then it is easy to estimate the bottom of the (essential) spectrum of S in terms of the bottom of the (essential, respectively) spectrum of the Laplacian on \(M_{1}\) and the mean curvature of the fibers. Hence, in this setting, we obtain the following application of Theorem 1.2.
Corollary 1.3
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion of complete manifolds, with closed fibers of bounded mean curvature \(\Vert H \Vert \le C\). Then
Finally, we consider the problem of discreteness of spectra under Riemannian submersions. A Riemannian manifold M has discrete spectrum if the essential spectrum of the Laplacian on M is empty. Although there are many results establishing connections between the geometry of M and the discreteness of the spectrum of M (cf. for instance [2] and the references provided there), their relation is not comprehended completely.
In our context, there are examples of Riemannian submersions \(p :M_{2} \rightarrow M_{1}\) of complete manifolds with closed fibers, where \(M_{1}\) has discrete spectrum but \(M_{2}\) does not, and conversely, where \(M_{2}\) has discrete spectrum but \(M_{1}\) does not (cf. [2, Subsection 4.2]). In [2], it is proved that if p has minimal fibers, then \(M_{1}\) has discrete spectrum if and only if \(M_{2}\) has discrete spectrum. As an application of Theorems 1.1 and 1.2, we extend this equivalence under the weaker assumption that the fibers have bounded mean curvature.
Corollary 1.4
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion of complete manifolds, with closed fibers of bounded mean curvature. Then \(M_{1}\) has discrete spectrum if and only if \(M_{2}\) has discrete spectrum.
The paper is organized as follows: in Sect. 2, we give some preliminaries involving the spectrum of Schrödinger operators, and recall some basic facts on Riemannian submersions. In Sect. 3, we study Riemannian submersions with fibers of bounded mean curvature and establish Theorem 1.1. In Sect. 4, we consider Riemannian submersions with closed fibers and prove Theorem 1.2. In this section, we also obtain Corollaries 1.3 and 1.4.
2 Preliminaries
Throughout this paper, manifolds are assumed to be connected and without boundary, unless otherwise stated. For a possibly non-connected Riemannian manifold M, we denote by \(\Delta \) the nonnegative definite Laplacian on M. A Schrödinger operator on M is an operator of the form \(S = \Delta + V\), with \(V \in C^{\infty }(M)\), such that
for some \(c \in {\mathbb {R}}\) and any \(f \in C^{\infty }_{c}(M)\). Then the operator
is densely defined, symmetric and bounded from below. Therefore, it admits Friedrichs extension. We denote the spectrum and the essential spectrum of its Friedrichs extension by \(\sigma (S)\) and \(\sigma _{{{\,\mathrm{ess}\,}}}(S)\), respectively, and their bottoms (that is, their minimums) by \(\lambda _{0}(S)\) and \(\lambda _{0}^{{{\,\mathrm{ess}\,}}}(S)\), respectively. In case of the Laplacian (that is, \(V = 0\)) these sets and quantities are denoted by \(\sigma (M)\), \(\sigma _{{{\,\mathrm{ess}\,}}}(M)\) and \(\lambda _{0}(M)\), \(\lambda _{0}^{{{\,\mathrm{ess}\,}}}(M)\), respectively. The spectrum of S is called discrete if \(\sigma _{{{\,\mathrm{ess}\,}}}(S)\) is empty. In this case, we have by definition that \(\lambda _{0}^{{{\,\mathrm{ess}\,}}}(S) = +\, \infty \).
For a nonzero, compactly supported, Lipschitz function f on M, the Rayleigh quotient of f with respect to S is defined by
The Rayleigh quotient of f with respect to the Laplacian is denoted by \({\mathcal {R}}(f)\). The next characterization for the bottom of the spectrum of a Schrödinger operator follows from Rayleigh’s Theorem and the fact that the Friedrichs extension of an operator preserves its lower bound (cf. for instance [13, Subsection 2.1] and the references therein).
Proposition 2.1
Let S be a Schrödinger operator on a Riemannian manifold M. Then the bottom of the spectrum of S is given by
where the infimum is taken over all \(f \in C^{\infty }_{c}(M) {\setminus } \{0\}\), or over all \(f \in {{\,\mathrm{Lip}\,}}_{c}(M) {\setminus } \{0\}\).
Proposition 2.2
Let S be a Schrödinger operator on a Riemannian manifold M. Then for any sequence \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M) {\setminus } \{0\}\), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint, we have that
Proof
If the right-hand side is infinite, there is nothing to prove. If it is finite, we denote it by \(\lambda \), and after passing to a subsequence, if necessary, we may assume that \({\mathcal {R}}_{S}(f_{n}) \rightarrow \lambda \). For any \(\varepsilon > 0\), there exists \(n_{0} \in {\mathbb {N}}\) such that \({\mathcal {R}}_{S}(f_{n}) < \lambda + \varepsilon \) for any \(n \ge n_{0}\). Consider the infinite dimensional space \({\mathcal {H}}_{\varepsilon }\) spanned by \(\{ f_{n} : n \ge n_{0} \}\). Any element \(g \in {\mathcal {H}}_{\varepsilon } {\setminus } \{0\}\) is of the form \(g = \sum _{n=n_{0}}^{n_{0} + k} a_{n} f_{n}\) for some \(k \in {\mathbb {N}}\) and \(a_{n} \in {\mathbb {R}}\), \(n_{0} \le n \le n_{0}+k\). The assumption that the supports of \(f_{n}\) are pairwise disjoint yields that
Since \(\varepsilon > 0\) is arbitrary, we conclude from [7, Proposition 2.1] that \(\lambda _{0}^{{{\,\mathrm{ess}\,}}}(S) \le \lambda \). \(\square \)
Let \(\varphi \) be a positive, smooth function on M such that \(S \varphi = \lambda \varphi \) for some \(\lambda \in {\mathbb {R}}\). Denote by \(L^{2}_{\varphi }(M)\) the \(L^{2}\)-space of M with respect to the measure \(\varphi ^{2} \text {d} {{\,\mathrm{Vol}\,}}\), where \(\text {d} {{\,\mathrm{Vol}\,}}\) stands for the volume element of M induced from its Riemannian metric. It is immediate to verify that the map \(\mu _{\varphi } :L^{2}_{\varphi }(M) \rightarrow L^{2}(M)\), given by \(\mu _{\varphi }(u) = \varphi u\), is an isometric isomorphism. The renormalization of S with respect to \(\varphi \) is defined by
where \(S^{(F)}\) is the Friedrichs extension of S considered as in (2), and \({\mathcal {D}}(\cdot )\) denotes the domain of the operator. More details on the renormalization of Schrödinger operators may be found in [14, Section 7]. Given \(f \in C^{\infty }_{c}(M)\), it is straightforward to compute
which shows that \(S_{\varphi }\) is a weighted Laplacian on M. The Rayleigh quotient of a nonzero \(f \in C^{\infty }_{c}(M)\) with respect to \(S_{\varphi }\) is given by
Lemma 2.3
For any \(f \in C^{\infty }_{c}(M) {\setminus } \{0\}\) and \(C \in {\mathbb {R}}\), we have that:
- (i)
\({\mathcal {R}}_{S_{\varphi }}(f) = {\mathcal {R}}_{S}(\varphi f) - \lambda ,\)
- (ii)
\( \Vert (S_{\varphi } - C ) f \Vert _{L^{2}_{\varphi }(M)} = \Vert (S - \lambda - C ) (\varphi f) \Vert _{L^{2}(M)}\).
Proof
Both statements follow easily from the definition of \(S_{\varphi }\) and the fact that \(\mu _{\varphi }\) is an isometric isomorphism. \(\square \)
We now consider Schrödinger operators on complete Riemannian manifolds. According to the next proposition, a Schrödinger operator on a complete Riemannian manifold is essentially self-adjoint; that is, the Friedrichs extension of S coincides with the closure of S considered as in (2). This allows us to characterize the spectrum of the operator in terms of compactly supported smooth functions.
Proposition 2.4
Let S be a Schrödinger operator on a complete Riemannian manifold M. Then S is essentially self-adjoint.
Proof
By virtue of [10, Theorem 1] and (1), we have that there exists \(\lambda \in {\mathbb {R}}\) and a positive \(\varphi \in C^{\infty }(M)\) such that \(S \varphi = \lambda \varphi \). Denote by \(S_{\varphi }\) the renormalization of S with respect to \(\varphi \). Then [11, Theorem 2.2] implies that the operator
is essentially self-adjoint, M being complete. Taking into account that this operator corresponds to \(S - \lambda \) [considered as in (2)] under the isometric isomorphism \(\mu _{\varphi }\), we derive that S is essentially self-adjoint. \(\square \)
Let S be a Schrödinger operator on a complete Riemannian manifold M. For \(\lambda \in {\mathbb {R}}\), a sequence \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M) {\setminus } \{0\}\) is called characteristic sequence for S and \(\lambda \), if
The next propositions follow from the decomposition principle [8] and the fact that the spectrum of a self-adjoint operator consists of approximate eigenvalues of the operator.
Proposition 2.5
Let S be a Schrödinger operator on a complete Riemannian manifold M, and consider \(\lambda \in {\mathbb {R}}\). Then:
- (i)
\(\lambda \in \sigma (S)\) if and only there exists a characteristic sequence for S and \(\lambda \),
- (ii)
\(\lambda \in \sigma _{{{\,\mathrm{ess}\,}}}(S)\) if and only if there exists a characteristic sequence \((f_{n})_{n \in {\mathbb {N}}}\) for S and \(\lambda \), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint.
Proposition 2.6
(Compare with [2, Proposition 3.2]). Let S be a Schrödinger operator on a complete Riemannian manifold M, and \((K_{n})_{n \in {\mathbb {N}}}\) an exhausting sequence of M consisting of compact subsets of M. Then the bottom of the essential spectrum of S is given by
where \(\lambda _{0}(S, M {\setminus } K_{n})\) is the bottom of the spectrum of S on \(M {\setminus } K_{n}\). In particular, the spectrum of S is discrete if and only if the right-hand side limit is infinite.
The following property of the bottom of the essential spectrum is an immediate consequence of Propositions 2.1 and 2.6.
Corollary 2.7
Let S be a Schrödinger operator on a complete Riemannian manifold M. Then there exists a sequence \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M) {\setminus } \{0\}\), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint, such that \({\mathcal {R}}_{S}(f_{n}) \rightarrow \lambda _{0}^{{{\,\mathrm{ess}\,}}}(S)\).
2.1 Riemannian submersions
Let \(M_{1}\), \(M_{2}\) be Riemannian manifolds with \(\dim (M_{2}) > \dim (M_{1})\). A surjective, smooth map \(p :M_{2} \rightarrow M_{1}\) is called a submersion if its differential is surjective at any point \(y \in M_{2}\). For any \(x \in M_{1}\), the fiber\(F_{x} := p^{-1}(x)\) over x is a possibly non-connected submanifold of \(M_{2}\). The kernel of \(p_{*y}\) is called the vertical space at y, and is denoted by \((T_{y}M_{2})^{v}\). Evidently, the vertical space at y is the tangent space of the fiber \(F_{p(y)}\). The horizontal space\((T_{y}M_{2})^{h}\) at y is defined as the orthogonal complement of the vertical space at y. The submersion p is called Riemannian submersion if the restriction \(p_{*y} :(T_{y}M_{2})^{h} \rightarrow T_{p(y)}M_{1}\) is an isometry for any \(y \in M_{2}\). For more details on Riemannian submersions, see for example [9].
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion. A vector field Y on \(M_{2}\) is called horizontal (vertical) if Y(y) belongs to the horizontal (vertical, respectively) space at y for any \(y \in M_{2}\). It is clear that any vector field Y on \(M_{2}\) is written uniquely as \(Y = Y^{h} + Y^{v}\), with \(Y^{h}\) horizontal and \(Y^{v}\) vertical. Any vector field X on \(M_{1}\) has a unique horizontal lift on \(M_{2}\), which is denoted by \({\tilde{X}}\); that is, \({\tilde{X}}\) is horizontal and \(p_{*}{\tilde{X}} = X\). A vector field Y on \(M_{2}\) is called basic if \(Y = {\tilde{X}}\) for some vector field X on \(M_{1}\).
We denote by H the (unnormalized) mean curvature of the fibers, which is defined by
where \(\alpha (\cdot , \cdot )\) is the second fundamental form of \(F_{p(y)}\), and \(\{e_{i}\}_{i=1}^{k}\) is an orthonormal basis of \((T_{y}M_{2})^{v}\). The Riemannian submersion p has minimal fibers, fibers of basic mean curvature, or fibers of bounded mean curvature if \(H=0\), H is basic, or \(\Vert H \Vert \) is bounded, respectively.
Given a function \(f :M_{1} \rightarrow {\mathbb {R}}\), the function \({\tilde{f}} := f \circ p\) is called the lift of f on \(M_{2}\). The next lemma provides a simple expression for the gradient and the Laplacian of a lifted smooth function on \(M_{2}\).
Lemma 2.8
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion. Consider \(f \in C^{\infty }(M_{1})\) and its lift \({\tilde{f}}\) on \(M_{2}\). Then we have that:
- (i)
\({{\,\mathrm{grad}\,}}{\tilde{f}} = \widetilde{{{\,\mathrm{grad}\,}}f}\),
- (ii)
\(\Delta {\tilde{f}} = \widetilde{\Delta f} + \langle \widetilde{{{\,\mathrm{grad}\,}}f} , H \rangle \).
Proof
Both statements follow from straightforward computations, which may be found for instance in [2, Subsection 2.2].\(\square \)
Recall that the fibers of a Riemannian submersion are submanifolds of the total space. This allows us to consider the spectrum of a fiber, with respect to the Riemannian metric inherited by the ambient space. In particular, we regard the bottom of the spectrum of the fiber as a function on the base space. According to the next lemma, this function is upper semi-continuous, while Example 3.3 demonstrates that it does not have to be continuous, even if the fibers are minimal.
Lemma 2.9
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion. Then the function \(\lambda _{0}(F_{x})\) is upper semi-continuous with respect to \(x \in M_{1}\).
Proof
Let \(C>0\) and \(x \in M_{1}\) such that \(\lambda _{0}(F_{x}) < C\). We know from Proposition 2.1 that there exists \(f \in C^{\infty }_{c}(F_{x}) {\setminus } \{0\}\) such that \({\mathcal {R}}(f) < C\). Observe that f can be extended to an \(f \in C^{\infty }_{c}(M_{2})\), and there exists an open neighborhood U of x such that f is nonzero on \(F_{y}\) for any \(y \in U\). Then \({\mathcal {R}}(f|_{F_{y}})\) depends continuously on \(y \in U\), which shows that there exists an open neighborhood \(U^{\prime }\) of x such that \({\mathcal {R}}(f|_{F_{y}}) < C\) for any \(y \in U^{\prime }\). Applying Proposition 2.1 to the Riemannian manifold \(F_{y}\) gives that \(\lambda _{0}(F_{y}) < C\) for any \(y \in U^{\prime }\), as we wished. \(\square \)
3 Submersions with fibers of bounded mean curvature
The aim of this section is to prove Theorem 1.1. Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion of possibly non-complete Riemannian manifolds. As in [2, 3], for \(f \in C^{\infty }_{c}(M_{2})\), its average\(f_{{{\,\mathrm{av}\,}}}\) on \(M_{1}\) is defined by
It is worth to mention that in the published version of [2] there is a typo in this definition, which was meant to be as above, and is in this way in the arXiv version of [2]. Using the first variational formula (similarly to [2, Lemma 2.2] and [3, Formula (1.2)]), we have that \(f_{{{\,\mathrm{av}\,}}} \in C^{\infty }_{c}(M_{1})\) and its gradient is related to the gradient of f by
for any \(x \in M_{1}\) and \(X \in T_{x}M_{1}\), where \({\tilde{X}}\) is the horizontal lift of X on \(F_{x}\). The pushdown of f on \(M_{1}\) is given by
This quantity was used by Bordoni to establish spectral estimates for submersions with minimal fibers, and \(M_{2}\) closed (cf. [4, Section 3] and the references provided there). In the context of Riemannian coverings, a similar quantity was introduced in [1] to derive a spectral estimate and was used further in [13] to study coverings preserving the bottom of the spectrum.
Lemma 3.1
Consider \(f \in C^{\infty }_{c}(M_{2})\) and its pushdown g on \(M_{1}\). Then for any \(x\in M_{1}\) with \(g(x)>0\), the gradient of g satisfies
In particular, g is Lipschitz, its gradient is defined almost everywhere and vanishes (if defined) in points where g is zero.
Proof
Given \(x \in M_{1}\) such that \(g(x) > 0\), it is evident that g is differentiable at x. Consider an orthonormal basis \(\{e_{i}\}_{i=1}^{m}\) of \(T_{x}M_{1}\), and denote by \({\tilde{e}}_{i}\) the horizontal lift of \(e_{i}\) on \(F_{x}\), \(1 \le i \le m\). Using (4), we obtain that
which proves the asserted inequality, because \(\{{\tilde{e}}_{i}\}_{i=1}^{m}\) spans the horizontal space at each point of \(F_{x}\). Bearing in mind that g is continuous, and on the set where g is positive we have that g is differentiable with bounded gradient, it is easy to see that g is Lipschitz. The proof is completed by Rademacher’s Theorem and the fact that g is nonnegative. \(\square \)
Proposition 3.2
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion, such that the mean curvature of the fibers satisfies \(\Vert H \Vert \le C \le 2 \sqrt{\lambda _{0}(M_{1})}\). Consider \(f \in C^{\infty }_{c}(M_{2})\), with \(\Vert f \Vert _{L^{2}(M_{2})} = 1\), and its pushdown \(g \in {{\,\mathrm{Lip}\,}}_{c}(M_{1})\). Then the Rayleigh quotients of f and g are related by
Proof
The assumption that \(\Vert f \Vert _{L^{2}(M_{2})} = 1\) yields that \(\Vert g \Vert _{L^{2}(M_{1})} = 1\). Lemma 3.1, together with the fact that \(\Vert H \Vert \le C\) and \(\Vert f \Vert _{L^{2}(M_{2})} =1\), gives the estimate
In view of Proposition 2.1, we have that \(C/2 \le \sqrt{\lambda _{0}(M_{1})} \le \sqrt{{\mathcal {R}}(g)} \), which shows that
Recall that at any point of \(M_{2}\), the tangent space of \(M_{2}\) splits as the orthogonal sum of the horizontal and the vertical space. Since \(\Vert f \Vert _{L^{2}(M_{2})} = 1\), we deduce that
where we applied Proposition 2.1 to the fibers. The conclusion is now a consequence of (5) and (6). \(\square \)
Proof of Theorem 1.1
Given \(x \in M_{1}\), set \(\Lambda (x) := \lambda _{0}(F_{x})\). From Proposition 2.1, it is easy to verify that for any \(\varepsilon > 0\), there exists \(f \in C^{\infty }_{c}(M_{2})\), with \(\Vert f \Vert _{L^{2}(M_{2})} = 1\), such that \({\mathcal {R}}(f) < \lambda _{0}(M_{2}) + \varepsilon \). Let \(g \in {{\,\mathrm{Lip}\,}}_{c}(M_{1})\) be the pushdown of f. Propositions 2.1, 3.2, and the fact that \(\Vert g \Vert _{L^{2}(M_{1})} = 1\), imply that
which proves the first assertion, because \(\varepsilon > 0\) is arbitrary.
Suppose now that the equality holds and that \(\lambda _{0}(M_{1}) \notin \sigma _{{{\,\mathrm{ess}\,}}}(M_{1})\). By virtue of Proposition 2.1, we readily see that there exists \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M_{2})\), with \(\Vert f_{n} \Vert _{L^{2}(M_{2})} = 1\), such that
Consider the sequence \((g_{n})_{n \in {\mathbb {N}}} \subset {{\,\mathrm{Lip}\,}}_{c}(M_{1})\) consisting of the pushdowns of \(f_{n}\). It follows from Proposition 3.2 that for any \(\varepsilon > 0\) there exists \(n_{0} \in {\mathbb {N}}\) such that
for any \(n \ge n_{0}\). Notice that the last term is nonnegative, and Proposition 2.1 gives the estimate \(\sqrt{{\mathcal {R}}(g_{n})} \ge \sqrt{\lambda _{0}(M_{1})} \ge C/2 \). Thus, (7) yields that \({\mathcal {R}}(g_{n}) \rightarrow \lambda _{0}(M_{1})\). Since \(\lambda _{0}(M_{1}) \notin \sigma _{{{\,\mathrm{ess}\,}}}(M_{1})\), we derive from [13, Proposition 3.5] that after passing to a subsequence, if necessary, we may assume that \(g_{n} \rightarrow \varphi \) in \(L^{2}(M_{1})\) for some \(\varphi \in C^{\infty }(M_{1})\) satisfying \(\Delta \varphi = \lambda _{0}(M_{1}) \varphi \). Then [13, Proposition 3.7] implies that \(\varphi \) is positive.
By Lemma 2.9, we know that for any \(c>0\) the set
is closed, and in particular, measurable. For any \(n \ge n_{0}\), we conclude from (7) that
Then \(A_{c}\) is of measure zero for any \(c>0\), since \(\varphi \) is positive in \(M_{1}\) and \(\varepsilon > 0\) is arbitrary. Hence, \(\lambda _{0}(F_{x})\) is equal to its infimum for almost any \(x \in M_{1}\). \(\square \)
The next example shows that in the second statement of Theorem 1.1, in general, we do not have that \(\lambda _{0}(F_{x}) = 0\) for any \(x \in M_{1}\), even if the base manifold is closed, the total space is complete and the fibers are minimal.
Example 3.3
Let \((M,g_{0})\) be an m-dimensional, non-compact, complete Riemannian manifold with \(m \ge 2\) and \(\lambda _{0}(M,g_{0}) > 0\). Fix a diverging sequence \((x_{n})_{n \in {\mathbb {N}}} \subset M\) and \(r_{n}>0\) such that the closed balls \(C(x_{n}, 3 r_{n})\) are disjoint and the exponential map restricted to the corresponding open ball \({{\,\mathrm{exp}\,}}:B(0 , 3r_{n}) \subset T_{x_{n}}M \rightarrow M\) is injective for any \(n \in {\mathbb {N}}\). We may also assume that the distance between any two different \(C(x_{n},3r_{n})\) is at least one. Consider the compactly supported, Lipschitz functions
It is clear that \({{\,\mathrm{grad}\,}}f_{n}\) vanishes almost everywhere outside \(B(x_{n}, 2r_{n}) {\setminus } C(x_{n},r_{n})\). The restriction of \({{\,\mathrm{grad}\,}}f_{n}\) in \(B(x_{n},2r_{n}) {\setminus } C(x_{n},r_{n})\) can be extended to a nowhere vanishing, smooth vector field \(X_{n}\) in \(B(x_{n}, 3r_{n}) {\setminus } C(x_{n}, r_{n}/2)\) (for instance, \(- \,r_{n}^{-1}{{\,\mathrm{grad}\,}}d(\cdot , x_{n})\) is such an extension).
For \(n \in {\mathbb {N}}\), consider a positive \(\varphi _{n} \in C^{\infty }(M)\), with \(\varphi _{n}(y) = 1\) if \(d(y,x_{n}) < 3r_{n}/4\) or \(d(y,x_{n})>5r_{n}/2\), and \(\varphi _{n}(y) = r_{n}^{2}/nc_{n}\) if \(r_{n}< d(y,x_{n}) < 2r_{n}\), where
Let \(\chi _{n} :[-\,1/2,1/2] \rightarrow [0,1]\) be an even, smooth function with \(\chi _{n}(0) = 0\) and \(\chi _{n}(t) = 1\) for \(|t| \ge t_{n} := \min \{1 , r_{n}^{2}\}/4nc_{n}\). For each nonzero \(-\,1/2 \le t \le 1/2\), define the Riemannian metric \(g_{t}\) on M, which coincides with the original metric \(g_{0}\) outside the union of \(B(x_{n} , 3r_{n}) {\setminus } C(x_{n},r_{n}/2)\) with \(n \in {\mathbb {N}}\), and in any \(B(x_{n},3r_{n}) {\setminus } C(x_{n},r_{n}/2)\) is given by
for any tangent vectors Y, Z. It is elementary to compute
From the fact that the volume element of \(g_{t}\) coincides with the volume element of \(g_{0}\), we derive that the Rayleigh quotient of \(f_{n}\) with respect to the Laplacian corresponding to \(g_{t}\) satisfies
where we used that \(f_{n} = 1\) in \(B(x_{n},r_{n})\). For \(t \ne 0\), there exists \(n_{0} \in {\mathbb {N}}\) such that \(\chi _{n}(t) = 1\) for any \(n \ge n_{0}\). In view of Proposition 2.1, taking the limit as \(n \rightarrow +\, \infty \) in (9) gives that \(\lambda _{0}(M , g_{t}) = 0\) for any \(t \ne 0\).
Let \(q :{\mathbb {R}} \rightarrow S^{1} = {\mathbb {R}} / {\mathbb {Z}}\) be the usual Riemannian covering. Consider the product manifold \(M \times S^{1}\) and the denote by \(p :M \times S^{1} \rightarrow S^{1}\) the projection to the second factor. Endow \(M \times S^{1}\) with the Riemannian metric \(g(x,y) = g_{t} (x) \times g_{S^{1}} (y)\), for \(x \in p^{-1}(q(t))\) for some \(-\,1/2 \le t \le 1/2\), and \(y \in S^{1}\). Then \(p :M \times S^{1} \rightarrow S^{1}\) is a Riemannian submersion. Since the volume element of \(g_{t}\) is independent from t, it is not hard to see that the fibers of p are minimal. Moreover, g coincides with the product metric \(g_{0} \times g_{S^{1}}\) outside the union of \(K_{n} := C(x_{n},3r_{n}) \times S^{1}\) with \(n \in {\mathbb {N}}\). Taking into account that the distance between different \(K_{n}\)’s is at least one, and that \((M \times S^{1},g_{0} \times g_{S^{1}})\) is complete, it is not difficult to verify that \((M \times S^{1},g)\) is also complete.
It remains to show that \(\lambda _{0}(M \times S^{1}, g) = 0\). To this end, consider \(h_{n} \in {{\,\mathrm{Lip}\,}}_{c}(M \times S^{1})\) defined by \(h_{n}(x,y) := f_{n}(x)\). Similarly to (9), using that \(\chi _{n}\) is even, \(0 \le \chi _{n} \le 1\), and \(\chi _{n}(t) = 1\) for \(| t | \ge t_{n}\), we obtain that
as \(n \rightarrow + \,\infty \). We conclude from Proposition 2.1 that \(\lambda _{0}(M \times S^{1}, g) = 0\), while we have that \(\lambda _{0}(F_{q(0)}) > 0\), and \(\lambda _{0}(F_{y}) = 0\) for any \(y \in S^{1} {\setminus } \{q(0)\}\).
We now discuss some straightforward applications of Theorem 1.1.
Corollary 3.4
Let \(p :M_{2} \rightarrow M_{1}\) be a Riemannian submersion, where \(M_{1}\) is an m-dimensional Hadamard manifold of sectional curvature \(K \le - a^{2}\) for some \(a > 0\). If the mean curvature of the fibers satisfies \(\Vert H \Vert \le C \le (m-1) a\), then
Proof
According to McKean’s Theorem [12], the bottom of the spectrum of \(M_{1}\) is bounded by
The asserted inequality is a consequence of Theorem 1.1. \(\square \)
It is worth to point out that a similar estimate (without the last term) may be derived from [5, Theorem 5.1]. However, Theorem 1.1 yields a sharper estimate than [5, Theorem 5.1] for submersions over negatively curved symmetric spaces.
It is well known that an m-dimensional negatively curved symmetric space, after rescaling its metric, is isometric to \({\mathbb {K}} {\mathbb {H}}^{n}\), where \({\mathbb {K}}\) is the algebra of real, complex, quaternionic, or Cayley numbers. Here, n stands for the dimension of \({\mathbb {K}} {\mathbb {H}}^{n}\) over \({\mathbb {K}}\), while its real dimension is \(m = n d\), where \(d:= {\dim }_{{\mathbb {R}}}{\mathbb {K}}\). In the case where \({\mathbb {K}}\) is the algebra of Cayley numbers, we have that \(n = 2\). The sectional curvature of \({\mathbb {K}} {\mathbb {H}}^{n}\) is bounded by \(-\,4 \le K \le -\,1\), the exponential growth of \({\mathbb {K}} {\mathbb {H}}^{n}\) is given by \(\mu ({\mathbb {K}} {\mathbb {H}}^{n}) = m \,+\, d - 2\), and the bottom of the spectrum satisfies \(\lambda _{0}({\mathbb {K}} {\mathbb {H}}^{n}) = \mu ({\mathbb {K}} {\mathbb {H}}^{n})^{2}/4\).
Corollary 3.5
Let \(p :M_{2} \rightarrow {\mathbb {K}} {\mathbb {H}}^{n}\) be a Riemannian submersion with fibers of bounded mean curvature \(\Vert H \Vert \le C \le m + d - 2\). Then
Proof
It follows immediately from Theorem 1.1. \(\square \)
A wider class of examples where Theorem 1.1 is applicable consists of submersions over complete, negatively curved, locally symmetric spaces. Any such space, after rescaling its Riemannian metric, is isometric to a regular quotient \(M = {\mathbb {K}} {\mathbb {H}}^{n} / \Gamma \), where \(\Gamma \) is a discrete group. According to the formulas of Sullivan [15] and Corlette [6], the bottom of the spectrum of M is given by
where \(\mu (\Gamma )\) is the exponential growth of \(\Gamma \). Theorem 1.1 can be applied to submersions over such a manifold M in the apparent way.
4 Submersions with closed fibers
Throughout this section, we consider a Riemannian submersion \(p :M_{2} \rightarrow M_{1}\) of complete manifolds with closed fibers. We denote by V(x) the volume of the fiber \(F_{x}\) over \(x \in M_{1}\), by H the mean curvature vector field of the fibers, and by X the smooth vector field on \(M_{1}\) defined by
for any \(x \in M_{1}\).
Fix an open, bounded domain U of \(M_{1}\), and let \(f \in C^{\infty }_{c}(M_{2})\) with \(f = 1\) in \(F_{y}\) for any \(y \in U\). Then \(f_{{{\,\mathrm{av}\,}}} = V\) in U, and (4) shows that \({{\,\mathrm{grad}\,}}V = - V X\) in U. It follows from the fact that U is arbitrary that \({{\,\mathrm{grad}\,}}V = - V X\) in \(M_{1}\). It is immediate to verify that
Let S be the Schrödinger operator on \(M_{1}\) defined by
Observe that \(S \sqrt{V} = 0\), which allows us to consider the renormalization \(S_{\sqrt{V}}\) of S with respect to \(\sqrt{V}\).
Proof of Theorem 1.2
Let \(f \in C^{\infty }_{c}(M_{1}) {\setminus } \{0\}\) and \({\tilde{f}}\) its lift on \(M_{2}\). By Lemmas 2.3 and 2.8, we deduce that
This, together with Proposition 2.1, proves that \(\lambda _{0}(M_{2}) \le \lambda _{0}(S)\). We know from Corollary 2.7 that there exists \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M_{1}) {\setminus } \{0\}\), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint, such that \({\mathcal {R}}_{S}(f_{n}) \rightarrow \lambda _{0}^{{{\,\mathrm{ess}\,}}}(S)\). Then the lifts \({\tilde{g}}_{n}\) of \(g_{n}:=f_{n}/\sqrt{V}\), also have pairwise disjoint supports. Taking into account Proposition 2.2 and (10), it is easy to see that
which establishes the first assertion.
Suppose now that the submersion has fibers of basic mean curvature. Consider \(\lambda \in {\mathbb {R}}\), \(f \in C^{\infty }_{c}(M_{1}) {\setminus } \{0\}\), and \({\tilde{f}}\) its lift on \(M_{2}\). Using Lemma 2.8, formula (3), and the fact that \({{\,\mathrm{grad}\,}}V = - V p_{*}H\), we compute
In view of Lemma 2.3, this implies that
From Proposition 2.5, we obtain that for any \(\lambda \in \sigma _{{{\,\mathrm{ess}\,}}}(S)\), there exists a characteristic sequence \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M_{1})\) for S and \(\lambda \), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint. Then (11) yields that the sequence \(({\tilde{g}}_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M_{2})\), consisting of the lifts of \(g_{n}:=f_{n}/\sqrt{V}\), is a characteristic sequence for \(\Delta \) and \(\lambda \), with \({{\,\mathrm{supp}\,}}{\tilde{g}}_{n}\) pairwise disjoint. We conclude from Proposition 2.5 that \(\lambda \in \sigma _{{{\,\mathrm{ess}\,}}}(M_{2})\). The proof of \(\sigma (S) \subset \sigma (M_{2})\) is similar. \(\square \)
Proof of Corollary 1.3
Let X be the vector field and S the Schrödinger operator defined in the beginning of this section. Notice that \(\Vert X \Vert \le C\). Given \(f \in C^{\infty }_{c}(M_{1})\), with \(\Vert f \Vert _{L^{2}(M_{1})}=1\), we have that
where we used the divergence formula and the Cauchy–Schwarz inequality. By virtue of Proposition 2.1, estimate (12) shows that \(\lambda _{0}(S) \le (\sqrt{\lambda _{0}(M_{1})} + C/2)^{2}\). The first statement is now a consequence of Theorem 1.2.
According to Corollary 2.7, there exists \((f_{n})_{n \in {\mathbb {N}}} \subset C^{\infty }_{c}(M_{1})\), with \({{\,\mathrm{supp}\,}}f_{n}\) pairwise disjoint, \(\Vert f_{n} \Vert _{L^{2}(M_{1})} = 1\), and \({\mathcal {R}}(f_{n}) \rightarrow \lambda _{0}^{{{\,\mathrm{ess}\,}}}(M_{1})\). Bearing in mind Proposition 2.2 and (12), it is straightforward to verify that
The proof is completed by Theorem 1.2. \(\square \)
Proof of Corollary 1.4
Let C be the supremum of the norm of the mean curvature of the fibers. It follows from Corollary 1.3 that if the spectrum of \(M_{1}\) is not discrete, then the spectrum of \(M_{2}\) is not discrete.
Conversely, suppose that \(M_{1}\) has discrete spectrum, and let \((K_{n})_{n \in {\mathbb {N}}}\) be an exhausting sequence of \(M_{1}\) consisting of compact subsets of \(M_{1}\). From Proposition 2.6, we readily see that \((\lambda _{0}(M_{1} {\setminus } K_{n}))_{n \in {\mathbb {N}}}\) is an increasing sequence that diverges. In particular, there exists \(n_{0} \in {\mathbb {N}}\) such that \(C \le 2\sqrt{\lambda _{0}(M_{1} {\setminus } K_{n})}\) for any \(n \ge n_{0}\). Applying Theorem 1.1 to the restriction of \(p :M_{2} {\setminus } p^{-1}(K_{n}) \rightarrow M_{1} {\setminus } K_{n}\) over any connected component of \(M_{1} {\setminus } K_{n}\) gives that
for any \(n \ge n_{0}\). Observe that \((p^{-1}(K_{n}))_{n \in {\mathbb {N}}}\) is an exhausting sequence of \(M_{2}\) consisting of compact subsets of \(M_{2}\), because p has closed fibers. In view of Proposition 2.6, taking the limit as \(n \rightarrow + \,\infty \) in (13), we derive that \(M_{2}\) has discrete spectrum.\(\square \)
Finally, we present some basic examples where our results can be applied. We assume that the manifolds involved in these examples are complete.
Example 4.1
- (i)
The warped product\(M_{2} = M_{1} \times _{\psi } F\) is the product manifold endowed with the Riemannian metric \(g_{N} \times \psi ^{2} g_{F}\), where \(\psi \in C^{\infty }(M_{1})\) is positive. The projection to the first factor \(p :M_{2} \rightarrow M_{1}\) is a Riemannian submersion with fibers of basic mean curvature
$$\begin{aligned} H = - k {{\,\mathrm{grad}\,}}(\ln {\tilde{\psi }}), \end{aligned}$$where \(k = \dim (F)\). Suppose that F is closed, and consider the Schrödinger operator
$$\begin{aligned} S := \Delta - \frac{\Delta \psi ^{k/2}}{\psi ^{k/2}} \end{aligned}$$on \(M_{1}\). Taking into account Theorem 1.2, we deduce that \(\sigma (S) \subset \sigma (M_{2})\) and \(\sigma _{{{\,\mathrm{ess}\,}}}(S) \subset \sigma _{{{\,\mathrm{ess}\,}}}(M_{2})\). If, in addition, \({{\,\mathrm{grad}\,}}(\ln \psi )\) is bounded, then Corollary 1.4 implies that \(\sigma _{{{\,\mathrm{ess}\,}}}(M_{1}) = \emptyset \) if and only if \(\sigma _{{{\,\mathrm{ess}\,}}}(M_{2}) = \emptyset \). It is worth to point out that surfaces of revolution are warped products of the form \({\mathbb {R}} \times _{\psi } S^{1}\).
- (ii)
A wider class of Riemannian submersions than warped products, consists of Clairaut submersions, which were introduced by Bishop motivated by a result of Clairaut on surfaces of revolution. A Riemannian submersion \(p :M_{2} \rightarrow M_{1}\) is called Clairaut submersion if there exists a positive \(f \in C^{\infty }(M_{2})\), such that for any geodesic c on \(M_{2}\), the function \((f \circ c) \sin \theta \) is constant, where \(\theta (t)\) is the angle between \(c^{\prime }(t)\) and \((T_{c(t)}M_{2})^{h}\). Bishop showed that a Riemannian submersion \(p :M_{2} \rightarrow M_{1}\) with connected fibers, is a Clairaut submersion if and only if the fibers are totally umbilical with mean curvature
$$\begin{aligned} H = - k {{\,\mathrm{grad}\,}}(\ln {\tilde{\psi }}) \end{aligned}$$for some positive \(\psi \in C^{\infty }(M_{1})\), where k is the dimension of the fiber (cf. for instance [9, Theorem 1.7]). It is immediate to obtain statements for Clairaut submersions with closed and connected fibers, analogous to the ones we established for warped products.
- (iii)
Let G be a compact and connected Lie group acting smoothly and freely via isometries on a Riemannian manifold M, with \(\dim (M) > \dim (G)\). Then it is not difficult to see that the projection \(p :M \rightarrow M / G\) is a Riemannian submersion with closed fibers of basic mean curvature.
References
Ballmann, W., Matthiesen, H., Polymerakis, P.: On the bottom of spectra under coverings. Math. Z. 288(3–4), 1029–1036 (2018)
Bessa, G.P., Montenegro, J.F., Piccione, P.: Riemannian submersions with discrete spectrum. J. Geom. Anal. 22(2), 603–620 (2012). arXiv:1001.0853
Bordoni, M.: Spectral estimates for submersions with fibers of basic mean curvature. An. Univ. Vest Timiş. Ser. Mat.-Inform. 44(1), 23–36 (2006)
Bordoni, M.: Spectra of Submersions, Contemporary Geometry and Related Topics. Faculty of Mathematics, University of Belgrade, Belgrade (2006)
Cavalcante, M.P., Manfio, F.: On the fundamental tone of immersions and submersions. Proc. Amer. Math. Soc. 146(7), 2963–2971 (2018)
Corlette, K.: Hausdorff dimensions of limit sets I. Invent. Math. 102(3), 521–541 (1990)
Donnelly, H.: On the essential spectrum of a complete Riemannian manifold. Topology 20(1), 1–14 (1981)
Donnelly, H., Li, P.: Pure point spectrum and negative curvature for noncompact manifolds. Duke Math. J. 46(3), 497–503 (1979)
Falcitelli, M., Ianus, S., Pastore, A.M.: Riemannian Submersions and Related Topics. World Scientific Publishing Co., Inc., River Edge (2004)
Fischer-Colbrie, D., Schoen, R.: The structure of complete stable minimal surfaces in 3-manifolds of non-negative scalar curvature. Comm. Pure Appl. Math. 33(2), 199–211 (1980)
Grigor’yan, A.: Heat Kernels on Weighted Manifolds and Applications. The Ubiquitous Heat Kernel, Contemporary Mathematics, vol. 398, pp. 93–191. American Mathematical Society, Providence (2006)
McKean, H.P.: An upper bound to the spectrum of \(\Delta \) on a manifold of negative curvature. J. Differential Geom. 4, 359–366 (1970)
Polymerakis, P.: Coverings preserving the bottom of the spectrum. MPI-Preprint 2019–3. arXiv:1811.07844
Polymerakis, P.: On the spectrum of differential operators under Riemannian coverings. J. Geom. Anal. (2019). https://doi.org/10.1007/s12220-019-00196-1
Sullivan, D.: Related aspects of positivity in Riemannian geometry. J. Differential Geom. 25(3), 327–351 (1987)
Acknowledgements
Open access funding provided by Projekt DEAL. I would like to thank Werner Ballmann and Dorothee Schüth for their helpful comments and remarks. I am also grateful to the Max Planck Institute for Mathematics in Bonn for its support and hospitality. I would also like to thank the referee for some helpful suggestions.
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
Polymerakis, P. Spectral estimates and discreteness of spectra under Riemannian submersions. Ann Glob Anal Geom 57, 349–363 (2020). https://doi.org/10.1007/s10455-020-09703-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-020-09703-y