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?