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

Let $k$ be a field. Let $X$ be a reduced $k$-scheme of finite type. If $X$ is geometrically reduced, then it is a basic result that $X$ has a regular point (i.e. the local ring at that point is regular). If $k$ is not perfect, then $X$ need not be geometrically reduced. I am looking for an example of a reduced variety over a non-perfect field $k$ which has no regular points at all (if such a thing exists?)

share|improve this question
1  
Amusingly, there are examples of 1-dimensional (non-excellent) noetherian domains that are non-regular at all maximal ideals, examples given by Mel Hochster. Try Google with "Hochster" and "non-regular", or something like that (or maybe someone else will remember where this was previously mentioned on MO). –  BCnrd Oct 1 '10 at 16:35

2 Answers 2

I can just add a reference to Angelo's comment. If $X$ is a scheme locally of finite type over a field $k$ (or more generally over a complete local noetherian ring $k$), then $Reg(X)$ is open. Cf. EGA IV.6.12.5 and IV.6.12.8. The results seem to go back to Nagata and Zariski.

If $X$ is of finite type over a field $k$ and reduced, then Angelo's argument shows that $Reg(X)$ is non-empty as well. Hence $Reg(X)$ will also contain closed points in that case.

share|improve this answer

No, this is impossible. The regular locus of $X$ is open, and contains the generic point of each of its irreducible components, so it is dense in $X$.

share|improve this answer

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.