-
On some critical Riemannian metrics and Thorpe-type conditions
Authors:
Mohammed Larbi Labbi
Abstract:
Let \((M, g)\) be a compact, closed Riemannian manifold of dimension \(n\), and let \(k\) be an integer such that \(2 \leq 2k \leq n\). Denote by \(R^k\) the \(k\)-th Thorpe tensor, defined as the \(k\)-fold exterior product of the Riemann curvature tensor \(R\). We consider the geometric functionals $ H_{2k}(g) := \int_M \operatorname{tr}(R^k) \, \mathrm{dvol}_g$ and…
▽ More
Let \((M, g)\) be a compact, closed Riemannian manifold of dimension \(n\), and let \(k\) be an integer such that \(2 \leq 2k \leq n\). Denote by \(R^k\) the \(k\)-th Thorpe tensor, defined as the \(k\)-fold exterior product of the Riemann curvature tensor \(R\). We consider the geometric functionals $ H_{2k}(g) := \int_M \operatorname{tr}(R^k) \, \mathrm{dvol}_g$ and $ G_{2k}(g) :=\int_M \|R^k\|^2 \, \mathrm{dvol}_g,$ where \(\operatorname{tr}(R^k)\) denotes the full contraction (trace) of \(R^k\). For \(k = 1\), \(H_2(g)\) coincides with the Hilbert--Einstein functional, while \(G_2(g)\) is the \(L^2\)-norm of the Riemann curvature tensor.
We derive the first variation formulas for \(H_{2k}\) and \(G_{2k}\), and study some properties of their critical points. In particular, we prove that an Einstein metric is critical for \(G_2\) if and only if it is critical for \(H_4\). More generally, we show that a hyper-\((2k)\)-Einstein metric is critical for \(G_{2k}\) if and only if it is critical for \(H_{4k}\).
We further introduce and study two new classes of Riemannian metrics: the \((2k)\)-Thorpe and \((2k)\)-anti-Thorpe metrics, defined via self-duality and anti-self-duality conditions on the Thorpe tensor \(R^k\), respectively. In dimension \(n = 4k\), we show that both types are critical for \(G_{2k}\). In higher dimensions (\(n > 4k\)), the same duality conditions imply that $R^k$ is harmonic. Under additional positivity assumptions on the Riemann tensor, we further deduce rigidity results for such metrics.
△ Less
Submitted 9 June, 2025; v1 submitted 11 May, 2025;
originally announced May 2025.
-
Hodge-de Rham and Lichnérowicz Laplacians on double forms and some vanishing theorems
Authors:
Mohammed Larbi Labbi
Abstract:
A $(p,q)$-double form on a Riemannian manifold $(M,g)$ can be considered simultaneously as a vector-valued differential $p$-form over $M$ or alternatively as a vector-valued $q$-form. Accordingly, the usual Hodge-de Rham Laplacian on differential forms can be extended to double forms in two ways. The differential operators obtained in this way are denoted by $Δ$ and $\widetildeΔ$.\\ In this paper,…
▽ More
A $(p,q)$-double form on a Riemannian manifold $(M,g)$ can be considered simultaneously as a vector-valued differential $p$-form over $M$ or alternatively as a vector-valued $q$-form. Accordingly, the usual Hodge-de Rham Laplacian on differential forms can be extended to double forms in two ways. The differential operators obtained in this way are denoted by $Δ$ and $\widetildeΔ$.\\ In this paper, we show that the Lichnérowicz Laplacian $Δ_L$ once operating on double forms, is nothing but the average of the two operators mentioned above. We introduce a new product on double forms to establish index-free formulas for the curvature terms in the Weitzenböck formulas corresponding to the Laplacians $Δ, \widetildeΔ$ and $Δ_L$. We prove vanishing theorems for the Hodge-de Rham Laplacian $Δ$ on $(p,0)$ double forms and for $Δ_L$ and $Δ$ on symmetric double forms of arbitrary order. These results generalize recent results by Petersen-Wink. Our vanishing theorems reveal the impact of the role played by the rank of the eigenvectors of the curvature operator on the structure (e.g. the topology) of the manifold.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
On a stratification of positive scalar curvature compact manifolds
Authors:
Mohammed Larbi Labbi
Abstract:
For a compact PSC Riemannian $n$-manifold $(M,g)$, the metric constant $\mathrm {Riem}(g)\in (0, \binom{n}{2}]$ is defined to be the infinimum over $M$ of the spectral scalar curvature $\frac{\sum_{i=1}^Nλ_i}{λ_{\rm max}}$ of $g$, where $λ_1, ...,λ_N$ are the eigenvalues of the curvature operator of $g$ and $λ_{\rm max}$ is the maximal eigenvalue. The functional $g\to \mathrm {Riem}(g)$ is continu…
▽ More
For a compact PSC Riemannian $n$-manifold $(M,g)$, the metric constant $\mathrm {Riem}(g)\in (0, \binom{n}{2}]$ is defined to be the infinimum over $M$ of the spectral scalar curvature $\frac{\sum_{i=1}^Nλ_i}{λ_{\rm max}}$ of $g$, where $λ_1, ...,λ_N$ are the eigenvalues of the curvature operator of $g$ and $λ_{\rm max}$ is the maximal eigenvalue. The functional $g\to \mathrm {Riem}(g)$ is continuous, re-scale invariant and defines a stratification of the space of PSC metrics over $M$.
We introduce as well the smooth constant $\mathbf {Riem}(M)\in (0, \binom{n}{2}]$, which is the supremum of $\mathrm {Riem}(g)$ over the set of all psc Riemannian metrics $g$ on $M$. \\ In this paper, we show that in the top layer, compact manifolds with $\mathbf{Riem}=\binom{n}{2}$ are positive space forms. No manifolds have their $\mathbf{Riem}$ in the interval $(\binom{n}{2}-2, \binom{n}{2})$. The manifold $S^{n-1}\times S^1$ and arbitrary connected sums of copies of it with connected sums of positive space forms all have $\mathbf{Riem}=\binom{n-1}{2}$. For $1\leq p\leq n-2\leq 5$, we prove that the manifolds $S^{n-p}\times T^p$ take the intermediate values $\mathbf {Riem}=\binom{n-p}{2}$. From the bottom, we prove that simply connected (resp. $2$-connected, $3$-connected and non-string) compact manifolds of dimension $\geq 5$ (resp. $\geq 7$, $\geq 9$) have $\mathbf{Riem}\geq 1$ (resp. $\geq 3$, $\geq 6$). The proof of these last three results is based on surgery. In fact, we prove that the smooth $\mathbf{Riem}$ constant doesn't decrease after a surgery on the manifold with adequate codimension.
△ Less
Submitted 31 May, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
On the conformal Ein invariants
Authors:
Mohammed Larbi Labbi
Abstract:
For a compact Riemannian $n$-manifold $(M,g)$ of positive scalar curvature, the capital $\Ein$ invariant of $g$ is defined to be the infinimum over $M$ of the quotient of the scalar curvature by the maximal eigenvalue of the Ricci curvature. This is a re-scale invariant and belongs to the interval $(0,n]$. For a positive conformal class $[g]$, we define the conformal invariant…
▽ More
For a compact Riemannian $n$-manifold $(M,g)$ of positive scalar curvature, the capital $\Ein$ invariant of $g$ is defined to be the infinimum over $M$ of the quotient of the scalar curvature by the maximal eigenvalue of the Ricci curvature. This is a re-scale invariant and belongs to the interval $(0,n]$. For a positive conformal class $[g]$, we define the conformal invariant $\Ein([g]):=\sup\{\Ein(g): g\in [g]\}$. In this paper, we prove vanihing theorems for Betti numbers and for the higher homotopy groups of $M$ under optimal lower bounds on $\Ein([g])$ assuming that $g$ is locally conformally flat. We establish an inequality relating our invariant to Schoen-Yau conformal invariant $d(M,[g])$ from which we deduce a classification result for locally conformally flat manifolds with higher $\Ein([g])$. We show that the class of locally conformally flat manifolds with $\Ein([g])>k$ is stable under the operation of connected sums for $0<k<n-1.$\\ For a general positive conformal class, we prove in dimension $4$ an inequality relating $\Ein([g])$ to the first and second Yamabe invariants.
Similar results are proved in this paper for an analogous conformal invariant, namely the small $\ein$ invariant.
△ Less
Submitted 20 December, 2022; v1 submitted 24 September, 2020;
originally announced September 2020.
-
On modified Einstein tensors and two smooth invariants of compact manifolds
Authors:
Mohammed Larbi Labbi
Abstract:
Let $(M,g)$ be a Riemannian $n$-manifold, we denote by $\Ric$ and $\Scal$ the Ricci and the scalar curvatures of $g$. For scalars $k<n$, the modified Einstein tensors denoted $\Eink$ are defined as $\Eink :=\Scal \, g -k\Ric$. Note that the usual Einstein tensor coincides with the half of $\Eint$ and ${\rm Ein}_0=\Scal.g$. It turns out that all these new modified tensors, for $0<k<n$, are still gr…
▽ More
Let $(M,g)$ be a Riemannian $n$-manifold, we denote by $\Ric$ and $\Scal$ the Ricci and the scalar curvatures of $g$. For scalars $k<n$, the modified Einstein tensors denoted $\Eink$ are defined as $\Eink :=\Scal \, g -k\Ric$. Note that the usual Einstein tensor coincides with the half of $\Eint$ and ${\rm Ein}_0=\Scal.g$. It turns out that all these new modified tensors, for $0<k<n$, are still gradients of the total scalar curvature functional but with respect to modified integral scalar products. In this paper we study the positivity properties of these tensors that generalize the positivity properties of the scalar curvature ($k=0$) and positive Einstein curvature ($k=2$). The positivity of $\Eink$ for some positive $k$ implies the positivity of all ${\rm Ein}_l$ with $0\leq l\leq k$ and so we define a smooth invariant $\cEin(M)$ of $M$ to be the supremum of positive k's that renders $\Eink$ positive. By definition $\cEin(M)\in [0,n]$, it is zero if and only if $M$ has no positive scalar curvature metrics and it is maximal equal to $n$ if $M$ possesses an Einstein metric with positive scalar curvature. In some sense, $\cEin(M)$ measures how far is $M$ to admit an Einstein metric of positive scalar curvature. In this paper we prove that $\cEin(M)\geq 2$ if $M$ admits an effective action by a non abelian connected Lie group or if $M$ is simply connected of positive scalar curvature and dimension $\geq 5$. We prove as well that the invariant $\cEin$ increases after a surgery operation on the manifold $M$ or by assuming that the manifold $M$ has higher connectivity. We prove that the condition $\cEin(M)\leq n-2$ does not imply any restriction on the first fundamental group of $M$. We define and prove similar properties for an analogous invariant namely $\cein(M)$. The paper contains several open questions.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
Interactions between the composition and exterior products of double forms and applications
Authors:
A. Belkhirat,
M. L. Labbi
Abstract:
We translate into the double forms formalism the basic identities of Greub and Greub-Vanstone that were obtained in the mixed exterior algebra. In particular, we introduce a second product in the space of double forms, namely the composition product, which provides this space with a second associative algebra structure. The composition product interacts with the exterior product of double forms; t…
▽ More
We translate into the double forms formalism the basic identities of Greub and Greub-Vanstone that were obtained in the mixed exterior algebra. In particular, we introduce a second product in the space of double forms, namely the composition product, which provides this space with a second associative algebra structure. The composition product interacts with the exterior product of double forms; the resulting relations provide simple alternative proofs to some classical linear algebra identities as well as to recent results in the exterior algebra of double forms.\\ We define a refinement of the notion of pure curvature of Maillot and we use one of the basic identities to prove that if a Riemannian $n$-manifold has $k$-pure curvature and $n\geq 4k$ then its Pontrjagin class of degree $4k$ vanishes.
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
Remarks on Bianchi sums and Pontrjagin classes
Authors:
Mohammed Larbi Labbi
Abstract:
We use the exterior and composition products of double forms together with the alternating operator to reformulate Pontrjagin classes and all Pontrjagin numbers in terms of the Riemannian curvature. We show that the alternating operator is obtained by a succession of applications of the first Bianchi sum and we prove some useful identities relating the previous four operations on double forms. As…
▽ More
We use the exterior and composition products of double forms together with the alternating operator to reformulate Pontrjagin classes and all Pontrjagin numbers in terms of the Riemannian curvature. We show that the alternating operator is obtained by a succession of applications of the first Bianchi sum and we prove some useful identities relating the previous four operations on double forms. As an application, we prove that for a $k$-conformally flat manifold of dimension $n\geq 4k$, the Pontrjagin classes $P_i$ vanish for any $i\geq k$. Finally, we study the equality case in an inequality of Thorpe between the Euler-Poincaré charateristic and the $k$-th Pontrjagin number of a $4k$-dimensional Thorpe manifold.
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
On some algebraic identities and the exterior product of double forms
Authors:
Mohammed Larbi Labbi
Abstract:
We use the exterior product of double forms to reformulate celebrated classical results of linear algebra about matrices and bilinear forms namely the Cayley-Hamilton theorem, Laplace expansion of the determinant, Newton identities and Jacobi's formula for the determinant. This new formalism is then used to naturally generalize the previous results to higher multilinear forms namely to double form…
▽ More
We use the exterior product of double forms to reformulate celebrated classical results of linear algebra about matrices and bilinear forms namely the Cayley-Hamilton theorem, Laplace expansion of the determinant, Newton identities and Jacobi's formula for the determinant. This new formalism is then used to naturally generalize the previous results to higher multilinear forms namely to double forms.
In particular, we show that the Cayley-Hamilton theorem once applied to the second fundamental form of a hypersurface of the Euclidean space is equivalent to a linearized version of the Gauss-Bonnet theorem, and once its generalization is applied to the Riemann curvature tensor (seen as a $(2,2)$ double form) is an infinitisimal version of the general Gauss-Bonnet-Chern theorem. In addition to that, the general Cayley-Hamilton theorems generate several universal curvature identities. The generalization of the classical Laplace expansion of the determinant to double forms is shown to lead to new general Avez type formulas for all Gauss-Bonnet curvatures.
△ Less
Submitted 12 February, 2013; v1 submitted 6 December, 2011;
originally announced December 2011.
-
About Some Quadratic Scalar Curvatures and the $h_{4}$ Yamabe Equation
Authors:
Mohammed Larbi Labbi
Abstract:
This is a paper based on a talk given at the conference on Conformal Geometry which held at Roscoff in France in the 2008 summer. We study some aspects of the equation arising from the problem of the existence on a given closed Riemannian manifold of dimension at leat 4, of a conformal metric with constant $h_4$ curvature. We establish a simple formula relating the second Gauss-Bonnet curvature…
▽ More
This is a paper based on a talk given at the conference on Conformal Geometry which held at Roscoff in France in the 2008 summer. We study some aspects of the equation arising from the problem of the existence on a given closed Riemannian manifold of dimension at leat 4, of a conformal metric with constant $h_4$ curvature. We establish a simple formula relating the second Gauss-Bonnet curvature $h_4$ to the $σ_2$ curvature and we study some positivity properties of these two quadratic curvatures. We use different quadratic curvatures to characterize space forms, Einstein metrics and conformally flat metrics. In the appendix we introduce natural generalizations of Newton transformations, the corresponding Newton identities are used to obtain Avez type formulas for all the Gauss-Bonnet curvatures.
△ Less
Submitted 18 December, 2011; v1 submitted 13 July, 2008;
originally announced July 2008.
-
A note on two-positive Ricci curvature and positive Einstein curvature
Authors:
Mohammed Larbi Labbi
Abstract:
In this short note we discuss some recent results about two-positive Ricci curvature and their applications to positive Einstein curvature.
In this short note we discuss some recent results about two-positive Ricci curvature and their applications to positive Einstein curvature.
△ Less
Submitted 6 April, 2017; v1 submitted 10 July, 2008;
originally announced July 2008.
-
On Gauss-Bonnet Curvatures
Authors:
Mohammed Larbi Labbi
Abstract:
The $(2k)$-th Gauss-Bonnet curvature is a generalization to higher dimensions of the $(2k)$-dimensional Gauss-Bonnet integrand, it coincides with the usual scalar curvature for $k=1$. The Gauss-Bonnet curvatures are used in theoretical physics to describe gravity in higher dimensional space times where they are known as the Lagrangian of Lovelock gravity, Gauss-Bonnet Gravity and Lanczos gravity…
▽ More
The $(2k)$-th Gauss-Bonnet curvature is a generalization to higher dimensions of the $(2k)$-dimensional Gauss-Bonnet integrand, it coincides with the usual scalar curvature for $k=1$. The Gauss-Bonnet curvatures are used in theoretical physics to describe gravity in higher dimensional space times where they are known as the Lagrangian of Lovelock gravity, Gauss-Bonnet Gravity and Lanczos gravity. In this paper we present various aspects of these curvature invariants and review their variational properties. In particular, we discuss natural generalizations of the Yamabe problem, Einstein metrics and minimal submanifolds.
△ Less
Submitted 11 December, 2007; v1 submitted 27 September, 2007;
originally announced September 2007.
-
On Generalized Einstein Metrics
Authors:
Mohammed Larbi Labbi
Abstract:
Recall that the usual Einstein metrics are those for which the first Ricci contraction of the covariant Riemann curvature tensor is proportional to the metric. Assuming the same type of restrictions but instead on the different contractions of Thorpe tensors, one gets several natural generalizations of Einstein's condition. In this paper, we study some properties of these classes of metrics.
Recall that the usual Einstein metrics are those for which the first Ricci contraction of the covariant Riemann curvature tensor is proportional to the metric. Assuming the same type of restrictions but instead on the different contractions of Thorpe tensors, one gets several natural generalizations of Einstein's condition. In this paper, we study some properties of these classes of metrics.
△ Less
Submitted 16 July, 2008; v1 submitted 1 March, 2007;
originally announced March 2007.
-
Riemannian curvature: variations on different notions of positivity
Authors:
Mohammed Larbi Labbi
Abstract:
We study different notions of Riemannian curvatures: The $p$-curvatures which interpolate between the scalar curvature and the sectional curvature, the Gauss-Bonnet-Weyl curvatures form another interpolation from the scalar curvature to the Gauss-Bonnet integrand. We bring out the $(p,q)$-curvatures, which incorporate all the previous curvatures. We then examine the curvature term which appears…
▽ More
We study different notions of Riemannian curvatures: The $p$-curvatures which interpolate between the scalar curvature and the sectional curvature, the Gauss-Bonnet-Weyl curvatures form another interpolation from the scalar curvature to the Gauss-Bonnet integrand. We bring out the $(p,q)$-curvatures, which incorporate all the previous curvatures. We then examine the curvature term which appears in the classical Weitzenböck formula. We also study the positivity properties of the $p$-curvatures, the second Gauss-Bonnet-Weyl curvature, the Einstein curvature and the isotropic curvature.
△ Less
Submitted 13 November, 2006;
originally announced November 2006.
-
On Weitzenböck Curvature Operators
Authors:
Mohammed Larbi Labbi
Abstract:
The Weitzenböck curvature operators are the curvature terms of order zero that appear in the well known classical Weitzenböck formula. In this paper, we use the formalism of double forms to prove a simple formula for this operators and to study their geometric properties.
The Weitzenböck curvature operators are the curvature terms of order zero that appear in the well known classical Weitzenböck formula. In this paper, we use the formalism of double forms to prove a simple formula for this operators and to study their geometric properties.
△ Less
Submitted 23 August, 2006; v1 submitted 21 July, 2006;
originally announced July 2006.
