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.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
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
In mathematics, the Milnor conjecture was a proposal by of a description of the Milnor K-theory (mod 2) of a general field F with characteristic different from 2, by means of the Galois (or equivalently étale) cohomology of F with coefficients in Z/2Z. It was proved by . Let F be a field of characteristic different from 2. Then there is an isomorphism for all n ≥ 0, where KM denotes the Milnor ring.
Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology. Let X be a scheme of finite type over a field k. A key goal of algebraic geometry is to compute the Chow groups of X, because they give strong information about all subvarieties of X.
In mathematics, particularly in homotopy theory, a model category is a with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations' satisfying certain axioms relating them. These abstract from the category of topological spaces or of chain complexes ( theory). The concept was introduced by . In recent decades, the language of model categories has been used in some parts of algebraic K-theory and algebraic geometry, where homotopy-theoretic approaches led to deep results.
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 ...
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 ...