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.
459 questions
8
votes
1
answer
603
views
How much of the category of motives can be recovered from automorphisms of the Betti functor
Say we are working with schemes over a field $k\subset \mathbb{C}.$ A motive in the sense of Voevodsky is a functor $Sch\to D^bVect$ from (an appropriate category of) schemes to the DG category of ...
- 7,952
1
vote
0
answers
228
views
Motivic integration of an Abelian variety and its dual are same?
Let $A$ be an abelian variety over $\mathbb{C}$ and $A^*$ the dual Abelian variety. The class of $A$ and the class of $A^*$ in $\mathcal{M}_{\mathbb{C}}=K_0(Var_\mathbb{C})[\mathcal{L}^{- 1}]$ are ...
- 519
21
votes
1
answer
1k
views
When simple cohomological computations predict ingenious algebro-geometric constructions?
Classical algebraic geometry is full of ingenious constructions and miraculous coincidences: 27 lines on a cubic surface are related to Weyl lattice of type $E_6,$ lines on an intersection of four-...
2
votes
0
answers
263
views
Brauer groups and del Pezzo surfaces
Let $k$ be a field of characteristic $0$ und let $X$ be a del Pezzo surface over $k$. Note that $X$ may not have points.
Let us consider $N:=\ker(\mathrm{Br}(k) \rightarrow \mathrm{Br}(k(X))$.
...
- 1,479
4
votes
0
answers
168
views
Derived weight filtration on motivic Galois representations
Thanks to modern techniques (such as the pro-etale site), we can now understand etale (co)homology of varieties and motives as "genuinely" derived (e.g. DG) Galois-equivariant objects. I'm looking for ...
- 7,952
3
votes
1
answer
249
views
Motivic class of mixed Tate motive
Let $k$ be a field (of characteristic zero), $R$ be a ring and let $X\in DM(k;R)$ be a Tate motive. By definition, this means that $X$ is a summand of an object of the smallest strictly full ...
- 113
7
votes
1
answer
551
views
Motivation for Suslin’s Rigidity Conjecture
Suslin Rigidity conjecture states that motivic cohomology
$$
H_{\mathcal{M}}^1(\operatorname{Spec}(F),\mathbb{Q}(n))
$$
of the field $F$ coincides with motivic cohomology for the subfield of ...
- 4,316
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 ...
6
votes
2
answers
600
views
Why is the triangulated category of motives easier than the abelian one?
There are several expository articles with the title "You could have invented [insert something mysterious here]" (a notable one being about spectral sequences, possibly it even started this genre). ...
user141010
1
vote
0
answers
304
views
Does the pure motive determine the Voevodsky motive?
I do not quite understand the construction of Voevodsky motives yet. Let $k$ be a field (possibly not algebraically closed), $X$ be a connected smooth projective $k$-scheme. Does the motive of $X$ in ...
user138661
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
6
votes
1
answer
652
views
$l$-adic periods?
For an algebraic variety $X$ over $\mathbb{Q}$ the comparison isomorphism between Betti and de Rham cohomologies provides the theory of periods with a motivic context whose reformulation as motivic ...
- 61
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
3
answers
1k
views
Motives and homotopy theories of algebraic varieties
The theory of motives is an attempt to cope with the fact that there are many reasonable cohomology theories of algebraic varieties. Now, sometimes your cohomology theory does not just give you a ...
user138661
8
votes
1
answer
492
views
Motives of complex-analytic spaces
In any setting where we have a notion of space and a notion of cohomology theory, we in principle could ask "what are motives in this setting?". In some settings the question can be interesting (i.e. ...
user138661
9
votes
1
answer
931
views
Does a conservativity conjecture imply the standard conjectures?
Does a conservativity conjecture (e.g. Conjecture 2.1 of http://user.math.uzh.ch/ayoub/PDF-Files/Article-for-Steven.pdf) imply the standard conjectures? Specifically I am confused with Beilinson's ...
- 1,024
3
votes
1
answer
217
views
How to cook up an Artin motive from a positive-dimensional variety
I am trying to make sense of the paper "Eigenvalues of Frobenius and Hodge Numbers" (Kisin--Lehrer). I have not succeeded after some hours of intent staring at the screen.
In the proof of Corollary ...
- 31
3
votes
0
answers
193
views
Motivic strong bellows conjecture
There is a theorem due to Gaifullin--Ignashchenko stating that the Dehn invariant of any flexible polyhedron in the $n$-dimensional Euclidean space ($n\geq 3$) is constant during the flexion.
Is ...
user138661
4
votes
1
answer
372
views
$p$-adic realisation of Kummer motive and Frobenius matrix
Suppose $M$ is an object in the abelian category of mixed Tate motives over $\mathbb{Q}$, and it is an extension of $\mathbb{Q}(0)$ by $\mathbb{Q}(1)$
\begin{equation}
0 \rightarrow \mathbb{Q}(1) \...
- 2,971
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
7
votes
1
answer
433
views
Is $\operatorname{dim} H^1$ of an abelian variety the same for any Weil cohomology?
Let $A$ be an abelian variety over a field $k$ of dimension $g$, and $H$ be a Weil cohomology theory for smooth projective varieties over $k$ with characteristic $0$ coefficient field $E$.
Is it ...
- 6,622
1
vote
1
answer
263
views
Motivic knot embedding
I've been trying to be more diligent about reading motivic homotopy theory, and have been reading Levine's 'An Overview of Motivic Homotopy Theory.' I think the subject is fascinating, and I've ...
- 429
15
votes
1
answer
796
views
P-adic Volume Conjecture
Let $M$ be a closed hyperbolic 3-manifold. One can use hyperbolic structure on $M$ to define hyperbolic volume $Vol(M)$. Thanks to Mostow's rigidity theorem the volume depends only on the topology of ...
- 4,316
3
votes
0
answers
182
views
Where is smoothness used in Voevodsky's homotopy theory of schemes? [duplicate]
Let $S$ be a smooth noetherian scheme, and let $Sm/S$ be the category of smooth schemes over $S$. Voevodsky constructs the homotopy category of motives (resp. the stable homotopy category of motives) $...
- 3,019
12
votes
1
answer
596
views
An inverse problem for Grothendieck rings of varieties
Suppose $A$ is a given commutative ring, and suppose that one knows that $A$ is isomorphic to the Grothendieck ring of $k$-varieties for some unknown field $k$.
Can $k$ be recovered from $A$ ? If ...
- 4,547
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
4
votes
0
answers
306
views
Etale cohomology of projective spaces in the rigid analytic setting
Take $K$ a complete non-archimedean field (maybe algebraically closed, to simplify the question), and $\mathbb{P}_K^d$ the rigid projective space over $K$. Can we compute the étale cohomology with ...
9
votes
1
answer
703
views
Motivic cohomology is universal with respect to what (co)homology theories?
I have been told several times, at least implicitly, that motivic cohomology should be universal with respect to Bloch-Ogus cohomology theories. Is it proved somewhere or is it just some folk theorem?
...
- 2,227
4
votes
0
answers
232
views
holomorphic continuation of motivic $L$-functions
The question is rather easy to formulate: when is the $L$-function of a pure motive over $\mathbb{Q}$ expected to have a holomorphic (as opposed to simply meromorphic) continuation to the complex ...
- 41
8
votes
1
answer
417
views
Motive of a conic without points
Let $C\subset \mathbb{P}^2$ be a smooth conic without $k$-points.
Call the Chow $k$-motive in zero-dimensional if it is a sum of $M\mathbb{L}^n$ where $M$ is an Artin motive, i.e. a part of a motive ...
- 399
10
votes
2
answers
534
views
A question about the vanishing of motivic cohomology in negative Tate twist
Let $DM_{\text{gm}}$ be the category of Voevodsky´s geometric motives. Let $p,q\in \mathbb{Z}$ be integers with $p<0$.
Is it true that
$$\text{Hom}_{DM_{\text{gm}}}(M_{\text{gm}}(X),\mathbb{Z}(p)[...
- 761
2
votes
0
answers
187
views
Artin-Tate chow motives and graded Galois representations
Consider the category $\mathsf{Chow}_{\mathbb{Q}}$ of rational pure effective chow $k$-motives. The full subcategory of Artin motives (generated by (X,p,0), X smooth projective zero-dimensional, let $...
- 399
13
votes
2
answers
2k
views
What is the best reference for motives?
I want to learn about homotopy theory on number fields, and I heard that the theory of motives made it possible, so I want to know what is a good textbook for motive theory.
To be honest, I don’t ...
- 153
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
6
votes
1
answer
406
views
Are exotic affine spaces motivic/whatever equivalent to affine space?
This question is inspired by this MO question; in turn by this MO; in turn by these MO, MO.
An exotic affine space is an affine variety $V$ whose $\mathbb{C}$-points are diffeomorphic to $\mathbb{R}^{...
- 24.9k
4
votes
1
answer
301
views
Inequality in the Grothendieck ring of stacks
In the Grothendieck ring of varieties, there are ways of distinguishing classes of varieties, for example $\ell$-adic cohomology. The Grothendieck ring of stacks is a localization of the Grothendieck ...
- 95
4
votes
0
answers
255
views
Quotient of a motive by a finite group
Given a smooth scheme $X$ over a field $k$, we can consider its motive $M(X)$. It is an object in Voevodsky's triangulated category of motives $DM(k,\Lambda)$ where $\Lambda$ is the ring of ...
- 2,670
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
4
votes
1
answer
370
views
Poincare duality for mixed motives
Suppose $k$ is a field of characteristic zero (and we assume it is a number field if necessary). If $U$ is a smooth quasi-projective variety over $k$, then there is Poincare duality,
\begin{equation}
...
- 2,971
4
votes
0
answers
192
views
A question on Nekovar's paper Belinson's Conjectures
In Section 2 of Nevovar's paper "Beilinson's Conjectures", for a pure motive $M$ of the form $h^i(X)(n)$ where $X$ is a projective smooth variety over $\mathbb{Q}$ and $n$ is an integer such that the ...
- 2,971
0
votes
0
answers
328
views
Mixed motives and motivic cohomology
In Scholl's paper "Remarks on special values of $L$-functions", he defines that an object $M$ of $\textbf{MM}_{\mathbb{Q}}$ (the conjectured abelian category of mixed motives with coefficients $\...
- 2,971
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 ...
user92332
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))$$...
user92332
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
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
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?
user119470
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, ...
user119470
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}$ ...
user97068
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 ...
user120812
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