Showing 1–14 of 14 results for author: Dipper, R

Iwahori-Hecke algebras acting on tensor space by $q$-deformed letter permutations and $q$-partition algebras

Authors: Geetha Thangavelu, Richard Dipper

Abstract: Let $R$ be a commutative ring with identity and let $V$ be a free $R$-module of rank $n$ for some $n\in\mathbb{N}$. Fixing an $R$-basis $\mathcal{E}$ of $V$, the symmetric group $\mathfrak{S}_n$ acts on $V$ by permuting $\mathcal{E}$ and hence on tensor space $V^{\otimes r}$ for $r\in\mathbb{N}$ via the usual tensor product action turning $V$ and $V^{\otimes r}$ into $R\mathfrak{S}_n$-modules. For… ▽ More Let $R$ be a commutative ring with identity and let $V$ be a free $R$-module of rank $n$ for some $n\in\mathbb{N}$. Fixing an $R$-basis $\mathcal{E}$ of $V$, the symmetric group $\mathfrak{S}_n$ acts on $V$ by permuting $\mathcal{E}$ and hence on tensor space $V^{\otimes r}$ for $r\in\mathbb{N}$ via the usual tensor product action turning $V$ and $V^{\otimes r}$ into $R\mathfrak{S}_n$-modules. For units $q$ in $R$ we construct an action of the corresponding Iwahori-Hecke algebra $\mathcal{H}_{R,q}(\mathfrak{S}_n)$ which specializes to the action of $R\mathfrak{S}_n$, if $q$ is taken to $1$. The centralizing algebra of this action is called the $q$-partition algebra $\mathcal{P}_{R,q}(n,r)$. Let $R$ be a field of characteristic not dividing $q$. We prove, that $\mathcal{P}_{R,q}(n,r)$ is isomorphic to the $q$-partition algebra defined by Halverson and Thiem by different means a few years ago. △ Less

Submitted 22 June, 2024; v1 submitted 6 November, 2023; originally announced November 2023.

Comments: 21 pages, To appear in Journal of algebra

MSC Class: 20C15; 20D15(Primary); 20C33; 20D20 (Secondary)

On coadjoint orbits for $p$-Sylow subgroups of finite classical groups

Authors: Qiong Guo, Markus Jedlitschky, Richard Dipper

Abstract: Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determ… ▽ More Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determine the stabilizers of special orbit generators and show, that for the groups of Lie type ${\mathfrak{B}}_n$ and ${\mathfrak{D}}_n$ a subclass of the orbit modules decompose the $U$-modules affording the André-Neto supercharacters into a direct sum of submodules. Moreover these special orbit modules are either isomorphic or have no irreducible constituent in common, and each irreducible $U$ module is up to isomorphism constituent of precisely one of these. △ Less

Submitted 22 February, 2018; originally announced February 2018.

MSC Class: 20C15; 20D15; 20C33; 20D20

Orbit method for $p$-Sylow subgroups of finite classical groups

Authors: Qiong Guo, Markus Jedlitschky, Richard Dipper

Abstract: For the $p$-Sylow subgroups $U$ of the finite classical groups of untwisted Lie type, $p$ an odd prime, we construct a monomial $\mathbb C U$-module $M$ which is isomorphic to the regular representation of $\mathbb C G$ by a modification of Kirillov's orbit method called monomial linearisation. We classify a certain subclass of orbits of the $U$-action on the monomial basis of $M$ consisting of so… ▽ More For the $p$-Sylow subgroups $U$ of the finite classical groups of untwisted Lie type, $p$ an odd prime, we construct a monomial $\mathbb C U$-module $M$ which is isomorphic to the regular representation of $\mathbb C G$ by a modification of Kirillov's orbit method called monomial linearisation. We classify a certain subclass of orbits of the $U$-action on the monomial basis of $M$ consisting of so called staircase orbits and show, that every orbit module in $M$ is isomorphic to a staircase one. Finally we decompose the André-Neto supercharacters of $U$ into a sum of $U$-characters afforded by staircase orbit modules contained in $M$. △ Less

Submitted 17 January, 2019; v1 submitted 11 September, 2017; originally announced September 2017.

On monomial linearisation and supercharacters of pattern subgroups

Authors: Qiong Guo, Richard Dipper

