Questions tagged [motivic-homotopy]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
46 votes
2 answers
7k views

Why is Voevodsky's motivic homotopy theory 'the right' approach?

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 ...
Patriot's user avatar
  • 1,038
30 votes
2 answers
2k views

Why is the motivic category defined over the site of smooth schemes only?

Fix a base scheme $S$. Stable and unstable motivic categories over $S$ are defined as certain categories of higher stacks on the Nisnevich site $Sm_S$ of smooth schemes over $S$. Why smooth? As a ...
Tim Campion's user avatar
  • 60.5k
30 votes
1 answer
4k views

Reasons for the use of Nisnevich topology in motivic homotopy theory

The objects of interest in motivic homotopy theory are "spaces"-which are simplicial sheaves of sets on the big Nisnevich site $Sm/k$ of smooth schemes of finite type over a field $k$. I understand ...
Carl's user avatar
  • 785
28 votes
2 answers
1k views

Is there a geometric realization of $\mathbf{C}((t))$-varieties?

Let $MV_F$ be the $\mathbf{A}^1$-homotopy category over the field $F$. Let $H$ be the homotopy category of spaces, and let $H_{/S^1}$ be the homotopy category of spaces over the circle. When $F = \...
David Treumann's user avatar
26 votes
1 answer
4k views

Voevodsky's counterexample to the existence of a motivic t-structure

I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the literature quite hard to follow -"from experts, for experts". Voevodsky in "...
plm's user avatar
  • 972
25 votes
1 answer
1k views

What's motivic about $\mathbb{A}^1$-homotopy theory? What's motivic about correspondences?

I come today to mathoverflow to showcase some genuine confusion about the motivic world. I want to ask some questions before actually starting to study the subject, to build some sense of direction. I ...
display llvll's user avatar
23 votes
1 answer
3k views

What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense: Conjecture ...
user49544's user avatar
  • 231
21 votes
1 answer
2k views

Is algebraic $K$-theory a motivic spectrum?

I've received conflicting messages on this point -- on the one hand, I've been told that "forming a natural home for algebraic $K$-theory" was one motivation for the development of motivic homotopy ...
Tim Campion's user avatar
  • 60.5k
20 votes
3 answers
2k views

Voevodsky's Triangulated Categories of Motives and their Relationships

As we know, Voevodsky constructed several candidates for the triangulated category of motives using different constructions and topologies (h, qfh, etale, and Nisnevich). I would like to know what ...
user98070's user avatar
  • 203
16 votes
4 answers
2k views

Applications of homotopy purity theorem of Morel-Voevodsky

One of the most important theorems in motivic homotopy theory is the homotopy purity theorem of Morel-Voevodsky which says that the motivic Thom space of the normal bundle $\mathcal N_{Z/X}$ of a ...
Carl's user avatar
  • 785
16 votes
1 answer
801 views

Representability of Weil Cohomology Theories in Stable Motivic Homotopy Theory

My understanding is that one purpose of stable motivic homotopy theory is to emulate classical stable homotopy theory. In particular, we would like Weil cohomology theories to be representable by ...
user94118's user avatar
  • 161
15 votes
4 answers
2k views

Relation between motivic homotopy category and the derived category of motives

What's the relation between the pointed motivic homotopy category $\mathcal{H}_*(k)$ and the derived category of motives $\mathbf{DM}^-_{eff}(k)$ besides the representability of motivic cohomology in ...
user avatar
15 votes
1 answer
512 views

What are the advantages of various "models" for the motivic stable homotopy category

People use several distinct models for the motivic stable homotopy category (so, there are some choices for the underlying category and a collection of available model structures). I would like to ask ...
Mikhail Bondarko's user avatar
13 votes
2 answers
2k views

What is the best reference for motives?

I want to learn about homotopy theory on number fields, and I heard that the theory of motives made it possible, so I want to know what is a good textbook for motive theory. To be honest, I don’t ...
Gear's user avatar
  • 153
12 votes
1 answer
2k views

