All Questions
Tagged with ag.algebraic-geometry motives
128 questions with no upvoted or accepted answers
141
votes
0
answers
13k
views
Grothendieck-Teichmüller conjecture
(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmüller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $...
- 7,527
42
votes
0
answers
2k
views
Are we better in computing integrals than mathematicians of 19th century?
When I started to learn mathematics, I was fascinating by legendary «Демидович»: problems in mathematical analysis. Fifteen years later, when I open chapters about integrals, I see a long list of ...
13
votes
0
answers
892
views
Stack of Tannakian categories? Galois descent?
I'm having trouble finding a reference for something that I'm guessing the experts worked out long ago. Let's take a local or global field $F$ for this post, and fix a separable algebraic closure $\...
- 13.3k
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
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
12
votes
0
answers
1k
views
Use of derivators to the theory of motives?
This is a rather imprecise question but i think this could become a interesting pool of ideas and comments.
The theory of motives has evolved to a complex field of research the moment Voevodsky (and ...
- 1,479
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
10
votes
0
answers
481
views
What is the precise definition of "Hypergeometric motives over $\mathbb{Q}$"?
The question is as in the title, but here is some background:
Section 4 of this paper by Beukers, Cohen and Mellit is called "Hypergeometric motive over $\mathbb{Q}$" but no actual (pure) ...
- 10.5k
10
votes
0
answers
340
views
Geometric vs combinatorial motives over Spec Z
Consider the category of reduced schemes of finite type over $\mathbb{Z}$. Take the Grothendieck group of this category, i.e. the free abelian group on isomorphism classes, modulo the usual "syzygy" ...
- 5,637
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
9
votes
0
answers
276
views
Which field extensions do not affect Chow groups?
Let $X$ be a (say, smooth projective) variety over a field $k$. For which $K$ it is known that the ("ordinary", that is, not higher) Chow groups of $X$ map onto that of $X_K$ bijectively?
...
- 16.9k
9
votes
0
answers
291
views
Searching for hypergeometric motives that split
Motivation: It seems that the splitting of a hypergeometric motive is closely related to some highly non-trivial hypergeometric identities discovered by Ramanujan, Guillera et al. The splitting of ...
- 3,337
9
votes
0
answers
463
views
Beilinson regulators and Bloch's mythological algebraic intermediate Jacobians
In the paper introducing his motivic cycle complexes, Bloch outlines a project he says he was going to return to in the future:
Towards the end of page 270, he says, given a smooth projective variety ...
user95222
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
9
votes
0
answers
649
views
Motivic fundamental group of the moduli space of curves?
Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...
- 148k
8
votes
0
answers
333
views
Triple comparison of cohomology in algebraic geometry
Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...
- 15.4k
8
votes
0
answers
533
views
Has Grothendieck's motivic vision been realised?
Apparently (https://twitter.com/stewartbrand/status/1635057392814821376) Bing's AI search thinks that "the full theory of motives remains elusive". My impression was that the current ...
- 56.9k
8
votes
0
answers
587
views
Values of cohomology theory on a point
$\DeclareMathOperator\Sm{Sm}$It is a well-known fact that in algebraic topology, generalized cohomology theories are determined by their values on the point. I was wondering whether anything similar ...
- 5,901
8
votes
0
answers
574
views
Reference request: Motivic Cohomology and Cycle class maps
For a smooth projective variety $X$ over any field $K$, Voevodsky showed in his paper ``Motivic Cohomology Groups Are Isomorphic to Higher Chow Groups in Any Characteristic" that the motivic ...
- 592
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
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
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 ...
7
votes
0
answers
313
views
Any counterexamples known for the Generalized Tate conjecture?
One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...
- 16.9k
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, ...
- 4,015
6
votes
0
answers
265
views
Rank $2$ motivic local systems on a curve
This question is about the article "Motivic local systems on curves and Maeda's conjecture" by Yeuk Hay Joshua Lam.
In the proof of Theorem 1.1 it is claimed (on lines 4-5 of p. 7) that any ...
- 10.5k
6
votes
0
answers
221
views
Motives in tropical geometry
Is there a notion of motives in tropical geometry? Similar like the notion introduced by Grothendieck in algebraic geometry.
- 163
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
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
0
answers
230
views
Nice references for injective model structures and Quillen functors between motivic homotopy categories
It seems that for the injective model structures for the categories simplicial presheaves and simplicial Nisnevich sheaves (on the category of smooth varieties over a perfect field $k$) there exist ...
- 16.9k
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 $...
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). ...
- 16.9k
5
votes
0
answers
176
views
Can a Chow motif be isomorphic to its own direct summand?
Let $M$ be a $R$-linear Chow motif over a field $k$ that is perfect but not necessarily algebraically closed. Can one prove that $M$ is not a direct summand of itself (that is, $M\not\cong M\bigoplus ...
- 16.9k
5
votes
0
answers
383
views
What is the motive of $\operatorname{Bun}_G(X)$?
$\DeclareMathOperator\Bun{Bun}$Let $X$ be a scheme over algebraically closed field $k$, $G$ a reductive group and $\Bun_G(X)$ the stack of $G$ bundles on $X$. Write $[\Bun_G(X)]\in K_\text{st}$ for ...
- 5,701
5
votes
0
answers
275
views
Reference request: Tate's conjecture for L functions of motives
What's a good reference for the most general form of Tate's conjecture for the order of poles of the L function of a motive? Thanks!
- 1,362
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
512
views
Poincaré duality for motivic cohomology
Is Poincaré duality for étale motivic cohomology known for projective regular (not necessarily smooth, just regular) schemes over Dedekind rings?
More precisely, two questions. Let $f: \mathcal{X}\to\...
user92332
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
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}]$,...
- 4,547
5
votes
0
answers
291
views
Hyperplane sections of principal homogeneous spaces
Let $P_i$ denote the $i$-th vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...
- 1,479
5
votes
0
answers
801
views
Two questions on motivic homotopy theory
I am a beginner in motivic homotopy theory and motivic cohomology and have just begun reading books by Dundas et al. and Mazza-Voevodsky-Weibel. I have two basic questions:
Why is the question of $\...
- 805
4
votes
0
answers
426
views
In which "sense" unramified Milnor-Witt K-groups are unramified
Let $X$ be an integral locally noetherian smooth
scheme over base field $k$. Then for every $x \in X^{(1)}$ point of codimension $1$, the stalk $\mathcal{O}_{X,x}$ is a discrete valuation
ring. ...
- 6,018
4
votes
0
answers
342
views
Voevodsky's motives and Deligne's systems of realizations
$\newcommand{\gm}{\mathrm{gm}}$Let $\mathbf{DM}_{\gm}(\mathbb{Q},\mathbb{Z})$ be Voevodsky's category of geometric motives over $\mathbb{Q}$ with coefficients in $\mathbb{Z}$ (e.g. as on p.124 of ...
- 15.4k
4
votes
0
answers
219
views
Generate periods only by smooth varieties
Like explained in this passage that a period is a complex number whose real and imaginary parts are integrations of rational functions over $\mathbb{Q}$ on some $\mathbb{Q}$-semi-algebra set in $\...
- 275
4
votes
0
answers
488
views
Deligne's letter to Soulé from 1985
There is a famous letter of Deligne to C. Soulé in which, apparently, Deligne first formulated the conjecture on the existence of an abelian category of mixed motives, extending Grothendieck's pure ...
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