Let $\mathfrak{S}_\infty$ be the infinity permutation group and $Γ$ an arbitrary group. Then $\mathfrak{S}_\infty$ admits a natural action on $Γ^\infty$ by automorphisms, so one can form a semidirect product $Γ^\infty\rtimes \mathfrak{S}_\infty$, known as the {\it wreath} product $Γ\wr\mathfrak{S}_\infty$ of $Γ$ by $\mathfrak{S}_{\infty}$. We obtain a full description of unitary $II_1-$factor-representations of $Γ\wr\mathfrak{S}_\infty$ in terms of finite characters of $Γ$. Our approach is based on extending Okounkov's classification method for admissible representations of $\mathfrak{S}_\infty\times\mathfrak{S}_\infty$. Also, we discuss certain examples of representations of type $II_1$, where the {\it modular operator} of Tomita-Takesaki expresses naturally by the asymptotic operators, which are important in the characters-theory of infinite symmetric group.
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…
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…
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 …
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…
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 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 …
Full details are given for the definition and construction of the wreath product of two arbitrary Lie algebras, in the hope that it can lead to the definition of a suitable Lie group to be the wreath product of two given Lie groups. In the process, quite a few new notions are needed, and introduced. Such are, for example : Formal series with variables in a vector space and coefficients in some other vector space. Derivation of a formal series relative to another formal series. The Lie algebra of a vector space. Formal actions of Lie algebras over vector spaces. The basic formal action of a Lie…
A character identity which relates irreducible character values of the hyperoctahedral group $B_n$ to those of the symmetric group $S_{2n}$ was recently proved by Lübeck and Prasad. Their proof is algebraic and involves Lie theory. We present a short combinatorial proof of this identity, as well as a generalization to other wreath products.
We study the asymptotics of the reducible representations of the wreath products G\wr S_q=G^q \rtimes S_q for large q, where G is a fixed finite group and S_q is the symmetric group in q elements; in particular for G=Z/2Z we recover the hyperoctahedral groups. We decompose such a reducible representation of G\wr S_q as a sum of irreducible components (or, equivalently, as a collection of tuples of Young diagrams) and we ask what is the character of a randomly chosen component (or, what are the shapes of Young diagrams in a randomly chosen tuple). Our main result is that for a large class of re…
Big categorification on towers of classical groups and wreath product groups
School of Mathematics and Statistics, Central China Normal University（华中师范大学数学与统计学院）；Department of Mathematics and New Cornerstone Science Laboratory, The University of Hong Kong（香港大学数学系及新Cornerstone科学实验室）；School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP, East China Normal University（华东师范大学数学科学学院、教育部MEA重点实验室及上海PMMP重点实验室）
A Gelafand model for wreath products $\Z_r\wr S_n$ is constructed. The proof relies on a combinatorial interpretation of the characters of the model, extending a classical result of Frobenius and Schur.
Let $k$ be an algebraically closed field of characteristic zero, and let $\mathcal{C} = \mathcal{R}-mod$ be the category of finite-dimensional modules over a fixed Hopf algebra over $k$. One may form the wreath product categories $\mathcal{W}_{n}(\mathcal{C}) = (\mathcal{R} \wr S_n)-mod$ whose Grothendieck groups inherit the structure of a ring. Fixing distinguished generating sets (called basic hooks) of the Grothendieck rings, the classification of the simple objects in $\mathcal{W}_{n}(\mathcal{C})$ allows one to demonstrate stability of structure constants in the Grothendieck rings (approp…
We consider RoCK (or Rouquier) blocks of symmetric groups and Hecke algebras at roots of unity. We prove a conjecture of Turner asserting that a certain idempotent truncation of a RoCK block of weight $d$ of a symmetric group $\mathfrak S_n$ defined over a field $F$ of characteristic $e$ is Morita equivalent to the principal block of the wreath product $\mathfrak S_e \wr \mathfrak S_d$. This generalises a theorem of Chuang and Kessar that applies to RoCK blocks with abelian defect groups. Our proof relies crucially on an isomorphism between $F\mathfrak S_n$ and a cyclotomic Khovanov-Lauda-Rouq…
We introduce a generalization of degenerate affine Hecke algebra, called wreath Hecke algebra, associated to an arbitrary finite group G. The simple modules of the wreath Hecke algebra and of its associated cyclotomic algebras are classified over an algebraically closed field of any characteristic p. The modular branching rules for these algebras are obtained, and when p does not divide the order of G, they are further identified with crystal graphs of integrable modules for quantum affine algebras. The key is to establish an equivalence between a module category of the (cyclotomic) wreath Hec…
A result of Farahat and Higman shows that there is a ``universal'' algebra, $\mathrm{FH}$, interpolating the centres of symmetric group algebras, $Z(\mathbb{Z}S_n)$. We explain that this algebra is isomorphic to $\mathcal{R} \otimes Λ$, where $\mathcal{R}$ is the ring of integer-valued polynomials and $Λ$ is the ring of symmetric functions. Moreover, the isomorphism is via ``evaluation at Jucys-Murphy elements'', which leads to character formulae for symmetric groups. Then, we generalise this result to wreath products $Γ\wr S_n$ of a fixed finite group $Γ$. This involves constructing wreath-pr…
Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in \cite{Ryba} that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty$. The resulting "limit" ring, $\mathcal{G}_\infty^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$ as defined by \cite{Mori}. This ring only depends on the Grothendieck ring $\mathcal{G}(\mathcal{C})$. Given a ring $R$ which …
The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of…
In 1911 Schur computed the spin character values of the symmetric group using two important ingredients: the first one later became famously known as the Schur Q-functions and the second one was certain creative construction of the projective characters on Clifford algebras. In the context of the McKay correspondence and affine Lie algebras, the first part was generalized to all wreath products by the vertex operator calculus in \cite{FJW} where a large part of the character table was produced. The current paper generalizes the second part and provides the missing projective character values f…
Given $n \in \mathbf{N},$ consider the imprimitive wreath product $C_2 \wr S_n.$ We study the structure of modules whose ordinary characters form an involution model of $FC_2 \wr S_n,$ where $F$ is a field of odd prime characteristic. We classify the vertices of these modules in this case. We then use this classification of the vertices to describe certain columns of the decomposition matrix of $C_2 \wr S_n.$
We establish a new group-theoretic realization of the basic representations of the twisted affine and twisted toroidal algebras of ADE types in the same spirit of our new approach to the McKay correspondence. Our vertex operator construction provides a unified description to the character tables for the spin cover of the wreath product of the twisted hyperoctahedral groups and an arbitrary finite group.
We prove that the restricted wreath product ${\mathbb{Z}_n \mathbin{\mathrm{wr}} \mathbb{Z}^k}$ has the $R_\infty$-property, i. e. every its automorphism $φ$ has infinite Reidemeister number $R(φ)$, in exactly two cases: (1) for any $k$ and even $n$; (2) for odd $k$ and $n$ divisible by 3. In the remaining cases there are automorphisms with finite Reidemeister number, for which we prove the finite-dimensional twisted Burnside--Frobenius theorem (TBFT): $R(φ)$ is equal to the number of equivalence classes of finite-dimensional irreducible unitary representations fixed by the action ${[ρ]\mapsto…
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…
We prove that for any automorphism $ϕ$ of the restricted wreath product $\mathbb{Z}_2 \mathrm{wr} \mathbb{Z}^k$ and $\mathbb{Z}_3 \mathrm{wr} \mathbb{Z}^{2d}$ the Reidemeister number $R(ϕ)$ is infinite, i.e. these groups have the property $R_\infty$. For $\mathbb{Z}_3 \mathrm{wr} \mathbb{Z}^{2d+1}$ and $\mathbb{Z}_p \mathrm{wr} \mathbb{Z}^k$, where $p>3$ is prime, we give examples of automorphisms with finite Reidemeister numbers. So these groups do not have the property $R_\infty$. For these groups and $\mathbb{Z}_m \mathrm{wr} \mathbb{Z}$, where $m$ is relatively prime to $6$, we prove the t…
Given a chain of groups $G_0 \le G_1 \le G_2 ... $, we may form the corresponding chain of their representation rings, together with induction and restriction operators. We may let $\textrm{Res}^l$ denote the operator which restricts down $l$ steps, and similarly for $\textrm{Ind}^l$. Observe then that $\textrm{Ind}^l \textrm{Res}^l$ is an operator from any particular representation ring to itself. The central question that this paper addresses is: "What happens if the $\textrm{Ind}^l \textrm{Res}^l$ operator is a polynomial in the $\textrm{Ind} \textrm{Res}$ operator?". We show that chains of…
