---
title: Almost Nonnegative Curvature Operator (ANCO)
url: https://www.emergentmind.com/topics/almost-nonnegative-curvature-operator-anco
type: topic
---

# Almost Nonnegative Curvature Operator (ANCO)

Searching arXiv for recent and foundational papers on almost nonnegative curvature operator.
Almost nonnegative curvature operator (ANCO) is a curvature condition on a closed smooth manifold requiring the full curvature operator to be asymptotically nonnegative after normalization by the square of the diameter. If \(X\) is a closed smooth \(n\)-manifold, \(\mathfrak R_g:\Lambda^2TX\to\Lambda^2TX\) denotes the curvature operator of a Riemannian metric \(g\), and \(\lambda_1(g)\le\cdots\le\lambda_{N}(g)\), \(N=\tfrac{n(n-1)}2\), are its pointwise eigenvalues, then \(X\) admits ANCO if there exists a sequence of metrics \(\{g_i\}\) with \(\diam(X,g_i)\le1\) and \(\lambda_j(g_i)\ge-1/i\) for all \(j\). Equivalently, in the formulation of Herrmann–Sebastian–Tuschmann, for every \(\varepsilon>0\) there is a metric \(g_\varepsilon\) such that \(\lambda_{\min}(\mathcal R_{g_\varepsilon})\cdot \diam(M,g_\varepsilon)^2>-\varepsilon\) [1204.6676, 2603.23932]. The subject has developed around three interconnected themes: construction of ANCO manifolds, comparison with manifolds carrying nonnegative curvature operator, and topological constraints such as Betti-number bounds, vanishing theorems, and Euler-characteristic inequalities [1204.6676, 2507.22091, 2603.23932].

## 1. Definition and equivalent formulations

For a closed Riemannian manifold \((M^n,g)\), the curvature operator is the self-adjoint endomorphism
\[
\mathcal R_g:\Lambda^2T_pM\longrightarrow\Lambda^2T_pM
\]
characterized by
\[
\langle \mathcal R_g(u\wedge v),\,w\wedge z\rangle =R_g(u,v,w,z).
\]
Writing \(\lambda_{\min}(\mathcal R_g)\) for its smallest eigenvalue, ANCO means that for every \(\varepsilon>0\) there is a metric \(g_\varepsilon\) with
\[
\lambda_{\min}(\mathcal R_{g_\varepsilon})\cdot\bigl(\diam(M,g_\varepsilon)\bigr)^2>-\varepsilon.
\]
After rescaling to \(\diam=1\), this is equivalent to requiring all eigenvalues of \(\mathcal R\) to lie in \([-\varepsilon,+\infty)\) [1204.6676].

A closely related formulation, used in later work, fixes a sequence of metrics \(\{g_i\}\) on a closed smooth \(n\)-manifold \(X\) such that
\[
\lambda_j(g_i)\ge-\frac1i,\qquad j=1,\dots,\frac{n(n-1)}2,\qquad \diam(X,g_i)\le1.
\]
This makes explicit that the full spectrum of the curvature operator is controlled from below, not merely the sectional or Ricci curvatures [2603.23932].

The literature also distinguishes almost flat curvature operator: if one has in addition
\[
\lambda_{\max}(\mathcal R_{g_\varepsilon})\cdot \diam^2<\varepsilon,
\]
then the manifold has almost flat curvature operator, hence is infranil [1204.6676]. In this sense ANCO is weaker than almost flatness, because it imposes only a lower spectral constraint.

## 2. Relation to nonnegative curvature operator

ANCO is modeled on the strictly nonnegative condition \(\mathcal R_g\ge0\), but the two notions are not equivalent. In the nonnegative case, the known structure theory is very rigid: if \((M^n,g)\) is closed, simply connected, and \(\mathcal R_g\ge0\), then \((M,g)\) splits isometrically as a Riemannian product of round spheres \(S^k\), complex projective spaces \(\CP^m\) with the Fubini–Study metric, and compact irreducible Riemannian symmetric spaces of rank \(\ge2\). In particular, in each fixed dimension there are only finitely many diffeomorphism types [1204.6676].

