All Questions
Tagged with ag.algebraic-geometry motives
359 questions
2
votes
0
answers
141
views
Are Generalized Involution Varieties hyperlane sections of Generalized Severi Brauer Varieties?
Let $A$ be a central, simple algebra of degree $2n$ with orthogonal involution $\sigma$.
Let SB$(A)$ the Severi-Brauer variety, which is the variety of left ideals of reduced dimension one in $A$.
...
- 1,479
7
votes
2
answers
775
views
actions of the absolute Galois group and the motivic Galois group on étale cohomology
Let $K$ be a field of characteristic $0$; let $\ell$ be any prime; and let $\mathrm{Mot}(K, \mathbb{Q}_{\ell})$ be a Tannakian category of motives over $K$ with coefficients in $\mathbb{Q}_{\ell}$. So,...
- 1,298
4
votes
0
answers
537
views
Why do motivic stacks make sense?
In the paper "Motivic model categories and motivic derived algebraic geometry", Yuki Kato, whose email-address I sadly couldn't find out, describes a procedure to "motivy" the objects of any $(\infty,...
6
votes
1
answer
1k
views
Intuition for polarized Hodge structures
A Hodge structure can be defined as a real, algebraic representation of the Deligne torus ${Res}^\mathbb{C}_{\mathbb{R}}\mathbb{G}_m$. Coming from Kahler manifolds the intuition for this is clear. The ...
- 7,789
10
votes
1
answer
1k
views
Motives associated to a Number Field
Suppose $k$ is a number field, i.e. an extension of $\mathbb{Q}$ of finite degree, so we have a natural inclusion $\mathbb{Q} \rightarrow k$, which induces a morphism,
\begin{equation}
\text{Spec}\,k \...
- 2,971
10
votes
1
answer
477
views
Equivalence of rational Voevodsky motives: partial Converse to Conjecture of Orlov
There is a conjecture of Orlov stating that if $X$ and $Y$ are smooth projective complex varieties that are derived equivalent (equivalent bounded derived categories of coherent sheaves), then their ...
- 143
4
votes
0
answers
244
views
Effectivity and Lower Shriek for Voevodsky Motives
I am in a situation where I need a result of the following form. Suppose $X$ is a smooth $k$-variety, $U$ is a dense open subvariety with complement $Z$ a smooth divisor. Let $\pi^X:X\rightarrow\text{...
- 143
12
votes
1
answer
529
views
Quadrics in the Grothendieck ring
Let $\mathcal{Q}$ be an irreducible quadric in $\mathbb{P}^n(k)$, with $n \geq 2$ and $k$ a finite field. Let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. It is well known (it appears) that ...
- 4,547
24
votes
3
answers
4k
views
How are motives related to anabelian geometry and Galois-Teichmuller theory?
In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
- 3,309
12
votes
1
answer
608
views
Reference - motives of curves
There is a really interesting comment in this question that I was unable to find a reference...
Under the "Tate conjectures, then every motive belongs to the tensor category generated by motives of ...
- 121
21
votes
1
answer
2k
views
Spectral sequences in $K$-theory
There is an algebraic analogue of the Atiyah-Hirzebruch spectral sequence from singular cohomology to topological $K$-theory of a topological space.
For a field $k$, let $X$ be smooth variety $X$ ...
user87684
6
votes
0
answers
400
views
Hodge Realisation of Mixed Tate Motives
For a field $k$ which satisfies Beilinson-Soule vanishing conjecture, the from Levine's paper,
https://www.uni-due.de/~bm0032/publ/TateMotives.pdf
There exists an abelian category of mixed Tate ...
- 2,971
6
votes
1
answer
314
views
Virtual Motives Infinitely Divisible by Lefschetz Motive
Let $K_0(Var_k)$ be the grothendieck group of the category of $k$-varieties, and call its elements virtual motives. $\mathbb{L}:=[\mathbb{A}^1_k]$ is called the Lefschetz motive. I think that if a ...
- 203
3
votes
2
answers
525
views
Clarification on Hanamura's work on $t$ structure of triangulated category of mixed motives
In Hanamura's paper Mixed Motives and Algebraic Cycles III
http://intlpress.com/site/pub/files/_fulltext/journals/mrl/1999/0006/0001/MRL-1999-0006-0001-a005.pdf
He proved that if assume Grothendieck'...
- 2,971
4
votes
1
answer
182
views
Explicit description of Verdier quotient of effective motives
Let $DM^{eff}_{gm}(k)$ be the triangulated category of effective geometric motives over some field $k$ (in the sense of Voevodsky), and let $DM^{eff}_{gm}(k)(1)$ be its full triangulated subcategory ...
- 41
3
votes
0
answers
330
views
Nearby Cycle Functor and the Limit of a Variation of Hodge Structures
I am reading Ayoub's paper, The Motivic Nearby Cycles and the Conservation Conjecture,
http://user.math.uzh.ch/ayoub/PDF-Files/Leiden.pdf
In section 2.3, he talks a little about the limit of a ...
- 2,971
7
votes
1
answer
718
views
Generalised Hodge Conjecture
Further to my question,
A Naive Question on Mixed Motives and Mixed Hodge Structures
that has received very good replies and suggestions, and I really appreciate it. I am going to ask a question on ...
- 2,971
8
votes
1
answer
846
views
A Naive Question on Mixed Motives and Mixed Hodge Structures
As a physicist, I have some naive questions about mixed motives and its mixed Hodge structure (MHS) realization. Any references, comments, answers will be appreciated!
The category of mixed motives ...
- 2,971
11
votes
3
answers
1k
views
Why linearization leads to arithmetization?
Sorry for this question, but I think it is really important the intuition here.
Motives can be seen as the 'best' way of linearizing the study of schemes, des-composing them into "cohomological atoms"...
- 1,720
6
votes
1
answer
389
views
Virtual mixed Tate motives
Let $\mathbf{Sch}_k$ be the category of $k$-schemes of finite type, and let $K_0(\mathbf{Sch}_k)$ be the Grothendieck ring of $k$-schemes. Let $\mathbb{Z}[\mathbb{L}]$ the subring generated by the ...
- 4,547
3
votes
0
answers
154
views
Connecting Quillen functors between motivic homotopy categories (of different "types"): references?
For a perfect base field $k$ there exists the following collection of "motivic homotopy" categories related to it:
(a) the homotopy category of simplicial presheaves (from smooth $k$-varieties); here ...
- 16.9k
5
votes
0
answers
530
views
What is the algebro-geometric or measure-theoretic "content" of Dhillon and Mináč's motivic Artin symbols over an arbitrary ground field?
1. Short version. In this text, Dhillon and Mináč define motivic Artin symbols. Having fixed a ground field $k$ and a smooth projective curve $Y$ over $k$ equipped with the action of a finite group $G$...
- 944
4
votes
0
answers
477
views
Why is the Hodge conjecture equivalent to the assertion that $ \mathcal{R}_{ \mathrm{Hodge} } $ is fully faithfull?
On pages 17 and 18 of the following document: https://www.math.tifr.res.in/~sujatha/ihes.pdf, we find the following paragraph:
Let $ \mathbb{Q} \mathrm{HS}$ be the category of pure Hodge structures ...
- 325
7
votes
1
answer
787
views
Special cases of the Kimura-O’Sullivan conjecture, i.e., examples of finite dimensional motives?
In this 2005 paper, Kimura introduces a notion of finite dimensionality for Chow motives, defined in terms of vanishing of high symmetric and wedge powers. Toward the end of his paper, he conjectures ...
- 944
2
votes
1
answer
367
views
Dualizability and motivic cohomology
Suppose $k$ is an algebraically closed field of characteristic $p$. Let $A=\mathbb{Z}/\ell\mathbb{Z}$, $\ell$ a prime coprime to $p$. Denote by $MA$ the motivic Eilenberg-Maclane spectrum over $k$. Is ...
- 21
8
votes
2
answers
793
views
Some questions about the map $K_0(\text{Var})\to K_0(\text{Mot})$
Let $k$ be a field. The naive Grothendieck ring of varieties $K_0(\text{Var})$ is generated by isomorphism classes of varieties over $k$ with the scissors relation $[X]=[X-Y]+[Y]$ for $Y$ a closed ...
- 693
18
votes
3
answers
1k
views
Is the Hodge Conjecture an $\mathbb{A}^1$-homotopy invariant?
Let $X$ and $Y$ be two nonsingular projective varieties defined over the complex numbers.
If $X$ and $Y$ are $\mathbb{A}^1$-homotopy equivalent, then does $X$ satisfying the Hodge conjecture imply ...
user94803
9
votes
0
answers
699
views
Motivic Galois theory and Betti realizations?
Why Motivic Galois groups are defined with Betti realizations? (In fact Absolute Galois groups can be defined in this way (with Betti realizations), why they are so related?).
- 99
17
votes
1
answer
1k
views
Why presheaves with transfer?
Presheaves with transfer are a main technical ingredient in Voevodsky's construction of his category of mixed motives. From the perspective of motivic homotopy theory, the only difference between SH ...
- 171
4
votes
0
answers
161
views
Quadrics contained in the (complex) Cayley plane
In the paper
Ilev, Manivel - The Chow ring of the Cayley plane
we can learn, that $CH^8(X)$, with $X := E_6/P_1$, denoting the Cayley plane, has three generators with one of them being the class of ...
- 1,479
12
votes
0
answers
725
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 ...
- 2,227
2
votes
0
answers
304
views
Should all cohomology theories have a smooth proper base change
Let $H$ be a cohomology theory with respect to some Grothendieck topology (e.g. Zariski, analytic, etale, fppf, Nisnevich, etc.)
Does H satisfy smooth proper base?
If yes, does this mean that "...
- 119
3
votes
0
answers
128
views
On Abhyankar's results cited in a paper of Manin titled "Correspondences, Motifs and Monoidal Transformations"
Consider the following from this paper "Correspondences, Motifs and Monoidal Transformations" of Manin here.
Theorem. Nonsingular three-dimensional projective unirational varieties $V$ over ...
- 113
10
votes
1
answer
947
views
Derived version of equivalence between motives and representations of Motivic galois groups?
A slight variant $\tilde Mot_{num}(k,\mathbb{Q})$ of the category of pure motives $Mot_{num}(k,\mathbb{Q})$ is a Tannakian category equivalent to a category of representations of some algebraic group $...
- 1,720
6
votes
1
answer
1k
views
Relationship between motivic Galois groups and Langlands program [duplicate]
I would like to know if there is any relationship between the motivic Galois groups and the Langlands program.
Many thanks.
- 1,720
8
votes
0
answers
603
views
A Generalization of the Tate-Shafarevich/Tate/Fontaine-Mazur Conjectures
Let $A$ be an abelian variety over a number field $k$. The Tate-Shafarevich conjecture says that the Tate-Shafarevich group of $A$ is finite.
A weakening of this conjecture states that the $\ell$-...
- 15.4k
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 ...
- 203
7
votes
0
answers
811
views
Roadmap to study (Deligne) Algebraic geometry over Tannakian categories
I would like to know the way to proceed in the first lecture of Deligne's Le groupe fondamental de la droite projective moins trois points.
General advices for reading Deligne's paper.
What should I ...
- 1,720
6
votes
1
answer
899
views
Interesting implications on the theory of motives if the Hodge conjecture holds
For example,
Under the Hodge conjecture the Motivic galois group coincides with Mumford-Tate group.
The Hodge conjecture implies the Lefschetz and Kunneth standard conjectures, as well as ...
- 1,720
3
votes
1
answer
465
views
Relations between Motivic Galois groups and Motivic t-structure?
What are some relations between the existence of Motivic t-structures and Motivic galois groups?
I heard that indeed the existence of the Motivic t-structure implies the isomorphism between Ayoub's ...
- 1,720
2
votes
1
answer
474
views
What is explicitly, $ \mathcal{P} \mathrm{er} ( X ) / \mathbb{Q} $?
In the following link$^{[1]}$, page $2$, we find the following question :
Let $X$ be a smooth $ \mathbb{Q} $ - variety and let $\mathcal{P} \mathrm{er} (X)$ be the subfield of $\mathbb{C}$ ...
- 325
17
votes
2
answers
1k
views
Hodge standard conjecture for étale cohomology
It is known that Hodge standard conjecture is true for étale cohomology for a field $k$ of characteristic zero. It means that the following pairing
$$
(x,y)\mapsto (-1)^{i}\langle L^{r-2i}(x),y\...
- 797
7
votes
1
answer
1k
views
Intuition for the Lefschetz motive (Tate motive)?
Yo! Maybe this question is too dumb for mathoverflow, but I believe no one will pay attention to it in math.stackexchange, so I will post it here. If this question is not suitable, just delete it.
I ...
- 2,227
3
votes
1
answer
251
views
"theta characteristics" on general motives?
Yesterday I read in some texts on theta characteristics of algebraic curves, which are structures on their Jacobians... Do you know if someone has thought if such, but more general, things can exist ...
- 10.8k
2
votes
1
answer
334
views
Reference - Generalized Hodge conjecture for triangulated motives
GHC for triangulated motives: The Hodge conjecture holds and an object $\rm M \in Dmg$ is effective if and only if its Hodge realization is effective.
I would like to know some references on GHC ...
- 1,720
1
vote
0
answers
81
views
When the tensor product of motives that are not $0$-(homotopy)-connective can be $0$-connective?
For $t$ being the homotopy $t$-structure for Voevodsky effective motivic complexes
when $M\otimes N\in DM_{eff}^{t\le -1}$ ensures that either $M$ or $N$ belongs to $DM_{eff}^{t\le -1}$ (so, we use ...
- 16.9k
5
votes
1
answer
450
views
Constructing groups of Type E7 with certain Tits Index
In a new survey on $E_8$, namely
Skip Garibaldi - E8 the most exceptional group
, the author gives an example (Example 8.4., page 15) on how to construct a group of type E8 with a prescribed Tits-...
- 1,479
6
votes
4
answers
2k
views
References - Voevodsky motives are the derived category of Nori motives?
First I would like to know if this has been worked out, and if the answer is affirmative I would like to know some references.
- 1,720
3
votes
0
answers
172
views
Non-multiplicative Euler-Poincaré Characteristics
Are there known examples of a non-multiplicative Euler-Poincaré characteristic on varieties?
Let $\mathbf{Var}/k$ be the category of varieties over a filed $k$, i.e. the category of reduced separated ...
- 349
8
votes
1
answer
567
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, ...
- 1,720