Calculating cohomology groups of moduli spaces of curves via algebraic geometry
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. We also correct some mistakes in the literature on this topic.
For a smooth and proper curve over the fraction field of a discrete valuation ring , we explain (under very mild hypotheses) how to equip the de Rham cohomology with a canonical integral structure: i.e., an -lattice which is functorial in finite (generically étale) -morphisms of and which is preserved by the cup-product auto-duality on . Our construction of this lattice uses a certain class of normal proper models of and relative dualizing sheaves. We show that our lattice naturally...
Cet article présente la construction de la catégorie homotopique stable d’un site suspendu avec intervalle arbitraire. La fonctorialité de cette construction est étudiée, avec des applications à la théorie homotopique des schémas introduite par F. Morel et V. Voevodsky.