Intersection theory on algebraic stacks and Q-varieties (Q1085219)

Mumford et Deligne ont montré que les courbes stables de genre g sur un corps k (de caractéristique 0) constituent un champ algébrique (''algebraic stack'') \(\bar M_ g\) dont la fibre au-dessus d'un schéma S/k est la catégorie des courbes stables de genre g sur S, les morphismes étant les isomorphismes de schémas sur S. Ce champ définit un schéma de moduli ''grossier'' \(\bar {\mathcal M}_ g\) qui paramétrise les classes d'isomorphismes de courbes stables. Mumford a construit un produit d'intersections sur les groupes de Chow (tensorisés par Q) de \(\bar {\mathcal M}_ g.\quad \bar {\mathcal M}_ g\) est localement une Q-variété, i.e. le quotient d'une variété lisse par un groupe fini. Cependant la construction de Mumford ne s'applique pas aux Q-variétés quelconques. Le but de l'article rapporté est précisément de construire des produits d'intersection pour les champs algébriques et les Q-variétés. Pour cela, l'A. associe à un champ régulier F un espace des moduli grossier X qui est une Q-variété (toute Q-variété X est même l'espace des moduli grossier d'un champ algébrique régulier) de la même façon qu'à \(\bar M_ g\) on a associé \(\bar {\mathcal M}_ g\). Il montre ensuite l'existence d'isomorphismes \(CH^ p(F)\otimes_ ZQ\simeq H^ p_{et}(F,K_ p({\mathcal O}_ F))\otimes_ ZQ (CH^ p(F)\), joue le rôle de groupe de Chow en codimension p généralisé à F) \(CH^ p(X)\otimes_ ZQ\simeq H^ p_{et}(F,K_ p({\mathcal O}_ F))\otimes_ ZQ\) où les \(K_ p({\mathcal O}_ F)\) sont les faisceaux définis en K-théorie, et il définit les produits d'intersections sur \(CH^*(X)\otimes_ ZQ\) via le deuxième isomorphisme. Il étend enfin le théorème de Riemann-Roch pour les morphismes propres de schémas aux espaces algébriques.