Invariant derivations and differential forms for reflection groups

Victor Reiner, Anne V. Shepler

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)329-357
Number of pages29
JournalProceedings of the London Mathematical Society
Volume119
Issue number5
DOIs
StatePublished - 2019

Bibliographical note

Funding Information:
Received 30 December 2016; revised 18 December 2018; published online 12 February 2019. 2010 Mathematics Subject Classification 20F55 (primary). This research was supported in part by NSF grants DMS-1601961,DMS-1101177, and Simons Foundation Grant #429539.

Keywords

  • 20F55 (primary)

Fingerprint Dive into the research topics of 'Invariant derivations and differential forms for reflection groups'. Together they form a unique fingerprint.

Cite this