Scheme over a not algebraically closed field I'm trying to make a scheme out of an affine variety $V\subset k^n$, when the base field $k$ is not algebraically closed. I wonder if $V$ is the spectrum of its ring of regular functions $\mathcal{O}(V)$, ie functions $f:V\to k$ such that for any point $p\in V$, there exists a neighborhood $U$ of $p$ and two polynomials $Q,R\in k[X_1,\dots,X_n]$ such that $R$ has no zeros on $U$ and $f=\frac{Q}{R}$ on $U$. For example if $V=k=\mathbb{R}$ then $f(x)=\frac{(x−1)(x+2)}{x^2+1}$ is regular on $\mathbb{R}$, but not invertible because it has zeros in 1 and -2.
So unlike the coordinate ring $A(V)=k[X_1,\dots,X_n] / I(V)$, functions in $\mathcal{O}(V)$ have polynomial denominators (without zeros), because $k$ is not algebraically closed.
I don't manage to prove that


*

*a maximal ideal $m$ of $\mathcal{O}(V)$ corresponds to a point of $V$. The denominators ensure that all elements of $m$ have zeros, but not necessarily a unique common zero.

*a prime ideal $p$ of $\mathcal{O}(V)$ corresponds to an irreducible subvariety of $V$.

*if there are more points or subvarieties in Spec $\mathcal{O}(V)$, such as the zero ideal, prove those extra points are generic, i.e. that their topological closure contains $V$.
I understand 2 and 3 are harder, I originally only asked 1 :)
Thanks,
Vincent
 A: Now that OP has precised is definition of regular functions, I believe that this result is not true since for $k^n$, $(0)$ is a prime ideal for the set of regular functions,
A: To avoid any misunderstanding, the way I read your definition, if $k=\mathbb{R}$ and $V=\mathbb{R}$, you are considering the ring of rational functions that have no poles on real numbers, so it includes things like $\frac{1}{x^2+1}$ but not $\frac{1}{x}$.  And you are asking (in that particular case) whether the maximal ideals of that ring are the real numbers.
I have to admit I didn't check too carefully, but I think it follows in general (or perhaps under mild assumptions like $k$ being infinite and perfect) from the results of EGA IV₃ §8 (esp. prop 8.2.13 and cor 8.2.10): if you take the open sets given by the complement of each closed point in $V$ whose residue field is not $k$, and the projective system of affine schemes given by finite intersections of such open sets (i.e., the complements of finitely many closed points whose residue fields are not $k$), the projective limit should (by 8.2.13) be the intersection of all the open sets in question, i.e., its closed points should be the points of $V$ defined over $k$, and it should also be given (by 8.2.10) as the spectrum of the inductive limit which is the ring you defined (because it is the localization which inverts every function that does not vanish on the closed points with residue field $k$).
A: I'm beginning to doubt about my claim. Firstly, consider the prime polynomial $Q=Y^2+(X^2-1)^2\in\mathbb{R}[X,Y]$. It generates a prime ideal in $\mathcal{O}(\mathbb{R}^2)$ that has 2 disconnected points : $(1,0)$ and $(-1,0)$. So its variety is reducible, even though $Q$ is prime.
Secondly, Bochnak, Coste and Roy, in their Real Algebraic Geometry, don't make schemes on real varieties. Instead of prime ideals they use prime cones (sort of half-ideals, positive elements of an ideal, a concept that uses the order of a real field). Then they define the real spectrum as the set of prime cones and build a topology and a sheaf on it. So instead of using the standard concepts of algebraic geometry, they rebuild parallel concepts that make use of the order of the base real field. In return they get semi-varieties defined by polynomial equalities and inequalities, leading to interesting shapes and problems.
Is there a general framework for algebraic geometry, that will handle both those real and algebraically closed cases ?
