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 $X$ be a variety over an (imperfect) field $k$, that is regular as a scheme. Let $k'/k$ be an algebraic inseparable extension (I am interested in $k'$ being the perfection or the algebraic closure of $k$; yet one can assume that the extension is finite). Then the scheme $X_{k'}$ is not necessarily reduced. Yet what could one say about the corresponding reduced scheme. Is it always regular? Are there any references for this situation?

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

Even if $X_{k'}$ is reduced, it is not necessarily regular: let $p>2$ denote the caracteristic, take $t$ in $k$ which is not a $p$th power, and consider the plane curve $X$ defined by $y^2=x^p-t$. It is geometrically reduced, and over $\overline{k}$ it has a unique singular point, namely $(t^{1/p},0)$. This corresponds to the maximal ideal $(x^p-t,y)$ in $k[x,y]$; in the affine ring of $X$ this ideal is obviously generated by $y$, so the point is regular.

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.