All Questions
Tagged with motives ag.algebraic-geometry
359 questions
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 ...
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 ...
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$...
16
votes
3
answers
3k
views
Motives versus Motifs
I was in Paris recently for a meeting about motives or motifs, and since I'm too jet lagged
for real work let me ask the following somewhat frivolous question. The word "motif" is
usually translated ...
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 ...
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 ...
35
votes
4
answers
8k
views
What would a "moral" proof of the Weil Conjectures require?
At the very end of this 2006 interview (rm), Kontsevich says
"...many great theorems are originally proven but I think the proofs are not, kind of, "morally right." There should be better proofs......
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 ...
35
votes
2
answers
3k
views
Equivalent descriptions of Hodge conjecture?
I would like to know equivalent descriptions of the Hodge conjecture (with references).
Dan Freed's Version:
Consider a topological cycle (boundary less chains that are free to deform) on a ...
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 ...
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\...
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 ...
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 ...
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 ...
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.
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 ...
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 ...
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, ...
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 ...
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 ...
12
votes
0
answers
726
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
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 "...
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 $...
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 ...
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.
20
votes
2
answers
5k
views
What does the Jacobian of a curve tell us about the curve?
A natural object in the study of curves is the Jacobian of a curve. What are some natural geometric properties of the curve that the Jacobian encapsulates? In other words, what can the Jacobian tell ...
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$-...
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 ...
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}$ ...
8
votes
1
answer
814
views
Is Scholl construction of modular motives related to Deligne's construction of $\ell$-adic representations?
First of all, I need to declare my extreme ignorance on the topic of modular forms, so, please, does not assume that I know Deligne's construction in details.
In Motives for modular forms, Scholl ...
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 ...
35
votes
1
answer
4k
views
Grothendieck's letter to Faltings: On the yoga of motives and the degeneration of Leray spectral sequence
In Grothendieck's letter to Faltings, he writes
There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a firm support for ...
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 ...
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 ...
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-...
13
votes
1
answer
591
views
Is there a yoga of effectivity for motives and their realizations?
Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...
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 ...
5
votes
0
answers
172
views
Polynomially countable varieties and virtual mixed Tate motives
Let $K_0(Var_k)$ be the Grothendieck ring of $k$-varieties for a field $k$. Let $\mathbb{L}$ denote the class of the affine line over $k$. Let $S$ be a $k$-variety and $[S] \in \mathbb{Z}[\mathbb{L}]$,...
18
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 ...
4
votes
0
answers
220
views
Passing motivic decompositions from rational to algebraic equivalence
It is well known that there are several adequate equivalence relations for algebraic cycles (see https://en.wikipedia.org/wiki/Adequate_equivalence_relation for a list including definitions).
The ...
21
votes
1
answer
734
views
Why is the CM closure of $\mathbb{Q}$ the "ultimate" coefficient field for motives?
In a rough way, a category of motives over a field $k$ with coefficients in a field $K$ gives a universal cohomology theory with coefficients in $K$ for algebraic varieties defined over $k$. I had the ...
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 $...
7
votes
1
answer
919
views
Intuition behind the definition of finite correspondences
Finite correspondences were introduced by Suslin-Voevodsky (if I am not wrong) to define motivic complexes that compute motivic cohomology. Let $X$ and be smooth separated schemes of finite type over ...
6
votes
0
answers
351
views
Correspondences of schemes induced by a finite Galois extension
I am trying to do the first exercises of the Mazza-Voevodsky-Weibel book Lecture Notes on Motivic Cohomology, which are some elementary results about correspondences between schemes.
Recall that if $...
2
votes
0
answers
476
views
Does the numerical equivalence relation coincide with the homological one for 1-cycles (in positive characteristic)?
Is the Grothendieck's Standard Conjecture D (stating that the numerical equivalence relation for algebraic cycles with rational coefficients coincides with the homological one) known to be true for ...
1
vote
0
answers
116
views
On "splitting off small weights" from Chow motives
I am interested in certain properties Chow motives that seem to be (more or less) "classical" (so, I mostly need references; the base field may be assumed to be algebraically closed).
So, consider ...
8
votes
0
answers
184
views
Can the failure of the multiplicativity of archimedean L-factors be corrected?
My question is parallel to J. Borger' question:
Can the failure of the multiplicativity of Euler factors at bad primes be corrected?
As emphasized by Scholbach in his paper on special values of L-...
7
votes
0
answers
279
views
Quadratic twists of 1-motives
Quadratic twists of elliptic curves (or, more generally, abelian varieties) are familiar objects in arithmetic geometry. I would like to extend that definition to the category of 1-motives over global ...
39
votes
4
answers
10k
views
difference between equivalence relations on algebraic cycles
For the definitions of the equivalence relations on algebraic cycles see http://en.wikipedia.org/wiki/Adequate_equivalence_relation.
I want to know how far away from each other the equivalence ...
4
votes
0
answers
248
views
Derived equivalent varieties with differing integral Mukai-Hodge structures?
For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and $\...