Skip to main content
4 of 6
+explanations
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

Spectrum of the baby motivic ring (+explanations)

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

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 also a plane there given by 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.

Are there any other points? Any more information?

Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129