Searcharxiv⌕ Search

arXiv subjects

Arun S. Kannan

Publications and source records attributed to Arun S. Kannan.

11 recordsLinked to original sources

Representation Theory of the Twisted Yangians in Complex Rank

In 2016, Etingof defined the notion of a Yangian in a symmetric tensor category and posed the problem to study them in the context of Deligne categories. This problem was studied by Kalinov in 2020 for the Yangian $Y(\mathfrak{gl}_t)$ of the general linear Lie algebra $\mathfrak{gl}_t$ in complex rank using the techniques of ultraproducts. In particular, Kalinov classified the simple finite-length modules over $Y(\mathfrak{gl}_t)$. In this paper, we define the notion of a twisted Yangian in Deligne's categories, and we extend these techniques to classify finite-length simple modules over the twisted Yangians $Y(\mathfrak{o}_t)$ and $Y(\mathfrak{sp}_t)$ of the orthogonal and symplectic Lie algebras $\mathfrak{o}_t,\mathfrak{sp}_t$ in complex rank.

math.RT↗

Mixed Tensor Products, Capelli Berezinians, and Newton's Formula for $\mathfrak{gl}(m|n)$

In this paper, we extend the results of Grantcharov and Robitaille in 2021 on mixed tensor products and Capelli determinants to the superalgebra setting. Specifically, we construct a family of superalgebra homomorphisms $φ_R : U(\mathfrak{gl}(m+1|n)) \rightarrow \mathcal{D}'(m|n) \otimes U(\mathfrak{gl}(m|n))$ for a certain space of differential operators $\mathcal{D}'(m|n)$ indexed by a central element $R$ of $\mathcal{D}'(m|n) \otimes U(\mathfrak{gl}(m|n))$. We then use this homomorphism to determine the image of Gelfand generators of the center of $U(\mathfrak{gl}(m+1|n))$. We achieve this by first relating $φ_R$ to the corresponding Harish-Chandra homomorphisms and then proving a super-analog of Newton's formula for $\mathfrak{gl}(m)$ relating Capelli generators and Gelfand generators. We also use the homomorphism $φ_R$ to obtain representations of $U(\mathfrak{gl}(m+1|n))$ from those of $U(\mathfrak{gl}(m|n))$, and find conditions under which these inflations are simple. Finally, we show that for a distinguished central element $R_1$ in $\mathcal{D}'(m|n)\otimes U(\mathfrak{gl}(m|n))$, the kernel of $φ_{R_1}$ is the ideal of $U(\mathfrak{gl}(m+1|n))$ generated by the first Gelfand invariant $G_1$.

math.RT↗

The Steinberg Tensor Product Theorem for General Linear Group Schemes in the Verlinde Category

The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $λ$ over such a group as the tensor product of Frobenius twists of simple modules with highest weights the weights appearing in a $p$-adic decomposition of $λ$, thereby reducing the character problem to a a finite collection of weights. In recent years this theorem has been extended to various quasi-reductive supergroup schemes. In this paper, we prove the analogous result for the general linear group scheme $GL(X)$ for any object $X$ in the Verlinde category $\mathrm{Ver}_p$.

math.RT↗

Classification of Non-Degenerate Symmetric Bilinear and Quadratic Forms in the Verlinde Category $\mathrm{Ver}_4^+$

Although Deligne's theorem classifies all symmetric tensor categories (STCs) with moderate growth over algebraically closed fields of characteristic zero, the classification does not extend to positive characteristic. At the forefront of the study of STCs is the search for an analog to Deligne's theorem in positive characteristic, and it has become increasingly apparent that the Verlinde categories are to play a significant role. Moreover, these categories are largely unstudied, but have already shown very interesting phenomena as both a generalization of and a departure from superalgebra and supergeometry. In this paper, we study $\mathrm{Ver}_4^+$, the simplest non-trivial Verlinde category in characteristic $2$. In particular, we classify all isomorphism classes of non-degenerate symmetric bilinear forms and non-degenerate quadratic forms and study the associated Witt semi-ring that arises from the addition and multiplication operations on bilinear forms.

math.RT↗

From the Albert algebra to Kac's ten-dimensional Jordan superalgebra via tensor categories in characteristic 5

Kac's ten-dimensional simple Jordan superalgebra over a field of characteristic 5 is obtained from a process of semisimplification, via tensor categories, from the exceptional simple Jordan algebra (or Albert algebra), together with a suitable order 5 automorphism. This explains McCrimmon's 'bizarre result' asserting that, in characteristic 5, Kac's superalgebra is a sort of 'degree 3 Jordan superalgebra'. As an outcome, the exceptional simple Lie superalgebra el(5;5), specific of characteristic 5, is obtained from the simple Lie algebra of type $E_8$ and an order 5 automorphism. In the process, precise recipes to obtain superalgebras from algebras in the category of representations of the cyclic group $C_p$, over a field of characteristic $p>2$, are given.

math.RA↗

New Constructions of Exceptional Simple Lie Superalgebras with Integer Cartan Matrix in Characteristics 3 and 5 via Tensor Categories

Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbfα_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is the semisimplification of the representation category $\mathrm{Rep} \ \mathbfα_p$, and $\mathrm{Ver}_p$ contains the category of super vector spaces as a full subcategory. Each exceptional Lie superalgebra we construct is realized as the image of an exceptional Lie algebra equipped with a nilpotent derivation of order at most $p$ under the semisimplification functor from $\mathrm{Rep} \ \mathbfα_p$ to $\mathrm{Ver}_p$.

math.RT↗

Representation Stability and Finite Orthogonal Groups

In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the category of $\mathbf{OrI}(R)$-modules. This implies an asymptotic structure theorem for orthogonal groups. In addition, we show general homological stability theorems for orthogonal groups, with both untwisted and twisted coefficients, partially generalizing a result of Charney (1987).

math.RT↗

Stable Centres II: Finite Classical Groups

Farahat and Higman constructed an algebra $\mathrm{FH}$ interpolating the centres of symmetric group algebras $Z(\mathbb{Z}S_n)$ by proving that the structure constants in these rings are "polynomial in $n$". Inspired by a construction of $\mathrm{FH}$ due to Ivanov and Kerov, we prove for $G_n = GL_n, U_n, Sp_{2n}, O_n$, that the structure constants of $Z(\mathbb{Z}G_n(\mathbb{F}_q))$ are "polynomial in $q^n$", allowing us to construct an equivalent of the Farahat-Higman algebra in each case.

math.RT↗

Lectures on Symmetric Tensor Categories

This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature.

math.QA↗