Cohomology Actions and Centralisers in Unitary Reflection Groups

In an earlier work, the second author proved a general formulafor the equivariant Poincaré polynomial of a linear transformationg which normalises a unitary reflection group G, acting on thecohomology of the corresponding hyperplane complement. Thisformula involves a certain function (called a Z-function below)on the centraliser CG(g), which was proved to exist only incertain cases, for example, when g is a reflection, or is G-regular,or when the centraliser is cyclic. In this work we prove theexistence of Z-functions in full generality. Applications includereduction and product formulae for the equivariant Poincarépolynomials. The method is to study the poset L(C_G(g)) of subspaceswhich are fixed points of elements of C_G(g). We show that thisposet has Euler characteristic 1, which is the key propertyrequired for the definition of a Z-function. The fact aboutthe Euler characteristic in turn follows from the ‘join-atom’property of L(C_G(g)), which asserts that if [X₁,..., X_k} isany set of elements of L(C_G(g)) which are maximal (set theoretically)then their setwise intersection lies in L(C_G(g)). 2000 Mathematical Subject Classification:primary 14R20, 55R80; secondary 20C33, 20G40.