All Questions
Tagged with motives ag.algebraic-geometry
359 questions
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
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. ...
- 5,504
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 ...
- 3,574
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 ...
CommunityBot
- 1
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) \...
- 9,061
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 ...
- 208
20
votes
1
answer
831
views
Why would one "attempt" to define points of a motive as $\operatorname{Ext}^1(\mathbb{Q}(0),M)$?
I'm a novice when it comes to motives. (I've read multiple introductory texts.)
I'm attempting to read Galois Theory and Diophantine geometry by Minhyong Kim. In it, he says that "One might attempt, ...
- 10.9k
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
20
votes
1
answer
902
views
Is there any publication of Bombieri about the standard conjectures on algebraic cycles?
In "Standard conjectures of algebraic cycles" Grothendieck says:
"... These [Standard conjectures] are not really new, and they were worked out about three years ago independently by Bombieri and ...
- 188k
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
75
votes
4
answers
16k
views
What's the "Yoga of Motives"?
There are some things about geometry that show why a motivic viewpoint is deep and important. A good indication is that Grothendieck and others had to invent some important and new algebraico-...
CommunityBot
- 1
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 ...
12
votes
1
answer
608
views
Reference - motives of curves
There is a really interesting comment in this question that I was unable to find a reference...
Under the "Tate conjectures, then every motive belongs to the tensor category generated by motives of ...
- 13.6k
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
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 ...
CommunityBot
- 1
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)[...
- 8,972
2
votes
0
answers
188
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 ...
- 5,504
21
votes
1
answer
2k
views
Spectral sequences in $K$-theory
There is an algebraic analogue of the Atiyah-Hirzebruch spectral sequence from singular cohomology to topological $K$-theory of a topological space.
For a field $k$, let $X$ be smooth variety $X$ ...
- 2,327
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}^{...
- 2,300
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 ...
- 148k
9
votes
1
answer
643
views
Torsion in Deligne cohomology
Let $X$ be a smooth projective complex analytic space, $i,p\ge 0$ integers, $\mathbf{Z}(p)_{\mathcal{D}}$ the Deligne complex of $X$, $H^i_{\mathcal{D}}(X,\mathbf{Z}(p))$ its hypercohomology.
What ...
CommunityBot
- 1
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 ...
- 16.9k
14
votes
2
answers
1k
views
Is Deligne cohomology the motivic cohomology of analytic spaces?
Let $X$ be a smooth projective complex analytic space.
We can cook up a complex analytic version of Bloch's cycle complex by declaring
$z^n(X^{\rm an}, m)$
is the free abelian group on all ...
CommunityBot
- 1
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}
...
- 16.9k
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 $\...
- 13.6k
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
5
votes
1
answer
543
views
Is this Mayer-Vietoris sequence motivic?
Suppose $Y$ is a variety defined over $\mathbb{Q}$ and $pt$ is a rational point of $Y$. Let $\pi:X \rightarrow Y$ be the blow up of $Y$ at $pt$ and $D$ be the exceptional divisor. For simplicity let's ...
- 8,972
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
6
votes
1
answer
302
views
Homotopy equivalence between two basepoints of the etale homotopy type of the one-torus
Let $T = \mathbb{G}_m$ be the torus, and let $\tilde{T}$ be its étale universal cover (a pro-object in schemes of finite type). Then both $T$ and $\tilde{T}$ have a well-defined étale homotopy type. ...
- 4,189
3
votes
1
answer
568
views
Absolute Hodge cycles
Let $X$ is a smooth projective variety defined over a finite extension $K/\mathbf{Q}$, $\sigma : K\to\mathbf{C}$ any of the finitely many field embeddings of $K$ into the complex numbers, and call $X^{...
- 35.2k
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
7
votes
2
answers
775
views
actions of the absolute Galois group and the motivic Galois group on étale cohomology
Let $K$ be a field of characteristic $0$; let $\ell$ be any prime; and let $\mathrm{Mot}(K, \mathbb{Q}_{\ell})$ be a Tannakian category of motives over $K$ with coefficients in $\mathbb{Q}_{\ell}$. So,...
- 148k
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
11
votes
1
answer
967
views
How to think about infinite generatedness of motivic cohomology
In this question I previously asked how to think about the motivic complex $\mathbf{Z}(1)_{\mathcal{M}}$, whose Zariski hypercohomology should morally be the "singular cohomology" $H^*((-)\wedge S^{2n}...
- 16.5k
8
votes
1
answer
989
views
How to think about $\mathbf{Z}(n)_{\mathcal{M}}$
One definition of motivic cohomology for smooth schemes $X$ over a field, is via Friedlander-Suslin complexes.
A refresher (you may skip to the question at the bottom)
One defines
(1) $z_n(X,d) :=$...
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