A¹ homotopy theory

Template:Short description Template:Use dmy dates In algebraic geometry and algebraic topology, branches of mathematics, Template:Math 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 Template:Math, which is not an algebraic variety, with the affine line Template:Math, which is. The theory has seen 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

Template:Math homotopy theory is founded on a category called the Template:Math homotopy category $\mathscr{H}(S)$. Simply put, the Template:Math homotopy category, or rather the canonical functor $S{m}_S\to \mathscr{H}(S)$, is the universal functor from the category $S{m}_S$ of smooth $S$-schemes towards an infinity category which satisfies Nisnevich descent, such that the affine line Template:Math becomes contractible. Here $S$ is some prechosen base scheme (e.g., the spectrum of the complex numbers $Spec(ℂ)$).

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 model categories. 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 $\mathscr{H}(S)$.

This more concrete construction is sketched below.

Step 0

Choose a base scheme $S$. Classically, $S$ is asked to be Noetherian, but many modern authors such as Marc Hoyois work with quasi-compact quasi-separated base schemes. In any event, many important results are only known over a perfect base field, such as the complex numbers, so we consider only this case.

Step 1

Step 1a: Nisnevich sheaves. Classically, the construction begins with the category $Sh{v}_{Nis}(S{m}_S)$ of Nisnevich sheaves on the category $S{m}_S$ of smooth schemes over $S$. Heuristically, this should be considered as (and in a precise technical sense is) the universal enlargement of $S{m}_S$ obtained by adjoining all colimits and forcing Nisnevich descent to be satisfied.

Step 1b: simplicial sheaves. In order to more easily perform standard homotopy theoretic procedures such as homotopy colimits and homotopy limits, $Sh{v}_{Nis}(S{m}_S)$ replaced with the following category of simplicial sheaves.

Let Template:Math be the simplex category, that is, the category whose objects are the sets

Template:Math

and whose morphisms are order-preserving functions. We let ${\mathrm{\Delta }}^{op}Shv(S{m}_S{)}_{Nis}$ denote the category of functors ${\mathrm{\Delta }}^{op}\to Shv(S{m}_S{)}_{Nis}$. That is, ${\mathrm{\Delta }}^{op}Shv(S{m}_S{)}_{Nis}$ is the category of simplicial objects on $Shv(S{m}_S{)}_{Nis}$. Such an object is also called a simplicial sheaf on $S{m}_S$.

Step 1c: fibre functors. For any smooth $S$-scheme $X$, any point $x\in X$, and any sheaf $F$, let's write $x^{*}F$ for the stalk of the restriction $F{|}_{X_{Nis}}$ of $F$ to the small Nisnevich site of $X$. Explicitly, $x^{*}F=coli{m}_{x\to V\to X}F(V)$ where the colimit is over factorisations $x\to V\to X$ of the canonical inclusion $x\to X$ via an étale morphism $V\to X$. The collection $\{x^{*}\}$ is a conservative family of fibre functors for $Shv(S{m}_S{)}_{Nis}$.

Step 1d: the closed model structure. We will define a closed model structure on ${\mathrm{\Delta }}^{op}Shv(S{m}_S{)}_{Nis}$ in terms of fibre functors. Let $f:𝒳\to 𝒴$ be a morphism of simplicial sheaves. We say that:

• Template:Mvar is a weak equivalence if, for any fibre functor Template:Mvar of Template:Mvar, the morphism of simplicial sets $x^{*}f:x^{*}𝒳\to x^{*}𝒴$ is a weak equivalence.
• Template:Mvar is a cofibration if it is a monomorphism.
• Template:Mvar 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 ${\mathscr{H}}_s(T)$.

Step 2

This model structure has Nisnevich descent, but it does not contract the affine line. A simplicial sheaf $𝒳$ is called ${𝔸}^1$-local if for any simplicial sheaf $𝒴$ the map

${\text{Hom}}_{{\mathscr{H}}_s(T)}(𝒴\times {𝔸}^1,𝒳)\to {\text{Hom}}_{{\mathscr{H}}_s(T)}(𝒴,𝒳)$

