1 · The essentials
The manuscript addresses how small the volume of a certain kind of curved shape inside a sphere can be. It concerns shapes called minimal, with no boundary, that form one connected whole. The surrounding sphere has radius one, and the shape itself can have any dimension of two or more. Shapes that lie entirely along an equator are excluded. The manuscript shows that every remaining shape has volume at least as large as the smallest member of a particular family of comparison shapes. If the shape covers the same region more than once, each covering counts toward its volume. This main result has not been formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, think of measuring the amount of fabric in a wrapped object rather than only the surface you can see: overlapping layers still count. Likewise, the manuscript measures volume on the shape's own domain, so repeated coverings are not discarded.
Why it matters
The result supplies a common lower volume bound for the specified minimal shapes in every dimension . The manuscript presents it as resolving the Solomon–Yau least-volume conjecture, with the smallest minimal Clifford product providing the comparison volume.
2 · Going further
The precise statement concerns a closed connected minimal immersion of an -dimensional domain into the unit round sphere , for every . Its image must not be totally geodesic. Under these hypotheses, the manuscript shows that its volume is at least the volume of the smallest -dimensional minimal Clifford product.
The distinction between the domain and its image is essential to the statement. Volume is measured on the domain of the immersion, so covering multiplicities contribute to the total. The bound is therefore not merely a statement about the volume of the image with repeated coverings ignored.
The supplied context identifies this as the Solomon–Yau least-volume conjecture for minimal hypersurfaces of round spheres. The abstract states the result but gives no argument or description of its main mechanism, so an account of the method cannot be extracted from this source. Only the main manuscript is supplied; no companion manuscripts or relationships between them are described.
Useful notions
- Unit round spheres
- Minimal hypersurfaces
- Immersions and their domains
- Volume and covering multiplicity
- Totally geodesic images
What was known before / what is new
Before
The source identifies the target statement as the Solomon–Yau least-volume conjecture. It provides no account of earlier partial results or of the conjecture's history.
New
The manuscript presents the volume lower bound for every dimension , under the stated closedness, connectedness, minimality, and image hypotheses. Its statement explicitly includes covering multiplicity by measuring volume on the domain.
Limits and assumptions
The claim applies to closed connected minimal immersions into unit round spheres, in dimensions , and excludes totally geodesic images. It does not state a result for other surrounding geometries or for shapes outside these hypotheses. The supplied abstract does not describe the argument, characterize all equality cases, or identify remaining open questions. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Unit round sphere —
- The radius-one sphere serving as the surrounding space in the manuscript's statement.
- Hypersurface —
- A shape whose dimension is one less than that of the surrounding space, here dimension inside .
- Covering multiplicity —
- The number of times an immersion covers a region, with each covering contributing to the volume used here.
- Minimal Clifford product —
- A member of the comparison family whose smallest -dimensional volume supplies the lower bound in the statement.
Keywords : Minimal hypersurfaces · Solomon–Yau conjecture · Volume lower bounds
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the Solomon–Yau least-volume conjecture for minimal hypersurfaces of round spheres. For every m ≥ 2, a closed connected minimal immersion into the unit sphere with non-totally-geodesic image has volume at least that of the smallest minimal Clifford product, counting covering multiplicity.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The Solomon–Yau least-volume theorem
23/09/2026We prove the Solomon–Yau least-volume conjecture for minimal hypersurfaces of unit round spheres: in every dimension m ≥ 2, a closed connected minimal immersion with non-totally-geodesic image has volume at least the smallest m-dimensional minimal Clifford product. Volume is measured on the domain, so covering multiplicities are included.