The Eulerian representations of \(\Sigma_ n\) as restrictions of representations of \(\Sigma_{n+1}\) (Q675140)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Eulerian representations of \(\Sigma_ n\) as restrictions of representations of \(\Sigma_{n+1}\)
scientific article

    Statements

    The Eulerian representations of \(\Sigma_ n\) as restrictions of representations of \(\Sigma_{n+1}\) (English)
    0 references
    0 references
    17 July 1997
    0 references
    The Eulerian idempotents \(e^{(1)}_n,\dots,e^{(n)}_n\) lie in the group algebra \(\mathbb{Q}\Sigma_n\) of the symmetric group, and are mutually orthogonal with sum 1. They are defined by \(e^{(j)}_n=\prod_{i\neq j}(s_n-\mu_i)/(\mu_j-\mu_i)\), where \(\mu_j=2^j-2\) and \(s_n=(n-1)+\sum_\pi(\text{sgn }\pi)\pi\), the sum being over all `shuffles' \(\pi\in\Sigma_n\), i.e. elements for which \(\pi^{-1}\) has exactly one descent. They were introduced by \textit{M. Gerstenhaber} and \textit{S. Schack} [J. Pure Appl. Algebra 48, 229-247 (1987; Zbl 0671.13007)], and provide decompositions of the Hochschild and cyclic homology theories of a commutative algebra over \(\mathbb{Q}\). It is shown that the representation \(E_n^{(j)}\) of \(\Sigma_n\) given by the right ideal \(e_n^{(j)}\mathbb{Q}\Sigma_n\) is the restriction of a representation \(F^{(j)}_{n+1}\) of \(\Sigma_{n+1}\) given by a closely related idempotent \(f^{(j)}_{n+1}\) in \(\mathbb{Q}\Sigma_{n+1}\). The main result relates the representations \(E^{(j)}_{n+1}\) and \(F^{(j)}_{n+1}\) of \(\Sigma_{n+1}\) with those obtained by inducing the representations \(E_n^{(j)}\) up from \(\Sigma_n\) to \(\Sigma_{n+1}\). A character formula for \(E^{(j)}_n\), due to \textit{P. Hanlon} [Mich. Math. J. 37, No. 1, 105-124 (1990; Zbl 0701.16010)] is used to identify \(F_{n+1}^{(1)}\) as the tree representation of \(\Sigma_{n+1}\) [see \textit{A. Robinson} and \textit{S. Whitehouse}, J. Pure Appl. Algebra 111, No. 1-3, 245-253 (1996; Zbl 0865.55010)], and to obtain its decomposition into irreducibles, with corresponding results for \(F_{n+1}^{(j)}\) in the cases \(n-2\leq j\leq n\).
    0 references
    Hochschild homology
    0 references
    Eulerian idempotents
    0 references
    group algebras
    0 references
    symmetric groups
    0 references
    cyclic homology theories
    0 references
    representations
    0 references
    character formula
    0 references
    irreducibles
    0 references

    Identifiers