We use Naito-Sagaki's work [S. Naito & D. Sagaki, J. Algebra 245 (2001) 395--412, J. Algebra 251 (2002) 461--474] on Lakshmibai-Seshadri paths fixed by diagram automorphisms to study the partitions fixed by Mullineux involution. We characterize the set of Mullineux-fixed partitions in terms of crystal graphs of basic representations of twisted affine Lie algebras of type $A_{2\ell}^{(2)}$ and of type $D_{\ell+1}^{(2)}$. We set up bijections between the set of symmetric partitions and the set of partitions into distinct parts. We propose a notion of double restricted strict partitions. Bijections between the set of restricted strict partitions (resp., the set of double restricted strict partitions) and the set of Mullineux-fixed partitions in the odd case (resp., in the even case) are obtained.
This note is concerned with a natural generalization of the Mullineux involution for Ariki-Koike algebras. Using a result of Fayers together with previous results by the authors, we give an efficient algorithm for computing this generalized Mullineux involution. Our algorithm notably does not involve the determination of paths in affine crystals.
We develop a new approach for the computation of the Mullineux involution for the symmetric group and its Hecke algebra using the notion of crystal isomorphism and the Iwahori-Matsumoto involution for the affine Hecke algebra of type A. As a consequence, we obtain several new elementary combinatorial algorithms for its computation, one of which is equivalent to Xu's algorithm (and thus Mullineux' original algorithm). We thus obtain a simple interpretation of these algorithms and a new elementary proof that they indeed compute the Mullineux involution.
We define a generalization of the Mullineux involution on multipartitions using the theory of crystals for higher level Fock spaces. Our generalized Mullineux involution turns up in representation theory via two important derived functors on cyclotomic Cherednik category $\mathcal{O}$: Losev's "$κ=0$" wall-crossing, and the Ringel duality.
The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization and prove a condition under which the two maps are exactly the same. Our results generalize the work of Bessenrodt, Olsson and Xu, and the combinatorial constructions is related to the Iwahori-Hecke algebra and the global crystal basis of the basic $U_q(\widehat{\mathfrak{sl}}_b)$-module. In the conclusion, we provide several conjectures regarding the $q$-dec…
In this paper, we define the combinatorial wall-crossing transformation and the generalized column regularization on partitions and prove that a certain composition of these two transformations has the same effect on the one-row partition $(n)$. As corollaries we explicitly describe the quotients of the partitions which arise in this process. We also prove that the one-row partition is the unique partition that stays regular at any step of the wall-crossing transformation.
We study the effect of Alvis-Curtis duality on the unipotent representations of $\mathrm{GL}_n(q)$ in non-defining characteristic $\ell$. We show that the permutation induced on the simple modules can be expressed in terms of a generalization of the Mullineux involution on the set of all partitions, which involves both $\ell$ and the order of $q$ modulo $\ell$.
The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.
Kottwitz' conjecture is concerned with the intersections of Kazhdan--Lusztig cells with conjugacy classes of involutions in finite Coxeter groups. In joint work with Bonnafé, we have recently found a way to prove this conjecture for groups of type $B_n$ and $D_n$. The argument for type $D_n$ relies on two ingredients which were used there without proof: (1) a strengthened version of the "branching rule" and (2) the consideration of "$\diamond$-twisted" involutions where $\diamond$ is a graph automorphism. In this paper we deal with (1), (2) and complete the argument for type $D_n$; moreover, w…
Let $W$ be a finite Weyl group and $\sg$ be a non-trivial graph automorphism of $W$. We show a remarkable relation between the $\sg$-twisted involution module for $W$ and the Frobenius--Schur indicators of the unipotent characters of a corresponding twisted finite group of Lie type. This extends earlier results of Lusztig-Vogan for the untwisted case and then allows us to state a general result valid for any finite group of Lie type. Inspired by recent work of Marberg, we also formally define Frobenius--Schur indicators for "unipotent characters" of twisted dihedral groups.
Let $(W,S)$ be any Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have shown that the corresponding set of twisted involutions (i.e., elements $w \in W$ with $w^{-1} = w^*$) naturally generates a module of the Hecke algebra of $(W,S)$ with two distinguished bases. The transition matrix between these bases defines a family of polynomials $P^σ_{y,w}$ which one can view as a "twisted" analogue of the much-studied family of Kazhdan-Lusztig polynomials of $(W,S)$. The polynomials $P^σ_{y,w}$ can have negative coeffi…
Let $(W,S)$ be a Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have recently shown that the set of twisted involutions (i.e., elements $w \in W$ with $w^{-1} = w^*$) naturally generates a module of the Hecke algebra of $(W,S)$ with two distinguished bases. The transition matrix between these bases defines a family of polynomials $P^σ_{y,w}$ which one can view as "twisted" analogues of the much-studied Kazhdan-Lusztig polynomials of $(W,S)$. The polynomials $P^σ_{y,w}$ can have negative coefficients, but displa…
Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathca…
Let G be a simple algebraic group over an algebraically closed field of good odd characteristic, and let theta be an automorphism of G arising from an involution of its Dynkin diagram. We show that the spherical theta-twisted conjugacy classes are precisely those intersecting only Bruhat cells corresponding to twisted involutions in the Weyl group. We show how the analogue of this statement fails in the triality case. We generalize to good odd characteristic J-H. Lu's dimension formula for spherical twisted conjugacy classes.
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
We consider both standard and twisted action of a (real) Coxeter group G on the complement M_G to the complexified reflection hyperplanes by combining the reflections with complex conjugation. We introduce a natural geometric class of special involutions in G and give explicit formulae which describe both actions on the total cohomology H(M_G,C) in terms of these involutions. As a corollary we prove that the corresponding twisted representation is regular only for the symmetric group S_n, the Weyl groups of type D_{2m+1}, E_6 and dihedral groups I_2 (2k+1) and that the standard action has no a…
A Vogan diagram is a Dynkin diagram with a Cartan involution of twisted affine superlagebras based on maximally compact Cartan subalgebras. This article construct the Vogan diagrams of twisted affine superalgebras. It is a part of completion of classification of vogan diagrams to superalgebras cases.
Let $(W, S)$ be a Coxeter system equipped with a fixed automorphism $\ast$ of order $\leq 2$ which preserves $S$. Lusztig (and with Vogan in some special cases) have shown that the space spanned by set of "twisted" involutions was naturally endowed with a module structure of the Hecke algebra of $(W, S)$. Lusztig has conjectured that this module is isomorphic to the right ideal of the Hecke algebra (with Hecke parameter $u^2$) associated to $(W,S)$ generated by the element $X_{\emptyset}:=\sum_{w^\ast=w}u^{-\ell(w)}T_w$. In this paper we prove this conjecture in the case when $\ast=\text{id}$ …
Let $L_{l}=L(\mathfrak{sl}_{2l+1},-l-\frac{1}{2})$ be the simple vertex operator algebra based on the affine Lie algebra $\widehat{\mathfrak{sl}}_{2l+1}$ at boundary admissible level $-l-\frac{1}{2}$. We consider a lift $ν$ of the Dynkin diagram involution of $A_{2l}=\mathfrak{sl}_{2l+1}$ to an involution of $L_{l}$. The $ν$-twisted $L_l$-modules are $A_{2l}^{(2)}$-modules of level $-l-\frac{1}{2}$ with an anti-homogeneous realization. We classify simple $ν$-twisted highest-weight (weak) $L_l$-modules using twisted Zhu algebras and singular vectors for $\widehat{\mathfrak{sl}}_{2l+1}$ at level…
We consider the subalgebras of split real, non-twisted affine Kac-Moody Lie algebras that are fixed by the Chevalley involution. These infinite-dimensional Lie algebras are not of Kac-Moody type and admit finite-dimensional unfaithful representations. We exhibit a formulation of these algebras in terms of $\mathbb{N}$-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity.
