arXiv:1606.04048v2 [math.AG] 22 Jun 2016

ON THE MILNOR MONODROMY OF THE IRREDUCIBLE
COMPLEX REFLECTION ARRANGEMENTS
ALEXANDRU DIMCA1
Abstract. Using recent results by A. Măcinic, S. Papadima and R. Popescu, and
a refinement of an older construction of ours, we determine the monodromy action
on H 1 (F (G), C), where F (G) denotes the Milnor fiber of a hyperplane arrangement
associated to an irreducible complex reflection group G.

1. Introduction
Let G ⊂ GLn (C) be a finite complex reflection group and denote by A(G) the
union of all the reflecting hyperplerplanes of G, i.e. the hyperplanes in Cn fixed
by some g ∈ G, g 6= Id. Then the complement M(A(G)) = Cn \ A(G) of the
hyperplane arrangement A(G) has a very special and interesting topology, namely
it is a K(π, 1)-space, see [2] for the long story of the proof of this result. Since A(G)
is a central hyperplane arrangement, it has a defining equation f = 0, where f is a
homogeneous polynomial. One can associate to this setting the Milnor fiber of the
arrangement F (G) : f = 1, which is a smooth hypersurface in Cn endowed with a
monodromy morphism h : F (G) → F (G), see next section for the precise definitions.
The study of the induced monodromy operators
hj (G) : H j (F (G), C) → H j (F (G), C)
in the case when G is a real reflection group, i.e. a Coxeter or a Weyl group, was
started by S. Settepanella in [28], [29]. The easy case of reflection arrangements of
rank at most two, and thus corresponding to Milnor fibers of isolated singularities,
is discussed in [11, Section 5]. The case of the reducible complex reflection groups
can be reduced to the case G irreducible via Theorem 1.4 (i) in [8].
When G is an irreducible complex reflection group, already to determine the first
possibly non-trivial monodromy operator h1 (G) : H 1 (F (G), C) → H 1 (F (G), C) is a
challenge. In a recent preprint [22], A. Măcinic, S. Papadima and R. Popescu have
obtained a nearly complete control on the eigenvalues of the monodromy operator
h1 (G) of order ps , with p a prime number and s a positive integer. Some of their main
results are stated below, see Theorems 1.1, 1.2 and 1.3, in order to better understand
the contribution of our note.
The irreducible non-exceptional complex reflection arrangements of rank ≥ 3 consist of the monomial arrangements A(m, m, n) with (m ≥ 2, n ≥ 3) or (m = 1, n ≥ 4)
2010 Mathematics Subject Classification. Primary 32S55; Secondary 32S35, 32S22.
Key words and phrases. plane curves, Milnor fiber, monodromy, complex reflection group.
1
Partially supported by Institut Universitaire de France.
1

2

ALEXANDRU DIMCA

(which are in fact the braid arrangements An−1 ), given as central hyperplane arrangements in Cn with coordinates x0 , ..., xn−1 by
Y
m
A(m, m, n) : f =
(xm
i − xj ) = 0
0≤i<j≤n−1

and the full monomial arrangements A(m, 1, n) with m ≥ 2, n ≥ 3 given by
Y
Y
m
xk
(xm
A(m, 1, n) : f =
i − xj ) = 0.
k=0,n−1

0≤i<j≤n−1

Denote by F (m, m, n) the Milnor fiber of the monomial arrangement A(m, m, n),
and recall the following results proved in [22].
Theorem 1.1. For n = 3, the monodromy operator
h1 : H 1 (F (m, m, 3), C) → H 1(F (m, m, 3), C)
has eigenvalues of order ps if and only if p = 3. Moreover, for p = 3, if we denote
the multiplicity of such an eigenvalue by es3 (m), then es3 (m) ≤ 2 if m is divisible by
3, and es3 (m) ≤ 1 otherwise. For s = 1, both inequalities become equalities.
Theorem 1.2. For n > 3, the monodromy operator
h1 : H 1 (F (m, m, n), C) → H 1(F (m, m, n), C)
has eigenvalues of order ps if and only if p = 3 and n = 4. When n = 4 and p = 3,
then es3 (m) ≤ 1. For s = 1, this inequality becomes an equality.
Denote by F (m, 1, n) the Milnor fiber of the full monomial arrangement A(m, 1, n),
and recall the following result proved in [22].
Theorem 1.3. The monodromy operator
h1 : H 1 (F (m, 1, n), C) → H 1(F (m, 1, n), C)
has eigenvalues of order ps if and only if p = 3, n = 3 and m ≡ 1 mod 3. Moreover,
for p = 3 , n = 3 and m ≡ 1 mod 3, then es3 (m) ≤ 1. For s = 1, this inequality is an
equality.
Building on these results by A. Măcinic, S. Papadima and R. Popescu, and adding
a different approach, in this note we determine completely the eigenvalues of h1 (G)
for all irreducible complex reflection groups G 6= G31 .
Theorem 1.4. For n = 3, the monodromy operator of the monomial arrangement
h1 : H 1 (F (m, m, 3), C) → H 1(F (m, m, 3), C)
has as eigenvalues only cubic roots of unity. Hence ∆V (t) = (t − 1)3m−1 (t2 + t + 1)2
if m is divisible by 3 and ∆V (t) = (t − 1)3m−1 (t2 + t + 1) otherwise.
Theorem 1.5. For n > 3, the monodromy operator of the monomial arrangement
h1 : H 1 (F (m, m, n), C) → H 1(F (m, m, n), C)
has as eigenvalues only cubic roots of unity. Hence
det(t · Id − h1 |H 1(F (m, m, n), C)) = (t − 1)qm−1 (t2 + t + 1)

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS

if n = 4 and h1 = Id for n > 4, where q =

n
2

3


.

Theorem 1.6. The monodromy operator of the full monomial arrangement
h1 : H 1 (F (m, 1, n), C) → H 1(F (m, 1, n), C)
has as eigenvalues only cubic roots of unity. Hence
det(t · Id − h1 |H 1 (F (m, 1, n), C)) = (t − 1)qm+n−1 (t2 + t + 1)

if n = 3 and m ≡ 1 mod 3, and h1 = Id otherwise, where q = n2 .