Who proved the motivic 6-functor formalism?

In the recent beautiful talk "Motives and ring stacks" Peter Scholze states the theorem saying that there exists an initial 6-functor formalism on $\mathit{Sch}_\mathbb{Z}$ such that when $...
Ola Sande's user avatar
  • 617
12 votes
2 answers
713 views

Simple question: different definitions of Bousfield localization

I am not an expert on model categories and I am getting lost with two different definitions I have found on Bousfield localizations. I don't see the link between them. First definition: Let $\mathbf{...
Tintin's user avatar
  • 2,721
12 votes
0 answers
548 views

What's wrong with the obvious argument that the unstable motivic category is an $\infty$-topos?

Fix a base scheme $S$, and let $Sm_S$ be the (ordinary) category of smooth schemes over $S$. Denote by $Psh(Sm_S)$ the $\infty$-category of $\infty$-presheaves on $Sm_S$. Let $Sh_{Nis}(Sm_S)\...
Tim Campion's user avatar
  • 60.5k
12 votes
0 answers
713 views

What is missing in the current constructions of pure and mixed motives?

Yo! Maybe this question is too broad, so maybe it should be community wiki? In summary, I want to known all the known comparisons between all the constructions of pure and mixed motives and what make ...
user40276's user avatar
  • 2,199
11 votes
3 answers
2k views

Reference for Nori motives

I would like to study Nori motives and I am a complete outsider of the subject. I do, however, have background on Chow motives, Voevodsky motives $\mathrm{DM}$ and his stable homotopy category $\...
Tintin's user avatar
  • 2,721
11 votes
1 answer
561 views

Which motivic spectra are dualizable?

Let $S$ be a scheme, and $SH(S)$ the stable motivic category over $S$. Which objects of $SH(S)$ are dualizable with respect to the smash product? All I can find on this question is an old abstract of ...
Tim Campion's user avatar
  • 60.5k
11 votes
2 answers
659 views

Reference for Manin's idea on algebraic geometry over the symmetric monoidal model category of Motives

Reference for Y. Manin's idea of "algebraic geometry over the symmetric monoidal model category of motives." Has been sugested to me that this was made in a Manin's letter. There is an escaned copy? ...
tttbase's user avatar
  • 1,700
11 votes
2 answers
1k views

The vanishing of $MGL^{2n+i,n}(X)$; do spectra of smooth projective varieties generate $SH_{l}$?

I have two questions related to the stable motivic homotopy categories of Morel-Voevodsky. The first is probably simple; I wonder what is known on the second one. For the algebraic cobordism theory $...
Mikhail Bondarko's user avatar
11 votes
0 answers
614 views

Does Merkurjev's argument help Voevodsky's program?

In the talk Unimath - its present and its future, July 10, 2017. Video and slides of a talk, Isaac Newton Institute for Mathematical Sciences, Cambridge. (abstract) Voevodsky mentioned that he was ...
David Roberts's user avatar
  • 33.4k
10 votes
2 answers
508 views

A question about the vanishing of motivic cohomology in negative Tate twist

