Dimension theory of the moduli space of twisted \(k\)-differentials (Q1656229)

Étant donné \(g,k\geq0\) et une partition \(\mu=(m_{1},\dots,m_{n})\) de \(k(2g-2)\), on définit l'espace \(\mathcal{H}_{g}^{k}(\mu)\subset \mathcal{M}_{g,n}\) paramètrant les \((C;p_{1},\dots,p_{n})\) tels que \(\mathcal{O}_{C}(\sum m_{i}p_{i})\) est le fibré canonique de \(C\). \textit{G. Farkas} et \textit{R. Pandharipande} [J. Inst. Math. Jussieu 17, No. 3, 615--672 (2018; Zbl 1455.14056)] ont introduit pour \(k=1\) un espace des modules propre paramétrisant les diviseurs twistés canoniques contenant \(\mathcal{H}_{g}^{1}(\mu)\). Cet article introduit et étudie la généralisation naturelle de ces espaces \(\tilde{\mathcal{H}}_{g}^{k}(\mu)\) à tout \(k\geq 0\). La dimension des composantes irréductibles de \(\tilde{\mathcal{H}}_{g}^{k}(\mu)\) est obtenue en calculant la dimension des composantes connexes de \(\mathcal{H}_{g}^{k}(\mu)\), c.f. théorème 1.1 et proposition 1.2. Notons que cette question à été abordé par de nombreux auteurs à différents niveaux de généralité et on pourra consulter la remarque 1.3 pour un panorama sur cette question. Cet article donne une formule conjecturale entre la classe fondamentale de \(\tilde{\mathcal{H}}_{g}^{k}(\mu)\) et un élément explicite de l'anneau tautologique de la compactification de Deligne-Mumford \(\bar{\mathcal{M}}_{g,n}\), voir conjectures A et A'. Cette conjecture est prouvée dans quelques cas en petit genre. Enfin, l'auteur montre que les pluridifférentielles stables dont la restriction à chaque composante est non nulle est lissable sans changer les ordres des zéros et des pôles de ces restrictions. Notons que c'est un cas particulier du résultat principal de l'article de \textit{M. Bainbridge} et al. [``Strata of \(k\)-differentials'', Preprint, \url{arXiv:1610.09238}].