arXiv:1605.05577v1 [math.CV] 18 May 2016

AN IRREDUCIBILITY CRITERION FOR POWER SERIES

GUILLAUME ROND AND BERND SCHOBER

Abstract. We prove an irreducibility criterion for polynomials with power series
coefficients generalizing previous results given in [GBGP] and [ACLM1].

1. Introduction
The aim of this note is to provide a natural approach to an irreducibility criterion for
polynomials with power series coefficients (see Theorem 2.3). The first version of the
criterion has been given in [GBGP] and then has been generalized in [ACLM1]. In this
note we give a more natural and elementary proof of a general version of this criterion.
In particular, our statement holds over any field while the previous ones were only proven
for algebraically closed fields of characteristic zero. Moreover, the only hypothesis that
we need is that the projection of the Newton polyhedron has exactly one vertex while the
previous known versions were involving additional technical conditions.
Let us recall that the proof given in [GBGP] uses toric geometry and Zariski Main Theorem
while the one provided in [ACLM1] is based on a generalization of the Newton’s method
for plane curves. Our proof is essentially based on the following well known version of
Hensel’s Lemma:
Proposition 1.1 (Hensel’s Lemma). Let (R, m) be a Henselian local ring. A monic
polynomial P (Z) ∈ R[Z], that is the product of two monic coprime polynomials modulo
mR[Z], is in fact the product of two coprime monic polynomials.
We begin by giving some definitions and our main result (Theorem 2.3). In a second part
we give an example showing that our main result cannot be extended in a more general
setting.
Finally, let us mention that this irreducibility criterion is very useful in the study of
quasi-ordinary hypersurfaces (see [ACLM2] or [MS]).
2. An irreducibility criterion
We denote by k[[x]] the ring of formal power series in n variables x := (x1 , . . . , xn ) over a
field k. For any vector β ∈ Zn we set
xβ := xβ1 1 · · · xβnn
and for any positive integer q
xq := xq1 · · · xqn .
Let P (Z) ∈ k[[x]][Z] be a monic polynomial with coefficients in k[[x]]. We denote by
NP(P ) the Newton polyhedron of P (Z). Let us write
X
cα,j xα Z j .
P (Z) = Z d +
α∈Zn
,j<d
≥0

1991 Mathematics Subject Classification. 12E05, 13F25, 14B05, 32S25.
G. Rond was partially supported by ANR projects STAAVF (ANR-2011 BS01 009) and SUSI (ANR12-JS01-0002-01).
1

2

GUILLAUME ROND AND BERND SCHOBER

In this note we assume that P (Z) 6= Z d . The associated polyhedron of P , denoted by ∆P ,
is the convex hull of


dα
| cα,j 6= 0 + Rn
≥0 .
d−j
Note that ∆P is the projection of NP(P ) from the point (0, . . . , 0, d) on the subspace given
by the first n coordinates.
X
Definition 2.1. Let ω ∈ Rn
bα xα of k[[x]] we set
>0 . For a non zero element b =
α∈Zn
≥0

νω (b) := min{α · ω =

n
X
i=1

and Inω (b) :=

αi ωi | bα 6= 0} ∈ R≥0
X

bα x α .

α|α·ω=νω (b)

For such a ω and P (Z) ∈ k[[x]][Z] as before we define ωn+1 ∈ R≥0 by
min{v · ω | v ∈ ∆P }
∈ R≥0 .
d
Then we set ω ′ := (ω, ωn+1 ) and we define
ωn+1 :=

νω′ (P ) := min{α · ω + jωn+1 | cα,j 6= 0} = dωn+1
X
cα,j xα Z j .
and Inω′ (P ) := Z d +
(α,j)|(α,j)·ω ′ =νω′ (P )

This former polynomial is weighted homogeneous for the weights ω1 ,..., ωn , ωn+1 .
Definition 2.2. Let P (Z) ∈ k[[x]][Z] be a monic polynomial of degree d in Z. The
n
polynomial P has an orthant associated polyhedron if ∆P = dγ + Rn
≥0 for some γ ∈ Q≥0 .
In this case Inω′ (P ) does not depend on ω and we denote it by PIn , i.e.
X
PIn (x, Z) := Z d +
cα,j xα Z j .
α =γ
(α,j)| d−j

