TY - JOUR
T1 - Invariant derivations and differential forms for reflection groups
AU - Reiner, Victor
AU - Shepler, Anne V.
N1 - Publisher Copyright:
© 2019 London Mathematical Society
PY - 2019
Y1 - 2019
N2 - Classical invariant theory of a complex reflection group W beautifully describes the W-invariant polynomials, the W-invariant differential forms, and the relative invariants of any W-representation. When W is a duality (or well-generated) group, we give an explicit description of the isotypic component within the differential forms of the irreducible reflection representation. This resolves a conjecture of Armstrong, Rhoades, and the first author, and relates to Lie-theoretic conjectures and results of Bazlov, Broer, Joseph, Reeder, and Stembridge, and also Deconcini, Papi, and Procesi. We establish this result by examining the space of W -invariant differential derivations; these are derivations whose coefficients are not just polynomials, but differential forms with polynomial coefficients. For every complex reflection group W, we show that the space of invariant differential derivations is finitely generated as a module over the invariant differential forms by the basic derivations together with their exterior derivatives. When W is a duality group, we show that the space of invariant differential derivations is free as a module over the exterior subalgebra of W -invariant forms generated by all but the top-degree exterior generator. (The basic invariant of highest degree is omitted.). Our arguments for duality groups do not rely on any reflection group classification.
AB - Classical invariant theory of a complex reflection group W beautifully describes the W-invariant polynomials, the W-invariant differential forms, and the relative invariants of any W-representation. When W is a duality (or well-generated) group, we give an explicit description of the isotypic component within the differential forms of the irreducible reflection representation. This resolves a conjecture of Armstrong, Rhoades, and the first author, and relates to Lie-theoretic conjectures and results of Bazlov, Broer, Joseph, Reeder, and Stembridge, and also Deconcini, Papi, and Procesi. We establish this result by examining the space of W -invariant differential derivations; these are derivations whose coefficients are not just polynomials, but differential forms with polynomial coefficients. For every complex reflection group W, we show that the space of invariant differential derivations is finitely generated as a module over the invariant differential forms by the basic derivations together with their exterior derivatives. When W is a duality group, we show that the space of invariant differential derivations is free as a module over the exterior subalgebra of W -invariant forms generated by all but the top-degree exterior generator. (The basic invariant of highest degree is omitted.). Our arguments for duality groups do not rely on any reflection group classification.
KW - 20F55 (primary)
UR - http://www.scopus.com/inward/record.url?scp=85061356360&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85061356360&partnerID=8YFLogxK
U2 - 10.1112/plms.12233
DO - 10.1112/plms.12233
M3 - Article
AN - SCOPUS:85061356360
SN - 0024-6115
VL - 119
SP - 329
EP - 357
JO - Proceedings of the London Mathematical Society
JF - Proceedings of the London Mathematical Society
IS - 5
ER -