The exceptional complex reflection groups of rank ≥ 3 are usually denoted by Gj ,
with 23 ≤ j ≤ 37. More precisely, the group Gj has rank 3 for 23 ≤ j ≤ 27, rank 4 for
28 ≤ j ≤ 32, rank(G33 ) = 5, rank(G34 ) = rank(G35 = E6 ) = 6, rank(G36 = E7 ) = 7
and rank(G37 = E8 ) = 8. For a general reference on complex reflection groups, see
[18].
Theorem 1.7. The monodromy operator
h1 : H 1 (F (Gj ), C) → H 1(F (Gj ), C)
for the exceptional complex reflection group Gj is trivial, unless j = 25. Moreover,
A(G25 ) corresponds to the Hessian arrangement, and one has
det(t · Id − h1 |H 1 (F (G25 ), C)) = (t − 1)9 (t4 − 1)2 .

Here we prove this result for j 6= 31, and explain why the case j = 31 is special. The
proof for this latter case uses completely different ideas, and a substantial amount
of computer aided computation, so it is presented in a separate paper, see [9].
The author would like to thank G. Lehrer, A. Măcinic and S. Papadima for useful
discussions.
2. A brief presentation of our approach
To describe our new approach, we work in a rather different setting as follows.
Let V : f = 0 be a hypersurface of degree d ≥ 3 in the complex projective space
Pn , defined by a homogeneous polynomial f ∈ S = C[x0 , ..., xn ]. We assume in this
paper that V has only isolated singularities and n ≥ 2. Consider the corresponding
complement U = Pn \ V , and the global Milnor fiber F defined by f (x0 , ..., xn ) = 1
in Cn+1 with monodromy action h : F → F , h(x0 , ..., xn ) = exp(2πi/d) · (x0 , ..., xn ).
It is known that H j (F, C) = 0 for 1 ≤ j < n − 1, see [7].
One can consider the characteristic polynomials of the monodromy, namely
(2.1)

∆jV (t) = det(t · Id − hj |H j (F, C)),

for j = 0, n − 1 and n. It is clear that ∆0V (t) = t − 1, and moreover
(2.2)

n−1

∆0V (t)∆Vn−1 (t)(−1)

n

∆nV (t)(−1) = (td − 1)χ(U ) ,

where χ(U) denotes the Euler characteristic of the complement U, see for instance
[7, Proposition 4.1.21]. It follows that the polynomial ∆V (t) = ∆Vn−1 (t), also called
the Alexander polynomial of V , see [19], [27], determines the remaining polynomial

4

ALEXANDRU DIMCA

∆nV (t). To find the Alexander polynomial ∆V (t), or equivalently, the eigenvalues of
the monodromy operator
(2.3)

hn−1 : H n−1 (F, C) → H n−1 (F, C)

starting from V or f is a rather difficult problem, going back to O. Zariski and
attracting an extensive literature, see for instance [15], [19], [20], [24], [17], [7] for
the case n = 2. In this paper we take a new look at a method to determine the
Alexander polynomial ∆V (t) introduced in [6] and developed in [7, Chapter 6]. It
is based on the interplay between the Hodge filtration and the pole order filtration
on the cohomology groups H ∗ (U, C) obtained in [5], see section 2 below for a brief
survey.
The new ingredient put forward in this paper is a careful localization at an isolated
weighted homogeneous singularity (V, pi ) of the hypersurface V , see section 3. We
show that even when the local equation gi′ = 0 of (V, pi ), obtained say from the global
equation f = 0 of V by choosing an affine chart at pi , is not a weighted homogeneous
polynomial, we can control the localizations of rational differential forms as well as
when gi′ is replaced by an equivalent weighted homogeneous polynomial gi (such a
polynomial gi exists by our hypothesis that (V, pi ) is weighted homogeneous), see
Corollaries 4.3 and 4.6.
Using this localization and its compatibility with the Thom-Sebastiani suspension,
we state and prove the main result, which is Theorem 5.3. It gives an effective
criterion that a d-th root of unity λ is not an eigenvalue for an extension of the
monodromy action on the Thom-Sebastiani suspension V ′ of the hypersurface V .
When we start with a plane curve V , i.e. for n = 2, Corollary 5.5 says that this
criterion, applied to λ and to its conjugate λ, is enough to conclude that λ is not a
root of the Alexander polynomial ∆V (t).
When a projective hypersurface V : f = 0 in Pn has a singular locus of dimension
σ > 0, then we can consider the hypersurface W = V ∩ E : fW = 0 in P(E) = Pn−σ ,
obtained by intersecting V with a generic codimension σ linear subspace E. Then
W has only isolated singularities, and the cohomology of the Milnor fibers of f and
fW coincide up to the degree j = n − σ − 1, including the monodromy action, see
[7, Theorem 4.1.24]. Therefore our results may yield interesting information when
σ > 0 as well, as we see below in the case of reflection groups of rank > 3.
3. Reformulation of the problem in terms of hypersurface
complements
To fix our convention in a compatible way with [3], [10] and [12], note that the
action of the monodromy on a cohomology class [ω] ∈ H j (F, C) is given by the
formula
(3.1)

hj ([ω]) = [(h−1 )∗ (ω)].

Let θ = exp(2πi/d), and denote by H j (F, C)θk the eigenspace of hj corresponding
to the eigenvalue θk , for k = 0, 1, ..., d − 1. Then it is known that we have a natural
isomorphism H j (F, C)1 = H j (U, C) for any j. To describe the eigenspaces H j (F, C)θk

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS

5

for 0 < k < d, one proceeds as follows. Consider the new homogeneous polynomial
f ′ (x0 , ..., xn , t) = f (x0 , ..., xn ) + td ,
called the Thom-Sebastiani d-th suspension of f , and note that the hypersurface
V ′ : f ′ = 0 in Pn+1 is a singular compactification of F . More precisely, let H be the
hyperplane in Pn+1 given by t = 0. Then one has the natural identifications
(3.2)

V ′ ∩ H = V and V ′ \ (V ′ ∩ H) = F.

The multiplicative group µd of d-th roots of unity acts on Pn+1 via the formula
(3.3)

