FREENESS OF MULTI-REFLECTION ARRANGEMENTS
VIA PRIMITIVE VECTOR FIELDS

arXiv:1703.08980v3 [math.GR] 26 Mar 2018

TORSTEN HOGE, TOSHIYUKI MANO, GERHARD RÖHRLE, AND CHRISTIAN STUMP
Abstract. In 2002, Terao showed that every reflection multi-arrangement of a real
reflection group with constant multiplicity is free by providing a basis of the module
of derivations. We first generalize Terao’s result to multi-arrangements stemming from
well-generated unitary reflection groups, where the multiplicity of a hyperplane depends
on the order of its stabilizer. Here the exponents depend on the exponents of the
dual reflection representation. We then extend our results further to all imprimitive
irreducible unitary reflection groups. In this case the exponents turn out to depend on
the exponents of a certain Galois twist of the dual reflection representation that comes
from a Beynon-Lusztig type semi-palindromicity of the fake degrees.

Contents
1. Introduction
2. Preliminaries
3. Proof of Theorem 1.1
4. Proof of Theorem 1.2
Acknowledgments
References

1
4
8
16
25
26

1. Introduction
In his seminal work [Zie89], Ziegler introduced the concept of multi-arrangements generalizing the notion of hyperplane arrangements. In [Ter02], Terao showed that every
reflection multi-arrangement of a real reflection group with constant multiplicities is free,
see also the approach by Yoshinaga [Yos02]. Our aim is to generalize this result from
real reflection groups to unitary reflection groups, see Theorems 1.1 and 1.2. It turns out
that the constant multiplicity in the real case stems from the fact that real reflections
have order two. In the general case this constant multiplicity is replaced by the order
multiplicity given by the orders of the unitary reflections involved.
We first extend Yoshinaga’s construction of a basis of the module of derivations and of
Saito’s Hodge filtration to well-generated unitary reflection groups by constructing and
then using a flat connection based on recent developments of flat systems of invariants in
the context of isomonodromic deformations and differential equations of Okubo type due
to Kato, Mano and Sekiguchi [KMS15b]. In the case of well-generated unitary reflection
groups this flat connection replaces the role of Saito’s flat connection in the case of real
reflection groups [Sai93], and naturally explains the occurrence of the order multiplicity
2010 Mathematics Subject Classification. 20F55, 52C35, 14N20, 32S25.
Key words and phrases. Multi-arrangement, reflection arrangement, free arrangement, unitary reflection group, systems of flat invariants and derivations.
1

in the multiplicity function. The freeness in this case is thus the algebraic incarnation of
the geometry of the logarithmic vector fields along the discriminant hypersurface.
We then further extend the results to the imprimitive reflection groups by use of a
permutation of the irreducible complex representations that is studied in the context of
the representation theory of the Hecke algebra and which induces a semi-palindromic
property on the fake degree polynomial [Mal99, Opd00, GG12].
Suppose that W is an irreducible unitary reflection group with reflection representation V ∼
= Cℓ . Denote the set of reflections by R = R(W ), and the associated reflection
arrangement in V by A = A (W ). For H ∈ A , let eH ∈ N := {0, 1, 2, . . .} denote the
order of the pointwise stabilizer of H in W , and consider the order multiplicity given by
ω : A → N,

ω(H) = eH

for H ∈ A . For m ∈ N let mω and mω + 1 denote the multiplicities mω(H) = meH and
mω(H) + 1 = meH + 1 for H ∈ A , respectively. Observe that in the case that W is real,
we have eH = 2 for all H ∈ A . In this case, mω thus corresponds to the constant even
multiplicity 2m and mω + 1 to the constant odd multiplicity 2m + 1.
Following [GG12], the Coxeter number of W is given by

1 X
1
h = hW :=
eH =
|R| + |A | ,
ℓ
ℓ
H∈A

generalizing the usual Coxeter number of a real reflection group to irreducible unitary
reflection groups. Let Irr(W ) denote the irreducible complex representations of W up to
isomorphism. For U in Irr(W ) of dimension d, denote by

expU (W ) := n1 (U) ≤ . . . ≤ nd (U)

the U-exponents of W given by the d homogeneous degrees in the coinvariant algebra
of W in which U appears. In particular, the exponents of W are

exp(W ) := expV (W ) = n1 (V ) ≤ . . . ≤ nℓ (V )

and the coexponents of W are


coexp(W ) := expV ∗ (W ) = n1 (V ∗ ) ≤ . . . ≤ nℓ (V ∗ ) .

The group W is well-generated if ni (V ) + nℓ+1−i (V ∗ ) = h, e.g., see [OS80, Mal99, Bes15].
Our first main result generalizes Terao’s theorem [Ter02] to the well-generated case.
Theorem 1.1. Let W be an irreducible, well-generated unitary reflection group with
reflection arrangement A (W ). Let ω : A (W ) → N given by ω(H) = eH , and let m ∈ N.
Then
(i) the reflection multi-arrangement (A (W ), mω) is free with exponents

exp(A (W ), mω) = mh, . . . , mh ,
(ii) the reflection multi-arrangement (A (W ), mω + 1) is free with exponents

exp(A (W ), mω + 1) = mh + n1 (V ∗ ), . . . , mh + nℓ (V ∗ ) .

Note from above that coexp(W ) = expV ∗ (W ) = n1 (V ∗ ), . . . , nℓ (V ∗ ) .

In the special case when W is a Coxeter group, Theorem 1.1 recovers Terao’s theorem [Ter02], as then ω ≡ 2 and coexp(W ) = exp(W ).
2

We prove this theorem in Section 3. Indeed, we extend Yoshinaga’s construction [Yos02,
Thm. 1] of a basis of the module of derivations and Saito’s Hodge filtration to well-generated groups by using a recent construction due to Kato, Mano and Sekiguchi [KMS15b].
See Theorem 3.22 for the precise formulation, which is our generalization of [Yos02,
Thm. 7] to the well-generated setting.
In [KMS15b], the authors construct flat systems of invariants of well-generated unitary
reflection groups in the context of isomonodromic deformations and differential equations
of Okubo type. For real reflection groups, the notion of flat systems of invariants was
introduced by Saito, Yano and Sekiguchi in [SYS80]. The existence of such flat systems
was shown in loc. cit. in all real types except E7 and E8 . Saito then gave a uniform
construction in all real types in [Sai93].
Our second main result extends Theorem 1.1 further to the infinite three-parameter
family W = G(r, p, ℓ) of imprimitive reflection groups. It turns out that the corresponding multi-arrangements are also free. However, the description of the exponents
is considerably more involved and depends on the representation theory of the Hecke
algebra associated to the group W . To this end, let Ψ denote the permutation on Irr(W )
introduced by Malle in [Mal99, Sec. 6C], having the semi-palindromic property on the
fake degrees of W . This is, for any U in Irr(W ) of dimension d, we have
ni (U) + nd+1−i (Ψ(U ∗ )) = hU ,
P
where hU = |A | − r∈R χ(r)/χ(1) with χ being the character of U. A direct calculation
shows that hV = hW is the Coxeter number of W . Moreover, Ψ(V ∗ ) = V ∗ if and only
if W is well-generated [Mal99, Cor. 4.9].
Theorem 1.2. Let W = G(r, p, ℓ) with reflection arrangement A (W ). Let ω : A (W ) →
N given by ω(H) = eH , and let m ∈ N. Then
(i) the reflection multi-arrangement (A (W ), mω) is free with exponents

exp(A (W ), mω) = mh, . . . , mh ,

(ii) the reflection multi-arrangement (A (W ), mω + 1) is free with exponents

exp(A (W ), mω + 1) = mh + n1 (Ψ−m (V ∗ )), . . . , mh + nℓ (Ψ−m (V ∗ )) .

Note this time that expΨ−m (V ∗ ) (W ) = n1 (Ψ−m (V ∗ )), . . . , nℓ (Ψ−m (V ∗ )) . We prove a
more general result in Theorem 4.1.

Remarks 1.3. (i) The group G(r, p, ℓ) is well-generated if and only if p ∈ {1, r}. Thus,
Theorem 1.2 extends Theorem 1.1 to the class of imprimitive reflection groups that are
not well-generated.
(ii) While the simple arrangements of the reflection groups G(r, 1, ℓ) and G(r, p, ℓ) for
1 < p < r coincide, the multi-arrangements above depend on the underlying group, since
the multiplicities of the coordinate hyperplanes differ.
(iii) Theorems 1.1 and 1.2 only leave unresolved the remaining eight irreducible unitary
reflection groups of exceptional type that are not well-generated, namely

Gexc = G7 , G11 , G12 , G13 , G15 , G19 , G22 , G31 .

Computational evidence for each of these remaining groups with small values for the
parameter m ∈ N suggests that Theorem 1.2 also holds with W = G(r, p, ℓ) replaced by
W ∈ Gexc .
(iv) The semi-palindromic property of the permutation Ψ of Irr(W ) in Theorem 1.2
is an analogue of a semi-palindromicity of the fake degrees as observed by Beynon and
3

