we-solve (beta)

Math-251 · mathematics · Geometry

Hopf conjecture for nonnegative sectional curvature

Status OpenLLM status Open unverified

Statement

Definitions and mathematical statement

For a closed even-dimensional Riemannian manifold $M$, let $K_g(\sigma)$ be sectional curvature on a tangent two-plane, with the sign convention positive on round spheres, and let $\chi(M)=\sum_i(-1)^i\dim H_i(M,{\mathbb{Q}})$. The assertion is \[ K_g(\sigma)\ge0\text{ on every tangent two-plane} \quad\Longrightarrow\quad\chi(M)\ge0. \] Zero sectional curvature and zero Euler characteristic are allowed. The manifold need not be simply connected or have an assumed isometric group action. This nonnegative-curvature statement is distinct from the strict positive-curvature version requiring strictly positive Euler characteristic, and neither is merely a scalar-curvature condition.

Formulation and concept references: [S1].

Short English statement

Must every closed even-dimensional manifold with nonnegative sectional curvature have nonnegative Euler characteristic?

Sources

Statement licence: CC-BY-4.0 · Source file

Contributions 2

Math-251-A2 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Math-251

A topological Einstein-energy gap: The L2 gap explicitly assumes the Einstein classification and requires sufficiently small traceless-Ricci energy.

Positive-Einstein four-manifold classification: The classification requires an Einstein metric and real dimension four.

Zero-plane Einstein rigidity: The classification requires an Einstein metric and real dimension four.

This page records partial support. Complete resolution of the catalogue question is not established by this record.

Hopf conjecture for nonnegative sectional curvature

OpenAI's claim

A topological Einstein-energy gap: Assuming the manuscript's normalized classification of nonnegatively curved Einstein four-manifolds, a sufficiently small scale-invariant $L^2$ trace-free Ricci energy is claimed to force a simply connected closed nonnegatively curved four-manifold to be diffeomorphic to $S^4$, $\mathbb{CP}^2$ or $S^2\times S^2$. No additional geometric bounds are imposed.

Positive-Einstein four-manifold classification: The paper claims that closed connected positively curved Einstein four-manifolds are, up to scaling, the round sphere, Fubini--Study projective plane, or round real projective space; the last possibility accommodates nonorientability.

Zero-plane Einstein rigidity: The claim assumes a positive Einstein constant on a closed four-manifold; if sectional curvature is nonnegative and one plane is flat, the universal cover is the product of two round constant-curvature surfaces; the radii are fixed by the Einstein normalization.

Mathematical statement of the claimed result

Mathematical claim 1.
Assume the companion classification: every closed connected smooth four-manifold with $\operatorname{Ric}=3g$ and sectional curvature $\ge0$ has universal cover isometric to round $S^4$, Fubini--Study $\mathbb{CP}^2$ normalized by $\operatorname{Ric}=3g$, or $S^2(1/\sqrt3)\times S^2(1/\sqrt3)$. Under that explicit premise, the claim gives an absolute $\epsilon_0>0$ such that any closed connected simply connected smooth four-manifold with $\sec_g\ge0$ and \[\int_M\left|\operatorname{Ric}_g-\tfrac14\operatorname{Scal}_g g\right|^2\,dV_g<\epsilon_0\] is diffeomorphic, without specified orientation, to $S^4$, $\mathbb{CP}^2$ or $S^2\times S^2$. The conclusion is topological rather than isometric, and the theorem is expressly conditional on the classification premise.
Mathematical claim 2.
In real dimension four, assume $M$ is smooth, closed and connected, and its metric is Einstein with $\sec_g>0$, there is $a>0$ such that $(M,ag)$ is claimed to be isometric to standard round $S^4$, Fubini--Study $\mathbb{CP}^2$, or standard round $\mathbb{RP}^4$. Einstein means $\operatorname{Ric}=\lambda g$ for a constant $\lambda$. Orientability is not required; the Einstein hypothesis is essential to this statement and is absent from the general Hopf conjecture.
Mathematical claim 3.
For a connected smooth closed four-manifold with $\operatorname{Ric}_g=3g$ and sectional curvature $\ge0$, the existence of one zero-curvature tangent two-plane is claimed to force its universal Riemannian cover to be \[S^2(1/\sqrt3)\times S^2(1/\sqrt3).\] Its corollary classifies every such universal cover as this product, round $S^4$ of curvature $1$, or Fubini--Study $\mathbb{CP}^2$ with $\operatorname{Ric}=3g$. This is an Einstein four-dimensional assertion, not a classification of all nonnegatively curved manifolds.

Outline of the argument

A topological Einstein-energy gap: A hypothetical countersequence is normalized and shown to satisfy initial geometry and Sobolev bounds. A uniform smoothing interval controls its high-curvature region and propagates the Einstein defect and negative-sectional-curvature error. The limit is a compact nonnegatively curved positive-Einstein space, whose companion classification identifies the topology and contradicts the sequence.

Positive-Einstein four-manifold classification: After normalizing the Einstein constant, coupled inequalities track the two Weyl blocks distinguished by the Hodge star. Weighted variance, Hessian, and moment comparisons reduce the analytic step to exact polynomial signs, forcing one block to vanish. Characteristic identities and a volume argument identify the oriented models, followed by an orientation-cover analysis of the possible quotient.

Zero-plane Einstein rigidity: Bonnet--Myers reduces the analysis to the compact simply connected cover. The two Weyl blocks satisfy a sharp coupled spectral constraint at the boundary of the curvature cone. Extending the weighted comparisons to this boundary and tracking equality forces the product geometry rather than merely a weaker norm bound.

