Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
A¹ homotopy theory

A¹ homotopy theory

In algebraic geometry and algebraic topology, branches of mathematics, A1 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 requires a substantial amount of technique to set up, but has spectacular applications such as Voevodsky's construction of the derived category of mixed motives and the proof of the Milnor and Bloch-Kato conjectures.

Construction

A1 homotopy theory is founded on a category called the A1 homotopy category. This is the homotopy category for a certain closed model category whose construction requires two steps.

Step 1

Most of the construction works for any site T. Assume that the site is subcanonical, and let Shv(T ) be the category of sheaves of sets on this site. This category is too restrictive, so we will need to enlarge it. Let Δ be the simplex category, that is, the category whose objects are the sets

{0}, {0, 1}, {0, 1, 2}, ...,

and whose morphisms are order-preserving functions. We let ΔopShv(T ) denote the category of functors Δop → Shv(T ). That is, ΔopShv(T ) is the category of simplicial objects on Shv(T ). Such an object is also called a simplicial sheaf on T. The category of all simplicial sheaves on T is a Grothendieck topos.

A point of a siteTis a geometric morphismx ∗ : Shv(T ) → Set, whereSetis the category of sets. We will define a closed model structure onΔopShv(T )in terms of points. Letbe a morphism of simplicial sheaves. We say that:
  • f is a weak equivalence if, for any point x of T, the morphism of simplicial sets is a weak equivalence.

  • f is a cofibration if it is a monomorphism.

  • f is a fibration if it has the right lifting property with respect to any cofibration which is a weak equivalence.

The homotopy category of this model structure is denoted.

Step 2

This model structure will not give the right homotopy category because it does not pay any attention to the unit interval object. Call this object I, and denote the final object of T by pt. We assume that I comes with a map μ : I × II and two maps i0, i1 : pt → I such that:

  • If p is the canonical morphism I → pt, then

μ(i0× 1I) = μ(1I× i0) = i0p.
μ(i1× 1I) = μ(1I× i1) = 1I.
  • The morphism i0 ∐ i1 : pt ∐ pt → I is a monomorphism.

Now we localize the homotopy theory with respect toI. A simplicial sheafis calledI-local if for any simplicial sheafthe map
induced byi0 : pt → Iis a bijection. A morphismis anI-weak equivalence if for anyI-local, the induced map
is a bijection. The homotopy theory of the site with interval(T, I )is the localization ofΔopShv(T )with respect toI-weak equivalences. This category is called.

Formal Definition

Finally we may define the A1 homotopy category.

Definition. LetSbe a finite-dimensionalNoetherian scheme, and letSch/Sdenote the category ofsmoothschemes overS. EquipSch/Swith theNisnevich topologyto get the site(Sch/S)Nis. We let the affine lineA1play the role of the interval. The above construction determines a closed model structure onΔopShvNis(Sch/S), and the correspondinghomotopy categoryis called theA1homotopy category.

Note that by construction, for any X in Sch/S, there is an isomorphism

X ×SA1
S
X,

in the homotopy category.

Properties of the theory

The setup, especially the Nisnevich topology, is chosen as to make algebraic K-theory representable by a spectrum, and in some aspects to make a proof of the Bloch-Kato conjecture possible.

After the Morel-Voevodsky construction there have been several different approaches to A1 homotopy theory by using other model category structures or by using other sheaves than Nisnevich sheaves (for example, Zariski sheaves or just all presheaves). Each of these constructions yields the same homotopy category.

There are two kinds of spheres in the theory: those coming from the multiplicative group playing the role of the 1-sphere in topology, and those coming from the simplicial sphere (considered as constant simplicial sheaf). This leads to a theory of motivic spheres Sp,q with two indices. To compute the homotopy groups of motivic spheres would also yield the classical stable homotopy groups of the spheres, so in this respect A1 homotopy theory is at least as complicated as classical homotopy theory.

The stable homotopy category

A further construction in A1-homotopy theory is the category SH(S), which is obtained from the above unstable category by forcing the smash product with Gm to become invertible. This process can be carried out either using model-categorical constructions using so-called Gm-spectra or alternatively using infinity-categories.

For S = Spec (R), the spectrum of the field of real numbers, there is a functor

to the stable homotopy category from algebraic topology. The functor is characterized by sending a smooth scheme X / R to the real manifold associated to X. This functor has the property that it sends the map

to an equivalence, sinceis homotopy equivalent to a two-point set.Bachmann (2018)has shown that the resulting functor

is an equivalence.

References

[1]
Citation Link//arxiv.org/abs/1605.009291605.00929
Oct 1, 2019, 5:27 AM
[2]
Citation Linkui.adsabs.harvard.edu2016arXiv160500929A
Oct 1, 2019, 5:27 AM
[3]
Citation Link//arxiv.org/abs/1608.088551608.08855
Oct 1, 2019, 5:27 AM
[4]
Citation Linkarchive.numdam.org"A1-homotopy theory of schemes"
Oct 1, 2019, 5:27 AM
[5]
Citation Link//doi.org/10.1007%2FBF0269883110.1007/BF02698831
Oct 1, 2019, 5:27 AM
[6]
Citation Link//www.ams.org/mathscinet-getitem?mr=18132241813224
Oct 1, 2019, 5:27 AM
[7]
Citation Linkwww.mathunion.org"A1-homotopy theory"
Oct 1, 2019, 5:27 AM
[8]
Citation Link//www.worldcat.org/issn/1431-06351431-0635
Oct 1, 2019, 5:27 AM
[9]
Citation Link//www.ams.org/mathscinet-getitem?mr=16480481648048
Oct 1, 2019, 5:27 AM
[10]
Citation Linkarxiv.org1605.00929
Oct 1, 2019, 5:27 AM
[11]
Citation Linkui.adsabs.harvard.edu2016arXiv160500929A
Oct 1, 2019, 5:27 AM
[12]
Citation Linkarxiv.org1608.08855
Oct 1, 2019, 5:27 AM
[13]
Citation Linkarchive.numdam.org"A1-homotopy theory of schemes"
Oct 1, 2019, 5:27 AM
[14]
Citation Linkdoi.org10.1007/BF02698831
Oct 1, 2019, 5:27 AM
[15]
Citation Linkwww.ams.org1813224
Oct 1, 2019, 5:27 AM
[16]
Citation Linkwww.mathunion.org"A1-homotopy theory"
Oct 1, 2019, 5:27 AM
[17]
Citation Linkwww.worldcat.org1431-0635
Oct 1, 2019, 5:27 AM
[18]
Citation Linkwww.ams.org1648048
Oct 1, 2019, 5:27 AM
[19]
Citation Linken.wikipedia.orgThe original version of this page is from Wikipedia, you can edit the page right here on Everipedia.Text is available under the Creative Commons Attribution-ShareAlike License.Additional terms may apply.See everipedia.org/everipedia-termsfor further details.Images/media credited individually (click the icon for details).
Oct 1, 2019, 5:27 AM