Lusztig [BL78, Prop. A] and later explained by Opdam [Opd95]. The definition of Ψ
depends on the representation theory of the corresponding Hecke algebra [Mal99, Opd00].
Moreover, it plays a crucial role in the study of rational Cherednik algebras [GG12,
Thm. 1.6]. The intrinsic appearance of Ψ in the present context of multi-derivations of
reflection groups is rather unexpected.
The paper is organized as follows. In Section 2, we provide all needed background
on hyperplane arrangements and unitary reflection groups. The proof of Theorem 1.1 is
carried out in Section 3, along with its strengthened form, Theorem 3.22. Theorem 1.2
is proved in the final Section 4 as a consequence of Theorem 4.1.
2. Preliminaries
We first provide some basic material on hyperplane arrangements and multi-arrangements, and their modules of derivations. We then recall the needed background on unitary
reflection groups. For general information about reflection groups and their arrangements,
we refer the reader to [Bou68, OS82, Zie89, OT92].
2.1. Multi-arrangements and their modules of derivations. Let S = S(V ∗ ) denote the ring of polynomial functions on V considered as the symmetric algebra of the
dual space V ∗ . If x1 , . . . , xℓ is a basis of V ∗ , we identify S with the polynomial ring
C[x1 , . . . , xℓ ]. Letting Sp denote the C-subspace of S consisting of the homogeneous polynomials of degree p (along with 0), S is naturally Z-graded by S = ⊕p∈Z Sp , where we
consider Sp = 0 for p < 0.
Let DerS be the S-module of C-derivations of S. Then ∂x1 , . . . , ∂xℓ is an S-basis
of DerS .
P
We say that θ ∈ DerS is homogeneous of polynomial degree p provided θ = fi ∂xi , where
fi ∈ Sp for each 1 ≤ i ≤ ℓ. In this case we write pdeg θ = p. Let DerSp be the C-subspace
of DerS consisting of all homogeneous derivations of polynomial degree p. Then DerS is
a graded S-module, DerS = ⊕p∈Z DerSp .
A hyperplane arrangement A in V is a finite collection of hyperplanes in V . For a
subspace X of V , we have the associated localization of A at X given by
AX := {H ∈ A | X ⊆ H} ⊆ A .
Its rank is defined to be the codimension of X in V .
Following Ziegler [Zie89], a multi-arrangement (A , ν) is an arrangement A together
with a multiplicity function ν : A → N assigning to each hyperplane H ∈ A a multiplicity
ν(H) ∈ N. If ν ≡ 1, then (A , ν) is called simple. We only consider central multiarrangements (A , ν), i.e., 0 ∈ H for every H ∈ A . In this case, we fix αH ∈ V ∗ with
H = ker(αH ) for H ∈ A . The order of (A , ν) is given by
X
ν(H),
|ν| := |(A , ν)| :=
H∈A

and its defining polynomial Q(A , ν) ∈ S is

Q(A , ν) :=

Y

ν(H)

αH

.

H∈A

The module of derivations of (A , ν) is defined by

ν(H)
D(A , ν) := θ ∈ DerS | θ(αH ) ∈ SαH for each H ∈ A .
4

We say that (A , ν) is free if D(A , ν) is a free S-module [Zie89, Def. 6]. In this case,
D(A , ν) admits a basis {θ1 , . . . , θℓ } of ℓ homogeneous derivations [Zie89, Thm. 8]. While
the θi ’s are not unique, their polynomial degrees pdeg θi are. The multiset of these
polynomial degrees is the set of exponents of the free multi-arrangement (A , ν). It is
denoted by

exp(A , ν) := pdeg(θ1 ), . . . , pdeg(θℓ ) .
Next we record Ziegler’s analogue of Saito’s criterion. The Saito matrix of θ1 , . . . , θℓ ∈
DerS is given by


θ1 (x1 ) · · · θ1 (xℓ )
..  ,
..
M(θ1 , . . . , θℓ ) :=  ...
.
.
θℓ (x1 ) · · · θℓ (xℓ )
see [OT92, Def. 4.11].

Theorem 2.1 ([Zie89, Thm. 8]). Let (A , ν) be a multi-arrangement, and let θ1 , . . . , θℓ ∈
D(A , ν). Then the following are equivalent:
(i) {θ1 , . . . , θℓ } is an S-basis of D(A , ν).
.
(ii) det M(θ1 , . . . , θℓ ) = Q(A , ν).
In particular, if each θi is homogeneous, then both are moreover equivalent to the following:
P
(iii) θ1 , . . . , θℓ are linearly independent over S and
pdeg θi = deg Q(A , ν) = |ν|.
.
In the statement and later on, the sign = denotes, as usual, equality up to a non-zero
complex constant. Terao’s celebrated Addition-Deletion Theorem [Ter80a] plays a crucial
role in the study of free arrangements, see [OT92, Thm. 4.51]. We next describe its version
for multi-arrangements from [ATW08]. Let (A , ν) be a non-empty multi-arrangement,
i.e., |ν| ≥ 1. Fix H0 in A with ν(H0 ) ≥ 1. Its deletion with respect to H0 is given by
(A ′ , ν ′ ), where ν ′ (H0 ) = ν(H0 ) − 1 and ν ′ (H) = ν(H) for all H 6= H0 . If ν ′ (H0 ) = 0,
we set A ′ = A \ {H0 }, and else set A ′ = A . Its restriction with respect to H0 is given
by (A ′′ , ν ∗ ), where A ′′ = {H ∩ H0 | H ∈ A \ {H0 } }. The Euler multiplicity ν ∗ of A ′′
is defined as follows. Let Y ∈ A ′′ . Since the localization AY is of rank 2, the multiarrangement (AY , νY ) is free where we set νY = ν|Y to be the restriction of ν to AY [Zie89,
Cor. 7]. According to [ATW08, Prop. 2.1], the module of derivations D(AY , νY ) admits a
particular homogeneous basis {θY , ψY , ∂3 , . . . , ∂ℓ }, where θY is identified by the property
that θY ∈
/ α0 DerS and ψY by the property that ψY ∈ α0 DerS , where H0 = ker α0 . Then
the Euler multiplicity ν ∗ is defined on Y as ν ∗ (Y ) = pdeg θY . Crucial for our purpose
is the fact that the value ν ∗ (Y ) only depends on the S-module D(AY , νY ). Sometimes,
(A , ν), (A ′ , ν ′ ) and (A ′′ , ν ∗ ) is referred to as the triple of multi-arrangements with respect
to H0 .
Theorem 2.2 ([ATW08, Thm. 0.8]). Suppose that (A , ν) is not empty, fix H0 in A and
let (A , ν), (A ′ , ν ′ ) and (A ′′ , ν ∗ ) be the triple with respect to H0 . Then any two of the
following statements imply the third:
(i) (A , ν) is free with exp(A , ν) = {b1 , . . . , bℓ−1 , bℓ };
(ii) (A ′ , ν ′ ) is free with exp(A ′ , ν ′ ) = {b1 , . . . , bℓ−1 , bℓ − 1};
(iii) (A ′′ , ν ∗ ) is free with exp(A ′′ , ν ∗ ) = {b1 , . . . , bℓ−1 }.
We need the following fact in the sequel.
Lemma 2.3 ([ATW08, Prop. 4.1(1)]). Let H0 ∈ A . Suppose X ∈ A H0 with AX =
{H0 , H}. For ν a multiplicity on A , we have ν ∗ (X) = ν(H).
5

2.2. Unitary Reflection Groups. Let V ∼
= Cℓ , and consider a finite subgroup W of
GL(V ). Then W is a unitary reflection group if it is generated by its subset R = R(W )
of reflections, that is, the elements r ∈ W for which the fixed space
Fix(r) := ker(11 − r) = {v ∈ V | rv = v} ⊆ V
is a hyperplane. We denote by A = A (W ) the associated reflection arrangement given
by the collection of the reflecting hyperplanes. For H ∈ A , let WH = {w ∈ W | Fix(w) ⊇
H} be the pointwise stabilizer of H in W and set eH = |WH |. Indeed, the elements in WH
except the identity are exactly the reflections r ∈ R such that Fix(r) = H, explaining
the equality
X
eH .
(2.4)
|R| + |A | =
H∈A

Results of Shephard and Todd [ST54] and of Chevalley [Che55] distinguish unitary reflection groups as those finite subgroups of GL(V ) for which the invariant subalgebra of
the action on the symmetric algebra S = S(V ∗ ) ∼
= C[x1 , . . . , xℓ ] yields again a polynomial
algebra,
S W = S(V ∗ )W ∼
= C[f1 , . . . , fℓ ].
While the basic invariants f1 , . . . , fℓ are not unique, they can be chosen to be homogeneous, and then their degrees d1 ≤ · · · ≤ dℓ are uniquely determined and called the
degrees of W .
The group W is called irreducible if it does not preserve a proper non-trivial subspace
of V . It is well-known that such an irreducible reflection group can be generated either
by ℓ or by ℓ + 1 reflections. An important subclass of irreducible unitary reflection
groups are those that are well-generated, i.e., which can be generated by ℓ reflections.
In particular, this subclass contains all (complexifications of) irreducible real reflection
groups and all Shephard groups (symmetry groups of regular complex polytopes [OT92,
Def. 6.119]).
Let S+W denote the W -invariants without constant term, and let Coinv(W ) := S/S+W
be the ring of coinvariants of W . Observe that Coinv(W ) is also a graded W -module,
and indeed isomorphic to the regular representation of W , see [LT09, §4.4]. Thus, an
irreducible representation U in Irr(W ) of dimension d occurs d times in Coinv(W ) as a
constituent. The U-exponents of W are then given by the multiset of d homogeneous
degrees in the coinvariant algebra of W in which U appears,
expU (W ) = {n1 (U) ≤ . . . ≤ nd (U)}.
In particular, exp(W ) = expV (W ) are the exponents of W and coexp(W ) = expV ∗ (W )
are the coexponents of W . It is moreover well-known that the degrees of W and the
exponents are related by di = ni (V ) + 1, implying
(2.5)

|R| =

ℓ
X

ni (V ).

i=1

Terao showed in [Ter80b] that the reflection arrangement A of W is free, and that the
exponents of the arrangement coincide with the coexponents of W , cf. [OT92, Thm. 6.60],
exp A = coexp(W ).
6

Consequently, thanks to [OT92, Thm. 4.23], we have
(2.6)

|A | =

ℓ
X

ni (V ∗ ).

i=1

The next definition can be found in [GG12]. The two equalities follow from (2.4), (2.5),
and (2.6).
Definition 2.7. Let W be an irreducible unitary reflection group. The Coxeter number h = hW is defined as
h := hW :=

ℓ
 1X

1
1 X
eH = |R| + |A | =
ni (V ) + ni (V ∗ ) .
ℓ H∈A
ℓ
ℓ i=1

Remark 2.8. It was observed by Orlik and Solomon in [OS80, Thm. 5.5] that the
group W is well-generated if and only if the exponents and the coexponents pairwise
sum up to the Coxeter number. This is,
ni (V ) + nℓ+1−i (V ∗ ) = h
for all 1 ≤ i ≤ ℓ. In this case, the Coxeter number h = dℓ = nℓ (V ) + 1 > dℓ−1 is the
unique largest degree of a fundamental invariant, see [LT09, §12.6].
The fake degree of U in Irr(W ) of dimension d is defined to be the polynomial
fU (q) :=

d
X

q ni (U ) ∈ N[q],

