Abstract

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is an array of equivalences between the stable representation category and various other categories, each of which has its own flavor (representation theoretic, combinatorial, commutative algebraic, or categorical) and offers a distinct perspective on the stable category. We use this theory to produce a host of specific results: for example, the construction of injective resolutions of simple objects, duality between the orthogonal and symplectic theories, and a canonical derived auto-equivalence of the general linear theory.

Highlights

  • It could be that the irreducibles of each Gd are parameterized in some common manner, and representations of different G are considered compatible if they have matching irreducible constituents. (This definition is too weak in practice, but a good first approximation.) The stable representation theory c The Author(s) 2015

  • There are two natural questions to consider. (A) What is the structure of the stable representation theory of G? To be more precise, we introduce the stable representation category Repst(G∗): informally, its objects are compatible sequences of representations, with two such sequences considered equivalent if they are the same for d large; formally, it can be described as a Serre quotient

  • We study the stable representation theory of five families of groups: the three families of classical groups GL(d), O(d) and Sp(d), the symmetric groups S(d), and the general affine groups GA(d)

Read more

Summary

Overview

We obtain an equivalence between the category Rep(S∗) of sequences (Mn)n 0, where Mn is a representation of Sn, and the category Reppol(GL) This provides a combinatorial description of the stable polynomial representation theory of GL. We obtain a covariant equivalence by using the upwards Brauer category instead This is our combinatorial description of the stable representation theory of the orthogonal group. The previous paragraph can be rephrased in this language as follows: the category Rep(O) is equivalent to the category of finite length modules over the tca Sym(Sym2(V)) This is our commutative algebraic description of the stable representation theory of the orthogonal group. There are likely many other changes to be made, but we have not thought through the details

Relation to other work
Preliminaries
We have the following commutative diagram
The general linear group
The orthogonal and symplectic groups
The Brauer algebra and category
The general affine group
A diagram category
The symmetric group
The following is action of the main
Branching rules
7.11. Example
Questions and problems

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.