Hostname: page-component-5d84bcc8dc-29vhl Total loading time: 0 Render date: 2026-09-04T01:30:02.375Z Has data issue: false hasContentIssue false
  • English
  • Français

Cohomological and motivic inclusion–exclusion

Part of: Surfaces and higher-dimensional varieties Fiber spaces and bundles Special properties

Published online by Cambridge University Press:  13 September 2024

Ronno Das Open the ORCID record for Ronno Das [Opens in a new window]  and
Sean Howe Open the ORCID record for Sean Howe [Opens in a new window]
Ronno Das
Affiliation:
Matematiska institutionen, Stockholm University, 106 91 Stockholm, Sweden ronnodas@gmail.com
Sean Howe
Affiliation:
Department of Mathematics, University of Utah, Salt Lake City, UT 84112, USA sean.howe@utah.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We categorify the inclusion–exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.

Keywords

homological stabilityhypersurfacesinclusion–exclusionmotivic statisticsstratified spaces

MSC classification

Primary: 55R80: Discriminantal varieties, configuration spaces
Secondary: 14J70: Hypersurfaces 54F05: Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

Information

Type
Research Article
Information
Compositio Mathematica , Volume 160 , Issue 9 , September 2024 , pp. 2228 - 2283
Check for updates
Copyright
© The Author(s), 2024. The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Aumonier, A., An h-principle for complements of discriminants, Geom. Topol., to appear. Preprint (2021), arXiv.2112.00326.Google Scholar
Banerjee, O., Filtration of cohomology via semi-simplicial spaces. Preprint (2019), arXiv.1909.00458.Google Scholar
Beĭlinson, A. A., Bernstein, J. and Deligne, P., Faisceaux pervers, in Analysis and topology on singular spaces, I (Luminy, 1981), Astérisque, vol. 100 (Société Mathématique de France, Paris, 1982), 5–171.Google Scholar
Bhatt, B. and Scholze, P., The pro-étale topology for schemes, Astérisque 369 (2015), 99–201.Google Scholar
Bilu, M., Produits eulériens motiviques, PhD dissertation, Orsay (2017), https://tel.archives-ouvertes.fr/tel-01662414.Google Scholar
Bilu, M., Motivic Euler products and motivic height zeta functions, Mem. Amer. Math. Soc. 282 (2023).Google Scholar
Bilu, M., Das, R. and Howe, S., Zeta statistics and Hadamard functions, Adv. Math. (N.Y.) 407 (2022), 108556.Google Scholar
Bilu, M. and Howe, S., Motivic Euler products in motivic statistics, Algebra Number Theory 15 (2021), 2195–2259.CrossRefGoogle Scholar
Bredon, G. E., Sheaf theory, second edition, Graduate Texts in Mathematics, vol. 170 (Springer, New York, 1997).CrossRefGoogle Scholar
Das, R., Cohomology of the universal smooth cubic surface, Q. J. Math. 72 (2021), 795–815.CrossRefGoogle Scholar
Deligne, P., La conjecture de Weil. I, Publ. Math. Inst. Hautes Études Sci. 43 (1974), 273–307.CrossRefGoogle Scholar
Deligne, P., La conjecture de Weil. II, Publ. Math. Inst. Hautes Études Sci. 52 (1980), 137–252.CrossRefGoogle Scholar
Fantechi, B., Göttsche, L., Illusie, L., Kleiman, S. L., Nitsure, N. and Vistoli, A., Fundamental algebraic geometry: Grothendieck's FGA explained, Mathematical Surveys and Monographs, vol. 123 (American Mathematical Society, Providence, RI, 2005).Google Scholar
Grothendieck, A., Fondements de la géométrie algébrique [Extraits du Séminaire Bourbaki, 1957–1962] (Secrétariat Mathématique, Paris, 1962).Google Scholar
Gusein-Zade, S. M., Luengo, I. and Melle-Hernández, A., A power structure over the Grothendieck ring of varieties, Math. Res. Lett. 11 (2004), 49–57.CrossRefGoogle Scholar
Howe, S., Motivic random variables and representation stability I: configuration spaces, Algebr. Geom. Topol. 20 (2020), 3013–3045.CrossRefGoogle Scholar
Kobin, A., A primer on zeta functions and decomposition spaces, in Moduli, motives and bundles – New trends in algebraic geometry, London Mathematical Society Lecture Notes Series (Cambridge University Press, to appear). Preprint (2020), arXiv:2011.13903.Google Scholar
Lundkvist, C., Counterexamples regarding symmetric tensors and divided powers, J. Pure Appl. Algebra 212 (2008), 2236–2249.CrossRefGoogle Scholar
Petersen, D., A spectral sequence for stratified spaces and configuration spaces of points, Geom. Topol. 21 (2017), 2527–2555.CrossRefGoogle Scholar
Poonen, B., Bertini theorems over finite fields, Ann. of Math. (2) 160 (2004), 1099–1127.CrossRefGoogle Scholar
Quillen, D., Higher algebraic K-theory: I, in Algebraic K-theory I: higher K-theories, Lecture Notes in Mathematics, vol. 341 (Springer, Berlin–New York, 1973), 85–147.Google Scholar
Rydh, D., Hilbert and Chow schemes of points, symmetric products and divided powers, part of “Families of cycles and the Chow scheme”, PhD dissertation, KTH, School of Engineering Sciences (2008).Google Scholar
The Stacks Project Authors, The Stacks project (2019), https://stacks.math.columbia.edu.Google Scholar
Tommasi, O., Stable cohomology of spaces of non-singular hypersurfaces, Adv. Math. 265 (2014), 428–440.CrossRefGoogle Scholar
Vassiliev, V. A., Topology of discriminants and their complements, in Proceedings of the International Congress of Mathematicians, vols. 1 & 2 (Zürich, 1994) (Birkhäuser, Basel, 1995), 209–226.CrossRefGoogle Scholar
Vassiliev, V. A., How to calculate the homology of spaces of nonsingular algebraic projective hypersurfaces, Tr. Mat. Inst. Steklova 225 (1999), 132–152.Google Scholar
Vakil, R. and Wood, M. M., Discriminants in the Grothendieck ring, Duke Math. J. 164 (2015), 1139–1185.CrossRefGoogle Scholar
Vakil, R. and Wood, M. M., Errata to “Discriminants in the Grothendieck ring”, Duke Math. J. 169 (2020), 799–800.CrossRefGoogle Scholar