Multivariate Hensel's Lemma, but with only one polynomial

Question

One version of Hensel's Lemma is the following statement:

Let $R$ be a commutative ring with a unit. Given a polynomial $Q\in R[X]$ and a root $\alpha$ of $Q$ modulo some ideal $I$ (i.e. $Q(\alpha) \in I$), assuming some non-degeneracy conditions (e.g. $Q$ is square-free), then for every $t > 1$, there exists $\beta_t \in R$ such that $\beta_t = \alpha \mod I$, and $Q(\beta_t) \in I^t$, and furthermore, $\beta_t$ is unique.

The multidimensional generalization of Hensel's Lemma is often presented as:

Given $f_1,\ldots,f_n$ in $R[X_1,\ldots,X_n]$ and a simultaneous root $\alpha \in R^n$ modulo an ideal $I \subset R$ (i.e. $f_i(\alpha) \in I$ for all $i$), assuming some non-degeneracy conditions (e.g. $\det J(\alpha)$ is a unit), there exists $\beta_t \in R^n$ such that $\beta_{t,j} = \alpha_j \mod I$ for all $j$, and $f_i(\beta_t) \in I^t$ for all $i$.

Here, $J(\alpha)$ denotes the evaluation of the Jacobian of $f_1,\ldots,f_n$ on $\alpha$.

My question is: is there an intermediate generalization in between the univariate case and the multivariate case above where we only consider one polynomial $Q\in R[X_1,\ldots,X_n]$, and we simply want to lift roots of $Q$ modulo an ideal $I$ to roots of $Q$ modulo $I^t$? It seems intuitively like an easier thing to do (we don't require simultaneous solutions to a system of polynomial equations). Does this intermediate generalization exist, and if so, what non-degeneracy conditions would we require?

Thank you!

Answer 1

Yes. If the ideal generated by $(I,dQ/dX_1,..,dQ/dX_n)$ is the unit ideal at some mod-$I$ solution of $Q$, one can lift to a mod $I^t$ solution of $Q$.

Proof: It is clear that we merely need to check the induction step, that if we have a mod $I^t$ solution we can get a mod $I^{t+1}$ solution. Suppose $Q(X_1,..,X_n)$ is in $I^t$. Then, for $a_1,...,a_n \in I^t$

$Q(X_1+a_1,...,X_n+a_n)=Q(X_1,...,X_n)+a_1 \frac{dQ}{dX_1} + .... + a_n \frac{dQ}{dX_n} + \epsilon$

where $\epsilon \in I^{t+1}$.

Choose $a_1,\dots, a_n$ such that

$a_1 \frac{dQ}{dX_1}+ \dots + a_n \frac{d Q}{d X_n}=- Q(X_1,...,X_n)$ mod $I^{t+1}$.

This is always possible since we can choose the sum to equal any element in:

$I^t \frac{dQ}{dx_1} + \dots + I^t \frac{dQ}{dx_n} + I^{t+1} = I^t\left(\frac{dQ}{dx_1} + \dots + \frac{dQ}{dx_n} + I\right)=I^t (1)=I^t$.

Then $Q(X_1+a_1,\dots, X_n+a_n) \in I^{t+1}$.