Welcome to MathOverflow

Question

1

3

I have read that motives were designed to be the common part of the many homology theories, a way of unifying them. But as I understand it: homotopy is closely related to homology, there is only 1 homotopy theory, and homotopy groups contain more information than homology groups. Is there a relationship between motives and homotopies?

flag	asked Feb 14 2011 at 7:22 teil 2,333●7●38

1

An MFO report: mfo.de/programme/schedule/2010/20/OWR_2010_23.pdf – Thomas Riepe Feb 14 2011 at 8:55

I certainly couldn't claim to fully understand this paper, but I can tell you that a "spectrum" is the homotopy-theoretic generalization of a topological space and that this paper talks about motivic spectra whole lot: arxiv.org/abs/0712.2817 – Aaron Mazel-Gee Feb 14 2011 at 9:34

3

You say there's only one homotopy theory... but there are tons!! – Fernando Muro Feb 14 2011 at 9:58

2

You said you've read that "motives were designed to be the common part of the many homology theories", but I think that's not quite correct: motives are designed to contain the (co)homological information of algebraic objects (schemes, varieties). I guess there are a lot of "ill-behaved" topological spaces which don't have the homotopy type of a CW-complex and don't have anything to do with algebraic geometry, where motivic ideas don't apply. On the other hand, if anyone knows of a theory of motives for arbitrary topological spaces, I'd be interested :-) – Konrad Voelkel Feb 14 2011 at 10:16

2

@Aaron - I disagree that a spectrum is "the" homotopy theoretic generalisation of a topological space. It is only a stable homotopy theoretic generalisation of a topological space. Or rather, that a topological space gives rise to a rather special example of a spectrum. – David Roberts Feb 17 2011 at 22:40

show 3 more comments

Beren Sanders · Answer 1 · 2011-02-17 20:40:57Z UTC

In algebraic topology, there is a close relationship between stable homotopy theory and the study of (generalized) cohomology theories. Basically, all the cohomology theories become representable on the stable category of spectra and so, from the point of view of stable homotopy theory, the study of cohomology theories can be viewed as the study of their representing spectra.

More recently it has been discovered (through the work of Voevodsky and others) that there is an analogous situation in algebraic geometry. Keywords to look up: motivic homotopy theory, $\mathbb{A}^1$-homotopy theory. Basically, we can construct a homotopy theory for algebraic varieties and a suitable homotopy category which plays a role analogous to the stable category of spectra in topology. One thing this gives us is that it enables us to define new cohomology theories for algebraic varieties by describing their representing spectra ("motivic spectra"). For example, motivic cohomology, algebraic K-theory, and algebraic cobordism can be constructed in this way. This whole circle of ideas is closely related to recent work on motives and motivic cohomology. For example, Voevodsky's construction of a "derived category of mixed motives" is closely related to this work.

The following is a very easy-going introduction to the idea of motivic homotopy theory and is understandable even by an undergraduate:

Motivic Homotopy Theory: Lectures at a Summer School in Nordfjordeid, Norway, August 2002 by Bjørn Dundas, Marc Levine, Paul Østvær, Oliver Röndigs and Vladimir Voevodsky

It is also worth reading Voevodsky's 1998 ICM address:

Vladimir Voevodsky - A^1-homotopy theory (Proceedings of the 1998 ICM)

There is a lot more that could be said about this very interesting area of mathematics.

Is there a connection between the theory of motives and homotopy theory?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.