Cohomology classes of strata of differentials (Q2001900)

Étant donné \(g\geq1\), le fibré projectif de Hodge sur l'espace des modules des courbes de genre \(g\) est le fibré \(\pi: \mathbb{P}\mathcal{H}_{g,n} \to \mathcal{M}_{g,n}\) dont les fibres sont les différentielles abéliennes non nulles modulo l'action de \(\mathbb{C}^{\ast}\). Ce fibré s'étend en un fibré \(\pi: \mathbb{P}\overline{\mathcal{H}}_{g,n} \to \overline{\mathcal{M}}_{g,n}\) dont les fibres sont les différentielles stables modulo \(\mathbb{C}^{\ast}\). On définit l'anneau tautologique de \( \mathbb{P}\overline{\mathcal{H}}_{g,n} \) comme étant le sous anneau de la cohomologie \(H^{\ast}(\mathbb{P}\overline{\mathcal{H}}_{g,n},\mathbb{Q})\) engendré par la première classe de Chern du fibré tautologique et les tirés en arriére des classes tautologiques de \(\overline{\mathcal{M}}_{g,n}\) par \(\pi\). Soit \(\mu=(m_{1},\dots,m_{n})\) une partition de \(2g-2\), on définit la strate \(\mathcal{H}_{g,n}(\mu)\) paramétrant les éléments de \(\mathbb{P}\mathcal{H}_{g,n} \) tels que le diviseur de la différentielle abélienne est de la forme \(\sum_{i=1}^n m_{i}z_{i}\). On note \(\mathbb{P}\overline{\mathcal{H}}_{g,n}(\mu)\) sa fermeture dans \(\mathbb{P}\overline{\mathcal{H}}_{g,n}\). Le résultat principal (théroème 1) de cet article est de montrer que la classe \(\left[\mathbb{P}\overline{\mathcal{H}}_{g,n}(\mu)\right]\) appartient à l'anneau tautologique de \( \mathbb{P}\overline{\mathcal{H}}_{g,n} \) et que celle-ci peut se calculer explicitement. Il est à noter que le résultat s'étend au cas des différentielles méromorphes qui est utilisé de façon essentielle dans la preuve du résultat principal (voir la formule inductive du théorème 5).