induced by $i_0:\{0\}\to {𝔸}^1$ is a bijection. Here we are considering ${𝔸}^1$ as a sheaf via the Yoneda embedding, and the constant simplicial object functor $Shv(S{m}_S{)}_{Nis}\to {\mathrm{\Delta }}^{op}Shv(S{m}_S{)}_{Nis}$.

A morphism $f:𝒳\to 𝒴$ is an ${𝔸}^1$-weak equivalence if for any ${𝔸}^1$-local $𝒵$, the induced map

${\text{Hom}}_{{\mathscr{H}}_s(T)}(𝒴,𝒵)\to {\text{Hom}}_{{\mathscr{H}}_s(T)}(𝒳,𝒵)$

is a bijection. The ${𝔸}^1$-local model structure is the localisation of the above model with respect to ${𝔸}^1$-weak equivalences.

Formal Definition

Finally we may define the Template:Math homotopy category.

Definition. Let Template:Mvar be a finite-dimensional Noetherian scheme (for example $S=Spec(ℂ)$ the spectrum of the complex numbers), and let Template:Math denote the category of smooth schemes over Template:Mvar. Equip Template:Math with the Nisnevich topology to get the site Template:Math. The homotopy category (or infinity category) associated to the ${𝔸}^1$-local model structure on ${\mathrm{\Delta }}^{op}Sh{v}_{*}(S{m}_S{)}_{Nis}$ is called the Template:Math-homotopy category. It is denoted ${\mathscr{H}}_s$. Similarly, for the pointed simplicial sheaves ${\mathrm{\Delta }}^{op}Sh{v}_{*}(S{m}_S{)}_{Nis}$ there is an associated pointed homotopy category ${\mathscr{H}}_{s,*}$.

Note that by construction, for any Template:Mvar in Template:Math, there is an isomorphism

Template:Math

in the homotopy category.

Properties of the theory

Wedge and smash products of simplicial (pre)sheaves

Because we started with a simplicial model category to construct the

${𝐀}^1$

-homotopy category, there are a number of structures inherited from the abstract theory of simplicial models categories. In particular, for

$𝒳,𝒴$

pointed simplicial sheaves in

${\mathrm{\Delta }}^{op}{\text{Sh}}_{*}(\text{Sm}/S{)}_{nis}$

we can form the wedge product as the colimit

$𝒳\vee 𝒴=\underrightarrow{\text{colim}}\left\{\begin{array}{ccc}*& \to & 𝒳\\ \downarrow & & \\ 𝒴\end{array}\right\}$

and the smash product is defined as

$𝒳\wedge 𝒴=𝒳\times 𝒴/𝒳\vee 𝒴$

recovering some of the classical constructions in homotopy theory. There is in addition a cone of a simplicial (pre)sheaf and a cone of a morphism, but defining these requires the definition of the simplicial spheres.

Simplicial spheres

From the fact we start with a simplicial model category, this means there is a cosimplicial functor

${\mathrm{\Delta }}^{\bullet }:\mathrm{\Delta }\to {\mathrm{\Delta }}^{op}{\text{Sh}}_{*}(\text{Sm}/S{)}_{nis}$

defining the simplices in

${\mathrm{\Delta }}^{op}{\text{Sh}}_{*}(\text{Sm}/S{)}_{nis}$

. Recall the algebraic n-simplex is given by the

$S$

-scheme

${\mathrm{\Delta }}^n=\text{Spec}\left(\frac{{𝒪}_S[t_0,t_1,\dots ,t_n]}{(t_0+t_1+\cdots +t_n-1)}\right)$

Embedding these schemes as constant presheaves and sheafifying gives objects in

${\mathrm{\Delta }}^{op}{\text{Sh}}_{*}(\text{Sm}/S{)}_{nis}$

, which we denote by

${\mathrm{\Delta }}^n$

. These are the objects in the image of

