On De Giorgi's conjecture in dimension N ≥ 9

A celebrated conjecture due to De Giorgi states that any bounded so-lution of the equation Δu + (1-u²)u = 0 in R{double-struck}^N with ∂_yN u > 0 must be such that its level sets {u=λ} are all hyperplanes, at least for dimension N ≤ 8. A counterexample for N ≥ 9 has long been believed to exist. Start-ing from a minimal graph Γ which is not a hyperplane, found by Bombieri, De Giorgi and Giusti in R{double-struck}^N, N ≥ 9, we prove that for any small α > 0 there is a bounded solution u_α(y) with ∂_yN u_α > 0, which resembles tanh(t/√2(, where t = t(y) denotes a choice of signed distance to the blown-up mini-mal graph Γ_α := α^-1Γ. This solution is a counterexample to De Giorgi's conjecture for N ≥ 9.