Related papers: On Deligne's category $\uRep^{ab}(S_d)$
We classify the indecomposable objects in the monoidal center of Deligne's interpolation category $Rep(S_t)$ by viewing $Rep(S_t)$ as a model-theoretic limit in rank and characteristic. We further prove that the center of $Rep(S_t)$ is…
We define tensor categories ${\sf Ver}_{p^n}(G)$ in characteristic $p$ for connected reductive groups $G$ and positive integers $n$, generalising the semisimple Verlinde categories ${\sf Ver}_p(G)$ originating from Gelfand-Kazhdan and the…
We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on…
A new proof of an old theorem of Drinfeld concerning the representability of the moduli problem of special formal $\mathcal{O}_{D}$-modules by Deligne's $p$-adic formal model of Drinfeld's upper half-plane is given for $d=2.$ The display…
We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…
We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the…
We extend Deligne's notion of determinant functor to tensor triangulated categories. Specifically, to account for the multiexact structure of the tensor, we define a determinant functor on the 2-multicategory of triangulated categories and…
We prove a normality theorem for the "true" elementary subgroups of $SL_n(A)$ defined by the ideals of a commutative unital ring $A$. Our result is an analogue of a normality theorem, due to Suslin, for the standard elementary subgroups,…
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…
We classify simple associative and Lie algebras inside the Deligne categories $Rep(S_t)$, answering a question posed by Etingof.
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…
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…
We prove an analog of Deligne's theorem for finite symmetric tensor categories $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $2$. Namely, we prove that every such category $\mathcal{C}$…
We construct a family of unoriented 2-dimensional cobordism theories parametrized by certain triples of sequences. We also prove that some specializations of these sequences yield equivalences with an exterior product of Deligne categories.…
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…
P. Deligne defined interpolations of the tensor category of representations of the symmetric group S_n to complex values of n. Namely, he defined tensor categories Rep(S_t) for any complex t. This construction was generalized by F. Knop to…
This paper extends Bhargava's theory of $\mathfrak{p}$-orderings of subsets $S$ of a Dedekind ring $R$ valid for prime ideals $\mathfrak{p}$ in $R$. Bhargava's theory defines for integers $k\ge1$ invariants of $S$, the generalized…
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…
We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification…
We show that the S-Euclidean minimum of an ideal class is a rational number, generalizing a result of Cerri. We also give some corollaries which explain the relationship of our results with Lenstra's notion of a norm-Euclidean ideal class…