The tag has no wiki summary.

learn more… | top users | synonyms

57
votes
7answers
5k 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 ...
44
votes
3answers
6k 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 ...
39
votes
1answer
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 ...
35
votes
2answers
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. ...
23
votes
4answers
2k 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 ...
22
votes
4answers
1k 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 ...
21
votes
2answers
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, ...
21
votes
3answers
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 ...
21
votes
1answer
670 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 ...
18
votes
4answers
1k 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 ...
17
votes
8answers
2k 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
3answers
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 ...
17
votes
0answers
710 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 firm support ...
16
votes
1answer
661 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
1answer
839 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 ...
15
votes
1answer
615 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 ...
15
votes
1answer
804 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 ...
15
votes
0answers
294 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)$, ...
14
votes
2answers
945 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. ...
14
votes
2answers
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 ...
14
votes
2answers
610 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 ...
14
votes
2answers
525 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 ...
13
votes
1answer
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 ...
13
votes
1answer
1k 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 ...
13
votes
1answer
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 ...
13
votes
0answers
502 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 ...
12
votes
2answers
1k 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
2answers
385 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
2answers
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), ...
11
votes
4answers
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, ...
11
votes
3answers
541 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 ...
11
votes
1answer
615 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
0answers
639 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
2answers
972 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
2answers
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, ...
10
votes
1answer
444 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 ...
10
votes
1answer
390 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 ...
10
votes
1answer
460 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 ...
10
votes
0answers
567 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 ...
10
votes
0answers
870 views

Are there analogues of Beilinson's conjectures for motives with coefficients?

There's a body of wisdom (following Beilinson, Bloch, Deligne, ...) relating mixed Tate motives, motivic cohomology, algebraic K-theory, special values of L-functions, and polylogarithms. My ...
9
votes
3answers
1k views

Are there “motivic” proofs of Weil conjectures in special cases?

This is a question meant as a first step to get into reading more on Weil conjectures and standard conjectures. It is known that the standard conjectures on vanishing of cycles would imply the Weil ...
9
votes
2answers
868 views

Status of Beilinson conjectures?

(I hesitate to post that question here, but I received on answer on FB:) Does anyone know how the current status of work on them is? And how the possible generalizations etc. which one thinks ...
9
votes
6answers
1k views

Kunneth formula for motivic cohomology

I was wondering when the Kunneth formula holds for motivic cohomology: $$ H^p(X,A(\alpha)) = \bigoplus_{i+j=p;\beta+\gamma = \alpha} H^j(X,A(\beta)) \otimes H^i(X,A(\gamma)) $$ where ...
9
votes
1answer
634 views

Are two conjectural descriptions of the motivic t-structure (via cohomology and via affine varieties) known to be equivalent?

I know of two conjectural descriptions of the motivic $t$-structure for Voevodsky's motives. The first one is based on the conjecture that Weil cohomology theories should yield exact and ...
9
votes
1answer
768 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 ...
9
votes
1answer
287 views

Is there a yoga of effectivity for motives and their realizations?

Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...
8
votes
1answer
665 views

Motivic characterization of affine spaces

Let $k$ be a field and let $X$ be a smooth irreducible variety over $k$. Suppose that I know that the image of $X$ in the Grothendieck group of varieties over $k$ is equal to that of a) ${\mathbb ...
8
votes
3answers
2k views

ubiquitous quantum cohomology

Manin stressed that every projective scheme should have a quantum-cohomology structure. I'd like to know more about that. And since the varieties considered in texts about monodromy resp. vanishing ...
8
votes
2answers
920 views

Artin motives, References for.

I find the following description of Artin motives in Wikipedia. Since these seem to be quite related to number theory, I am interested to learn more in that context. I request the experts available in ...
8
votes
1answer
686 views

Motives from the fundamental group made nilpotent

I am reading the fascinating paper of Deligne on "le groupe fondamental de la droite projective moins trois points", and other stuffs related to anabelian geometry. This suggested the following ...