MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

In the answer to this question we saw that there exists a nonsingular quasi-projective threefold over a field with non-finitely generated global sections.

I was talking about this previous question today and the following question came up - given any countably generated noetherian k-algebra R which is an integral domain and whose field of fractions has finite transcendence degree over k, where k is a field does there exist some quasi-projective variety X (by variety I mean an integral separated scheme of finite type over k) such that the ring of global sections of X is R?

It is possible one needs more hypotheses to make this work - if this is false I think it would be interesting to know the class of algebras which can occur.

share|cite|improve this question
up vote 9 down vote accepted

No. Take k[t] and invert countably many relatively prime polynomials. This obeys all of your adjectives (localization preserves noetherianness, the others are obvious.)

However, a ring of global sections must be a subring of some finitely generated k-algebra. (I pointed this out in the last discussion.) Hence, its unit group must be a subgroup of the group of units of a finitely generated k-algebra. If A is any finitely generated k-algebra, then Units(A)/Units(k) is a finitely generated abelian group, and thus can't contain the countably generated group of the above example.

I can't find a reference for the fact about Units(A)/Units(k) at the moment, Tevelev describes this as well known.

share|cite|improve this answer
The fact that Units(A)/Units(k) is finitely generated is easy, at least if A is integral: One may first assume that A is normal by replacing it by its normalisation. If X is a normal compactification of Spec(A) then any unit is determined by its divisor on X upto a unit in k and the divisors supported on the complement of Spec(A) clearly form a finitely generated abelian group. – ulrich Apr 16 '10 at 9:02
Contd. Finite generation of Units(A)/Units(k) is not true if A is not reduced (consider the ring k[x]/x^2); the general reduced case can be deduced from the integral case by localisation. (One must also assume that k is the "constant field", otherwise A could simply be a finite extension of k.) – ulrich Apr 16 '10 at 9:24

No, but for somewhat trivial reasons. Let R be the polynomial ring in countably many variables, with no relations. This is a countably generated k-algebra, and it can't be the ring of functions on a quasi-projective. Any quasi-projective has function field of finite transcendence degree over the base field, because they are birational to hypersurfaces in P^n. Now, if you add the hypothesis that R is countably-generated, reduced, noetherian k-algebra, it might be true, though both reduced and noetherian are necessary hypotheses.

share|cite|improve this answer
Good catch - I've added noetherian and reduced as hypotheses. – Greg Stevenson Oct 26 '09 at 11:53

Your Answer


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.