Deligne categories and representations of the finite general linear group, part 1: universal property

Authors Inna Entova Aizenbud, Thorsten Heidersdorf

Publication date 30 July 2022

Abstract: We study the Deligne interpolation categories

u n d e r l i n e m a t h r m R e p (G L_{t} (m a t h b b F_{q}))

for

t i n m a t h b b C

, first introduced by F. Knop. These categories interpolate the categories of finite dimensional complex representations of the finite general linear group

G L_{n} (m a t h b b F_{q})

. We describe the morphism spaces in this category via generators and relations. We show that the generating object of this category (an analogue of the representation

m a t h b b C m a t h b b F_{q}^{n}

of

G L_{n} (m a t h b b F_{q})

) carries the structure of a Frobenius algebra with a compatible

m a t h b b F_{q}

-linear structure; we call such objects

m a t h b b F_{q}

-linear Frobenius spaces, and show that

u n d e r l i n e m a t h r m R e p (G L_{t} (m a t h b b F_{q}))

is the universal symmetric monoidal category generated by such an

m a t h b b F_{q}

-linear Frobenius space of categorical dimension

t

. In the second part of the paper, we prove a similar universal property for a category of representations of

G L_{i n f t y} (m a t h b b F_{q})

.

This page was built for publication: Deligne categories and representations of the finite general linear group, part 1: universal property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406543)