For ANCO manifolds, such a classification is not known. Nevertheless, some general topological bounds survive. A theorem of P. Bérard implies that if \(M^n\) admits ANCO, then for each \(0\le k\le n\),
\[
b_k(M)\le\binom{n}{k}.
\]
This is a global cohomological restriction derived by Bochner-type methods, and it shows that ANCO already constrains topology even without an actual nonnegative operator metric [1204.6676].

Later Ricci-flow results identify a noncollapsed regime in which “almost” nonnegativity of the curvature operator can be upgraded to genuine nonnegativity. Given \(n\), \(D\), and \(v_0>0\), there is \(\varepsilon=\varepsilon(n,D,v_0)>0\) such that if \((M^n,g)\) is closed with
\[
\diam(g)\le D,\qquad \vol_g(M)\ge v_0,\qquad \Rm_g+\varepsilon I\in\mathcal C,
\]
then \(M\) admits a new metric \(\tilde g\) whose curvature operator lies strictly in \(\mathcal C\); for \(\mathcal C\) equal to the cone of nonnegative curvature operators, \(M\) then carries a nonnegatively curved metric [1707.03002]. This does not classify ANCO in general, but it shows that under diameter and volume control the almost-nonnegative condition cannot wander far from the classical nonnegative theory.

## 3. Principal-bundle constructions and existence results

The first systematic constructions of ANCO manifolds beyond the nonnegative curvature-operator class were obtained through principal bundles. Let \(\pi:P\to M\) be a principal \(G\)-bundle with compact structure group \(G\), connection \(1\)-form \(\theta\), base metric \(g_M\), and bi-invariant metric \(b\) on \(G\). For \(t>0\), consider
\[
g_t(X,Y)=g_M(d\pi X,d\pi Y)+t^2\,b(\theta(X),\theta(Y)).
\]
Then \(\pi:(P,g_t)\to(M,g_M)\) is a Riemannian submersion with totally geodesic fibres isometric to \((G,t^2b)\) [1204.6676].

The principal-bundle criterion is sharp. If \((M,g_M)\) has \(\mathcal R\ge0\), then \((P,g_t)\) has ANCO as \(t\to0\) if and only if
\[
\Im\Omega\subset[\mathfrak g,\mathfrak g]^\perp
\quad\Longleftrightarrow\quad
\Im\Omega\cap[\mathfrak g,\mathfrak g]=\{0\},
\]
where \(\Omega=d\theta+\tfrac12[\theta,\theta]\) is the curvature \(2\)-form of the connection. If the base merely admits ANCO and \(G\) is abelian, then \(P\) admits ANCO. In particular, if \(G\) is a torus, any principal \(G\)-bundle over an ANCO base admits ANCO [1204.6676].

These criteria produce explicit examples. For
\[
M=\CP^1\times\CP^2,
\]
and coprime \((k,\ell)\in\mathbb Z^2\setminus\{0\}\), let \(P_{k,\ell}\) be the principal \(S^1\)-bundle with Euler class
\[
e(P_{k,\ell})=k\,\pi_1^*H+\ell\,\pi_2^*H\in H^2(\CP^1\times\CP^2;\mathbb Z).
\]
Each \(P_{k,\ell}\) admits ANCO. A Gysin-sequence calculation shows that infinitely many of the \(P_{k,\ell}\) are simply connected and have distinct homotopy types. Since only finitely many could support a metric with \(\mathcal R\ge0\), this yields infinitely many closed simply connected \(7\)-manifolds, and in each dimension \(n\ge9\) infinitely many closed simply connected \(n\)-manifolds of pairwise distinct homotopy type, that admit ANCO but no metric with nonnegative curvature operator. There also exist closed, simply connected, homeomorphic \(7\)-manifolds that admit ANCO but are not diffeomorphic [1204.6676].

The analytic mechanism behind the bundle construction comes from O’Neill’s formulas. In a suitable adapted basis, the curvature operator of \(g_t\) has block form
\[
\mathcal R_{g_t}
=
\begin{pmatrix}
\mathcal R_M & \ast\\
\ast & \mathcal R_{\mathrm{fibre}}
\end{pmatrix}
+t\,C_1+t^2\,C_2,
\]
and the leading mixed block is governed by the curvature form \(\Omega\). If \(\Im\Omega\) has a nonzero component in \([\mathfrak g,\mathfrak g]\), one obtains a negative eigenvalue of order \(O(1)\) as \(t\to0\), which obstructs ANCO; if \(\Im\Omega\perp[\mathfrak g,\mathfrak g]\), the negative contributions go to zero as \(t\to0\) [1204.6676].

