In algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is. The theory has seen spectacular applications such as Voevodsky's construction of the of mixed motives and the proof of the Milnor and Bloch-Kato conjectures.
A1 homotopy theory is founded on a category called the A1 homotopy category . Simply put, the A1 homotopy category, or rather the canonical functor , is the universal functor from the category of smooth -schemes towards an which satisfies Nisnevich descent, such that the affine line A1 becomes contractible. Here is some prechosen base scheme (e.g., the spectrum of the complex numbers ).
This definition in terms of a universal property is not possible without infinity categories. These were not available in the 90's and the original definition passes by way of Quillen's theory of . Another way of seeing the situation is that Morel-Voevodsky's original definition produces a concrete model for (the homotopy category of) the infinity category .
This more concrete construction is sketched below.
Choose a base scheme . Classically, is asked to be Noetherian, but many modern authors such as Marc Hoyois work with quasi-compact quasi-separated base schemes. In any case, many important results are only known over a perfect base field, such as the complex numbers, it's perfectly fine to consider only this case.
Step 1a: Nisnevich sheaves. Classically, the construction begins with the category of Nisnevich sheaves on the category of smooth schemes over . Heuristically, this should be considered as (and in a precise technical sense is) the universal enlargement of obtained by adjoining all colimits and forcing Nisnevich descent to be satisfied.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
En mathématiques, la conjecture de Milnor dit que pour tout corps F de caractéristique différente de 2, la K-théorie de Milnor modulo 2 de F est isomorphe à sa cohomologie étale (ou ce qui est équivalent : à sa cohomologie de Galois i.e. à la cohomologie de son groupe de Galois absolu, profini), à coefficients dans Z/2Z. Après être restée ouverte pendant environ vingt ans, cette conjecture a été démontrée en 1996 par Vladimir Voïevodski, qui a reçu pour cela une médaille Fields en 2002, et qui a contribué à la démonstration, en 2009, de sa généralisation : la .
Une cohomologie motivique est une théorie cohomologique en mathématiques dont l'existence a été conjecturée pour la première fois par Alexandre Grothendieck dans les années 1960. À l'époque, on la concevait comme construite sur les bases des sur les cycles algébriques, en géométrie algébrique. Elle puise ses fondements en théorie des catégories, ce qui permet de déduire des conséquences à partir de ces conjectures. Grothendieck et Bombieri ont démontré la profondeur de cette approche en dérivant une des conjectures de Weil de cette façon.
En mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.
In this thesis, we apply cochain complexes as an algebraic model of space in a diverse range of mathematical and scientific settings. We begin with an algebraic-discrete Morse theory model of auto-encoding cochain data, connecting the homotopy theory of d ...
In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...
EPFL2021
,
We apply the Acyclicity Theorem of Hess, Kedziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjuncti ...