Showing 1–50 of 69 results for author: Coulembier, K

Homogeneous spaces in tensor categories

Authors: Kevin Coulembier, Alexander Sherman

Abstract: Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type when $\mathscr{C}$ satisfies (GR) and (MN1-2), which are conjecturally equivalent to incompressibility. A key tool is the introduction of a Frobenius kernel of… ▽ More Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type when $\mathscr{C}$ satisfies (GR) and (MN1-2), which are conjecturally equivalent to incompressibility. A key tool is the introduction of a Frobenius kernel of an group scheme. We further show that while $\mathcal{G}_0/\mathcal{H}_0$ and $(\mathcal{G}/\mathcal{H})_0$ need not be the same, they are close enough, so that $\mathcal{G}/\mathcal{H}$ is quasi-affine/affine/proper if and only if $\mathcal{G}_0/\mathcal{H}_0$ is. △ Less

Submitted 27 May, 2025; v1 submitted 7 May, 2025; originally announced May 2025.

Comments: Fixed an error pointed out by Akira Masuoka in Section 9.1. Replaced the previous argument with references to existing proofs in the literature

Finite symmetric algebras in tensor categories and Verlinde categories of algebraic groups

Authors: Kevin Coulembier, Pavel Etingof, Joseph Newton

Abstract: We investigate objects in symmetric tensor categories that have simultaneously finite symmetric and finite exterior algebra. This forces the characteristic of the base field to be $p>0$, and the maximal degree of non-vanishing symmetric and exterior powers to add up to a multiple of $p$. We give a complete classification of objects in tensor categories for which this sum equals $p$. All resulting… ▽ More We investigate objects in symmetric tensor categories that have simultaneously finite symmetric and finite exterior algebra. This forces the characteristic of the base field to be $p>0$, and the maximal degree of non-vanishing symmetric and exterior powers to add up to a multiple of $p$. We give a complete classification of objects in tensor categories for which this sum equals $p$. All resulting tensor categories are Verlinde categories of reductive groups and we fill in some gaps in the literature on these categories. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 27 pages

MSC Class: 18M05

Simple algebras and exact module categories

Authors: Kevin Coulembier, Mateusz Stroiński, Tony Zorman

Abstract: We verify a conjecture of Etingof and Ostrik, stating that an algebra object in a finite tensor category is exact if and only if it is a finite direct product of simple algebras. Towards that end, we introduce an analogue of the Jacobson radical of an algebra object, similar to the Jacobson radical of a finite-dimensional algebra. We give applications of our main results in the context of incompre… ▽ More We verify a conjecture of Etingof and Ostrik, stating that an algebra object in a finite tensor category is exact if and only if it is a finite direct product of simple algebras. Towards that end, we introduce an analogue of the Jacobson radical of an algebra object, similar to the Jacobson radical of a finite-dimensional algebra. We give applications of our main results in the context of incompressible finite symmetric tensor categories. △ Less

Submitted 21 January, 2025; v1 submitted 11 January, 2025; originally announced January 2025.

Comments: 25 pages, 18 figures; comments welcome!

MSC Class: 18D25; 18M05

Inductive systems of the symmetric group, polynomial functors and tensor categories

Authors: Kevin Coulembier

Abstract: We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain examples of tensor categories, develop general principles and demonstrate how this question connects with the ongoing study of the structure theory of tensor categori… ▽ More We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain examples of tensor categories, develop general principles and demonstrate how this question connects with the ongoing study of the structure theory of tensor categories. We also formalise a theory of polynomial functors as functors which act coherently on all tensor categories. We conclude that the classification of such functors is a different way of posing the above question of which representation of symmetric groups appear. Finally, we extend the classical notion of strict polynomial functors from the category of (super) vector spaces to arbitrary tensor categories, and show that this idea is also a different packaging of the same information. △ Less

Submitted 5 June, 2025; v1 submitted 2 June, 2024; originally announced June 2024.

Towards higher Frobenius functors for symmetric tensor categories

Authors: Kevin Coulembier, Johannes Flake

Abstract: We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification of tensor categories of moderate growth, and we demonstrate the similar potential of the generalisations. More explicitly, we describe a new construction of the… ▽ More We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification of tensor categories of moderate growth, and we demonstrate the similar potential of the generalisations. More explicitly, we describe a new construction of the generalised Verlinde categories $Ver_{p^n}$ in terms of representation categories of elementary abelian $p$-groups. This leads to families of functors relating to $Ver_{p^n}$ that we conjecture, and partially show, to exhibit the characteristic properties of the Frobenius functor relating to $Ver_p$. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Fractal behavior of tensor powers of the two dimensional space in prime characteristic

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik, Daniel Tubbenhauer

Abstract: We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions. We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions. △ Less

Submitted 17 December, 2024; v1 submitted 26 May, 2024; originally announced May 2024.

Comments: 41 pages, many figures, revision, to appear in Contemp. Math., comments welcome

MSC Class: Primary: 11N45; 18M05; Secondary: 11B85; 26A12; 30B30

N-spherical functors and tensor categories

Authors: Kevin Coulembier, Pavel Etingof

Abstract: We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object $N$-bounded if the corresponding regular endofunctor on the derived category is $N$-spherical. Besides giving new examples of $N$-spherical functors, the notion of… ▽ More We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object $N$-bounded if the corresponding regular endofunctor on the derived category is $N$-spherical. Besides giving new examples of $N$-spherical functors, the notion of $N$-bounded objects gives surprising connections with Jones-Wenzl idempotents, Frobenius-Perron dimensions and central conjectures in the field of symmetric tensor categories in positive characteristic. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Algebraic geometry in tensor categories

Authors: Kevin Coulembier

Abstract: We set up some foundations of generalised scheme theory related to new incompressible symmetric tensor categories. This is analogous to the relation between super schemes and the category of super vector spaces. We set up some foundations of generalised scheme theory related to new incompressible symmetric tensor categories. This is analogous to the relation between super schemes and the category of super vector spaces. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Incompressible tensor categories

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik

Abstract: A symmetric tensor category $\mathcal D$ over an algebraically closed field $k$ is incompressible if every tensor functor out of $\mathcal D$ is an embedding. E.g., the categories $Vec$ and $sVec$ of (super)vector spaces are incompressible. Moreover, by Deligne's theorem, if char$(k)=0$ then any tensor category of moderate growth uniquely fibres over $sVec$, so $Vec$ and $sVec$ are the only incomp… ▽ More A symmetric tensor category $\mathcal D$ over an algebraically closed field $k$ is incompressible if every tensor functor out of $\mathcal D$ is an embedding. E.g., the categories $Vec$ and $sVec$ of (super)vector spaces are incompressible. Moreover, by Deligne's theorem, if char$(k)=0$ then any tensor category of moderate growth uniquely fibres over $sVec$, so $Vec$ and $sVec$ are the only incompressible categories in this class. Similarly, in characteristic $p>0$, we have the incompressible Verlinde category $Ver_p$, and any Frobenius exact category of moderate growth uniquely fibres over $Ver_p$. More generally, the Verlinde categories $Ver_{p^n}$, $Ver_{p^n}^+$ are incompressible, and a key conjecture is that every tensor category of moderate growth uniquely fibres over $Ver_{p^\infty}$. This would make the above the only incompressible categories in this class. We prove a part of this conjecture, showing that every tensor category of moderate growth fibres over an incompressible one. So it remains to understand incompressible categories. We say that $\mathcal D$ is subterminal if it every tensor category admits at most one fibre functor to it, and a Bezrukavnikov category if the class of tensor categories that fibre over $\mathcal D$ is closed under quotients. Clearly, a subterminal Bezrukavnikov category is incompressible, and we conjecture the converse. We prove that $Ver_p$ is Bezrukavnikov, generalizing the result of Bezrukavnikov for $Vec$. We also find intrinsic sufficient conditions for incompressibility and subterminality. Namely, $\mathcal D$ is maximally nilpotent if the growth rates of symmetric powers are minimal. We show that a finite maximally nilpotent category is incompressible, and also subterminal if it satisfies an additional geometric reductivity condition. Then we verify these conditions for $Ver_{2^n}$. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Commutative algebra in tensor categories

Authors: Kevin Coulembier

Abstract: 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 tensor category verifying specific conditions. This is in line with the current program which aims to describe tensor categories by their tensor functors to incom… ▽ More 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 tensor category verifying specific conditions. This is in line with the current program which aims to describe tensor categories by their tensor functors to incompressible categories. We place particular emphasis on the notion of observable subgroups of affine group schemes in tensor categories, which in particular leads to some further insight into observability for classical affine group schemes. △ Less

Submitted 16 June, 2023; originally announced June 2023.

K-theory and perfection

Authors: Kevin Coulembier

Abstract: We review some recent results on $K$-theory of perfection of commutative $\mF_p$-algebras and provide an alternative proof. We review some recent results on $K$-theory of perfection of commutative $\mF_p$-algebras and provide an alternative proof. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Asymptotic properties of tensor powers in symmetric tensor categories

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik

Abstract: Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to see that there exists a limit $δ(V):=\lim_{n\to \infty}d_n(V)^{1/n}$, which is positive (and $\ge 1$) iff V has an indecomposable summand of nonzero dimension mo… ▽ More Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to see that there exists a limit $δ(V):=\lim_{n\to \infty}d_n(V)^{1/n}$, which is positive (and $\ge 1$) iff V has an indecomposable summand of nonzero dimension mod p. We show that in this case the number $$ c(V):=\liminf_{n\to \infty} \frac{d_n(V)}{δ(V)^n}\in [0,1] $$ is strictly positive and $$ \log (c(V)^{-1})=O(δ(V)^2), $$ and moreover this holds for any symmetric tensor category over k of moderate growth. Furthermore, we conjecture that in fact $$ \log(c(V)^{-1})=O(δ(V)) $$ (which would be sharp), and prove this for p=2,3; in particular, for p=2 we show that $c(V)\ge 3^{-\frac{4}{3}δ(V)+1}$. The proofs are based on the characteristic p version of Deligne's theorem for symmetric tensor categories obtained in earlier work of the authors. We also conjecture a classification of semisimple symmetric tensor categories of moderate growth which is interesting in its own right and implies the above conjecture for all $p$, and illustrate this conjecture by describing the semisimplification of the modular representation category of a cyclic p-group. Finally, we study the asymptotic behavior of the decomposition of $V^{\otimes n}$ in characteristic zero using Deligne's theorem and the Macdonald-Mehta-Opdam identity. △ Less

