We classify blocks in the BGG category $\mathcal O$ of modules of non-integral weights for the exceptional Lie superalgebra $D(2|1;ζ)$. We establish various reduction methods, which connect some types of non-integral blocks of $D(2|1;ζ)$ with integral blocks of general linear Lie superalgebras $\mathfrak{gl}{(1|1)}$ and $\mathfrak{gl}{(2|1)}$. We compute the characters for irreducible $D(2|1;ζ)$-modules of non-integral weights in $\mathcal O$.
We classify blocks in the BGG category $\mathcal O$ of modules of non-integral weights for the exceptional Lie superalgebra $G(3)$. We compute the characters for tilting modules of non-integral weights in $\mathcal O$. Reduction methods are established to connect non-integral blocks of $G(3)$ with blocks of the special linear Lie algebra $\mathfrak{sl}(2)$, the exceptional Lie algebra $G_2$, the general linear Lie superalgebras $\mathfrak{gl}(1|1)$, $\mathfrak{gl}(2|1)$ and the ortho-symplectic Lie superalgebra $\mathfrak{osp}(3|2)$.
We develop a reduction procedure which provides an equivalence (as highest weight categories) from an arbitrary block (defined in terms of the central character and the integral Weyl group) of the BGG category O for a general linear Lie superalgebra to an integral block of O for (possibly a direct sum of) general linear Lie superalgebras. We also establish indecomposability of blocks of O.
We extend Kostant's result on annihilator ideals of non-singular simple Whittaker modules over Lie algebras to (possibly singular) simple Whittaker modules over Lie superalgebras. We describe these annihilator ideals in terms of certain primitive ideals coming from the category $\mathcal O$ for quasireductive Lie superalgebras. To determine these annihilator ideals, we develop annihilator-preserving equivalences between certain full subcategories of the Whittaker category $\tilde{\mathcal N}$ and the categories of certain projectively presentable modules in the category $\mathcal O$. These equ…
We show that the structure of blocks outside the critical hyperplanes of category O over any symmetrizable Kac-Moody algebra depends only on the corresponding integral Weyl group and its action on the parameters of the Verma modules by giving a combinatorial description of the projective objects. As an application we derive the Kazhdan-Lusztig conjecture for non-integral blocks from the integral case in finite and affine situations.
We show that every integral block of category O for the general linear Lie superalgebra is equivalent to a corresponding block of category O for the queer Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for the so-called type A blocks of category O for the queer Lie superalgebra, as formulated by Cheng, Kwon and Wang.
We prove that an integral block of the category $\mathcal O$ of the periplectic Lie superalgebra contains a non-semisimple Jantzen middle if and only if it contains a simple module of atypical highest weight. As a consequence, every atypical integral block of $\mathcal O$ does not admit a Kazhdan-Lusztig theory in the sense of Cline, Parshall and Scott.
We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest weight category with blocks that are Morita equivalent to certain generalized Khovanov arc algebras.
We prove that the number of irreducible real characters in a nilpotent block of a finite group is locally determined. We further conjecture that the Frobenius-Schur indicators of those characters can be computed for p=2 in terms of the extended defect group. We derive this from a more general conjecture on the Frobenius-Schur indicator of projective indecomposable characters of 2-blocks with one simple module. This extends results of Murray on 2-blocks with cyclic and dihedral defect groups.
We describe the ordinary characters of trivial source modules lying in blocks with cyclic defect groups relying on their recent classification in terms of paths on the Brauer tree by G.~Hiss and the second author. In particular, we show how to recover the exceptional constituents of such characters using the source algebra of the block.
Given a generalized $e$-block $B$ of a symmetric group and an $e$-regular conjugacy class $C$, we study the number of irreducible characters in $B$ which do not vanish on $C$ and find lower bounds for it.
The theme of the article is the study of the unipotent part of Arthur's trace formula for general linear groups. The case of regular (or "regular by blocks") unipotent orbits has been essentially done in a previous paper. Here we are interested by the contribution of Richardson orbits that are induced by Levi subgroups with two-by-two distinct blocks. In this case, the contribution is remarkably given by a global unipotent weighted orbital integral. As a corollary, we get integral formulas for some of Arthur's global coefficients. We also present a new construction of Arthur's local unipotent …
Suppose that $B$ is a Brauer $p$-block of a finite group $G$ with a unique modular character $φ$. We prove that $φ$ is liftable to an ordinary character of $G$ (which moreover is $p$-rational for odd $p$). This confirms the basic set conjecture for these blocks.
Eaton and Moretó proposed an extension of Brauer's famous height zero conjecture on blocks of finite groups to the case of non-abelian defect groups, which predicts the smallest non-zero height in such blocks in terms of local data. We show that their conjecture holds for principal blocks of quasi-simple groups, for all blocks of finite reductive groups in their defining characteristic, as well as for all covering groups of symmetric and alternating groups. For the proof, we determine the minimal non-trivial character degrees of Sylow $p$-subgroups of finite reductive groups in characteristic~…
We consider real versions of Brauer's k(B) conjecture, Olsson's conjecture and Eaton's conjecture. We prove the real version of Eaton's conjecture for 2-blocks of groups with cyclic defect group and for the principal 2-blocks of groups with trivial real core. We also characterize G-classes, real and rational G-classes of the defect group of a block B.
We prove, for primes $p\ge5$, two inequalities between the fundamental invariants of Brauer $p$-blocks of finite quasi-simple groups: the number of characters in the block, the number of modular characters, the number of height zero characters, and the number of conjugacy classes of a defect group and of its derived subgroup. For this, we determine these invariants explicitly, or at least give bounds for them for several classes of classical groups.
Block character of a finite symmetric group S(n) is a positive definite function which depends only on the number of cycles in permutation. We describe the cone of block characters by identifying its extreme rays, and find relations of the characters to descent representations and the coinvariant algebra of S(n). The decomposition of extreme block characters into the sum of characters of irreducible representations gives rise to certain limit shape theorems for random Young diagrams. We also study counterparts of the block characters for the infinite symmetric group S(\infty) along with their …
We show that if the principal p-block of a finite group G contains exactly 5 irreducible ordinary characters, then a Sylow p-subgroup of G has order 5, 7 or is isomorphic to one of the non-abelian 2-groups of order 8.
If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative) ring. If $K$ is a sufficiently large extension of ${\mathbb{Q}}\_{\! p}$ and ${\mathcal{O}}$ denotes the integral closure of ${\mathcal{Z}}\_{\! p}$ in $K$, the $K$-algebra $K{\mathbf{K}}\_G(G)=K \otimes\_{\mathbb{Z}} {\mathbf{K}}\_G(G)$ is split semisimple. The aim of this paper is to describe the ${\mathcal{O}}$-blocks of the ${\mathcal{O}}$-algebra ${\mathcal…
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
For a type I basic classical Lie superalgebra $\mathfrak{g}=\mathfrak{g}_{\bar{0}} \oplus \mathfrak{g}_{\bar{1}}$, we establish an equivalence between typical blocks of categories of $U_χ(\mathfrak{g})$-modules and $U_χ(mathfrak{g}_{\bar{0})$-modules. We then deduce various consequences from the equivalence.
