differential-equations / Geometric PDE; affine maximal hypersurfaces

The Euclidean-complete affine Bernstein problem in dimensions three through nine

Claims: for 3≤n≤93\le n\le9, every smooth affine maximal graph with positive-definite Hessian over an open convex domain whose graph is complete for the induced Euclidean metric is entire and quadratic, so an elliptic paraboloid; no growth or affine-completeness assumption. Via Trudinger-Wang it extends to affine-complete immersed hypersurfaces. The companion constructs a smooth nonquadratic entire solution with positive-definite Hessian in dimension ten, so the range cannot extend to n=10n=10. Dimensions n≥11n\ge11 are not addressed, and the dimension-ten example asserts no uniform Hessian bound or affine completeness.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsSep 24, 2026Significance 32/100Registry: lean checked

The Euclidean-complete affine Bernstein problem in dimensions three through nine

Prior state unknown→proved

Claims: for 3≤n≤93\le n\le9, every smooth affine maximal graph with positive-definite Hessian over an open convex domain whose graph is complete for the induced Euclidean metric is entire and quadratic, so an elliptic paraboloid; no growth or affine-completeness assumption. Via Trudinger-Wang it extends to affine-complete immersed hypersurfaces. The companion constructs a smooth nonquadratic entire solution with positi…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims: for 3≤n≤93\le n\le9, every smooth affine maximal graph with positive-definite Hessian over an open convex domain whose graph is complete for the induced Euclidean metric is entire and quadratic, so an elliptic paraboloid; no growth or affine-completeness assumption. Via Trudinger-Wang it extends to affine-complete immersed hypersurfaces. The companion constructs a smooth nonquadratic entire solution with positive-definite Hessian in dimension ten, so the range cannot extend to n=10n=10. Dimensions n≥11n\ge11 are not addressed, and the dimension-ten example asserts no uniform Hessian bound or affine completeness.

Claims: for 3≤n≤93\le n\le9, every smooth affine maximal graph with positive-definite Hessian over an open convex domain whose graph is complete for the induced Euclidean metric is entire and quadratic, so an elliptic paraboloid; no growth or affine-completeness assumption. Via Trudinger-Wang it extends to affine-complete immersed hypersurfaces. The companion constructs a smooth nonquadratic entire solution with positive-definite Hessian in dimension ten, so the range cannot extend to n=10n=10. Dimensions n≥11n\ge11 are not addressed, and the dimension-ten example asserts no uniform Hessian bound or affine completeness.

Recorded attempts

Evidence graph

Connected research record

The Euclidean-complete affine Bernstein problem in dimensions three through nine — Mathematical Frontier Network