1
$\begingroup$

Let $X$ be a normal surface over a field $k$. Assume that $X$ is singular.

Does there exist a field extension $L/k$ (finite or infinite) such that $X_L$ is nonsingular?

The answer is no in general. Here's an example: $k[x,y]/(y^2-x^3)$. (To get a surface consider the example $k[x,y,z]/(y^2-x^3)$.)

But still, does there exist an $X$ such that the answer is yes?

  • 0
    Regularity is fpqc-local, so there won't be any counterexamples. Perhaps I haven't understood your question. Which $L$ to you take in your counterexample?2011-12-15
  • 2
    In the down-to-earth situation of algebraic-varieties-as-zero-sets-of-families-of-polynomials, a singular point is a point which solves a certain system of polynomial equations: extending scalars cannot make it disappear!2011-12-15
  • 0
    @MarianoSuárez-Alvarez: Sorry for the confusion. I changed the title to make more sense.2011-12-15
  • 0
    @MartinBrandenburg: In my example I claim that $L[x,y]/(y^2-x^3)$ is singular for all $L/k$. Therefore, no matter which base change you make, the origin will remain singular.2011-12-15
  • 1
    Yes I just wanted to add: In the affine case (which you always have locally) the Jacobi criterion tells you if the point is nonsingular, namely that the rank of the Jacobian is maximal. But the rank does not change after some field extension. For example, Neil's parabel becomes after base change the "same" parabel $L[x,y]/(y^2-x^3)$ and the point $(0,0)$ is still singular.2011-12-15
  • 0
    @MartinBrandenburg: Could you expand a bit on what you mean by regularity is fpqc-local, and therefore there won't be any counterexamples?2011-12-15
  • 1
    @Haki: I don't know what you understood in my comment: I was not saying there is any confusion: I was answering your question (Indeed, my point was exactly what Martin wrote)2011-12-15
  • 0
    Ok I get it now. Thnx a lot.2011-12-15

2 Answers 2