Abstract: Column closed pattern subgroups $U$ of the finite upper unitriangular groups $U_n(q)$ are defined as sets of matrices in $U_n(q)$ having zeros in a prescribed set of columns besides the diagonal ones. We explain Jedlitschky's construction of monomial linearisation and apply this to $C U$ yielding a generalisation of Yan's coadjoint cluster representations. Then we give a complete classification of… ▽ More Column closed pattern subgroups $U$ of the finite upper unitriangular groups $U_n(q)$ are defined as sets of matrices in $U_n(q)$ having zeros in a prescribed set of columns besides the diagonal ones. We explain Jedlitschky's construction of monomial linearisation and apply this to $C U$ yielding a generalisation of Yan's coadjoint cluster representations. Then we give a complete classification of the resulting supercharacters, by describing the resulting orbits and determining the Hom-spaces between orbit modules. △ Less

Submitted 10 December, 2017; v1 submitted 3 January, 2017; originally announced January 2017.

Comments: accepted for publication in SCIENCE CHINA Mathematics

$U_n(q)$ acting on flags and supercharacters

Authors: Richard Dipper, Qiong Guo

Abstract: Let $U=U_n(q)$ be the group of lower unitriangular $n \times n$-matrices with entries in the field $\mathbb F_q$ with $q$ elements for some prime power $q$ and $n \in \mathbb N$. We investigate the restriction to $U$ of the permutation action of $GL_n(q)$ on flags in the natural $GL_n(q)$-module $\mathbb F_q^n$. Applying our results to the special case of flags of length two we obtain a complete d… ▽ More Let $U=U_n(q)$ be the group of lower unitriangular $n \times n$-matrices with entries in the field $\mathbb F_q$ with $q$ elements for some prime power $q$ and $n \in \mathbb N$. We investigate the restriction to $U$ of the permutation action of $GL_n(q)$ on flags in the natural $GL_n(q)$-module $\mathbb F_q^n$. Applying our results to the special case of flags of length two we obtain a complete decomposition of the permutation representation of $GL_n(q)$ on the cosets of maximal parabolic subgroups into irreducible $\mathbb C U$-modules. △ Less

Submitted 30 July, 2016; v1 submitted 10 December, 2014; originally announced December 2014.

MSC Class: 20C15; 20D15; 20C33; 20D20

Irreducible constituents of minimal degree in supercharacters of the finite unitriangular groups

Authors: Richard Dipper, Qiong Guo

Abstract: Let $q$ be a prime power and $U$ the group of lower unitriangular matrices of order $n$ for some natural number $n$. We give a lower bound for the degrees of irreducible constituents of André-Yan supercharacters and classify the supercharacters having constituents whose degree assume this lower bound. Moreover we show that the number of distinct irreducible characters of $U$ meeting this condition… ▽ More Let $q$ be a prime power and $U$ the group of lower unitriangular matrices of order $n$ for some natural number $n$. We give a lower bound for the degrees of irreducible constituents of André-Yan supercharacters and classify the supercharacters having constituents whose degree assume this lower bound. Moreover we show that the number of distinct irreducible characters of $U$ meeting this condition is a polynomial in $(q-1)$ with nonnegative integral coefficients and exhibit monomial sources for those. △ Less

Submitted 12 December, 2013; v1 submitted 28 November, 2013; originally announced November 2013.

Symmetrizers and antisymmetrizers for the BMW algebra

Authors: Richard Dipper, Jun Hu, Friederike Stoll

Abstract: Let $n\in\mathds{N}$ and $B_n(r,q)$ be the generic Birman-Murakami-Wenzl algebra with respect to indeterminants $r$ and $q$. It is known that $B_n(r,q)$ has two distinct linear representations generated by two central elements of $B_n(r,q)$ called the symmetrizer and antisymmetrizer of $B_n(r,q)$. These generate for $n\geq 3$ the only one dimensional two sided ideals of $B_n(r,q)$ and generalize t… ▽ More Let $n\in\mathds{N}$ and $B_n(r,q)$ be the generic Birman-Murakami-Wenzl algebra with respect to indeterminants $r$ and $q$. It is known that $B_n(r,q)$ has two distinct linear representations generated by two central elements of $B_n(r,q)$ called the symmetrizer and antisymmetrizer of $B_n(r,q)$. These generate for $n\geq 3$ the only one dimensional two sided ideals of $B_n(r,q)$ and generalize the corresponding notion for Hecke algebras of type $A$. The main result in this paper explicitly determines the coefficients of these elements with respect to the graphical basis of $B_n(r,q)$. △ Less

Submitted 18 July, 2012; v1 submitted 1 September, 2011; originally announced September 2011.

Quantized mixed tensor space and Schur-Weyl duality

Authors: R. Dipper, S. Doty, F. Stoll