i=1

cf. [Mal99, Eq. (6.1)]. In [Mal99, Thm. 6.5], Malle showed that there is a permutation Ψ of
Irr(W ) so that the fake degree polynomials fU (q) satisfy the semi-palindromic condition
fU (q) = q hU fΨ(U ∗ ) (q −1 ),

(2.9)
where
(2.10)

hU := |R| −

X

χU (r)/χU (1).

r∈R

P
Equivalently, hU is the integer by which the central element r∈R (11 − r) ∈ C[W ] acts
on U. In particular, for any U in Irr(W ) of dimension d, we have
ni (U) + nd+1−i (Ψ(U ∗ )) = hU .

The following observations provide, for later reference, the formula in Theorem 1.2(ii) in
a form analogous to the one used in [GG12, Sec. 3].
Lemma 2.11. The parameter hU defined in (2.10) satisfies hU = hU ∗ and hU = hΨ(U ) .
In particular, we have, for any 1 ≤ i ≤ ℓ and any m ∈ N,
mh + ni (Ψ−m (V ∗ )) = (m + 1)h − nℓ+1−i (Ψ−m−1 (V ∗ )∗ ).

(2.12)

Proof. The equality hU = hU ∗ is a direct consequences of (2.10). The equality hU = hΨ(U )
in [GG12, §2.12]
follows, for example, from the description of Ψ as the operator φid
− h1 ,−1− h1
together with the observation in [GG12, §2.8] that hφid 1
= hU . Plugging in
1 (U )
−

−m−1

∗ ∗

h

,−1−

h

Ψ
(V ) for the irreducible representation U in (2.9) and using that hΨ−m−1 (V ∗ )∗ =
hV = h yields (2.12).

7

See also [Opd00, Prop. 7.4] and [GG12, § 1.4] for further properties of the permutation
Ψ of Irr(W ). Note that Ψ(V ∗ ) = V ∗ if and only if W is well-generated [Mal99, Cor. 4.9].
We finally define the order multiplicity ω of the reflection arrangement A = A (W ) by
ω(H) = eH for H ∈ A . In other words, the multiplicities are chosen so that the defining
polynomial Q(A (W ), ω) of the multi-arrangement (A (W ), ω) is the discriminant of W ,
cf. [OT92, Def. 6.44],
Y
eH
Q(A (W ), ω) =
αH
.
H∈A (W )

3. Proof of Theorem 1.1
In this section, we prove a strengthened version of Theorem 1.1. Our method is based
on the approach by Yoshinaga [Yos02], also relying strongly on recent developments of
flat systems of invariants for well-generated unitary reflection groups in the context of
isomonodromic deformations and differential equations of Okubo type due to Kato, Mano
and Sekiguchi [KMS15b]. See Theorem 3.22 for the explicit formulation.
Let ∇ : DerS × DerS → DerS be an affine connection. Recall that ∇ is S-linear in the
first parameter and C-linear in the second, satisfying the Leibniz rule
∇δ (pδ ′ ) = δ(p)δ ′ + p∇δ (δ ′ )
for δ, δ ′ ∈ DerS . The connection ∇ is flat if ∇δ (∂xi ) = 0 for all δ ∈ DerS , or, equivalently,
X
(3.1)
∇δ (δ ′ ) =
(δpi )∂xi
i

′

′

for δ, δ ∈ DerS with δ =
(3.2)

P

pi ∂xi . Alternatively, this can be characterized by
∇δ (δ ′ )(α) = δ(δ ′ (α))

for all α ∈ V ∗ . Observe that for ∇ flat and δ, δ ′ homogeneous, (3.1) implies that the
derivation ∇δ (δ ′ ) is again homogeneous with polynomial degree

(3.3)
pdeg ∇δ (δ ′ ) = pdeg(δ) + pdeg(δ ′ ) − 1.
In the sequel, we largely follow the construction of flat systems of invariants as given
in [KMS15b, Sec. 6] in order to lift the constructions in [Yos02] to the well-generated
case.

As before, we assume in this section that W is an irreducible well-generated unitary
reflection group. Let F1fl , . . . , Fℓfl be the special homogeneous fundamental invariants
in

fl
C[x] with x = (x1 , . . . , xℓ ), as given in [KMS15b, Thm. 6.1]. Recall that deg Fi = di =
ni (V ) + 1 and C[F1fl , . . . , Fℓfl ] ∼
= SW .
Consider indeterminates t = (t1 , . . . , tℓ ) together with the map ti 7→ Fifl giving an
isomorphism
R := C[t] ∼
= C[F1fl , . . . , Fℓfl ].
Set moreover C[t′ ] := C[t1 , . . . , tℓ−1 ], its subring generated by t′ = (t1 , . . . , tℓ−1 ). In order
to keep track of the information about the degrees of F1fl , . . . , Fℓfl , following [KMS15b,
Sec. 6], we define weights of the variables ti by
w(ti ) := deg(Fifl )/h = di /h = (ni (V ) + 1)/h.
8

As usual, set
J∂t/∂x

 


∂x1
∂t1 /∂x1 · · · ∂tℓ /∂x1
..
..
..
 ∈ C[x]ℓ×ℓ
:=  ...  (t1 , . . . , tℓ ) = 
.
.
.
∂xℓ
∂t1 /∂xℓ · · · ∂tℓ /∂xℓ

−1
with inverse matrix J∂x/∂t := J∂t/∂x
= (∂t1 , . . . , ∂tℓ )tr (x1 , . . . , xℓ ). It is well-known that
Q
.
eH −1
det J∂t/∂x = H∈A αH
, see [OT92, Thm. 6.42].

The primitive vector field

D := ∂tℓ ∈ DerR
is given by
∂t1
∂x1

D = det J∂x/∂t

..
.

∂t1
∂xℓ

···
..
.
···

∂tℓ−1
∂x1

∂
∂x1

∂tℓ−1
∂xℓ

∂
∂xℓ

..
.

..
.

,

implying in particular that D is homogeneous with
(3.4)

pdeg(D) = −nℓ (V ) = −(h − 1)
P

when considered inside
F ∂xi for the fraction field F of S. We have seen in Remark 2.8
that h = dℓ > dℓ−1 . The primitive vector field D is thus, up to a non-zero complex
constant, independent of the given choice of fundamental invariants.

Consider X := V W = spec(C[t]) and let ∆(t) be the discriminant of W given by
Y

eH
∆ F1fl (x), . . . , Fℓfl(x) =
αH
H∈A

with vanishing locus H := {p ∈ X | ∆(p) = 0}, cf. [OT92, Def. 6.44]. Let DerR be the
R-module of logarithmic vector fields, and let

DerR (− log ∆) := θ ∈ DerR | θ∆ ∈ R∆
be the module of logarithmic vector fields along H. We have an R-isomorphism between
such logarithmic vector fields and W -invariant S-derivations,
(3.5)
DerR (− log ∆) ∼
= DerW ,
S

and DerR (− log ∆) is a free R-module, cf. [OT92, Cor. 6.58].
Bessis showed in [Bes15, Thm. 2.4] that there exists a system of flat homogeneous
derivations {ξ1 , . . . , ξℓ } of DerR (− log ∆). This means, its Saito matrix


ξℓ (t1 ) · · · ξℓ (tℓ )
.. 
..
Mξ := M(ξℓ , . . . , ξ1 ) =  ...
.
.
ξ1 (t1 ) · · · ξ1 (tℓ )
decomposes as
(3.6)

Mξ = tℓ 11ℓ + M (0) (t′ )

with M (0) (t′ ) ∈ C[t′ ]ℓ×ℓ . As before, we have (ξℓ , . . . , ξ1 )tr = Mξ (∂t1 , . . . , ∂tℓ )tr . Moreover,
we obtain that ∆(t) is a monic polynomial in tℓ with coefficients in C[t′ ], i.e.,
∆(t) = tℓℓ + aℓ−1 (t′ )tℓℓ−1 + . . . + a1 (t′ )tℓ + a0 (t′ ).
9

As observed in [KMS15b, Lem. 3.12], such a system of flat homogeneous derivations
is unique. Following [KMS15b, Eqs. (52), (53)], where this flat system is denoted by
(Vℓ , . . . , V1 ), we have

w ξℓ+1−j (ti ) = 1 − w(tj ) + w(ti )
and

ξ1 =

X

w(ti )ti ∂ti ∈ DerR

is the Euler vector field mapped to the (scaled) Euler derivation
X
(3.7)
E := h1
xi ∂xi ∈ DerW
S

under the isomorphism in (3.5). As described in [KMS15b, Lem. 3.9], one decomposes
X
(3.8)
Mξ =
w(ti )ti B̃ (i)
and defines the weighted homogeneous (ℓ × ℓ)-matrix C(t) such that

(3.9)
B̃ (i) = ∂C ∂ti and ξ1 C = Mξ .

In this case, [KMS15b, Thm. 6.1] yields that ti = Cℓ,i and thus, t is a flat coordinate
system on X associated to the Okubo type differential equation

(3.10)

dY = −Mξ−1 dC B∞ Y,

where B∞ is the diagonal matrix

and



B∞ := diag w(ti ) − (h + 1)/h = diag (di − h − 1)/h ,
−1
−1
Y := −B∞
(ξℓ , . . . , ξ1 )tr (x1 , . . . , xℓ ) = −B∞
Mξ J∂x/∂t .

Define a connection ∇ on DerR by
 
 
∂t1
∂t1
.
−1
∇  ..  = −Mξ (t)dC(t)(B∞ + 11ℓ )  ...  ,
∂tℓ
∂tℓ
P
where dC = B̃ (i) dti is the differential of the matrix C(t) as given in (3.9).

Proposition 3.11. The connection ∇ extends to a connection on DerS which is flat,
i.e.,
 
∂x1
..  = 0.

∇
.
∂xℓ

Proof. Using the definition of ∇ and the Leibniz rule, we obtain
 
 
 
∂t1
∂x1
∂x1
.
.. 
.





..
= dJ∂x/∂t
∇ ..
+ J∂x/∂t ∇
.
∂tℓ
∂xℓ
∂xℓ
(3.12)
 
∂x1
..  .
−1

= −Mξ dC (B∞ + 11ℓ ) J∂x/∂t
.
∂xℓ
10

