Cohomology classes of strata of differentials

From MaRDI portal



Abstract: We introduce a space of stable meromorphic differentials with poles of prescribed orders and define its tautological cohomology ring. This space, just as the space of holomorphic differentials, is stratified according to the set of multiplicities of zeros of the differential. The main goal of this paper is to compute the Poincar'e-dual cohomology classes of all strata. We prove that all these classes are tautological and give an algorithm to compute them. In a second part of the paper we study the Picard group of the strata. We use the tools introduced in the first part to deduce several relations in these Picard groups.


É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).



Cites work









This page was built for publication: Cohomology classes of strata of differentials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001900)