In this case we define
P (Z) := PIn (1, Z) = Z d +

X

cα,j Z j ∈ k[Z].

α =γ
(α,j)| d−j

If we write γ =

β
,
q

where β ∈ Zn
≥0 , q ∈ {1, . . . , d} and gcd(β1 , . . . , βn , q) = 1, we have that
xdβ P (Z) = PIn (xq1 , . . . , xqn , xβ Z).

Here is a picture of the Newton polyhedron of a polynomial having an orthant associated
polyhedron with n = 2 (thick lines represent the edges of the Newton polyhedron) :
Z
(0, d)

(α, j)

x2
dγ =
x1

dα
d−j

AN IRREDUCIBILITY CRITERION FOR POWER SERIES

3

Theorem 2.3. Let us assume that P (Z) is irreducible and has an orthant associated
polyhedron. Then PIn (x, Z) ∈ k[x, Z] is not the product of two coprime polynomials.
Proof. Let us assume that PIn (x, Z) is the product of two coprime polynomials of k[x, Z].
We denote by P1 (x, Z) and P2 (x, Z) these two polynomials, so we have
PIn (x, Z) = P1 (x, Z) · P2 (x, Z),
and we may assume that they are monic respectively of degree d1 and d2 (with d1 +d2 = d)
since PIn (x, Z) is monic. Let us write P i (Z) := Pi (1, Z) for i = 1, 2. Thus we have that
P (Z) = P 1 (Z) · P 2 (Z).
α

j

Let M = M (x, Z) := c x Z be a monomial of P (x, Z). We have that
M (xq1 , . . . , xqn , xβ Z) = c xqα+jβ Z j
and qα + jβ ≥∗ dβ since
Thus we have
(1)

α
d−j

≥∗

β
q

if j < d, where ≥∗ denotes the product order on Rn
≥0 .

P (xq1 , . . . , xqn , xβ Z) = xdβ P (Z) + Q(x, Z)



for some Q(x, Z) ∈ (x)k[[x]][Z]. In particular, P (Z) + Q(x, Z) = P 1 (Z)P 2 (Z) modulo
(x). Thus by Hensel’s Lemma
P (Z) + Q(x, Z) = Pe1 (x, Z) · Pe2 (x, Z),

for some monic polynomials Pe1 (x, Z) and Pe2 (x, Z) ∈ k[[x]][Z] equal respectively to P 1 (Z)
and P 2 (Z) modulo (x). So we have that

 

P (xq , xβ Z) = xd1 β Pe1 (x, Z) · xd2 β Pe2 (x, Z)
and

But we have that

i
h
xdi β Pei (x, Z)

In

= Pi (xq , xβ Z) for i = 1, 2.

xdi β Pei (x, Z) = Ri (x, xβ Z)
for some monic polynomials Ri (x, Z) ∈ k[[x]][Z] of degree di . Thus
P (xq , Z) = R1 (x, Z) · R2 (x, Z)

and RiIn (x, Z) = Pi (xq , Z) ∈ k[xq , Z] for i = 1, 2. Since PIn = Inω′ (P ) and RiIn =
q
Inω′ (Ri ) for i = 1, 2, for any ω ∈ Rn
>0 we can apply Lemma 2.5 for P0 = P (x , Z) to see
that R1 (x, Z), R2 (x, Z) ∈ k[[xq ]][Z]. Hence P is not irreducible.

Remark 2.4. The key point in the proof of this theorem is the fact that equation (1) is
satisfied when P has an orthant associated polyhedron.
Lemma 2.5. Let P0 ∈ k[[xq ]][Z] be a monic polynomial, where q ∈ Z>0 , and let us assume
that P0 = R1 R2 , where R1 and R2 are monic polynomials of k[[x]][Z]. Let ω ∈ Rn
>0 and
let ω ′ be defined as in Definition 2.1. If Inω′ (R1 ), Inω′ (R2 ) ∈ k[xq , Z] and if they are
coprime then R1 , R2 ∈ k[[xq ]][Z].
Proof. If char(k) = p > 0 let us write q = pe m with m ∧ p = 1. If char(k) = 0 we set
m := q and p := 1. Then we define
Y
e
Q :=
R1 (ξ1 x1 , . . . , ξn xn , Z)p