By (3.10), we have
−1
dY = −B∞
dMξ J∂x/∂t + Mξ dJ∂x/∂t

= −Mξ−1 dC B∞ Y
= dC J∂x/∂t ,

(3.13)



where all B̃ (i) and Mξ mutually commute, according to [KMS15b, Eq. (13)]. Thanks
to [KMS15b, Eq. (28)], we have
dMξ = dC + [dC, B∞ ].
The identity (3.13) then implies

−Mξ dJ∂x/∂t = B∞ dC J∂x/∂t + dC + [dC, B∞ ] J∂x/∂t

(3.14)

= dC (B∞ + 11ℓ )J∂x/∂t .

We finally deduce from (3.12) and (3.14) that

J∂x/∂t

 
 
∂x1

 ∂x1
∇  ...  = − Mξ−1 dC (B∞ + 11ℓ )J∂x/∂t + dJ∂x/∂t  ...  = 0.
∂xℓ
∂xℓ

Since J∂x/∂t is invertible, the result follows.



One further main ingredient in the proof of Theorem 1.1 is the following proposition,
where we recall M (0) (t′ ) = Mξ − tℓ 11ℓ from (3.6).
Proposition 3.15. We have C[t′ ]-isomorphisms
∇D : DerR (− log ∆) −→ DerR
∇D−1 : DerR −→ DerR (− log ∆)
given by

(3.16)

 
 
∂t1
∂t1
.
−1
∇D  ..  = −Mξ (B∞ + 11ℓ )  ... 
∂tℓ
∂tℓ
 
 
 
∂t1
ξℓ
∂t1
..  .
−1
−1  .. 
−1  .. 

= −B∞
∇D
.
. = −B∞ Mξ
.
∂tℓ
ξ1
∂tℓ

Moreover, for k > 0 we get
(3.17)

∇D−1 (tkℓ ∂ti )

=

h
(k+1)h+1−di

ℓ


X
 (0) ′  −1 k−1
k
tℓ ξℓ+1−i − k
M (t ) ij ∇D (tℓ ∂tj ) .
j=1

Proof. One first directly calculates that ∇D is C[t′ ]-linear. The first equation in (3.16) is
a direct consequence of the fact that B̃ (ℓ) = 11ℓ which follows from (3.8) in light of (3.6).
11

On the other hand, we have
 
  
ξℓ
∂t1
.
∇D  ..  = ∇D Mξ  ... 
ξ1

(3.18)

∂tℓ
 
 
∂t1
∂t1
∂Mξ  . 
..
=
+ Mξ ∇D  ... 
∂tℓ
∂tℓ
∂tℓ
 
 
∂t1
∂t1
.
=  ..  − (B∞ + 11ℓ )  ... 
∂tℓ

∂tℓ

∂t1
= −B∞  ...  ,
∂tℓ




where we used that

(3.19)

∂Mξ
∂tℓ

= 11ℓ , see again (3.6). Moreover,

∇D (tkℓ ξℓ+1−i ) = ktℓk−1 ξℓ+1−i + tkℓ ∇D (ξℓ+1−i )
ℓ


X
 (0) ′ 
M (t ) ij ∂tj +
= ktℓk−1 tℓ ∂ti +

h+1−di k
tℓ ∂ti
h

j=1

=

(k+1)h+1−di k
tℓ ∂ti
h

+k

ℓ
X


M (0) (t′ )

j=1

tk−1 ∂tj ,
ij ℓ



implying that ∇D is indeed bijective, where we used that (k + 1)h + 1 − di > 0, and thus
a C[t′ ]-isomorphism. Applying now ∇−1
D to (3.18) yields the second equation in (3.16),
and rewriting (3.19) as
tkℓ ∂ti

=

h
(k+1)h+1−di

∇D (tkℓ ξℓ+1−i )

ℓ
X
 (0) ′  k−1 
−k
M (t ) ij tℓ ∂tj ,
j=1

and applying ∇−1
D yields (3.17).



Using Proposition 3.15, we obtain the analogue of the Hodge filtration for reflection
arrangements of well-generated unitary reflection groups introduced by Saito for Coxeter
arrangements in [Sai93], compare also [Ter05]. Let G0 be the C[t′ ]-submodule of DerR
generated by ∂t1 , . . . , ∂tℓ and let Gk := ∇−k
D (G0 ) for k ∈ N. In particular, we see by
Proposition 3.15 that G1 coincides with the C[t′ ]-submodule generated by ξ1 , . . . , ξℓ . Then,
using (3.17), we confirm that
DerR =

∞
M

Gk

and G0 ⊕ · · · ⊕ Gk = G0 ⊕ tℓ G0 ⊕ · · · ⊕ tkℓ G0 .

k=0

Note that Gk 6= tkℓ G0 in general. However, we obtain the (increasing) Hodge filtration of
DerR defined by
k
k
M
M
tiℓ G0 .
Gi =
Hk :=
i=0

i=0

12

From this filtration, we can now derive the universality of ∇D−m (E) for the Euler derivation E defined in (3.7).
Proposition 3.20. Let θ1 , . . . , θℓ ∈ DerS be linearly independent over S. Then
∇θ1 ∇D−m (E), . . . , ∇θℓ ∇D−m (E)
are linearly independent over S.
. Q
eH −1
Proof. It is well-known that det J∂t/∂x = H∈A αH
6= 0 implies that it is sufficient
−m
to prove linear independence of ∇∂t1 ∇D (E), . . . , ∇∂tℓ ∇D−m (E) over R. For the sake of
contradiction, assume that
ℓ
X

(3.21)

ai ∇∂ti ∇D−m (E) = 0

i=1

with ai ∈ R = C[t]. Write ai = ci0 + ci1 tℓ + ci2 t2ℓ + · · · + cid tdℓ for cij ∈ C[t′ ] where d
is the maximal degree of tℓ among all ai ’s. In particular, cid 6= 0 for some i. We easily
find that ∇∂ti (E) = h1 ∂ti ∈ G0 and thus ∇∂ti ∇D−m (E) = ∇D−m ∇∂ti (E) ∈ Gm . Hence,
Pℓ
−m
we also have
i=1 cid ∇∂ti ∇D (E) ∈ Gm . On the other hand, we obtain from (3.21)
that
of the degree d + m term with respect to tℓ vanishes, and therefore,
Pℓ the coefficient
−m
∇
c
∇
(E)
∈ Hm−1 , implying that this sum also vanishes. Applying ∇m
D , we
i=1 id ∂ti D
finally have
0 = ∇m
D

ℓ
X
i=1

ℓ
ℓ
 X
1X
cid ∂ti .
cid ∇∂ti ∇D−m (E) =
cid ∇∂ti (E) =
h
i=1
i=1

Therefore, c1d = · · · = cℓd = 0, contradicting the fact that cid 6= 0 for some i.



After having established the universality of ∇D−m (E), the following is our generalization
of [Yos02, Thm. 7] to the well-generated setting.
Theorem 3.22. Let W be an irreducible, well-generated unitary reflection group with
reflection arrangement A . Let ω : A → N given by ω(H) = eH , and let m ∈ N. Suppose
that µ : A → {0, 1} such that D(A , µ) is free with homogeneous basis θ1 , . . . , θℓ . Then
D(A , mω + µ) is free with basis
∇θ1 ∇D−m (E), . . . , ∇θℓ ∇D−m (E).
Moreover,
 
exp A , mω + µ = mh + pdeg(θ1 ), . . . , mh + pdeg(θℓ ) .

Armed with Theorem 3.22, we derive our first main theorem.

Proof of Theorem 1.1. One obtains the two statements in the theorem from the special
cases in Theorem 3.22 with µ ≡ 0 and µ ≡ 1. Freeness in the first case is trivial, and is
due to Terao [Ter80b] in the second.

Proof of Theorem 3.22. Let δ ∈ DerS and α = αH with H ∈ A . We first show that, for
any m ∈ N,
(3.23)

∇D (δ)α ∈ αm S

⇐⇒
13

δα ∈ αm+eH S.

k+eH
For the reverse implication, suppose that δα = αH
f for some f ∈ S and k ∈ N. We
then obtain from (3.2) that
∂t1
∂x1

.
∇D (δ)α = D(δα) = det J∂x/∂t

..
.

∂t1
∂xℓ

···
..
.
···

∂tℓ−1
∂x1

∂αk+eH f
∂x1

∂tℓ−1
∂xℓ

∂αk+eH f
∂xℓ

..
.

..
.

.

It now follows from the product rule for derivations that ∇D (δ)α is divisible by αk .
For the forward implication, assume that k is maximal such that δα = αk+eH f . We
show that in this case, ∇D (δ)α ∈
/ αk+1 S. We may assume, after a possible change of

Q
eH −1 −1
−1
basis, that α = xℓ . Since det J∂x/∂t = det J∂t/∂x
=
α
, we have to show
H
H∈A
that the maximal minor
∂t1
· · · ∂t∂xℓ−1
∂x1
1
..
..
..
.
.
.
∂t1
∂xℓ−1

∂tℓ−1
∂xℓ−1

···

is not divisible by α. This follows from a variant of the argument in the proof of [OT92,
Lem. 6.41]. Arguing as in loc. cit., the sequence (h1 , . . . , hℓ ) = (t1 (x), . . . , tℓ−1 (x), xℓ ) is
regular. Because the considered determinant equals
∂tℓ−1
∂x1

∂xℓ
∂x1

∂t1
∂xℓ−1

···
..
.
···

∂tℓ−1
∂xℓ−1

∂xℓ
∂xℓ−1

∂t1
∂xℓ

···

∂tℓ−1
∂xℓ

∂xℓ
∂xℓ

∂t1
∂x1

..
.

..
.

..
.

,

applying loc. cit. directly shows that this determinant does not belong to the ideal generated by (t1 (x), . . . , tℓ−1 (x), xℓ ). In particular, the determinant is not divisible by xℓ = α,
as desired.
Next, observe that (3.23) and Proposition 3.15 immediately imply
δα ∈ αk S

⇐⇒

∇D−1 (δ)α ∈ αk+eH S

for δ ∈ DerR , forcing ∇D−m (E)α = αmeH +1 f for some f ∈ S. Thus, applying ∇θ for
θ ∈ D(A , µ) to both sides and using (3.2) entails

