Étale extensions of polynomial rings are faithfully flat
We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any étale extension $k[Y_1, \ldots, Y_n]\subseteq k[X_1, \ldots, X_n]$ of polynomial rings (each in $n$ indeterminates) over a commutative ring $k$ is faithfully flat. In particular, if $k$ is an algebraically closed field then any étale polynomial map $k^{n} \to k^{n}$ is surjective.
\section{Introduction}
Faithfully flat extensions abound among ring extensions: any polynomial extension $R\subseteq R[X]$ is faithfully flat, any completion $A\subset\hat{A}$ of a noetherian local ring $A$ is faithfully flat. However, we know little about the following problem: when an \'{e}tale extension $k[\vect Y n]\subseteq k[\vect X n]$ of polynomial rings(each in $n$ indeterminates) over a commutative ring $k$ is faithfully flat?. Let now $k$ be an algebraically closed field. The geometric counterpart of the problem: when an \'{e}tale polynomial map $k^{n} \to k^{n}$ of the affine $n$-space is surjective?, has also been sought, and even in the case of the affine plane over $\mathbb{C}$ it is unknown \cite[p. 415]{Vitushkin75}. In this paper we provide an unconditional solution to the problem. Our main theorem is the following.
\begin{theorem}\label{thm_main_theorem}
	Let $k$ be a commutative ring. Then any \'{e}tale extension  $k[\vect Y n]\subseteq k[\vect X n]$ of polynomial rings(each in $n$ indeterminates) over $k$ is faithfully flat.
\end{theorem}
\begin{corollary}\label{main_corollary}
	Let $k$ be an algebraically closed field. Then any \'{e}tale polynomial map $k^{n} \to k^{n}$ is surjective.
\end{corollary}
\begin{proof}
	See for example \cite[Theorem 46, item ii)]{Wang80}.
\end{proof}
The proof of our main Theorem \ref{thm_main_theorem} is given in Section \ref{sec_proof}, it is based on a characterization obtained by Ohi \cite{Ohi74} for faithfully flat extensions of commutative rings. It turns out that Ohi's criterion is well suited for \'{e}tale extensions of polynomial rings, in Section \ref{Ohi_result} we recall Ohi's result.

