We give new interpretations of the Deligne categories $\underline{Rep}(GL_t)$ and $\underline{Rep}(S_t)$ (and their abelian envelopes) over $\mathbb{C}$ in terms of modular representations of general linear and symmetric groups of large rank in large characteristic. In particular we make sense of the sentence "$\underline{Rep}(S_n)$ is the limit of $Rep(S_{p+n})$ over $\bar{\mathbb{F}}_p$ as $p$ goes to infinity". We then give examples of how to pass results between these different settings.
In this paper we propose an alternative construction of a certain class of Deformed Double Current Algebras. We construct them as spherical subalgebras of symplectic reflection algebras in the Deligne category. They can also be thought of as ultraproducts of the corresponding spherical subalgebras in finite rank. We also provide new presentations of DDCA of types A and B by generators and relations.
For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the "abelian envelope" of the Deligne category $Rep(GL_t)$. Any tensor functor $Rep(GL_t)\longrightarrow C$ is proved to factor either through $V_t$ or through one of the classical categories $Rep(GL(m|n))$ with $m-n=t$. The universal property of $V_t$ implies that it is equivalent to the categories $Rep_{Rep(GL_{t_1})\otimes Rep(GL_{t_2})}(GL(X),ε)$, ($t=t_1+t_2$, $…
We prove a conjecture of Broue about the Jordan decomposition of blocks of finite reductive groups. We show that a block of a finite connected reductive group, in non-describing characteristic, is Morita-equivalent to a quasi-isolated block of a Levi subgroup. This involves showing that some local system over a Deligne-Lusztig variety has its mod l cohomology concentrated in one degree. We reduce this question to a question about tamely ramified local systems by proving that the category of perfect complexes for the group is generated by the images of the Deligne-Lusztig functors. Then, we des…
This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups associated to isolated elements of the dual group. The key new result is the invariance of the part of the cohomology in a given modular series of Deligne-Lusztig varieties associated to a given Levi subgroup, under certain variations of parabolic subgroups. We also show that the equivalence arises from a splendid Rickard equivalence. Even in the setting of [BoRo1], …
The family of Deligne tensor categories $\mathrm{Rep}(GL_t)$ is obtained from the categories $\mathbf{Rep}~GL(n)$ of finite dimensional representations of groups $GL(n)$ by interpolating the integer parameter $n$ to complex values. Therefore, it is a valuable tool for generalizing classical statements of representation theory. In this work we introduce and prove the generalization of Olshanski's centralizer construction of the Yangian $Y(\mathfrak{gl}_n)$. Namely, we prove that for generic $t\in\mathbb{C}$ the centralizer subalgebra of $GL_t$-invariants in the universal enveloping algebra $U(\…
We continue the study of Harish-Chandra bimodules in the setting of the Deligne categories $\mathrm{Rep}(G_t)$, that was started in the previous work of the first author (arXiv:2002.01555). In this work we construct a family of Harish-Chandra bimodules that generalize simple finite dimensional bimodules in the classical case. It turns out that they have finite $K$-type, which is a non-vacuous condition for the Harish-Chandra bimodules in $\mathrm{Rep}(G_t)$. The full classification of (simple) finite $K$-type bimodules is yet unknown. This construction also yields some examples of central char…
We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(…
This paper gives an analogue to the classical Schur-Weyl duality in the setting of Deligne categories. Given a finite-dimensional unital vector space V (i.e. a vector space V with a distinguished non-zero vector 1), we give a definition of a complex tensor power of V. This is an Ind-object of the Deligne category Rep(S_t), equipped with a natural action of gl(V). This construction allows us to describe a duality between the abelian envelope of the category Rep(S_t) and a localization of the parabolic category O for gl(V) associated with the pair (V, 1). In particular, we obtain an exact contra…
We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.
Deligne's category $\underline{\rm Rep}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_λ$ (depending on a vector of variables $λ= (λ_1, λ_2, \ldots, λ_l)$, that may be specialised to values in the ground ring) which are module categories over $\underline{\rm Rep}(S_t)$. The categories $\mathcal{C}_λ$ are defined over any ring and are constructed by interpolating permutation representations. Further, they admit specialisation functors to $S_n$-mod which are …
We show that in the Deligne categories $\mathrm{Rep}(S_t)$ for $t$ a transcendental number, the only simple algebra objects are images of simple algebras in the category of representations of a symmetric group under a canonical induction functor. They come in families which interpolate the families of algebras of functions on the cosets of $H\times S_{n-k}$ in $S_n$, for a fixed subgroup $H$ of $S_k$.
The Deligne-Langlands correspondence parametrizes irreducible representations of the affine Hecke algebra $\mathcal{H}^{\text{aff}}$ by certain perverse sheaves. We show that this can be lifted to an equivalence of triangulated categories. More precisely, we construct for each central character $χ$ of $\mathcal{H}^{\text{aff}}$ an equivalence of triangulated categories between a perfect derived category of dg-modules $D_{\text{perf}}(\mathcal{H}^{\text{aff}}/(\text{ker}(χ)) - \text{dgMod})$ and the triangulated category generated by the corresponding perverse sheaves. The main step in this con…
In this paper we give an alternative construction of a certain class of Deformed Double Current Algebras. These algebras are deformations of $U({\rm End}(\Bbbk^r)[x,y])$ and they were initially defined and studied by N.Guay in his papers. Here we construct them as algebras of endomorphisms in Deligne category. We do this by taking an ultraproduct of spherical subalgebras of the extended Cherednik algebras of finite rank.
This paper is a continuation of a previous paper of the author, which gave an analogue to the classical Schur-Weyl duality in the setting of Deligne categories. Given a finite-dimensional unital vector space $V$ (a vector space $V$ with a chosen non-zero vector $\mathbf{1}$), we constructed a complex tensor power of $V$: an $Ind$-object of the Deligne category $\underline{Rep}(S_t)$ which is a Harish-Chandra module for the pair $(\mathfrak{gl}(V), \bar{\mathfrak{P}}_{\mathbf{1}})$, where $\bar{\mathfrak{P}}_{\mathbf{1}} \subset GL(V)$ is the mirabolic subgroup preserving the vector $\mathbf{1}…
The Kronecker coefficients are the structural constants for the tensor categories of representations of the symmetric groups; namely, given three partitions $λ, μ, τ$ of $n$, the multiplicity of $λ$ in $μ\otimes τ$ is called the Kronecker coefficient $g^λ_{μ, τ}$. When the first part of each of the partitions is taken to be very large (the remaining parts being fixed), the values of the appropriate Kronecker coefficients stabilize; the stable value is called the reduced (or stable) Kronecker coefficient. These coefficients also generalize the Littlewood-Richardson coefficients, and have been s…
Many key invariants in the representation theory of classical groups (symmetric groups $S_n$, matrix groups $GL_n$, $O_n$, $Sp_{2n}$) are polynomials in $n$ (e.g., dimensions of irreducible representations). This allowed Deligne to extend the representation theory of these groups to complex values of the rank $n$. Namely, Deligne defined generically semisimple families of tensor categories parametrized by $n\in \mathbb{C}$, which at positive integer $n$ specialize to the classical representation categories. Using Deligne's work, Etingof proposed a similar extrapolation for many non-semisimple …
We derive several tools for classifying tensor ideals in monoidal categories. We use these results to classify tensor ideals in Deligne's universal categories RepO, RepGL and RepP. These results are then used to obtain new insight into the second fundamental theorem of invariant theory for the algebraic supergroups of types A,B,C,D,P. We also find short proofs for the classification of tensor ideals in RepS and in the category of tilting modules for SL2(k) with char(k)>0 and for Uq(sl2) with q a root of unity. In general, for a simple Lie algebra g of type ADE, we show that the lattice of such…
We classify the "finite-dimensional" irreducible representations of the Yangians $Y(\mathfrak{gl}_t)$ and $Y(\mathfrak{sl}_t)$. These are associative ind-algebras in the Deligne category $\textbf{Rep}(GL_t)$, which generalize the regular Yangians $Y(\mathfrak{gl}_n)$ and $Y(\mathfrak{sl}_n)$ to complex rank. They were first defined by Etingof in his paper "Representation theory in complex rank". Here we solve Problem 7.2 from this paper. We work with the Deligne category $\textbf{Rep}(GL_t)$ using the ultraproduct approach introduced by Deligne and discussed by Nate Harman in arXiv:1601.03426.
We establish a connection between two settings of representation stability for the symmetric groups $S_n$ over $\mathbb{C}$. One is the symmetric monoidal category ${\rm Rep}(S_{\infty})$ of algebraic representations of the infinite symmetric group $S_{\infty} = \bigcup_n S_n$, related to the theory of ${\bf FI}$-modules. The other is the family of rigid symmetric monoidal Deligne categories $\underline{\rm Rep}(S_t)$, $t \in \mathbb{C}$, together with their abelian versions $\underline{\rm Rep}^{ab}(S_t)$, constructed by Comes and Ostrik. We show that for any $t \in \mathbb{C}$ the natural fu…
The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out by the ideal of negligible morphisms when t is a non-negative integer. The partition category may be interpreted, following Comes, via a particular linearization of the category of two-dimensional oriented cobordisms. The Deligne category and its semisimple quotients admit similar interpretations. This viewpoint coupled to the universal construction of two-d…
When studying quantum field theories and lattice models, it is often useful to analytically continue the number of field or spin components from an integer to a real number. In spite of this, the precise meaning of such analytic continuations has never been fully clarified, and in particular the symmetry of these theories is obscure. We clarify these issues using Deligne categories and their associated Brauer algebras, and show that these provide logically satisfactory answers to these questions. Simple objects of the Deligne category generalize the notion of an irreducible representations, av…
Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in \cite{Ryba} that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty$. The resulting "limit" ring, $\mathcal{G}_\infty^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$ as defined by \cite{Mori}. This ring only depends on the Grothendieck ring $\mathcal{G}(\mathcal{C})$. Given a ring $R$ which …
Recently P. Deligne introduced the tensor category Rep(S_t) (for t not necessarily an integer) which in a certain precise sense interpolates the categories Rep(S_d) of representations of the symmetric groups S_d. In this paper we describe the blocks of Deligne's category Rep(S_t).
We define and give axioms for Garside and locally Garside categories. We give an application to Coxeter and Artin groups and Deligne-Lusztig varieties.
This paper is a sequel to arXiv:1401.6321. We define and study representation categories based on Deligne categories Rep(GL_t), Rep(O_t), Rep(Sp_2t), where t is any (non-integer) complex number. Namely, we define complex rank analogs of the parabolic category O and the representation categories of real reductive Lie groups and supergroups, affine Lie algebras, and Yangians. We develop a framework and language for studying these categories, prove basic results about them, and outline a number of directions of further research.
We give negative answers to certain questions on abelian semisimple tensor categories raised by Bruno Kahn and Charles A. Weibel in connection with the preprint of Kahn "On the multiplicities of a motive" (arXiv:math/0610446), now published as Parts I and IV of "Zeta functions and motives", Pure Appl. Math. Q. 5 (2009), no. 1, part 2, 507-570. For the most interesting examples we used Deligne's category Rep(S_t,F) of representations of the "symmetric group S_t with t not an integer" with F any algebraically closed field of characteristic zero. This is an interesting family of tensor categories…
We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right exact functors to the identity functor, regarded as a left exact functor, gives a Nakayama functor. The equivalences of categories we exhibit are compatible with the structure of module categories ove…
We determine internal characterisations for when a tensor category is (super) tannakian, for fields of positive characteristic. This generalises the corresponding characterisations in characteristic zero by P. Deligne. We also explore notions of Frobenius twists in tensor categories in positive characteristic.
For an arbitrary commutative ring k and t in k, we construct a 2-functor S_t which sends a tensor category to a new tensor category. By applying it to the representation category of a bialgebra we obtain a family of categories which interpolates the representation categories of the wreath products of the bialgebra. This generalizes the construction of Deligne's category Rep(S_t,k) for representation categories of symmetric groups.
The category-valued trace assigns to a bimodule category over a linear monoidal category a linear category. It generalizes Drinfeld centers of monoidal categories and the relative Deligne product of bimodule categories. In this article, we study bimodule categories that are given as categories of bicomodules over a Hopf algebra. Our main result is a representation-theoretic realization of the category-valued trace as a category of generalized Hopf bimodules.
Working in the setting of Deligne categories, we generalize a result of Marin that hooks generate the representation ring of symmetric groups to wreath products of symmetric groups with a fixed finite group or Hopf algebra. In particular, when we take the finite group to be cyclic order 2 we recover a conjecture of Marin about Coxeter groups in type B.
We study generalized Deligne categories and related tensor envelopes for the universal two-dimensional cobordism theories described by rational functions, recently defined by Sazdanovic and one of the authors.
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde…
We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.
We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank $1$ in a Grassmannian category of infinite rank are in bijection with the Plücker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. Moreover, this bijection is structure preserving, as it relates rigidity in the cat…
