We determine the multiplicities of irreducible summands in the symmetric and the exterior squares of hook representations of symmetric groups over an algebraically closed field of characteristic zero.
Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $phi$ and $psi$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $phi$ and $psi$ to $S_n$ are equal if, and only if, $phi$ and $psi$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.
The core of a finite-dimensional modular representation $M$ of a finite group $G$ is its largest non-projective summand. We prove that the dimensions of the cores of $M^{otimes n}$ have algebraic Hilbert series when $M$ is Omega-algebraic, in the sense that the non-projective summands of $M^{otimes n}$ fall into finitely many orbits under the action of the syzygy operator $Omega$. Similarly, we prove that these dimension sequences are eventually linearly recursive when $M$ is what we term $Omega^{+}$-algebraic. This partially answers a conjecture by Benson and Symonds. Along the way, we also prove a number of auxiliary permanence results for linear recurrence under operations on multi-variable sequences.
In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.
For given representation of finite groups on a finite dimension complex vector space, we can define exterior powers of representations. In 1973, Knutson found one of methods of calculating the character of exterior powers of representations with properties of $lambda$-rings. In this paper, we base this result of Knutson, and relate characters and elements of necklace rings, which were introduced by N.Metropolis and G-C.Rota in 1983, via a generating function of the character of exterior powers of representations. We focus on integer-valued characters and discuss a relation between integer-valued characters and element of necklace rings which has finite support and is contained in some images of truncated operations.
Approximate algebraic structures play a defining role in arithmetic combinatorics and have found remarkable applications to basic questions in number theory and pseudorandomness. Here we study approximate representations of finite groups: functions f:G -> U_d such that Pr[f(xy) = f(x) f(y)] is large, or more generally Exp_{x,y} ||f(xy) - f(x)f(y)||^2$ is small, where x and y are uniformly random elements of the group G and U_d denotes the unitary group of degree d. We bound these quantities in terms of the ratio d / d_min where d_min is the dimension of the smallest nontrivial representation of G. As an application, we bound the extent to which a function f : G -> H can be an approximate homomorphism where H is another finite group. We show that if Hs representations are significantly smaller than Gs, no such f can be much more homomorphic than a random function. We interpret these results as showing that if G is quasirandom, that is, if d_min is large, then G cannot be embedded in a small number of dimensions, or in a less-quasirandom group, without significant distortion of Gs multiplicative structure. We also prove that our bounds are tight by showing that minors of genuine representations and their polar decompositions are essentially optimal approximate representations.