θ · (x0 : ... : xn : t) = (θx0 : ... : θxn : t) = (x0 : ... : xn : θ−1 t).

Then the induced action on F is just the monodromy action, and the action on
V ′ ∩ H = V is trivial. The associated exact sequence in the cohomology with
compact supports yields
(3.4)

... → H n (V, C) → Hcn+1 (F, C) → H n+1 (V ′ , C) → H n+1 (V, C) → ....

and hence, for any nontrivial character ξ of µd we have
(3.5)

H n−1(F, C)ξ = Hcn+1(F, C)−ξ = H n+1(V ′ , C)−ξ

in view of the Poincaré duality between H n−1 (F, C) and Hcn+1 (F, C). Moreover
H n+1 (V ′ , C)−ξ = H0n+1 (V ′ , C)−ξ , where
H0m (V ′ , C) = coker{H m (Pn+1 , C) → H m (V ′ , C)}
denotes the primitive cohomology of V ′ , since the µd -action on the cohomology of
Pn+1 is trivial. See also [10, Theorem 1.1].
Note also the convention H n−1 (F, C)ξ = H n−1 (F, C)θk if and only if ξ = ξk := k
in the character group Z/dZ = Hom(µd , C∗ ). Set U ′ = Pn+1 \ V ′ , let pi ∈ Pn
for i = 1, ..., r be the singular points of V , and let p′i = (pi : 0) ∈ Pn+1 be the
corresponding singular points of V ′ . Note that all these points are fixed points under
the µd -action on Pn+1 . For each i = 1, ..., r choose a Milnor ball Bi′ for the isolated
hypersurface germ (V ′ , p′i ) (i.e. a small open ball Bi′ centered at p′i such that V ′ ∩ Bi′
is topologically a cone with vertex p′i ), which in addition is µd -invariant. One has,
for any integer s ≥ 1, a µd -equivariant exact sequence
M
ρ
(3.6)
F s H n+1 (U ′ , C) −
→
F s H n+1 (Bi′ \ Xi′ ) → F s−1 H0n+1 (V ′ , C) → 0
i=1,r

where F ∗ denotes the Hodge filtration and Xi′ = Bi′ ∩ V ′ , see [7, (6.3.15)]. Here the
Hodge filtration on H n+1 (Bi′ \ Xi′ ) comes from the identification
(3.7)

′
n+1
F s H n+1 (Bi′ \ Xi′ ) = F s−1 H{p
′ } (V ),
i

see [14], [13], [23] or pp. 200-201 in [7]. Moreover, the morphism ρ is induced by the
restriction of rational differential forms, and this gives an additional exact sequence
M
ρ′
(3.8)
S(n−s+2)d−n−2 −
→
F s H n+1 (Bi′ \ Xi′ ) → F s−1 H0n+1 (V ′ , C) → 0
i=1,r

6

ALEXANDRU DIMCA

when all the singularities (V, pi ) are weighted homogeneous, see [7, (6.3.16)], but note
that filtration F s−1 on the first cohomology group there should be replaced by F s .
The morphism ρ′ is given by the following formula ρ′ (h) = ρ(ω(h)), where
hΩ
(3.9)
ω(h) = ′ n+2−s
(f )
and Ω is the contraction by the Euler vector field of the top differential form
dx0 ∧ ... ∧ dxn ∧ dt.
Remark 3.1. This method to study the topology of projective hypersurfaces was
extended to hypersurfaces with non-isolated singularities in [16], and this may open
the door to new applications, e.g. the computation of the monodromy h2 in the case
of a plane arrangement in P3 .
4. On the local cohomology of an isolated weighted homogeneous
singularity
4.1. The absolute case. Let O0 be the ring of complex analytic function germs at
the origin of Cn and denote by m its unique maximal ideal. Let g ∈ m and assume
that Xg : g = 0 is an isolated singularity. Fix B a Milnor ball for Xg such that, in
particular, the germ g has a representative, also denoted by g, defined on B. The
set of such balls B forms clearly a projective system, and hence we can define
H n (Bg \ Xg , C) = lim H n (B \ Xg , C),
−→
an injective limit where all the morphisms are isomorphisms. Note that in fact one
n
has a natural isomorphism H n (Bg \ Xg , C) = H{0}
(Xg , C), the local cohomology of
Xg with support at the origin, so there is already an intrinsic notation for this object.
However, in view of the shift in the Hodge filtration (3.7) and the next construction,
we prefer our ad-hoc definition.
Let Ωn0 denote the O0 -module of germs of holomorphic n-forms at the origin of Cn .
Then there is a well defined C-linear map
(4.1)

(4.2)

Lg : Ωn0 → H n (Bg \ Xg , C),

sending ω ∈ Ωn0 to the cohomology class of the meromorphic form ωg in some cohomology group H n (B \ Xg , C) such that the germs ω and g are defined on the Milnor
ball B (and then regard this cohomology class in the limit H n (Bg \ Xg , C) in the obvious way). This construction is natural in the obvious sense: if φ : (Cn , 0) → (Cn , 0)
is an analytic isomorphism germ, and if we set g ′ = φ∗ (g) = g ◦ φ, then
(4.3)

φ∗ (Lg (ω)) = Lg′ (φ∗ (ω)).

Assume now that g is a weighted homogeneous polynomial of type (w1 , ..., wn ; e), with
wj strictly positive integers, having an isolated singularity at the origin. Denote by
y1 , ..., yn the coordinates on Cn and let (y α )α∈A be the monomial basis of the space
of weighted homogeneous polynomials in C[y1 , ..., yn ] of degree e − w1 − ... − wn . In
this case we have a canonical isomorphism
(4.4)

H n (Bg \ Xg , C) = H n (Ug , C),

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS

7

