pith. sign in

arxiv: 2606.19241 · v1 · pith:5OICNTIRnew · submitted 2026-06-17 · 🧮 math.AG

The Moduli Space of Twisted Exact Differential Forms on Curves in Positive Characteristic

Matthias Hippold This is my paper

Pith reviewed 2026-06-26 18:59 UTC · model grok-4.3

classification 🧮 math.AG
keywords moduli stacksexact differential formspositive characteristicalgebraic curvesdeformation theorysmoothnesszero-pole patterns
0
0 comments X

The pith

Moduli stacks of curves with exact differentials of fixed zero-pole patterns are smooth over positive characteristic fields.

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

The paper defines two moduli stacks over fields of positive characteristic. The stack ΓM_{g,n}^{ex, m} parametrizes smooth marked curves equipped with a non-zero exact differential form whose zeros and poles follow a fixed pattern m. The stack M_{g,n}^{ex, m} parametrizes the divisors that arise as such forms. A local-global principle relating first-order deformations of these objects is used to prove both stacks are smooth and to determine their dimensions.

Core claim

After fixing a pattern m of zeroes and poles, the moduli stack ΓM_{g,n}^{ex, m} parametrizes smooth marked curves with a non-zero exact differential form that is the differential of a meromorphic function, while M_{g,n}^{ex, m} parametrizes the corresponding divisors; a local-global principle for first order deformations establishes that these stacks are smooth over F_p and computes their dimensions.

What carries the argument

The local-global principle for first order deformations of smooth marked curves with exact differentials of pattern m, which relates local deformation data to global obstructions to prove smoothness.

If this is right

  • Both stacks are smooth algebraic stacks over F_p.
  • Their dimensions are determined by the pattern m, the genus g, and the number of marked points n.
  • The objects admit a well-behaved deformation theory in positive characteristic.
  • Exact differentials with prescribed divisors can be studied geometrically via these stacks.

Where Pith is reading between the lines

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

  • The smoothness result may allow explicit computation of the number of such differentials on a given curve when the stack is proper or has known coarse moduli space.
  • Similar local-global principles could apply to twisted differentials that are not necessarily exact.
  • The construction may connect to questions about the image of the differential map on function fields in characteristic p.

Load-bearing premise

The local-global principle for first order deformations of these marked curves and exact differentials holds.

What would settle it

An explicit example of a smooth marked curve with an exact differential of pattern m where the dimension of the first-order deformation space fails to match the dimension predicted by the local-global principle, or where the corresponding point on the stack is singular.

read the original abstract

After fixing a pattern $\mathbf{m}$ of zeroes and poles, we introduce a Moduli stack $\Gamma\mathcal{M}_{g,n}^{ex, \mathbf{m}}$ over $\mathbb{F}_p$ that parametrizes smooth marked curves together with a non-zero differential form that is the differential of a meromorphic function. Furthermore, we consider the stack $\mathcal{M}_{g,n}^{ex, \mathbf{m}}$ that parametrizes those divisors on smooth curves that appear as divisors of exact differential forms. By introducing a local-global principle for first order deformations of the objects that we consider, we show smoothness of these stacks and compute their dimension.

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 introduces two moduli stacks over F_p: ΓM_{g,n}^{ex,m} parametrizing smooth marked curves with a non-zero exact meromorphic differential of fixed pattern m, and M_{g,n}^{ex,m} parametrizing the divisors of such forms. It claims to establish smoothness of these stacks and compute their dimensions by introducing and applying a local-global principle for first-order deformations of the objects.

Significance. If the local-global principle is valid, correctly formulated to preserve exactness under deformation, and accounts for interactions with the Cartier operator and p-torsion, the result would yield smooth moduli stacks with explicit dimensions for exact differentials of given patterns in positive characteristic. This could provide a useful framework for deformation theory of differentials on curves over F_p.

major comments (1)
  1. [Abstract] Abstract: the central claim that smoothness of ΓM_{g,n}^{ex,m} and M_{g,n}^{ex,m} follows from a local-global principle for first-order deformations is load-bearing, yet the abstract supplies no explicit statement of the principle, no cohomology exact sequence or spectral sequence, and no verification that exactness is preserved or that obstructions vanish for all patterns m. The principle must be stated, proved, and shown to handle positive-characteristic phenomena before the smoothness and dimension results can be accepted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful review and for highlighting the importance of clearly presenting the local-global principle. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that smoothness of ΓM_{g,n}^{ex,m} and M_{g,n}^{ex,m} follows from a local-global principle for first-order deformations is load-bearing, yet the abstract supplies no explicit statement of the principle, no cohomology exact sequence or spectral sequence, and no verification that exactness is preserved or that obstructions vanish for all patterns m. The principle must be stated, proved, and shown to handle positive-characteristic phenomena before the smoothness and dimension results can be accepted.

    Authors: We agree that the abstract would benefit from a more explicit reference to the local-global principle. In the revised version we will expand the abstract to include a concise formulation of the principle together with a pointer to its proof. The principle itself, the associated cohomology exact sequence, the verification that exactness is preserved under deformation, and the vanishing of obstructions for every pattern m (with explicit treatment of the Cartier operator) are already stated and proved in Sections 3 and 4 of the manuscript; the revision will simply make this structure visible from the abstract. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on a newly introduced and independently applied local-global principle.

