Stable minimal hypersurfaces in ℝ^N+1+ℓ with singular set an arbitrary closed K⊂{0}×ℝ^ℓ

With respect to a C ∞ metric which is close to the standard Euclidean metric on R N + 1 + ℓ , where N ≥ 7 and ℓ ≥ 1 are given, we construct a class of embedded ( N + ℓ )-dimensional hypersurfaces (without boundary) which are minimal and strictly stable, and which have singular set equal to an arbitrary preassigned closed subset K ⊂ { 0 } × R ℓ . Thus the question is settled, with a strong affirmative, as to whether there can be “gaps” or even fractional dimensional parts in the singular set. Such questions, for both stable and unstable minimal submanifolds, remain open in all dimensions in the case of real analytic metrics and in particular for the standard Euclidean metric. The construction used here involves the analysis of solutions u of the Symmetric Minimal Surface Equation on domains Ω ⊂ R n whose symmetric graphs (i.e. { ( x , ξ ) ∈ Ω × R m : | ξ | = u ( x ) } ) lie on one side of a cylindrical minimal cone, including in particular a Liouville type theorem for complete solutions (i.e. the case Ω = R n ).