All Questions
Tagged with motives arithmetic-geometry
65 questions
2
votes
0
answers
278
views
Why is the weight monodromy hard in mixed characteristics?
I know very little about the conjecture, beyond Grothendieck's monodromy theorem perhaps (a dense open subgroup of inertia acting unipotently on pure motives). But I heard that it was completely ...
- 63.9k
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 ...
- 1,404
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
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
2
votes
0
answers
483
views
Absolute Hodge cycles over $\mathbf{Q}$
In the 1986 notes by Milne "Hodge cycles on abelian varieties", Deligne defines the notion of absolute Hodge cycles.
For a smooth projective variety defined over $k\subset\mathbf{C}$ non ...
- 63.9k
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 ...
- 9,501
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}(...
- 16.9k
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
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 ...
- 35.5k
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 ...
- 20.8k
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-...
- 37k
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 ...
CommunityBot
- 1
2
votes
0
answers
245
views
What unramified Galois representations come from geometry?
I think we don't know what crystalline representations come from geometry. What about the unramified ones? Specifically let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\mathbb{Q}...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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.
...
CommunityBot
- 1
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,408
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 ...
- 184
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 ...
- 208
2
votes
0
answers
209
views
Is there literature on a de Rham analogue of the Mumford-Tate group or ell-adic monodromy group?
Let $X$ be a smooth projective variety over $\mathbb{Q}$. The theory of motives predicts that for each cohomology theory, there should be a distinguished Zariski closed subgroup of $GL(H^k_{\bullet}(X)...
- 9,061
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 ...
CommunityBot
- 1
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 ...
- 2,040
2
votes
1
answer
326
views
Lefschetz standard conjecture under specialization/generization
Let $S$ be a smooth connected noetherian scheme (not necessarily over a field) with residue fields that are all of finite type over their prime field.
Let $f: \mathcal{X}\to S$ be a smooth projective ...
CommunityBot
- 1
1
vote
0
answers
290
views
Coniveau in étale motivic cohomology
Let $X$ be a smooth variety over a field.
Is there a spectral sequence:
$$E_1^{p,q} := \bigoplus_{x\in X^{(p)}}H^{q-p}(\kappa(x)_{\rm ét},\mathbf{Z}(n))\Rightarrow H^{q-p}(X_{\rm ét},\mathbf{Z}(n))$$...
CommunityBot
- 1
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\...
CommunityBot
- 1
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 $...
- 16.9k
1
vote
0
answers
118
views
Torsion homologically trivial cycles
Is there an example of a smooth projective variety $X$ over the complex numbers, such that
$$\ker(\text{CH}^2(X)\to H^4(X,\mathbf{Z}(2))$$
is not torsion?
CommunityBot
- 1
1
vote
0
answers
117
views
Filtrations and the Betti cycle map
Let $X$ be a smooth projective complex variety.
Calling $f : X_{\rm an}\to X_{\rm Zar}$ the "change-of-topology" morphism of sites induced by sending a Zariski open $U$ of $X$ to its analytification, ...
CommunityBot
- 1
0
votes
0
answers
88
views
Cycles modulo homological equivalence
Let $\text{CH}^p(X)_{\rm hom}$ be the abelian group of codimension $p$ algebraic cycles on a smooth projective variety over a field $k$, modulo homological equivalence. Is $\text{CH}^p(X)_{\rm hom}$ ...
CommunityBot
- 1
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{...
- 4,189
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) :...
CommunityBot
- 1
3
votes
0
answers
81
views
Tate Conjecture birational invariant?
Is the Tate Conjecture stable under birational equivalence?
In particular, is the Tate Conjecture for rational varieties known?
CommunityBot
- 1
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}_{...
CommunityBot
- 1
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 ...
CommunityBot
- 1
2
votes
0
answers
239
views
Group completion of Chow varieties
Let $X$ be a quasi-projective variety over a perfect field $k$.
Given a projective embedding $j : X\to \mathbf{P}(\mathscr{E})$, the Chow variety $\text{Chow}_r(X, j)$ is a quasi-projective variety ...
CommunityBot
- 1
3
votes
0
answers
307
views
Semisimplicity conjecture
In this short note Ben Moonen proves that over fields of characteristic zero that are of finite type over their prime field, the Tate conjecture about surjectivity of cycle maps implies the semi-...
CommunityBot
- 1
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$...
CommunityBot
- 1
2
votes
1
answer
172
views
Effective cycles of codimension 1 and field extensions
Let $X$ be a smooth quasi-projective variety over a field $k$, with pure dimension $d$, $K/k$ an arbitrary field extension.
For any algebraic cycle $\eta$ of codimension $1$ on $X_K$ ($\eta\in Z^1(...
- 9,061
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 ...
- 28.7k
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 ...
CommunityBot
- 1
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 ...
- 17.4k
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 ...
- 37k
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 ...
CommunityBot
- 1
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
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 ...
CommunityBot
- 1
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
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 ...
- 17.6k
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-...
CommunityBot
- 1
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 ...
- 17.6k