${\mathrm{\Delta }}^{\bullet }([n])$

, i.e.

${\mathrm{\Delta }}^{\bullet }([n])={\mathrm{\Delta }}^n$

. Then using abstract simplicial homotopy theory, we get the simplicial spheres

$S^n={\mathrm{\Delta }}^n/\partial {\mathrm{\Delta }}^n$

We can then form the cone of a simplicial (pre)sheaf as

$C(𝒳)=𝒳\wedge {\mathrm{\Delta }}^1$

and form the cone of a morphism

$f:𝒳\to 𝒴$

as the colimit of the diagram

$C(f)=\underrightarrow{\text{colim}}\left\{\begin{array}{ccc}𝒳& \stackrel{f}{\to }& 𝒴\\ \downarrow & & \\ C(𝒳)\end{array}\right\}$

In addition, the cofiber of

$𝒴\to C(f)$

is simply the suspension

$𝒳\wedge S^1=\mathrm{\Sigma }𝒳$

. In the pointed homotopy category there is additionally the suspension functor

$\mathrm{\Sigma }:{\mathscr{H}}_{s,*}(Sm/S{)}_{Nis}\to {\mathscr{H}}_{s,*}(Sm/S{)}_{Nis}$

given by

$\mathrm{\Sigma }(𝒳)=𝒳\wedge S^1$

and its right adjoint

$\mathrm{\Omega }:{\mathscr{H}}_{s,*}(Sm/S{)}_{Nis}\to {\mathscr{H}}_{s,*}(Sm/S{)}_{Nis}$

called the loop space functor.

Remarks

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 Template:Math 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 Template:Math-sphere in topology, and those coming from the simplicial sphere (considered as constant simplicial sheaf). This leads to a theory of motivic spheres Template:Math 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 Template:Math homotopy theory is at least as complicated as classical homotopy theory.

Motivic analogies

Eilenberg-Maclane spaces

For an abelian group

$A$

the

$(p,q)$

-motivic cohomology of a smooth scheme

$X$

is given by the sheaf hypercohomology groups

$H^{p,q}(X,A):={ℍ}^p(X_{nis},A(q))$

for

$A(q)=\mathbb{Z}(q)\otimes A$

. Representing this cohomology is a simplicial abelian sheaf denoted

$K(p,q,A)$

corresponding to

$A(q)[+p]$

which is considered as an object in the pointed motivic homotopy category

$H_{\bullet }(k)$

. Then, for a smooth scheme

$X$

we have the equivalence

${\text{Hom}}_{H_{\bullet }(k)}(X_{+},K(p,q,A))=H^{p,q}(X,A)$

showing these sheaves represent motivic Eilenberg-Maclane spaces^{pg 3}.

The stable homotopy category

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

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

$SH(𝐑)\to SH$

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

$\rho :S^0\to {𝐆}_m,i.e.,\{-1,1\}\to Spec𝐑[x,x^{-1}]$

to an equivalence, since ${𝐑}^{\times }$ is homotopy equivalent to a two-point set. Template:Harvtxt has shown that the resulting functor

$SH(𝐑)[{\rho }^{-1}]\to SH$

is an equivalence.

References

Survey articles and lectures

• Morel (2002) An Introduction to A¹-homotopy theory
• Template:Cite arXiv

Motivic homotopy

Foundations

• Template:Cite arXiv
• Template:Citation
• Template:Citation
• Template:Cite arXiv

Motivic Steenrod algebra

• Template:Cite arXiv
• Template:Cite arXiv

Motivic adams spectral sequence

• The motivic Adams spectral sequence
• Motivic chromatic homotopy theory

Spectra

• Jardine. (1999) Motivic Symmetric Spectra

Bloch-Kato

• The Gersten conjecture for Milnor K-theory
• Tate twists and cohomology of P¹

Applications

• Template:Cite arXiv
• Template:Cite arXiv
• Template:Cite book
• Template:Cite arXiv
• Template:Cite arXiv
• Template:Cite arXiv

References

• Template:Citation