MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X/\mathbb C$ be an affine scheme of finite type, and let $\mathbb Z[X(\mathbb C)]$ be the free abelian group generated by the $X(\mathbb C)$.

Can the elements of $\mathbb Z[X(\mathbb C)]$ be identified with the $\mathbb C$-points of an ind-scheme $\mathcal X$ over $\mathbb C$ so that the natural map $(X^n\times X^m)(\mathbb C)\to\mathbb Z[X(\mathbb C)]$ given by $(x_1,\ldots,x_n,y_1,\ldots,y_m)\mapsto\sum x_i-\sum y_i$ lifts to a map $X^n\times X^m\to\mathcal X$?

There is an obvious strategy to construct such an ind-scheme, but I don't know whether it works. For ease of notation, let us observe that there is an exact sequence: $$0\to\mathbb Z[X(\mathbb C)]_0\to\mathbb Z[X(\mathbb C)]\xrightarrow\epsilon\mathbb Z\to 0$$ where $\epsilon$ is simply the sum of all the coefficients. Thus it suffices to describe $\mathbb Z[X(\mathbb C)]_0$ as the $\mathbb C$-points of an ind-scheme over $\mathbb C$. Now we look at the map $(X^n\times X^n)(\mathbb C)\to\mathbb Z[X(\mathbb C)]_0$. If we are lucky (this is probably where $X$ being affine is helpful), then perhaps there is a scheme $Y_n$ and a surjection $X^n\times X^n\to Y_n$ so that the map above factors as: $$(X^n\times X^n)(\mathbb C)\to Y_n(\mathbb C)\to\mathbb Z[X(\mathbb C)]_0$$ where the second map is injective. Here the coordinate ring of $Y_n$ should be a subring of the coordinate ring of $X^n\times X^n$, and it is not immediately clear that the natural choice would be of finite type. Hopefully there are then natural inclusions $Y_1\hookrightarrow Y_2\hookrightarrow\cdots$ giving the desired ind-scheme.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.