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

Let $K$ be a (perfect) local field, and let $S = \lim (\operatorname{Spec} A_i)_{i=0}^\infty$ be a pro-affine variety over $K$. This means that each $A_i$ is a finite type $K$-algebra and that the affine varieties $\operatorname{Spec} A_i$ form a projective system. Note that $S$ is an affine $K$-scheme which is not of finite type in general.

I have some elementary questions about such schemes.

Q1.Is $S$ regular if and only if $\operatorname{Spec} A_i$ is regular for all $i=0,\ldots$?

Q1*.Is $S$ normal (resp. irreducible or reduced) if and only if $\operatorname{Spec} A_i$ is normal (resp. irreducible or reduced) for all $i=0,\ldots$?

Q2. How can I determine the dimension of $S$ from the dimension of $A_i$. (Assume the schemes to be integral for this question.)

Unfortunately, I have little feeling for such pro-affine varieties at the moment.

A last (and bit vague) question:

Q3. Is there a moduli space of smooth connected pro-affine varieties of given dimension?

share|cite|improve this question
It looks like any affine scheme of countable type over $K$ is a pro-affine $K$-variety in your sense. Am I mistaken? – S. Carnahan Apr 26 '12 at 3:59
I think you're right. You just write $A$ as a direct limit of its finitely generated sub-$K$-algebras. – Harry Apr 26 '12 at 7:16

The nature of the ground field $K$ doesn't seem to be very relevant. In general $S$ won't even be noetherian. The only positive result I know is the following: if $S_i$ is regular for all sufficiently large $i$, and the map $S_j\to S_i$ is etale for all sufficiently large $i,j$, then $S$ is noetherian and regular (and $\dim S=\dim S_i$ for all sufficiently large $i$).

share|cite|improve this answer

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.