The motives tag has no usage guidance.

**68**

votes

**7**answers

6k views

### What is the field with one element?

I've heard of this many times, but I don't know anything about it.
What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is ...

**47**

votes

**3**answers

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

**41**

votes

**1**answer

2k 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, www.jmilne.org/math/xnotes/MOT102.pdf), the category of motives is defined to be ...

**38**

votes

**2**answers

2k views

### Langlands in dimension 2: the Yoshida conjecture

Background:
One prominent part of the Langlands program is the conjecture that
all motives are automorphic.
It is of interest to consider special cases that are more precise, if less
sweeping. ...

**25**

votes

**4**answers

2k views

### Understanding the definition of the Lefschetz (pure effective) motive

For all those who are unlikely to have answers to my questions, I provide some
Background:
In some sense, pure motives are generalisations of smooth projective varieties. Every Weil cohomology ...

**25**

votes

**2**answers

1k views

### What are the possible motivic Galois groups over $\mathbb Q$?

Let $E$ be a motive over $\mathbb Q$. (I should precise, that by a motive I mean
here a pure motive over $\mathbb Q$, with coefficients in $\mathbb Q$, that I see here as a conjectural object which ...

**24**

votes

**2**answers

1k views

### Most significant results in motivic integration theory?

I am thinking about reading a course on motivic integration. I have already read certain introductions to the subject; yet I am not sure that they mention all the significant parts of the theory. So, ...

**23**

votes

**4**answers

3k views

### difference between equivalence relations on algebraic cycles

For the definitions of the equivalence relations on algebraic cycles see http://en.wikipedia.org/wiki/Adequate_equivalence_relation.
I want to know how far away from each other the equivalence ...

**23**

votes

**2**answers

1k views

### On Grothendieck's idea on his Standard Conjecture B

Let me recall the Standard Conjecture B (see [1,2] below):
The $\Lambda$-operation of Hodge theory is algebraic.
It more or less says that the partial inverse to “cupping with the class of a ...

**22**

votes

**3**answers

1k views

### t-structures and higher categories?

I'm curious to find out where the viewpoint of higher categories may be useful so here is a somewhat vague question (which may or may not have a reasonable answer).
Given a triangulated category, one ...

**19**

votes

**4**answers

2k views

### Spectrum of the Grothendieck ring of varieties

Here's a problem that may ultimately require just simple algebraic-geometry skills to be solved, or perhaps it's very deep and will never be solved at all. From the comments, some literature and my ...

**19**

votes

**0**answers

1k views

### Grothendieck's letter to Faltings: On the yoga of motives and the degeneration of Leray spectral sequence

In Grothendieck's letter to Faltings, he writes
There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a ﬁrm support ...

**18**

votes

**8**answers

3k views

### What is the proper initiation to the theory of motives for a new student of algebraic geometry?

A preliminary apology is in order: I realize that most of my contributions to this site are in the form of reference requests. I understand that this makes it seem as though I do nothing more than sit ...

**17**

votes

**3**answers

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

**16**

votes

**2**answers

1k views

### Unipotency in realisations of the motivic fundamental group

Deligne, in his 1987 paper on the fundamental group of $\mathbb{P}^1 \setminus \{0,1,\infty\}$ (in "Galois Groups over $\mathbb{Q}$"), defines a system of realisations for a motivic fundamental group. ...

**16**

votes

**1**answer

2k 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 litterature quite hard to follow -"from experts, for experts".
Voevodsky in ...

**16**

votes

**1**answer

1k views

### For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive.
Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...

**16**

votes

**1**answer

1k views

### Connes-Kreimer Hopf algebra and cosmic Galois group

Hi,
I'm interested in the relation between the two following constructions motivated by renormalization:
Connes-Kreimer gives an interpretation of the renormalization procedure in the framework of ...

**16**

votes

**1**answer

889 views

### constants in Gamma factors in functional equation for zeta functions.

Usually the Riemann zeta function $\zeta(s)$ gets multiplied by a "gamma factor" to give a function $\xi(s)$ satisfying a functional equation $\xi(s)=\xi(1-s)$. If I changed this gamma factor by a ...

**16**

votes

**0**answers

355 views

### Why is the CM closure of $\mathbb{Q}$ the “ultimate” coefficient field for motives?

In a rough way, a category of motives over a field $k$ with coefficients in a field $K$ gives a universal cohomology theory with coefficients in $K$ for algebraic varieties defined over $k$. I had the ...

**16**

votes

**0**answers

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

**15**

votes

**1**answer

1k views

### Is there a higher Grothendieck ring?

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

**15**

votes

**2**answers

3k views

### Kontsevich's conjectures on the Grothendieck-Teichmüller group?

Reading Kontsevich's "Operads and Motives in Deformation Quantization", I was wondering about the state of the many conjectures concerning the Grothendieck-Teichmüller group in chapter 4. (Also, where ...

**15**

votes

**2**answers

694 views

### Motivic generalisation of Neron-Ogg-Shaferevich criterion

Given a variety $X$ over $\mathbb{Q}$ with good reduction at $p$, proper smooth base change tells us that its $l$-adic cohomology groups are unramified at $p$ (and I'd guess some $p$-adic Hodge theory ...

**15**

votes

**2**answers

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

**15**

votes

**1**answer

3k views

### Deligne's proof of Ramanujan's conjecture

I am trying to understand Deligne's proof of the Ramanujan conjecture and more generally how one associates geometric objects (ultimately, motives) to modular forms.
As the first step, which I ...

**15**

votes

**1**answer

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

**14**

votes

**4**answers

1k views

### Why does one invert $G_m$ in the construction of the motivic stable homotopy category?

Morel and Voevodsky construct the motivic stable homotopy category, a category through which all cohomology theories factor and where they are representable, by starting with a category of schemes, ...

**14**

votes

**4**answers

782 views

### Number of $\mathbb F_p$ points constant mod $p$?

I have some affine varieties $X$ defined over $\mathbb Z$, and associated integers $c(X)$, with the property that $\# X_{\mathbb Z/p} \equiv c(X) \bmod p$ for all $p$. (In particular $c(X)$ is usually ...

**14**

votes

**0**answers

623 views

### Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology

In
[S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70
Serre presents nine conjectures ...

**13**

votes

**2**answers

2k views

### Why does the Gamma function satisfy a functional equation?

In question #7656, Peter Arndt asked why the Gamma function completes the Riemann zeta function in the sense that it makes the functional equation easy to write down. Several of the answers were from ...

**12**

votes

**2**answers

2k views

### Mysterious quotes (at least for me)

I heard two quotes, one from Alain Connes and an other one from Orlov.
Alain Connes was talking about noncommutative geometry and he said the following:
" a noncommutative algebra creates its own ...

**12**

votes

**2**answers

459 views

### What is the coefficient ring of algebraic K theory of the discrete $\mathbb{C}$?

Ordinary (connective) complex $K$-theory is the algebraic $K$ theory of the topological ring $\mathbb{C}$ with analytic topology. One can also study the $K$ theory of $\mathbb{C}$ with discrete ...

**12**

votes

**3**answers

641 views

### Applications of homotopy purity theorem of Morel-Voevodsky

One of the most important theorems in motivic homotopy theory is the homotopy purity theorem of Morel-Voevodsky which says that the motivic Thom space of the normal bundle $\mathcal N_{Z/X}$ of a ...

**12**

votes

**2**answers

1k views

### How is the Ising model an example of a lattice model as per Kontsevich?

In section 3.2 of Kontsevich's very interesting paper "Notes on motives in finite characteristic,", he gives an axiomatic definition of a "lattice model" attached to a Boltzmann datum (V_1,V_2,R), ...

**12**

votes

**1**answer

451 views

### Can there exist Chow motives/motivic cohomology for compact Kähler manifolds?

Can there exist a 'reasonable' extension of the (higher) Chow groups of complex smooth projective algebraic varieties to functors on the category of compact Kähler manifolds? Are there any ...

**11**

votes

**2**answers

1k views

### “Modular forms from Feynman integrals ”?

I would like to learn more about the background of this talk, but found no text on that theme. Do you know more? Edit: An interesting talk by Miranda Cheng (slides).
Edit: A talk today on the theme, ...

**11**

votes

**1**answer

758 views

### Reasons for the use of Nisnevich topology in motivic homotopy theory

The objects of interest in motivic homotopy theory are "spaces"-which are simplicial sheaves of sets on the big Nisnevich site $Sm/k$ of smooth schemes of finite type over a field $k$. I understand ...

**11**

votes

**1**answer

681 views

### Motivic cohomology vs. K-theory for singular varieties

As far as I understand, for a smooth variety $X$ its motivic cohomology could be described as the corresponding piece of the $\gamma$-filtration of (Quillen's) $K^*(X)$; this is completely true for ...

**11**

votes

**1**answer

622 views

### Moduli space of motives vs moduli space of varieties

A (projective) abelian variety $A$ over the complex numbers is determined by $H^1(A,\mathbb{Z})$ together with its Hodge structure and polarization. This miracle means that one can parametrise ...

**11**

votes

**0**answers

897 views

### Has there been any progress on the standard conjectures on algebraic cycles?

What's the current state of these conjectures?
Who is working on them?
In "Standard conjectures on algebraic cycles" Grothendieck says:
"They would form the basis of the so-called "theory of ...

**11**

votes

**0**answers

787 views

### Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...

**11**

votes

**0**answers

658 views

### Linear algebra of elliptic curves over p-adic fields

Unfortunately, the following question is somewhat ill-posed. However, I hope to make what I'm looking for sufficiently clear.
Given two elliptic curves (or Abelian varieties) over $\mathbb{C}$, one ...

**10**

votes

**3**answers

831 views

### why are motives more serious than “naive” motives?

I know my question is a bit vague, sorry for this.
Let $k$ be a field of characteristic zero. Consider the Grothendieck ring of varieties over $k$, usually denoted by $K_0(Var_k)$. This is generated ...

**10**

votes

**2**answers

1k views

### How would a motivic proof of the Riemann hypothesis over finite fields go?

It is well known that Grothendieck had a different idea than Deligne about how one should go about proving the Riemann hypothesis for finite fields. However, since Grothendieck's desired proof never ...

**10**

votes

**2**answers

512 views

### Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?

(For a formulation of the Mumford–Tate conjecture, see below.)
The question
As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...

**10**

votes

**1**answer

443 views

### Which degree does a motivic Galois representation show up in?

Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...

**10**

votes

**1**answer

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

**10**

votes

**1**answer

516 views

### Stable motivic cohomology with finite coefficients?

In this question, which attracted no responces so far, I've asked whether it is possible to extend the Beilinson-Lichtenbaum etale descent rule for motivic cohomology to singular varieties, in ...

**10**

votes

**0**answers

350 views

### The status of automorphic induction

Background: Let $K/F$ be a degree $r$ extension of number fields. It is conjectured that an automorphic representation of GL$_n$ associated to $K$ induces an automorphic representation of GL$_{rn}$ ...