Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 1075.14012
Guillén, Francisco; Navarro Aznar, Vicente
An extension criterion for functors defined on smooth schemes. (Un critère d'extension des foncteurs définis sur les schémas lisses.) (French)
[J] Publ. Math., Inst. Hautes Étud. Sci. 95, 1-91 (2002). ISSN 0073-8301; ISSN 1618-1913/e

Let $X$ be an algebraic variety over a field of characteristic zero. Then, by H. Hironaka's famous theorem on the resolution of singularities, there exists a birational and proper morphism $f:\widetilde X\to X$ from a smooth variety $\widetilde X$ to $X$. In addition, if $Y$ is a closed subvariety of $X$ then there is a resolution $f:\widetilde X\to X$ such that $\widetilde Y:= f^{-1}(Y)$ is a normal crossing divisor and $f$ is an isomorphism of the union of $Y$ and the singular locus of $X$. This fundamental theorem, together with Hironaka's more precise versions of it, has found numerous applications to the study of cohomology theories for algebraic varieties, among them being Grothendieck's algebraic de Rham cohomology and the Hodge-Deligne cohomology theory.\par In the paper under review, the authors continue their work begun in an earlier treatise of theirs published about 15 years ago [cf.: {\it F.Guillén}, {\it V. Navarro Aznar}, {\it P. Pascual-Gainza} and {\it F. Puerta}, Hyperrésolutions cubiques et descente cohomologique (Lect. Notes Math. 1335, Springer Verlag, Berlin) (1988; Zbl 0638.00011)]. Starting from the particular precise version of Hironaka's resolution theorem obtained back then, they prove an extension criterion for a functor defined on the category of separated schemes of finite type which are smooth over the field $k$.\par Roughly speaking, this criterion asserts that a functor admitting the usual exact sequence for blowing-up maps can be extended to the whole category of separated schemes of finite type over $k$.\par More precisely, for a field $k$ of characteristic zero, denote by $\underline{\text{Sch}}(k)$ the category of separated schemes of finite type over $k$ and by $\underline{\text{Reg}}(k)$ the subcategory of smooth schemes. Let ${\Cal A}$ be an abelian category, $C^b({\Cal A})$ the category of bounded complexes in ${\Cal A}$ and $D^b({\Cal A})$ the associated derived category. The main theorem of the present paper states that any contra-variant functor $G:\underline{\text{Reg}}(k)\to C^b({\Cal A})$ satisfying certain (quasi-)isomorphism conditions with respect to disjoint unions and blowing-up maps, which are here labeled by (F1) and (F2), possesses a unique extension to the category $\underline{\text{Sch}}(k)$ such that a prescribed cohomological descent property holds.\par This general theorem can be applied, as the authors point out in the course of their paper, to several known cohomology functors. For example, the classical singular cohomology, the Beilinson cohomology, the various Weil cohomology theories, the Bloch-Ogus cohomology, but also some non-abelian cohomology theories as well as the known complex-analytic cohomology theories can be interpreted in this general context, in particular with a view toward the treatment of those problems related to questions of cohomological descent (à la P. Deligne). Among the numerous applications of their main theorem, the authors prove the existence of two functors extending Grothendieck's theory of motives to the category of schemes $\underline{\text{Sch}}(k)$. These functors are then used to give an alternative proof of the former Serre conjecture on the independence of the virtual motive of an algebraic variety [cf.: {\it J.-P. Serre}, in: Journées arithmétiques, Exp. Congr., Luminy/Fr. 1989, Astérisque 198--200, 333--349 (1991; Zbl 0759.14002)], thereby complementing the first proof by H. Gillet and C. Soulé from another point of view.\par No doubt, the article under review represents a highly important contribution toward the theory of cohomological descent in its general setting, together with just as significant concrete applications to current research topics.
[Werner Kleinert (Berlin)]

MSC 2000:: *14E15 Global theory of singularities
14F43 Other algebro-geometric (co)homologies
14F42 Motivic cohomology
18E30 Derived categories, etc.
18E10 Exact categories, abelian categories

Keywords: resolution of singularities; cohomology theories of algebraic varieties; extensions of functors; derived categories; motives; theory of cohomological descent

Citations: Zbl 0638.00011; Zbl 0759.14002

Cited in: Zbl 1240.14012 Zbl 1086.14016

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]