Submitted 19 February, 2024; v1 submitted 23 January, 2023; originally announced January 2023.

Growth rates of the number of indecomposable summands in tensor powers

Authors: Kevin Coulembier, Victor Ostrik, Daniel Tubbenhauer

Abstract: In this paper we study the asymptotic behavior of the number of summands in tensor products of finite dimensional representations of affine (semi)group (super)schemes and related objects. In this paper we study the asymptotic behavior of the number of summands in tensor products of finite dimensional representations of affine (semi)group (super)schemes and related objects. △ Less

Submitted 9 January, 2024; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 21 pages, many figures, revision, comments welcome

MSC Class: Primary: 17B10; 18M05; Secondary: 16T05; 17B37; 20C25

Journal ref: Algebr. Represent. Theory 27 (2024), no. 2, 1033-1062

Super invariant theory in positive characteristic

Authors: Kevin Coulembier, Pavel Etingof, Alexander Kleshchev, Victor Ostrik

Abstract: We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not always generate all invariants. We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not always generate all invariants. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Perfecting group schemes

Authors: Kevin Coulembier, Geordie Williamson

Abstract: We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representatio… ▽ More We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group. △ Less

Submitted 12 June, 2022; originally announced June 2022.

Journal ref: J. Inst. Math. Jussieu 23 (2024) 2549-2591

Homological kernels of monoidal functors

Authors: Kevin Coulembier

Abstract: We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies monoidal functors of a given 'homological kernel' and can be realised as a sheaf category, not necessarily on A. This yields a theory of 'local abelian envelop… ▽ More We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies monoidal functors of a given 'homological kernel' and can be realised as a sheaf category, not necessarily on A. This yields a theory of 'local abelian envelope' which completes the notion of monoidal abelian envelopes. △ Less

Submitted 15 October, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

On Frobenius exact symmetric tensor categories

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik

