Affine models for Noetherian schemes

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Gorinov, Alexey G., Kosolapov, Egor S.
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911715248046080
author Gorinov, Alexey G.
Kosolapov, Egor S.
author_facet Gorinov, Alexey G.
Kosolapov, Egor S.
contents Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate classes include morphisms of varieties over an algebraically closed field of positive characteristic which induce an isomorphism of étale cohomology, and weak equivalences in the cdh topology. An \emph{affine model} for a Noetherian scheme $X$ over $S$ is an affine scheme $M_X$ equipped with an adequate morphism $M_X\to X$. In this paper we construct affine models for arbitrary separated schemes of finite type over $S$. Our construction can be viewed as a generalization of the Jouanolou trick. As an application, we construct a mixed Hodge structure on the Leray spectral sequence of an arbitrary proper morphism $f:X\to Y$ of complex algebraic varieties, generalizing an argument by Donu Arapura which assumed $Y$ quasi-projective and $f$ projective.
format Preprint
id arxiv_https___arxiv_org_abs_2605_25249
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Affine models for Noetherian schemes
Gorinov, Alexey G.
Kosolapov, Egor S.
Algebraic Geometry
Algebraic Topology
Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate classes include morphisms of varieties over an algebraically closed field of positive characteristic which induce an isomorphism of étale cohomology, and weak equivalences in the cdh topology. An \emph{affine model} for a Noetherian scheme $X$ over $S$ is an affine scheme $M_X$ equipped with an adequate morphism $M_X\to X$. In this paper we construct affine models for arbitrary separated schemes of finite type over $S$. Our construction can be viewed as a generalization of the Jouanolou trick. As an application, we construct a mixed Hodge structure on the Leray spectral sequence of an arbitrary proper morphism $f:X\to Y$ of complex algebraic varieties, generalizing an argument by Donu Arapura which assumed $Y$ quasi-projective and $f$ projective.
title Affine models for Noetherian schemes
topic Algebraic Geometry
Algebraic Topology
url https://arxiv.org/abs/2605.25249