Formal verification

Family 348 describes Lean coverage for the strict-positive-curvature Einstein classification; zero-plane rigidity and the small-energy gap are separate.

A topological Einstein-energy gap: No manuscript-specific Comparator is listed in the pinned inventory.

The documented selection does not cover the entire manuscript assertion relevant here.

Positive-Einstein four-manifold classification: The manuscript links EinsteinFour.lean.

The documented selection includes this manuscript’s main assertion; that assertion retains the restrictions stated above.

Zero-plane Einstein rigidity: No manuscript-specific Comparator is listed in the pinned inventory.

The documented selection does not cover the entire manuscript assertion relevant here.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources

Go to contribution →

Math-251-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Math-251

Hopf conjecture for nonnegative sectional curvature

Definitions and mathematical statement

For a closed even-dimensional Riemannian manifold $M$, let $K_g(\sigma)$ be sectional curvature on a tangent two-plane, with the sign convention positive on round spheres, and let $\chi(M)=\sum_i(-1)^i\dim H_i(M,{\mathbb{Q}})$. The assertion is \[ K_g(\sigma)\ge0\text{ on every tangent two-plane} \quad\Longrightarrow\quad\chi(M)\ge0. \] Zero sectional curvature and zero Euler characteristic are allowed. The manifold need not be simply connected or have an assumed isometric group action. This nonnegative-curvature statement is distinct from the strict positive-curvature version requiring strictly positive Euler characteristic, and neither is merely a scalar-curvature condition.

Formulation and concept references: [S1].

Short English statement

Must every closed even-dimensional manifold with nonnegative sectional curvature have nonnegative Euler characteristic?

Research attempt: surfaces, product closure, and a scalar-curvature stress test

Status. We prove the selected nonnegative-curvature assertion in dimension two and for classes built by products and finite free isometric quotients from known examples. We also exhibit why replacing sectional curvature by scalar curvature invalidates the claim. The primary discussion [S1] supplies context for the higher-dimensional Hopf question.

1. The surface case, including nonorientable surfaces

For an oriented closed Riemannian surface, Gauss--Bonnet gives \[2\pi\chi(M)=\int_M K\,dA.\] If $K\ge0$, the right side is nonnegative, proving the claim. If $M$ is nonorientable, its oriented double cover $\widetilde M$ inherits the lifted metric with the same local curvature sign. Euler characteristic is multiplicative under finite covers, since every cell of a finite CW structure has exactly the degree-many lifts. Hence $\chi(\widetilde M)=2\chi(M)$ and the oriented conclusion gives the desired result. No simply connected assumption enters.

2. Products preserve both the curvature condition and the inequality

For a product metric on $M\times N$, write two tangent vectors as $u=(u_M,u_N)$, $v=(v_M,v_N)$. The curvature numerator is \[\langle R(u,v)v,u\rangle =\langle R_M(u_M,v_M)v_M,u_M\rangle+ \langle R_N(u_N,v_N)v_N,u_N\rangle.\] Each term is nonnegative when that factor has nonnegative sectional curvature; if its two projected vectors are dependent, that term is zero. Dividing by $|u\wedge v|^2>0$ proves nonnegative sectional curvature of every product plane, including mixed planes.

Künneth over $\mathbb Q$ gives $b_k(M\times N)=\sum_{i+j=k}b_i(M)b_j(N)$. Taking alternating sums of this finite identity yields \[\chi(M\times N)=\chi(M)\chi(N).\] Thus products of even-dimensional factors already satisfying the desired sign again satisfy it. An odd-dimensional closed manifold has Euler characteristic zero by Poincaré duality over an orientation cover (and division by its finite degree), so a product with an odd-dimensional closed factor has Euler characteristic zero as well. In particular, products of round spheres, flat tori and closed nonnegatively curved surfaces satisfy the target directly.

If a finite group of order $d$ acts freely and isometrically on such a product, the quotient inherits nonnegative sectional curvature because the projection is a local isometry. The same cellular covering count gives $\chi(\text{quotient})=\chi(\text{product})/d\ge0$. Freeness matters: a quotient with fixed points is an orbifold and need not be a manifold in the selected target.

3. An explicit failed weakening of the hypothesis

Let $\Sigma_g$ be a closed hyperbolic surface with genus $g>1$ and curvature $-1$, and put curvature $c>1$ on a round $S^2$ by rescaling its metric. The product four-manifold has scalar curvature \[\mathrm{Scal}(S^2\times\Sigma_g)=2c-2>0,\] since scalar curvatures add for products and a surface has scalar curvature twice its Gaussian curvature. Yet \[\chi(S^2\times\Sigma_g)=2(2-2g)<0.\] This is a concrete counterexample to a scalar-curvature version. It is not a counterexample to the question: tangent planes lying in the hyperbolic factor have sectional curvature $-1$. Therefore an attempted proof that replaces the full sectional-curvature operator by its scalar trace throws away indispensable information.

4. Verification and remaining gap

The denominator in the sectional-curvature formula is the area squared of the whole product plane, not the sum of factor areas, but only its positivity is needed for the sign argument. Euler-characteristic multiplicativity is independent of metric and follows from exact Betti-number algebra. These observations prove the stated closure families. In higher even dimension, the Gauss--Bonnet integrand is a polynomial in curvature components; nonnegative sectional curvature does not make its sign immediate from the two-dimensional argument. No pointwise sign theorem or alternative global argument is established here for a general manifold. That is the remaining obstruction.

Sources

Go to contribution →