I have a question about a practical application of (some) generalised form of Hensel's Lemma. I cannot find it stated in an appropriate form in Bourbaki or anywhere else, so here goes ...

Let $p$ be an odd prime: we work over the $p$-adic numbers $Q_p$ with ring of integers $Z_p$ and residue field $F_p$. I have a bunch of quadratic and quartic polynomial equations in N variables, with coefficients in $F_p$, and I have a (non-unique) solution set in $F_p^{N}$.

To simplify things assume that the number of variables N exceeds the total number of equations.

Is it possible to conclude from the non-vanishing of some sort of generalised Jacobian determinant, that my solution set lifts to $Z_p$?

  • $\begingroup$ Please do use LaTeX to write down your mathematics, as otherwise it appears very cumbersome. In the FAQ section you can find directions on this... $\endgroup$ – DonAntonio Feb 19 '13 at 13:26

The same proof method works in higher dimension.

Let $F: \mathbb{Z}_p^m \to \mathbb{Z}_p^n$ be our system of polynomial functions.

If $x \in \mathbb{Z}_p^m$ satisfies

$$ F(x) \equiv 0 \pmod {p^e} $$


$$ F(x) \equiv p^e y \pmod {p^{e+1}} $$

for some vector $y$. Furthermore, the Taylor expansion about $x$ tells us

$$ F(x + p^e z) \equiv p^e y + p^e dF(x) \cdot z \pmod{p^{e+1}} $$

so as long as

$$ dF(x) \cdot z \equiv -y \pmod p$$

always has a solution for the vector $z$ (e.g. more variables than equations and $dF(x)$ has full rank), then lifts exist.

  • $\begingroup$ (to anybody seeing this comment:) Is it possible to get a proper reference for the statement in this answer? $\endgroup$ – Daniel Jan 30 at 17:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.