All Questions
Tagged with motives arithmetic-geometry
65 questions
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. ...
- 1,704
35
votes
1
answer
2k
views
The modularity theorem as a special case of the Bloch-Kato conjecture
In the homepage for the CRM's special semester this year, I found the interesting statement that the modularity theorem (formerly the Taniyama-Shimura-Weil conjecture) is a special case of the Bloch-...
- 3,309
15
votes
1
answer
769
views
Crystalline realization of mixed Tate motives
Deligne and Goncharov, in their article of 2005, mention that the crystalline realization functor has yet to be worked out. What's the current state of the literature on this? And how big of an issue ...
- 313
12
votes
2
answers
2k
views
Status of Beilinson conjectures?
(I hesitate to post that question here, but I received on answer on FB:)
Does anyone know how the current status of work on them is? And how the possible generalizations etc. which one thinks ...
12
votes
1
answer
407
views
Precise formulation of conjectures on orders of vanishing?
Let $X$ be a smooth and proper scheme over $\text{Spec}(\mathbf{Z})$.
C. Soulé has conjectures about special values of the completed zeta function of $X$, $\zeta(X,s)$, which were first reformulated ...
user92332
12
votes
0
answers
811
views
Number field analog of Artin-Tate $\Rightarrow$ BSD?
What is the difference between the alternating product of the Hasse-Weil $L$-functions of the generic fiber of an arithmetic scheme $X\to\text{Spec}(\mathbf{Z})$ and the zeta function of $X$? (each ...
user113452
11
votes
0
answers
2k
views
What are "fractional motives"?
Kirti Joshi's musings mention "fractional motives". Do you know what are they good for and what the current state of constructions is for them?
Edit: Further cases of "fractional motives" as ...
- 10.8k
9
votes
1
answer
472
views
Why is the category of motives generated by varieties?
I'm reading Ayoub's paper Motifs des varietes analytiques rigides, but I'm not quite familiar with motives. In this paper, he defines the category of motives to be $\mathbf{RigDM}^{\rm eff}_{\rm Nis}(...
- 91
9
votes
0
answers
439
views
Uncountably many non-isomorphic Tate modules
Do there exist uncountably many abelian surfaces with good reduction over $\mathbb{Q}_p$ with pairwise non-isomorphic rational $p$-adic Tate modules?
If we took $l$-adic Tate modules there would be ...
user158636
9
votes
0
answers
361
views
Would full resolution of singularities have cohomological implications beyond the alteration theory?
De Jong's result on alterations allows one to show the potential semistability of certain Galois representations arising from cohomology of varieties (among other things). If we knew the existence of ...
user158636
8
votes
1
answer
414
views
Sha finiteness vs $\ell$-primary torsion
Where do I find a proof of the fact that over global function fields of characteristic $p>0$, finiteness of the Tate-Shafarevich group of an abelian variety is equivalent to finiteness of its $\ell$...
user113452
8
votes
1
answer
380
views
Is the Tate conjecture known for etale covers of products of curves
Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
- 83
8
votes
1
answer
813
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 ...
- 2,227
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
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-...
8
votes
0
answers
244
views
Corresponding notion of unramified for motives (or de Rham cohomology)
The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if $X$...
- 381
7
votes
1
answer
1k
views
"Weight-monodromy" for open varieties
Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy ...
- 1,838
7
votes
1
answer
689
views
Two motivic complexes, compared
Bloch defines the motivic complexes $\mathbf{Z}(n)$ in his paper "Algebraic Cycles and Higher K-Theory" (1986).
Some references (that I currently am unable to track down) use $$\check{\mathbf{Z}}(n) :...
user120812
7
votes
1
answer
635
views
Difference of Beilinson conjecture and equivariant Tamagawa number conjecture
As stated in the title, I am wondering the main difference between Beilinson conjecture and eTNC. If I read correctly, I can see that there are many literature treating both conjectures in the same ...
- 1,428
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 ...
- 1,704
7
votes
0
answers
181
views
In what sense do the real and complex places correspond to setting q equal to 1 or -1?
It often happens that if we have a scheme $X/\mathbb Z$ (or an open subset thereof) and we denote by $p(q) = X(\mathbb F_q)$, then $p(1)$ and $p(-1)$ compute the euler characteristic of $X(\mathbb C)$ ...
- 7,746
7
votes
0
answers
444
views
Status of the conjectured vanishing of Bloch-Kato H^2
There is a folklore conjecture that $\operatorname{Ext}^2$ vanishes in the category of geometric $p$-adic Galois representations (i.e. representations that are unramified almost everywhere and de Rham ...
- 15.4k
6
votes
3
answers
601
views
Solving "a, b, a+b have given divisors" problem
I've read an interesting article, math.NT/0409456 where you're just trying to solve a simple problem:
For a given (finite) set of primes S find all solutions to an equation ...
- 15.1k
6
votes
1
answer
1k
views
Pure motives and compatible systems of $\ell$-adic representations
I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...
- 1,563
6
votes
1
answer
525
views
Functoriality for $\ell$-adic cohomology - a question
This should a be basic enough question, but I’m a little confused.
In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
user134132
6
votes
0
answers
439
views
Cohomology theories for algebraic varieties over number fields
There is a standard line which is repeated by anyone writing/talking about motives and cohomology of algebraic varieties over number fields: namely, there are many such cohomologies and then the ...
- 2,751
6
votes
0
answers
334
views
Current state of Serre's Motives conjectures in Seattle
It would be worth if we have a current state of the conjectures of
Propriétés conjecturales des groupes de Galois motiviques et des représentations l-adiques. J P Serre. In Motives, Seattle
And ...
- 61
5
votes
2
answers
1k
views
Are Anderson $T$-motives motives for the function field analogy?
this question is related to this one Geometry for Anderson's motives?, though the previous one doesn't answer exactly my question.
Let $\mathbb{C}_{\infty}$ be the function field analog of $\...
- 2,227
5
votes
3
answers
973
views
The historical development of automorphic geometry
Background:
Today the notion of automorphic geometry is often framed in the context of the Langlands program, in particular what is sometimes called the Langlands reciprocity conjecture. This is ...
- 1,704
5
votes
1
answer
482
views
Around algebraic equivalence of cycles
Let $k$ be a finitely generated field, $X$ a smooth projective $k$-variety, $\ell$ a prime number, $\ell\in k^{\times}$, $r\ge 0$ an integer.
The Tate conjecture asserts surjectivity of the cycle ...
user92332
5
votes
1
answer
348
views
Spectral sequence in Betti cohomology
Let $X$ be a smooth projective algebraic variety over the complex numbers, and let us name
$$f : X_{\rm an}\to X_{\rm Zar}$$
the morphism of sites induced by sending a Zariski open $U\subset X$ to $...
user119470
5
votes
1
answer
426
views
Blowup formula for motivic cohomology
If $X$ is a smooth projective variety over a field, $Z\subset X$ a smooth closed subvariety of codimension $d$, $X'\to X$ the blowup of $X$ along $Z$, there's the blowup formula
$$H^j(X'_{et},\mathbf{...
user95222
5
votes
0
answers
210
views
Motivic $L$-functions came from automorphic representations
Langlands in his 1978 ICM talk made a conjecture that all motivic $L$-functions should arise as automorphic $L$-functions. A part of this conjecture, namely for some Hasse-Weil $\zeta$ functions is a ...
- 607
5
votes
0
answers
397
views
Vector bundles vs algebraic cycles
For integral schemes, the Picard group is isomorphic to the group of Cartier divisors modulo linear equivalence.
What is the correct analog of this isomorphism, for higher codimension Chow groups vs ...
user119470
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 ...
- 647
4
votes
2
answers
569
views
Current status of independence of Betti numbers for different Weil cohomology theories
Previous problem: Is $\operatorname{dim} H^1$ of an abelian variety the same for any Weil cohomology?
Let $X$ be an smooth projective variety over a field $k$. For any Weil cohomology theory for ...
- 6,622
4
votes
1
answer
603
views
A question about the Tannakian etale fundamental group of a curve
Let $X$ be a smooth connected quasi-projective curve over $\mathbf{Q}$. Let $U$ be the pro-unipotent etale fundamental group of $X$ over $\mathbf{Q}_p$.
$U^1 = U$ and let $U^n =[U,U^{n-1}]$.
Let $n\...
- 1,213
4
votes
1
answer
237
views
What are the consequences of the finite generation of $\operatorname{Ext}^1_{\mathcal{O}_F}(\mathbb{1},M)$?
Let $F$ be a number fields. Conjecturally, there is a rigid $\mathbb{Q}$-linear abelian category of mixed motives over $F$. Let $\mathbb{1}$ denotes the unit object of this category. Given a mixed ...
- 1,479
4
votes
1
answer
273
views
Definition field of weight homomorphism and moduli interpretation of Shimura varieties
In "Canonical models of Shimura curves" by J.S. Milne (avaliable at https://www.jmilne.org/math/articles/2003a.pdf), he explains the definition of quaternion Shimura curve, and explains the modern ...
- 6,622
4
votes
1
answer
564
views
Borel regulator and Bloch-Beilinson regulators
Is there any relation, either conjectural or known, between the Borel regulator for the Quillen $K$-theory of algebraic number rings, and the Bloch-Beilinson regulator from motivic cohomology to real ...
user119470
4
votes
0
answers
108
views
Algorithmically recover the $l'$-adic Galois representation from the $l$-adic one (assuming the Tate conjecture)
Let $E$ be a number field. For any finite Galois extension $E\subset F$ there is a continuous homomorphism $\pi_F:\mathrm{Gal}(\overline{E}/E)\to \mathrm{Gal}(F/E)$.
Let $X$ be a smooth projective ...
user158636
4
votes
0
answers
265
views
Explicit linear object underlying $l$-adic cohomology for almost all $l$
If you are working with closed manifolds you can consider cohomology with any coefficients you like but ultimately everything is determined by the singular cohomology with $\mathbb{Z}$-coefficients.
...
user158636
4
votes
0
answers
92
views
Locus of Hodge classes
Let $\pi: X\to S$ be a proper smooth morphism of complex analytic spaces, with connected smooth $X$ and $S$ over $\mathbf{C}$, projective fibers, and $$\mathscr{H}_{X/S}^p := R^p\pi_*\Omega^{\bullet}_{...
user120812
4
votes
0
answers
205
views
$\mathbf{A}^1$- contractibility
Suppose $U$ is an $\mathbf{A}^1$-contractible smooth scheme over a field $k$, that is, it is isomorphic to a point in the $\mathbf{A}^1$-homotopy category of smooth schemes over $k$.
Does motivic ...
user119470
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 ...
- 1,704
3
votes
1
answer
370
views
Bloch–Beilinson conjecture for varieties over function fields of positive characteristic
Is there a version of the Bloch–Beilinson conjecture for smooth projective varieties over global fields of positive characteristic? The conjecture I’m referring to is the “recurring fantasy” on page 1 ...
- 531
3
votes
0
answers
143
views
A Galois equivariant Weil cohomology theory with coefficients in the rational numbers and a variation of the Tate/Hodge conjecture
A well-known example of Serre shows that there can be no Weil cohomology theory with $\mathbb Q$ coefficients for schemes over $\mathbb F_{p^2}$. However, this example is no obstruction to a Weil ...
- 7,746
3
votes
0
answers
206
views
Generalization of conjectures involving Beilinson regulators
I had some questions about the Beilinson conjectures as mentioned in this page. I have to admit I do not know much about Deligne cohomology. The conjectures involve some form of comparison map between ...
- 5,901
3
votes
0
answers
178
views
Finiteness results in the category of schemes up to $\mathbb{A}^1$-homotopy
In algebraic geometry, we know that there exist geometrical conditions on a scheme $X/k$ for having finitely many rational points when $k$ is a number field. Namely for curves there is the Mordell ...
- 4,418
3
votes
0
answers
114
views
Multiplicative structure on Deligne cohomology
Let $X$ be a smooth projective variety over the complex numbers, and $\mathbf{Z}(p)_{\mathcal{D}}$ the Deligne complex on $X$:
$$\mathbf{Z}(p)_{\mathcal{D}} : \ \ \mathbf{Z}(p)\to\mathcal{O}_X\to\...
user92332