where (ξ1 , . . . , ξn ) runs over the n-uples of m-th roots of unity in an algebraic closure
n e
of k. Then Q ∈ k[[xq ]][Z] and Inω′ (Q) = Inω′ (R1 )m p . Thus Inω′ (R2 ) and Inω′ (Q)
are coprime. Hence the greatest common divisor of P0 and Q in k((x))[Z] is R1 . But
the greatest common divisor does not depend of the base field so R1 is also the greatest

4

GUILLAUME ROND AND BERND SCHOBER

common divisor of P0 and Q in k((xq ))[Z] hence R1 ∈ k[[xq ]][Z]. By symmetry we also
get R2 ∈ k[[xq ]][Z].

Corollary 2.6. Let us assume that P (Z) = Z d +a1 Z d−1 +. . .+ad ∈ k[[x]][Z] is irreducible.
Then we have the following properties:
i) If P (Z) has an orthant associated polyhedron the convex hull of Supp(Inω′ (P ))
is a segment joining (0, d) to (dγ, 0), and dγ is the initial exponent of ad for the
valuation νω .
ii) If P (Z) has an orthant associated polyhedron let u ∈ Zn+1 be the primitive vector
such that mu = (−dγ, d) for some m ∈ N, and set y := (x, Z). Then we can write
PIn (x, Z) = xdγ Q(y u )
where Q(T ) ∈ k[T ] is not the product of two coprime polynomials. In particular,
Q(T ) has only one root in an algebraic closure of k.
iii) If the Newton polyhedron of P (Z) has no compact face of dimension > 1 then
P (Z) has an orthant associated polyhedron and its Newton polyhedron has only
one compact face of dimension one which is the segment of i).
Proof. If PIn (x, 0) = 0 then Z divides PIn (x, Z). But by Theorem 2.3 PIn (x, Z) is not the
product of two coprime polynomials thus PIn (x, Z) = Z d . This contradicts the fact that
PIn (x, Z) has a non zero monomial of the form xα Z j for j < d. Hence PIn (x, 0) 6= 0 and
i) is proven.
We can write
PIn (x, Z) = Z d +

d−1
X

c(d−j)γ,j x(d−j)γ Z j .

j=0

So we have that

d−1

PIn (x, Z) = x

dγ

X
Zd
Zj
+
c
(d−j)γ,j
xdγ
xjγ
j=0

!

.

n
By i) we have that dγ ∈ Zn
≥0 . This implies that jγ ∈ Z≥0 as soon as c(d−j)γ,j 6= 0. For
any such j, let i ≥ 0 be such that

(2)

iu = (−jγ, j).

Then i ∈ Z≥0 since u is primitive.
P
Thus PIn (x, Z) = xdγ (y mu + i<m ci y iu ), where

ci := ciu+(dγ,0)

m

P

∀i.

i

We set Q(T ) := T + i<m ci T ∈ k[T ]. If Q(T ) has two distinct roots in an algebraic
closure of k then Q(T ) may be factorized as the product of two coprime monic polynomials,
let us say Q(T ) = Q1 (T ) · Q2 (T ), where Q1 (T ) and Q2 (T ) ∈ k[T ] are coprime and monic.
Let m1 and m2 be the respective degrees of Q1 and Q2 and define di ∈ Z≥0 by
(−di γ, di ) = mi u for i = 1, 2.
Then we have


 

PIn (x, Z) = xdγ Q(y u ) = xd1 γ Q1 (y u ) · xd2 γ Q2 (y u ) .

Moreover, by (2), a monomial of xd1 γ Q1 (y u ) has the form
 j
Z
d1 γ iu
d1 γ
cx y = cx
= c x(d1 −j)γ Z j ,
xjγ

for 0 ≤ i ≤ m1 , i.e. for 0 ≤ j ≤ d1 . Hence xd1 γ Q1 (y u ) ∈ k[x, Z]. By symmetry we also
have that xd2 γ Q2 (y u ) ∈ k[x, Z].

