most recent 30 from http://mathoverflow.net 2013-06-18T07:55:58Z http://mathoverflow.net/feeds/question/102579 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/102579/projective-spaces-with-nonconstant-regular-functions Justin Smith 2012-07-18T20:20:22Z 2012-07-18T20:20:22Z

<p>I can construct a scheme by patching that represents a projective space over an arbitrary ring. I can also prove that, if the ring is a Jacobson domain, the only regular functions on it are constants.</p> <p>If the ring is <em>not</em> Jacobson, (for instance <code>${\mathbb{Z}}_{(2)}$</code> --- integers localized at 2 (or for matter, even the 2-adic integers), it appears that all maximal ideals of $\mathbb{Z}_{(2)}[X_1,\dots,X_n]$ contain 2 so that a polynomial $f\in\mathbb{Z}_{(2)}[X_1,\dots,X_n]$ with even coefficients, evaluates to 0 at all closed points of $\mathrm{Spec}\mathbb{Z}_{(2)}[X_1,\dots,X_n]$. It follows that polynomials like $f(X,Y)=3+2X+4Y$ are effectively constant since $f(t\cdot x,t\cdot y)=f(x,y)$ at every closed point of $\mathrm{Spec}\mathbb{Z}_{(2)}[X,Y]$, and induce a function on the projective space. Does this seem like a reasonable argument?</p>