Invariant forms on irreducible modules of simple algebraic groups
Abstract
Let be a simple linear algebraic group over an algebraically closed field of characteristic and let be an irreducible rational -module with highest weight . When is self-dual, a basic question to ask is whether has a non-degenerate -invariant alternating bilinear form or a non-degenerate -invariant quadratic form. If , the answer is well known and easily described in terms of . In the case where , we know that if is self-dual, it always has a non-degenerate -invariant alternating bilinear form. However, determining when has a non-degenerate -invariant quadratic form is a classical problem that still remains open. We solve the problem in the case where is of classical type and is a fundamental highest weight , and in the case where is of type and for . We also give a solution in some specific cases when is of exceptional type. As an application of our results, we refine Seitz's description of maximal subgroups of simple algebraic groups of classical type. One consequence of this is the following result. If are simple algebraic groups and is irreducible, then one of the following holds: (1) is not self-dual; (2) both or neither of the modules and have a non-degenerate invariant quadratic form; (3) , , and .
Cite
@article{arxiv.1608.08815,
title = {Invariant forms on irreducible modules of simple algebraic groups},
author = {Mikko Korhonen},
journal= {arXiv preprint arXiv:1608.08815},
year = {2020}
}
Comments
46 pages; to appear in J. Algebra