Abstract: Let $R$ be a commutative ring with one and $q$ an invertible element of $R$. The (specialized) quantum group ${\mathbf U} = U_q(\mathfrak{gl}_n)$ over $R$ of the general linear group acts on mixed tensor space $V^{\otimes r}\otimes {V^*}^{\otimes s}$ where $V$ denotes the natural $\mathbf U$-module $R^n$, $r,s$ are nonnegative integers and $V^*$ is the dual $\mathbf U$-module to $V$. The image of… ▽ More Let $R$ be a commutative ring with one and $q$ an invertible element of $R$. The (specialized) quantum group ${\mathbf U} = U_q(\mathfrak{gl}_n)$ over $R$ of the general linear group acts on mixed tensor space $V^{\otimes r}\otimes {V^*}^{\otimes s}$ where $V$ denotes the natural $\mathbf U$-module $R^n$, $r,s$ are nonnegative integers and $V^*$ is the dual $\mathbf U$-module to $V$. The image of $\mathbf U$ in $\mathrm{End}_R(V^{\otimes r}\otimes {V^*}^{\otimes s})$ is called the rational $q$-Schur algebra $S_{q}(n;r,s)$. We construct a bideterminant basis of $S_{q}(n;r,s)$. There is an action of a $q$-deformation $\mathfrak{B}_{r,s}^n(q)$ of the walled Brauer algebra on mixed tensor space centralizing the action of $\mathbf U$. We show that $\mathrm{End}_{\mathfrak{B}_{r,s}^n(q)}(V^{\otimes r}\otimes {V^*}^{\otimes s})=S_{q}(n;r,s)$. By \cite{dipperdotystoll} the image of $\mathfrak{B}_{r,s}^n(q)$ in $\mathrm{End}_R(V^{\otimes r}\otimes {V^*}^{\otimes s})$ is $\mathrm{End}_{\mathbf U}(V^{\otimes r}\otimes {V^*}^{\otimes s})$. Thus mixed tensor space as $\mathbf U$-$\mathfrak{B}_{r,s}^n(q)$-bimodule satisfies Schur-Weyl duality. △ Less

Submitted 16 July, 2012; v1 submitted 7 October, 2008; originally announced October 2008.

Comments: 31 pages

MSC Class: 33D80

The quantized walled Brauer algebra and mixed tensor space

Authors: R. Dipper, S. Doty, F. Stoll

Abstract: In this paper we investigate a multi-parameter deformation $\mathfrak{B}_{r,s}^n(a,λ,δ)$ of the walled Brauer algebra which was previously introduced by Leduc (\cite{leduc}). We construct an integral basis of $\mathfrak{B}_{r,s}^n(a,λ,δ)$ consisting of oriented tangles which is in bijection with walled Brauer diagrams. Moreover, we study a natural action of… ▽ More In this paper we investigate a multi-parameter deformation $\mathfrak{B}_{r,s}^n(a,λ,δ)$ of the walled Brauer algebra which was previously introduced by Leduc (\cite{leduc}). We construct an integral basis of $\mathfrak{B}_{r,s}^n(a,λ,δ)$ consisting of oriented tangles which is in bijection with walled Brauer diagrams. Moreover, we study a natural action of $\mathfrak{B}_{r,s}^n(q)= \mathfrak{B}_{r,s}^n(q^{-1}-q,q^n,[n]_q)$ on mixed tensor space and prove that the kernel is free over the ground ring $R$ of rank independent of $R$. As an application, we prove one side of Schur--Weyl duality for mixed tensor space: the image of $\mathfrak{B}_{r,s}^n(q)$ in the $R$-endomorphism ring of mixed tensor space is, for all choices of $R$ and the parameter $q$, the endomorphism algebra of the action of the (specialized via the Lusztig integral form) quantized enveloping algebra $\mathbf{U}$ of the general linear Lie algebra $\mathfrak{gl}_n$ on mixed tensor space. Thus, the $\mathbf{U}$-invariants in the ring of $R$-linear endomorphisms of mixed tensor space are generated by the action of $\mathfrak{B}_{r,s}^n(q)$. △ Less

Submitted 5 March, 2013; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: 34 pages

MSC Class: 33D80 16D20 16S30 17B37 20C08

The rational Schur algebra

Authors: Richard Dipper, Stephen Doty

