Related papers: A Permutation Module Deligne Category and Stable P…

We study the category of $\mathbf{P}$-equivariant modules over the infinite variable polynomial ring, where $\mathbf{P}$ denotes the subgroup of the infinite general linear group $\mathbf{GL}(\mathbf{C}^\infty)$ consisting of elements…

Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of…

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…

We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

Let $R$ denote a Noetherian ring and an ideal $J \subset R$ with $U = \operatorname{Spec R} \setminus V(J)$. For an $R$-module $M$ there is an isomorphism $\Gamma(U, \tilde{M}) \cong \varinjlim \operatorname{Hom}_R(J^n,M)$ known as…

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

We define Modular Linear Differential Equations (MLDE) for the level-two congruence subgroups $\Gamma_\vartheta$, $\Gamma^0(2)$ and $\Gamma_0(2)$ of $\text{SL}_2(\mathbb Z)$. Each subgroup corresponds to one of the spin structures on the…

Let $G$ be a $p$-adic group that splits over an unramified extension. We decompose $Rep_{\Lambda}^{0}(G)$, the abelian category of smooth level $0$ representations of $G$ with coefficients in $\Lambda=\overline{\mathbb{Q}}_{\ell}$ or…

This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full…

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $\Gamma \subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for…

In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda…

Let $p\geq 5$ be a prime number. We generalize the results of E. de Shalit about supersingular $j$-invariants in characteristic $p$. We consider supersingular elliptic curves with a basis of $2$-torsion over $\overline{\mathbf{F}}_p$, or…

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the…

We initiate a study of tensor ideals in linear rigid monoidal categories that are kernels of linear monoidal functors to abelian monoidal categories. We develop general methods and apply them to the category of tilting modules over quantum…

We study Demazure modules which occur in a level $\ell$ irreducible integrable representation of an affine Lie algebra. We also assume that they are stable under the action of the standard maximal parabolic subalgebra of the affine Lie…

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects…

Let $K$ be a local non-Archimedean field of positive characteristic and let $L$ be the degree-$n$ unramified extension of $K$. Via the local Langlands and Jacquet-Langlands correspondences, to each sufficiently generic multiplicative…

We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving…

Torsion pairs in the category of finitely presented modules over a noetherian ring can be parametrised by the class of cosilting modules. In this paper, we characterise such modules in terms of their indecomposable summands, providing a new…