1
$\begingroup$

Lemma 09XI in the stacks project includes a characterization (#5) by Gabber of Henselian pairs $(A,I)$: first, $I\leq \mathrm J(A)$ is contained in the Jacobson radical and second, every monic $f\in A[x]$ which is residually of the form $x^{\deg f-1}(x-1)\in \frac{A}{I}[x]$ has a root in $1+I$.

The proof uses this condition #5 to prove an $A$-algebra morphism from an étale $A$-algebra to $A/I$ lifts to a retraction of the étale $A$-algebra. The actual source for a polynomial as above is lemma 0EM0, whose statement and proof are fairly involved and opaque to me.

Question. Let $A$ be a commutative ring and $I\leq \mathrm J(A)$ an ideal contained in the Jacobson radical. Where do monics $f\in A[x]$ which are residually of the form $x^{\deg f-1}(x-1)\in \frac{A}{I}[x]$ "come from" conceptually? Algebraic and geometric answers are both welcome.

$\endgroup$

Your Answer

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

Browse other questions tagged or ask your own question.