Outer plethysms and -rings

DOI10.1007/BF01194186MaRDI QIDQ1086348zbMATH OpenFDO

Authors Hiroshi Uehara, Man-Wai Lee, Essam A. Abotteen

Publication date 1986

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01194186

zbMATH Keywords

Adams operationscharacter mapclass functionselementary symmetric functionsformal power seriesfree \(\lambda \)-Hopf ringGrothendieck groupNewton polynomialouter plethysmouter plethysmssymmetric grouptensor product of representationswreath product

Mathematics Subject Classification ID

Grothendieck groups, (K)-theory, etc. (16E20) Ordinary representations and characters (20C15) Representations of finite symmetric groups (20C30)

Review text

Let \(R(S_ n)\) be the Grothendieck group formed from isomorphism classes [M] of \(S_ n\)-modules M, where \(S_ n\) is the symmetric group, and let \(R=\{R(S_ n)\}\) be the direct sum of the \(R(S_ n)\) formed into a graded ring by outer tensor product of representations. It is known that R is a free \(\lambda\)-Hopf ring as it is isomorphic to the Hopf ring of symmetric functions in countably many variables. In this paper the \(\lambda\)-structure on R is defined directly by using the outer plethysm \(\sigma^ k\); thus if M is an \(S_ n\)-module, one forms \(M^{\otimes k}\), the outer tensor product representation of the k-fold direct product \(S_ n^{\times k}\) and extends this to get a representation of the wreath product \(S_ n wr S_ k\) \((=S_ k[S_ n])\); \(\sigma^ k([M])\) is the isomorphism class of the induced \(S_{kn}\)-module, \(Ind^{S_{kn}}_{S_ k[S_ n]}(M^{\otimes k})\). If one forms the formal power series in \(t: \sigma_ t([M])=1+\sigma^ 1([M])t+\sigma^ 2([M])t^ 2+...\), etc., then \(\lambda^ k([M])\) is given by \(\lambda_ t([M])=1/(\sigma_{-t}([M]))\). By using the kth Newton polynomial \(Q_ k\) in the elementary symmetric functions, the Adams operations \[ \psi^ k: R(S_ n)\to R(S_{kn}),\quad \psi^ k(x)=Q_ k(\lambda^ 1(x),...,\lambda^ k(x))=(-1)^{k-1}Q_ k(\sigma^ 1(x),...,\sigma^ k(x)) \] are defined. This makes R a \(\psi\)-Hopf ring. Further, R is a special-\(\psi\)-Hopf ring and a special free \(\lambda\)-Hopf ring on a single generator. These facts follow as R is \(\lambda\)-isomorphic, via the character map \(\chi\) : \(R\to C\), to the ring \(C=\{C(S_ n)\}\), which is a priori verified to have these same properties, where \(C(S_ n)\) is the group of integer valued class functions on \(S_ n\). The calculation of the character values of the outer plethysms \(\sigma^ k([M])\) is required to verify this \(\lambda\)-isomorphism.

Recommendations

• On the structure of the Hopf representation ring of the symmetric groups.
• Outer plethysm, Burnside ring and -rings
• scientific article; zbMATH DE number 27693
• Adams operations and -operations in -rings
• scientific article; zbMATH DE number 4118581

Cites work

• -rings and the representation theory of the symmetric group
• Hopf algebra of class functions and inner plethysms
• scientific article; zbMATH DE number 3771876 (Why is no real title available?)
• scientific article; zbMATH DE number 3515634 (Why is no real title available?)
• POWER OPERATIONS IN K-THEORY
• Representations of finite classical groups. A Hopf algebra approach

Cited in

(10)

• A Hopf-algebra approach to inner plethysm
• Stable Grothendieck rings of wreath product categories
• Inner plethysm in the representation ring of the general linear group.
• On the structure of the Hopf representation ring of the symmetric groups.
• Witt vectors. I
• scientific article; zbMATH DE number 27693 (Why is no real title available?)
• scientific article; zbMATH DE number 4118581 (Why is no real title available?)
• A computational and combinatorial exposé of plethystic calculus
• Symmetric representation rings are -rings
• Outer plethysm, Burnside ring and -rings

This page was built for publication: Outer plethysms and \(\lambda\)-rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1086348)