differential-equations / Partial differential equations

Interior Curvature Estimates for the Graphical Scalar Curvature Equation in All Dimensions

For every n≥3n\geq3, let u∈C∞(B2)u\in C^\infty(B_2) be an admissible solution of κ[u]∈Γ2,σ2(κ[u])=1, \kappa[u]\in\Gamma_2,\qquad \sigma_2(\kappa[u])=1, with ∥u∥L∞(B2)+∥Du∥L∞(B2)≤K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then sup⁡B1/2∣κ[u]∣≤C(n,K). \sup_{B_{1/2}}|\kappa[u]|\le C(n,K). Thus an admissible graph of constant scalar curvature with bounded height and slope cannot develop unbounded interior curvature, in any dimension n≥3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n≥5n\ge5 required additional semiconvexity assumptions.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsSep 2, 2026Significance 30/100Registry: unreviewed

Interior Curvature Estimates for the Graphical Scalar Curvature Equation in All Dimensions

Prior state unknown→proved

For every n≥3n\geq3, let u∈C∞(B2)u\in C^\infty(B_2) be an admissible solution of κ[u]∈Γ2,σ2(κ[u])=1, \kappa[u]\in\Gamma_2,\qquad \sigma_2(\kappa[u])=1, with ∥u∥L∞(B2)+∥Du∥L∞(B2)≤K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then sup⁡B1/2∣κ[u]∣≤C(n,K). \sup_{B_{1/2}}|\kappa[u]|\le C(n,K). Thus an admissible graph of constant scalar curvature with bounded height and slope cannot develop unbounded interior curvature, in any dimension n≥3n\ge3. Prior unrestricted qua…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every n≥3n\geq3, let u∈C∞(B2)u\in C^\infty(B_2) be an admissible solution of κ[u]∈Γ2,σ2(κ[u])=1, \kappa[u]\in\Gamma_2,\qquad \sigma_2(\kappa[u])=1, with ∥u∥L∞(B2)+∥Du∥L∞(B2)≤K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then sup⁡B1/2∣κ[u]∣≤C(n,K). \sup_{B_{1/2}}|\kappa[u]|\le C(n,K). Thus an admissible graph of constant scalar curvature with bounded height and slope cannot develop unbounded interior curvature, in any dimension n≥3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n≥5n\ge5 required additional semiconvexity assumptions.

For every n≥3n\geq3, let u∈C∞(B2)u\in C^\infty(B_2) be an admissible solution of κ[u]∈Γ2,σ2(κ[u])=1, \kappa[u]\in\Gamma_2,\qquad \sigma_2(\kappa[u])=1, with ∥u∥L∞(B2)+∥Du∥L∞(B2)≤K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then sup⁡B1/2∣κ[u]∣≤C(n,K). \sup_{B_{1/2}}|\kappa[u]|\le C(n,K). Thus an admissible graph of constant scalar curvature with bounded height and slope cannot develop unbounded interior curvature, in any dimension n≥3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n≥5n\ge5 required additional semiconvexity assumptions.

Recorded attempts

Evidence graph

Connected research record