Morel and Voevoedsky developed what is now called motivic homotopy theory, which aims to apply techniques of algebraic topology to algebraic varieties and, more generally, to schemes. A simple way of stating the idea is that we wish to find a model structure on some algebraic category related to that of varieties or that of schemes, so as to apply homotopy theory in an abstract sense.

The uninitiated will find the name of the theory intriguing, and will perceive the simple idea presented above as a very fair approach, but upon reading the details of the theory, he might get somewhat puzzled, if not worried, about some of its aspects. We begin with the following aspects, which are added for completeness.

  • The relevant category we start out with is not a category of schemes, but a much larger category of simplicial sheaves over the category of smooth schemes endowed with a suitable Grothendieck topology. A relevant MathOverflow topic is here.

  • The choice of Grothendieck topology is the Nisnevich topology, the reasons being discussed right over here.

  • The choice of smooth schemes rather than arbitrary schemes has been discussed here.

Let us now suppose the uninitiated has accepted the technical reasons that are mentioned inside the linked pages, and that he will henceforth ignore whatever aesthetic shortcomings he may still perceive. He continues reading through the introduction, but soon finds himself facing two more aspects which worries him even more.

  • The resulting homotopy theory does not behave as our rough intuition would like. In particular, what we might reasonable want to hold, such as the fact that a space ought to be homotopy equivalent to the product of itself with the affine line, is false. We solve the issue by simply forcing them to be homotopy equivalent, and hope that whatever theory rolls out is more satisfactory.

  • There are two intuitive analogues of spheres in algebraic geometry, and the theory does not manage to identify them. We solve the issue by just leaving both of them into the game, accepting that all homology and cohomology theories will be bigraded, and we hope that this doesn't cause issues.

The fact that the resulting theory is satisfactory, has proved itself over time. But hopefully the reader will not find it unreasonable that the uninitiated perceives the two issues mentioned above as a warning sign that the approach is on the wrong track, if not the 'wrong' one altogether; moreover, he will perceive the solutions presented as 'naive', as though it were but a symptomatic treatment of aforementioned warning signs.

