# 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 ...

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) $\...

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 ...

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 ...

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 (...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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.

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} ...

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 ...

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
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. ...

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 ...

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-...

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
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^{\...

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 ...

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))$$
...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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
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^{\...

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}(...

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)$ ...

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 ...

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$, ...

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 ...

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 $\...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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) ...

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)$ ...