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.
438
questions
3
votes
0
answers
148
views
Simplicial resolution for commutative group scheme
Let $X$ be a quasi-projective $k$-variety. In this case the symmetric power $S^d(X)$ is well-defined. If $S^\bullet(X)=\bigsqcup_{n>0}S^d(X)$, where we suppose $S^0(X)=\operatorname{spec}(k)$, then ...
- 41
2
votes
1
answer
187
views
Removing quasi-projective assumption in the formalism of four operations
In Ayoub's thesis, Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (I), Ayoub proved that given a stable homotopical $2$-functor (Definition 1.4.1) $\...
- 536
3
votes
0
answers
116
views
Direct images commute with homotopy colimits
In Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (II), Ayoub defined the notion of a stable homotopical algebraic derivators; roughly, for a ...
- 536
3
votes
0
answers
183
views
Correspondence between motives and automorphic representations
What I know:
I understand motives via its realization; in Coates' and Perrin-Riou's paper On $p$-adic L-functions Attached to Motives over $\mathbb{Q}$ (see http://doi.org/10.2969/aspm/01710023), the ...
- 688
2
votes
1
answer
212
views
Motives of resolutions of singularities
Suppose $X'$ is a resolution of singularities of a projective variety $X$ over a field $k$ of characteristic 0 that is functorial for smooth morphisms.
How are the (mixed) motives of $X$ related to (...
- 21
3
votes
0
answers
126
views
Grothendieck ring of varieties in positive characteristic, away from the characteristic
In "The universal Euler characteristic for varieties of characteristic zero", Bittner shows that over a field $k$ of characteristic zero, the Grothendieck ring $K_{0}(Var_{k})$ of varieties ...
- 2,137
3
votes
0
answers
150
views
Applications of the theory of derivators to constructing cone functors
One of main reasons that the theory of derivators was introduced is to fix the non-functoriality of the cone construction of triangulated categories. I know that today derivator theory is broad and ...
- 536
2
votes
0
answers
143
views
Map between Mordell-Weil group and Ext of (Mixed) Motives
We know that the motivic cohomology of an abelian variety $A$ over a number field $k$ computes the Mordell-Weil group up to torsion, and so if we were to grant the existence and nice behaviour of ...
- 4,136
3
votes
0
answers
122
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,498
8
votes
0
answers
468
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 ...
- 54.5k
6
votes
0
answers
213
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
4
votes
0
answers
152
views
What are the modularity conjectures for Artin motives?
Classically, singular cohomology is an important tool for studying topological spaces, in particular, complex varieties. In the mid-twentieth century it was realized that there are many analogues of ...
- 477
6
votes
0
answers
197
views
Motives in tropical geometry
Is there a notion of motives in tropical geometry? Similar like the notion introduced by Grothendieck in algebraic geometry.
- 153
2
votes
0
answers
1k
views
When is a subspace of the cohomology of a smooth projective scheme on $k$ a motive?
Let $X$ be a smooth projective scheme over a number field $k$, and $V_{p}$ (resp. $V_{\text{dR}}, V_{\text{B}}$) a sub-space of $H_{et,p}^{\ast}(X)$ (resp. $H^{\ast}_{\text{dR}}(X), H^{\ast}_{\text{B} ...
- 1,025
2
votes
0
answers
85
views
Manifestation of Hecke operator on the category of abelian varieties (or motives)
If we are given some postivie integer $N$ and a prime $p$, then we have the Hecke operator $T_p$ on modular forms, which is a cohomological manifestation of the Hecke correspondence
$$X_0(N)\leftarrow ...
- 4,136
3
votes
2
answers
405
views
Functor between categories of motives
$\DeclareMathOperator\Var{Var}\DeclareMathOperator\Motives{Motives}$Let us assume for the moment that we have a "nice" category of motives, that is for fields $k$ we have a contravariant ...
- 4,136
4
votes
0
answers
400
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. ...
- 5,650
12
votes
2
answers
1k
views
What exactly do the standard conjectures in characteristic zero refer to?
As the title suggest it seems standard conjectures mean different things depending on the context. I had the impression that in characteristic 0 they are a list of conjectures about varieties over an ...
- 5,781
7
votes
0
answers
157
views
Has anyone written about filtered Tannakian categories?
tl;dr Is there any source that discusses the concept of a filtered Tannakian category? I'm writing a paper with this notion and want to know if it's ever been discussed.
The original book by Saavedra-...
- 14.8k
3
votes
0
answers
162
views
Boundedness indices in Voevodsky's smash nilpotence conjecture in family
Let $X$ be a smooth projective variety over an algebraically closed field $k$. Voevodsky introduced the following notion : an algebraic cycle $Z$ in $X$ is smash nilpotent if there exist $N>0$ such ...
- 7,010
7
votes
1
answer
444
views
Is there any theory of "étale cohomology" with algebraic coefficients?
For simplicity, I will restrict attention to untwisted coefficients.
Let $k$ be a finite field of characteristic $p$, and $\ell\ne p$ prime. Can one define a cohomology theory with $\mathbb{Q}_\ell^{\...
- 301
4
votes
0
answers
306
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 ...
- 14.8k
7
votes
2
answers
433
views
Finite generation of motivic cohomology of number fields
Let $F$ be a number field ($F=\mathbb Q$ is fine for my purposes) and let $n\geq2$ be an integer. Is it known whether the first motivic cohomology groups
$$\mathrm H^1(\mathrm{Spec}(F),\mathbb Z(n))$$
...
- 1,740
5
votes
1
answer
210
views
Motive associated to a cuspidal representation of $GSp_{4}$
In the paper by L.Clozel in this book (a French text), there is this conjecture (conjecture 4.5 p139)
Conjecture: Given $\pi$ an algebraic cuspidal representation of $Gl(n)$ of weight $w$ and denote ...
- 1,025
5
votes
0
answers
113
views
Examples of comonoids (coalgebras) in the stable homotopy category $\mathbf{SH}$
My question is both for the topological and for the algebraic/motivic version of the stable homotopy category $\mathbf{SH}$.
It is well known that most cohomologies are represented in $\mathbf{SH}$ by ...
- 2,711
4
votes
1
answer
394
views
What is motivic sheaf intuitively?
I am not very familiar with motif theory, but I do know a little about Hodge theory.
I view (mixed) motif theory as an enhancement of (mixed) Hodge structures.
Q1. Is (mixed) motivic sheaf theory an ...
- 181
5
votes
1
answer
348
views
Which varieties are sums of tensor powers of the Lefschetz motive?
Any smooth projective variety $X$ gives an object $h(X)$ in the category of pure Chow motives. If $X$ is a generalized flag variety, i.e. a quotient $G/P$ where $G$ is semisimple linear algebraic ...
- 21k
22
votes
1
answer
1k
views
Can we state the Riemann Hypothesis part of the Weil conjectures directly in terms of the count of points?
For algebraic curves we can state the Riemann hypothesis part of the Weil conjectures directly as a formula for the number of points on the curves, sidestepping the zeta function. Namely, given a ...
- 21k
4
votes
1
answer
210
views
Functoriality conjectures on the slice filtration
Voevodsky wrote on his paper "Open Problems in the Motivic Stable Homotopy Theory, I" that
Three other groups of conjectures in motivic homotopy theory, not included in to this paper, seem ...
- 2,711
3
votes
1
answer
459
views
Homotopy invariance of $\ell$-adic cohomology
In the end of the Voevodsky’s lectures on cross functors, P. Deligne considers a couple of axioms which define (using the vocabulary of Ayoub's thesis) a stable homotopical 2-functor. Among them, we ...
- 1,034
1
vote
0
answers
76
views
Localization with or without transfers
Let $Sh_{Nis}^{tr}$ be the category of Nisnevich sheaves with transfers of abelian groups over a perfect field. Let $u\colon Sh_{Nis}^{tr}\to Sh_{Nis}$ be the functor “forget transfers” and let $h_0^{\...
- 181
9
votes
1
answer
429
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
3
votes
0
answers
303
views
Stable $\infty$-category of motives
In nLab motive, it defines the derived category of motives as the full sub-$\infty$-category of the $\infty$-category of functors $\mathop{\mathrm{Fun}}(\mathrm{Cor}_k^{\mathrm{op}}, \mathcal S)$ ...
- 978
6
votes
1
answer
312
views
Nisnevich topology inspired by Adeles
I'm quite a newbe in the field of motives & A1 homotopy theory,
so please forgive me if the question is too elementary:
In the intro from wikipedia on Nisnevish topology
is remarked that it's ...
- 5,650
11
votes
1
answer
868
views
How should I think about 1-motives?
By definition, a 1-motive over an algebraically closed field $k$ is the data
$$
M = [X\stackrel{u}{\to}G]
$$
where $X$ is a free abelian group of finite type, $G$ is a semi-abelian variety over $k$, ...
user474983
4
votes
0
answers
207
views
Motives based on Hodge cycles vs algebraic cycles
I am not a specialist of motives. I am afraid my questions are rather naive.
We have the category of (pure) motives based on Hodge cycles by Deligne. In his articles with Milne, morphisms between ...
- 111
4
votes
0
answers
218
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 $\...
- 235
1
vote
0
answers
200
views
Algebraic correspondence as morphisms in Betti cohomology
$\newcommand{\sing}{\mathrm{sing}}$Take a commutative ring $R$ and smooth projective complex varieties $X$ and $Y$. An element $\alpha\in CH^*(X\times Y)_R$ induces the algebraic correspondence for ...
- 357
1
vote
0
answers
120
views
Motivic homotopy categories closed under subobjects and quotients
It is well known that the category $\mathbf{HI}_{\rm Nis}^{\rm tr}(k)$ of $\mathbb{A}^1$-local Nisnevich sheaves with transfers is closed under subobjects and quotients, from the highly nontrivial ...
- 181
1
vote
0
answers
235
views
Non-examples of mixed Tate motives
I was trying to find examples of schemes (preferably smooth) over $\mathbb{C}$ which have motives that aren't mixed Tate. I wasn't able to come up with anything or find an argument that's been written ...
- 19
4
votes
0
answers
438
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 ...
6
votes
0
answers
426
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,519
5
votes
0
answers
175
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.3k
2
votes
0
answers
220
views
Motives (and examples) of projective bundles over projective spaces
If a projective bundle $Y$ over a variety $X$ is obtained from a vector bundle $E/X$ then the cohomology and the motif of $Y$ is known to be closely related to that of $X$. Now, what can one say in ...
- 16.3k
5
votes
1
answer
279
views
A question on motivic zeta-function
It's well-known that over $\mathbb F_q$ every smooth projective conic $C$ is isomorphic to a projective line. So the formula for the motivic zeta-function $Z_{mot}(C)$ is evident since $S^n\mathbb P^1 ...
- 101
3
votes
0
answers
181
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,781
1
vote
1
answer
346
views
Grothendieck rings and the Tannakian formalism
I understand that the Tannakian formalism (which I only "know" extremely superficially) is very important for the theory of motives. I guess "the" conjectural category of motives ...
- 4,015
8
votes
0
answers
485
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,781
9
votes
0
answers
391
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
7
votes
0
answers
176
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,498