Gradient estimates for the Green kernel under spectral Ricci bounds, and the stable Bernstein theorem in R4

We describe a method to prove new integral inequalities for stable minimal hypersurfaces in Euclidean space. As an application, we give a simple proof that complete, two sided, stable minimal hypersurfaces in R4 are hyperplanes. A core part of the argument hinges on the fact that stable minimal hypersurfaces in non-negatively curved spaces are examples of manifolds with a spectral Ricci curvature lower bound; in particular, we prove a sharp pointwise gradient estimate for the Green kernel on non-parabolic manifolds with spectral Ricci lower bounds, extending previous work by Colding.