Invariant differential derivations for reflection groups in positive characteristic

TL;DR

This paper extends the theory of invariant differential derivations for reflection groups to fields of positive characteristic, providing criteria, bases, and explicit examples, especially when the characteristic divides the group order.

Contribution

It introduces a Saito criterion for invariant differential derivations over fields of positive characteristic and constructs explicit bases for classical groups.

Findings

Reflecting hyperplanes lie in a single orbit in certain cases.

Duality of exponents and coexponents is demonstrated.

Explicit bases are obtained for SL(n,q) and GL(n,q).

Abstract

Much of the fascinating numerology surrounding finite reflection groups stems from Solomon's celebrated 1963 theorem describing invariant differential forms. Invariant differential derivations also exhibit interesting numerology over the complex numbers. We explore the analogous theory over arbitrary fields, in particular, when the characteristic of the underlying field divides the order of the acting reflection group and the conclusion of Solomon's Theorem may fail. Using results of Broer and Chuai, we give a Saito criterion (Jacobian criterion) for finding a basis of differential derivations invariant under a finite group that distinguishes certain cases over fields of characteristic 2. We show that the reflecting hyperplanes lie in a single orbit and demonstrate a duality of exponents and coexponents when the transvection root spaces of a reflection group are maximal. A set of basic derivations are used to construct a basis of invariant differential derivations with a twisted wedging in this case. We obtain explicit bases for the special linear groups SL(n,q) and general linear groups GL(n,q), and all groups in between.