Abstract: 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 p… ▽ More 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 category Ver_p (i.e., is the representation category of an affine group scheme in Ver_p) if and only if it has moderate growth and is Frobenius exact. This implies that Frobenius exact pre-Tannakian categories of moderate growth admit a well-behaved notion of Frobenius-Perron dimension. It follows that any semisimple pre-Tannakian category of moderate growth has a fiber functor to Ver_p (so in particular Deligne's theorem holds on the nose for semisimple pre-Tannakian categories in characteristics 2,3). This settles a conjecture of the third author from 2015. In particular, this result applies to semisimplifications of categories of modular representations of finite groups (or, more generally, affine group schemes), which gives new applications to classical modular representation theory. For example, it allows us to characterize, for a modular representation V, the possible growth rates of the number of indecomposable summands in V^{\otimes n} of dimension prime to p. △ Less

Submitted 1 September, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: With an appendix by Alexander Kleshchev

Monoidal Abelian Envelopes with a quotient property

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik, Bregje Pauwels

Abstract: 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 existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor cate… ▽ More 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 existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor categories as abelian envelopes, and to enlarge the class of tensor categories for which all extensions of scalars and tensor products are known to remain tensor categories. For an affine group scheme G, we show that pseudo-tensor subcategories of RepG have abelian envelopes with the quotient property, and we study many other such examples. This leads us to conjecture that all abelian envelopes satisfy the quotient property. △ Less

Submitted 15 October, 2022; v1 submitted 26 February, 2021; originally announced March 2021.

Additive Grothendieck pretopologies and presentations of tensor categories

Authors: Kevin Coulembier

Abstract: We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion allows us to study the noetherian and subcanonical nature of topologies, to describe easily the meet of a family of topologie… ▽ More We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion allows us to study the noetherian and subcanonical nature of topologies, to describe easily the meet of a family of topologies and to identify useful universal properties of the sheaf category. As our main application we derive in which ways one can present a tensor category and show that such presentations lead to remarkable universal properties. △ Less

Submitted 15 October, 2022; v1 submitted 4 November, 2020; originally announced November 2020.

Representation theory of a semisimple extension of the Takiff superalgebra

Authors: Shun-Jen Cheng, Kevin Coulembier

Abstract: We study a semisimple extension of a Takiff superalgebra which turns out to have a remarkably rich representation theory. We determine the blocks in both the finite-dimensional and BGG module categories and also classify the Borel subalgebras. We further compute all extension groups between two finite-dimensional simple objects and prove that all non-principal blocks in the finite-dimensional modu… ▽ More We study a semisimple extension of a Takiff superalgebra which turns out to have a remarkably rich representation theory. We determine the blocks in both the finite-dimensional and BGG module categories and also classify the Borel subalgebras. We further compute all extension groups between two finite-dimensional simple objects and prove that all non-principal blocks in the finite-dimensional module category are Koszul. △ Less

Submitted 3 September, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Freely adjoining monoidal duals

Authors: Kevin Coulembier, Ross Street, Michel van den Bergh

Abstract: Given a monoidal category $\mathscr{C}$ with an object $J$, we construct a monoidal category $\mathscr{C}[J^{\vee}]$ by freely adjoining a right dual $J^{\vee}$ to $J$. We show that the canonical strong monoidal functor $Ω: \mathscr{C}\to \mathscr{C}[J^{\vee}]$ provides the unit for a biadjunction with the forgetful 2-functor from the 2-category of monoidal categories with a distinguished dual pai… ▽ More Given a monoidal category $\mathscr{C}$ with an object $J$, we construct a monoidal category $\mathscr{C}[J^{\vee}]$ by freely adjoining a right dual $J^{\vee}$ to $J$. We show that the canonical strong monoidal functor $Ω: \mathscr{C}\to \mathscr{C}[J^{\vee}]$ provides the unit for a biadjunction with the forgetful 2-functor from the 2-category of monoidal categories with a distinguished dual pair to the 2-category of monoidal categories with a distinguished object. We show that $Ω: \mathscr{C}\to \mathscr{C}[J^{\vee}]$ is fully faithful and provide coend formulas for homs of the form $\mathscr{C}[J^{\vee}](U,ΩA)$ and $\mathscr{C}[J^{\vee}](ΩA,U)$ for $A\in \mathscr{C}$ and $U\in \mathscr{C}[J^{\vee}]$. If $\mathbb{N}$ denotes the free strict monoidal category on a single generating object $1$ then $\mathbb{N}[1^{\vee}]$ is the free monoidal category $\mathrm{Dpr}$ containing a dual pair $- \dashv +$ of objects. As we have the monoidal pseudopushout $\mathscr{C}[J^{\vee}] \simeq \mathrm{Dpr} +_{\mathbb{N}} \mathscr{C}$, it is of interest to have an explicit model of $\mathrm{Dpr}$: we provide both geometric and combinatorial models. We show that the (algebraist's) simplicial category $Δ$ is a monoidal full subcategory of $\mathrm{Dpr}$ and explain the relationship with the free 2-category $\mathrm{Adj}$ containing an adjunction. We describe a generalization of $\mathrm{Dpr}$ which includes, for example, a combinatorial model $\mathrm{Dseq}$ for the free monoidal category containing a duality sequence $X_0\dashv X_1\dashv X_2 \dashv \dots$ of objects. Actually, $\mathrm{Dpr}$ is a monoidal full subcategory of $\mathrm{Dseq}$. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 27 pages

MSC Class: 18D10; 18D35; 18A40; 16T99; 47A07; 52C05

Journal ref: Math. Struct. Comp. Sci. 31 (2021) 748-768

Some homological properties of ind-completions and highest weight categories

Authors: Kevin Coulembier

Abstract: We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for the fact that any abelian category is extension full in its ind-completion. We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for the fact that any abelian category is extension full in its ind-completion. △ Less

Submitted 18 May, 2020; v1 submitted 26 March, 2020; originally announced March 2020.

Monoidal abelian envelopes

Authors: Kevin Coulembier

Abstract: We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs tensor categories in positive characteristic via tilting modules for SL(2). We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs tensor categories in positive characteristic via tilting modules for SL(2). △ Less

Submitted 18 May, 2020; v1 submitted 23 March, 2020; originally announced March 2020.

Journal ref: Compositio Math. 157 (2021) 1584-1609

Monoidal abelian envelopes and a conjecture of Benson--Etingof

Authors: Kevin Coulembier, Inna Entova-Aizenbud, Thorsten Heidersdorf

Abstract: We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. As a main result we prove that the category of finite-dimensional representations of a semisimple simply connected algebraic group is the abelian envelope of the category of tilting modules. Benson and Etingof conjectured that a certain limit of finite symmetric tensor… ▽ More We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. As a main result we prove that the category of finite-dimensional representations of a semisimple simply connected algebraic group is the abelian envelope of the category of tilting modules. Benson and Etingof conjectured that a certain limit of finite symmetric tensor categories is tensor equivalent to the finite dimensional representations of $SL_2$ in characteristic $2$. We use our results on the abelian envelopes to prove this conjecture and its variants for any prime $p$. △ Less

Submitted 15 July, 2021; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: ver 3: Generalized the results to arbitrary primes p (ver 1,2 dealt with the case p=2), ver 2: minor fix in the definition of abelian envelope

Journal ref: Alg. Number Th. 16 (2022) 2099-2117

Tilting modules for classical Lie superalgebras

Authors: Chih-Whi Chen, Shun-Jen Cheng, Kevin Coulembier

Abstract: We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the characters of tilting modules in terms of those of simple modules in that category. We also obtain a classification of projective-injective modules in the full… ▽ More We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the characters of tilting modules in terms of those of simple modules in that category. We also obtain a classification of projective-injective modules in the full BGG category $\mathcal O$ for all simple classical Lie superalgebras. We then classify and give an explicit combinatorial description of parabolic subalgebras of the periplectic Lie superalgebras and apply our results to study their tilting modules in more detail. △ Less

Submitted 15 July, 2019; originally announced July 2019.

Comments: 32 pages

MSC Class: 17B10

The classification of blocks in BGG category O

Authors: Kevin Coulembier

Abstract: We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most… ▽ More We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Tannakian categories in positive characteristic

Authors: Kevin Coulembier

Abstract: 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. 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. △ Less

Submitted 26 February, 2021; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: v2: with appendix working out the details of a letter from Deligne to Vasiu v3: some typos corrected v4: correction in characterisation super tannakian categories

Journal ref: Duke Math. J. 169, no. 16 (2020), 3167-3219

Ringel duals of Brauer algebras via super groups

Authors: Kevin Coulembier

Abstract: We prove that the Brauer algebra, for all parameters for which it is quasi-hereditary, is Ringel dual to a category of representations of the orthosymplectic super group. As a consequence we obtain new and algebraic proofs for some results on the fundamental theorems of invariant theory for this super group over the complex numbers and also extend them to some cases in positive characteristic. Our… ▽ More We prove that the Brauer algebra, for all parameters for which it is quasi-hereditary, is Ringel dual to a category of representations of the orthosymplectic super group. As a consequence we obtain new and algebraic proofs for some results on the fundamental theorems of invariant theory for this super group over the complex numbers and also extend them to some cases in positive characteristic. Our methods also apply to the walled Brauer algebra in which case we obtain a duality with the general linear super group, with similar applications. △ Less

Submitted 31 March, 2019; v1 submitted 6 October, 2018; originally announced October 2018.

Comments: v2: simplified and shorter Section 3

Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

Authors: Chih-Whi Chen, Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category… ▽ More We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

The primitive spectrum and category O for the periplectic Lie superalgebra

Authors: Chih-Whi Chen, Kevin Coulembier

Abstract: We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie super… ▽ More We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we establish a BGG reciprocity result for the periplectic Lie superalgebra. △ Less

Submitted 4 June, 2018; v1 submitted 22 May, 2018; originally announced May 2018.

On an infinite limit of BGG categories O

Authors: Kevin Coulembier, Ivan Penkov

Abstract: We study a version of the BGG category O for Dynkin Borel subalgebras of root-reductive Lie algebras g, such as gl(\infty). We prove results about extension fullness and compute the higher extensions of simple modules by Verma modules. In addition, we show that our category O is Ringel self-dual and initiate the study of Koszul duality. An important tool in obtaining these results is an equivalenc… ▽ More We study a version of the BGG category O for Dynkin Borel subalgebras of root-reductive Lie algebras g, such as gl(\infty). We prove results about extension fullness and compute the higher extensions of simple modules by Verma modules. In addition, we show that our category O is Ringel self-dual and initiate the study of Koszul duality. An important tool in obtaining these results is an equivalence we establish between appropriate Serre subquotients of category O for g and category O for finite dimensional reductive subalgebras of g. △ Less

Submitted 18 March, 2019; v1 submitted 18 February, 2018; originally announced February 2018.

Tensor ideals, Deligne categories and invariant theory

Authors: Kevin Coulembier

Abstract: 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 id… ▽ More 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 tensor ideals for Uq(g) corresponds to the lattice of submodules in a parabolic Verma module for the corresponding affine Kac-Moody algebra. △ Less

Submitted 14 November, 2018; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: v5: proof main results is now independent of previous classifications of tensor ideals in objects

Journal ref: Selecta Math. (N.S.) 24 (2018), no. 5, 4659-4710

Ringel duality and Auslander-Dlab-Ringel algebras

Authors: Kevin Coulembier

Abstract: We introduce a new class of quasi-hereditary algebras, containing in particular the Auslander-Dlab-Ringel (ADR) algebras. We show that this new class of algebras is preserved under Ringel duality, which determines in particular explicitly the Ringel dual of any ADR algebra. As a special case of our theory, it follows that, under very restrictive conditions, an ADR algebra is Ringel dual to another… ▽ More We introduce a new class of quasi-hereditary algebras, containing in particular the Auslander-Dlab-Ringel (ADR) algebras. We show that this new class of algebras is preserved under Ringel duality, which determines in particular explicitly the Ringel dual of any ADR algebra. As a special case of our theory, it follows that, under very restrictive conditions, an ADR algebra is Ringel dual to another one. The latter provides an alternative proof for a recent result of Conde and Erdmann, and places it in a more general setting. △ Less

Submitted 30 October, 2017; v1 submitted 22 October, 2017; originally announced October 2017.

MSC Class: 13E10; 16G10; 16E65

Journal ref: J. Pure Appl. Algebra 222 (2018), no. 12, 3831--3848

Rigidity of tilting modules in category O

Authors: Kevin Coulembier

Abstract: In this note we give an overview of rigidity properties and Loewy lengths of tilting modules in the BGG category O associated to a reductive Lie algebra. These results are well-known by several specialists, but seem difficult to find in the existing literature. In this note we give an overview of rigidity properties and Loewy lengths of tilting modules in the BGG category O associated to a reductive Lie algebra. These results are well-known by several specialists, but seem difficult to find in the existing literature. △ Less

Submitted 9 October, 2017; v1 submitted 27 September, 2017; originally announced September 2017.

MSC Class: 17B10

Indecomposable manipulations with simple modules in category O

Authors: Kevin Coulembier, Volodymyr Mazorchuk, Xiaoting Zhang

Abstract: We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the… ▽ More We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results. △ Less

Submitted 2 September, 2017; originally announced September 2017.

Comments: 40 pages

Gorenstein homological algebra for rngs and Lie superalgebras

Authors: Kevin Coulembier

Abstract: We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to th… ▽ More We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obtain new and more general formulae for the Serre functors and instigate the theory of Gorenstein extension groups. △ Less

Submitted 17 July, 2017; originally announced July 2017.

The periplectic Brauer algebra III: The Deligne category

Authors: Kevin Coulembier, Michael Ehrig

Abstract: We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne category. This allows to determine the objects in the kernel of the monoidal functor going to the module category of the periplectic Lie supergroup. We use this… ▽ More We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne category. This allows to determine the objects in the kernel of the monoidal functor going to the module category of the periplectic Lie supergroup. We use this to classify indecomposable direct summands in the tensor powers of the natural representation, determine which are projective and determine their simple top. △ Less

Submitted 27 December, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

MSC Class: 18D10; 17B10; 16G99

The G-centre and gradable derived equivalences

Authors: Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We propose a generalisation for the notion of the centre of an algebra in the setup of algebras graded by an arbitrary abelian group G. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the grading shift functors. We show that the G-centre is preserved by gradable derived equivalences given by tilting modules. We also discuss links with existing… ▽ More We propose a generalisation for the notion of the centre of an algebra in the setup of algebras graded by an arbitrary abelian group G. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the grading shift functors. We show that the G-centre is preserved by gradable derived equivalences given by tilting modules. We also discuss links with existing notions in superalgebra theory and apply our results to derived equivalences of superalgebras. △ Less

Submitted 8 November, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: v2: extension to infinite groups; restriction on type of derived equivalence due to gap in proof of v1

MSC Class: 16B50; 16D90; 18E30

Journal ref: J. Aust. Math. Soc. 105 (2018), no. 3, 289-315

The periplectic Brauer algebra II: decomposition multiplicities

Authors: Kevin Coulembier, Michael Ehrig

Abstract: We determine the Jordan-Holder decomposition multiplicities of projective and cell modules over periplectic Brauer algebras in characteristic zero. These are obtained by developing the combinatorics of certain skew Young diagrams. We also establish a useful relationship with the Kazhdan-Lusztig multiplicities of the periplectic Lie superalgebra. We determine the Jordan-Holder decomposition multiplicities of projective and cell modules over periplectic Brauer algebras in characteristic zero. These are obtained by developing the combinatorics of certain skew Young diagrams. We also establish a useful relationship with the Kazhdan-Lusztig multiplicities of the periplectic Lie superalgebra. △ Less

Submitted 22 February, 2017; v1 submitted 17 January, 2017; originally announced January 2017.

Journal ref: J. Comb. Algebra 2 (2018), no. 1, 19-46

The periplectic Brauer algebra

Authors: Kevin Coulembier

Abstract: We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi-hereditary and, for fields of characteristic zero, describe the block decomposition. To achieve this, we also develop theories of Jucys-Murphy elements, Bratteli diagrams, Murphy bases, determine when there exist quasi-hereditary 1-co… ▽ More We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi-hereditary and, for fields of characteristic zero, describe the block decomposition. To achieve this, we also develop theories of Jucys-Murphy elements, Bratteli diagrams, Murphy bases, determine when there exist quasi-hereditary 1-covers, obtain a BGG reciprocity relation and determine some decomposition multiplicities of cell modules. As an application, we determine the blocks in the category of finite dimensional weight modules over the periplectic Lie superalgebra. △ Less

Submitted 14 March, 2018; v1 submitted 21 September, 2016; originally announced September 2016.

MSC Class: 16G10; 17B10; 20C05; 81R05

Journal ref: Proc. Lond. Math. Soc. (3) 117 (2018), no. 3, 441-482

On structure and TKK algebras for Jordan superalgebras

Authors: Sigiswald Barbier, Kevin Coulembier

Abstract: We compare a number of different definitions of structure algebras and TKK constructions for Jordan (super)algebras appearing in the literature. We demonstrate that, for unital superalgebras, all the definitions of the structure algebra and the TKK constructions fall apart into two cases. Moreover, one can be obtained as the Lie superalgebra of superderivations of the other. We also show that, for… ▽ More We compare a number of different definitions of structure algebras and TKK constructions for Jordan (super)algebras appearing in the literature. We demonstrate that, for unital superalgebras, all the definitions of the structure algebra and the TKK constructions fall apart into two cases. Moreover, one can be obtained as the Lie superalgebra of superderivations of the other. We also show that, for non-unital superalgebras, more definitions become non-equivalent. As an application, we obtain the corresponding Lie superalgebras for all simple finite dimensional Jordan superalgebras over an algebraically closed field of characteristic zero. △ Less

Submitted 20 September, 2016; v1 submitted 1 September, 2016; originally announced September 2016.

MSC Class: 17B60; 17B70; 17C50

Journal ref: Communications in Algebra (2017)

Borelic pairs for stratified algebras

Authors: Kevin Coulembier, Ruibin Zhang

Abstract: We determine all values of the parameters for which the cell modules form a standard system, for a class of cellular diagram algebras including partition, Brauer, walled Brauer, Temperley-Lieb and Jones algebras. For this, we develop and apply a general theory of algebras with Borelic pairs. The theory is also applied to give new uniform proofs of the cellular and quasi-hereditary properties of th… ▽ More We determine all values of the parameters for which the cell modules form a standard system, for a class of cellular diagram algebras including partition, Brauer, walled Brauer, Temperley-Lieb and Jones algebras. For this, we develop and apply a general theory of algebras with Borelic pairs. The theory is also applied to give new uniform proofs of the cellular and quasi-hereditary properties of the diagram algebras and to construct quasi-hereditary 1-covers, in the sense of Rouquier, with exact Borel subalgebras, in the sense of König. Another application of the theory leads to a proof that Auslander-Dlab-Ringel algebras admit exact Borel subalgebras. △ Less

Submitted 9 October, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: v2: Correction in Section 6. v3: Many minor corrections and improvements

MSC Class: 16G10; 17B10; 20C05; 81R05

Journal ref: Adv. Math. 345 (2019), 53-115

The Joseph ideal for $\mathfrak{sl}(m|n)$

Authors: Sigiswald Barbier, Kevin Coulembier

Abstract: Using deformation theory, Braverman and Joseph obtained an alternative characterisation of the Joseph ideal for simple Lie algebras, which included even type A. In this note we extend that characterisation to define a remarkable quadratic ideal for sl(m|n). When m-n>2 we prove the ideal is primitive and can also be characterised similarly to the construction of the Joseph ideal by Garfinkle. Using deformation theory, Braverman and Joseph obtained an alternative characterisation of the Joseph ideal for simple Lie algebras, which included even type A. In this note we extend that characterisation to define a remarkable quadratic ideal for sl(m|n). When m-n>2 we prove the ideal is primitive and can also be characterised similarly to the construction of the Joseph ideal by Garfinkle. △ Less

Submitted 8 January, 2016; originally announced January 2016.

MSC Class: 17B35 (Primary); 16D60; 17B10 (Secondary)

Journal ref: Springer Proc. Math. Stat. 191, 489-499 (2016)

Polynomial realisations of Lie (super)algebras and Bessel operators

Authors: Sigiswald Barbier, Kevin Coulembier

Abstract: We study realisations of Lie (super)algebras in Weyl (super)algebras and connections with minimal representations. The main result is the construction of small realisations of Lie superalgebras, which we apply for two distinct purposes. Firstly it naturally introduces, and generalises, the Bessel operators for Jordan algebras in the study of minimal representations of simple Lie groups. These have… ▽ More We study realisations of Lie (super)algebras in Weyl (super)algebras and connections with minimal representations. The main result is the construction of small realisations of Lie superalgebras, which we apply for two distinct purposes. Firstly it naturally introduces, and generalises, the Bessel operators for Jordan algebras in the study of minimal representations of simple Lie groups. These have already been applied very successfully by several authors, however an easy direct explanation for their relevance seemed still to be missing. Secondly, we work out the theoretical realisation concretely for the exceptional Lie superalgebra D(2,1;a), giving a useful hands-on realisation. △ Less

Submitted 20 September, 2016; v1 submitted 4 December, 2015; originally announced December 2015.

MSC Class: 17B35; 17C99; 58C50

Journal ref: Int. Math. Res. Not., no. 10, 3148-3179 (2017)

The primitive spectrum of basic classical Lie superalgebras

Authors: Kevin Coulembier

Abstract: We prove Conjecture 5.7 in [arXiv:1409.2532], describing all inclusions between primitive ideals for the general linear superalgebra in terms of the Ext1-quiver of simple highest weight modules. For arbitrary basic classical Lie superalgebras, we formulate two types of Kazhdan-Lusztig quasi-orders on the dual of the Cartan subalgebra, where one corresponds to the above conjecture. Both orders can… ▽ More We prove Conjecture 5.7 in [arXiv:1409.2532], describing all inclusions between primitive ideals for the general linear superalgebra in terms of the Ext1-quiver of simple highest weight modules. For arbitrary basic classical Lie superalgebras, we formulate two types of Kazhdan-Lusztig quasi-orders on the dual of the Cartan subalgebra, where one corresponds to the above conjecture. Both orders can be seen as generalisations of the left Kazhdan-Lusztig order on Hecke algebras and are related to categorical braid group actions. We prove that the primitive spectrum is always described by one of the orders, obtaining for the first time a description of the inclusions. We also prove that the two orders are identical if category O admits `enough' abstract Kazhdan-Lusztig theories. In particular, they are identical for the general linear superalgebra, concluding the proof of the conjecture. △ Less

Submitted 25 January, 2016; v1 submitted 3 October, 2015; originally announced October 2015.

MSC Class: 16S30; 16D60; 17B10

Journal ref: Comm. Math. Phys. 348 (2016), no. 2, 579-602

Some homological properties of category O. IV

Authors: Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We study projective dimension and graded length of structural modules in parabolic-singular blocks of the BGG category O. Some of these are calculated explicitly, others are expressed in terms of two functions. We also obtain several partial results and estimates for these two functions and relate them to monotonicity properties for quasi-hereditary algebras. The results are then applied to study… ▽ More We study projective dimension and graded length of structural modules in parabolic-singular blocks of the BGG category O. Some of these are calculated explicitly, others are expressed in terms of two functions. We also obtain several partial results and estimates for these two functions and relate them to monotonicity properties for quasi-hereditary algebras. The results are then applied to study blocks of O in the context of Guichardet categories, in particular, we show that blocks of O are not always weakly Guichardet. △ Less

Submitted 15 September, 2015; originally announced September 2015.

MSC Class: 16E30; 17B10

Journal ref: Forum Math. 2017; 29(5): 1083-1124

Dualities and derived equivalences for category O

Authors: Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific previously known cases in the parabolic setting, the blocks are not necessarily Ringel self-dual. However, the parabolic category O as a whole is still Ringel self-dual… ▽ More We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific previously known cases in the parabolic setting, the blocks are not necessarily Ringel self-dual. However, the parabolic category O as a whole is still Ringel self-dual. Furthermore, we use generalisations of the Ringel duality functor to obtain large classes of derived equivalences between blocks in parabolic and original category O. It seems that only some special cases were known thus far, where the proof relied purely on a geometric approach to category O. We subsequently classify all derived equivalence classes of blocks of category O in type A which preserve the Koszul grading. △ Less

Submitted 17 June, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

MSC Class: 16E35; 16E30; 17B10; 16S37

Journal ref: Israel J. Math. 219 (2017), no. 2, 661-706

Homological invariants in category O for the general linear superalgebra

Authors: Kevin Coulembier, Vera Serganova

Abstract: We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and complexity. We demonstrate connections between projective dimension and singularity of modules and blocks. Similarly we investigate the connection between complexity a… ▽ More We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and complexity. We demonstrate connections between projective dimension and singularity of modules and blocks. Similarly we investigate the connection between complexity and atypicality. This creates concrete tools to describe singularity and atypicality as homological, and hence categorical, properties of a block. However, we also demonstrate how two integral blocks in category O with identical global categorical characteristics of singularity and atypicality will generally still be inequivalent. This principle implies that category O for gl(m|n) can contain infinitely many non-equivalent blocks, which we work out explicitly for gl(3|1). All of this is in sharp contrast with category O for Lie algebras, but also with the category of finite dimensional modules for superalgebras. Furthermore we characterise modules with finite projective dimension to be those with trivial associated variety. We also study the associated variety of Verma modules. To do this, we also classify the orbits in the cone of self-commuting odd elements under the action of an even Borel subgroup. △ Less

Submitted 4 November, 2015; v1 submitted 6 January, 2015; originally announced January 2015.

MSC Class: 17B10; 16E30; 17B55

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 11, 7961-7997

Pizzetti formulae for Stiefel manifolds and applications

Authors: Kevin Coulembier, Mario Kieburg

Abstract: Pizzetti's formula explicitly shows the equivalence of the rotation invariant integration over a sphere and the action of rotation invariant differential operators. We generalize this idea to the integrals over real, complex, and quaternion Stiefel manifolds in a unifying way. In particular we propose a new way to calculate group integrals and try to uncover some algebraic structures which manifes… ▽ More Pizzetti's formula explicitly shows the equivalence of the rotation invariant integration over a sphere and the action of rotation invariant differential operators. We generalize this idea to the integrals over real, complex, and quaternion Stiefel manifolds in a unifying way. In particular we propose a new way to calculate group integrals and try to uncover some algebraic structures which manifest themselves for some well-known cases like the Harish-Chandra integral. We apply a particular case of our formula to an Itzykson-Zuber integral for the coset SO(4)/[SO(2)xSO(2)]. This integral naturally appears in the calculation of the two-point correlation function in the transition of the statistics of the Poisson ensemble and the Gaussian orthogonal ensemble in random matrix theory. △ Less

Submitted 29 September, 2014; originally announced September 2014.

MSC Class: 26B20; 13A50; 28C10

Journal ref: Letters in Mathematical Physics 105 (2015), 10, 1333-1376

Extension Fullness of the Categories of Gelfand-Zeitlin and Whittaker Modules

Authors: Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We prove that the categories of Gelfand-Zeitlin modules of $\mathfrak{g}=\mathfrak{gl}_n$ and Whittaker modules associated with a semi-simple complex finite-dimensional algebra $\mathfrak{g}$ are extension full in the category of all $\mathfrak{g}$-modules. This is used to estimate and in some cases determine the global dimension of blocks of the categories of Gelfand-Zeitlin and Whittaker modules… ▽ More We prove that the categories of Gelfand-Zeitlin modules of $\mathfrak{g}=\mathfrak{gl}_n$ and Whittaker modules associated with a semi-simple complex finite-dimensional algebra $\mathfrak{g}$ are extension full in the category of all $\mathfrak{g}$-modules. This is used to estimate and in some cases determine the global dimension of blocks of the categories of Gelfand-Zeitlin and Whittaker modules. △ Less

Submitted 24 February, 2015; v1 submitted 19 September, 2014; originally announced September 2014.

Journal ref: SIGMA 11 (2015), 016, 17 pages