differential-equations / Partial differential equations

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

For every n3n\geq3, let uC(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 uL(B2)+DuL(B2)K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then supB1/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 n3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n5n\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 unknownproved

For every n3n\geq3, let uC(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 uL(B2)+DuL(B2)K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then supB1/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 n3n\ge3. Prior unrestricted qua…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every n3n\geq3, let uC(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 uL(B2)+DuL(B2)K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then supB1/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 n3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n5n\ge5 required additional semiconvexity assumptions.

For every n3n\geq3, let uC(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 uL(B2)+DuL(B2)K. \|u\|_{L^\infty(B_2)}+\|Du\|_{L^\infty(B_2)}\le K. Then supB1/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 n3n\ge3. Prior unrestricted quantitative graphical estimates were known in dimension 33; dimension 44 had only an implicit estimate with extra dependence, and n5n\ge5 required additional semiconvexity assumptions.

Recorded attempts

Evidence graph

Connected research record