Abstract
The purpose of this paper is two-fold: we systematically introduce the notion of Cheeger deformations on fiber bundles with compact structure groups, and recover in a very simple and unified fashion several results that either already appear in the literature or are known by experts, though are not explicitly written elsewhere. We re-prove: Schwachhöfer–Tuschmann Theorem on bi-quotients, many results due to Fukaya and Yamaguchi, as well as, naturally extend the work of Searle–Solórzano–Wilhelm on regularization properties of Cheeger deformations, among others. In this sense, this paper should be understood as a survey intended to demonstrate the power of Cheeger deformations. Even though some of the results here appearing may not be known as stated in the presented form, they were already expected, being our contribution to the standardization and spread of the technique via a unique language.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The metric deformation known as Cheeger deformations was firstly introduced on [2]. Its main goal was to produce metrics with non-negative sectional curvature on manifolds with symmetries. Since then, Cheeger deformations were used in [9, 11] to produce new examples of manifolds with non-negative and positive sectional curvature; in [13, 19, 20] to study curvature properties on homogeneous spaces such as biquotients, on [21] to lift positive Ricci curvature from a metric quotient M/G to M, and in [4, 5, 11] to provide examples of manifolds with non-negative sectional and/or positive Ricci curvatures. Other interesting results along the same lines are in [1, 8, 12, 19]. Here we introduce an analogous metric deformation, defined on a specific class of metrics on fiber bundles with compact structure groups, naturally supported on Cheeger deformations. Throughout the manuscript we provide other references, including results on the existence metrics of almost non-negative sectional curvature.
Recall that from any fiber bundle \(F \hookrightarrow M \rightarrow B\) with compact structure group G can be decoupled a principal G-bundle \(\mathcal P \rightarrow B\) and a manifold F with an effective G-action. Here, M can be recovered via a submersion \(\overline{\pi }: \mathcal P \times F \rightarrow M\) with fiber G. The idea of our deformation consists of inducing a one parameter family of metrics on M via \(\overline{\pi }\) after making Cheeger deformation on \(\mathcal P\). That is, if \(\textit{g}\) is a Riemannian metric on \(\mathcal P\) for which G acts via isometries, given any G-invariant metric \(\textit{g}_F\) on F we look to the metric \(\textit{h}_t\) on M obtained from \(\textit{g}_t + \textit{g}_F\) in \(\mathcal P \times F\), see Definition 1 for further details.
All the long we mostly follow the approach in [25] and [16], introducing useful tensors to standardize the analysis of this deformation, such as nowadays well established the basics on Cheeger deformations. As a very useful formula we shall obtain:
Let \(\textit{h}\) obtained via \(\overline{\pi }: (\mathcal P \times F, \textit{g}+ \textit{g}_F) \rightarrow (M,\textit{h})\) and let \(\textit{g}_t\) be a Cheeger deformation of \(\textit{g}\). Then, for every pair \({\tilde{X}} = X + X_F + U^*\), \({\tilde{Y}} = Y + Y_F + V^*\) of tangent vectors to M, appropriately decomposed, it holds that
where \({\tilde{\kappa }}_t\) is the unreduced sectional curvature of the metric \(\textit{h}_t\) computed in an appropriate reparametrization of the plane \({\tilde{X}}\wedge {\tilde{Y}}\), \(\kappa _t\) is the unreduced sectional curvature of \(\textit{g}_t\) and \(K_{\textit{g}_F}\) is the unreduced sectional curvature of \(\textit{g}_F\). Moreover, \({\tilde{z}}_t\) is a non-negative term.
We stress it out that it is not of the author’s knowledge whether Eq. (1) already appears elsewhere in such a general manner. However, when collapsing the fiber F to a single point, it naturally yields to the well known expression of the sectional curvature of a Cheeger deformation computed at some reparameterized planes, see [25, Proposition 1.3, p.2] or Eq. (5).
Taking advantage of Eq. (1), we re-prove in a very general picture results on almost non-negative sectional curvature appearing in [7]. Such results as stated were either already known (see [25]) or expected to be true, though not explicitly written elsewhere.
Theorem 1.1
(Fukaya–Yamaguchi) Let \(F \hookrightarrow M \rightarrow B\) be a bundle with compact structure group G, fiber F and base B. Assume that M is an associate bundle to \(\pi : (\mathcal P,\textit{g}) \rightarrow B\) such that:
-
(1)
\(K_{\textit{g}}\ge 0\);
-
(2)
F has a G-invariant metric \(\textit{g}_F\) of non-negative sectional curvature.
Then M admits a sequence of Riemannian metrics \(\{\textit{g}_n\}\) such that \(\mathrm {sec}_{\textit{g}_n} \ge -\frac{1}{n},\) \(\mathrm {diam}~(M,\textit{g}_n) \le \frac{1}{n}.\)
A Fukaya–Yamaguchi type result on the existence of almost non-negative Ricci curvature, namely:
Theorem 1.2
Let \(F\hookrightarrow M \rightarrow B\) be a fiber bundle with compact structure group G and total space M. Also assume that F carries a metric \(\textit{g}_F\) of non-negative Ricci curvature and B carries a metric \(\textit{g}_{\epsilon }\) with \({\mathrm{Ric}}(\textit{g}_{\epsilon }) \ge -\epsilon ^2\). Then M carries a metric \(\textit{h}_{\epsilon }\) with \({\mathrm{Ric}}(\textit{h}_{\epsilon }) \ge -\epsilon ^2\).
Both Theorems 1.1 and 1.2 should follow from the computations in [19], though these follow very directly from our techniques. We also reinforce that Theorem 1.2 was first conjectured to be true in [7, Conjecture 0.14, p.257], see also [3, 22, 24]. Notably as well is the fact that this kind of result is of interest in the field of Metric Geometry, though we do not touch this area here, being the above-mentioned theorem proofs of concept to the deformation here developed. Other very useful references related to these subjects are: [15, 23].
All the analyses coming out from Eq. (1) allows us to recover in a very simple fashion classical results in bi-quotients, such as:
Theorem 1.3
(Schwachhöfer–Tuschmann) Any bi-quotient G//K from a compact Lie group G admits a metric with positive Ricci curvature and almost non-negative sectional curvature simultaneously if, and only if, G//K has finite fundamental group.
Finally, we obtained two further applications. Recall for instance that in [18] Searle–Solórzano–Wilhelm show that Cheeger deformations work as a strong regularization process: appropriate scaling of the family of metrics on Cheeger deformations imply \(C^p\)-convergence, for any \(p\ge 0\) a priori fixed, to metrics with totally geodesic fibers. We apply this idea here to prove:
Theorem 1.4
Let \(\pi : F\hookrightarrow M \rightarrow B\) be a fiber bundle with compact total space and compact structure group G. Assume that \(\textit{h}\) is a Riemannian submersion metric on M obtained via the submersion \(\overline{\pi }: (\mathcal P\times F,\textit{g}+\textit{g}_F) \rightarrow M\), where \(\mathcal P\) is the associated principal bundle to \(\pi \) and \(\textit{g}, \textit{g}_F\) are, respectively, G-invariant metrics on \(\mathcal P\) and F. Then, for any integer \(p\ge 0\), after an appropriate re-scaling the fibers of \(\pi \), the metric deformation \(\textit{h}_t\) (Definition 1, Sect. 3), converges in the \(C^p\)-topology to a Riemannian submersion metric with totally geodesic fibers.
Theorem 1.4 was already expected to be true but more importantly, this regularization nature of Cheeger deformations already appears in the proof of all the mentioned results in this intro. As it is also clear, the sectional curvature formulae (1) may lead to new conjectures in which concerns the existence of metrics with positive sectional curvature on the total space of some fiber bundles.
Recall, for instance, the fiber dimension Petersen–Wilhelm conjecture:
Conjecture A
(Petersen–Wilhelm Fiber dimension conjecture). If \(F\hookrightarrow M\rightarrow B\) is a Riemannian submersion from a positively curved closed manifold M, then
In Sect. 5 we make some comments on this conjecture in the case of fiber bundles with the structure group being \(S^3, SO(3)\). More precisely, we conjecture:
Conjecture B
(Principal bundle Strong Petersen–Wilhelm conjecture). Any \(S^3, SO(3)\) principal bundle over a positively curved manifold admits a metric with positive sectional curvature if, and only if, such a submersion is fat.
Assuming the validity of Conjecture B it shall be straightforward to check that: Any \(S^2\hookrightarrow M \rightarrow B\) fat bundle with structure group SO(3) admits a metric of non-negative sectional and positive vertizontal curvature. In particular, \(\dim B\ge 4\).
1.1 Notation and conventions
We denote by \(R_{\textit{g}}\) the Riemannian tensor of the metric \(\textit{g}\):
where \(\nabla \) stands for the Levi-Civita connection of \(\textit{g}\). We denote either by \(K_{\textit{g}}(X,Y)=\textit{g}(R_{\textit{g}}(X,Y)Y,X)\) or by \(R_{\textit{g}}(X,Y),\) making it clear in the context, the unreduced sectional curvature of \(\textit{g}\). The Ricci tensor of \(\textit{g}\) is defined by
where \(\{e_1,...,e_n\}\) is an orthonormal basis for \(\textit{g}\). The associated quadratic form is denoted by \({\mathrm{Ric}}_{\textit{g}}(X)={\mathrm{Ric}}_{\textit{g}}(X,X)\).
Whenever we say we have a Riemannian principal bundle we mean that the principal bundle is considered with a Riemannian submersion metric.
2 (Classical) Cheeger deformations
We first recall the procedure known as Cheeger deformations. Though the main formulae come from classical references, such as [25] and [16], we shall proceed differently in which concerns the presentation. The reason for that is to make more natural our definition of Cheeger deformation on fiber bundles.
Take the product manifold \(M\times G\) with the product metric \(\textit{g}+t^{-1}Q\), where G acts on M via isometries and Q is a bi-invariant metric on G. We therefore see ourselves with two possibilities of free (and commuting) actions:
In (2) the action \(\bullet \) stands to
while the action \(\star \) is nothing but the associated bundle action on \(M\times G\), that is
Therefore, \(\pi ((m,g)) := m\) meanwhile \(\pi '((m,g)) := g^{-1}m\). Since \(\pi \) and \(\pi '\) define principal bundles, the metric \(\textit{g}+t^{-1}Q\) induces via \(\pi \) and \(\pi '\), respectively, the metrics \(\textit{g}\) (the original one) and \(\textit{g}_t\), a Cheeger deformation of \(\textit{g}\). Also note that although \(\textit{g}_1 = \textit{g}\), the horizontal space obtained via \(\pi '\) has a different angular position in relation to the horizontal space obtained via \(\pi \), what can be directly checked from the fact that \(\textit{g}_1(\cdot , \cdot ) = \textit{g}(C_1\cdot ,\cdot ) = \textit{g}((1+P)^{-1}\cdot ,\cdot ).\)
Throughout the paper it is shall be denoted by \(\mathfrak {m}_p\) the Q-orthogonal complement of \(\mathfrak {g}_p\), the Lie algebra of \(G_p\). We recall that \(\mathfrak {m}_p\) is isomorphic to the tangent space to the orbit Gp via action fields: for any \(U\in \mathfrak {g}\) the corresponding action field out of U is defined by the rule
It is straightforward to check that the map \(U\mapsto U^*_p\) is a linear morphism whose kernel is \(\mathfrak {g}_p\). This manner, any vector tangent to \(T_pGp\) is said to be vertical, hence, such a space is named as the vertical space at p, being denoted by \(\mathcal {V}_p\). For each \(p\in M\) its orthogonal complement, denoted by \(\mathcal H_p\), is named horizontal space. A tangent vector \(\overline{X} \in T_pM\) can be uniquely decomposed as \(\overline{X} = X + U^{*}_p\), where X is horizontal and \(U\in \mathfrak {m}_p\).
To more feasible to understand the geometric properties of Cheeger deformations, next we shall define useful tensors associated with Cheeger deformations, see [25] for further clarifications.
-
(1)
The orbit tensor at p is the linear map \(P : \mathfrak {m}_p \rightarrow \mathfrak {m}_p\) defined by
$$\begin{aligned} \textit{g}(U^{*},V^{*}) = Q(PU,V),\quad \forall U^{*}, V^{*} \in \mathcal {V}_p \end{aligned}$$ -
(2)
For each \(t > 0\) we define \(P_t:\mathfrak {m}_p\rightarrow \mathfrak {m}_p\) as
$$\begin{aligned} \textit{g}_t(U^{*},V^{*}) = Q(P_tU,V), \quad \forall U^{*}, V^{*} \in \mathcal {V}_p \end{aligned}$$ -
(3)
The metric tensor of \(\textit{g}_t\), \(C_t:T_pM\rightarrow T_pM\) is defined as
$$\begin{aligned} \textit{g}_t \left( \overline{X},\overline{Y}\right) = \textit{g} \left( C_t\overline{X},\overline{Y}\right) , \quad \forall \overline{X}, \overline{Y} \in T_pM \end{aligned}$$
All the three tensors above are symmetric and positive definite. The next proposition shows how they are related to each other and to the original metric quantities.
Proposition 2.1
(Proposition 1.1 in [25]) The tensors above satisfy:
-
(1)
\(P_t = \left( P^{-1} + t1 \right) ^{-1} = P(1 + tP)^{-1}\),
-
(2)
If \(\overline{X} = X + U^{*}\) then \(C_t \left( \overline{X} \right) = X + \left( \left( 1 + tP \right) ^{-1}U \right) ^{*}\).
It worth pointing it out that as first observed by Cheeger and playing a vital role in [16], the metric tensor \(C_t^{-1}\) can be used to define a very informative reparametrization of 2-planes to the computation of sectional curvature. Indeed, using this reparametrization we can observe that Cheeger deformations do not create ‘new’ planes with zero sectional curvature, meaning that
Theorem 2.2
Let \(\overline{X} = X + U^{*},~ \overline{Y} = Y + V^{*}\) be tangent vectors. Then \(\kappa _t \left( \overline{X},\overline{Y} \right) := R_{\textit{g}_t}\left( C_t^{-1}\overline{X},C_t^{-1}\overline{Y},C_t^{-1}\overline{Y},C_t^{-1}\overline{X}\right) \) satisfies
where \(z_t\) is non-negative.
We refer to either [25, Proposition 1.3] or [6, Lemma 3.5] for the details on the proof and more references. Also, with the aim of concluding this section, next we recall a formula for the Ricci curvature of Cheeger deformed metric (see also [6, Lemma 2.6, p.7)]).
2.1 Ricci curvature
Let \(\{v_1,\ldots ,v_k\}\) be a Q-orthonormal basis of eigenvectors of \(P : \mathfrak {m}_p \rightarrow \mathfrak {m}_p\), with eigenvalues \(\lambda _1\le \cdots \le \lambda _k\). Given a \(\textit{g}\)-orthonormal basis \(\{e_{k+1},\ldots ,e_n\}\) for \(\mathcal H_p\), we fix the \(\textit{g}\)-orthonormal basis \(\{e_1,\ldots ,e_k,e_{k+1},\ldots ,e_n\}\) for \(T_pM\), where \(e_i = \lambda _i^{-1/2}v^{*}_i\) for \(i\le k\).
The follow claim can be straightforwardly checked:
Claim 1
The set \(\{C_t^{-1/2}e_i\}_{i=1}^n\) is a \(\textit{g}_t\)-orthonormal basis for \(T_pM\). Moreover, \(C_t^{-1/2}e_i = (1+t\lambda _i)^{1/2}e_i\) for \(i \le k\) and \(C_t^{-1/2}e_i = e_i\) for \(i > k.\)
Define the horizontal Ricci curvature as
Lemma 1
For \(\{e_1,...,e_n\}\) as above,
Moreover,
In particular, if the action G is free and \(\bar{\textit{g}}\) denotes the orbital distance metric in M/G it holds that
Proof
A straightforward computation following Eq. (5) gives
Equations (7), (8) now follows by replacing \(\overline{X}\) by \(C_t\overline{X}\). Finally, Eq. (9) is derived from Lemma 4.2 in [6]. \(\square \)
We finish this section giving a characterization to the \(z_t\)-term. This shall bring more clarity to the content of Lemma 3 ahead. See also [6, Lemma 3.5, p. 11].
Lemma 2
It holds that
where \(dw_Z\) is defined as:
where \(Z^*\) is the action vector associated to \(Z\in \mathfrak {g}\).
Moreover, if \(q\in M^{reg}\), \(X,Y\in \mathcal H_q\) and \(U\in \mathfrak {g}\), then
Therefore,
Proof
We begin observing that Eqs. (13) and (14) follow from the definition of exterior derivative of 1-forms:
To continue, let us make a small digression.
Claim 2
Let \( pr : (M,\textit{g}) \rightarrow (M/G,\overline{\textit{g}})\) be a Riemannian submersion and let X, Y be horizontal vector fields. Then
Proof
This follows from the fact that for any vector space with inner product:
If V is a vector space with inner product \(\langle \cdot ,\cdot \rangle \), then
Hence,
\(\square \)
Back to the proof, we now apply Claim 2 to the Riemannian submersion \(\pi ': (M\times G,\textit{g}+ \frac{1}{t}Q)\rightarrow (M,\textit{g}_t)\) since \(z_t(\overline{X},\overline{Y})\) is precisely \(3|A^{\pi '}_{\mathcal L_{\pi '}C_t^{-1}\overline{X}}\mathcal L_{\pi '}C_t^{-1}\overline{Y}|_{\textit{g}+ t^{-1}Q}^2\).
Denote by \(\overline{w}_Z^t\), \(w_Z\) and \(\overline{w}_Z\) the auxiliary 1-forms (see Eq. 12) associated to the actions defined in \((M\times G,\textit{g}+ \frac{1}{t}Q)\), \((M,\textit{g})\), and to the action by left translation in (G, Q), respectively. Note that \(\overline{w}_Z^t= w_Z+t^{-1}\overline{w}_Z\).
On the one hand, \(\mathcal {L}_{\pi '}\overline{X}\), the horizontal lift of \(C_t^{-1}\overline{X}\) with respect to \(\pi ' :M\times G\rightarrow M\) is given by
On the other hand \(d\overline{w}_Z(PU,PV) = \frac{1}{2}Q([PU,PV],Z)\) and
Finally, note that
once \(Q(Z,Z) = 1\). The proof is finished by applying Claim 2 to the metric \(\textit{g}{+} \frac{1}{t}Q\). Equation (15) follows easily combining Eq. (10) with (13), (14). \(\square \)
3 Cheeger deformations on associated fiber bundles
In this section we shall use Cheeger deformations to produce deformed metrics on fiber bundles with compact structure groups. As we will describe in Sect. 4, such a deformation works as a canonical model from which any basic vertical metric deformation on fiber bundles shall descend from.
Let \(F\hookrightarrow M{\mathop {\rightarrow }\limits ^{\pi }}B\) be a fiber bundle from a manifold M, with fiber F and compact structure group G and base B. We start by recalling that the structure group of a fiber bundle is the group where some choice of transition functions on M takes values. Precisely, if G acts effectively on F, then G is a structure group for \(\pi \) if there is a choice of local trivializations \(\{(U_i,\phi _i:\pi ^{-1}(U_i) \rightarrow U_i\times F)\}\) such that, for every i, j with \(U_i\cap U_j \ne \emptyset \), there is a continuous function \(\varphi _{ij} : U_i\cap U_j \rightarrow G\) satisfying
for all \(p\in U_i\cap U_j\).
The existence of \(\{\varphi _{ij}\}\) allows us to construct a principal G-bundle over B (see [14, Proposition 5.2] for details) that we shall denote by \(\mathcal {P}\). Furthermore, there exists a principal G-bundle \(\overline{\pi }: \mathcal P\times F \rightarrow M\) whose principal action is given by
(For the details see the construction on the proof of [10, Proposition 2.7.1].)
For each pair \(\textit{g}\) and \(\textit{g}_F\) of G-invariant metrics on \(\mathcal P\) and F, respectively, there exists a metric h on M induced by \(\overline{\pi }\). Denote by \(\mathcal {M}\) the set of all metrics obtained in this way (for instance, if the G-action on F is transitive, then every metric on M such that the holonomy acts by isometries on each fiber belongs to \(\mathcal {M}\)). The set \(\mathcal {M}\) is the set of admissible metrics for our deformation:
Definition 1
(The deformation) Given \(h \in \mathcal {M}\), consider \(\textit{g}{+}\textit{g}_F\) a product metric on \(\mathcal P\times F\) such that \(\overline{\pi }:(\mathcal P\times F,\textit{g} + \textit{g}_F)\rightarrow (M,\textit{h})\) is a Riemannian submersion. We define \(\textit{h}_t\) as the submersion metric induced by \(\textit{g}_t + \textit{g}_F\), where \(\textit{g}_t\) is the time t Cheeger deformation associated with \(\textit{g}\).
As it can be seen, the deformation itself is well-defined for a broader class of metrics (for instance, \(\mathcal P\times F\) could have any metric such that each slice \(\{p\}\times F\) has a G-invariant metric). However, if the metric is not a product metric, the deformed curvature is harder to control and Theorem 3.1 ahead does not hold.
3.1 Curvature formulae
With the aim of establishing the basic curvature formulae associated to the introduced deformation, we proceed with the following discussion.
Fix \((p,f) \in \mathcal {P}\times F\). Any \(\overline{X}\in T_{(p,f)}(\mathcal P\times F)\) can be written as \(\bar{X} = \left( {X + V^{ \vee } ,X_{F} + W^{*} } \right)\), where X is orthogonal to the G-orbit on \(\mathcal P\), \(X_F\) is orthogonal to the G-orbit on F and, for \(V,W\in \mathfrak {g}\), \(V^{\vee }\) and \(W^{*}\) are the action vectors relative to the G-actions on \(\mathcal P\) and F respectively. Let \(P,~P_F\) and \(P_t\) be the orbit tensors associated to \(\textit{g},~\textit{g}_F\) and \(\textit{g}_t\), respectively. We claim that \(\overline{X}\) is \(\textit{g}_t + \textit{g}_F\)-orthogonal to the G-orbit of (17) if and only if
for some \(W\in \mathfrak {m}_f\).
Indeed, a vector \((X+{V^{\vee }},X_F+W^{*})\) is horizontal if and only if, for every \(U\in \mathfrak {g}\):
Since U is arbitrary, we conclude that \(V = -P^{-1}_tP_F W\).
Keeping in mind that the point (p, f) is fixed, we abuse notation and denote
Define the tensors \({\tilde{P}}_t,{\tilde{C}}_t:\mathfrak {m}_f\rightarrow \mathfrak {m}_f\),
Claim 3
Let \(\mathcal L_{\overline{\pi }}: T_{\overline{\pi }(p,f)}M \rightarrow T_{(p,f)}(\mathcal {P}\times F)\) be the horizontal lift associated to \(\overline{\pi }\). Then,
Proof
First observe that the right-hand-side of (22) is of the form (18): take \(W=P_F^{-1} {\tilde{P}}_tU \), so \( P_t^{-1}{\tilde{P}}_tU=P^{-1}_tP_FW\). Therefore, it is sufficient to verify that
Since \(\ker d{\bar{\pi }}=\{(U^\vee ,U^*)~|~U\in \mathfrak {g}\}\), convention (19) gives \(d{\bar{\pi }}(U^\vee ,0)=-U^*\), thus
since \({\tilde{P}}_t=(P_t^{-1}+P_F^{-1})^{-1}\). \(\square \)
Next, we prove that the unreduced sectional curvature is nondecreasing for reparameterized planes (Theorem 3.1). For the reparametrization, extend \({\tilde{C}}_t\) to \(T_{\overline{\pi }(p,f)}M\) via
Mimicking M. Müter’s approach, we obtain a similar result to Theorem 2.2 defining \({\tilde{\kappa }}_{t}({\tilde{X}}, {\tilde{Y}}) = R_{\textit{h}_t}({\tilde{C}}_t^{-1}X,{\tilde{C}}_t^{-1}Y,{\tilde{C}}_t^{-1}Y,{\tilde{C}}_t^{-1}X)\).
Theorem 3.1
(Sectional curvature) Let \(\textit{h}\in \mathcal M\) and \(\textit{g}_t + \textit{g}_F\) be as in Definition 1. Then, for every pair \({\tilde{X}} = X + X_F + U^*\), \({\tilde{Y}} = Y + Y_F + V^*\) ,
where \(\kappa _t\) is as in Theorem 2.2 and \({\tilde{z}}_t\) is non-negative.
Proof
The proof follows from a direct use of Gray–O’Neill curvature formula and Claim 3. Observe that
Let \({\tilde{z}}_t\) be three times the norm squared of the integrability tensor of \(\overline{\pi }\) applied to \(\mathcal {L}_{\overline{\pi }}{\tilde{C}}_t^{-1}{\tilde{X}},\mathcal {L}_{\overline{\pi }}{\tilde{C}}_t^{-1}{\tilde{Y}}\) (see [10] for details). Then,
\(\square \)
Since the \({\tilde{z}}_t\) shall play some role in the next applications in this paper, we shall study it in more detail. We first claim that it isnon-decreasing with respect to t. This is a crucial observation since \({\tilde{z}}_0\) is an essential part of the initial curvature: since \({\bar{\pi }}:(\mathcal P\times F,g\times g_F)\rightarrow (M,h )\) is chosen to be a Riemannian submersion, \({\tilde{z}}_0\) is the A-tensor term on the submersion formula. Or, equivalently, taking \(t=0\) in Theorem 3.1,
It is even possible to furnish a precise description to \(\widetilde{z}_t\). Indeed, although we choose to omit the proof, it can be proved exactly as in [6, Lemma 3.5, p. 11], or Lemma 2, that
Lemma 3
Let
where \(Z^*\) is the action vector associated to \(Z\in \mathfrak {g}\). Then it holds that
3.2 Regularization via Cheeger deformations
Let \((M,\textit{g})\) be a compact Riemannian manifold with an effective isometric action by a compact Lie group G. If \(\textit{g}_t\) denotes a one-parameter family of metrics obtained out from \(\textit{g}\) via Cheeger deformations, we can check from the expression to \(P_t = P(1+tP)^{-1}\), see Eq. (1), that as \(t\rightarrow \infty \) the Riemannian metric \(\textit{g}_t\) degenerates.
Taking this observation in account, in [18] Searle, Solórzano and Wilhelm show that for any compact subset of the regular stratum of the G-action on M, re-scaling the fibers of the fiber bundle \(\pi : (M^{reg},\textit{g}_t) \rightarrow M^{reg}/G\), with the same parameter t, a procedure known as Canonical Variation, implies that for any integer \(p\ge 0\) it holds the convergence of \({\widetilde{g}}_t: = t{\textit{g}_t}|_\mathcal{V}\oplus \textit{g}|_\mathcal{H}\), in the \(C^p\)-topology, to a Riemannian metric with totally geodesic fibers, see [18, Theorem A].
It follows, in particular, that the class \(\mathbf {P}^{\Omega }\) of principal bundles with connection metrics is invariant by Cheeger deformations. More interesting, any principal bundle with an invariant submersion metric is attracted to \(\mathbf {P}^{\Omega }\) by the means of Cheeger deformations.
In this section, we shall prove the analogous result to the class of Riemannian submersions on fiber bundles with compact structure group and total space.
Let \((M,\textit{h}_t)\rightarrow (B,\textit{g}_B)\) be a complete Riemannian fiber bundle where \(\textit{h}_t\) is induced via Definition 1. We prove that for any compact \(K\subset M\) and any non-negative integer p, the canonical deformation
where \((\mathcal H,\textit{h}_t|_\mathcal{H})\) is isometric to \((TB,\textit{g}_B)\), converges to, in the \(C^p\)-topology, to a Riemannian submersion metric with totally geodesic fibers on \(M\rightarrow B\) and horizontal distribution isometric to \(\mathcal H\cong TB\).
To begin with, let us explain a little bit further about the admissible metrics to the deformation since we have the restriction imposed by the class \(\mathcal M\) (recall Definition 1).
Suppose that we start with a Riemannian metric \(\textit{g}_B\) on B. Then let \(\mathcal P\) be the principal bundle obtained from \(M\rightarrow B\) and let \(\omega : TP \rightarrow \mathfrak {g}\) be any connection there defined. If the structure group of \(M\rightarrow B\) has a biinvariant metric Q, we impose the Kaluza–Klein (or connection) metric on \(\mathcal P\):
Assuming that G is compact one observes that it is always possible to assume that \(\omega \) is G-invariant. Therefore, any metric \(\textit{h}\) obtained this way belongs to \(\mathcal M\) for the invariant metrics on \(\mathcal P\) defined by Eq. (25). Theorem 3.2 shall show that every metric h in the class \(\mathcal M\) is attracted by the subset of \(\mathcal M\) of metrics obtained in this manner.
Let us first prove that the metric (24) shall approach a metric with totally geodesic fibers as t grows large. To do so, we first observe that the shape operator \({\widetilde{S}}_X\) for any \(X\in \mathcal H\) associated to \(\widetilde{\textit{h}_t}\) coincides with the shape operator \(S^t_X\) of \(\textit{h}_t\). Indeed, according to equation (2.1.7) in [10, Chapter 2, p. 47] the vertical component of the covariant derivative \({\widetilde{\nabla }}_TX\) of a canonical variation remains unchanged provided if T is vertical and X is horizontal.
It then suffices to check that \(\lim _{t\rightarrow \infty }\max _{|X| = 1}|S^t_X|_t = 0\) in K. To do so, observe that since the shape operator is symmetric with respect to the metric it is obtained from, it holds that
Finally, it can be directly checked from the Koszul formula that the right hand side on the above equation goes to 0 as \(t\rightarrow \infty \): since
and \({\widetilde{C}}_t = -P^{-1}(P_F^{-1} + P_t^{-1})^{-1}\), \(P_t^{-1} = P^{-1}(1+tP)\) it is clear that the only possible problematic term is \( X\textit{h}({\widetilde{C}}_tV,V)\). However, applying the Leibiniz rule, one gets that
Once more, the Leibiniz rule and the notion of covariant derivative to tensors implies that it suffices to study \(\nabla _X{\widetilde{C}}_t\). But since
we are done. \(\square \)
We prove that:
Theorem 3.2
Let \(\pi : F\hookrightarrow M \rightarrow B\) be a fiber bundle with compact total space and compact structure group G. Assume that \(\textit{h}\) is a Riemannian submersion metric on M obtained via the submersion \(\overline{\pi }: (\mathcal P\times F,\textit{g}+\textit{g}_F) \rightarrow M\), where \(\mathcal P\) is the associated principal bundle to \(\pi \) and \(\textit{g}, \textit{g}_F\) are, respectively, G-invariant metrics on \(\mathcal P\) and F. Then for any integer \(p\ge 0\), after an appropriate re-scaling the fibers of \(\pi \), the metric deformation \(\textit{h}_t\) (Definition 1, Sect. 3), converges in the \(C^p\)-topology to a Riemannian submersion metric with totally geodesic fibers.
Proof
Although we could proceed similarly but independently to Searle–Solórzano–Wilhelm’s result ([18, Theorem A]), we shall use it to both metrics \(\textit{g}\) in \(\mathcal P\) and \(\textit{g}_F\) in F.
Once more, Theorem A in [18] states that if the metric \(\widetilde{\textit{g}}_t\) is a same parameter canonical variation of the Cheeger deformation of \(\textit{g}\), it follows that for any integer \(p\ge 0\) the metric \(\widetilde{\textit{g}}_t\) converges, in the \(C^p\) topology, to a metric \(\textit{g}_{\infty }\) to which the fibers of \(\pi \) are totally geodesic. It then suffices to check that a canonical variation of \(\textit{g}_t\) and of the t-Cheeger deformation of \(\textit{g}_F\) induces via \(\overline{\pi }: (\mathcal P + F,\textit{g}_t + \textit{g}_F) \rightarrow (M,\textit{h}_t)\) the metric \(\widetilde{h}_t\).
To do so, observe that since according to Eq. (22)
one has
The tensor \(P_t\) is changed to \(tP(1+tP)^{-1}\) under a canonical variation so the following changes hold
Moreover, the t-canonical variation of a t-Cheeger deformation of \(\textit{g}_F\) yields the change
Hence, making \(t\rightarrow \infty \) yields
On the other hand, since \(t{\tilde{C}}_t \rightarrow P^{-1}\) as \(t\rightarrow \infty \) and \(d\overline{\pi }(U^{\vee },0) = -U^{*}\) (recall Claim 3), the previous computation guarantees the result. \(\square \)
4 Revisiting some classical results: curvature of bi-quotients and almost non-negative curvatures
4.1 Bi-quotients
Following [10, Chapter 2.6], let G be a Lie group with a left-invariant metric that is right-invariant under a subgroup H. Inspired by constructions of homogeneous spaces, consider the group manifold \(G\times H\) which acts isometrically on G via
Since any subgroup \(K\le G\times H\) acts via the same manner on G, if this K-action happens to be free then the the orbit space G//K is called a bi-quotient of G. Moreover, once the K action on G is via isometries, there is a metric on G//K that makes the quotient projection \(\pi : G\rightarrow G//K\) to be a Riemannian submersion.
Observe that we can see G//K as the total space of a fiber bundle with trivial fiber, in the sense that the fiber F is a just point and the bundle projection is the identity map. This manner, we can derive the curvature formula to certain deformed metrics on bi-quotients from the previous section.
Indeed, note that if we consider \(G\times K\) with the K-action defined by (4) then the projection \(\pi '\) recovers G as the respective orbit space. Therefore, composing \(\pi '\) with the projection \(\pi \) we obtain the corresponding projection \(\overline{\pi }\) (recall Definition 1)
The purpose of the computations presented here is the one of showing how the curvature formula on bi-quotients can be very simplified considering the deformation we have introduced in Sect. 3.
Indeed, a simple use of Theorem 3.1 implies that the sectional curvature of \(M := G//H\) can be read from \(\overline{\pi }\) via the curvature of \(\mathcal P = G\) since \(F = \{e\},\) the identity in K. Namely,
Theorem 4.1
Let Q be a bi-invariant metric on \(K = G\times H\) and \(\textit{g}\) be a left invariant metric on G which is right-invariant by the elements of the form \(\{e\}\times H\). If \(\textit{g}_t\) is the metric on G//K induced by \(\overline{\pi }: (G\times K,\textit{g} + t^{-1}Q) \rightarrow (G//K,\textit{h}_t)\), the sectional curvature of \(\textit{h}_t\) satisfies
where \({\tilde{X}} = X + X_F + U^*\), \({\tilde{Y}} = Y + Y_F + V^*\) and \({\tilde{z}}_t\) is computed in Lemma 3.
We proceed developing the formulae to the Ricci curvature of the metric deformation given in Definition 1, presented in Sect. 3. Further applications on bi-quotients shall be also obtained next.
4.2 Almost non-negative curvatures and positive Ricci curvature
Since we are relying on the horizontal lift \(\mathcal L_{\overline{\pi }}\) defined by (22) to compute curvatures, in order to study the Ricci curvature of \(\textit{h}_t\) we begin by constructing an appropriate basis for the horizontal space of \(\overline{\pi }\) with respect to \(\textit{g}_t + \textit{g}_F.\)
Consider a Q-orthonormal basis \(\{v_k(0)\}\) of \(\mathfrak {m}_f\) and define
Lemma 4
The set
is \(\textit{g}_t + \textit{g}_F\)-orthonormal and \(\textit{g}_t + \textit{g}_F\) orthogonal to \((U^\vee ,U^*)\), for every \(U\in \mathfrak {g}\).
Proof
Note that the elements in (29) are of the form (22). Thus, it is sufficient to show that the set (29) is orthonormal. A straightforward computation gives:
where we have used that \((P_t^{-1} + P_F^{-1}) = {\tilde{P}}_t^{-1}\) and that \({\tilde{P}}_t\) is symmetric. \(\square \)
Let \(\{e_i^{B}\}\) and \(\{e_j^F\}\) be orthonormal bases for the spaces normal to the orbits on \(\mathcal P\) and on F, respectively. We complete the set on Lemma 4 to a \(\textit{g}_t + \textit{g}_F\)-othornormal basis for the \(\bar{\pi }\)-horizontal space:
Denote by \(e_1,\ldots ,e_n\) the elements in \(\mathcal B_t\).
Lemma 5
For any \((p,f)\in \mathcal P\times F\) and \(X+X_F+U^*\in T_{\bar{\pi }(p,f)}M\),
Proof
Using the basis \(\mathcal B_t\), from (30), and Theorem 3.1, we have:
On the other hand, the \({\tilde{P}}_t\) satisfies:
In particular, \({\tilde{P}}_t \rightarrow 0\) as \(t\rightarrow \infty \). Equation (32) follows since \(t{\tilde{P}}_t = P_F(P_t+P_F)^{-1}tP_t\), \(P_t \rightarrow 0\) and \(tP_t \rightarrow 1\). Equation (33) follows since
Using (32), we observe that
Moreover, using Eq. (5) and that \(C_tP_t^{-1} = P^{-1}\),
For the remaining term:
Using (32) and (33), we obtain
Lemma 5 follows by putting together (34), (35) and (36). \(\square \)
The following needed lemmas can be readily obtained via straightforward computations, therefore, we chose to not include their proofs.
Lemma 6
It holds that
Moreover, if the orbits on \(\mathcal P\) are totally geodesic then
Lemma 7
If \(\{e_i\}\) denotes the set of elements in the basis \(\mathcal B_t\) (see Eq. 30) and the G orbits on \(\mathcal P\) are totally geodesic then for any \(\widetilde{X} = X + X_F + U^*\) it holds that
Therefore,
We now recover the results of Schwachhöfer and Tuschmann ([19]) relating the geometry and the topology of bi-quotients. The method applied provides a huge simplification over their work. We re-inforce, however, that the possibility of a simplification was already expected, as observed Wilking and Ziller, see [25]. More precisely, it is always possible by the means of a Cheeger deformation to prove the existence of metrics of almost non-negative sectional curvature on cohomogeneity one manifolds: the idea consists of putting metrics on non-negative sectional curvature near the singular orbits (recall for instance that these are homogeneous disk-bundles ([11])) and extend these arbitrarily in the middle. Then it can be shown that all curvatures in the middle go to 0.
In what follows the method is very different, but it relies in the same spirit: Cheeger deformations tend to shrink the curvature along the orbits. More importantly, they also work as a regularization process: the metrics naturally converge to a metric with totally geodesic fibers. This phenomenon is manifested here in the form that the Ricci curvature of a bi-quotient is completely determined by the Ricci curvature of the upstairs Lie group with a bi-invariant metric.
Theorem 4.2
(Schwachhöfer–Tuschmann) A bi-quotient G//K of a compact connected Lie group G carries a metric of positive Ricci curvature if, and only if, its fundamental group is finite.
Proof
Recall that according to Sect. 4.1, G//K can be seen as the total space with trivial fiber \(F = \{e\}\) and structure group K. Since the tangent space to the ‘manifold point’ \(\{e\}\) is only the zero vector it follows that \({\mathrm{Ric}}_{\textit{g}_F}^{\mathbf{h}} \equiv 0\). Moreover, denote by \(\pi : K\hookrightarrow G\rightarrow G//K\) the Riemannian submersion obtained from the principal bundle with total space \(\mathcal P = G\). According to Lemma 7, if \(\overline{\textit{g}}\) denotes the submersion metric induced by \(\pi \) from \(\textit{g}\) one gets
where the last equality comes from the fact that the horizontal space associated to the action of K in \(F = \{e\}\) is only the zero vector, i.e, \(X_F = 0\). Now the proof is finished by noticing that if \(|\pi _1(G//K)| < \infty \) then the same holds for G.
Therefore, since
where \(\{e_1,\ldots ,e_{\dim G//K}\}\) is an orthonormal basis to the horizontal space of the K-action on G, associated to the submersion \(\pi \), if Q is any bi-invariant metric on G it holds that
where \(\mathfrak {k}\) is the Lie algebra of K. Hence,
and so \(\lim _{t\rightarrow \infty }{\mathrm{Ric}}_{\textit{h}_t}(X + X_F + U^*) > 0\) since G has finite fundamental the sums of the three kind of brackets cannot vanish simultaneously. \(\square \)
We finish providing a result about almost non-negative sectional curvature and positive Ricci curvature, simultaneously, to biquotients. This shall be done taking advantage of the following similar result to [7, Theorem 0.18], which has a very simple proof. Once more, this proof was already known to be possible by B. Wilking and W. Ziller in the context of principal fiber bundles. Here we extent it naturally to general fiber bundles with compact structure group.
Theorem 4.3
(Fukaya–Yamaguchi type result) Let \(F \hookrightarrow M \rightarrow B\) be a bundle with compact structure group G, fiber F and base B. Assume that M is an associate bundle to \(\pi : (\mathcal P,\textit{g}) \rightarrow B\) such that:
-
(1)
\(K_{\textit{g}}\ge 0\);
-
(2)
F has a G-invariant metric \(\textit{g}_F\) of non-negative sectional curvature.
Then M admits a sequence of Riemannian metrics \(\{\textit{g}_n\}\) such that \(\mathrm {sec}_{\textit{g}_n} \ge -\frac{1}{n},\) \(\mathrm {diam}~(M,\textit{g}_n) \le \frac{1}{n}.\)
Definition 2
A compact manifold M with a family of metrics \((\textit{g}_n)\) as on the thesis of Theorem 4.3 is said to admit almost non-negative sectional curvature.
Theorem 4.3 is a straightforward consequence of the following lemma.
Lemma 8
Let \(F\hookrightarrow M \rightarrow B\) and \(\pi : \mathcal P \rightarrow B\) as on the hypotheses of Theorem 4.3. Then for each \(\epsilon > 0\) there exists \(t_{\epsilon } > 0\) such that for every \(t > t_{\epsilon },\) \({\tilde{\kappa }}_t(\widetilde{X},\widetilde{Y}) \ge -\epsilon ,~|\widetilde{X}| = |\widetilde{Y}| = 1.\)
Proof
Assume by contradiction that there is \(\epsilon > 0\), a sequence \(\{t_n\}\nearrow +\infty \) and a sequence of planes \(\{\widetilde{X}_n,{\widetilde{Y}}_n\}\) with \(|\widetilde{X}_n| = |\widetilde{Y}_n| = 1\) satisfying
By compactness, passing to a subsequence if necessary one extracts a limit plane \(\{{\widetilde{X}},{\widetilde{Y}}\}\) such that
Theorem 2.2 then implies that
and hence, \(\lim _{n\rightarrow \infty }[U_n,V_n] = 0\). Therefore,
\(\square \)
We thus conclude:
Theorem 4.4
(Schwachhöfer–Tuschmann) Any bi-quotient G//K from a compact Lie group G admits a metric with positive Ricci curvature and almost non-negative sectional curvature simultaneously if, and only if, G//K has finite fundamental group.
Remark 1
Since \(\mathcal P\) is a principal bundle, we could try to impose more rigid hypotheses to produce a metric of non-negative sectional curvature, but this is not possible only via the above method. Indeed, even assuming that \(G = S^3, SO(3)\) and that \(\textit{g}_F\) and \(\textit{g}\) have positive sectional curvature we would have that
for planes \(X = 0,U = 0, V = 0, Y_F = 0.\) In this case,
so we get no contradiction for any \(\epsilon > 0\).
A compact manifold with a family of metrics as in the Definition 2 with \(\mathrm {sec}\) changed to \({\mathrm{Ric}}\) is a manifold with almost non-negative Ricci curvature. As a last result in this section we prove:
Theorem 4.5
Let \(F\hookrightarrow M \rightarrow B\) be a fiber bundle with compact structure group G and total space M. Also assume that F carries a metric \(\textit{g}_F\) of non-negative Ricci curvature and B carries a metric \(\textit{g}_{\epsilon }\) with \({\mathrm{Ric}}(\textit{g}_{\epsilon }) \ge -\epsilon ^2\). Then M carries a metric \(\textit{h}_{\epsilon }\) with \({\mathrm{Ric}}(\textit{h}_{\epsilon }) \ge -\epsilon ^2\).
Proof
Let \(\textit{h}_{\epsilon }\) be the connection Riemannian metric on M. That is, it has totally geodesic fibers and make \((M,\textit{h}) \rightarrow (B,\textit{g}_{\epsilon })\) to be a Riemannian submersion. Considering the \(\textit{h}^{\epsilon }_t\) deformation given by Definition 1 we see that for large t it holds that, according to Lemma 7, the limit behavior of \({\mathrm{Ric}}(h^{\epsilon }_t)\) is
\(\square \)
5 Some comments on the Petersen–Wilhelm fiber dimension conjecture
Related to the Petersen–Wilhelm conjecture, assume that \(S^3, SO(3) \hookrightarrow \mathcal P \rightarrow B\) is a principal bundle with positive sectional curvature. It is then conjectured that \(\dim B > 3\). We conjecture further:
Conjecture 5.1
(Principal bundle Strong Petersen–Wilhelm conjecture) Any \(S^3, SO(3)\) principal bundle over a positively curved manifold admits a metric with positive sectional curvature if, and only if, such a submersion is fat.
Assume for instance the validity of Conjecture 5.1 and take a fat principal bundle \(S^3, SO(3) \hookrightarrow \mathcal P \rightarrow B\). Regard it with a metric of positive sectional curvature. Now let \((F,\textit{g}_F)\) be a Riemannian manifold with a \(S^3, SO(3)\) isometric action. Assume that \(\textit{g}_F\) has positive sectional curvature. Then Theorem 3.1 implies that the \(\textit{h}_1\) metric deformation (Definition 1) has non-negative sectional curvature. More importantly, Remark 1 implies that the existence of flat planes is intrinsic in the sense it only depends on the \(G = S^3, SO(3)\) actions on both \(\mathcal P\) and F.
Now recall that if \(F = S^2\) and \(\mathcal P \rightarrow B\) is the SO(3) principal bundle associated to it, then \(\overline{\pi }: S^2 \hookrightarrow M \rightarrow B\) is fat if, and only if, \(\pi : SO(3)\hookrightarrow \mathcal P \rightarrow B\) is fat ([26, Proposition 2.22, p.16]). This implies that \(\dim B \ge 4\) and hence, Petersen–Wilhelm conjecture is verified in this case. More drastically, the existence of a metric of non-negative sectional curvature on M already verifies the conjecture.
That all said and also taking in account the results in [17], we are tempted to conjecture the following:
Conjecture 5.2
Let \(\overline{\pi }: F\hookrightarrow M \rightarrow B\) a fiber bundle with structure group \(S^3\) or SO(3) over a positively curved manifold B. If the principal bundle \(\pi : S^3, SO(3) \hookrightarrow \mathcal P \rightarrow B\) associated to it is fat and \(\overline{\pi }\) has a metric of positive vertizontal curvature then \(\overline{\pi }\) is fat.
Let us verify that this is precisely the case to \(S^2\)-fat bundles, therefore agreeing with our conjecture. More precisely, let us show that \(\textit{h}_1\) has positive vertizontal curvature.
Observe that the vertical space associated to \(\overline{\pi }\) consists of vectors tangent to \(F = S^2\). Since the SO(3) action on \(S^2\) is transitive and \(S^2\) can be identified with the homogeneous space SO(3)/SO(2) then for the fixed origin \(o\in F\) we have \(T_0F \cong \mathfrak {s}o(3)\ominus \mathfrak {s}o(2)\), meaning that \(T_oF\) is isomorphic to the complement of \(\mathfrak {s}o(2)\) in \(\mathfrak {s}o(3)\). Fixing an Ad-invariant inner product in \(\mathfrak {s}o(3)\) such a complement can be chosen to be orthogonal.
Finally, the horizontal space on \(\mathcal P\) at any \(p\in \mathcal P\) is isomorphic to the tangent space \(T_{\pi (p)}B\) and it is also isomorphic to the horizontal space orthogonal to \(T_oF\) with respect to \(\textit{h}_1\). That is,
Therefore, any vertizontal plane tangent to M is of the form \(U^*\wedge X\) for \(U\in \mathfrak {s}o(3)\ominus \mathfrak {s}o(2)\) and \(X\in (\mathfrak {s}o(3))^{\perp _{\textit{g}}}\). Therefore Theorem 3.1 implies that
Since the SO(3) action on \(\mathcal P\) is free we have concluded the result. \(\square \)
References
Belegradek, I., Wei, G.: Metrics of positive Ricci curvature on bundles. Int. Math. Res. Not. 2004(57), 3079–3096 (2004)
Cheeger, J.: Some examples of manifolds of nonnegative curvature. J. Differ. Geom. 8, 623–628 (1973)
Colding, T.H.: Ricci curvature and volume convergence. Ann. Math. 145(3), 477–501 (1997)
Cavenaghi, L.F., Sperança, L.D.: On the geometry of some equivariantly related manifolds. Int. Math. Res. Not. (2018)
Cavenaghi, L.F., Sperança, L.D.: Positive Ricci curvature on fiber bundles with compact structure group. Adv. Geom. 22(1), 95–104 (2022)
Cavenaghi, L.F., Silva, R.J., Sperança, L.D.: Positive Ricci curvature through cheeger deformations (2018)
Fukaya, K., Yamaguchi, T.: The fundamental groups of almost nonnegatively curved manifolds. Ann. Math. 136, 253–333 (1992)
Gilkey, P., Park, J., Tuschmann, W.: Invariant metrics of positive Ricci curvature on principal bundles. Math. Z. 227(1), 455–463 (1998)
Grove, K., Verdiani, L., Ziller, W.: An exotic \({T}_1\mathbb{S} ^4\) with positive curvature. Geom. Funct. Anal. 21(3), 499–524 (2011)
Gromoll, D., Walshap, G.: Metric Foliations and Curvature. Birkhäuser Verlag, Basel (2009)
Grove, K., Ziller, W.: Curvature and symmetry of Milnor spheres. Ann. Math. 152, 331–367 (2000)
Grove, K., Ziller, W.: Cohomogeneity one manifolds with positive Ricci curvature. Invent. Math. 149(1), 619–646 (2002)
Kerr, M.M., Kollross, A.: Nonnegatively curved homogeneous metrics in low dimensions. Ann. Glob. Anal. Geom. 43, 273–286 (2013)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry, vol. I. Interscience Publishers, New York (1963)
Kapovitch, V., Wilking, B.: Structure of fundamental groups of manifolds with Ricci curvature bounded below (2011)
Müter, M.: Krummüngserhöhende deformationen mittels gruppenaktionen. PhD thesis, Westfälischen Wilhelms-Universität Münster (1987)
Sperança, L.D.: On Riemannian foliations over positively curved manifolds. J. Geom. Anal. 28(3), 2206–2224 (2018)
Searle, C., Solórzano, P., Wilhelm, F.: Regularization via Cheeger deformations. Ann. Glob. Anal. Geom. 48(4), 295–303 (2015)
Schwachhöfer, L.J., Tuschmann, W.: Metrics of positive Ricci curvature on quotient spaces. Math. Ann. 330(1), 59–91 (2004)
Schwachhöfer, L., Tapp, K.: Homogeneous metrics with nonnegative curvature. J. Geom. Anal. 19(4), 929–943 (2009)
Searle, C., Wilhelm, F.: How to lift positive Ricci curvature. Geom. Topol. 19(3), 1409–1475 (2015)
Wei, G.: On the fundamental groups of manifolds with almost-nonnegative Ricci curvature. Proc. Am. Math. Soc. 110(1), 197–199 (1990)
Wilking, B.: On fundamental groups of manifolds of nonnegative curvature. Differ. Geom. Appl. 13(2), 129–165 (2000)
Yun, G.: A Note on the fundamental groups of manifolds with almost nonnegative curvature. Proc. Am. Math. Soc. 125(5), 1517–1522 (1997)
Ziller, W.: On M. Müter’s PhD thesis. https://www.math.upenn.edu/wziller/papers/SummaryMueter.pdf
Ziller, W.: Fatness revisited. In: Lecture Notes 2000, unpublished. University of Pennsylvania, Philadelphia, PA
Acknowledgements
Part of this work comes from the Ph.D. thesis of the first named author, L. F. Cavenaghi, supported both by São Paulo Research Foundation FAPESP grant 2017/24680-1 and by CAPES. Also, some ideas of this work were conceived during his former postdoc position at the University of Fribourg, supported in part by the SNSF-Project 200020E_193062 and the DFG-Priority programme SPP 2026. Currently, L. F. Cavenaghi is supported by CAPES, a grant obtained for the reason of having won the CAPES thesis prize in 2021. L. Grama is partially supported by São Paulo Research Foundation FAPESP grants 2018/13481-0, 2021/04003-0, 2021/04065-6 and CNPq grant no. 305036/2019-0.
Funding
Open access funding provided by University of Fribourg.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by Claudio Gorodski.
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
Cavenaghi, L.F., Grama, L. & Sperança, L.D. The concept of Cheeger deformations on fiber bundles with compact structure group. São Paulo J. Math. Sci. 17, 441–464 (2023). https://doi.org/10.1007/s40863-022-00343-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40863-022-00343-7