Pith. sign in

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 →

arxiv 1908.07436 v3 pith:YBTBYSQ3 submitted 2019-08-20 math.DS math.AG

classification math.DSmath.AG MSC 14H1014H1530F3032G1532G20
keywords AbeliandifferentialstranslationsurfacesGL(2R)orbitclosuresWYSIWYGcompactificationperiodcoordinatesmulti-scaleinvariantsubvarietiescylinderdeformations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper studies the WYSIWYG compactification of strata of Abelian differentials, a partial compactification that records what flat polygons look like when a translation surface degenerates. The authors prove that, for $g\ge 3$ with all zero orders positive and for the genus-two case $\kappa=(1,1)$, this compactified space cannot carry an algebraic variety structure, nor even a complex analytic space structure, that is compatible with the natural projection from the stratum. Despite that negative result, they give a short, unconditional proof that the finite-area boundary of any $\mathrm{GL}^+(2,\mathbb{R})$ orbit closure is locally a finite union of linear subspaces in period coordinates (the local coordinates given by integrals of the differential), and that its tangent space is exactly the intersection of the tangent space of the orbit closure with the tangent space of the boundary stratum. The multi-component case, which had previously been conditional, is treated completely. The upshot is that a compactification built purely from flat geometry is not algebro-geometric, yet the boundary behaviour of orbit closures inside it is governed by algebraic linear equations.

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.