In this paper all rings are commutative with an identity element, a ring homomorphism maps the identity to the identity. For a ring $k$, $k^{*}$ denotes the group of units of $k$, and $\operatorname{GL}_{n}\left(k\right)$ denotes the group of $n \times n$ invertible matrices over $k$.
\section{Ohi's criterion for faithfully flatness of extensions}\label{Ohi_result}
The setup for the next two propositions is as follows. Let $R$ and $S$ be rings such that $R \subseteq S$. Suppose that $S$ is generated as a ring by a set of elements in $S$ over $R$, then we have a presentation of $S$ over $R$, i.e., we have an $R$-isomorphism $S\cong R[\{X_{\lambda}\}_{\lambda \in \Lambda}]/I$, where $\{X_{\lambda}\}_{\lambda \in \Lambda}$ is a set of indeterminates over $R$, $R[\{X_{\lambda}\}_{\lambda \in \Lambda}]$ is the polynomial ring in the indeterminates $X_{\lambda}$ over $R$ and $I$ is the ideal of relations.

If $w=r_{0}+r_{1}X^{(1)}+r_{2}X^{(2)}+\cdots+r_{n}X^{(n)}\in R[\{X_{\lambda}\}_{\lambda \in \Lambda}]$, where $r_{0}, r_{1},\,\cdots, \, r_{n} \in R$ and $X^{(i)}$ are monomials in $X_{\lambda}$'s of degree $\geq 1$ such that $X^{(i)}\neq X^{(j)}$ if $i\neq j$, then we define $c(w):=\left(r_{0}, r_{1},\,\cdots, \, r_{n}\right)$ and $c'(w):=\left(r_{1},\,\cdots, \, r_{n}\right)$, that is, the ideals of $R$, generated by $r_{0}, r_{1},\,\cdots, \, r_{n}$ and $r_{1},\,\cdots, \, r_{n}$ respectively.

The following criterion for flatness in terms of the ideal $I$ and the content of polynomials $c(w)$ was given by Chase.
\begin{proposition}[{\cite[Proposition 2.1]{Chase60}}]\label{Chase_Proposition}
	Let $R$ and $S$ be rings as in the above setup. Then $S$ is flat over $R$ if and only if $u\in c(u)I$ for each $u \in I$.
\end{proposition}
Ohi extended Chase's characterization for faithfully flat modules.
\begin{proposition}[{\cite[Theorem 1]{Ohi74}}]\label{Ohi_Proposition}
	Let $R$ and $S$ be rings as in the above setup. Then $S$ is faithfully flat over $R$ if and only if $u\in c'(u)I$ for each $u \in I$.
\end{proposition}

The proof of Chase's criterion Proposition \ref{Chase_Proposition} relies on the following characterization for flatness of quotients of flat modules that goes back to Cartan-Eilenberg.

\begin{lemma}[{\cite[p. 122, Exercise 5]{Cartan-Eilenberg56}}]\label{Cartan-Eilenberg_lemma}
	Let $0 \to I \to F \to M \to 0 $ be an exact sequence of $R$-modules, where $F$ is a flat $R$-module(e.g., free or projective). The following conditions are equivalent:
	\begin{itemize}
		\item[(i)] M is a flat $R$-module. 
		\item[(ii)] For every ideal $A$ of $R$, $AM\cong AF/AI$.
		\item[(iii)] For every ideal $A$ of $R$, $I\cap AF\cong AI$.
	\end{itemize}
\end{lemma}
The proof of this lemma is found, for example, in \cite[Corollary 11.21]{Faith73}. There, condition $(ii)$ appears as an intermediary step in the proof of the equivalence between $(i)$ and $(iii)$. We state it explicitly because we use it in the proof of our main theorem. Chase's result is also recorded in \cite[Proposition 11.26]{Faith73}.

\section{Proof of the main theorem}\label{sec_proof}
Before we get into the proof, let's recall a few facts \cite[p. 478]{Wang80}. Let $k$ be a ring, $R=k[\vect Y n]\subseteq S=k[\vect X n]$ two polynomial rings(each in $n$ indeterminates) over $k$. Then $S$ is finitely presented as an $R$-algebra, in fact, write $Y_{i}=f_{i}\left(\vect X n\right) \in k[\vect X n] $, then
\begin{align*}
S\cong R[\vect Z n]/\left(\vect h n\right), 
\end{align*}
where $R[\vect Z n]$ is the polynomial ring in $n$  indeterminates over $R$ and $h_{i}:=f_{i}\left(\vect Z n\right)-Y_{i}$. We will use an overline $\overline{g}$ to denote the image of $g\in R[\vect Z n]$ in $S$. 

For an extension $R=k[\vect Y n]\subseteq S=k[\vect X n]$ as above the following conditions are equivalent \cite[Theorem 38 and Theorem 7]{Wang80}:
\begin{itemize}
	\item [(i)] $S$ is \'{e}tale over $R$.
	\item[(ii)] The Jacobian matrix $J:=\left(\frac{\partial f_{i}}{\partial X_{j}}\right)^{i=1,\cdots,n}_{j=1,\cdots,n}\in \operatorname{GL}_{n}\left(S\right)$ or equivalently $\operatorname{det}\left(J\right)\in S^{*}=k^{*}$.
	\item[(iii)] $S$ is separable and flat over $R$.
	\item[(iv)] The Jacobian matrix $\overline{J}:=\left(\overline{\frac{\partial h_{i}}{\partial Z_{j}}}\right)^{i=1,\cdots,n}_{j=1,\cdots,n}\in \operatorname{GL}_{n}\left(S\right)$ or equivalently $\operatorname{det}\left(\overline{J}\right)\in S^{*}=k^{*}$. 
\end{itemize}
We now proceed to the proof of our main theorem.
\begin{proof}[Proof of Theorem \ref{thm_main_theorem}]	
	Assume that we have an \'{e}tale extension  $R=k[\vect Y n]\subseteq S=k[\vect X n]$. By the observations above $S$ is finitely presented as an $R$-algebra, i.e., $S\cong R[\vect Z n]/I$, where $I=\left(\vect h n\right)$ is the ideal of $R[\vect Z n]$ generated by the $h_{i}$'s. By Ohi's criterion, Proposition \ref{Ohi_Proposition} $S$ is faithfully flat over $R$ if and only if $u\in c'(u)I$ for each $u \in I$.
	
	Let $u=\sum_{i=1}^{n}g_{i}h_{i}\in I$, where $g_{i}\in R[\vect Z n]$ for $i=1,\cdots,n$, in order to prove that $u\in c'(u)I$ it is enough to prove that $g_{i}\in c'(u)R[\vect Z n]$ for $i=1,\cdots,n$. 
	
	We take the formal partial derivative of $u=\sum_{i=1}^{n}g_{i}h_{i}$ with respect to each $Z_{j}$ to obtain a system of $n$ equations in $R[\vect Z n]$
	\begin{align*}
	\frac{\partial u}{\partial Z_{j}}=\sum_{i=1}^{n}\frac{\partial g_{i}}{\partial Z_{j}}h_{i} + \sum_{i=1}^{n}g_{i}\frac{\partial h_{i}}{\partial Z_{j}},  \qquad j=1, \cdots, n.
	\end{align*}
	Passing to the quotient by $I$ we obtain the following system of $n$ equations in $S$
	\begin{align}\label{syst-equations}
	\overline{\frac{\partial u}{\partial Z_{j}}}= \sum_{i=1}^{n}\overline{g_{i}}\overline{\frac{\partial h_{i}}{\partial Z_{j}}},  \qquad j=1, \cdots, n.
	\end{align}
	As noted above $S$ is \'{e}tale over $R$ if and only if the Jacobian matrix $\left(\overline{\frac{\partial h_{i}}{\partial Z_{j}}}\right)$ is invertible. Then we use the Cramer's rule for commutative rings to solve the system (\ref{syst-equations}) for the $\overline{g_{i}}$'s, expressing them as linear combinations of the $\overline{\frac{\partial u}{\partial Z_{j}}}$'s with coefficients in $S$. This shows that $\overline{g_{i}}\in c'(u)S$ for $i=1,\cdots,n$ because by definition of $c'(u)$ it is always the case that $\frac{\partial u}{\partial Z_{j}}\in c'(u)R[\vect Z n]$  and $\overline{\frac{\partial u}{\partial Z_{j}}}\in c'(u)S$ for $j=1, \cdots, n$.
	
	At the same time we have an exact sequence of $R$-modules
	\begin{align*}
	0 \to I \to R[\vect Z n]  \to S \to 0, 
	\end{align*} 
	where $R[\vect Z n]$ is free over $R$. Also $S$ is flat over $R$ because $S$ is \'etale over $R$. Then Lemma \ref{Cartan-Eilenberg_lemma} item (ii) applied to the ideal $c'(u)\subset R$ gives the canonical isomorphism
	\begin{align*}
	\overline{g_{i}}\in c'(u)S\cong c'(u)R[\vect Z n]/c'(u)I,
	\end{align*}   
	from which we conclude that $g_{i}\in c'(u)R[\vect Z n]$ for $i=1,\cdots,n$ as desired.
\end{proof}
\begin{example}
	Let $k$ be an algebraically closed field of characteristic $p$. Then any map of the form $f=\left(f_{1},\cdots, f_{n}\right):$ $k^{n}\to k^{n}$, $f_{i}(\vect X n)=X_{i}+\left(g_{i}(\vect X n)\right)^{p}$, where $g_{i}\in k[\vect X n]$ are arbitrary polynomials for $i=1,\cdots,n$, is surjective. In fact, this type of map is \'etale, the result follows from Corollary \ref{main_corollary}.
\end{example}

\bibliographystyle{abbrv}

2022-05-03T02:48:06.000
2205
2205.01032
en
https://arxiv.org/abs/2205.01032
We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any étale extension $k[Y_1, \ldots, Y_n]\subseteq k[X_1, \ldots, X_n]$ of polynomial rings (each in $n$ indeterminates) over a commutative ring $k$ is faithfully flat. In particular, if $k$ is an algebraically closed field then any étale polynomial map $k^{n} \to k^{n}$ is surjective.
Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
Étale extensions of polynomial rings are faithfully flat
Qwen/Qwen-72B
1. YES
2. YES