-
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 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 26 May, 2024;
originally announced May 2024.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 develo** 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 develo** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
The primitive spectrum for gl(m|n)
Authors:
Kevin Coulembier,
Ian M. Musson
Abstract:
We study inclusions between primitive ideals in the universal envelo** algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras…
▽ More
We study inclusions between primitive ideals in the universal envelo** algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, the classification is unknown in general, safe from some low dimensional specific cases. We derive an alternative definition of the left Kazhdan-Lusztig quasi-order which extends to classical Lie superalgebras. We show that a relation in this preorder implies an inclusion between primitive ideals.
For gl(m|n) the new quasi-order is defined explicitly in terms of Brundan's Kazhdan-Lusztig theory. We prove that the quasi-order induces an actual partial order on the set of primitive ideals. We conjecture that this is the inclusion order. By the above paragraph one direction of this conjecture is true. We prove several consistency results concerning the conjecture and prove it for singly atypical and typical blocks of gl(m|n) and in general for gl(2|2). An important tool is a new translation principle for primitive ideals, based on the crystal structure for category O. Finally we focus on an interesting explicit example; the poset of primitive ideals contained in the augmentation ideal for gl(m|1).
△ Less
Submitted 1 October, 2015; v1 submitted 8 September, 2014;
originally announced September 2014.
-
Some homological properties of category O. III
Authors:
Kevin Coulembier,
Volodymyr Mazorchuk
Abstract:
We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick category $\mathcal{O}$ and the associated categories of Harish-Chandra bimodules, but disprove it for singular blocks.
We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick category $\mathcal{O}$ and the associated categories of Harish-Chandra bimodules, but disprove it for singular blocks.
△ Less
Submitted 8 June, 2015; v1 submitted 13 April, 2014;
originally announced April 2014.
-
Bott-Borel-Weil theory, BGG reciprocity and twisting functors for Lie superalgebras
Authors:
Kevin Coulembier
Abstract:
The main focus of this paper is Bott-Borel-Weil (BBW) theory for basic classical Lie superalgebras. We take a purely algebraic self-contained approach to the problem. A new element in this study is twisting functors, which we use in particular to prove that the top of the cohomology groups of BBW theory for generic weights is described by the recently introduced star action. We also study the alge…
▽ More
The main focus of this paper is Bott-Borel-Weil (BBW) theory for basic classical Lie superalgebras. We take a purely algebraic self-contained approach to the problem. A new element in this study is twisting functors, which we use in particular to prove that the top of the cohomology groups of BBW theory for generic weights is described by the recently introduced star action. We also study the algebra of regular functions, related to BBW theory. Then we introduce a weaker form of genericness, relative to the Borel subalgebra and show that the virtual BGG reciprocity of Gruson and Serganova becomes an actual reciprocity in the relatively generic region. We also obtain a complete solution of BBW theory for osp(m|2), D(2,1;a), F(4) and G(3) with distinguished Borel subalgebra. Furthermore, we derive information about the category of finite dimensional osp(m|2)-modules, such as BGG-type resolutions and Kostant homology of Kac modules and the structure of projective modules.
△ Less
Submitted 3 December, 2014; v1 submitted 4 April, 2014;
originally announced April 2014.