On FKM isoparametric hypersurfaces in ${\mathbb{S}}^n\times {\mathbb{S}}^n$ and new area-minimizing cones

We present two generalizations for the celebrated works of Ferus-Karcher-Münzner \cite{FKM81} and Wang \cite{W94}. We first show that an isoparametric foliation on ${\mathbb{S}}^{2n+1}$ constructed by Ferus-Karcher-Münzner naturally yields an isoparametric foliation on its submanifold ${\mathbb{S}}^n\times {\mathbb{S}}^n$ with one same focal variety. The second part concerns area-minimizing cones; all known regular area-minimizing hypercones are realized as real algebraic varieties: isoparametric cones (cf. \cite{W94}). As a noteworthy application, we extend area-minimizing isoparametric hypercones in \cite{W94} to codimension-two cases, and obtain infinitely many families (each containing infinitely many members) of area-minimizing subcones of Simons cones.