Remote Access Representation Theory
Green Open Access

Representation Theory

ISSN 1088-4165

 

 

The adjoint representation of a reductive group and hyperplane arrangements


Author: J. Matthew Douglass
Journal: Represent. Theory 3 (1999), 444-456
MSC (1991): Primary 22E46
Published electronically: November 9, 1999
MathSciNet review: 1722107
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $G$ be a connected reductive algebraic group with Lie algebra $\mathfrak g$ defined over an algebraically closed field, $k$, with $\operatorname{char} k=0$. Fix a parabolic subgroup of $G$ with Levi decomposition $P=LU$ where $U$ is the unipotent radical of $P$. Let $\mathfrak u=\operatorname{Lie}(U)$ and let $\mathfrak z$ denote the center of $\operatorname{Lie}(L)$. Let $T$ be a maximal torus in $L$ with Lie algebra $\mathfrak t$. Then the root system of $(\mathfrak g, \mathfrak t)$ is a subset of $\mathfrak t^*$ and by restriction to $\mathfrak z$, the roots of $\mathfrak t$ in $\mathfrak u$ determine an arrangement of hyperplanes in $\mathfrak z$ we denote by $\mathcal A^{\mathfrak z}$. In this paper we construct an isomorphism of graded $k[\mathfrak z]$-modules $\operatorname{Hom}_G(\mathfrak g^*, k[{G{\times^P}(\mathfrak z+\mathfrak u)}]) \cong D(\mathcal A^{\mathfrak z})$, where $D(\mathcal A^{\mathfrak z})$ is the $k[\mathfrak z]$-module of derivations of $\mathcal A^{\mathfrak z}$. We also show that $\operatorname{Hom}_G(\mathfrak g^*, k[{G{\times^P}(\mathfrak z+\mathfrak u)}])$ and $k[\mathfrak z] \otimes \operatorname{Hom}_G(\mathfrak g^*, k[G {\times^P}\mathfrak u])$ are isomorphic graded $k[\mathfrak z]$-modules, so $D(\mathcal A^{\mathfrak z})$ and $k[\mathfrak z] \otimes \operatorname{Hom}_G(\mathfrak g^*, k[G {\times^P}\mathfrak u])$ are isomorphic, graded $k[\mathfrak z]$-modules. It follows immediately that $\mathcal A^{\mathfrak z}$ is a free hyperplane arrangement. This result has been proved using case-by-case arguments by Orlik and Terao. By keeping track of the gradings involved, and recalling that $\mathfrak g$ affords a self-dual representation of $G$, we recover a result of Sommers, Trapa, and Broer which states that the degrees in which the adjoint representation of $G$ occurs as a constituent of the graded, rational $G$-module $k[G{\times^P}\mathfrak u]$ are the exponents of $\mathcal A^{\mathfrak z}$. This result has also been proved, again using case-by-case arguments, by Sommers and Trapa and independently by Broer.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Representation Theory of the American Mathematical Society with MSC (1991): 22E46

Retrieve articles in all journals with MSC (1991): 22E46


Additional Information

J. Matthew Douglass
Affiliation: Department of Mathematics, University of North Texas, Denton, Texas 76203
Email: douglass@unt.edu

DOI: https://doi.org/10.1090/S1088-4165-99-00066-7
Received by editor(s): March 8, 1999
Received by editor(s) in revised form: September 28, 1999
Published electronically: November 9, 1999
Article copyright: © Copyright 1999 American Mathematical Society