## 4. Ricci-flow formulations and almost-preservation

A second line of development studies almost nonnegative curvature conditions through Ricci flow. In Richard’s formulation, one fixes an \(O(n)\)-invariant convex cone \(C\subset\mathcal{CR}(V)\) that is Ricci-flow invariant, contains the cone of nonnegative curvature operators, and is contained in the cone of operators with nonnegative Ricci curvature. A curvature operator \(R\) is called \(\varepsilon\)-almost \(C\)-nonnegative if
\[
R+\varepsilon I\in C.
\]
For the cone of nonnegative curvature operators, this is precisely the metric-level ANCO condition \(R\ge-\varepsilon I\) [1111.0859].

The main preservation theorem in this framework states that for fixed dimension \(n\), constants \(A\in(0,2)\), \(B>0\), and such a cone \(C\), there exist \(T=T(n,A,B)>0\) and \(K=K(n,A,B)>0\) with the following property: if \((M,g(t))\) is a compact Ricci flow satisfying
\[
R(g(0))+\varepsilon I\in C,\qquad |{\rm Scal}(g(t))|\le A/t+B,
\]
then for \(t\in[0,\min(T,T')]\),
\[
R(g(t))+K\varepsilon I\in C.
\]
This furnishes a short-time almost-preservation principle for lower curvature-operator bounds under Ricci flow [1111.0859].

Bamler–Cabezas-Rivas–Wilking proved a related theorem directly for curvature-operator eigenvalues. If \((M^n,g)\) is complete, has bounded curvature, satisfies
\[
\vol_g(B_g(p,1))\ge v_0\quad\forall p\in M,
\qquad
\lambda_{\min}(\Rm_g)>-1,
\]
then the Ricci flow exists smoothly on \([0,T]\) and for \(t\in(0,T]\),
\[
\lambda_{\min}(\Rm_{g(t)})>-C,
\qquad
|\Rm_{g(t)}|\le\frac{C}{t},
\]
where \(C\) and \(T\) depend only on \(n\) and \(v_0\). They also established analogous almost-preservation statements for other invariant cones, including \(2\)-nonnegative curvature operator, PIC2, weakly PIC1, and nonnegative bisectional curvature in the Kähler case [1707.03002].

These Ricci-flow results have structural consequences. In one direction, they yield Gromov–Hausdorff to Ricci-flow convergence statements and stability results showing that sufficiently small lower curvature-operator defects can be smoothed to genuine nonnegative curvature under additional injectivity-radius, diameter, or volume-ratio hypotheses [1111.0859, 1707.03002]. In another direction, they provide smoothing procedures for certain singular limit spaces, including classes of Alexandrov spaces arising as limits of manifolds with lower curvature-operator bounds [1111.0859, 1707.03002].

## 5. Euler characteristic and other topological invariants

A central question in the subject, posed by Herrmann–Sebastian–Tuschmann, asks whether all compact ANCO manifolds have nonnegative Euler characteristic. The first partial affirmative answers came from index-theoretic methods based on a twisted Dirac operator associated with a closed \(1\)-form \(\theta\). Defining
\[
d_\theta=d+\theta\wedge,\qquad d_\theta^*=d^*+i_{\theta^\sharp},\qquad \mathcal D_\theta=d_\theta+d_\theta^*,
\]
one has
\[
\Index(\mathcal D_\theta)=\chi(X).
\]
Using a Bochner–Weitzenböck formula for \(\mathcal D_\theta\), it was shown that if a compact \(2m\)-dimensional manifold admits ANCO and has \(\dim H^1_{\mathrm{dR}}(X)\neq0\), then its Euler number vanishes. In dimension four, the same approach gives \(\chi(X)\ge0\), which resolves the Euler-characteristic question completely in the four-dimensional case [2507.22091].

Cai established a stronger general theorem under a two-sided spectral bound. If \(X\) is a closed smooth \(2n\)-manifold and \(\Lambda>0\) is fixed, then there exists \(\varepsilon=\varepsilon(n,\Lambda)>0\) such that whenever a Riemannian metric \(g\) satisfies
\[
-\varepsilon\le \lambda_1(g)\,\diam^2(X,g)\le\cdots\le \lambda_{n(2n-1)}(g)\,\diam^2(X,g)\le\Lambda,
\]
the Euler characteristic is nonnegative:
\[
\chi(X)\ge0.
\]
In particular, any ANCO manifold whose curvature operators also admit a uniform upper bound of this form has nonnegative Euler characteristic [2603.23932].

The proof combines geometric compactness and classical integral formulas. Two-sided spectral bounds imply a uniform bound on sectional curvature. When \(\chi(X)\ne0\), the Chern–Gauss–Bonnet formula yields a uniform positive lower bound on volume. Cheeger–Gromov–Kasue compactness then gives a limit manifold \((X,g_\infty)\) in \(C^{1,\alpha}\), \(L^p_2\), and Weyl’s perturbation theorem shows that the curvature-operator eigenvalues converge almost everywhere to a nonnegative limit. Since a metric with nonnegative curvature operator satisfies \(\chi(X)\ge0\) by a classical proposition of Bourguignon–Karcher and Kulkarni, a negative Euler characteristic is impossible [2603.23932].

Cai also proved a vanishing theorem under an ANCO-type lower bound and infinite fundamental group. If \(X\) is a closed smooth \(2n\)-manifold with infinite \(\pi_1\) and there exists a sequence of metrics \(\{g_i\}\) such that
\[
\bigl(\lambda_1(g_i)+\cdots+\lambda_n(g_i)\bigr)\,\diam^2(X,g_i)\ge-\frac{n}{i},
\qquad
\diam(X,g_i)\le1,
\]
then
\[
\chi(X)=0,\qquad \sigma(X)=0,
\]
and if \(X\) is spin, then \(\widehat A(X)=0\) [2603.23932]. The argument uses a linear-algebraic estimate of Petersen–Wink to obtain Bochner inequalities on differential forms, then applies \(L^2\)-index vanishing on the universal cover; in the spin case, the hypothesis implies almost nonnegative Ricci curvature, and Chen–Ge–Han’s spin-index theorem gives the vanishing of \(\widehat A\) [2603.23932].

## 6. Classification status, comparisons, and open questions

The present theory exhibits a marked asymmetry between existence and classification. On the existence side, principal-bundle constructions provide abundant ANCO examples, including infinitely many simply connected manifolds that do not admit any metric with nonnegative curvature operator [1204.6676]. On the rigidity side, Ricci-flow methods show that in the noncollapsed regime sufficiently small lower curvature-operator defects can force the existence of a genuinely nonnegative curvature-operator metric [1707.03002]. These results indicate that collapse is a major source of genuinely new ANCO phenomena.

Several foundational questions remain open. No full classification of ANCO manifolds is known. It is open whether in each dimension \(\ge4\) there are ANCO spaces not admitting nonnegative curvature-operator metrics. It is also open whether every ANCO manifold virtually fibers with infranil or torus base and ANCO fibre, whether there are closed manifolds with almost nonnegative sectional curvature but no ANCO, whether exotic spheres carry ANCO, and whether ANCO manifolds are rationally elliptic [1204.6676].

The Euler-characteristic problem, originally listed among these open questions, has been substantially clarified but not in complete generality. The known results now show: \(\chi(X)=0\) for compact even-dimensional ANCO manifolds with \(H^1_{\mathrm{dR}}(X)\neq0\); \(\chi(X)\ge0\) for compact ANCO \(4\)-manifolds; \(\chi(X)\ge0\) for closed even-dimensional ANCO manifolds under a uniform upper bound on the curvature operator; and \(\chi(X)=\sigma(X)=\widehat A(X)=0\) under an ANCO-type lower bound together with infinite fundamental group, with the \(\widehat A\)-vanishing in the spin case [2507.22091, 2603.23932]. This suggests that the unresolved part of the Euler-characteristic question is concentrated in higher-dimensional, potentially collapsed, finite-\(\pi_1\) settings where no upper spectral control is assumed.

Source: https://www.emergentmind.com/topics/almost-nonnegative-curvature-operator-anco