In this paper, we give the decomposition into irreducible characters of the restriction to the wreath product $\mathbb{Z}_{p-1} \wr \mathfrak{S}_w$ of any irreducible character of $(\mathbb{Z}_p \rtimes \mathbb{Z}_{p-1}) \wr \mathfrak{S}_w$, where $p$ is any odd prime, $w \geq 0$ is an integer, and $\mathbb{Z}_p$ and $\mathbb{Z}_{p-1}$ denote the cyclic groups of order $p$ and $p-1$ respectively. This answers the question of how to decompose the restrictions to $p$-regular elements of irreducible characters of the symmetric group $\mathfrak{S}_n$ in the $\mathbb{Z}$-basis corresponding to the $p$-basic set of $\mathfrak{S}_n$ described by Brunat and Gramain in [1]. The result is given in terms of the Littlewood-Richardson coefficients for the symmetric group.
Let $\mathbb{C}\mathsf{A}_n = \mathbb{C}[S_2\wr S_2 \wr\cdots \wr S_2]$ be the group algebra of $n$-step iterated wreath product. We prove some structural properties of $\mathsf{A}_n$ such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackey theorem for groups $\mathsf{A}_n$ and give a partial description of the natural transformations between induction and restriction functors on the representations of the iterated wreath product tower by computing certain hom spaces of the category of $\displaystyle \bigoplus_{m\geq 0}(\mathsf{A}_m, …
To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the structure of a graded Hopf algebra, and in fact a positive self-adjoint Hopf algebra in the sense of Zelevinsky [1], using the induction product and restriction coproduct. This paper introduces and explores an analogously defined algebra/coalgebra structure associated to a more general class of towers of groups, obtained as a certain family of subgroups of …
We review a class of modules for the wreath product S(m) wr S(n) of two symmetric groups which are analogous to the Specht modules of the symmetric group, and prove a pair of branching rules for this family of modules. These branching rules describe the behaviour of these wreath product Specht modules under restriction to the wreath products S(m-1) wr S(n) and S(m) wr S(n-1). In particular, we see that these restrictions of wreath product Specht modules have Specht module filtrations, and we obtain combinatorial interpretations of the multiplicities in these filtrations.
For a finite group G one may consider the associated tower S_n[G] of wreath product groups. Zelevinsky associates to such a tower a positive self-adjoint Hopf algebra (PSH-algebra) R(G) as the infinite direct sum of the Grothendieck groups of the categories of complex representations of these groups. In this paper, we study the interaction via induction and restriction of the PSH-algebras R(G) and R(H) for subgroups H of G. A class of Hopf modules over PSH-algebras with a compatibility between the comultiplication and multiplication involving the Hopf k^{th}-power map arise naturally and are s…
Let $G$ be an irreducible imprimitive subgroup of $\operatorname{GL}_n(\mathbb{F})$, where $\mathbb{F}$ is a field. Any system of imprimitivity for $G$ can be refined to a nonrefinable system of imprimitivity, and we consider the question of when such a refinement is unique. Examples show that $G$ can have many nonrefinable systems of imprimitivity, and even the number of components is not uniquely determined. We consider the case where $G$ is the wreath product of an irreducible primitive $H \leq \operatorname{GL}_d(\mathbb{F})$ and transitive $K \leq S_k$, where $n = dk$. We show that $G$ ha…
The Alperin--McKay conjecture relates irreducible characters of a block of an arbitrary finite group to those of its $p$-local subgroups. A refinement of this conjecture was stated by the author in a previous paper. We prove that this refinement holds for all blocks of symmetric groups. Along the way we identify a "canonical" isometry between the principal block of $S_{pw}$ and that of $S_p\wr S_w$. We also prove a general theorem on expressing virtual characters of wreath products in terms of certain induced characters. Much of the paper generalises character-theoretic results on blocks of sy…
We introduce "continuous deformed preprojective algebras" attached to infinite affine Dynkin quivers of type A_{\infty}, A_{+\infty}, D_{\infty}. We define a one-parameter family of deformations of the wreath product of a symmetric group with these algebras and, using the generalized McKay correspondence for infinite reductive subgroups of SL(2,C), we establish a Morita equivalence to a corresponding continuous symplectic reflection algebra of wreath product type. We give applications of this Morita equivalence to the representation theory of continuous wreath product symplectic reflection alg…
We give a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under taking the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a wreathed $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian and some others. The motivation of this paper is that the Brauer indecomposability of a $p$-permutation bimodule ($p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing met…
The multiplicity-free subgroups (strong Gelfand subgroups) of wreath products are investigated. Various useful reduction arguments are presented. In particular, we show that for every finite group $F$, the wreath product $F\wr S_λ$, where $S_λ$ is a Young subgroup, is multiplicity-free if and only if $λ$ is a partition with at most two parts, the second part being 0,1, or 2. Furthermore, we classify all multiplicity-free subgroups of hyperoctahedral groups. Along the way, we derive various decomposition formulas for the induced representations from some special subgroups of hyperoctahedral gro…
We show that any group $G$ with a non-$FSZ_m$ quotient by a central cyclic subgroup also provides a non-$FSZ_m$ group of order $m|G|$ obtained as a central product of $G$ with a cyclic group. We then construct, for every prime $p>3$ and $j\in\mathbb{N}$, an $FSZ_{p^j}$ group $F$ such that there is a central cyclic subgroup $A$ with $F/A$ not $FSZ_{p^j}$. We apply these results to regular wreath products to construct an $FSZ$ $p$-group which is not $FSZ^+$ for any prime $p>3$. These give the first known examples of $FSZ$ groups that are not $FSZ^+$. We are also able to prove a few partial resul…
Let G be a finite subgroup of SL(2,C). Let S_N#G^N be the wreath product of G by the symmetric group of degree N, acting symplectically on a complex vector space V of dimension 2N, with symplectic basis {x_i, y_i} i=1,...,N. In this paper we classify all the irreducible representations of S_N#G^N that can be extended to a representation of the associated symplectic reflection algebra H(k,c,N,G) (where k is a complex number and c a class function on the non-trivial elements of G) for non-zero values of k and with trivial action of the generators x_i,y_i\in H(k,c,N,G).
In this paper we construct finite dimensional representations of the wreath product symplectic reflection algebra H(k,c,N,G) of rank N attached to a finite subgroup G of SL(2,C) (here k is a number and c a class function on the set of nontrivial elements of G). Specifically, we show that if W is an irreducible representation of S_N whose Young diagram is a rectangle, and Y an irreduible finite dimensional representation of H(c,1,G), then the representation M=W\otimes Y^N of H(0,c_0,N,G) can be deformed along a hyperplane in the space of parameters (k,c) passing through c_0. On the other hand, …
We consider the spherical complementary series of rank one Lie groups $H_n=\SO_0(n, 1; \mathbb F)$ for $\mathbb F=\mathbb R, \mathbb C, \mathbb H$. We prove that there exist finitely many discrete components in its restriction under the subgroup $H_{n-1}=\SO_0(n-1, 1; \mathbb F)$. This is proved by imbedding the complementary series into analytic continuation of holomorphic discrete series of $G_n=SU(n, 1)$, $SU(n, 1)\times SU(n, 1)$ and $SU(2n, 2)$ and by the branching of holomorphic representations under the corresponding subgroup $G_{n-1}$.
We present a conjecture on multiplicity of irreducible representations of a subgroup $H$ contained in the irreducible representations of a group $G$, with $G$ and $H$ having the same derived groups. We point out some consequences of the conjecture, and verification of some of the consequences. We give an explicit example of multiplicity $2$ upon restriction, as well as certain theorems in the context of classical groups where the multiplicity is $1$.
This note extends some results of a previous paper (math.RT/0403250) about finite dimensional representations of the wreath product symplectic reflection algebra H(k,c,N,G) of rank N attached to a finite subgroup G of SL(2,C) (here k is a number and c a class function on the set of nontrivial elements of G). Specifically, let N'=(N_1,...,N_r) be a partition of N. Consider W=W_1\otimes >...\otimes W_r an irreducible representation of S_N'=S_{N_1}\times ...\times S_{N_r}\subset S_N s.t. W_i has rectangular Young diagram for any i and let {Y_i}, i=1,...,r be a collection of irreducible non isomor…
In this paper, we obtain explicit branching laws for all irreducible unitary representations of $\Spin(N,1)$ restricted to a parabolic subgroup $P$. The restriction turns out to be a finite direct sum of irreducible unitary representations of $P$. We also verify Duflo's conjecture for the branching law of tempered representations of $\Spin(N,1)$ with respect to a parabolic subgroup $P$. That is to show: in the framework of the orbit method, the branching law of a tempered representation is determined by the behavior of the moment map from the corresponding coadjoint orbit. A few key tools used…
We prove that a wreath product of an abelian group and a non-amenable group is not strongly Ulam stable. Previously this was known for groups containing free subgroups, due to work of Burger, Ozawa and Thom, and for some surface groups, due to work by Kazhdan. We also show that these wreath products are not deformation rigid.
For a finite group $G$ and complex character $χ\in\mathrm{Irr}(G)$ that restricts irreducibly to a normal subgroup $N\vartriangleleft G,$ we prove a theorem about Clifford correspondences between the characters of subgroups of $G$ that induce $χ.$
We restrict irreducible characters of alternating groups of degree divisible by $p$ to their Sylow $p$-subgroups and study the number of linear constituents.
Indecomposable characters of the wreath product of a torus by the infinite block-diagonal symmetric group
B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine（乌克兰国家科学院B.维尔金低温物理与工程研究所）；Institute of Science and Technology Austria (ISTA)（奥地利科学与技术研究所）
In the late nineties T. Kobayashi wrote a series of papers in which he established a criterion for the discrete decomposablity of restrictions of unitary representations of reductive Lie groups to reductive subgroups. A key tool in the proof of sufficiency of his criterion was the use of the theory of hyperfunctions to study the microlocal behavior of characters of restrictions to compact subgroups. In this paper we show how to replace this tool by microlocal analysis in the $C^\infty$ category.
We give an explicit description of the restriction of discrete series representations of SU(2,1) to a Borel subgroup and to a maximal exponential solvable subgroup and we interpret our results in the framework of orbit method, Hamiltonian geometry and "$\text{Spin}_{c}$" quantization. Our results give a positive answer to a Duflo's conjecture for SU(2,1).
We classify all pairs $(V,H)$, where $H$ is a proper subgroup of $G=Sp_6(q)$, $q$ even, and $V$ is an $\ell$-modular representation of $G$ for $\ell\neq 2$ which is absolutely irreducible as a representation of $H$. This problem is motivated by the Aschbacher-Scott program on classifying maximal subgroups of finite classical groups.
We prove that the restriction of any nontrivial representation of the Ree groups $^2F_{4}(q), q=2^{2n+1}\geq8$ in odd characteristic to any proper subgroup is reducible. We also determine all triples $(K, V, H)$ such that $K \in \{^2F_4(2), ^2F_4(2)'\}$, $H$ is a proper subgroup of $K$, and $V$ is a representation of $K$ in odd characteristic restricting absolutely irreducibly to $H$.
In this note, we formulate an observation that "almost all" irreducible ordinary characters of finite groups of Lie type remain irreducible when restricted to the derived subgroups. To see this, key ingredients are some asymptotic results for conjugacy classes of finite groups of Lie type and strongly regular semisimple elements in dual groups.
Let $G_2(q)$ be the Chevalley group of type $G_2$ defined over a finite field with q=p^n elements, where p is a prime number and $n$ is a positive integer. In this paper, we determine when the restriction of an absolutely irreducible representation of $G$ in characteristic other than p to a maximal subgroup of $G_2(q)$ is still irreducible. Similar results are obtained for $^2B_2(q)$ and $^2G_2(q)$.
We find the complete branching law for the restriction of certain unitary representations of $O(1,n+1)$ to the subgroups $O(1,m+1)\times O(n-m)$, $0\leq m\leq n$. The unitary representations we consider belong either to the unitary spherical principal series, the spherical complementary series or are unitarizable subquotients of the spherical principal series. In the crucial case $0<m<n$ the decomposition consists of a continuous part and a discrete part. The continuous part is given by a direct integral of unitary principal series representations whereas the discrete part consists of finitely…
We consider spherical principal series representations of the semisimple Lie group of rank one $G=SO(n, 1; \mathbb K)$, $\mathbb K=\br, \bc, \bh$. There is a family of unitarizable representations $π_ν$ of $G$ for $ν$ in an interval on $\mathbb R^+$, the so-called complementary series, and subquotient or subrepresentations of $G$ for $ν$ being negative integers. We consider the restriction of $(π_ν, G)$ under the subgroup $H=SO(n-1, 1; \mathbb K)$. We prove the appearing of discrete components. The corresponding results for the exceptional Lie group $F_{4(-20)}$ and its subgroup $Spin(8,1)$ ar…
It is proved the the restriction of any supercharacter of a finite group of triangular type on its subgroup is a sum of supercharacters with nonnegative integer coefficients. We define superinduction and prove the analog of the Frobenius formula for supercharacters.
Weil's representation is a basic object in representation theory which plays a crucial role in many places: construction of unitary irreducible representations in the frame of the orbit method, Howe correspondence, Theta series,... The decomposition in irreducible of the restriction of Weil's representation to maximal compact subgroups or anisotropic tori of the metaplectic group is thus an important information in representation theory. Except for SL(2), this was not known in the p-adic case. In this article, we prove that the restriction of the Weil representation over a p-adic field, p diff…
Restriction of functions from a reductive p-adic group G to its compact subgroups defines an operator on the Hochschild and cyclic homology of the Hecke algebra of G. We study the commutation relations between this operator and others coming from representation theory: Jacquet functors, idempotents in the Bernstein centre, and characters of admissible representations.
Let $K$ be an algebraically closed field of characteristic $p\geqslant 0$ and let $Y=\mbox{Spin}_{2n+1}(K)$ $(n\geqslant 3)$ be a simply connected simple algebraic group of type $B_n$ over $K.$ Also let $X$ be the subgroup of type $D_n,$ embedded in $Y$ in the usual way, as the derived subgroup of the stabilizer of a non-singular one-dimensional subspace of the natural module for $Y.$ In this paper, we give a complete set of isomorphism classes of finite-dimensional, irreducible, rational $KY$-modules on which $X$ acts with exactly two composition factors.
Let $F$ be a non-Archimedean local field and let $p$ be the residual characteristic of $F$. Let $G=GL_2(F)$ and let $P$ be a Borel subgroup of $G$. In this paper we study the restriction of irreducible representations of $G$ on $E$-vector spaces to $P$, where $E$ is an algebraically closed field of characteristic $p$. We show that in a certain sense $P$ controls the representation theory of $G$. We then extend our results to smooth $\oK[G]$- modules of finite length and unitary $K$-Banach space representations of $G$, where $\oK$ is the ring of integers of a complete discretely valued field $K…
We study irreducible restrictions from modules over symmetric groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. Such results are known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. This work fits into the Aschbacher-Scott program on maximal subgroups of finite classical groups.
Let $(G,G_1)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_λ(D)\subset\mathcal{O}(D)$ on $D$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua-Kostant-Schmid-Kobayashi's formula in terms of the …
In this note we determine the irreducible square integrable representations of a simple group which admits an admissible restriction to a subgroup $H$ locally isomorphic to $SL_2(\mathbb R).$ We show such representation is holomorphic and we determine the essentially unique $H$ with this property as well as multiplicity formulae.
We study irreducible restrictions from modules over alternating groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. This is known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. In view of our earlier work on symmetric groups we may consider only the restriction of irreducible modules over alternating groups which do not extend to symmetric groups. This work fits into the Aschbacher-Scott progr…
Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a t…
Let $F$ be a non-archimedean local field of residual characteristic $p$. Let $\mathbb{G}$ be a reductive group defined over $F$ which splits over a tamely ramified extension and set $G=\mathbb{G}(F)$. We assume that $p$ does not divide the order of the Weyl group of $\mathbb{G}$. Given a closed connected $F$-subgroup $\mathbb{H}$ that contains the derived subgroup of $\mathbb{G}$, we study the restriction to $H$ of an irreducible supercuspidal representation $π=π_G(Ψ)$ of $G$, where $Ψ$ is a $G$-datum as per the J.K. Yu Construction. We provide a full description of $π|_H$ into irreducible com…
Without using the $p$-adic Langlands correspondence, we prove that for many finite length smooth representations of $\mathrm{GL}_2(\mathbf{Q}_p)$ on $p$-torsion modules the $\mathrm{GL}_2(\mathbf{Q}_p)$-linear morphisms coincide with the morphisms that are linear for the normalizer of a parahoric subgroup. We identify this subgroup to be the Iwahori subgroup in the supersingular case, and $\mathrm{GL}_2(\mathbf{Z}_p)$ in the principal series case. As an application, we relate the action of parahoric subgroups to the action of the inertia group of $\mathrm{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q…
For any given bounded symmetric domain, we prove the existence of commutative $C^*$-algebras generated by Toeplitz operators acting on any weighted Bergman space. The symbols of the Toeplitz operators that generate such algebras are defined by essentially bounded functions invariant under suitable subgroups of the group of biholomorphisms of the domain. These subgroups include the maximal compact groups of biholomorphisms. We prove the commutativity of the Toeplitz operators by considering the Bergman spaces as the underlying space of the holomorphic discrete series and then applying known mul…
We study the compatibility of Arthur's conjecture for $R$-groups in the restriction of discrete series representations from Levi subgroups of a $p$-adic group to those of its closed subgroup having the same derived group. The compatibility is conditional as it holds under the conjectural local Langlands correspondence in general. This work is applied to several cases and further suggests a uniform way to verify the Arthur's conjecture for $R$-groups in the setting.
Building on reduction theorems and dimension bounds for symmetric groups obtained in our earlier work, we classify the irreducible restrictions of representations of the symmetric and alternating groups to proper subgroups. Such classification is known when the characteristic of the ground field is greater than $3$, but the small characteristics cases require a substantially more delicate analysis and new ideas. Our results fit into the Aschbacher-Scott program on maximal subgroups of finite classical groups.
We consider the restriction and induction of representations between a covering group and its derived subgroup, both on the representation-theoretic side and the L-parameter side. In particular, restriction of a genuine principal series is analyzed in detail. We also discuss a metaplectic tensor product construction for covers of the symplectic similitudes groups, and remark on the generality of such a construction for other groups. Furthermore, working with an arbitrary irreducible constituent of a unitary unramified principal series, we prove a multiplicity formula for its restriction to the…
Let $q$ be an odd prime power, $n > 1$, and let $P$ denote a maximal parabolic subgroup of $GL_n(q)$ with Levi subgroup $GL_{n-1}(q) \times GL_1(q)$. We restrict the odd-degree irreducible characters of $GL_n(q)$ to $P$ to discover a natural correspondence of characters, both for $GL_n(q)$ and $SL_n(q)$. A similar result is established for certain finite groups with self-normalizing Sylow $p$-subgroups. We also construct a canonical bijection between the odd-degree irreducible characters of $S_n$ and those of $M$, where $M$ is any maximal subgroup of $S_n$ of odd index; as well as between the …
We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection gr…
Let G be a p-solvable group, P a p-subgroup and chi in Irr(G) such that chi(1)_p \ge |G:P|_p. We prove that the restriction chi_P is a sum of characters induced from subgroups Q\le P such that chi(1)_p=|G:Q|_p. This generalizes previous results by Giannelli--Navarro and Giannelli--Sambale on the number of linear constituents of chi_P. Although this statement does not hold for arbitrary groups, we conjecture a weaker version which can be seen as an extension of Brauer--Nesbitt's theorem on characters of p-defect zero. It also extends a conjecture of Wilde.
We prove that the restriction of any absolutely irreducible representation of Steinberg's triality groups $^3D_4(q)$ in characteristic coprime to q to any proper subgroup is reducible
We study the complex reflection groups G(r,p,n). By considering these groups as subgroups of the wreath products Z_r wr S_n, and by using Clifford theory, we define combinatorial parameters and descent representations of G(r,p,n), previously known for classical Weyl groups. One of these parameters is the flag major index, which also has an important role in the decomposition of these representations into irreducibles. A Carlitz type identity relating the combinatorial parameters with the degrees of the group, is presented.
