[en] In the setting of the study of the cohomology of algebraic varieties, and in particular in the cohomological applications of Hironaka's resolution of singularities theorem, we use the technique of cubical hyperresolutions and the extension criterion of functors of Guillén and Navarro to define a variant of algebraic K-theory of varietes over a field of characteristic zero, which coincides with K-theory for smooth varieties. We consider K- theory as a functor from algebraic varieties to spectra. We call this extension descent algebraic K-theory, which satisfies descent for abstract blow-ups. In order to apply the extension criterion we prove that the category of fibrant spectra is a cohomological descent category, in the sense of Guillén and Navarro, with the homotopy limit as a simple functor. More generally we prove that the subcategory of fibrant objects of a simplicial model category is a descent category if and only if an acyclicity criterion holds. In particular stable simplicial model categories satisfy the aciclicity criterion so they are cohomological descent categories. We see that a theory obtained by extension criterion inherits many properties of the functor over smooth varieties, in a way such that descent algebraic K-theory satisfies for example Mayer-Vietoris and homotopy invariance properties. We prove also that under certain hypotheses the Guillén and Navarro extension of a functor to spectra coincides with the fibrant approximation in the model category of presheaves of spectra considering the abstract blow-up cd-topology. After a result of Haesemeyer we prove that descent K-theory is equivalent to the homotopy algebraic K-theory introduced by Weibel. We prove also that there is a natural weight filtration in the groups of homotopy algebraic K-theory.

[es] En el marco del estudio de la cohomología de las variedades algebraicas, y en particular de las aplicaciones cohomológicas del teorema de resolución de singularidades de Hironaka, utilizamos la técnica de las hiperresoluciones cúbicas y el criterio de extensión de funtores de Guillén y Navarro para definir una variante de la teoría K algebraica de las variedades sobre un cuerpo de característica cero, que coincide con la teoría K para las variedades lisas. Consideramos la teoría K como un funtor de variedades algebraicas a espectros. Llamamos teoría K de descenso a esta extensión, que satisface descenso para blow-ups abstractos. Para aplicar el criterio de extensión hemos demostrado que la categoría de espectros fibrantes es una categoria de descenso cohomológico, en el sentido de Guillén y Navarro, con el límite homotópico como funtor simple. Más generalmente hemos demostrado que la subcategoría de objectos fibrantes de una categoría de modelos simplicial es una categoría de descenso cohomológico si y sólo si se satisface un criterio de aciclicidad. En particular las categorías de modelos simpliciales estables satisfacen el criterio de aciclicidad y por lo tanto son de descenso cohomológico. Hemos visto como una teoría obtenida por el criterio de extensión hereda muchas de las propiedades del funtor sobre las variedades lisas, de manera que la teoría K de descenso satisface por ejemplo las propiedades de Mayer-Vietoris y de invariancia homotópica. Hemos demostrado también que bajo ciertas hipótesis la extensión de Guillén y Navarro de un funtor a espectros coincide con la aproximación fibrante en la categoría de models de prehaces de espectros considerando la cd topología de los blow-ups abstractos. Usando un resultado de Haesemeyer hemos demostrado que la teoría K de descenso es equivalente a la teoría K homotópica introducida por Weibel. Hemos demostrado también que hay una filtración por el peso natural en los grupos de teoría K homotópica.