Watch

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 extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

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)
  1. [§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.
  2. [§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. [§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)
  1. [§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.
  2. [§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.
  3. [§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.
  4. [§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.
  5. [§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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

No free parameters: this is a pure mathematics paper. Axioms are the external results cited or standard background; the most load-bearing are Filip's algebraicity of orbit closures, the BCG+ multi-scale compactification, and foundational facts on the WYSIWYG space from [MW17]. No invented entities are introduced.

assumptions (6)
  • domain assumption GL(2,R) orbit closures in connected strata are algebraic varieties (Filip's theorem).
    Used throughout as the replacement for the prior conditional approach, e.g., 'In light of Filip's work, we may use invariant subvariety as a synonym for GL(2,R) orbit closure' (Section 1, paragraph on orbit closures).
  • 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.
    Section 8 uses U as a ball in ıH(κ) and Theorem 8.1 depends on [BCG+, Sections 11.2 and 13]; the final claim of Theorem 8.1 also extends to anything with the same image in ~H.
  • 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].
    The paper states 'it will use a non-trivial foundational result on ~H from [MW17]' (Section 1) and invokes Proposition 2.5 in Lemma 6.7.
  • 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(κ).
    Used in the proof of Theorem 1.1 to build the two-parameter family B[u,v] contracted by π (Section 3).
  • 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.
    Lemma 3.4 is proved directly; separation of points is a standard property of analytic set germs used inside its proof (Section 3).
  • 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.
    Used in Lemma 7.1 to show the monodromy preserves a volume form on T(M), and in Lemma 7.17 for the Hodge decomposition of p(TM).

how reviews work

0 comments
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

Figures reproduced from arXiv: 1908.07436 by the authors.

Figure 3.1
Figure 3.1. The underlying nodal curves in the con￾struction be the corresponding differential on Eb. It follows that ωb is non-trivial on all Eb but Eb0 (as σ(b0) is zero). Let [u, v] be the homogeneous coordinates of P 1 . For each fixed value of [u, v] 6= [0, 1], define a one-parameter family of stable differentials given by (E1, uω1), (C, 0), (Eb, vωb) where b varies in B. Since the scalings of ω1 and ωb depend on [u, v], w… view at source ↗
Figure 4.1
Figure 4.1. A surface with cylinders of large modulus a family (Xε, ωε) of such surfaces, parameterized by ε ∈ (0, ε0), such that a = a 0 = b = b 0 = i and x = 1 ε , y − x = d − c. Here we are using the label of the edge to also refer to the period coordinate of that edge. All other edges periods are constant along the family, and we assume c 6= d. Let (X0, ω0) denote the limit in Hf, and define the periods x, y etc on the lim… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 37 canonical work pages

  1. [1]

    J. S. Athreya and G. Forni, Deviation of ergodic averages for rational polygonal billiards, Duke Math. J. 144 (2008), no. 2, 285--319

  2. [2]

    Differential Geom

    David Aulicino and Duc-Manh Nguyen, Rank two affine submanifolds in genus 3 , to appear in J. Differential Geom

  3. [3]

    Paul Apisa, GL _2 R orbit closures in hyperelliptic components of strata , Duke Math. J. 167 (2018), no. 4, 679--742

  4. [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)

  5. [5]

    , Compactification of strata of A belian differentials , Duke Math. J. 167 (2018), no. 12, 2347--2416

  6. [6]

    , Strata of k -differentials , Algebr. Geom. 6 (2019), no. 2, 196--233

  7. [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

  8. [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

Show all 45 references
  1. [9]

    Corentin Boissy, Connected components of the strata of the moduli space of meromorphic differentials, Comment. Math. Helv. 90 (2015), no. 2, 255--286

  2. [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

  3. [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

  4. [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

  5. [13]

    Differential Geom

    Dawei Chen, Degenerations of A belian differentials , J. Differential Geom. 107 (2017), no. 3, 395--453

  6. [14]

    II , Inst

    Pierre Deligne, Th\' e orie de H odge. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1971), no. 40, 5--57

  7. [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

  8. [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

  9. [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

  10. [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

  11. [19]

    Alex Eskin, Maryam Mirzakhani, and Kasra Rafi, Counting closed geodesics in strata, Invent. Math. 215 (2019), no. 2, 535--607

  12. [20]

    Simion Filip, Semisimplicity and rigidity of the K ontsevich- Z orich cocycle , Invent. Math. 205 (2016), no. 3, 617--670

  13. [21]

    , Splitting mixed H odge structures over affine invariant manifolds , Ann. of Math. (2) 183 (2016), no. 2, 681--713

  14. [22]

    , Zero L yapunov exponents and monodromy of the K ontsevich- Z orich cocycle , Duke Math. J. 166 (2017), no. 4, 657--706

  15. [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

  16. [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

  17. [25]

    Gavril Farkas and Rahul Pandharipande, The moduli space of twisted canonical divisors, Journal of the Institute of Mathematics of Jussieu (2016), 1--58

  18. [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

  19. [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

  20. [28]

    Quentin Gendron and Guillaume Tahar, Diff\'erentielles \`a singularit\'es prescrites, preprint, arXiv:1705.03240 (2017)

  21. [29]

    Brendan Hassett, Moduli spaces of weighted pointed stable curves, Adv. Math. 173 (2003), no. 2, 316--352

  22. [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

  23. [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

  24. [32]

    J\' a nos Koll\' a r, Shafarevich maps and automorphic forms, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 1995

  25. [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

  26. [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

  27. [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

  28. [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

  29. [37]

    Martin M \"o ller, Linear manifolds in the moduli space of one-forms, Duke Math. J. 144 (2008), no. 3, 447--487

  30. [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]

  31. [39]

    Reine Angew

    Yair Minsky and Barak Weiss, Nondivergence of horocyclic flows on moduli space, J. Reine Angew. Math. 552 (2002), 131--177

  32. [40]

    Maryam Mirzakhani and Alex Wright, The boundary of an affine invariant submanifold, Invent. Math. 209 (2017), no. 3, 927--984

  33. [41]

    , Full-rank affine invariant submanifolds, Duke Math. J. 167 (2018), no. 1, 1--40

  34. [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

  35. [43]

    Stephen Willard, General topology, Dover Publications, Inc., Mineola, NY, 2004

  36. [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

  37. [45]

    , Cylinder deformations in orbit closures of translation surfaces, Geom. Topol. 19 (2015), no. 1, 413--438

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.