# Does the fiber product of two regular varieties over perfect field remain regular?

k is a perfect field. X and Y are two regular varieties over k. Does their fiber product over k remain to be regular?

Note: When k is algebraically closed it's true by Jacobian criterion. When k is not perfect there's counter-example.

-
Just out of curiosity, what's the counterexample? – S. Carnahan Oct 23 '09 at 6:02
Let the field be F_2(t). The two rings are A=F_2(t)[x,y]/(y^2+x^3+tx), B=F_2(t,s)/(s^2-t), which is actually a field. – Taisong Jing Oct 24 '09 at 5:34
The notion of smooth and regular coincides when the residue field of the point is perfect. It seems that the condition in the problem is not enough – user70159 Apr 5 '15 at 8:17

## 1 Answer

The answer is yes. Indeed, over a perfect field the notions of smooth and regular coincide so it follows from the fact that base change and composition preserve smoothness.

-