pith. sign in

arxiv: 2606.24135 · v1 · pith:YOSMOKWYnew · submitted 2026-06-23 · 🧮 math.GT · math.AG· math.AT· math.CO· math.RT

Non-asphericity of strata of genus-one differentials and stability spaces

Pith reviewed 2026-06-25 22:21 UTC · model grok-4.3

classification 🧮 math.GT math.AGmath.ATmath.COmath.RT
keywords moduli spaces of differentialsgenus-one curvesorbifold K(pi,1)Bridgeland stability conditionsquadratic differentialsKontsevich conjectureasphericityholomorphic differentials
0
0 comments X

The pith

When the number of zeros or poles reaches four or more, every connected component of a genus-one differential stratum fails to be an orbifold K(π,1).

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

The paper proves that strata of genus-one differentials with prescribed zeros and poles, once the total count of zeros or poles hits four or higher, have connected components whose orbifold universal covers are not contractible. A reader cares because these strata parametrize holomorphic or quadratic differentials on elliptic curves, and asphericity would have implied simple topological models for their moduli. The argument supplies explicit counterexamples both to a conjecture of Kontsevich on quadratic differentials and to the expectation that spaces of Bridgeland stability conditions on derived categories are contractible. The result rests on correctly labeling the connected components of each stratum and then exhibiting a topological obstruction to the K(π,1) property.

Core claim

When the number of zeros or poles is at least four, every connected component of the strata of differentials in genus one with prescribed zero and pole orders is not an orbifold K(π,1). For quadratic differentials this supplies infinitely many counterexamples to a conjecture attributed to Kontsevich as well as to a folklore conjecture on the contractibility of spaces of Bridgeland stability conditions.

What carries the argument

connected components of the strata of genus-one differentials with prescribed zero and pole orders, together with criteria that detect failure of the orbifold K(π,1) property

If this is right

  • The strata supply infinitely many counterexamples to Kontsevich's conjecture on quadratic differentials.
  • The same strata furnish counterexamples to the claim that spaces of Bridgeland stability conditions are always contractible.
  • No connected component of these strata can serve as an orbifold model whose homotopy type is captured by its fundamental group alone.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The non-asphericity may persist or strengthen when the same strata are viewed inside larger moduli spaces that include higher-genus curves.
  • The result indicates that any attempt to contract the space of stability conditions must fail once the underlying curve is elliptic and the number of marked points is large enough.
  • Similar topological obstructions could appear in the study of other flat surfaces or in the topology of Hurwitz spaces with sufficiently many branch points.

Load-bearing premise

The connected components of each stratum have been correctly identified by the standard definitions in the literature on moduli spaces of holomorphic differentials.

What would settle it

An explicit calculation, for any single stratum with at least four zeros or poles, that its orbifold universal cover is contractible or that all its higher homotopy groups vanish.

read the original abstract

We show that when the number of zeros or poles is at least four, every connected component of the strata of differentials in genus one with prescribed zero and pole orders is not an orbifold $K(\pi,1)$. For quadratic differentials, this provides infinitely many counterexamples to a conjecture attributed to Kontsevich, as well as to a folklore conjecture concerning the contractibility of spaces of Bridgeland stability conditions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript proves that when the number of zeros or poles is at least four, every connected component of the strata of genus-one differentials (both holomorphic and quadratic) with prescribed orders is not an orbifold K(π,1). This supplies infinitely many counterexamples to a conjecture attributed to Kontsevich on quadratic differentials and to a folklore conjecture on the contractibility of spaces of Bridgeland stability conditions.

Significance. If the topological arguments are correct, the result is significant: it furnishes explicit, infinite families of counterexamples to two conjectures in the literature on moduli spaces of differentials and stability conditions, thereby clarifying the failure of asphericity in these strata.

major comments (1)
  1. The central claim depends on the strata components being precisely those classified by Kontsevich–Zorich and Boissy. The manuscript must explicitly confirm that the orbifold fundamental-group computations apply to these exact components without inadvertent merging or splitting; otherwise the non-K(π,1) statement fails for some of the asserted counterexamples.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript. The result establishes non-asphericity for the indicated strata components, yielding the stated counterexamples. We address the single major comment below.