Let $DM_{\text{gm}}$ be the category of Voevodsky´s geometric motives. Let $p,q\in \mathbb{Z}$ be integers with $p<0$. Is it true that $$\text{Hom}_{DM_{\text{gm}}}(M_{\text{gm}}(X),\mathbb{Z}(p)[...
user438991's user avatar
10 votes
1 answer
506 views

When is the Thom spectrum of a virtual vector bundle effective?

Remark: My question is valid in the classic setting of the stable homotopy category of spectra of CW-complexes. An answer on that setting will also be valid. Denote as $SH(X)$ Voevodsky's stable ...
Tintin's user avatar
  • 2,721
9 votes
1 answer
1k views

Category of motivic spectra

When the survey Axiomatic Stable Homotopy, Neil Strickland, 2004 was written the category of motivic spectra was not investigated from the point of view of axiomatic stable homotopy, as considered e.g....
Andrei Halanay's user avatar
9 votes
1 answer
455 views

Realization Functor From $SH$ to Derived Category of $Gal$-Modules

Let $k$ be a field. I would like a reference for realization functors from Morel-Voevodksy's stable category $SH(k)$ to the derived categories of $Gal(\bar{k}/k)$-modules. Has something like this been ...
Elden Elmanto's user avatar
9 votes
1 answer
604 views

What is the etale sheafification of the (unramified) Milnor-Witt $K$-theory

I would like a reference/argument for the truth/falsity of the following statement: The etale sheafification of the unramified Milnor-Witt K-theory (Nisnevich) sheaves are the (etale sheafification ...
Elden Elmanto's user avatar
9 votes
1 answer
277 views

Is the $\mathbb A^1$ homotopy type of a punctured curve independent of the choice of puncture?

Let $C$ be a smooth connected algebraic curve over $\mathbb C$. Assume that $C$ admits no automorphisms. Let $p_1, p_2 \in C$ be two distinct points. Question: Are the $\mathbb A^1$ homotopy ...
user1092847's user avatar
  • 1,327
9 votes
1 answer
635 views

Motivic cohomology is universal with respect to what (co)homology theories?

I have been told several times, at least implicitly, that motivic cohomology should be universal with respect to Bloch-Ogus cohomology theories. Is it proved somewhere or is it just some folk theorem? ...
user40276's user avatar
  • 2,199
9 votes
1 answer
585 views

Is the injective model structure on symmetric spectra Bousfield localizable?

I am interested in injective model structures on both symmetric spectra as exposed in Hovey/Shipley/Smith and motivic symmetric spectra as in Jardine's article. Both authors take a model structure on ...
Peter Arndt's user avatar
9 votes
0 answers
555 views

The relation between the motivic Galois group and the motivic Steenrod algebra

There is a point of view on the Steenrod algebra that goes something like the following: the functor $-\otimes H\mathbb{F}_p\colon Mod_{\mathbb{S}}\to Mod_{H\mathbb{F}_p}$ corresponds to pulling back ...
Jonathan Beardsley's user avatar
9 votes
0 answers
187 views

Motivic homotopy theory and Noether problem

Let $G$ be a finite group, and let $V$ be a faithful representation of $G$. The Noether problem asks whether $V/G$ is rational (stably rational, retract rational) or not. To construct ...
Arcilan's user avatar
  • 161
8 votes
1 answer
562 views

What are Motivic homotopy types?

There are suggestions that says that Grothendieck developed (in some sense) a theory of Motivic homotopy types or at least named it. I would like to know the reference in which Grothendieck did it, ...
tttbase's user avatar
  • 1,700
8 votes
1 answer
484 views

Inverting objects in a symmetric monoidal category

In Voevodsky’s ICM address: https://www.uio.no/studier/emner/matnat/math/MAT9580/v18/documents/voevodsky-a1-homotopy-theory-icm-1998.pdf In theorem 4.3 it is claimed that given a symmetric monoidal ...
user374433's user avatar
8 votes
1 answer
371 views

Are there non trivial maps from $H\mathbb{Z}$ to $MGL$?

Let $k$ be a field of characteristic $0$. Let us denote by $\mathbf{1}_{k}$ the sphere spectrum. Let $MGL$ be the algebraic cobordism spectrum. We have the following diagram $$H\mathbb{Z}\...
Tsk's user avatar
  • 578
8 votes
0 answers
335 views

$C_2$-equivariant Betti realization of MGL

Let $MGL$ denote the motivic spectrum representing algebraic cobordism. Over $\mathop{Spec}(\mathbb{C})$ there is a Betti realization functor $\mathop{SH}(\mathbb{R}) \to \mathop{SH}$, which takes $...
Drew Heard's user avatar
  • 3,655
8 votes
0 answers
185 views

Unaugmentable cosimplicial simplicial sheaves and realization functor

I'm studying the construction of the $\mathrm{Sing}$ functor in Morel-Voevodsky ``$\mathbb{A}^1$-homotopy theory of schemes'' and I was trying to understand the properties of its left adjoint, the ...
Stefano Nicotra's user avatar
7 votes
2 answers
411 views

Model category structure on spectra

I have a concrete question for the algebraic category of spectra, but if there is an answer for its topological analogue I would be interested in it. Let $S$ be a finite dimensional Noetherian scheme ...
Tintin's user avatar
  • 2,721
7 votes
1 answer
782 views

Etale and Algebraic K-theory with rational coefficients

We know that the Quillen-Lichtenbaum conjecture, now proved by Rost, Voevodsky, and Weibel, says that for smooth finite type $k$-schemes $X$, etale and algebraic $K$-theory with finite coefficient $\...
user97282's user avatar
7 votes
1 answer
532 views

Is $MGL$ an $H\mathbb{Z}$-algebra?

Let $\mathrm{MGL}$ be the $\mathbb{P}^1$-ring spectrum over a field $k$ representing algebraic cobordism. Suppose, for simplicity, that $k$ is of characteristic 0. Let $H\mathbb{Z}$ be the motivic ...
Anandam Banerjee's user avatar
7 votes
2 answers
394 views

Properness of the category of modules over a spectrum (that represents algebraic cobordism or motivic cohomology)

The abstract form of the question: let $C$ be a closed proper stable model category, $R$ is a ring object in it. Which conditions ensure that the category $R-mod$ is also proper? Since weak ...
Mikhail Bondarko's user avatar
7 votes
1 answer
493 views

Ring structure for the motivic spectrum/complex that represents singular cohomology?

As the discussion here Is singular cohomology representable by a (Voevodsky's) motivic complex? shows, the singular cohomology of (smooth) complex varieties is represented by a motivic complex (...
Mikhail Bondarko's user avatar
7 votes
0 answers
222 views

Motivic cohomology of $n$-sphere

All motivic cohomology groups are taken with $\mu_2$ coefficient and $k$ has characteristic different from $2$. Consider the affine variety $X$ with coordinate ring $k[x_1,\ldots,x_n]/(x_1^2+\ldots + ...
user2902293's user avatar
7 votes
0 answers
444 views

$\Bbb A^1$-Localisation of Schemes, and $\Bbb A^1$-Rigid Schemes

Question 1: Are there some publications or preprints that provide $\Bbb A^1$-fibrant replacements of certain classes of (smooth) schemes? Of course, smooth schemes that are $\Bbb A^1$-fibrant are $\...
user24453's user avatar
  • 333
7 votes
0 answers
353 views

Understanding homotopy t-structure

The following question came up while reading Hoyois' From algebraic cobordism to motivic cohomology. Let $S$ be a Noetherian scheme of finite Krull dimension and let $SH(S)$ denote the homotopy ...
Anandam Banerjee's user avatar
7 votes
0 answers
537 views

Motivic homotopy spectral sequence

I would like to have a question about the re-index convention. Let us consider a spectrum $E$ (I am mainly interested in motivic setting, however let's consider the simplicial case firstly, i.e. $E$ ...
Thi's user avatar
  • 226
6 votes
1 answer
390 views

Could a motivic spectrum have a "zeta function"?

I'm currently learning about zeta functions, so I apologize in advance if this is riddled with nonsense. Suppose you have a sequence $E=(E_0,E_1,...)$ of motivic spaces along with structure maps $s_i:\...
Stephen McKean's user avatar
6 votes
2 answers
942 views

Smash product of spheres in $\mathbf{SH}$ and product in cohomology

I have two very concrete and simple question. Just in case I write downwards what led me into this. My questions: Let $\mathbf{SH}(X)$ be the stable homotopy category of Voevodsky. Denote $S^n$ the ...
Tintin's user avatar
  • 2,721
6 votes
1 answer
333 views

Nisnevich topology inspired by Adeles

I'm quite a newbe in the field of motives & A1 homotopy theory, so please forgive me if the question is too elementary: In the intro from wikipedia on Nisnevish topology is remarked that it's ...
user267839's user avatar
  • 5,938