Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This might be a somewhat silly and inconsequential question, but it's aroused my curiosity. One has the theorem in commutative algebra that the integral closure of a domain $A$ in its field of fractions $Q(A)$ is the intersection of all the valuation subrings of $Q(A)$ containing $A$. This naturally leads to the impulse to define the ring of integers of an arbitrary field $k$, independent of any particular subring, to be the intersection of all valuation subrings of $k$. Really what one is doing here is taking the integral closure of the prime ring, which is to say the minimal integrally closed subring. This gives the answer one would expect for $\mathbb{Q}$ and for number fields. I believe that the ring of integers under this definition of $\mathbb{C}$ is $\overline{\mathbb{Z}}$, and the ring of integers of $\mathbb{R}$ is $\overline{\mathbb{Z}} \cap \mathbb{R}$. So far, so good.

Now here's the question: what happens in algebraic geometry? We could ask about the ring of integers $\mathcal{O}$ of the function field $Q(A)$ of an irreducible affine variety $\textbf{Spec }A$ over an algebraically closed field $k$, and naïvely hope that it coincides with $A$; but there may be many subalgebras of $Q(A)$ whose field of fractions is $Q(A)$, and at most one of these will be its ring of integers. Can we characterise geometrically those affine varieties whose coordinate ring is the ring of integers of its function field?

And what happens for function fields of more general varieties? For projective varieties, whose global ring of functions isn't much to write home about, we might hope for a more interesting answer.

Edit: It occurs to me that as it stands, the (boring) answer to my question is that the ring of integers is always inside the ground field. Let me instead ask the following, related question: for affine or general function fields $k(X)$, is it always true that there is a minimal (but not necessarily unique minimal) subring $R$ such that

$R$ is integrally closed in $k(X)$, and

$k(X)$ is algebraic over the field of fractions $Q(R)$?

If so, what is the geometric meaning of $R$, and when must we have $Q(R) = k(X)$?

share|improve this question
    
For your second question, can't you just take R = k[x_1, ... x_n] where the x_i are algebraically independent and n is the transcendence degree of k(X)? –  Qiaochu Yuan Dec 24 '09 at 23:51
    
This is dependent on the choice of x_i, right? I think you have to worry about which you pick; for example, if I let k(X) = k(t) and R = k[t^2], then R isn't integrally closed in k(X). And is it obvious that I can't choose y_i such that k[x_1, ..., x_n] strictly contains k[y_1, ..., y_n] (even if both rings are integrally closed)? Stop me if I'm talking nonsense. –  Saul Glasman Dec 25 '09 at 0:25
add comment

2 Answers

Congratulations, you've just discovered the definition of normal variety — precisely the one for which locally all rings are integral closures in their fields of fractions.

This definition leads to several inetersting geometric properties, e.g. the singular locus should have codimension at least 2. In particular, curves are normal iff they are nonsingular. See, for example, Rigorous Trivialities.

You second question is harder to understand, perhaps you could rework it a bit given this answer?

share|improve this answer
    
-1: I don't think that normal varieties are directly relevant to the question. –  Pete L. Clark Dec 24 '09 at 22:37
add comment

Suppose X is a curve. Then, wlog, assume X smooth and projective, since we only care about its function field. If R is minimal such that it is integrally closed in k(X),and k(X) is algebraic over the field of fractions Q(R), then R is the coordinate ring of the complement of a point in X and, in particular, Q(R) = k(X). A natural generalization to higher dimensions would be the complement of irreducible divisors on smooth projective varieties but I'm not even sure this is right.

share|improve this answer
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.