read point-by-point responses
  1. Referee: The central claim depends on the strata components being precisely those classified by Kontsevich–Zorich and Boissy. The manuscript must explicitly confirm that the orbifold fundamental-group computations apply to these exact components without inadvertent merging or splitting; otherwise the non-K(π,1) statement fails for some of the asserted counterexamples.

    Authors: The manuscript relies on the classification of connected components of the strata of genus-one differentials as given by Kontsevich–Zorich for holomorphic differentials and Boissy for quadratic differentials. Our computations of the orbifold fundamental groups are carried out separately for each such component, using the explicit descriptions provided by these classifications. There is no merging or splitting involved in our arguments. To address the referee's concern explicitly, we will revise the manuscript to include a statement confirming that the non-K(π,1) property holds for each component as classified, with the fundamental group computations applying directly to these components. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classifications

full rationale

The paper's central claim applies standard external classifications of connected components (Kontsevich–Zorich, Boissy et al.) to orbifold K(π,1) criteria without any reduction of predictions to fitted inputs, self-definitions, or load-bearing self-citations. The result is a direct non-asphericity proof for strata with ≥4 zeros/poles, self-contained against the cited literature benchmarks. No quoted step exhibits the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a proof in algebraic geometry and topology that relies on established definitions rather than new parameters or entities. No free parameters or invented entities are indicated in the abstract.

axioms (1)
  • standard math Standard definitions and properties of strata of differentials, orbifold K(π,1) spaces, and Bridgeland stability conditions from the algebraic geometry and topology literature.
    The result builds directly on these established concepts without introducing new axioms.