where Ug = Cn \ g −1(0), induced by the inclusions B \ Xg → Ug . Using this isomorphism, we define F n H n (Bg \ Xg , C) to be the subspace in H n (Bg \ Xg , C) corresponding to the Hodge filtration subspace F n H n (Ug , C) in H n (Ug , C). It is known
that the cohomology group H n (Ug , Q) has a pure Hodge structure of weight n + 2,
see [7], p. 203. If we set ωn = dy1 ∧ .... ∧ dyn , then it is known that the cohomology
classes
y α ωn
(4.5)
ǫα =
g
n n
for α ∈ A give a basis for F H (Ug , C), see pp. 202-203 in [7]. We denote by ǫ′α
the element in F n H n (Bg \ Xg , C) corresponding to ǫα . Then we have the following
result.
Theorem 4.2. With the above notation, the following hold.
P
(1) If ω ∈ Ωn0 is given by ω = β∈Nn cβ y β ωn , then
X
Lg (ω) =
cα ǫ′α .
α∈A

In particular, the image of Lg is exactly F n H m (Bg \ Xg , C)
(2) Let a(g) = min{s ∈ N : swj > e − w1 − ... − wn for all j}. Then one has
ma(g) Ωn0 ⊂ ker Lg , and hence there is an induced surjective linear map
m
Lg : Ωn0 /ma(g) Ωn0 → F n H n (Bg \ Xg , C) = F n−1 H{0}
(Xg , C).

