English

\'Etale extensions of polynomial rings are faithfully flat

Commutative Algebra 2024-03-01 v2 Algebraic Geometry

Abstract

We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any \'etale extension k[Y1,,Yn]k[X1,,Xn]k[Y_1, \ldots, Y_n]\subseteq k[X_1, \ldots, X_n] of polynomial rings (each in nn indeterminates) over a commutative ring kk is faithfully flat. In particular, if kk is an algebraically closed field then any \'etale polynomial map knknk^{n} \to k^{n} is surjective.

Keywords

Cite

@article{arxiv.2205.01032,
  title  = {\'Etale extensions of polynomial rings are faithfully flat},
  author = {Lázaro O. Rodríguez Díaz},
  journal= {arXiv preprint arXiv:2205.01032},
  year   = {2024}
}

Comments

There is a gap in the last step of the proof of Theorem 1.1. The author would like to thank R. van Dobben de Bruyn and Sean Cotner for bringing this point to the author's attention