∇θ ∇D−m (E)α = αmeH (meH + 1)(θα)f + α(θ(f ) .

As θα is divisible by αµ(H) and 0 ≤ µ(H) ≤ 1, we obtain that ∇θ ∇D−m (E)α is divisible
by αmeH +µ(H) , implying that
∇θ ∇D−m (E) ∈ D(A , mω + µ).

For θ ∈ D(A , µ) homogeneous, we obtain from (3.3) and (3.4) that ∇θ ∇D−m (E) is homogeneous as well with

pdeg ∇θ ∇D−m (E) = mh + pdeg θ.
P
Let now θ1 , . . . , θℓ be the given homogeneous basis of D(A , µ). Then, since
pdeg(θi ) =
|µ|, we immediately get
ℓ
X
i=1


pdeg ∇θi ∇D−m (E) = mhℓ + |µ| = |mω + µ|.

The statement then follows from the universality of ∇D−m (E) in Proposition 3.20 using
Theorem 2.1(iii).

14

3.1. An example. We finish this section with a detailed example of the computation of
the basis for D(A (W ), ω) with W = G(3, 1, 2). In this cases, the degrees are
d1 = 3,

d2 = h = 6.

We refer to [KMS15b, Rem. 6.2] for a general strategy how to compute a flat system
of invariants from the potential vector field corresponding to the Okubo type differential
equation (3.10) as defined in [KMS15b, Def 4.2]. Such have been computed in many types
in [AL16], see also [KMS15a].
Given such a potential vector field ~g = (g1 (t), . . . , gℓ (t)) and a flat system of invariants
the general strategy is as follows:

F1fl (x), . . . , Fℓfl (x),
(i)

(1) Compute B̃

using [B̃ (i) ]jk =

(2) Compute Mξ =

P

∂ 2 gk
,
∂ti ∂tj

as given in the proof of [KMS15b, Prop. 4.4].

w(ti )ti B̃ (i) , as given in (3.8).

(3) Compute ∇D−m (E) ∈ DerR (− log ∆), using Proposition 3.15.
fl
(4) Transfer ∇D−m (E) ∈ DerR (− log ∆) into ∇D−m (E) ∈ DerW
S by specializing ti 7→ Fi (x)
and using
(∂t1 , . . . , ∂tℓ )tr = J∂x/∂t (∂x1 , . . . , ∂xℓ )tr .

(5) Given a homogeneous basis θ1 , . . . , θℓ of D(A , µ) for some µ : A → {0, 1}, one finally
uses Proposition 3.11 to compute the homogeneous basis of D(A , mω + µ).

Following [AL16, Sec. 5.17] for G(3, 1, 2), the potential vector field ~g = g1 (t), g2 (t) is
given by
1 4
1 3
t1 + t1 t2 ,
g2 (t) = 54
t1 + 12 t22
g1 (t) = 18
and a flat system of fundamental invariants is given by
F2fl (x) = 61 x61 − 53 x31 x32 + 61 x62 .

F1fl (x) = x31 + x32 ,
First, we obtain from the degrees that

−B∞ =

2

0

3

1
6

0

From the potential vector field, we compute

1
2 2
t
t
1
(1)
1
9
,
B̃ = 3
1
0

B̃

implying

Mξ =

1
t B̃ (1)
2 1

+ t2 B̃

(2)

Next, we compute
∇D−1
and



∂t1
∂t2

∇D−1 (t2 ∂t2 )



=

−1
−B∞
Mξ

=



.

(2)

1



1 0
=
0 1

t2 + t2
6 1
1
t
2 1



1 3
t
9 1
t2 .



 
  1 2 3
∂t1
t1 + 2 t2 61 t31 ∂t1
4
=
∂t2
∂t2
3t1
6t2



(0)
−1
(0)
−1
= t2 ξ1 − [M ]21 ∇D (∂t1 ) + [M ]22 ∇D (∂t2 )

= 67 t2 ( 12 t1 ∂t1 + t2 ∂t2 ) − 21 t1 ∇D−1 (∂t1 )

= 37 t1 t2 ∂t1 + 76 t22 ∂t2 − 37 t1 ( 41 t21 + 23 t2 )∂t1 + 61 t31 ∂t2


3 3
3
1 4
= − 28
t1 + 14
t1 t2 ∂t1 + 76 t22 − 14
t1 ∂t2 .
6
7

15

Therefore, we have
∇D−1 (E) = ∇D−1 ( 21 t1 ∂t1 + t2 ∂t2 )
= 21 t1 ∇D−1 (∂t1 ) + ∇D−1 (t2 ∂t2 )

= 21 t1 ( 14 t21 + 23 t2 )∂t1 + 61 t31 ∂t2 −

=

1 3
( 56
t1

+

15
t t )∂
28 1 2 t1

+

1 4
( 84
t1

+

3 3
t
28 1

6 2
t )∂
7 2 t2

+

3
tt
14 1 2



∂t1 +

6 2
t
7 2

−

1 4
t
14 1

∈ DerR (− log ∆).



∂t2

We next compute
J∂t/∂x
and


3x21 x51 − 5x21 x32
,
=
3x22 −5x31 x22 + x52


J∂x/∂t =

−1
J∂t/∂x

det J∂t/∂x = −18x51 x22 + 18x21 x52

= det(J∂t/∂x )

−1

to obtain



−5x31 x22 + x52 5x21 x32 − x51
−3x22
3x21

1 7
1 7
∇D−1 (E) = ( 28
x1 − 14 x41 x32 )∂x1 + ( 28
x2 − 41 x31 x42 )∂x2 ∈ DerW
S .
We finally obtain
1 7
∂( 28
x1 − 41 x41 x32 )
∂( 1 x7 − 1 x3 x4 )
∂x1 + 28 2 4 1 2 ∂x2
∂x1
∂x1
3 3
1 6
3 2 4
= ( 4 x1 − x1 x2 )∂x1 − 4 x1 x2 ∂x2

Θ1 := ∇∂x1 ∇D−1 (E) =

Θ2 :=

∇∂x2 ∇D−1 (E)

1 7
1 7
∂( 28
x1 − 41 x41 x32 )
x2 − 41 x31 x42 )
∂( 28
∂x1 +
∂x2
=
∂x2
∂x2
= − 43 x41 x22 ∂x1 + ( 41 x62 − x31 x32 )∂x2 .

One can easily check that {Θ1 , Θ2 } is indeed a homogeneous basis of D(A , ω).
4. Proof of Theorem 1.2
In this section, we prove in Theorem 4.1 a strengthened version of Theorem 1.2 for the
imprimitive groups G(de, e, ℓ) with
r := de ≥ 2 and ℓ ≥ 2.
We fix these parameters throughout. This restriction means we exclude the symmetric
groups G(1, 1, ℓ) and the cyclic groups G(d, 1, 1) from our subsequent considerations. The
first has been treated in [Ter02], the second is trivial.
Recall that the simple reflection arrangements in the considered cases are given by
(
Q
(x1 · · · xℓ ) 1≤i<j≤ℓ (xri − xrj ) if d > 1,
Q(A ) =
Q
r
r
if d = 1,
1≤i<j≤ℓ (xi − xj )

see [OT92, Sec. 6.4]. Moreover,
eH = d

for H = ker(xi ) with 1 ≤ i ≤ ℓ,

eH = 2

for H = ker(xi − ζxj ) with 1 ≤ i < j ≤ ℓ and ζ r = 1.

The following theorem is our more general version of Theorem 1.2.
Theorem 4.1. Let m, mP
1 , . . . , mℓ , ∈ N such that q := ⌊(mi − 1)/r⌋ does not depend on i.
Set a := (ℓ − 1)r, m′ := mi , and c := ma + qr + 1.
16

(i) The multi-arrangement (A , µ) with defining polynomial
Y
mℓ
1
(xri − xrj )2m
Q(A , µ) = xm
1 · · · xℓ
1≤i<j≤ℓ

is free with exponents


exp(A , µ) = ma + m1 , . . . , ma + mℓ .

(ii) The multi-arrangement (A , µ) with defining polynomial
Y
mℓ
1
(xri − xrj )2m+1
Q(A , µ) = xm
·
·
·
x
1
ℓ
1≤i<j≤ℓ

is free with exponents
n
o
exp(A , µ) = c + m′ − ℓ(qr + 1), c + r, c + 2r, . . . , c + (ℓ − 1)r
n
= (m − q)a + m′ − ℓ + 1,

o
ma + (q + 1)r + 1, ma + (q + 2)r + 1, . . . , ma + (q + ℓ − 1)r + 1 .

In (ii), we provide two alternative formulas for later reference. We prove the two parts
of this theorem in Sections 4.1 and 4.2, respectively.
Armed with Theorem 4.1, we can deduce our second main result, Theorem 1.2. We
treat the three cases d = 1, e = 1, and d, e ≥ 2 separately, and observe that the first two
are well-generated while the third is not.
Proof of Theorem 1.2 (i). For d = 1, we have Coxeter number h = (ℓ − 1)e. Consider the
defining polynomial
Y
Q(A , mω) =
(xri − xrj )2m .
1≤i<j≤ℓ

This is the case m1 = m2 = . . . = mℓ = 0 in Theorem 4.1(i). Thus, (A , mω) is free with


exp(A , mω) = m(ℓ − 1)e, . . . , m(ℓ − 1)e = mh, . . . , mh ,
as claimed.

For e = 1, we have Coxeter number h = ℓd. Consider the defining polynomial
Y
rm
(xri − xrj )2m .
Q(A , mω) = xrm
1 · · · xℓ
1≤i<j≤ℓ

This is the case m1 = m2 = . . . = mℓ = rm in Theorem 4.1(i). Thus, (A , mω) is free
with


exp(A , mω) = mℓr, . . . , mℓr = mh, . . . , mh ,
as claimed.
For d, e ≥ 2, we have Coxeter number h = (ℓ−1)r+d. Consider the defining polynomial
Y
dm
Q(A , mω) = xdm
(xri − xrj )2m .
1 · · · xℓ
1≤i<j≤ℓ

This is the case m1 = m2 = . . . = mℓ = dm in Theorem 4.1(i). Thus, (A , mω) is free
with


exp(A , mω) = m((ℓ − 1)r + d), . . . , m((ℓ − 1)r + d) = mh, . . . , mh ,
as claimed.



17

Proof of Theorem 1.2 (ii). For d = 1, we have Coxeter number h = (ℓ − 1)r, and


n1 (V ∗ ), . . . , nℓ (V ∗ ) = (ℓ − 1)r − ℓ + 1, 1, r + 1, 2r + 1, . . . , (ℓ − 2)r + 1 .

Consider the defining polynomial

Q(A , mω + 1) =

Y

(xri − xrj )2m+1 .

1≤i<j≤ℓ

This is the case m1 = m2 = . . . = mℓ = 0 in Theorem 4.1(ii). We have a = (ℓ − 1)r, q =
−1, and m′ = 0, and (A , mω + 1) is free with
exp(A ,mω + 1)
n
= (m + 1)(ℓ − 1)r − ℓ + 1,

as claimed.

o

m(ℓ − 1)r + 1, m(ℓ − 1)r + r + 1, . . . , m(ℓ − 1)r + (ℓ − 2)r + 1
n
o
= mh + (ℓ − 1)r − ℓ + 1, mh + 1, mh + r + 1, . . . , mh + (ℓ − 2)r + 1

= mh + n1 (V ∗ ), . . . , mh + nℓ (V ∗ ) ,

For e = 1, we have Coxeter number h = ℓd and


n1 (V ∗ ), . . . , nℓ (V ∗ ) = 1, d + 1, 2d + 1, . . . , (ℓ − 1)d + 1 .

Consider the defining polynomial

Q(A , mω + 1) = xdm+1
· · · xdm+1
1
ℓ

Y

(xdi − xdj )2m+1 .

1≤i<j≤ℓ

This is the case r = d, m1 = m2 = . . . = mℓ = dm + 1 in Theorem 4.1(ii). We have
a = (ℓ − 1)d, q = m, and m′ = ℓdm + ℓ, and (A , mω + 1) is free with
n
exp(A , mω + 1) = ℓdm + ℓ − ℓ + 1,
o
m(ℓ − 1)d + (m + 1)d + 1, . . . , m(ℓ − 1)d + (m + ℓ − 1)d + 1
n
o
= mh + 1, mh + d + 1, . . . , mh + (ℓ − 1)d + 1

= mh + n1 (V ∗ ), . . . , mh + nℓ (V ∗ ) ,
as claimed.

For d, e ≥ 2, we have Coxeter number h = (ℓ − 1)de + d, and, as computed in [GG12,
Sec. 3], we have ord(Ψ) = e with

(4.2) n1 (Ψs (V ∗ )∗ ), . . . , nℓ (Ψs (V ∗ )∗ ) =
n
o
d(s(ℓ − 1) + ℓ) − 1, d((ℓ − 1)e − s) − 1, . . . , d(2e − s) − 1, d(e − s) − 1

for 0 ≤ s < e. We consider the defining polynomial
Y
de 2m+1
dm+1
(xde
.
Q(A , µ) = xdm+1
·
·
·
x
i − xj )
1
ℓ
1≤i<j≤ℓ

18

This is the case m1 = m2 = . . . = mℓ = dm + 1 in Theorem 4.1(ii). We have a =
(ℓ − 1)de, q = b with uniquely written m = be + s for 0 ≤ s < e, and m′ = ℓdm + ℓ.
Consequently, using (2.12) and (4.2), (A , mω + 1) is free and
n
exp(A , mω + 1) = (m − b)(ℓ − 1)de + ℓdm + 1,
o
(m(ℓ − 1) + b + 1)de + 1, . . . , (m(ℓ − 1) + b + (ℓ − 1))de + 1
n
= (m + 1)((ℓ − 1)de + d) − d((e − s − 1)(ℓ − 1) + ℓ) + 1,
(m + 1)((ℓ − 1)de + d) − d((ℓ − 1)e − (e − 1 − s)) + 1, . . . ,
o
(m + 1)((ℓ − 1)de + d) − d(e − (e − 1 − s)) + 1

as claimed.


= (m + 1)h − n1 (Ψe−1−s (V ∗ )∗ ), . . . , (m + 1)h − nℓ (Ψe−1−s (V ∗ )∗ )

= (m + 1)h − n1 (Ψ−m−1 (V ∗ )∗ ), . . . , (m + 1)h − nℓ (Ψ−m−1 (V ∗ )∗ )

= mh + n1 (V ∗ ), . . . , mh + nℓ (V ∗ ) ,



In the remainder of this section, we prove the two parts of Theorem 4.1 separately.
4.1. Proof of Theorem 4.1(i). We begin with the situation in rank 2 and set S = C[x, y]
in this case.
Lemma 4.3. Let r ≥ 2, m ≥ 1 and k ≥ 0. Define (A , µ) by
Q(A , µ) = xkr+1 y kr+1(xr − y r )2m .
Then (A , µ) is free with

exp(A , µ) = (m + k)r + 1, (m + k)r + 1 .

Moreover, there are homogeneous polynomials q1 , q2 ∈ Z[x, y] of degrees m and m − 1,
respectively, such that
(i) all coefficients of q1 , q2 are non-zero, and
(ii) the homogeneous derivations
θ1 := xkr+1 q1 (xr , y r )∂x + y kr+1xr q2 (xr , y r )∂y
θ2 := xkr+1 y r q2 (y r , xr )∂x + y kr+1q1 (y r , xr )∂y
form a basis of D(A , µ).
Proof. We aim to define q1 and q2 such that θ1 (x − y) ∈ (x − y)2m S. Let q1 (x, y) =
Pm
P
i m−i
i m−1−i
and q2 (x, y) = m−1
for some ai , bi ∈ Q. Then
i=0 ai x y
i=0 bi x y
P (x, y) := θ1 (x − y) =

m
X

(i+k)r+1 (m−i)r

ai x

y

i=0

−

m−1
X

bi x(i+1)r y (m−1−i+k)r+1 .

i=0

2m

Since we require P (x, y) ∈ (x − y) S, the coefficients a0 , . . . , am , b0 , . . . , bm−1 form a
solution of the following system of linear equations over Q
 j !
d
P (x, x) = 0
dx
for j = 0, . . . , 2m − 1.
19

The entries of the corresponding matrix are just given by the exponents of x in q1 , q2 .
Dividing the j-th equation by j!, the entries of the respective equations become




(i + 1)r
(i + k)r + 1
and −
j
j
for ai with i = 0, . . . , m, and, respectively, for bi with i = 0, . . . , m − 1. We may avoid
the minus sign by replacing bi by −bi . The homogeneous system has 2m equations and
2m + 1 unknowns. Thus, we may choose a non-trivial solution with ai , bi ∈ Z for all i.
Now assume that one of the ai or one of the bi is zero, so that we may omit the
corresponding summand in q1 or q2 . This corresponds to deleting the coefficients of this
monomial in the given system of equations. But then, the matrix for j = 0, . . . , 2m−1 is a
(2m×2m)-matrix, which is invertible thanks to the famous Gessel-Viennot lemma [GV85].
In this case, there is only the trivial solution. This contradicts the fact that we have
already obtained a non-trivial solution in the previous paragraph. Hence, none of the ai
or bi are zero.
Next, we check that θ1 ∈ D(A , µ). By construction, θ1 (x) ∈ xkr+1 S, θ1 (y) ∈ y kr+1S
and θ1 (x − y) ∈ (x − y)2m S. Then, for ζ an r-th root of unity, we have
θ1 (x − ζy) = xkr+1 q1 (xr , y r ) − ζy kr+1xr q2 (xr , y r )
= xkr+1 q1 (xr , (ζy)r ) − (ζy)kr+1xr q2 (xr , (ζy)r )
= P (x, ζy) ∈ (x − ζy)2mS.
Hence θ1 ∈ D(A , µ). Likewise, we also get that θ2 ∈ D(A , µ). Observe that
det M(θ1 , θ2 ) = xkr+1 y kr+1q1 (xr , y r )q1 (y r , xr ) − x(k+1)r+1 y (k+1)r+1 q2 (xr , y r )q2 (y r , xr )
is non-zero of degree |µ|. (The first part is only divisible by xkr+1 and the second part
is divisible by x(k+1)r+1 .) Thus θ1 and θ2 are independent over S. Since θ1 and θ2 are
homogeneous and pdeg θ1 + pdeg θ2 = |µ|, it follows from Theorem 2.1(iii) that {θ1 , θ2 }
is a basis of D(A , µ)).

Corollary 4.4. Let r ≥ 2, m ≥ 1, k ≥ 0 and m1 , m2 ≥ 0 such that (k − 1)r + 1 ≤
m1 , m2 ≤ kr + 1. Define (A , µ) by
Q(A , µ) = xm1 y m2 (xr − y r )2m .
Then (A , µ) is free with
exp(A , µ) = {rm + m1 , rm + m2 }.
Proof. A basis {θ̃1 , θ̃2 } of D(A , µ) is given by
(
(
θ1 /x
if k = 0,
θ2 /y
θ̃1 =
and θ̃2 =
r
θ1 /x
if k > 0,
θ2 /y r

if k = 0,
if k > 0,

where θ1 and θ2 are given as in Lemma 4.3.



We next use the rank 2 considerations to prove the general rank ℓ case.
Theorem 4.5. Let ℓ, r ≥ 2, k ≥ 0, m1 , . . . , mℓ ≥ 0 and (k−1)r+1 ≤ m1 , . . . , mℓ ≤ kr+1.
Define (A , µ) by
Y
mℓ
1
(xri − xrj )2m .
Q(A , µ) = xm
·
·
·
x
1
ℓ
1≤i<j≤ℓ

Then D(A , µ) is free with

exp(A , µ) = {c + m1 , . . . , c + mℓ },
20

where c = (ℓ − 1)mr.
Proof. We argue by induction on ℓ. Thanks to Corollary 4.4, the theorem holds for P
ℓ = 2.
Now, suppose ℓ > 2. The proof in this case follows from a further induction on
mi .
Thanks to
Theorem
1.1,
the
statement
of
the
theorem
holds
for
m
=
.
.
.
=
m
=
0.
1
ℓ
P
Now let
mi 6= 0. Without loss, we may assume that mℓ > 0 is maximal among
the mi . We aim to apply Theorem 2.2 with respect to the hyperplane Hℓ = ker xℓ . If
m1 = · · · = mℓ = (k − 1)r + 1, then, in order to being able to apply the induction
hypothesis, requiring the lower bounds on the mi , we replace k by k − 1. Observe that
this replacement is valid as, crucially, the exponents do not depend on k.
The defining polynomial of the deletion with respect to Hℓ is given by
Y
mℓ−1 mℓ −1
1
(xri − xrj )2m .
Q(A ′ , µ′) = xm
1 · · · xℓ−1 xℓ
1≤i<j≤ℓ

Now, by induction on

P

′

′

mi , (A , µ ) is free with exponents

′

exp(A , µ′) = {c + m1 , . . . , c + mℓ−1 , c + mℓ − 1}.
The Euler multiplicity µ∗ on A Hℓ is given by
m

ℓ−1
1 +rm
Q(A Hℓ , µ∗ ) = xm
· · · xℓ−1
1

+rm

Y

(xri − xrj )2m .

1≤i<j≤ℓ−1

This can be seen as follows. For a hyperplane Hij = ker(xi − xj ) (i, j =
6 ℓ) the localization
is of size |AHℓ ∩Hij | = 2, hence the Euler multiplicity is 2m, by Lemma 2.3. For a
hyperplane Hi = ker xi (i 6= ℓ) the localization is given by
r
r 2m
i mℓ
xm
i xℓ (xi − xℓ )

with exponents {rm + mi , rm + mℓ }, by Corollary 4.4. By decreasing mℓ , the second
exponent changes, again according to Corollary 4.4. Hence the Euler multiplicity is
rm + mi .
Now, by induction on ℓ, we know that (A Hℓ , µ∗) is free, and we compute the exponents
as follows. The corresponding constant c∗ from the statement of the theorem is c∗ =
((ℓ − 1) − 1)mr = c − mr. Hence,
exp(A Hℓ , µ∗ ) = {c∗ + m1 + mr, . . . , c∗ + mℓ−1 + mr} = {c + m1 , . . . , c + mℓ−1 }.
The theorem now follows by Theorem 2.2.



Note that Theorem 4.1(i) follows from Theorem 4.5.
4.2. Proof of Theorem 4.1(ii). The derivations are constructed in a similar way as in
the previous case. Hence we construct a polynomial whose coefficients are the solution of
a system of linear equations which depend on several indeterminates. The key observation
in the previous case was the regularity of a matrix whose entries consist of certain binomial
coefficients. It turns out that in the present case the entries of the matrix consist of
differences of certain binomial coefficients. The application of the following technical
lemma in the present situation was communicated to us by Christian Krattenthaler.
Lemma 4.6 ([Kra99, Lem. 7]). Let X1 , X2 , . . . , Xm , A2 , A3 , . . . , Am , C be indeterminates,
and let p0 , p1 , . . . , pm−1 be polynomials in a single variable such that deg pj ≤ 2j and
pj (X) = pj (C − X) for j = 0, 1, . . . , m − 1. Then,
!
m 

Y
(Xi − Ak )(Xi − Ak − C) · pj−1 (Xi )
det
1≤i,j≤m

k=j+1

21

=

Y

(Xj − Xi )(C − Xi − Xj )

m
Y

pi−1 (−Ai ).

i=1

1≤i<j≤m

0
Comparing the coefficient of A2m−2
A2m−4
m
m−1 · · · A1 in the identity in the previous lemma,
we obtain
m
Y
Y

(4.7)
det pj−1(Xi ) =
(Xi − Xj )(C − Xi − Xj )
qi−1
1≤i,j≤m

i=1

1≤i<j≤m

where qj is the leading coefficient of pj (X).
Utilizing (4.7), we obain the following consequence.

Corollary 4.8. Let A, B, m ∈ N such that A − B 6≡ 0 mod r, and set C =
Xi = i − 1, and
!
 

1
B − rX
A + rX
pj (X) =
∈ Q[X].
−
2j + 1
2j + 1
A − B + 2rX

B−A
,
r

Then the left-hand side of (4.7) specializes to
!
 

B − ri
A + ri
−
,
det
0≤i,j≤m−1
2j + 1
2j + 1
which is not identically zero.
We use this corollary repeatedly in the subsequent lemma.
Lemma 4.9. Let m ≥ 1 and k ≥ 0. Define (A , µ) by
Q(A , µ) = xkr+1 y kr+1(xr − y r )2m+1 .
Then (A , µ) is free with

exp(A , µ) = (m + k)r + 1, (m + k + 1)r + 1 .

Moreover, there are polynomials q1 , q2 ∈ Z[x, y] of degree m such that
(i) the coefficients of xm and y m in q1 , q2 are non-zero and
(ii) the homogeneous derivations
θ1 := xkr+1 q1 (xr , y r )∂x + y kr+1q1 (y r , xr )∂y
θ2 := xkr+1 y r q2 (xr , y r )∂x + y kr+1xr q2 (y r , xr )∂y
form a basis of D(A , µ).
P
i m−i
Proof. We aim to define q1 such that θ1 (x − y) ∈ (x − y)2m+1 S. Let q1 = m
i=0 ai x y
with ai ∈ Q. We require that
m
X

P (x, y) := θ1 (x − y) =
ai x(i+k)r+1 y (m−i)r − x(m−i)r y (i+k)r+1 ∈ (x − y)2m+1 S.
i=0

Hence, the coefficients a0 , . . . , am form a solution of the following system of linear equations over Q
 j !
1
d
(4.10)
P (x, x) = 0
j!
dx
22

for j = 0, . . . , 2m. Since P (x, y) = −P (y, x), the identity (4.10) holds for a given even j,
provided it holds for all j ′ with 0 ≤ j ′ < j. (In particular, it holds for j = 0.)
Because we have m+1 variables and m equations, the system has a non-trivial solution.
We may choose one such non-trivial solution with coefficients in Z.
Suppose am = 0. Then we may remove the last column of the matrix in (4.10). The
determinant of this matrix equals
!
 

(m − i)r
(i + k)r + 1
−
det
0≤i,j≤m−1
2j + 1
2j + 1
which is not identically zero, thanks to Corollary 4.8 for the parameters A = kr + 1 and
B = mr. Hence, (4.10) only admits the trivial solution, contradicting the above choice
of a non-trivial solution.
Suppose a0 = 0. Then we may remove the first column of the matrix in (4.10). Its
determinant equals, after substituting i by i + 1, the determinant
!
 

(m − i − 1)r
(i + k + 1)r + 1
−
det
0≤i,j≤m−1
2j + 1
2j + 1
which is not identically zero, again thanks to Corollary 4.8 for the parameters A =
(k + 1)r + 1 and B = (m − 1)r. Hence, we obtain an analogous contradiction as in the
previous case.
Next, we check that θ1 ∈ D(A , µ). By construction, θ1 (x) ∈ xkr+1 S, θ1 (y) ∈ y kr+1S
and θ1 (x − y) ∈ (x − y)2m+1 S. Then, for ζ an r-th root of unity, we have
θ1 (x − ζy) = xkr+1 q1 (xr , y r ) − ζy kr+1q1 (y r , xr )
= xkr+1 q1 (xr , (ζy)r ) − (ζy)kr+1q1 ((ζy)r , xr )
= P (x, ζy) ∈ (x − ζy)2m+1S.
P
i m−i
with
We aim to define q2 such that θ2 (x − y) ∈ (x − y)2m+1 S. Let q2 = m
i=0 bi x y
ai ∈ Q. We require that
m
X

P̃ (x, y) := θ2 (x − y) =
bi x(i+k)r+1 y (m−i+1)r − x(m−i+1)r y (k+i)r+1 ∈ (x − y)2m+1 S.
i=0

Hence the coefficients of q2 are the solutions of the system of equations given by
 j !
d
1
P̃ (x, x) = 0
(4.11)
j!
dx

for j = 0, . . . , 2m. As above, since P̃ (x, y) = −P̃ (y, x), we again observe that the equation
holds for a given even j, provided it holds for all j ′ with 0 ≤ j ′ < j.
Because we have m+1 variables and m equations, the system has a non-trivial solution.
We may choose one such non-trivial solution with coefficients in Z.
Suppose bm = 0. Then we may remove the last column of the matrix in (4.11). The
determinant of this matrix equals
!
 

(m − i + 1)r
(i + k)r + 1
−
det
0≤i,j≤m−1
2j + 1
2j + 1
which is not identically zero, thanks to Corollary 4.8 for the parameters A = kr + 1 and
B = (m + 1)r. Hence, (4.11) only admits the trivial solution, contradicting the above
choice of a non-trivial solution.
23

Suppose b0 = 0. Then we may remove the first column of the matrix in (4.11). Its
determinant equals, after substituting i by i + 1, the determinant
!
 

(m − i)r
(i + k + 1)r + 1
−
det
0≤i,j≤m−1
2j + 1
2j + 1
which is not identically zero, again thanks to Corollary 4.8 for the parameters A =
(k + 1)r + 1 and B = mr. Hence, we obtain an analogous contradiction as in the previous
case.
Finally, we check that θ2 ∈ D(A , µ). By construction, θ2 (x) ∈ xkr+1 S, θ2 (y) ∈ y kr+1S
and θ2 (x − y) ∈ (x − y)2m+1 S. Then, for ζ an r-th root of unity, we have
θ2 (x − ζy) = xkr+1 y r q2 (xr , y r ) − ζy kr+1xr q2 (y r , xr )
= xkr+1 (ζy)r q2 (xr , (ζy)r ) − (ζy)kr+1xr q2 ((ζy)r , xr )
= P̃ (x, ζy) ∈ (x − ζy)2m+1 S.
Hence θ1 , θ2 ∈ D(A , µ). Observe that
det M(θ1 , θ2 ) = x(k+1)r+1 y kr+1q1 (xr , y r )q2 (y r , xr ) − y (k+1)r+1 xkr+1 q1 (y r , xr )q2 (xr , y r ).
This determinant has degree |µ|. Since q1 and q2 are not divisible by x and y, respectively,
the determinant is non-zero. Thus θ1 and θ2 are independent over S. Since θ1 and θ2 are
homogeneous and pdeg θ1 + pdeg θ2 = |µ|, it follows from Theorem 2.1(iii) that {θ1 , θ2 }
is a basis of D(A , µ)).

Corollary 4.12. Let m ≥ 1 and k ≥ 0. Let 0 ≤ m̃1 , m̃2 ≤ r and set mi := (k−1)r+1+ m̃i
for i = 1, 2 such that m1 , m2 ≥ 0. Define (A , µ) by
Q(A , µ) = xm1 y m2 (xr − y r )2m+1 .
Let c := (k − 1 + m)r + 1. Then (A , µ) is free with
exp(A , µ) = {c + m̃1 + m̃2 , c + r}.
Proof. A basis {θ̃1 , θ̃2 } of D(A , µ) is given by θ̃1 = θ1 and
(
θ2 /xy
if k = 0,
θ̃2 =
r r
θ2 /x y
if k > 0,
where θ1 and θ2 are given as in Lemma 4.9.



Theorem 4.13. Let k, m ≥ 0 and 0 ≤ m̃1 , . . . , m̃ℓ ≤ r. Set mi := (k − 1)r + 1 + m̃i for
i ∈ {1, . . . , ℓ} such that mi ≥ 0, and set c := ((ℓ − 1)m + k − 1)r + 1.
Define (A , µ) by
Y
mℓ
1
(xri − xrj )2m+1 .
Q(A , µ) = xm
·
·
·
x
1
ℓ
1≤i<j≤ℓ

Then (A , µ) is free with
ℓ
o
n
X
m̃i , c + r, c + 2r, . . . , c + (ℓ − 1)r .
exp(A , µ) = c +
i=1

24

Proof. We argue by induction on ℓ. By Corollary 4.12, the theorem holds for ℓ = 2.
P
Suppose ℓ > 2. The proof in this case follows from a further induction P
on
mi .
Thanks to Theorem 1.1, the theorem holds for m1 = · · · = mℓ = 0. Now let
mi 6= 0.
Without loss, we may assume that mℓ > 0 is maximal among the mi . We aim to apply
Theorem 2.2 with respect to the hyperplane Hℓ = ker xℓ . If m1 = · · · = mℓ = (k −1)r + 1,
then, in order to being able to apply the induction hypothesis, requiring the lower bounds
on the mi , we replace k by k − 1, and, simultaneously, replace m̃i = 0 by m̃i = r for
all i. Observe that this replacement is valid as it does not change the arrangement and,
crucially, the exponents also coincide in both cases.
The defining polynomial of the deletion with respect to Hℓ is given by
Y
mℓ−1 mℓ −1
1
(xri − xrj )2m+1 .
x
Q(A ′ , µ′) = xm
·
·
·
x
1
ℓ−1
ℓ
1≤i<j≤ℓ

mi , the deletion (A , µ′ ) is free with exponents
ℓ
n
o
X
′
′
exp(A , µ ) = c − 1 +
m̃i , c + r, c + 2r, . . . , c + (ℓ − 1)r .

Now, by induction on

′

P

i=1

The Euler multiplicity µ∗ on A Hℓ is given by
(k+m)r+1

Q(A Hℓ , µ∗ ) = x1

(k+m)r+1

· · · xℓ−1

Y

(xri − xrj )2m+1 .

1≤i<j≤ℓ−1

This can be seen as follows.
For a hyperplane Hij = ker(xi − xj ) (i, j 6= ℓ) the localization is of size |AHℓ ∩Hij | = 2,
hence the Euler multiplicity is 2m+1 by Lemma 2.3. For a hyperplane Hi = ker xi (i 6= ℓ)
the localization is given by
r
r 2m+1
i mℓ
xm
i xℓ (xi − xℓ )
with exponents (c̃ + m̃i + m̃ℓ , (k + m)r + 1), by Corollary 4.12, and by decreasing mℓ , the
first exponent changes, again according to Corollary 4.12. Hence the Euler multiplicity
is (k + m)r + 1.
Now, by induction on ℓ, we know that (A Hℓ , µ∗) is free, and we compute the exponents
as follows. The corresponding constant c∗ from the statement of the theorem is c∗ =
((l − 2)m + k + m)r + 1 = ((l − 1)m + k − 1)r + r + 1 = c + r. Hence,
exp(A Hℓ , µ∗ ) = {c∗ , c∗ + r, . . . , c∗ + (ℓ − 2)r} = {c + r, c + 2r, . . . , c + (ℓ − 1)r}.
The theorem now follows by Theorem 2.2.



Note that Theorem 4.1(ii) follows from Theorem 4.13.
Acknowledgments
We thank Masahiko Yoshinaga for explaining the details of the universality in Proposition 3.20 in the case of Coxeter arrangements and Christian Krattenthaler for pointing
out how to apply [Kra99, Lem. 7] to our situation in Corollary 4.8. C.S. also thanks Anne
Shepler for detailed discussions on the topic of this paper.
We acknowledge support from the DFG priority program SPP1489 “Algorithmic and
Experimental Methods in Algebra, Geometry, and Number Theory”. Part of the research
for this paper was carried out while three of us (T.H., G.R. and C.S.) were staying at
the Mathematical Research Institute Oberwolfach supported by the “Research in Pairs”
program. T.M. was supported in part by JSPS KAKENHI Grant Numbers 25800082,
25

17K05335. C.S. was funded by the DFG grant STU 563/2 “Coxeter-Catalan combinatorics”.

References
[ATW08] T. Abe, H. Terao, and M. Wakefield, The Euler multiplicity and addition-deletion theorems
for multi-arrangements. J. Lond. Math. Soc. 77 (2008), no. 2, 335–348.
[AL16]
A. Arsie and P. Lorenzoni, Complex reflection groups, logarithmic connections and bi-flat Fmanifolds. arXiv:1604.04446 (2016).
[Bes15] D. Bessis, Finite complex reflection arrangements are K(π, 1). Ann. of Math., 181 (2015),
809–904.
[BL78]
W. M. Beynon and G. Lusztig, Some numerical results on the characters of exceptional Weyl
groups. Proc. Camb. Phil. Soc. 84 (1978), 417–426.
[Bou68] N. Bourbaki, Éléments de mathématique. Groupes et algèbres de Lie. Chapitre IV-VI, Actualités Scientifiques et Industrielles, No. 1337, Hermann, Paris, 1968.
[Che55] C. Chevalley, Invariants of finite groups generated by reflections. Amer. J. Math. 77 (1955),
no. 4, 778–782.
[GV85] M. Gessel and G. Viennot, Binomial determinants, paths, and hook length formulas. Adv.
Math. 58 (1985), 300–321.
[GG12] I. G. Gordon and S. Griffeth, Catalan numbers for complex reflection groups. Amer. J. Math.
134 (2012), no. 6, 1491–1502.
[KMS15a] M. Kato, T. Mano and J. Sekiguchi, Flat structures without potentials. Rev. Roumaine Math.
Pures Appl. 60 (2015), no. 4, 481–505.
, Flat structure on the space of isomonodromic deformations. arXiv:1511.01608.
[KMS15b]
[Kra99] C. Krattenthaler, Advanced determinant calculus. Sém. Lothar. Combin. 42, Nr. B42q (1999).
[LT09]
G. I. Lehrer and D. E. Taylor, Unitary Reflection Groups. Australian Mathematical Society
Lecture Series, 20. Cambridge University Press, Cambridge, 2009.
[Mal99] G. Malle, On the rationality and fake degrees of characters of cyclotomic algebras. J. Math.
Sci. Univ. Tokyo 6 (1999), no. 4, 647–677.
[Opd95] E. M. Opdam, A remark on the irreducible characters and fake degrees of finite real reflection
groups. Invent. Math. 120 (1995), 447–454.
, Lecture Notes on Dunkl Operators for Real and Complex Reflection Groups, Part II.
[Opd00]
Tokyo, The Mathematical Society of Japan (2000), 63–90.
[OS80]
P. Orlik and L. Solomon, Unitary reflection groups and cohomology, Invent. Math. 59, (1980),
77–94.
[OS82]
, Arrangements defined by unitary reflection groups, Math. Ann. 261, (1982), 339–357.
[OT92] P. Orlik and H. Terao, Arrangements of hyperplanes. Springer-Verlag, 1992.
[Sai93]
K. Saito, On a linear structure of the quotient variety by a finite reflexion group. Publ. Res.
Inst. Math. Sci. 29 (1993), no. 4, 535–579.
[SYS80] K. Saito, T. Yano and J. Sekiguchi, On a certain generator system of the ring of invariants of
a finite reflection group. Comm. Algebra 8 (1980), no. 4, 373–408.
[ST54]
G. C. Shephard and J. A. Todd, Finite unitary reflection groups. Canadian J. Math. 6, (1954),
274–304.
[Ter80a] H. Terao, Arrangements of hyperplanes and their freeness I, II. J. Fac. Sci. Univ. Tokyo 27
(1980), 293–320.
, Free arrangements of hyperplanes and unitary reflection groups. Proc. Japan Acad.
[Ter80b]
Ser. A Math. Sci. 56 (1980), no. 8, 389–392.
[Ter02]
, Multiderivations of Coxeter arrangements. Invent. Math. 148 (2002), no. 3, 659–674.
[Ter05]
, The Hodge filtration and the contact-order filtration of derivations of Coxeter arrangements. Manuscripta Math. 118 (2005), no. 1, 1–9.
[Yos02] M. Yoshinaga, The primitive derivation and freeness of multi-Coxeter arrangements. Proc.
Japan Acad. Ser. A Math. Sci. 78 (2002), no. 7, 116–119.
[Zie89]
G. Ziegler, Multiarrangements of hyperplanes and their freeness. Singularities (Iowa City, IA,
1986), 345–359, Contemp. Math., 90, Amer. Math. Soc., Providence, RI, 1989.
26

Fakultät für Mathematik und Physik, Leibniz Universität Hannover, Germany
E-mail address: hoge@math.uni-hannover.de
Department of Mathematical Sciences, University of the Ryukyus, Okinawa, Japan
E-mail address: tmano@math.u-ryukyu.ac.jp
Fakultät für Mathematik, Ruhr-Universität Bochum, Germany
E-mail address: gerhard.roehrle@rub.de
Institut für Mathematik, Freie Universität Berlin, Germany
E-mail address: christian.stump@fu-berlin.de

27

