Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

6
votes
1answer
327 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 ...
3
votes
0answers
102 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 ...
8
votes
1answer
278 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? ...
3
votes
0answers
165 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 ...
8
votes
1answer
317 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 ...
9
votes
2answers
279 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)[...
4
votes
0answers
265 views

A question on the slice filtration and the slice of the motive of the projective space

In the following $k$ is an algebraically closed field of characteristic $0$. Consider the category $SH(k)$ (the Morel-Voevodsky stable motivic homotopy category). By the work of Voevodsky (see for ...
2
votes
0answers
96 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 $...
11
votes
2answers
643 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
votes
0answers
204 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!
6
votes
1answer
282 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}^{...
4
votes
1answer
213 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 ...
4
votes
0answers
172 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 ...
7
votes
0answers
303 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 ...
4
votes
1answer
170 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} ...
4
votes
0answers
159 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 ...
0
votes
0answers
174 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
votes
1answer
226 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 ...
1
vote
0answers
162 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))$$...
3
votes
0answers
98 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\...
5
votes
1answer
266 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 $...
1
vote
0answers
106 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?
1
vote
0answers
106 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, ...
1
vote
0answers
101 views

Integral coniveau spectral sequences in Hodge Theory

Let $X$ be a smooth projective complex analytic space. We name $\mathcal{H}^*(\mathbf{Z}(n))$ the Zariski sheafification of Betti cohomology with $\mathbf{Z}(n)$ coefficients. We have a "coniveau" ...
0
votes
0answers
27 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}$ ...
1
vote
0answers
182 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 ...
5
votes
1answer
238 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{...
7
votes
1answer
463 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) :...
5
votes
1answer
358 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 ...
3
votes
0answers
26 views

Tate Conjecture birational invariant?

Is the Tate Conjecture stable under birational equivalence? In particular, is the Tate Conjecture for rational varieties known?
3
votes
0answers
26 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}_{...
3
votes
1answer
296 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^{...
5
votes
1answer
239 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
votes
0answers
190 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 ...
11
votes
1answer
795 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}...
6
votes
1answer
590 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) :=$...
1
vote
0answers
146 views

Structure of Deligne cohomology

It is a classical fact that for a smooth and proper complex-analytic space $X$, the Deligne cohomology $H^p_{\mathcal{D}}(X,\mathbf{Z}(q))$, defined as the hypercohomology of the complex $$\mathbf{Z}(...
12
votes
1answer
333 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
votes
0answers
164 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 ...
7
votes
1answer
549 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 ...
3
votes
0answers
192 views

Semisimplicity conjecture

In this short note Ben Moonen proves that over fields of characteristic zero that are of finite type over their prime field, the Tate conjecture about surjectivity of cycle maps implies the semi-...
6
votes
1answer
214 views

Sha finiteness vs $\ell$-primary torsion

Where do I find a proof of the fact that over global function fields of characteristic $p>0$, finiteness of the Tate-Shafarevich group of an abelian variety is equivalent to finiteness of its $\ell$...
1
vote
1answer
340 views

Pull-back of algebraic cycles

Since today is the Chow-variety day, I'm going to ask my question here. Suppose I have a smooth projective variety $X$ over a field of characteristic zero, and a smooth hyperplane $p: H\...
2
votes
0answers
148 views

Codimension restrictions on intersections

This is a question I stumbled across earlier this week. I see a similar one has been asked here. Suppose I have a smooth quasi projective variety $X$ over a field $K$, and I call $\text{Chow}^r(X\...
2
votes
1answer
125 views

Effective cycles of codimension 1 and field extensions

Let $X$ be a smooth quasi-projective variety over a field $k$, with pure dimension $d$, $K/k$ an arbitrary field extension. For any algebraic cycle $\eta$ of codimension $1$ on $X_K$ ($\eta\in Z^1(...
5
votes
1answer
264 views

Around algebraic equivalence of cycles

Let $k$ be a finitely generated field, $X$ a smooth projective $k$-variety, $\ell$ a prime number, $\ell\in k^{\times}$, $r\ge 0$ an integer. The Tate conjecture asserts surjectivity of the cycle ...
4
votes
0answers
211 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 ...
4
votes
1answer
214 views

Borel regulator and Bloch-Beilinson regulators

Is there any relation, either conjectural or known, between the Borel regulator for the Quillen $K$-theory of algebraic number rings, and the Bloch-Beilinson regulator from motivic cohomology to real ...
9
votes
0answers
329 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 ...
11
votes
2answers
890 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 ...