MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

6 fix

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 memory it appears this was posed by Grothendieck as part of the big program of motives.

Consider classes of complex algebraic varieties X modulo relations

    [X] - [Y] = [X\Y],
[X x Y] = [X] x [Y],


Also, if you're familiar with taking inverse of an affine line, let's do that too: $$\exists A^-1 such that \mathbb A^{-1}\quad \text{such that}\quad [A] * \mathbb A] \cdot [A^-1] \mathbb A^{-1}] = [point] \mathbb A^0].$$

(+ if you want, you can also take idempotent completion and formal completion by A^-1).

It's not hard to see that you can add (formally) and multiply (geometric product as above) those things, so they form a ring. Let's denote this ring  Mot (It's actually very close to what Grothendieck called baby motives.)

And for things that form a ring you can study their Spec. For example, you can talk about points of the ring — each point is by definition a homomorphism to complex numbers.

Question: what are the properties of Spec MMot? How to describe its points?

For example, one point is Euler characteristics \chi $\chi \in \Spec \Mottext{Spec}\,\mathbf{Mot}$, since it's additive and multiplicative (it's even integral!) Any other homomorphism to complex numbers is thus sometimes called generalized Euler characteristics.

 There's also a plane there given by mixed Hodge polynomials (that is, polynomials whose coefficients are weighted Hodge numbers h^{p,q}_k), $h^{p,q}_k$), since Hodge polynomial at a given point satisfies those relations too (see the references soon)below). As Ben says below, things would become even more interesting if we considered this ring for schemes over $\mathbb Z$, because then each $q$ would give a generalized Euler characteristic $\chi_q$ that counts points of $X(\mathbb F_q).$ Are there any other points? Any more information? 
 
 
 
5 retitle

# Spectrum of the babymotivicGrothendieck ring (+explanations)ofvarieties

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. Or maybe it's well-known From the comments, some literature and trivialmy memory it appears this was posed by Grothendieck as part of the big program of motives.

Consider classes of complex algebraic varieties X modulo relations

    [X] - [Y] = [X\Y],
[X x Y] = [X] x [Y],


Also, if you're familiar with taking inverse of an affine line, let's do that too:

    exists A^-1 such that [A] * [A^-1] = [point]


(+ if you want, you can also take idempotent completion and formal completion by A^-1).

It's not hard to see that you can add (formally) and multiply (geometric product as above) those things, so they form a ring. Let's denote this ring  Mot (It's actually very close to what Grothendieck called baby motives hence the title and the notation..)

And for things that form a ring you can study their Spec. For example, you can talk about points of the ring — each point is by definition a homomorphism to complex numbers.

Question: what are the properties of Spec M? How to describe its points?

For example, one point is Euler characteristics \chi \in \Spec \Mot, since it's additive and multiplicative (it's even integral!) Any other homomorphism to complex numbers is thus sometimes called generalized Euler characteristics.

I think there's

There's also a plane there given by mixed Hodge polynomials (that is, polynomials whose coefficients are weighted Hodge numbers h^{p,q}_k), since Hodge polynomial at a given point satisfies those relations too (see the references soon).

4 +explanations

# Spectrum of the baby motivic ring (+explanations)

Consider something like baby Grothendieck motives

Here's a problem that may ultimately require just simple algebraic-geometry skills to be solved, by which I'll mean or perhaps it's very deep and will never be solved at all. Or maybe it's well-known and trivial.

Consider classes of complex algebraic varieties X modulo relations

Also, if you're familiar with taking inverse of an affine line, let's do that too:

    exists A^-1 such that [A] * [A^-1] = [point] where A is an affine line and A^-1 the formal inverse. Also, the ring will be complex numbers. If 

(+ if you want, you can also take idempotent completion and formal completion by A^-1).

Now those things

It's not hard to see that you can be added add (formally) and multipliedmultiply (geometric product as above) those things, so they form a ring, call it M. Let's denote this ring  Mot (It's actually very close to what Grothendieck called baby motives hence the title and the notation.)

And for things that form a ring you can study their Spec. E.g. they have For example, you can talk about points of the ring — each point is by definition a homomorphism to complex numbers.

 Question: what are the scheme properties of Spec M? How to describe its points?For example, one point is Euler characteristics \chi \in \Spec M\Mot, since it's additive and multiplicative (it's even integral!) Any other homomorphism to complex numbers is thus sometimes called generalized Euler characteristics.I think there's also a plane there given by Hodge polynomials (that is, polynomials whose coefficients are weighted Hodge numbers h^{p,q}h^{p,q}_k), since Hodge polynomial at a given point satisfies those relations too. 
 ag.algebraic-geometry homotopy-theory schemes motives euler-characteristics 
 
 
3 edited tags; deleted 93 characters in body