The two cubic separable minimal surfaces: ${\mathcal{D}}_1{\mathcal{D}}_2{\mathcal{D}}_3=1$ and ${\mathcal{C}}_1+{\mathcal{C}}_2+{\mathcal{C}}_3=3{\mathcal{C}}_1{\mathcal{C}}_2{\mathcal{C}}_3$

Abstract

A minimal surface in ${\mathbb{R}}^3$ is $\text{separable}$ if it is the zero set of $f(x)+g(y)+h(z)$, and $\text{isotropic}$ if moreover $f=g=h$. We announce that there are exactly two non-planar isotropic separable minimal surfaces up to homothety and rigid motion, that they are conjugate, and that they are Schwarz's diamond surface $\mathrm{D}$ and Schwarz's primitive surface $\mathrm{P}$. In lattice-normalized coordinates their implicit equations are \[\mathrm{D}:\; \mathcal{D}(x)\mathcal{D}(y)\mathcal{D}(z)=1,\] \[\mathrm{P}:\; \mathcal{C}(x)+\mathcal{C}(y)+\mathcal{C}(z) =3\,\mathcal{C}(x)\mathcal{C}(y)\mathcal{C}(z),\] where $\mathcal{D}(t)=\frac{\mathrm{sn}\mathrm{dn}}{\mathrm{cn}}(K[\frac{1}{4}]t,\frac{1}{4})$ and $\mathcal{C}(t)=\mathrm{cn}(2K[\frac{3}{4}]t,\frac{3}{4})$. The first equation is classical -- it is due to Schwarz, later Cayley, and appears in Nitsche's $\text{Lectures}$ -- we identify Nitsche's transcendental function exactly as $\mathrm{sn}\mathrm{dn}/\mathrm{cn}$ at parameter $\frac{1}{4}$. The second appears to be new; it is the symmetric member of the two-parameter family of Kim and Ogata (2024), and it proves their assertion that the family contains $\mathrm{P}$. Both surfaces are governed by one differential equation with two signs, \[φ'^{\,2}=1+2\cosh 2φ \ (\mathrm{D}),\] \[φ'^{\,2}=1+2\cos 2φ \ (\mathrm{P}),\] the two signs of the separation constant of the classical reduction; and in that common normalization the two lattice periods are $2K[\frac{1}{4}]$ and $2K[\frac{3}{4}]$, whose ratio is Schwarz's 1866 constant $K^{\prime }[\frac{1}{4}]/K[\frac{1}{4}]=\mathrm{1.2792615...}$, the necessary scale ratio for a conjugate pair. Proofs will appear in [D, P].

arXiv comment9 pages