full rationale

The paper's central step is the introduction of a local-global principle for first-order deformations of smooth marked curves with exact differentials of pattern m, followed by its application to prove smoothness of the stacks ΓM_{g,n}^{ex,m} and M_{g,n}^{ex,m} and compute their dimensions. This is a standard self-contained mathematical construction with no reduction of the result to fitted inputs, self-citations, or definitional loops. The abstract and description supply no equations or citations that collapse the smoothness claim to its own assumptions by construction; the principle is formulated and used within the work rather than presupposed. No patterns from the enumerated list apply.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, background axioms, or invented entities beyond the stacks themselves; no details on assumptions or parameters are available.

pith-pipeline@v0.9.1-grok · 5624 in / 1057 out tokens · 16776 ms · 2026-06-26T18:59:44.386872+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

77 extracted references · 9 canonical work pages · 4 internal anchors

  1. [1]

    Journal of Algebraic Geometry , volume=

    Lifting problem for minimally wild covers of Berkovich curves , author=. Journal of Algebraic Geometry , volume=

  2. [2]

    Sur la topologie des vari

    Serre, Jean-Pierre , journal=. Sur la topologie des vari

  3. [3]

    Logarithmic Geometry and Moduli

    Logarithmic geometry and moduli , author=. arXiv preprint arXiv:1006.5870 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    arXiv preprint arXiv:2209.11976 , year=

    Introduction to logarithmic geometry , author=. arXiv preprint arXiv:2209.11976 , year=

    work page arXiv

  5. [5]

    1990 , publisher=

    Spectral theory and analytic geometry over non-Archimedean fields , author=. 1990 , publisher=

    1990

  6. [6]

    2023 , eprint=

    The moduli space of cyclic covers in positive characteristic , author=. 2023 , eprint=

    2023

  7. [7]

    International Journal of Mathematics , volume=

    Log smooth deformation and moduli of log smooth curves , author=. International Journal of Mathematics , volume=. 2000 , publisher=

    2000

  8. [8]

    algebraic analysis, geometry, and number theory (J.-I

    Logarithmic structures of Fontaine-Illusie , author=. algebraic analysis, geometry, and number theory (J.-I. Igusa, ed.) , pages=. 1989 , publisher=

    1989

  9. [9]

    2011 , publisher=

    Champs de Hurwitz , author=. 2011 , publisher=

    2011

  10. [10]

    Publications Math

    The irreducibility of the space of curves of given genus , author=. Publications Math. 1969 , publisher=

    1969

  11. [11]

    doi:10.1112/plms.12365 , url =

    Steffen Marcus and Jonathan Wise , title =. doi:10.1112/plms.12365 , url =

    work page doi:10.1112/plms.12365

  12. [12]

    2021 , eprint=

    Realizability of tropical pluri-canonical divisors , author=. 2021 , eprint=

    2021

  13. [13]

    2022 , eprint=

    Logarithmic double ramification cycles , author=. 2022 , eprint=

    2022

  14. [14]

    doi:10.1016/j.aim.2022.108208 , url =

    Michael Temkin and Ilya Tyomkin , title =. doi:10.1016/j.aim.2022.108208 , url =

    work page doi:10.1016/j.aim.2022.108208 2022

  15. [15]

    Michigan Mathematical Journal , volume=

    Constructions of nontautological classes of moduli spaces of curves , author=. Michigan Mathematical Journal , volume=. 2003 , publisher=

    2003

  16. [16]

    2021 , eprint=

    Non-tautological Hurwitz cycles , author=. 2021 , eprint=

    2021

  17. [17]

    Journal f

    Models of Jacobians of curves , author=. Journal f. 2023 , publisher=

    2023

  18. [18]

    1891 , publisher=

    Hurwitz, Adolf , journal=. 1891 , publisher=

  19. [19]

    2015 , publisher=

    Berkovich spaces and applications , author=. 2015 , publisher=

    2015

  20. [20]

    2011 , eprint=

    Introduction to Berkovich analytic spaces , author=. 2011 , eprint=

    2011

  21. [21]

    2018 , publisher=

    Lectures on logarithmic algebraic geometry , author=. 2018 , publisher=

    2018

  22. [22]

    2014 , eprint=

    Lifting harmonic morphisms I: metrized complexes and Berkovich skeleta , author=. 2014 , eprint=

    2014

  23. [23]

    doi:10.1017/fms.2020.16 , url =

    RENZO CAVALIERI and MELODY CHAN and MARTIN ULIRSCH and JONATHAN WISE , title =. doi:10.1017/fms.2020.16 , url =

    work page doi:10.1017/fms.2020.16 2020

  24. [24]

    2002 , publisher=

    Algebraic geometry and arithmetic curves , author=. 2002 , publisher=

    2002

  25. [25]

    1980 , publisher=

    Etale cohomology (PMS-33) , author=. 1980 , publisher=

    1980

  26. [26]

    Advances in Mathematics , volume=

    The Hilbert stack , author=. Advances in Mathematics , volume=. 2014 , publisher=

    2014

  27. [27]

    2018 , eprint=

    Intersections of loci of admissible covers with tautological classes , author=. 2018 , eprint=

    2018

  28. [28]

    Nonarchimedean and tropical geometry , pages=

    Metrization of differential pluriforms on Berkovich analytic spaces , author=. Nonarchimedean and tropical geometry , pages=. 2016 , organization=

    2016

  29. [29]

    2005 , eprint=

    On a compactification of a Hurwitz space in the wild case , author=. 2005 , eprint=

    2005

  30. [30]

    2022 , eprint=

    The Hodge bundle, the universal 0-section, and the log Chow ring of the moduli space of curves , author=. 2022 , eprint=

    2022

  31. [31]

    Advances in Mathematics , volume=

    Morphisms of Berkovich curves and the different function , author=. Advances in Mathematics , volume=. 2016 , publisher=

    2016

  32. [32]

    Inventiones mathematicae , volume=

    On the Kodaira dimension of the moduli space of curves , author=. Inventiones mathematicae , volume=. 1982 , publisher=

    1982

  33. [33]

    Selecta Mathematica , volume=

    The H-tautological ring , author=. Selecta Mathematica , volume=. 2021 , publisher=

    2021

  34. [34]

    International Journal of Mathematics , volume=

    Logarithmic stacks and minimality , author=. International Journal of Mathematics , volume=. 2012 , publisher=

    2012

  35. [35]

    Stable maps and Hurwitz schemes in mixed characteristic

    Stable maps and Hurwitz schemes in mixed characteristic , author=. arXiv preprint math/9808074 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  36. [36]

    Publications of the Research Institute for Mathematical Sciences , volume=

    The geometry of the compactification of the Hurwitz scheme , author=. Publications of the Research Institute for Mathematical Sciences , volume=. 1995 , publisher=

    1995

  37. [37]

    A tale of two moduli spaces: logarithmic and multi-scale differentials

    A tale of two moduli spaces: logarithmic and multi-scale differentials , author=. arXiv preprint arXiv:2212.04704 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  38. [38]

    Contemporary Mathematics , volume=

    Moduli spaces of curves with effective r-spin structures , author=. Contemporary Mathematics , volume=. 2006 , publisher=

    2006

  39. [39]

    Proceedings of the London Mathematical Society , volume=

    Logarithmic compactification of the Abel--Jacobi section , author=. Proceedings of the London Mathematical Society , volume=. 2020 , publisher=

    2020

  40. [40]

    2021 , eprint=

    Pixton's formula and Abel-Jacobi theory on the Picard stack , author=. 2021 , eprint=

    2021

  41. [41]

    Mathematica Scandinavica , pages=

    Degeneracy loci of vector bundle maps and ampleness , author=. Mathematica Scandinavica , pages=. 2002 , publisher=

    2002

  42. [42]

    Annales de l'Institut Fourier , booktitle=

    The p -rank stratification of Artin-Schreier curves , author=. Annales de l'Institut Fourier , booktitle=

  43. [43]

    Projective Press, New York , volume=

    Mori theory of moduli spaces of stable curves , author=. Projective Press, New York , volume=

  44. [44]

    Bertin, Jos. D. Inventiones mathematicae , volume=. 2000 , publisher=

    2000

  45. [45]

    Communications in Algebra , volume=

    Representability of Hilbert schemes and Hilbert stacks of points , author=. Communications in Algebra , volume=. 2011 , publisher=

    2011

  46. [46]

    2020 , publisher=

    Algebraic geometry I: schemes , author=. 2020 , publisher=

    2020

  47. [47]

    Compositio Mathematica , volume=

    Stable reduction of finite covers of curves , author=. Compositio Mathematica , volume=. 2006 , publisher=

    2006

  48. [48]

    Communications in Algebra , volume=

    Twisted bundles and admissible covers , author=. Communications in Algebra , volume=. 2003 , publisher=

    2003

  49. [49]

    2023 , publisher=

    New Techniques in Resolution of Singularities , author=. 2023 , publisher=

    2023

  50. [50]

    Automatically reduced degenerations of automatically normal varieties

    Automatically reduced degenerations of automatically normal varieties , author=. arXiv preprint arXiv:0709.3999 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  51. [51]

    Techniques de construction et th

    Grothendieck, Alexander , journal=. Techniques de construction et th

  52. [52]

    (No Title) , year=

    Corps locaux , author=. (No Title) , year=

  53. [53]

    Tohoku Mathematical Journal, Second Series , volume=

    Log smooth deformation theory , author=. Tohoku Mathematical Journal, Second Series , volume=. 1996 , publisher=

    1996

  54. [54]

    Algebra & Number Theory , volume=

    Moduli of morphisms of logarithmic schemes , author=. Algebra & Number Theory , volume=. 2016 , publisher=

    2016

  55. [55]

    Forum of Mathematics, Sigma , volume=

    A moduli stack of tropical curves , author=. Forum of Mathematics, Sigma , volume=. 2020 , organization=

    2020

  56. [56]

    Questions de rationalit

    Cartier, Pierre , journal=. Questions de rationalit

  57. [57]

    Seshadri, Conjeerveram Srirangachari , journal=. L'op

  58. [58]

    Une nouvelle op

    Cartier, Pierre , journal=. Une nouvelle op. 1957 , publisher=

    1957

  59. [59]

    1977 , publisher=

    Algebraic Geometry , author=. 1977 , publisher=

    1977

  60. [60]

    Nagoya Mathematical Journal , volume=

    On the behavior of extensions of vector bundles under the Frobenius map , author=. Nagoya Mathematical Journal , volume=. 1972 , publisher=

    1972

  61. [61]

    International Journal of Number Theory , volume=

    Powers of the Cartier operator on Artin--Schreier covers , author=. International Journal of Number Theory , volume=. 2024 , publisher=

    2024

  62. [62]

    2006 , publisher=

    Deformations of algebraic schemes , author=. 2006 , publisher=

    2006

  63. [63]

    2009 , publisher=

    Deformation theory , author=. 2009 , publisher=

    2009

  64. [64]

    Strata of k -differentials , journal =

    Bainbridge, Matt and Chen, Dawei and Gendron, Quentin and Grushevsky, Samuel and M. Strata of k -differentials , journal =. 2019 , doi =

    2019

  65. [65]

    Inventiones mathematicae , volume=

    Connected components of the moduli spaces of Abelian differentials with prescribed singularities , author=. Inventiones mathematicae , volume=. 2003 , publisher=

    2003

  66. [66]

    Annals of Mathematics , volume=

    Interval exchange transformations and measured foliations , author=. Annals of Mathematics , volume=. 1982 , publisher=

    1982

  67. [67]

    Annals of mathematics , volume=

    Gauss measures for transformations on the space of interval exchange maps , author=. Annals of mathematics , volume=. 1982 , publisher=

    1982

  68. [68]

    Journal of the Institute of Mathematics of Jussieu , volume=

    The moduli space of twisted canonical divisors , author=. Journal of the Institute of Mathematics of Jussieu , volume=. 2018 , publisher=

    2018

  69. [69]

    Duke Mathematical Journal , number =

    Matt Bainbridge and Dawei Chen and Quentin Gendron and Samuel Grushevsky and Martin M. Duke Mathematical Journal , number =. 2018 , doi =

    2018

  70. [70]

    2025 , publisher=

    A tale of two moduli spaces: logarithmic and multi-scale differentials , author=. 2025 , publisher=

    2025

  71. [71]

    arXiv preprint arXiv:2602.16434 , year=

    Logarithmic Hurwitz Spaces in Mixed and Positive Characteristic with Wild Ramification , author=. arXiv preprint arXiv:2602.16434 , year=

    work page arXiv

  72. [72]

    2009 , publisher=

    The Arithmetic of Elliptic Curves , author=. 2009 , publisher=

    2009

  73. [73]

    Modular Functions of One Variable III: Proceedings International Summer School University of Antwerp, RUCA July 17--August 3, 1972 , pages=

    P-adic properties of modular schemes and modular forms , author=. Modular Functions of One Variable III: Proceedings International Summer School University of Antwerp, RUCA July 17--August 3, 1972 , pages=. 1973 , publisher=

    1972

  74. [74]

    Publications math

    Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin , author=. Publications math

  75. [75]

    Global Frobenius Liftability

    Achinger, Piotr and Witaszek, Jakub and Zdanowicz, Maciej , journal=. Global Frobenius Liftability

  76. [76]

    2011 , publisher=

    Geometry of algebraic curves: volume II with a contribution by Joseph Daniel Harris , author=. 2011 , publisher=

    2011

  77. [77]

    1998 , publisher=

    Moduli of curves , author=. 1998 , publisher=

    1998