REVIEW 3 major objections 5 minor 45 references
The WYSIWYG compactification
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves the tangent-space formula for the boundary of any GL(2,R) orbit closure in the WYSIWYG compactification, unconditionally for multi-component limits, while showing the compactification itself is not algebraic.
desk verdict Removes the conditional from the multi-component boundary tangent space formula using a genuinely different, shorter route through Filip's algebraicity; the soft spots are technical dependencies on the BCG+ compactification, not hidden errors. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The main mechanism is the interaction between period coordinates and collapse maps. Near a boundary point, a collapse map sends the relative homology of nearby smooth translation surfaces to that of the limit, so the tangent space of a stratum embeds in the tangent space of nearby strata; the subspace annihilating the vanishing cycles $V_n$ is identified with the tangent space of the boundary stratum. Period coordinates turn invariant subvarieties into loci cut out by linear equations, and the proof shows these equations push forward under the collapse map. The multi-component transition is controlled by the moduli space of multi-scale differentials $\mathbb{I}\mathcal{H}(\kappa)$, which provides finitely many simply connected neighborhoods with model homology groups and continuous 'perturbed period coordinates' extending periods to the boundary (Theorem 6.4). Cylinder deformations and the Cylinder Finiteness Theorem are used to remove cylinders of large modulus, keeping the tangents constant along paths inside $M$.
What would settle it
On a concrete stratum such as $\mathcal{H}(2)$, take an explicit orbit closure $M$ defined by a linear equation in period coordinates, degenerate a sequence in $M$ to a two-component boundary point, and compute the two spaces $T M'$ and $T M \cap \operatorname{Ann}(V)$ in period coordinates at that point. If they are not equal, Theorem 1.2 is false.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.2. Let $M$ be a $\mathrm{GL}^+(2,\mathbb{R})$ orbit closure in a stratum $\mathcal{H}(\kappa)$, and let $\partial M^{<\infty}$ be its boundary in the finite-area locus of the WYSIWYG compactification. If a sequence $(X_n,\omega_n)\in M$ converges to $(X_\infty,\omega_\infty)\in\partial M^{<\infty}$, then the intersection $M'$ of $\partial M^{<\infty}$ with the stratum of the limit surface is an algebraic variety, locally described by a finite union of linear subspaces in period coordinates; moreover, after passing to finitely many subsequences, the tangent space to a branch of $\partial M^{<\infty}$ equals the intersection of the tangent space of a branch of $M$ with the tangent space of the boundary stratum. This completes the multi-component case of a formula previously proven for single-component limits only under an additional hypothesis. Theorem 1.1 complements this by showing that the WYSIWYG compactification itself is not algebraic: for $g\ge 3$ with all zero orders positive, and for $g=2$ with $\kappa=(1,1)$, $\mathbb{P}\widetilde{\mathcal{H}}(\kappa)$ admits neither an algebraic variety nor a complex analytic space structure making the projection $\pi$ a morphism. Theorem 1.3 then gives structural results for multi-component boundaries of invariant subvarieties, including equal rank of the projections and isogeny of associated Jacobian factors.
Load-bearing premise
The unconditional proof rests on the cited construction of a smooth multi-scale compactification whose local charts extend period integrals continuously to the boundary; the paper cites that construction rather than proving it, so a gap there would undo the boundary formula.
Editorial extensions
If this is right
- The tangent-space formula for the boundary of an orbit closure now holds for multi-component limits without any extra hypothesis, so inductive studies of orbit closures via their boundaries can proceed in full generality.
- The finite-area boundary of an orbit closure in the WYSIWYG compactification is a finite union of invariant subvarieties, each locally cut out by linear equations in the period coordinates of the boundary stratum.
- For a prime invariant subvariety of a product of strata, the absolute periods of any one component determine those of every other component on the prime locus, and the natural Jacobian factors of the components are isogenous.
- The listed strata admit no algebraic compactification of WYSIWYG type compatible with the projection from the stratum; algebraic treatments must use finer compactifications or analytic arguments.
- Boundary equations are push-forwards of the equations defining $M$ under the collapse map, so the boundary can be computed from local period-coordinate data of $M$ alone.
Reading between the lines
- Editorial inference: the rigidity obstruction behind Theorem 1.1 should affect any compactification that contracts entire families of collapsed components while retaining no record of them; finer compactifications avoid this by keeping level-graph and matching data.
- Editorial inference: because the proof of Theorem 1.2 uses algebraicity of orbit closures as an input, the same boundary formula may extend to invariant subvarieties of multi-component surfaces once their algebraicity is established by other means.
- Editorial inference: Theorem 1.3(2) suggests a concrete classification strategy: decompose a multi-component boundary stratum into prime factors and use the 'one component controls the periods of the others' property to reduce classification to a single component; this can be tested on explicit rank-two example families.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the WYSIWYG partial compactification ~H(κ) of strata of Abelian differentials, continuing the program of Mirzakhani and Wright. Its first main result, Theorem 1.1, shows that for g ≥ 3 with positive κ and for g = 2, κ = (1,1), the projectivized space P~H(κ) is neither an algebraic variety nor a complex analytic space in any structure for which the natural map from PH(κ) is a morphism. The second main result, Theorem 1.2, gives an unconditional proof of the Mirzakhani–Wright formula for the tangent space to the boundary of a GL+(2,R) orbit closure: the boundary in the finite-area locus is an algebraic variety locally described by finitely many linear subspaces in period coordinates, and the tangent space to a branch of the boundary equals the intersection of the tangent space of a branch of the orbit closure with the tangent space of the boundary stratum. The previous multi-component case was conditional on a conjectural generalization of the Eskin–Mirzakhani–Mohammadi isolation results; here the proof uses Filip's algebraicity of orbit closures and the BCG+ multi-scale compactification instead. A third result, Theorem 1.3, establishes structural properties of prime invariant subvarieties of multi-component strata, including that the absolute periods of one component locally determine those of any other component.
Significance. If the results stand, the paper makes a substantial advance: it removes a long-standing conditional assumption from the boundary theory of affine invariant manifolds, thereby sharpening the available tools for the classification of orbit closures. The non-algebraicity theorem is a striking and clearly explained negative result that separates the WYSIWYG compactification from algebro-geometric compactifications. The paper is careful in crediting prior work and in isolating the new ingredients: Filip's algebraicity, the BCG+ compactification, and the foundational properties of ~H from Mirzakhani–Wright. The Cylinder Finiteness Theorem is used in an essential way and is presented as an outline; Theorem 6.4 relies on the cited preprint [BCG+] for the construction of the multi-scale compactification and perturbed period coordinates. The paper is generally well written, with explicit proofs for the main new steps, including the non-algebraicity argument, the reduction to bounded cylinder modulus, and the structure theorem for prime subvarieties. The inclusion of cautionary examples is a service to the reader and sharpens the statement of Theorem 1.2.
major comments (3)
- [§8, proof of Theorem 6.4 and footnote 4] The proof of Theorem 6.4, property (3), is the load-bearing step for Lemma 6.5 and hence for the unconditional proof of Theorem 1.2 in the multi-component case. This proof relies entirely on the cited preprint [BCG+] for the smooth orbifold structure of the multi-scale compactification and for the continuity of perturbed period coordinates, and it explicitly omits two technical details: the passage to a finite cover to avoid orbifold issues ('we omit this distinction here') and the adjustment of the smoothing parameters to powers t_j^{a_j} when polar nodes of pole order greater than two occur. Because a failure of the period-extension statement would break Lemma 6.5, I ask the authors to provide a complete verification of these two details or, failing that, to state clearly that Theorem 6.4 is conditional on the precise statements in [BCG+] and adjust the word 'unconditional' accordingly.
- [§5, Theorem 5.3 (Cylinder Finiteness Theorem)] The proof of Theorem 5.3 is only an outline, and the statement is slightly stronger than [MW17, Theorem 5.1]. The key step that 'There are also only finitely many equations fixing the ratios of these large modulus cylinders' is asserted without proof, and the earlier warning in Remark 5.5 that the limit of cylinder deformations may lie in a higher-codimension subvariety of the boundary makes this assertion non-obvious. Since Theorem 5.3 feeds directly into Lemma 5.6 and Theorem 5.2, and Theorem 5.2 is used to pass to the bounded-modulus situation in Corollary 6.3 and Lemma 6.5, I request a complete proof of Theorem 5.3 or a precise reference to a complete proof of the strengthened statement.
- [§3, proof of Theorem 1.1] For disconnected strata, the proof says 'The other cases are similar and we omit the details', after discussing hyperelliptic and spin components for H(2g−2). Since the theorem asserts the result for each connected component, including the spin components where the spin parity of the attached elliptic tails must be controlled, I ask for a few sentences explaining why the same construction applies to all the remaining components and how the parity condition is preserved under the degeneration used.
minor comments (5)
- [§2, Corollary 2.4] The notation 'H1(X, Σ) ≃ H1(X′, Σ′)' is used to identify relative homology, but the collapse maps fn are only defined up to automorphisms; it would help to say explicitly that the identification is well-defined on the level of homology classes, as is done later in the paragraph.
- [§7.1, proof of Lemma 7.2] The subscript in 'µϵ' should be 'ε' rather than a Greek epsilon in a different font; the same symbol is used inconsistently in the surrounding text.
- [§5, Remark 5.4] The notation 'γ∗i ∈ H1(X, Σ)' uses the Poincaré dual of the core curve; it may be worth reminding the reader that this is a relative class and that the identification 'H1(X, Σ) ≃ H1(X′, Σ′)' from Section 2 is being used implicitly.
- [§8, first paragraph] The symbol for the multi-scale compactification is introduced as 'ıH(κ)' but the text also uses 'ÙH(κ)' in the footnote about notation; please unify the typography.
- [§4, Lemma 4.1] The proof invokes the Cylinder Deformation Theorem before it is stated in Section 5; a forward reference would improve readability.
Circularity Check
No significant circularity; the boundary tangent-space formula is proved from independent inputs rather than assumed.
full rationale
The derivation of Theorem 1.2 is not circular. The central formula equating the tangent space of a boundary branch with T(M) ∩ Ann(V) is proved, not assumed: Lemma 6.5 derives ω∞ ∈ T(M) from Filip's algebraicity of orbit closures, the continuity of periods supplied by Theorem 6.4 (built on the BCG+ perturbed period coordinates, an independent construction), and from the cylinder-deformation reductions of Section 5. The reverse inclusion in Lemma 6.7 uses Proposition 2.5 from [MW17], again an imported tool rather than the target conclusion. Ann(V) is defined as the image of the collapse map on relative homology, and the equality of tangent spaces is the content of the theorem, not a restatement of the definition. Self-citations [MW17, Wri15] are used as genuine prior tools, and the paper explicitly extends the Cylinder Finiteness Theorem rather than importing it as the conclusion. The flagged technical omissions in Section 8 (passing to a finite cover to avoid orbifold issues, and replacing t_j by a suitable power t_j^{a_j} for polar nodes of pole order greater than two) are limitations or robustness concerns about the cited BCG+ construction, not circularity: the BCG+ period-extension statement is an independent input with its own construction, and the target formula is not embedded in it. No step reduces, by the paper's own equations, to its inputs. Hence the appropriate finding is no significant circularity, score 0.
Assumptions & free parameters
assumptions (6)
- domain assumption GL(2,R) orbit closures in connected strata are algebraic varieties (Filip's theorem).
- domain assumption The BCG+ construction yields a smooth compactification ıH(κ) of the stratum by multi-scale differentials with local coordinates given by smoothing parameters and perturbed period coordinates.
- domain assumption The foundational properties of the WYSIWYG compactification from [MW17]: Theorem 2.3 (convergence criterion), Proposition 2.5 (Ann(V) local constancy), and the Cylinder Finiteness Theorem [MW17, Theorem 5.1].
- domain assumption Existence of meromorphic differentials with vanishing residues at two double poles in H(κ,-2,-2) for κ≠(2), from [GT], plus the global residue condition from [BCG+18] ensuring the constructed stable differentials lie in PH(κ).
- standard math Standard complex analytic space facts, including Lemma 3.4 (Rigidity Lemma) proved in the paper, and the existence of holomorphic functions separating points on complex analytic spaces.
- standard math Deligne's semisimplicity of the monodromy of variations of Hodge structure [Del71], and the standard Lie theory consequence that connected semisimple groups act on invariant subspaces with determinant 1.
Cite this review
Pith. "Pith review of The WYSIWYG compactification." pith.science (2026). https://pith.science/paper/YBTBYSQ3
@misc{pith2026190807436,
author = {Pith},
title = {Pith review of: The WYSIWYG compactification},
year = {2026},
howpublished = {\url{https://pith.science/paper/YBTBYSQ3}},
note = {Machine review of arXiv:1908.07436}
}
read the original abstract
We show that the partial compactification of a stratum of Abelian differentials previously considered by Mirzakhani and Wright is not an algebraic variety. Despite this, we use a combination of algebro-geometric and other methods to provide a short, unconditional proof of Mirzakhani and Wright's formula for the tangent space to the boundary of a GL(2,R) orbit closure, and give new results on the structure of the boundary.
Figures
Reference graph
Works this paper leans on
-
[1]
J. S. Athreya and G. Forni, Deviation of ergodic averages for rational polygonal billiards, Duke Math. J. 144 (2008), no. 2, 285--319
work page 2008
-
[2]
David Aulicino and Duc-Manh Nguyen, Rank two affine submanifolds in genus 3 , to appear in J. Differential Geom
-
[3]
Paul Apisa, GL _2 R orbit closures in hyperelliptic components of strata , Duke Math. J. 167 (2018), no. 4, 679--742
work page 2018
-
[4]
Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin M\"oller, The moduli space of multi-scale differentials, preprint, arXiv:1910.13492 (2019)
arXiv 2019
-
[5]
, Compactification of strata of A belian differentials , Duke Math. J. 167 (2018), no. 12, 2347--2416
work page 2018
-
[6]
, Strata of k -differentials , Algebr. Geom. 6 (2019), no. 2, 196--233
work page 2019
-
[7]
J\'er\'emy Blanc and Jean-Philippe Furter, Topologies and structures of the C remona groups , Ann. of Math. (2) 178 (2013), no. 3, 1173--1198
work page 2013
-
[8]
Milman, Semianalytic and subanalytic sets, Inst
Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes \' E tudes Sci. Publ. Math. (1988), no. 67, 5--42
work page 1988
Show all 45 references
-
[9]
Corentin Boissy, Connected components of the strata of the moduli space of meromorphic differentials, Comment. Math. Helv. 90 (2015), no. 2, 255--286
2015
-
[10]
126, Springer-Verlag, New York, 1991
Armand Borel, Linear algebraic groups, second ed., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991
1991
-
[11]
Dawei Chen and Qile Chen, Principal boundary of moduli spaces of abelian and quadratic differentials, Ann. Inst. Fourier (Grenoble) 69 (2019), no. 1, 81--118
2019
-
[12]
(N.S.) 25 (2019), no
, Spin and hyperelliptic structures of log twisted differentials, Selecta Math. (N.S.) 25 (2019), no. 2, Art. 20, 42
2019
-
[13]
Differential Geom
Dawei Chen, Degenerations of A belian differentials , J. Differential Geom. 107 (2017), no. 3, 395--453
2017
-
[14]
II , Inst
Pierre Deligne, Th\' e orie de H odge. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1971), no. 40, 5--57
1971
-
[15]
Deligne, Un th\'eor\`eme de finitude pour la monodromie, Discrete groups in geometry and analysis ( N ew H aven, C onn., 1984), Progr
P. Deligne, Un th\'eor\`eme de finitude pour la monodromie, Discrete groups in geometry and analysis ( N ew H aven, C onn., 1984), Progr. Math., vol. 67, Birkh\"auser Boston, Boston, MA, 1987, pp. 1--19
1984
-
[16]
Alex Eskin, Simion Filip, and Alex Wright, The algebraic hull of the K ontsevich- Z orich cocycle , Ann. of Math. (2) 188 (2018), no. 1, 281--313
2018
-
[17]
Alex Eskin and Maryam Mirzakhani, Invariant and stationary measures for the SL (2, R) action on moduli space , Publ. Math. Inst. Hautes \' E tudes Sci. 127 (2018), 95--324
2018
-
[18]
Alex Eskin, Maryam Mirzakhani, and Amir Mohammadi, Isolation, equidistribution, and orbit closures for the SL (2, R) action on moduli space , Ann. of Math. (2) 182 (2015), no. 2, 673--721
2015
-
[19]
Alex Eskin, Maryam Mirzakhani, and Kasra Rafi, Counting closed geodesics in strata, Invent. Math. 215 (2019), no. 2, 535--607
2019
-
[20]
Simion Filip, Semisimplicity and rigidity of the K ontsevich- Z orich cocycle , Invent. Math. 205 (2016), no. 3, 617--670
2016
-
[21]
, Splitting mixed H odge structures over affine invariant manifolds , Ann. of Math. (2) 183 (2016), no. 2, 681--713
2016
-
[22]
, Zero L yapunov exponents and monodromy of the K ontsevich- Z orich cocycle , Duke Math. J. 166 (2017), no. 4, 657--706
2017
-
[23]
Giovanni Forni and Carlos Matheus, Introduction to T eichm\" u ller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards , J. Mod. Dyn. 8 (2014), no. 3-4, 271--436. 3345837
2014
-
[24]
Giovanni Forni, Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann. of Math. (2) 155 (2002), no. 1, 1--103
2002
-
[25]
Gavril Farkas and Rahul Pandharipande, The moduli space of twisted canonical divisors, Journal of the Institute of Mathematics of Jussieu (2016), 1--58
2016
-
[26]
Quentin Gendron, The D eligne- M umford and the incidence variety compactifications of the strata of M _g , Ann. Inst. Fourier (Grenoble) 68 (2018), no. 3, 1169--1240
2018
-
[27]
265, Springer-Verlag, Berlin, 1984
Hans Grauert and Reinhold Remmert, Coherent analytic sheaves, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 265, Springer-Verlag, Berlin, 1984
1984
-
[28]
Quentin Gendron and Guillaume Tahar, Diff\'erentielles \`a singularit\'es prescrites, preprint, arXiv:1705.03240 (2017)
2017 arXiv
-
[29]
Brendan Hassett, Moduli spaces of weighted pointed stable curves, Adv. Math. 173 (2003), no. 2, 316--352
2003
-
[30]
187, Springer-Verlag, New York, 1998
Joe Harris and Ian Morrison, Moduli of C urves , Graduate Texts in Mathematics, vol. 187, Springer-Verlag, New York, 1998
1998
-
[31]
Se\'an Keel, Basepoint freeness for nef and big line bundles in positive characteristic, Ann. of Math. (2) 149 (1999), no. 1, 253--286
1999
-
[32]
J\' a nos Koll\' a r, Shafarevich maps and automorphic forms, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 1995
1995
-
[33]
Maxim Kontsevich, Intersection theory on the moduli space of curves and the matrix airy function, Comm. Math. Phys. 147 (1992), no. 1, 1--23
1992
-
[34]
Maxim Kontsevich and Anton Zorich, Connected components of the moduli spaces of A belian differentials with prescribed singularities , Invent. Math. 153 (2003), no. 3, 631--678
2003
-
[35]
Erwan Lanneau, Duc-Manh Nguyen, and Alex Wright, Finiteness of T eichm\" u ller curves in non-arithmetic rank 1 orbit closures , Amer. J. Math. 139 (2017), no. 6, 1449--1463
2017
-
[36]
McMullen, Navigating moduli space with complex twists, J
Curtis T. McMullen, Navigating moduli space with complex twists, J. Eur. Math. Soc. (JEMS) 15 (2013), no. 4, 1223--1243
2013
-
[37]
Martin M \"o ller, Linear manifolds in the moduli space of one-forms, Duke Math. J. 144 (2008), no. 3, 447--487
2008
-
[38]
Munkres, Topology, Prentice Hall, Inc., Upper Saddle River, NJ, 2000, Second edition of [ MR0464128]
James R. Munkres, Topology, Prentice Hall, Inc., Upper Saddle River, NJ, 2000, Second edition of [ MR0464128]
2000
-
[39]
Reine Angew
Yair Minsky and Barak Weiss, Nondivergence of horocyclic flows on moduli space, J. Reine Angew. Math. 552 (2002), 131--177
2002
-
[40]
Maryam Mirzakhani and Alex Wright, The boundary of an affine invariant submanifold, Invent. Math. 209 (2017), no. 3, 927--984
2017
-
[41]
, Full-rank affine invariant submanifolds, Duke Math. J. 167 (2018), no. 1, 1--40
2018
-
[42]
W. A. Veech, Teichm\"uller curves in moduli space, E isenstein series and an application to triangular billiards , Invent. Math. 97 (1989), no. 3, 553--583
1989
-
[43]
Stephen Willard, General topology, Dover Publications, Inc., Mineola, NY, 2004
2004
-
[44]
Alex Wright, The field of definition of affine invariant submanifolds of the moduli space of abelian differentials, Geom. Topol. 18 (2014), no. 3, 1323--1341
2014
-
[45]
, Cylinder deformations in orbit closures of translation surfaces, Geom. Topol. 19 (2015), no. 1, 413--438
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.