pith-pipeline@v0.9.1-grok · 5600 in / 1344 out tokens · 43675 ms · 2026-06-25T22:21:17.698367+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 2 linked inside Pith

  1. [1]

    [AF59] Aldo Andreotti and Theodore Frankel

    https://arxiv.org/abs/2604.26177. [AF59] Aldo Andreotti and Theodore Frankel. The Lefschetz theorem on hyperplane sections.Ann. of Math. (2), 69(3):713–717,

  2. [2]

    Athreya and Howard Masur.Translation surfaces, volume 242 ofGraduate Studies in Mathematics

    [AM24] Jayadev S. Athreya and Howard Masur.Translation surfaces, volume 242 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, [2024]©2024. [Arn93] V. I. Arnol’d, editor.Dynamical systems. VIII, volume 39 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin,

  3. [3]

    Moduli of differentials and Teichm¨ uller dynamics

    [BC25] Andrei Bud and Dawei Chen. Moduli of differentials and Teichm¨ uller dynamics. InVarieties, polyhedra, computation, EMS Ser. Congr. Rep., pages 31–60. EMS Press, Berlin, [2025]©2025. [BCG+19] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin M¨ oller. Strata of k-differentials.Algebr. Geom., 6(2):196–233,

  4. [4]

    Sur les groupes de tresses [d’apr` es V

    [Bri73] Egbert Brieskorn. Sur les groupes de tresses [d’apr` es V. I. Arnol’d]. InS´ eminaire Bourbaki, 24` eme ann´ ee (1971/1972), volume Vol. 317 ofLecture Notes in Math., pages Exp. No. 401, pp. 21–44. Springer, Berlin-New York,

  5. [5]

    Stability conditions and Kleinian singularities.Int

    [Bri09b] Tom Bridgeland. Stability conditions and Kleinian singularities.Int. Math. Res. Not. IMRN, 2009(21):4142–4157,

  6. [6]

    Perverse schobers, stability conditions and quadratic differentials, 2023.https://arxiv.org/abs/2303.18249

    [CHQ23] Merlin Christ, Fabian Haiden, and Yu Qiu. Perverse schobers, stability conditions and quadratic differentials, 2023.https://arxiv.org/abs/2303.18249. [CL26] Dawei Chen and Hannah Larson. Independence of tautological classes and cohomological stability for strata of differentials, 2026.https://arxiv.org/abs/2603.23850. [CM14] Dawei Chen and Martin ...

  7. [7]

    A tale of two volumes of moduli spaces: Weil-petersson and masur-veech, 2026.https://arxiv.org/abs/2603.07318

    [CM26] Dawei Chen and Scott Mullane. A tale of two volumes of moduli spaces: Weil-petersson and masur-veech, 2026.https://arxiv.org/abs/2603.07318. [CY25] Dawei Chen and Fei Yu. Gorenstein singularities with Gm-action and moduli spaces of holomorphic differentials, 2025.https://arxiv.org/abs/2507.09078. [CY26] Dawei Chen and Fei Yu. An algebro-geometric p...

  8. [8]

    [Gia24] Riccardo Giannini

    https: //arxiv.org/abs/2512.00318. [Gia24] Riccardo Giannini. Monodromy kernels for strata of translation surfaces.Int. Math. Res. Not. IMRN, pages 8716–8733,

  9. [9]

    [Hat75] Akio Hattori

    https: //arxiv.org/abs/2412.13936. [Hat75] Akio Hattori. Topology of Cn minus a finite number of affine hyperplanes in general position.J. Fac. Sci. Univ. Tokyo Sect. IA Math., 22(2):205–219,

  10. [10]

    [HKK17] Fabian Haiden, Ludmil Katzarkov, and Maxim Kontsevich

    conjecture for Artin groups, 2024.https://arxiv.org/abs/2404.11562. [HKK17] Fabian Haiden, Ludmil Katzarkov, and Maxim Kontsevich. Flat surfaces and stability structures.Publ. Math. Inst. Hautes ´Etudes Sci., 126:247–318,

  11. [11]

    [HuT73] Helmut A

    https://arxiv.org/ abs/2410.08028. [HuT73] Helmut A. Hamm and Lˆ e D ung Tr´ ang. Un th´ eor` eme de Zariski du type de Lefschetz.Ann. Sci.´Ecole Norm. Sup. (4), 6(3):317–355,

  12. [12]

    [KZ03] Maxim Kontsevich and Anton Zorich

    https://arxiv.org/abs/ hep-th/9701164. [KZ03] Maxim Kontsevich and Anton Zorich. Connected components of the moduli spaces of Abelian differentials with prescribed singularities.Invent. Math., 153(3):631–678,

  13. [13]

    [Qiu24] Yu Qiu

    https: //arxiv.org/abs/2509.00445. [Qiu24] Yu Qiu. Moduli spaces of quadratic differentials: Abel-Jacobi map and deformation,

  14. [14]

    [Qiu25] Yu Qiu

    https: //arxiv.org/abs/2403.10265. [Qiu25] Yu Qiu. Contractible flow of stability conditions via global dimension function.J. Differential Geom., 129(2):491–521,

  15. [15]

    [Sch86] Alexander Schrijver.Theory of linear and integer programming

    https: //arxiv.org/abs/2509.25357. [Sch86] Alexander Schrijver.Theory of linear and integer programming. Wiley-Interscience Series in Discrete Mathematics. John Wiley & Sons, Ltd., Chichester,

  16. [16]

    [Wir86] Klaus Wirthm¨ uller

    https://arxiv.org/abs/ 2603.24563. [Wir86] Klaus Wirthm¨ uller. Torus embeddings and deformations of simple singularities of space curves.Acta Math., 157(3-4):159–241,

  17. [17]

    A construction of homotopically non-trivial embedded spheres for hyperplane arrangements, 2024.https://arxiv.org/abs/2405.20010

    [Yos24] Masahiko Yoshinaga. A construction of homotopically non-trivial embedded spheres for hyperplane arrangements, 2024.https://arxiv.org/abs/2405.20010. [Yos26] Masahiko Yoshinaga. Topology of hyperplane arrangements via real structure. InHandbook of geometry and topology of singularities. VIII, pages 527–565. Springer,