Questions tagged [motives]
for questions about motives in algebraic geometry, including constructions of categories of motives and motivic sheaves, and aspects of the standard conjectures.
459 questions
2
votes
0
answers
320
views
CM abelian variety from an algebraic Hecke character?
Hi,
Given an algebraic Hecke character $\chi$ of a number field $k$ there should be a
"rank 1 CM-motive" $M$ with
$\overline Q$-coefficients such that $L(s,M) = L(s,\chi)$. This follows from the ...
3
votes
0
answers
638
views
Weak Lefschetz for torsion motivic cohomology (or torsion Chow groups)?
I am trying to prove the following Weak-Lefschetz-type statement for motivic cohomology: if $Z$ is a smooth hyperplane section of a smooth projective $X$ of dimension $d$ (say, over the field of ...
5
votes
0
answers
654
views
The Shafarevich Conjecture and motivic Langlands stacks.
Hi, I recently learned about an amazing conjecture of Shafarevich
(proved by Faltings) about the finiteness of the number
of curves of a fixed genus with good reduction outside a
finite number of ...
2
votes
0
answers
383
views
General cohomology groups and motives
Let $X$ be a variety over $\mathbb{Q}$. Let $\mathcal{F}$ be a sheaf on $X$. Then we have an action of $Gal(\mathbb{Q})$ on $H_{et}^i(X,\mathcal{F})$. In certain cases we can say a lot about this ...
11
votes
0
answers
1k
views
Linear algebra of elliptic curves over p-adic fields
Unfortunately, the following question is somewhat ill-posed. However, I hope to make what I'm looking for sufficiently clear.
Given two elliptic curves (or Abelian varieties) over $\mathbb{C}$, one ...
5
votes
0
answers
834
views
Motivic Galois group and Shimura varieties
Hi,
Suppose that one has a Shimura variety $Sh(G,X)$ where $(G,X)$ is the corresponding Shimura datum and suppose that it can be interpreted as a moduli space of motives (e.g. PEL type Shimura ...
3
votes
1
answer
284
views
For a G-variety, what could one say about the motif of the corresponding simplicial variety
Let G be an algerbraic group, and X be a G-variety (that I will assume to be smooth). Then one can consider a simlicial variety whose terms are $G^i\times X$. This simplicial variety yields a 'complex ...
5
votes
2
answers
848
views
Is there for every variety X an abelian variety A such that their 1st l-adic cohomologies are isomorphic?
This question is somewhat inspired by Kevin Buzzard's answer to What is the interpretation of complex multiplication in terms of Langlands? and somewhat from my own curiosity about such topics.
Let $...
4
votes
0
answers
197
views
The vanishing of homotopy invariant $K$-theory of dg-categories
In my previous question The vanishing of non-connective K-theory in negative degrees
I asked when one can be sure that the negative non-connective $K$-groups of a differential graded category vanish. ...
10
votes
1
answer
2k
views
How does the conjectural Langlands group fit into the Tannakian point of view?
I've read that one way to formulate the Langlands program is the following:
Let $\mathcal{L}_ {\mathbb{Q}}$ be the conjectural Langlands group. Then the category of semi-simple (continuous) ...
12
votes
3
answers
3k
views
ubiquitous quantum cohomology
Manin stressed that every projective scheme should have a quantum-cohomology structure. I'd like to know more about that. And since the varieties considered in texts about monodromy resp. vanishing ...
14
votes
2
answers
2k
views
How would a motivic proof of the Riemann hypothesis over finite fields go?
It is well known that Grothendieck had a different idea than Deligne about how one should go about proving the Riemann hypothesis for finite fields. However, since Grothendieck's desired proof never ...
3
votes
1
answer
777
views
Is the "L-function of the complex cohomology" of a motive equal to the L-function of its l-adic realization?
Let's say I have a motive in $\mathcal{M}_{num}(K)$ ($K$ a number field). For each prime $l$ there is a realization of this motive in terms of etale cohomology with coefficients in $\mathbb{Q}_l$. ...
1
vote
0
answers
299
views
(why) Are the following two constructions of zeta functions equal?
Let $X$ be a variety defined over $\mathbb{Q}$. One has the usual Hasse-Weil zeta function.
Now, let's do a different construction. Base change $X$ to $\mathbb{C}$: $X_{\mathbb{C}}$. Now look at its ...
4
votes
0
answers
393
views
Motivic interpretation of genus 2 Siegel forms induced by lifts of Maass and Skoruppa
Background: There are several known lifts from integral weight modular forms to Siegel forms of genus 2, among them the Saito-Kurokawa lift. Another lift construction that is important for ...
6
votes
0
answers
242
views
Are Tate twists of t-positive motives positive with respect to the Voevodsky's homotopy t-structure?
Let $X$ be a Voevodsky's motif (over a perfect field) that belongs to the positive part of the homotopy $t$-structure (i.e. its cohomology as an object of $D^-(ShSmCor)$ is zero in negative degrees). ...
10
votes
1
answer
1k
views
Motives from the fundamental group made nilpotent
I am reading the fascinating paper of Deligne on "le groupe fondamental de la droite projective moins trois points", and other stuffs related to anabelian geometry. This suggested the following ...
7
votes
1
answer
796
views
Crystalline realizations of Artin motives
What are the crystalline realizations of Artin motives?
In a paper by Kisin and Wortmann, "A note on Artin motives" (google it and you'll find it immediately), they define a suitable category of ...
8
votes
1
answer
1k
views
If the numerical equivalence of cycles coincides with the homological one, does the Hodge standard conjecture follow?
Suppose that over an algebraically closed field $K$ of finite characteristic the numerical equivalence of cycles relation (for algebraic cycles of smooth projective varieties) coincides with the ...
8
votes
1
answer
985
views
commutativity constraint in Grothendieck's motives
This is a basic question about Grothendieck's conjectural category $M_k$ of pure motives (over a field $k$). This construction first produces a category (the "false category of motives") which need ...
8
votes
3
answers
3k
views
Why is the zeta function of a variety over a finite field not a polynomial? (question about motives)
I've been doing some light(?) reading on motives and the standard conjectures in an attempt to put various things that I tangentially know in perspective.
The question is this: the Weil conjectures ...
1
vote
1
answer
1k
views
Is there a connection between the theory of motives and homotopy theory?
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 ...
3
votes
1
answer
767
views
Is there a 'classical' definition for the support of a perverse sheaves.
I would like to define the support of a mixed motivic sheaf. This should be something similar to the support of a perverse sheaf.:) Is there any 'classical' definition for the latter?
I suspect that ...
1
vote
2
answers
392
views
Could the Kunneth decomposition of a motif depend on the choice of $l$?
Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ${\...
1
vote
0
answers
178
views
$G_m$-cohomology of a motif (that corresponds to a stack?)
As in the question For a G-variety, what could one say about the motif of the corresponding simplicial variety
I am in the following situation: $G$ is an algerbraic group, and X is a smooth $G$-...
2
votes
0
answers
515
views
A motivic complex
By definition, Voevodsky's motivic complex (an object of his $DM^{eff}_-$) is a complex of sheaves with transfers whose cohomology sheaves are homotopy invariant. Now, I consider the complex (of ...
3
votes
1
answer
288
views
Do $Q_l$-etale Euler characteristics of Chow motives coincide for all $l$?
I am interested in (Chow) motives over (algebraically closed) characteristic $p>0$ fields. For $H$ being $\mathbb{Q}_l$-adic cohomology, one can consider $Ch_l(M)=\sum (-1)^i\dim_{\mathbb{Q}_l} H^i(...
7
votes
1
answer
689
views
Questions on standard (motivic) conjectures
Over an (algebraically closed) characteristic $p$ field, is it known that the cohomological equivalence of cycles relation (with respect to $\mathbb{Q}_l$-adic \'etale cohomology) does not depend on ...
2
votes
1
answer
589
views
Are finite correspondances flat?
In Voevodsky&Mazza&Weibel's book on motivic cohomology they define "an elementary correspondance from X (Smooth connected scheme over $k$) to Y (separated scheme over $k$) as an irreducible ...
4
votes
1
answer
474
views
Explain the relation between $K_0$ and morphisms of Chow motives
The Chern class yields an isomorphism $K_0(X)\otimes \mathbb Q\cong \bigoplus_{i\ge 0} Chow^i(X)\otimes \mathbb Q$ (for a smooth variety $X$ over a field?), whereas the latter group is isomorphic to $...
6
votes
1
answer
1k
views
When is the K-theory presheaf a sheaf?
Let $F$ be a Deligne-Mumford stack that is of finite type, smooth and proper over $\mathrm{Spec~}k$ for a perfect field $k$. Consider $K_m$, the presheaf of $m$-th $K$-groups on $F_{et}$, the etale ...
6
votes
0
answers
305
views
Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?
When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...
8
votes
1
answer
729
views
The conjectural relation between mixed motivic sheaves and the perverse t-structure.
As far as I remember, there 'should exist' an exact etale realization functor from the category of mixed motivic sheaves (over a base scheme $S$) to the category of perverse $l$-adic sheaves over $S$. ...
24
votes
3
answers
4k
views
Are there "motivic" proofs of Weil conjectures in special cases?
This is a question meant as a first step to get into reading more on Weil conjectures and standard conjectures. It is known that the standard conjectures on vanishing of cycles would imply the Weil ...
5
votes
2
answers
671
views
Automorphic form encoding the orders of $N$ modulo $p$.
Let $N$ be a nonzero rational number. For every prime number $p$ with $v_p(N)=0$, let $a_p$ denote the index in $\mathbb Z/p\mathbb Z$ of the subgroup generated by $N$ modulo $p$. So we have $a_p=1$ ...
1
vote
1
answer
661
views
A composition of a finite morphisms with the transpose correspondence: is it the multiplication by the degree?
Let $X,Y$ be smooth varieties over a field $k$ (which in my case is perfect of finite characteristic $p$; we may also assume that $X,Y$ are connected); $s:Y\to X$ is a finite morphism of degree $d$. ...
2
votes
0
answers
193
views
A Hodge substructure with ''nice' weight factors that does not correspond to a mixed submotif?
Suppose that we have a mixed motif $M$ with only two (subsequent) weights, and have a subobject for each weight factor. How we can control whether there exists a submotif of $M$ with these two factors?...
2
votes
0
answers
146
views
On 'graded polarizable' triangulated categories; are there any mixed Galois module analogues known? Also on mixed realizations
There is a construction by Beilinson (in section 3 of "Notes on absolute Hodge cohomology") of the derived category of graded polarizable mixed Hodge complexes; he also proved that this category is ...
5
votes
0
answers
213
views
Which pure categories related with Weil cohomology theories are semi-simple?
As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...
9
votes
1
answer
804
views
Motivic characterization of affine spaces
Let $k$ be a field and let $X$ be a smooth irreducible variety over $k$.
Suppose that I know that the image of $X$ in the Grothendieck group
of varieties over $k$ is equal to that of
a) ${\mathbb A}^...
7
votes
0
answers
729
views
Integral decomposition of the diagonal (Chow motives)
Let $k$ be a field of characteristic zero and let $X$ be a smooth proper varity over $k$ of dimension $d$. The Künneth standard conjecture conjectures that there exist projectors $e_0, e_1, \ldots, ...
6
votes
0
answers
461
views
Is singular cohomology representable by a (Voevodsky's) motivic complex?
For any $c>0$ does there exist an object $C$ of Voevodsky's $DM^{eff}_-$ (over the field of complex numbers) such that for any $i\le c$ and any smooth variety $X$ the $i$-th singular cohomology of $...
6
votes
0
answers
375
views
Generalized Hodge conjecture for cohomology of smooth non-proper varieties?
Is there such a statement known i.e. does there exist a conjectural description of the coniveau filtration for singular cohomology of a smooth non-proper variety over the field of complex numbers (in ...
45
votes
2
answers
3k
views
Langlands in dimension 2: the Yoshida conjecture
Background:
One prominent part of the Langlands program is the conjecture that
all motives are automorphic.
It is of interest to consider special cases that are more precise, if less
sweeping. ...
11
votes
6
answers
2k
views
Kunneth formula for motivic cohomology
I was wondering when the Kunneth formula holds for motivic cohomology:
$$
H^p(X,A(\alpha)) = \bigoplus_{i+j=p;\beta+\gamma = \alpha} H^j(X,A(\beta)) \otimes H^i(X,A(\gamma))
$$
where $H^p(X,A(\...
2
votes
0
answers
174
views
Transformation rule for motivic integration: divisors or divisors classes?
In the Kontsevich's 'change of variables for motivic integral' rule does one consider any possible choices for the corresponding canonical divisors, or is it necessary to fix certain representatives ...
3
votes
1
answer
408
views
Morava's "Motives and cell bundles"?
Hello, do you know more about, or some exposition of Morava's talk?
7
votes
2
answers
882
views
Rankin-Selberg convolutions of motivic L-series
Background:
Let $M_{f_i}, i=1,2$ be two modular motives associated to cusp forms
$f_i \in S_{w_i}(\Gamma_0(N_i))$ of weight $w_i$ and level $N_i$ respectively.
The Rankin-Selberg convolution ...
40
votes
8
answers
12k
views
What is the proper initiation to the theory of motives for a new student of algebraic geometry?
A preliminary apology is in order: I realize that most of my contributions to this site are in the form of reference requests. I understand that this makes it seem as though I do nothing more than sit ...
41
votes
4
answers
4k
views
Understanding the definition of the Lefschetz (pure effective) motive
For all those who are unlikely to have answers to my questions, I provide some
Background:
In some sense, pure motives are generalisations of smooth projective varieties. Every Weil cohomology ...