De Giorgi's conjecture in dimension eight

1 · The essentials

The manuscript studies a rule for how a smooth quantity can vary throughout eight-dimensional space while staying strictly between −1 and 1. It asks what happens when that quantity increases strictly along one fixed direction, everywhere. The manuscript shows that every such pattern satisfying the rule actually depends on just one straight-line coordinate. In other words, the apparent freedom to vary in eight dimensions collapses to a much simpler pattern. It also states a stronger result in seven dimensions under a different condition called stability, without requiring an additional bound on energy growth. These are claims supported by the manuscript, not results formalized in Lean or formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine a striped sheet whose shade changes only as you move across the stripes, never as you move along them. The claimed conclusion is that the allowed patterns must have this kind of one-directional structure, although the actual problem concerns an equation in eight dimensions rather than a sheet.

Why it matters

The source presents the eight-dimensional result as a positive resolution of De Giorgi's conjecture at its sharp dimension-eight endpoint. Its significance is a classification: under the stated assumptions, no more complicated patterns are allowed. The seven-dimensional statement is stronger in the sense reported by the source and does not assume a bound on energy growth.

2 · Going further

The precise eight-dimensional problem concerns an entire $C^{2}$ solution $u : R^{8} \to (- 1, 1)$ of $Δ u = u^{3} - u$ . The monotonicity hypothesis requires an everywhere positive directional derivative in one fixed direction. The manuscript claims that every such solution is a planar heteroclinic; in particular, it depends on only one linear coordinate.

The abstract also states a classification of every stable entire solution $v : R^{7} \to [- 1, 1]$ of the same equation. Such a solution is claimed to be either a constant well or a planar heteroclinic. Importantly, this statement has no energy-growth assumption; stability remains a required hypothesis.

The repository describes dimension eight as the sharp endpoint for the conjecture. However, the supplied abstract does not describe the argument, explain how the seven-dimensional classification yields the eight-dimensional conclusion, or give details supporting sharpness. Only one manuscript is supplied, so no relationship with companion manuscripts can be described from this source. The main result is not formalized in Lean and has not been formally verified.

Useful notions

Functions of several real variables
First and second derivatives
Directional derivatives
The Laplacian and partial differential equations
Stability of solutions

What was known before / what is new

Before

The source identifies the question as De Giorgi's conjecture and describes dimension eight as its sharp endpoint. It supplies no account of earlier results, previous dimensional cases, or the history of the conjecture.

New

The manuscript claims the eight-dimensional classification under an everywhere positive directional derivative. It also claims that all stable entire solutions in seven dimensions with values in $[- 1, 1]$ are constant wells or planar heteroclinics. This second classification explicitly dispenses with an energy-growth assumption.

Limits and assumptions

The eight-dimensional claim requires a solution defined on all of $R^{8}$ , twice continuously differentiable, taking values strictly in $(- 1, 1)$ , satisfying the specified equation, and having an everywhere positive derivative in one fixed direction. The seven-dimensional claim requires an entire stable solution taking values in $[- 1, 1]$ ; removing an energy-growth assumption does not remove stability. The supplied abstract neither defines stability nor presents the argument, and it does not identify remaining open questions. No conclusions outside these hypotheses should be inferred. The main result is NOT formalized in Lean and has NOT been formally verified.

Mini glossary

Entire solution: A solution defined throughout the whole space, here $R^{8}$ or $R^{7}$ .
$C^{2}$: The condition that a function has continuous derivatives through order two.
Directional derivative: The rate at which a function changes when moving in a specified direction.
Laplacian: The operator $Δ$ , which sums the second derivatives in the coordinate directions.
Planar heteroclinic: The planar transition named in the source's classification, depending on only one linear coordinate.
Stability: The additional condition imposed on solutions in the seven-dimensional classification, whose precise definition is not supplied in the abstract.

Keywords : De Giorgi's conjecture · Planar heteroclinics · Stable solutions

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves De Giorgi's conjecture at its sharp dimension-eight endpoint: every entire C² solution $u : R^{8} \to (- 1, 1)$ of $Δ u = u^{3} - u$ that is strictly increasing in one direction depends on only one linear coordinate. A stronger theorem classifies all stable entire solutions $v : R^{7} \to [- 1, 1]$ as constant wells or planar transitions, without an energy-growth assumption.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

A positive resolution of De Giorgi's conjecture in dimension eight

26/09/2026

To be verified

We resolve De Giorgi's conjecture positively in dimension eight: every entire C² solution $u : R^{8} \to (- 1, 1)$ of $Δ u = u^{3} - u$ with an everywhere positive directional derivative is a planar heteroclinic. We prove that every stable solution $v : R^{7} \to [- 1, 1]$ of this equation is a constant well or a planar heteroclinic, without an energy-growth assumption.

PDF GitHub folder