Abstract: We extend the family of classical Schur algebras in type A, which determine the polynomial representation theory of general linear groups over an infinite field, to a larger family, the rational Schur algebras, which determine the rational representation theory of general linear groups over an infinite field. This makes it possible to study the rational representation theory of such general line… ▽ More We extend the family of classical Schur algebras in type A, which determine the polynomial representation theory of general linear groups over an infinite field, to a larger family, the rational Schur algebras, which determine the rational representation theory of general linear groups over an infinite field. This makes it possible to study the rational representation theory of such general linear groups directly through finite dimensional algebras. We show that rational Schur algebras are quasihereditary over any field, and thus have finite global dimension. We obtain explicit cellular bases of a rational Schur algebra by a descent from a certain ordinary Schur algebra. We also obtain a description, by generators and relations, of the rational Schur algebras in characteristic zero. △ Less

Submitted 17 November, 2007; v1 submitted 27 November, 2005; originally announced November 2005.

Comments: 30 Pages; revised Nov 2007; this is the final version accepted to appear in Representation Theory (Electronic)

MSC Class: 16P10

Brauer algebras, symplectic Schur algebras and Schur-Weyl duality

Authors: Richard Dipper, Stephen Doty, Jun Hu

Abstract: In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group… ▽ More In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group $Sp_{2m}(K)$) is always surjective. Another surjectivity, that of the natural homomorphism from the group algebra for $GSp_{2m}(K)$ to the endomorphism algebra of $(K^{2m})^{\otimes n}$ as a module over $B_n(-2m)$, is derived as an easy consequence of S.~Oehms' results [S. Oehms, J. Algebra (1) 244 (2001), 19--44]. △ Less

Submitted 27 September, 2005; v1 submitted 24 March, 2005; originally announced March 2005.

Comments: 27 pages

MSC Class: 16G99

Morita equivalences of Ariki-Koike algebras

Authors: Richard Dipper, Andrew Mathas

Abstract: We prove that every Ariki-Koike algebra is Morita equivalent to a direct sum of tensor products of smaller Ariki-Koike algebras which have q-connected parameter sets. A similar result is proved for the cyclotomic q-Schur algebras. Combining our results with work of Ariki and Uglov, the decomposition numbers for the Ariki-Koike algebras defined over fields of characteristic zero are now known in… ▽ More We prove that every Ariki-Koike algebra is Morita equivalent to a direct sum of tensor products of smaller Ariki-Koike algebras which have q-connected parameter sets. A similar result is proved for the cyclotomic q-Schur algebras. Combining our results with work of Ariki and Uglov, the decomposition numbers for the Ariki-Koike algebras defined over fields of characteristic zero are now known in principle. △ Less

Submitted 4 April, 2000; originally announced April 2000.

Comments: LaTeX 2e file. 30 pages. Submitted for publication

MSC Class: 16G99; 20C20; 20G05

Generalized q-Schur algebras and modular representation theory of finite groups with split (BN)-pairs

Authors: Richard Dipper, Jochen Gruber

Abstract: We introduce a generalized version of a q-Schur algebra (of parabolic type) for arbitrary Hecke algebras over extended Weyl groups. We describe how the decomposition matrix of a finite group with split BN-pair, with respect to a non-describing prime, can be partially described by the decomposition matrices of suitably chosen q-Schur algebras. We show that the investigated structures occur natura… ▽ More We introduce a generalized version of a q-Schur algebra (of parabolic type) for arbitrary Hecke algebras over extended Weyl groups. We describe how the decomposition matrix of a finite group with split BN-pair, with respect to a non-describing prime, can be partially described by the decomposition matrices of suitably chosen q-Schur algebras. We show that the investigated structures occur naturally in finite groups of Lie type. △ Less

Submitted 21 August, 1998; originally announced August 1998.

Comments: 47 pages

MSC Class: 20C20; 20C33; 20G05; 20G40

The (Q,q)-Schur algebra

Authors: Richard Dipper, Gordon James, Andrew Mathas

Abstract: In this paper we use the Hecke algebra of type $B$ to define a new algebra $\Sch$ which is an analogue of the q-Schur algebra. We construct Weyl modules for $\Sch$ and obtain, as factor modules, a family of irreducible $\Sch$-modules over any field. In this paper we use the Hecke algebra of type $B$ to define a new algebra $\Sch$ which is an analogue of the q-Schur algebra. We construct Weyl modules for $\Sch$ and obtain, as factor modules, a family of irreducible $\Sch$-modules over any field. △ Less

Submitted 24 January, 1997; originally announced January 1997.

Comments: Submitted for publications December 1996. LaTeX2e file, 41 pages. Also obtainable from: http://www.ma.ic.ac.uk/~apmath http://abel.mathematik.uni-stuttgart.de/mathB/Alg_Top/rdipper.html