2011.09452
Generalizations of the Eierlegende-Wollmilchsau
Paul Apisa, Alex Wright
correcthigh confidence
- Category
- math.DS
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves that any geminal orbit closure not consisting of branched torus covers must be one of: (1) a component of an Abelian stratum, (2) an Abelian or quadratic double, or (3) a full locus of covers of a quadratic double of a genus‑0 stratum, via an inductive argument using diamonds, boundary analysis, and optimal maps; see the statement of Theorem 1.1 and its detailed form Theorem 8.1, together with the proof outline concluding Sublemma 8.13 that forces the genus‑0 base in case (3) . By contrast, the model both (i) asserts the problem is likely open as of 2020‑11‑18 (contradicted by the posted proof) and (ii) overclaims sufficiency by stating that every full locus of covers of a quadratic double of genus 0 is geminal, whereas the paper explicitly does not classify which loci of type (3) are geminal .
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} strong field
\textbf{Justification:}
This work gives a substantial and carefully executed classification result for geminal orbit closures, using new diamond/optimal-map tools alongside boundary theory. The arguments are convincing and well-integrated with prior literature. Some expository enhancements would aid readability, especially guiding the reader through the inductive structure and the genus–0 forcing. The intentional scope limitation for sufficiency in case (3) is appropriate and clearly stated.