The tag has no usage guidance.

learn more… | top users | synonyms

17
votes
1answer
2k 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 ...
15
votes
4answers
1k 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 ...
15
votes
4answers
991 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 ...
15
votes
1answer
1k 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 ...
11
votes
2answers
440 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 $...
11
votes
1answer
237 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 ...
9
votes
2answers
206 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{...
8
votes
2answers
400 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 $\...
8
votes
1answer
185 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 ...
8
votes
1answer
407 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 ...
7
votes
1answer
598 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....
7
votes
2answers
313 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 ...
7
votes
1answer
392 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 (...
7
votes
0answers
154 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 $\...
6
votes
2answers
272 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 ...
6
votes
1answer
157 views

Doubt regarding the definition of slice filtration

Voevodsky defined the slice filtration on the motivic stable homotopy category $SH(S)$ over a Noetherian scheme $S$. In the article Open Problems in the Motivic Stable Homotopy Theory, I, Section 2, ...
6
votes
1answer
125 views

Algebraic cobordism (of a point) outside the geometric diagonal

This question is about the state of current knowledge regarding Voevodsky's algebraic cobordism of a point $\mathrm{MGL}^{*,*}(\mathrm{Spec}\,k)$. That the geometric diagonal $\mathrm{MGL}^{2*,*}(\...
6
votes
0answers
158 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 ...
6
votes
0answers
193 views

Nice references for injective model structures and Quillen functors between motivic homotopy categories

It seems that for the injective model structures for the categories simplicial presheaves and simplicial Nisnevich sheaves (on the category of smooth varieties over a perfect field $k$) there exist ...
5
votes
1answer
234 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 ...
5
votes
1answer
756 views

Can motivic E_∞-ring spectra be strictified to commutative motivic symmetric ring spectra?

Theorem 4.5.4.7 (4.4.4.7 in the old version) in Lurie's Higher Algebra (or Theorem 4.3.22 in DAG III) states (roughly speaking) that under certain conditions the ∞-category of commutative ∞-monoids in ...
5
votes
0answers
89 views

Fulton's pullback vs. Pullback via Gersten complexes vs. Pullback coming from motivic homotopy SH(k)

Let $f: X \rightarrow Y$ be a morphism of smooth projective $k$-schemes (let's assume $f$ flat or even smooth). There is pullback in Fulton's style $f^*_{Ful}: CH^p(Y) \rightarrow CH^p(X)$ given by $[...
5
votes
0answers
138 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 ...
5
votes
0answers
287 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$ ...
4
votes
1answer
248 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, ...
4
votes
1answer
402 views

Blow-ups in Motivic Homotopy Theory

Let $X$ be a smooth scheme over a field $k$, and let $Z\subset X$ be a closed sub-scheme of codimension $2$. Let $Bl_Z(X)$ denote the blow-up of $X$ at $Z$, and let $\pi\colon Bl_Z(X)\to X$ denote the ...
4
votes
1answer
326 views

$T$-stable vs. $S^1$-stable motivic homotopy category: which sorts of transfers are available?

I would like to have some sort of transfers in motivic stable homotopy categories in order to adapt Voevodsky's split standard triple argument to cohomology theories that can be factorized through ...
4
votes
0answers
153 views

Motivic Interpretation of Rationally Trivial Cycles

The Chow groups are defined by taking groups of cycles modulo rationally trivial cycles. One then has a cycle class map to etale cohomology (over the base field), and for a number field, one expects ...
3
votes
1answer
171 views

Triangulated structure on $\mathbf{SH}(S)$: $\mathbb{P}^1$-suspension versus classical suspension

I am studying the construction of the motivic stable homotopy category of schemes $\mathbf{SH}(S)$ following Riou's paper Categorie homotopiquement stable d'un site suspendu avec intervalle (click to ...
3
votes
0answers
119 views

How can one “extend scalars” for (motivic) ring spectra and for modules over it?

Let $S$ be a (motivic symmetric) ring spectrum (more generally, one can possibly consider a ring object in a symmetric stable model category); let $R$ be a flat associative commutative unital algebra ...
3
votes
0answers
463 views

Two questions on motivic homotopy theory

I am a beginner in motivic homotopy theory and motivic cohomology and have just begun reading books by Dundas et al. and Mazza-Voevodsky-Weibel. I have two basic questions: Why is the question of $\...
2
votes
1answer
250 views

About embedding pure motives into the triangulated category of mixed motives and some further questions about motivic cohomology

I have tried reading some texts about motives, mainly motivic cohomology (Bloch's " Lectures on Algebraic Cycles", Voevodsky's "Motivic Cohomology" etc). However some things confused me. I don't know ...
1
vote
1answer
337 views

A $2$-torsion version of the motivic stable homotopy category?

For a field $k$ there exists the motivic stable homotopy $SH(k)$; it is compactly generated. My question: does there exist a 'reasonable' functor $p$ from $SH(k)$ to a certain triangulated category $...
1
vote
0answers
133 views

Isomorphism in a derived category of chain complexes with rational coefficients

Let $C$ be the category of quasi-projective schemes over a base field $k$ (maybe I will need some assumptions on $k$). Let $Ab(C_{\tau})$ be the category of Abelian sheaves on a site $C_{\tau}$, where ...