51d1e86da4648b48.tex
1: \begin{abstract}
2: 
3: Many key invariants in the representation theory of classical
4: groups (symmetric groups $S_n$, matrix groups $GL_n$, $O_n$,
5: $Sp_{2n}$) are polynomials in $n$ (e.g., dimensions of irreducible
6: representations). This allowed Deligne to extend the
7: representation theory of these groups to complex values of the
8: rank $n$. Namely, Deligne defined generically
9: semisimple families of tensor categories parametrized by $n\in \mathbb{C}$,
10: which at positive integer $n$ specialize to the classical
11: representation categories. Using Deligne's work,
12: Etingof proposed a similar extrapolation for many
13: {\it non-semisimple} representation categories built
14: on representation categories of classical groups,
15: e.g., degenerate affine Hecke algebras (dAHA).
16: It is expected that for generic $n\in \mathbb{C}$ such extrapolations
17: behave as they do for large integer $n$ (``stabilization").
18: 
19: The goal of our work is to provide a technique to prove
20: such statements. Namely, we develop an algebro-geometric
21: framework to study categories indexed by a parameter $n$, in which
22: the set of values of $n$ for which the category has a given property
23: is constructible. This implies that if a property holds
24: for integer $n$, it then holds for generic complex $n$.
25: We use this to give a new proof that Deligne's categories are generically semisimple. We also apply this method to
26: Etingof's extrapolations of dAHA, and prove that when $n$ is 
27: transcendental,
28: ``finite-dimensional'' simple objects are quotients of certain standard 
29: induced
30: objects, extrapolating Zelevinsky's classification of
31: simple dAHA-modules for $n\in \mathbb{N}$. Finally, we
32: obtain similar results for the extrapolations
33: of categories associated to wreath products of the
34: symmetric group with associative algebras.
35: \end{abstract}
36: