Relative completions and separating boundary divisors in moduli of curves
Abstract
We study relative completions of fundamental groups of moduli stacks of curves of compact type and of partial compactifications of the smooth moduli stack. For g≥3, the compact-type completion has commutative prounipotent radical with Lie algebra Λ30H⊕ H⊕ n. Fix 1≤ h≤ g−1. We show that adjoining the one-node loci of the separating divisors whose genus-h side carries at most two markings gives the same relative completion. The proof uses explicit separating-twist calculations in weight −2, pointed Johnson homomorphisms, and the lantern relation. Functorial specialization gives the corresponding results in positive characteristic for odd ℓ different from the characteristic. As a consequence, extension to compact type of iterated extensions of algebraic symplectic local systems can be tested on these selected divisors. We also prove that any collection of separating divisors giving the same relative completion contains at least binom n2 divisors.
Related
- Groups of Class Transpositions with Prescribed Prime Divisors of the Moduli
- Quantum error correcting codes from quiver moduli: Grassmannians, cyclic monodromy, and argyle collision divisors
- Moduli space of irregular singular λ-connections and the relative symplectic form
- Newton geometry of Bogdanov-Takens degeneracies in integrable dilatonic models: invariant divisors and boundary multiplicity
- Real enumerative invariants relative to the toric boundary and their refinement
BibTeX
@misc{luo2026relative,
title = {{Relative completions and separating boundary divisors in moduli of curves}},
author = {Ma Luo and Tatsunari Watanabe},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.04857},
eprint = {2610.04857},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.04857},
}
RIS
TY - UNPB
TI - Relative completions and separating boundary divisors in moduli of curves
AU - Ma Luo
AU - Tatsunari Watanabe
PY - 2026
DA - 2026/10/04
PB - arXiv
DO - 10.48550/arxiv.2610.04857
UR - https://arxiv.org/abs/2610.04857
AB - We study relative completions of fundamental groups of moduli stacks of curves of compact type and of partial compactifications of the smooth moduli stack. For g≥3, the compact-type completion has commutative prounipotent radical with Lie algebra Λ^3_0H⊕ H^⊕ n. Fix 1≤ h≤ g−1. We show that adjoining the one-node loci of the separating divisors whose genus-h side carries at most two markings gives the same relative completion. The proof uses explicit separating-twist calculations in weight −2, pointed Johnson homomorphisms, and the lantern relation. Functorial specialization gives the corresponding results in positive characteristic for odd ℓ different from the characteristic. As a consequence, extension to compact type of iterated extensions of algebraic symplectic local systems can be tested on these selected divisors. We also prove that any collection of separating divisors giving the same relative completion contains at least binom n2 divisors.
ER -