Entire area-minimizing surfaces in R^4 are algebraic
Nick Edelen, Luis Atzin Franco Reyna, Paul Minter
TL;DR
The paper proves a sharp algebraic classification for entire 2-dimensional area-minimizing or stable surfaces in $\mathbb{R}^4$ with quadratic area growth, showing they are cut out by holomorphic polynomials whose total degree equals the density at infinity $\Theta$. It combines Rivière's uniqueness of tangent cones at infinity with Micallef's holomorphicity result to deduce holomorphicity after rigid motion and then applies Chow's theorem (GAGA) to obtain algebraicity; for area-minimizing $2$-currents with finite density, it gives a decomposition into a finite sum of algebraic currents with degrees $d_i$ and multiplicities $m_i$ satisfying $\sum_i m_i d_i=\Theta$, along with explicit bounds on the singular set and the genus of the regular part. The results link geometric measure theory with complex and algebraic geometry, yielding rigidity results and explicit genus/singularity bounds that depend only on $\Theta$, and provide concrete descriptions for low densities such as $\Theta\le 3$.
Abstract
We classify entire 2-dimensional area-minimizing or stable surfaces in R^4 with quadratic area growth as algebraic, cut out by a finite union of holomorphic polynomials whose collective degrees are controlled by the density at infinity. As a consequence, we obtain bounds on the singular set size and genus in terms of the density at infinity.