Proof. It is enough to show that if h(y) is a weighted homogeneous polynomial of
n
in H n (Ug , C)
degree e′ 6= e0 = e − w1 − ... − wn , then the cohomology class of h(y)ω
g
is trivial. Consider the morphism ht : Ug → Ug , given by
ht (y) = (tw1 y1 , ..., twn yn ),
for t ∈ C∗ . Since ht is clearly homotopic to the identity h1 , it follows that the induced
morphism in cohomology is the identity. However we get
h(y)ωm
h(y)ωm
′
h∗t ([
]) = te −e0 [
],
g
g
m
] should vanish.
for any t ∈ C∗ , and this implies that the cohomology class [ h(y)ω
g


For the next claim, use the functoriality described in (4.3), and the obvious fact
that φ∗ preserves ma(g) Ωn0 and the Hodge filtration on the local cohomology groups
n
H{0}
(Xg , C), see [14], [13], [23].
Corollary 4.3. Let g be a weighted homogeneous polynomial of type (w1 , ..., wn ; e),
having an isolated singularity at the origin. Let φ : (Cn , 0) → (Cn , 0) be an analytic
isomorphism germ, and set g ′ = φ∗ (g) = g ◦ φ. Then there is an induced surjective
linear map
n
(Xg′ , C),
Lg′ : Ωn0 /ma(g) Ωn0 → F n H n (Bg′ \ Xg′ , C) = F n−1H{0}

where the integer a(g) is defined in Theorem 4.2(2).

8

ALEXANDRU DIMCA

4.4. The relative case and Thom-Sebastiani construction. Let g ∈ m and
assume that Xg : g = 0 is an isolated singularity. Consider the suspension
G(y, t) = g(y) + td
as a germ at the origin of Cn+1 , with coordinates y1 , ..., yn , t. Then the corresponding
cohomology group H n+1 (BG \ XG , C) has a natural µd -action, coming from the µd action on Cn+1 defined by
λ · (y, t) = (y, λ−1t),
for any λ ∈ µd . Note that a germ of a holomorphic (n + 1)-form ω at the origin of
Cn+1 can be written as
X
ω=
ω (m) ∧ tm dt,
m∈N

where ω (m) ∈ Ωn0 . Using this decomposition, the linear map LG defined in (4.2)
can be refined taking into account the isotypical components with respect to the
µd -action, and we get, for k = 1, 2, ..., d
(4.6)

LG : Ωn0 ∧ tk−1 C{td }dt → H n+1(BG \ XG , C)ξk ,

where ξd = ξ0 is the trivial character. This construction is clearly functorial as in
(4.3) with respect to germs of isomorphisms Φ : (Cn+1 , 0) → (Cn+1 , 0), where Φ is a
product φ × IdC , with φ : (Cn , 0) → (Cn , 0) an isomorphism as in (4.3).
Assume now that g is a weighted homogeneous polynomial of type (w1 , ..., wn ; e),
with wj strictly positive integers, having an isolated singularity at the origin. Let
γ(e, d) be the greatest common divisor of e, d and µ(e, d) = ed/γ(e, d) be their least
common multiple.
Then the suspention G is weighted homogeneous of type (d1 w1 , ..., d1 wn , e1 ; µ(e, d)),
where d1 = d/γ(e, d) and e1 = e/γ(e, d). Let (y α)α∈Ak be the monomial basis of the
space of weighted homogeneous polynomials in C[y1 , ..., yn ] of degree µ(e, d) − d1 w1 −
... − d1 wn − e1 k with respect to the new weights wt(yj ) = d1 wj , for k = 1, 2, ..., d.
Then it is clear that the cohomology classes
(4.7)

y αtk−1 ωn ∧ dt
ǫα =
G

for α ∈ Ak give a basis for F n+1 H n+1 (UG , C)ξk . The corresponding basis in the vector
space F n+1 H n+1 (BG \ XG , C)ξk is denoted by ǫ′α . We have the following result, with
exactly the same proof as for Theorem 4.2.
Theorem 4.5. With the above notation, the following hold.
P
(1) If ω ∈ Ωn0 ∧ tk−1 C{td }dt is given by ω = β∈Nn ,m∈N cβ,m y β tk−1+m ωn ∧ dt, then
X
cα ǫ′α .
LG (ω) =
α∈Ak

In particular, the image of LG from (4.6) is exactly F n+1 H n+1(BG \ XG , C)ξk .

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS

9

(2) Let a(g, k) = min{s ∈ N : sd1 wj > µ(e, d)−d1 w1 −...−d1 wn −e1 k for all j}.
Then ma(g,k) Ωn0 ∧ tk−1 C{td }dt ⊂ ker LG , and hence there is an induced surjective linear map
n+1
LG : (Ωn0 /ma(g,k) Ωn0 ) ∧ tk−1 dt → F n+1 H n+1 (BG \ XG , C)ξk = F n H{0}
(XG , C)ξk .

We also have the following version of Corollary 4.3.
Corollary 4.6. Let g be a weighted homogeneous polynomial of type (w1 , ..., wn ; e),
having an isolated singularity at the origin. Let φ : (Cn , 0) → (Cn , 0) be an analytic
isomorphism germ, and set g ′ = φ∗ (g) = g ◦ φ. Let G′ (y, t) = g ′(y) + td . Then there
is an induced surjective linear map
n+1
LG′ : (Ωn0 /ma(g,k) Ωn0 ) ∧ tk−1 dt → F n+1 H n+1 (BG′ \ XG , C)ξk = F n H{0}
(XG′ , C)ξk .

where the integer a(g, k) is defined in Theorem 4.5(2).
Example 4.7. (i) Consider the case n = 2 and g(y1 , y2) = y13 +y23 . Then g is weighted
homogeneous of type (1, 1; 3). Consider the suspension G(y1, y2 , t) = g(y1, y2 ) + t3m
for some integer m ≥ 1, which is weighted homogeneous of type (m, m, 1; 3m). Using
the absolute case discussed above, we see that a basis for F 3 H 3 (BG \XG , C) is given by
the following forms. Fix an integer k ∈ {1, 2, ..., 3m} and then fix a monomial basis
(y α )α∈Ak of the space of weighted homogeneous polynomials in C[y1 , y2] of degree
d − d1 w1 − ... − d1 wn − k = 3m − m − m − k = m − k, where wt(yi ) = d1 wi = m. It
follows that only the value k = m gives a nontrivial vector space, which 1-dimensional
with the basis 1. It follows that
F 3 H 3 (BG \ XG , C) = F 3 H 3 (BG \ XG , C)ξm ,
and a(g, m) = 1.
(ii) Consider now the case n = 2 and g(y1, y2 ) = y1m + y2m , for some integer
m ≥ 3. Then g is weighted homogeneous of type (1, 1; m). Consider the suspension
G(y1 , y2 , t) = g(y1, y2 )+tqm , for some integer q > 0. Then G is weighted homogeneous
of type (q, q, 1; qm). Using the absolute case discussed above, we see that a basis for
F 3 H 3 (BG \ XG , C) is given by the following forms. Fix an integer k ∈ {1, 2, ..., qm}
and then fix a basis (y α)α∈Ak of the space of weighted homogeneous polynomials
in C[y1 , y2 ] of degree d − d1 w1 − ... − d1 wn − k = qm − 2q − k = q(m − 2) − k,
where wt(yi ) = d1 wi = q. It follows as above that only the values k = qk1 , for
1 ≤ k1 ≤ m − 2 give a nontrivial vector space and that one has
M
F 3 H 3 (BG \ XG , C) =
F 3 H 3 (BG \ XG , C)ξ3k1 ,
1≤k1 ≤m−2

and a(g, qk1) = m − k1 − 1.
(iii) Consider again the case n = 2 and g(y1, y2 ) = y1m +y2m , for some integer m ≥ 3.
Consider the suspension G(y1 , y2 , t) = g(y1, y2 ) + td , which is weighted homogeneous
of type (d1 , d1 , m1 ; µ(m, d)), where d1 = d/γ(m, d) and m1 = m/γ(m, d). Using
the absolute case discussed above, we see that a basis for F 3 H 3(BG \ XG , C) is
given by the following forms. Fix an integer k ∈ {1, 2, ..., d} and then fix a basis
(y α )α∈Ak of the space of weighted homogeneous polynomials in C[y1 , y2] of degree

10

ALEXANDRU DIMCA

µ(m, d) − 2d1 − km1 = d1 (m − 2) − km1 . Since m1 and d1 are relatively prime,
it follows that only the values k = k1 d1 , for 1 ≤ k1 < γ(m, d) give a nontrivial
vector space. Such a value for k corresponds to the eigenvalue θk = exp(2πik/d) =
exp(2πik1 /γ(m, d)). It follows that and a(g, k) = m − 1 − k1 m1 .
Note that one may write
mk ′
a(g, k) = m − 1 − k1 m1 =
− 1,
d
for k ′ = d − k, a formula needed in our Remark 5.6 below.
5. How to prove the vanishing of some monodromy eigenspaces
5.1. The general approach. Consider a projective hypersurface V in Pn having
only isolated, weighted homogeneous singularities, and recall the exact sequence (3.8)
for s = n + 1. Then, in terms of µd -isotypic components we have the following exact
sequence
M
ρk
(5.1)
Sd−n−1−k −→
F n+1 H n+1(Bi′ \ Xi′ , C)ξk → F n H0n+1 (V ′ , C)ξk → 0
i=1,r

for any k = 1, ..., d − 1. Here we can clearly replace F n+1 H n+1 (Bi′ \ Xi′ )ξk by the
more intrinsic object F n+1 H n+1(BG′i \ XG′i , C)ξk , where gi′ = 0 is a (local) equation
for the isolated singularity (V, pi ) and G′i is the d-th suspension of gi′ as above.
Moreover, the morphism ρk sends a homogeneous polynomial h(x) in (x0 , ..., xn ) of
degree d − n − 1 − k to the set of r cohomology classes defined by the restrictions of
the rational differential form
h(x)tk−1 Ω
(5.2)
f′
to the complements BG′i \XG′i for i = 1, ..., r. If we choose the hyperplane H0 : x0 = 0
such that all the singularities pi are in Cn = Pn \ H0 , and chose yi = xi /x0 as
coordinates on Cn , then the above restrictions have the form
hi (y)tk−1ωn ∧ dt
,
gi′
for hi analytic germs at the points bi in Cn corresponding to the singularities pi ’s.
We denote by Obi the ring of such analytic function germs at bi , and by mbi ⊂ Obi
the corresponding maximal ideals.
To show that F n H0n+1 (V ′ , C)ξk = 0 for some k, we have to show that the morphism
ρk is surjective. In view of Corollary 4.6, this morphism can be factor as follows
M
M
u
a(g ,k) v
→
F n+1H n+1 (BG′i \ XG′i , C)ξk ,
(5.3)
Sd−n−1−k −
→
Obi /mbi i −
ηi =

i=1,r

i=1,r

where gi is a weighted homogeneous polynomial right equivalent to gi′ . Notice that
we do not need the actual polynomial gi , just its homogeneity type in order to
compute the invariant a(gi , k). The first morphism u is an evaluation map. It takes
a homogeneous polynomial h to the classes of the germs hi (y) at the points bi of the
polynomial h(1, y1 , ..., yn ), while the morphism v sends the r-tuple of germ classes

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS 11

(h1 (y), ..., hr (y)) to the r-tuple of cohomology classes ([η1 ], ...., [ηr ]) defined above.
Moreover, the morphism v is surjective by Corollary 4.6.
On the other hand, recall the following result, see for instance Corollary 2.1 in [1].
L
a(gi ,k)
Lemma 5.2. The evaluation morphism u = evalN : SN →
is
i=1,r Obi /mbi
P
surjective for any N ≥ i=1,r a(gi , k) − 1.

More precisely, for a given k, let Ik ⊂ [1, d − 1] be the subset consisting of all the
indices i such that F n+1 H n+1(BG′i \XG′i , C)ξk 6= 0. Then the above discussion implies
the following result.
P
Theorem 5.3. If N = d − n − 1 − k ≥ i∈Ik a(gi , k) − 1, then F n H0n+1(V ′ , C)ξk = 0.

5.4. The case n = 2. We assume in this subsection that V is a plane curve having
only weighted homogeneous singularities. Then each of the singularities (V ′ , p′i )
is a weighted homogeneous singularity and hence the corresponding complement
H 3 (BG′i \ XG′i , C) has a pure Hodge structure of weight 5, see for instance [7] p. 245
and pp. 66-67. It follows that one has
(5.4)

H 3 (BG′i \ XG′i , C) = H 3,2 (BG′i \ XG′i , C) ⊕ H 2,3 (BG′i \ XG′i , C),

where H 3,2 (BG′i \XG′i , C) = F 3 H 3(BG′i \XG′i , C) and H 2,3 (BG′i \XG′i , C) is its complex
conjugate. It follows, via the exact sequence (3.6), that H 3 (V ′ , Q) is a pure Hodge
structure of weight 3 such that
(5.5)

H 3 (V ′ , C) = H 2,1(V ′ , C) ⊕ H 1,2(V ′ , C),

where H 2,1 (V ′ , C) = F 2 H 3 (V ′ , C) and H 1,2 (V ′ , C) is its complex conjugate. Next,
for any nontrivial character ξk of µd , we have similar relations
(5.6)

H 3 (V ′ , C)ξk = H 2,1 (V ′ , C)ξk ⊕ H 1,2 (V ′ , C)ξk ,

and dim H 2,1 (V ′ , C)ξk = dim H 1,2 (V ′ , C)ξd−k . These relations combined with the
formula (3.5) yield the following.
Corollary 5.5. Let V be a plane curve of degree d having only weighted homogeneous
singularities. Then for any nontrivial character ξk of µd one has H 1 (F, C)ξk = 0 if
and only if F 2 H 3 (V ′ , C)ξk = F 2 H 3 (V ′ , C)ξd−k = 0.
This corollary says that for such plane curves the vanishing of an eigenspace of the
Milnor monodromy on H 1 (F, C) can be tested using only rational forms with poles of
order 1. In other cases, poles of higher orders are necessary, see for instance the case
of nodal hypersurfaces of dimension ≥ 2 in [7, Theorem 6.4.5]. Our new approach
outline here will be extended to such more general situations in a subsequent paper.
Remark 5.6. Let V be a line arrangement in P2 . Then our Theorem 5.3 looks very
similar to [3, Theorem 2]. In fact, by the formula at the end of Example 4.7, (iii),
(>k ′ )
a(g ,k)
we see that the ideal Jy
from [3, Theorem 2] coincides with the ideal mbi i ,
where y ∈ V is the singular point corresponding to bi . However, note that the target
space for the two evaluation morphisms are distinct, because the corresponding sums
involve different sets of singular points. It is not clear at this stage whether one of
these two results implies the other.

12

ALEXANDRU DIMCA

6. The irreducible complex reflection arrangements of rank ≥ 3
For a line arrangement A in P2 , it is a major open question whether the monodromy
operator h1 : H 1 (F, C) → H 1 (F, C) is combinatorially determined, i.e. determined
by the intersection lattice L(A), see [25]. Several interesting examples have been
computed by D. Cohen, A. Suciu, A. Măcinic, S. Papadima, M. Yoshinaga, see
[4], [30], [21], [31], [32]. When the line arrangement A has only double and triple
points, then a complete positive answer is given by S. Papadima and A. Suciu in
[26]. However, the determination of the eigenvalues of h1 in general remains a very
difficult question. Following [22], we discus below the case of (generic 3-dimensional
sections) of the irreducible non-exceptional reflection arrangements of rank ≥ 3.
First we give the proof of Theorem 1.4. The curve V , obtained as the union of all
the lines in A(m, m, 3), has two types of singularities, the triple points, with local
equation y13 + y23 = 0 and the three m-fold intersection points, p1 = [1 : 0 : 0],
p2 = [0 : 1 : 0] and p3 = [0 : 0 : 1], with local equation y1m + y2m = 0.
In this case the degree of the curve V is d = 3m. Using Theorem 1.1, it remains
to show that H 1 (F, C)ξk = 0 for any integer k with 0 < k < 3m and k 6= m, k 6= 2m,
where F = F (m, m, 3) is the corresponding Milnor fiber. By Corollary 5.5, it is
enough to show for such k’s, the vanishing F 2 H 3 (V ′ , C)ξk = 0. To do this we use
Theorem 5.3. First note that, in view of Example 4.7 (i), the triple points give no
contribution (i.e. their indices are not in the set Ik ). There are at most 3 singular
points left, namely p1 , p2 , p3 when m 6= 3. Note that the character ξk correspond to
the eigenvalue θk = exp(2πik/3m). If such an eigenvalue occurs, it must be a root
of at least one of the local Alexander polynomials of the singularities of V , see [7,
Corollary 6.3.29] or [19]. The local Alexander polynomial of a triple point has only
cubic roots of unity, while the local Alexander polynomials of (V, pi ) for i = 1, 2, 3
have only m-th roots of unity. It follows that θk , supposed not a cubic root of unity,
can be an eigenvalue only if k is divisible by 3, say k = 3k1 . Then, by Example 4.7
(ii), we know that one has a(gi , k) = m − k1 − 1 for i = 1, 2, 3. It follows that
N = 3m − 3 − k ≥ 3(m − k1 − 1) − 1,
and hence our claim is proved by Theorem 5.3.
Remark 6.1. (i) Note that our approach is complementary to that used in [22].
Indeed, it seems not easy to obtain the multiplicities of the cubic roots of unity for
the monomial line arrangement by the method described above.
(ii) Theorem 1.4 was checked for 2 ≤ m ≤ 25 using a completely different, computational point of view in [12].
We give now the proof of Theorem 1.5. The curve V is in this case obtained by
taking first the trace of the monomial arrangement A(m, m, n) on a 3-dimensional
generic linear subspace E in Cn with 0 ∈ E, and then working in the corresponding
projective plane P2 = P(E). It is easy to see that this curve V has degree d = qm.
Assume in the sequel that m ≥ 4 (otherwise the claim of Theorem 1.5 is obvious,
using the local Alexander polynomials).

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS 13


Then V has nm = q ordinary m-points, n3 = n3 m2 triple points and

 
1 n n−2
m2
n2 =
2
2 2
double points. It follows exactly as above, by looking at the local Alexander polynomials, that we have only to discard eigenvalues θk = exp(2πik/qm) of order > 3 and
a divisor of m. It follows that one should have k = qk1 for some integer k1 . Then,
exactly as above we get a(gi , k) = m − k1 − 1 for all the q singular points gi = 0 of
multiplicity m by Example 4.7 (ii). Then
N = qm − 3 − k ≥ q(m − k1 − 1) − 1,
and hence our claim is proved by Theorem 5.3, since as above the double and the
triple points can be ignored in this computation.
Next we consider the case of the full monomial arrangement A(m, 1, n). For n > 3,
proceed as above and take first a generic 3-dimensional section. Then the corresponding new curve Vf is obtained from the previous curve V , coming from a monomial
arrangement, by adding n new lines Li corresponding to xi = 0 for i = 0, ..., n − 1.
Each line, say L0 to fix the ideas, passes through (n − 1) points of multiplicity m
of the curve V , e.g. L0 passes through the points corresponding to x0 = x1 = 0,
x0 = x2 = 0,..., x0 = xn−1 = 0. In conclusion, the q points of multiplicity m on V
become now q points of multiplicity m′ = m + 2 on Vf , the triple points in V stay
triple points on Vf and there are some additional nodes on Vf . Note that the degree
of Vf is d = qm + n.
To prove Theorem 1.6, we have to show that there are no eigenvalues θk =
exp(2πik/d) of order > 3 and a divisor of m′ . Let γ(m′ , d) be the greatest common divisor of m′ and d and set m′ = γ(m′ , d)m′1 and d = γ(m′ , d)d1. If the order of
θk is a divisor of m′ , it follows that km′ = kγ(m′ , d)m′1 is divisible by d = γ(m′ , d)d1 ,
and hence k is divisible by d1 , say k = d1 k1 .
Since 1 ≤ k < d, it follows that 1 ≤ k1 < γ(m′ , d). Using Example 4.7 (iii), we
infer that a(g, k) = m′ − 1 − k1 m′1 . Moreover, one has
d1 =

d
qm′ − 2q + n
2
=
= qm′1 −
q + n ≥ q(m′1 − 1),
′
′
γ(m , d)
γ(m , d)
γ(m′ , d)

since γ(m′ , d) > 3, being a multiple of the order of θk . It follows that
X
a(gi , k) − 1) = d1 (γ(m′ , d) − k1 ) − 3 − q(m′ − 1 − k1 m′1 ) + 1 ≥
(d − n − 1 − k) − (
i∈Ik

≥ q(m′ − 1)(γ(m′ , d) − k1 − 1) + qk1 m′1 − 2 > 0,
since in the last sum the first term is clearly ≥ 0, while the second satisfies
qk1 m′1 − 2 ≥ n − 2 ≥ 1.
Again the double and the triple points can be ignored in this computation, and hence
the proof of Theorem 1.6 is complete.

14

ALEXANDRU DIMCA

Finally, we prove Theorem 1.7 for j 6= 31. In fact, the results in [22], [25] completely
determine the monodromy operator
h1 : H 1 (F (Gj ), C) → H 1(F (Gj ), C)
for j 6= 31. More precisely, by Theorem 1.2 in [22], one has h1 = Id for j 6= 25, 31
and for j = 25, which corresponds to the Hessian arrangement, one has
det(t · Id − h1 |H 1 (F (G25 ), C)) = (t − 1)9 (t4 − 1)2 ,
see for instance [3, Remark 3.3 (iii)]. Indeed, consider as an example the case of
the exceptional group H3 = G23 . Then Table C.4 in [25] shows that the associated
curve V (G23 ) in P2 has degree d = 15, 15 nodes, 10 triple points and 6 points
of multiplicity 5, corresponding to the isotropy group I2 (5). Looking at the local
Alexander polynomials shows that the monodromy eigenvalues should have an order
which divides 2,3 or 5. But eigenvalues of these orders are excluded by Theorem 1.2
in [22].
Remark 6.2. In the case of the remaining exceptional group G31 , Table C.12 in
[25] shows that the corresponding curve V (G31 ) in P2 has degree d = 60, 360 double
points, 320 triple points and 30 points of multiplicity 6, corresponding to the isotropy
group G(4, 2, 2). If we try to apply our method to this curve, in order to exclude
the roots of unity of order 6, we have to take in the above notation γ(6, d) = 6,
d1 = 10, k = 10 or k = 50. When k = 10, for any point pi of multiplicity 6 we
get a(gi , 10) = 4. Therefore the inequality in Theorem 5.3 becomes in this case
60 − 3 − 10 ≥ 30 · 4 − 1, which is clearly false. Hence our method does not work
in this case. For the computation of the Milnor monodromy of arrangement A(G31 )
using a completely different approach, see [9].

References
[1] M. Beltrametti, A.J. Sommese, On k-jet ampleness. In: Ancona, Silva (eds.) Complex analysis
and geometry, pp. 355-376, Plenum Press, NY (1993). 5.1
[2] D. Bessis, Finite complex reflection arrangements are K(π, 1), Annals of Math. 181(2015),
809-904. 1
[3] N. Budur, A. Dimca and M. Saito, First Milnor cohomology of hyperplane arrangements,
Contemporary Mathematics 538 (2011), 279-292. 3, 5.6, 6
[4] D. C. Cohen, A. I. Suciu, On Milnor fibrations of arrangements, J. London Math. Soc. 51
(1995), no. 2, 105–119. 6
[5] P. Deligne, A. Dimca, Filtrations de Hodge et par l’ordre du pôle pour les hypersurfaces
singulières, Ann. Sci. Ec. Norm. Sup. 23 (1990), 645-656. 2
[6] A. Dimca, Betti numbers of hypersurfaces and defects of linear systems, Duke Math. J. 60
(1990) 285-298. 2
[7] A. Dimca, Singularities and topology of hypersurfaces, Universitext, Springer-Verlag, New York,
1992. 2, 2, 2, 3, 3, 3, 4.1, 4.1, 5.4, 5.4, 6
[8] Tate properties, polynomial-count varieties, and monodromy of hyperplane arrangements,
Nagoya Math. J. 206 (2012), 75-97. 1
[9] A. Dimca, G. Sticlaru, On the Milnor monodromy of the exceptional reflection arrangement
of type G31 , arXiv: 1606.06615. 1, 6.2

ON THE MILNOR MONODROMY OF THE COMPLEX REFLECTION ARRANGEMENTS 15

[10] A. Dimca, G. Lehrer, Hodge-Deligne equivariant polynomials and monodromy of hyperplane
arrangements, in: Configuration Spaces, Geometry, Combinatorics and Topology, Publications
of Scuola Normale Superiore, vol. 14 (2012), 231-253. 3, 3
[11] A. Dimca, G. Lehrer, Cohomology of the Milnor fiber of a hyperplane arrangement with symmetry, In: Configuration Spaces - Geometry, Topology and Representation Theory, Cortona
2014, Springer (2016). 1
[12] A. Dimca, G. Sticlaru, A computational approach to Milnor fiber cohomology, arXiv:
1602.03496. 3, 6.1
[13] A. H. Durfee, R.M. Hain, Mixed Hodge structures on the homotopy of links, Mathematische
Ann. 280(1988), 69–83. 3, 4.1
[14] A. H. Durfee, M. Saito, Mixed Hodge structures on the intersection cohomology of links,
Compositio Mathematica 76(1990), 49–67. 3, 4.1
[15] H. Esnault, Fibre de Milnor d’un cône sur une courbe plane singulière, Invent. Math. 68(1982),
477–496. 2
[16] K. Hulek, R. Kloosterman, Calculating the Mordell-Weil rank of elliptic threefolds and the
cohomology of singular hypersurfaces. Ann. Inst. Fourier (Grenoble) 61 (2011), no. 3, 1133–
1179. 3.1
[17] R. Kloosterman, Cuspidal plane curves, syzygies and a bound on the MW-rank, J. Algebra
375 (2013), 216–234. 2
[18] G. I. Lehrer, D. E. Taylor, Unitary reflection groups, Australian Mathematical Society Lecture
Series 20, Cambridge University Press, (2009). 1
[19] A. Libgober, Alexander polynomial of plane algebraic curves and cyclic multiple planes, Duke
Math. J. 49 (1982), no. 4, 833–851. 2, 2, 6
[20] A. Libgober, Development of the theory of Alexander invariants in algebraic geometry. Topology of algebraic varieties and singularities, 3–17, Contemp. Math., 538, Amer. Math. Soc.,
Providence, RI, 2011. 2
[21] A. Măcinic and S. Papadima, On the monodromy action on Milnor fibers of graphic arrangements, Topology Appl. 156 (2009), 761-774. 6
[22] D.A. Măcinic, S. Papadima, C.R. Popescu, Modular equalities for complex reflexion arrangements, arXiv:1406.7137. 1, 1, 6, 6.1, 6
[23] V. Navarro Aznar, Sur la théorie de Hodge-Deligne, Inventiones math. 90 (1987), 11-76. 3, 4.1
[24] M. Oka, A survey on Alexander polynomials of plane curves. Singularités Franco-Japonaises,
209–232, Sémin. Congr., 10, Soc. Math. France, Paris, 2005. 2
[25] P. Orlik and H. Terao, Arrangements of Hyperplanes, Springer-Verlag, Berlin Heidelberg New
York, 1992. 6, 6, 6.2
[26] S. Papadima, A. I. Suciu, The Milnor fibration of a hyperplane arrangement: from modular
resonance to algebraic monodromy, arXiv:1401.0868. 6
[27] R. Randell, Milnor fibers and Alexander polynomials of plane curves. In: Singularities, Part 2
(Arcata, Calif., 1981), pages 415–419. Amer. Math. Soc., Providence, RI, 1983. 2
[28] S. Settepanella, A stability like theorem for cohomology of pure braid groups of the series A,
B and D. Topology Appl. 139 (2004), no. 1, 37–47. 1
[29] S. Settepanella, Cohomology of pure braid groups of exceptional cases. Topology Appl. 156
(2009), no. 5, 1008–1012. 1
[30] A. Suciu, Fundamental groups of line arrangements: enumerative aspects, in: Advances in
algebraic geometry motivated by physics (Lowell, MA, 2000), Contemp. Math. 276, Amer.
Math. Soc., Providence, RI, 2001, pp. 43–79. 6
[31] A. Suciu, Hyperplane arrangements and Milnor fibrations, Annales de la Faculté des Sciences
de Toulouse 23 (2014), no. 2, 417-481. 6
[32] M. Yoshinaga, Milnor fibers of real line arrangements, Journal of Singularities, vol 7 (2013),
220-237. 6

16

ALEXANDRU DIMCA

Univ. Nice Sophia Antipolis, CNRS, LJAD, UMR 7351, 06100 Nice, France.
E-mail address: dimca@unice.fr