AN IRREDUCIBILITY CRITERION FOR POWER SERIES

5

Then the polynomials P1 (x, Z) := xd1 γ Q1 (y u ) and P2 (x, Z) := xd2 γ Q2 (y u ) are coprime
which contradicts Theorem 2.3. Thus ii) is proven.
Let us assume that the Newton polyhedron of P (Z) does not have an orthant associated
polyhedron. This means that ∆P has at least two distinct vertices denoted by γ1 and
γ2 such that the segment [γ1 , γ2 ] is included in the boundary of ∆P . Thus the Newton
polyhedron of P has at least three different vertices a := (0, d), b := ( d−j
γ1 , j) and
d
γ2 , k). Since a, b, c are vertices of NP(P ) the triangle delimitated by these three
c := ( d−k
k
points is a face of NP(P ) so the Newton polyhedron of P has at least one face of dimension
two.

3. An example concerning compact faces of dimension > 1
Let n = 2 and let us replace the variables (x1 , x2 ) by (x, y) for simplicity. We set
P (Z) := Z 2 − (x3 − y 5 )2 + y 11 = (Z − x3 + y 5 )(Z + x3 − y 5 ) + y 11
seen as a polynomial of k[[x, y]][Z] where k is an algebraically closed field of characteristic
different from 2.
We will show that P does not have an orthant associated polyhedron, since ∆P has two
different vertices. On the other hand, we will prove that P (Z) is irreducible while for
every ω ∈ R2>0 the polynomial Inω′ (P ) is always the product of two coprime monic polynomials. This shows that Theorem 2.3 cannot be extended to polynomials without an
orthant associated polyhedron.
The Newton polyhedron of P (Z) is the convex hull of
{(6, 0, 0), (0, 10, 0), (0, 0, 2)} + R3≥0 .
The associated polyhedron ∆P of P (Z) is the convex hull of
{(6, 0), (0, 10)} + R2≥0
and has two vertices v = (6, 0) and u = (0, 10). For ω ∈ R2>0 , if 6ω1 < 10ω2 then
Inω′ (P ) = Z 2 − x6 = (Z − x3 )(Z + x3 ).
If 6ω1 > 10ω2 then we have that
Inω′ (P ) = Z 2 − y 10 = (Z − y 5 )(Z + y 5 ).
If 6ω1 = 10ω2 we have that
Inω′ (P ) = Z 2 − (x3 − y 5 )2 = (Z − x3 + y 5 )(Z + x3 − y 5 ).
Thus in all cases Inω′ (P ) is the product of two coprime polynomials (since char(k) 6= 2).
On the other hand, P (Z) is irreducible since (x3 − y 5 )2 − y 11 is not a square in k[[x, y]].
References
[ACLM1] E. Artal Bartolo, P. Cassou-Noguès, I. Luengo, A. Melle Hernández, On ν-quasi-ordinary
power series: factorization, Newton trees and resultants, Topology of algebraic varieties and singularities (Jaca, 2009), Contemp. Math., vol. 538, Amer. Math. Soc., Providence, RI, 2011, pp.
321-343.
[ACLM2] E. Artal Bartolo, P. Cassou-Noguès, I. Luengo, A. Melle Hernández, Quasi-ordinary singularities and Newton trees, Mosc. Math. J., 13, (2013), no. 3, 365-398.
[GBGP] E. R. Garcı́a Barroso, P. D. González-Pérez, Decomposition in bunches of the critical locus of
a quasi-ordinary map, Compos. Math., 141, (2005), no. 2, 461-486.
[MS] H. Mourtada, B. Schober, A polyhedral characterization of quasi-ordinary singularities,
arXiv:1512.07507.

6

GUILLAUME ROND AND BERND SCHOBER

Guillaume Rond, Aix-Marseille Université, CNRS, Centrale Marseille, I2M, UMR 7373, 13453 Marseille, France
E-mail address: guillaume.rond@univ-amu.fr
Bernd Schober, Institut für Algebraische Geometrie, Leibniz Universität Hannover, Welfengarten
1, 30167 Hannover, Germany
E-mail address: schober.math@gmail.com