Question. How would you convince the uninitiated that Voevodsky's approach of motivic homotopy theory is 'the right one'?

  • 5
    $\begingroup$ Someone here told me a few months back that there is some kind of attempt to do $\mathbf{P}^1$ homotopy theory, where algebraic K-theory might be actually homotopy invariant (it isn't $\mathbf{A}^1$ invariant). It's a vague comment but maybe someone else here can flesh it out. This seems to me to indicate that there's at least some way in which the motivic category isn't optimal. $\endgroup$ Commented Nov 20, 2018 at 21:38
  • 2
    $\begingroup$ I don't understand exactly the complaints, but the point is that one wants motives to have the properties shared by all the main known realisations (for instance, perverse sheaves). So a contractible line, a (co)homological nature (coming from spectra after the stabilisation), a bigrading (due to the Tate twists which are always present in the known (co)homologies) are all desirable features. The restriction to Nisnevich descent comes from its good behaviour in K-theory (motivic complexes were first conceived through K-theory by Beilinson and Lichtenbaum)... $\endgroup$
    – user40276
    Commented Nov 21, 2018 at 7:05
  • 3
    $\begingroup$ @Patriot If I remember correctly, I heard about this from Federico Binda here at Regensburg. When I looked it up, he has a paper called 'Motivic Homotopy Theory without A1 invariance'. I could ask him in person next week, but maybe take a look at that paper? $\endgroup$ Commented Nov 22, 2018 at 23:46
  • 2
    $\begingroup$ (I'm looking through the paper now, and Federico's $\square$, which plays the role of the interval is built out of $\mathbf{P}^1$). Hope this helps! $\endgroup$ Commented Nov 23, 2018 at 0:07
  • 3
    $\begingroup$ Here's a video of a talk about it m.youtube.com/watch?v=vb59NwOho9A $\endgroup$ Commented Nov 23, 2018 at 4:13

2 Answers 2


(Don't be afraid about the word "$\infty$-category" here: they're just a convenient framework to do homotopy theory in).

I'm going to try with a very naive answer, although I'm not sure I understand your question exactly.

The (un)stable motivic ($\infty$-)category has a universal property. To be precise the following statements are true

Theorem: Every functor $E:\mathrm{Sm}_S\to C$ to a(n $\infty$-)category $C$ that

  • is $\mathbb{A}^1$-invariant (i.e. for which $E(X\times \mathbb{A}^1)\to E(X)$ is an equivalence)
  • satisfies "Mayer-Vietoris for the Nisnevich topology" (i.e. sends elementary Nisnevich squares to pushout squares)

factors uniquely through the unstable motivic ($\infty$-)category.

(see Dugger Universal Homotopy Theories, section 8)

Theorem: Every symmetric monoidal functor $E:\mathrm{Sm}_S\to C$ to a pointed presentable symmetric monoidal ($\infty$-)category that

  • is $\mathbb{A}^1$-invariant
  • satisfies "Mayer-Vietoris for the Nisnevich topology"
  • sends the "Tate motive" (i.e. the summand of $E(\mathbb{P}^1)$ obtained by splitting off the summand corresponding to $E(\mathrm{Spec}S)\to E(\mathbb{P}^1)$) to an invertible object

factors uniquely through the stable motivic ($\infty$-)category.

(see Robalo K-Theory and the bridge to noncommutative motives, corollary 2.39)

These two theorems are saying that any two functors that "behave like a homology theory on smooth $S$-schemes" will factor uniquely through the (un)stable motivic ($\infty$-)category. Examples are $l$-adic étale cohomology, algebraic K-theory (if $S$ is regular Noetherian), motivic cohomology (as given by Bloch's higher Chow groups)... Conversely, the canonical functor from $\mathrm{Sm}_S$ to the (un)stable motivic ($\infty$-)category has these properties. So the (un)stable motivic homotopy theory is in this precise sense the home of the universal homology theory. In particular all the properties we can prove for $\mathcal{H}(S)$ or $SH(S)$ reflect on every homology theory satisfying the above properties (purity being the obvious example).

Let me say a couple of words about the two aspects that "worry you"

  • $\mathbb{A}^1$-invariance needs to be imposed. That's not surprising: we do need to do that also for topological spaces, when we quotient the maps by homotopy equivalence (or, more precisely, we need to replace the set of maps by a space of maps, where paths are given by homotopies: this more complicated procedure is also responsible for the usage of simplicial presheaves rather than just ordinary presheaves)

  • Having more kinds of spheres is actually quite common in homotopy theory. A good test case for this is $C_2$-equivariant homotopy theory. See for example this answer of mine for a more detailed exploration of the analogy.

Surprisingly, possibly the most problematic of the three defining properties of $SH(S)$ is the $\mathbb{A}^1$-invariance. In fact there are several "homology theories" we'd like to study that do not satisfy it (e.g. crystalline cohomology). I know some people are trying to find a replacement for $SH(S)$ where these theories might live. As far as I know there are some definitions of such replacements but I don't think they have been shown to have properties comparable to the very interesting structure you can find on $SH(S)$, so I don't know whether this will bear fruit or not in the future.

  • 6
    $\begingroup$ Just a remark concerning your last point. Crystalline cohomology was never supposed to work for non proper stuff. Instead, you have to use Monsky-Washnitzer cohomology (for affine schemes) or, more generally, rigid cohomology. In this case, the affine line is contractible. If you're working in a rigid setting, you will see a $\mathbb{B}^1$ there instead, though. $\endgroup$
    – user40276
    Commented Nov 21, 2018 at 15:18
  • 1
    $\begingroup$ Dear Denis, thanks for your detailed explanation. The universal property is pretty convincing, and I'm surprised by the occurrence of more kinds of spheres in 'ordinary' homotopy theory --- I should've known about that! The failure of certain invariants to be $\mathbb{A}^1$-invariant (which Harry also mentioned in the comments) made me rethink one more detail, which ironically I took for granted in the main question: Are there technical motivations for letting $\mathbb{A}^1$ play the role of the interval, other than the obvious but not truly convincing 'the mental image looks like line'? $\endgroup$
    – Patriot
    Commented Nov 22, 2018 at 20:20
  • 1
    $\begingroup$ @Patriot It is a choice we make, but not a completely arbitrary one. A lot of theories are $\mathbb{A}^1$-invariant (at least in nice situations, like over a field) and collapsing $\mathbb{A}^1$ allows us to run some proofs almost as in classical topology (e.g. purity can replace the tubular neighborhood theorem, we can talk about Thom spectra and we can prove the contractibility of certain parameter spaces using straight-line homotopies...). So it is a very common property and it allows us to do cool things we want to do, it seems at least worth investigating ;). $\endgroup$ Commented Nov 22, 2018 at 20:32

I just want to point out, with regards to your second question, that the fact that the $\mathbb P^1$ is not equivalent to a simplicial complex homotopic to the sphere built out of affine spaces (or whichever model for an un-Tate-twisted sphere) is exactly what you would expect from Grothendieck et. al.'s theory of motives.

In fact having a homology or cohomology theory without a notion of Tate twist would be very strong evidence that we are on the wrong track!

More carefully one might point out that we want a map to etale cohomology and a notion of Chern class, which requires the Tate twisting because Tate twists show up in the Chern class map in etale cohomology.

  • 1
    $\begingroup$ Indeed, the reason why we invert $\mathbb{G}_m$ and not just $S^1$ is precisely to capture this kind of phenomena. That it results in a very rich theory is just icing on the cake $\endgroup$ Commented Nov 21, 2018 at 7:06
  • 1
    $\begingroup$ Dear Will, thank you for your answer. user40276 also pointed out that the bigrading is to be expected due to Tate twists. I based the motivation for writing the question mostly on my (admittedly limited) experience in homotopy theory in the classical algebro-topological setting, where 'Tate twist' is a foreign buzzword. This suggests it's time for me to dive into some more literature... $\endgroup$
    – Patriot
    Commented Nov 22, 2018 at 20:28
  • 1
    $\begingroup$ @Patriot if you wanted to develop a theory that was the same in all respects as homotopy theory of spaces, your theory would just be the homotopy theory of spaces. $\endgroup$
    – Will Sawin
    Commented Nov 22, 2018 at 23:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.