Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
307 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-...
2 votes
1 answer
735 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\...
8 votes
1 answer
414 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$...
2 votes
0 answers
261 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
1 answer
172 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
1 answer
482 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 ...
5 votes
0 answers
397 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
1 answer
564 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
0 answers
463 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 ...
12 votes
3 answers
2k views

Motivic vs Deligne cohomology

Where can I find the construction of the cycle class map from motivic cohomology to Deligne cohomology of smooth projective varieties over the complex numbers? It should be a construction by Bloch ...
29 votes
3 answers
2k views

$\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that $M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$ and $\zeta(n)$, ...
12 votes
0 answers
811 views

Number field analog of Artin-Tate $\Rightarrow$ BSD?

What is the difference between the alternating product of the Hasse-Weil $L$-functions of the generic fiber of an arithmetic scheme $X\to\text{Spec}(\mathbf{Z})$ and the zeta function of $X$? (each ...
5 votes
0 answers
513 views

Poincaré duality for motivic cohomology

Is Poincaré duality for étale motivic cohomology known for projective regular (not necessarily smooth, just regular) schemes over Dedekind rings? More precisely, two questions. Let $f: \mathcal{X}\to\...
6 votes
0 answers
334 views

Current state of Serre's Motives conjectures in Seattle

It would be worth if we have a current state of the conjectures of Propriétés conjecturales des groupes de Galois motiviques et des représentations l-adiques. J P Serre. In Motives, Seattle And ...
11 votes
3 answers
1k views

Why linearization leads to arithmetization?

Sorry for this question, but I think it is really important the intuition here. Motives can be seen as the 'best' way of linearizing the study of schemes, des-composing them into "cohomological atoms"...
12 votes
3 answers
1k views

Chow Groups of varieties over number fields

I believe that there is a conjecture that for any smooth projective variety $X$ over a number field $K$, its Chow groups $CH^i(X)$ (or at least $CH^i(X)\otimes_{\mathbf Z} \mathbf Q$) are finitely ...
7 votes
1 answer
710 views

A question on Voevodsky´s categories

I want to try to understand the Voevodsky´s big triangulated categories of motives $DM$ and $DM^{eff}$. Unfortunately, I am being not able to find answers to the following, too vague, questions: 1.- ...
16 votes
1 answer
3k views

Tate twists and cohomology of $\mathbf{P}^1$

I was wondering if anyone could give me some intuition as to why, for a smooth projective variety $X$ over $\mathbf{C}$ of complex dimension $d$, the Tate twist on $H^n(X(\mathbf{C}),\mathbf{Z})$ to ...
2 votes
1 answer
164 views

Full lattice images and Hodge decomposition

Let $X$ be a smooth and proper complex analytic space, or a Kahler complex manifold. Is the image $\Lambda$ of the finitely generated abelian group $H^{2i}(X,\mathbf{Z})$ into $J := H^{2i}(X,\mathbf{C}...
8 votes
1 answer
432 views

Finiteness aspects of Deligne cohomology

Say $X$ is a smooth projective variety over $\mathbf{C}$, and $\mathcal{X} = X^{\rm an}$ its $\mathbf{C}$-analytic space. For what integers $i,d$ is the Deligne cohomology $H^i_{\mathcal{D}}(\mathcal{...
2 votes
0 answers
403 views

relations between nori motives and pure motives

The category of Nori motives $NMM$ is defined by tools of graph category. I think one can similarly define a category $EM$ as the graph category of $P(k)$ (the graph of projective smooth k-varieties) ...
11 votes
3 answers
2k views

Reference for Nori motives

I would like to study Nori motives and I am a complete outsider of the subject. I do, however, have background on Chow motives, Voevodsky motives $\mathrm{DM}$ and his stable homotopy category $\...
2 votes
0 answers
141 views

Are Generalized Involution Varieties hyperlane sections of Generalized Severi Brauer Varieties?

Let $A$ be a central, simple algebra of degree $2n$ with orthogonal involution $\sigma$. Let SB$(A)$ the Severi-Brauer variety, which is the variety of left ideals of reduced dimension one in $A$. ...
71 votes
1 answer
8k views

What is the relationship between motivic cohomology and the theory of motives?

I will begin by giving a rough sketch of my understanding of motives. In many expositions about motives (for example, http://www.jmilne.org/math/xnotes/MOT102.pdf), the category of motives is defined ...
12 votes
0 answers
1k views

Use of derivators to the theory of motives?

This is a rather imprecise question but i think this could become a interesting pool of ideas and comments. The theory of motives has evolved to a complex field of research the moment Voevodsky (and ...
28 votes
3 answers
2k views

What do you lose when passing to the motive?

I contemplated about what information about a scheme we lose when passing to its motive. I came up with the following examples: The projective bundle of a vector bundle does only depend on the rank ...
4 votes
0 answers
537 views

Why do motivic stacks make sense?

In the paper "Motivic model categories and motivic derived algebraic geometry", Yuki Kato, whose email-address I sadly couldn't find out, describes a procedure to "motivy" the objects of any $(\infty,...
18 votes
2 answers
1k views

Grothendieck ring of "varieties carrying a function"

Fix a base ring $R$, and consider pairs $(X,f)$ where $X$ is a scheme of finite type over $R$ and $f:X\to R$ is an $R$-valued algebraic (not constructible!) function on $X$. I want to consider a ...
24 votes
3 answers
4k views

How are motives related to anabelian geometry and Galois-Teichmuller theory?

In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
6 votes
1 answer
1k views

Intuition for polarized Hodge structures

A Hodge structure can be defined as a real, algebraic representation of the Deligne torus ${Res}^\mathbb{C}_{\mathbb{R}}\mathbb{G}_m$. Coming from Kahler manifolds the intuition for this is clear. The ...
10 votes
1 answer
1k views

Motives associated to a Number Field

Suppose $k$ is a number field, i.e. an extension of $\mathbb{Q}$ of finite degree, so we have a natural inclusion $\mathbb{Q} \rightarrow k$, which induces a morphism, \begin{equation} \text{Spec}\,k \...
19 votes
3 answers
2k views

$p$-adic periods

For a variety $X$ defined over $\mathbb{Q}$, there's a (functorial) comparison isomorphism $$ H^i_{dR}(X)\otimes\mathbb{C}\to H^i_B(X,\mathbb{Q})\otimes\mathbb{C}. $$ If we pick $\mathbb{Q}$-bases for ...
3 votes
1 answer
438 views

Virtual Lefschetz motive

Hi there, I have a question which popped up while reading papers on motives. Let $V_k$ be the category of (projective) k-varieties, and let $K_0(V_k)$ be the Grothendieck ring of $V_k$; then $\...
10 votes
1 answer
477 views

Equivalence of rational Voevodsky motives: partial Converse to Conjecture of Orlov

There is a conjecture of Orlov stating that if $X$ and $Y$ are smooth projective complex varieties that are derived equivalent (equivalent bounded derived categories of coherent sheaves), then their ...
10 votes
2 answers
1k views

What implications would a solution of the *Standard Conjectures* have on the *Hodge Conjecture*?

I'm new to the field, so I just would like to know what implications would have a solution of the Standard Conjectures on the Hodge Conjecture. I read somewhere they are related in some way, but I don'...
4 votes
0 answers
244 views

Effectivity and Lower Shriek for Voevodsky Motives

I am in a situation where I need a result of the following form. Suppose $X$ is a smooth $k$-variety, $U$ is a dense open subvariety with complement $Z$ a smooth divisor. Let $\pi^X:X\rightarrow\text{...
12 votes
1 answer
529 views

Quadrics in the Grothendieck ring

Let $\mathcal{Q}$ be an irreducible quadric in $\mathbb{P}^n(k)$, with $n \geq 2$ and $k$ a finite field. Let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. It is well known (it appears) that ...
9 votes
0 answers
699 views

Motivic Galois theory and Betti realizations?

Why Motivic Galois groups are defined with Betti realizations? (In fact Absolute Galois groups can be defined in this way (with Betti realizations), why they are so related?).
29 votes
1 answer
2k views

Is there a higher Grothendieck ring of varieties?

Fix a field $k$. The Grothendieck ring $K_0(\mathrm{Var}_k)$ of varieties over $k$ is defined as the quotient of the free abelian group on isomorphism classes of algebraic varieties by the scissor ...
23 votes
2 answers
2k views

Why would the category of Motives be Tannakian?

After reading the answer to my previous question: What are the different theories that the motivic fundamental group attempts to unify? I decided to read up on Tannakian formalism. Given the ...
6 votes
0 answers
400 views

Hodge Realisation of Mixed Tate Motives

For a field $k$ which satisfies Beilinson-Soule vanishing conjecture, the from Levine's paper, https://www.uni-due.de/~bm0032/publ/TateMotives.pdf There exists an abelian category of mixed Tate ...
3 votes
2 answers
525 views

Clarification on Hanamura's work on $t$ structure of triangulated category of mixed motives

In Hanamura's paper Mixed Motives and Algebraic Cycles III http://intlpress.com/site/pub/files/_fulltext/journals/mrl/1999/0006/0001/MRL-1999-0006-0001-a005.pdf He proved that if assume Grothendieck'...
6 votes
1 answer
314 views

Virtual Motives Infinitely Divisible by Lefschetz Motive

Let $K_0(Var_k)$ be the grothendieck group of the category of $k$-varieties, and call its elements virtual motives. $\mathbb{L}:=[\mathbb{A}^1_k]$ is called the Lefschetz motive. I think that if a ...
4 votes
1 answer
182 views

Explicit description of Verdier quotient of effective motives

Let $DM^{eff}_{gm}(k)$ be the triangulated category of effective geometric motives over some field $k$ (in the sense of Voevodsky), and let $DM^{eff}_{gm}(k)(1)$ be its full triangulated subcategory ...
3 votes
0 answers
330 views

Nearby Cycle Functor and the Limit of a Variation of Hodge Structures

I am reading Ayoub's paper, The Motivic Nearby Cycles and the Conservation Conjecture, http://user.math.uzh.ch/ayoub/PDF-Files/Leiden.pdf In section 2.3, he talks a little about the limit of a ...
13 votes
0 answers
892 views

Stack of Tannakian categories? Galois descent?

I'm having trouble finding a reference for something that I'm guessing the experts worked out long ago. Let's take a local or global field $F$ for this post, and fix a separable algebraic closure $\...
7 votes
1 answer
718 views

Generalised Hodge Conjecture

Further to my question, A Naive Question on Mixed Motives and Mixed Hodge Structures that has received very good replies and suggestions, and I really appreciate it. I am going to ask a question on ...
8 votes
1 answer
846 views

A Naive Question on Mixed Motives and Mixed Hodge Structures

As a physicist, I have some naive questions about mixed motives and its mixed Hodge structure (MHS) realization. Any references, comments, answers will be appreciated! The category of mixed motives ...
26 votes
1 answer
4k views

Voevodsky's counterexample to the existence of a motivic t-structure

I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the literature quite hard to follow -"from experts, for experts". Voevodsky in "...
34 votes
2 answers
6k views

Derived Algebraic Geometry and Chow Rings/Chow Motives

I recently heard a talk about Chow motives and also read Milne's exposition on motives. If I understand it correctly, the naive definition of the Chow ring would be that it simply consists of all ...

1 2 3
4
5
8