All Questions
Tagged with symmetric-groups reference-request
50 questions
16
votes
2
answers
818
views
Decomposing $(\mathbb C^n)^{\otimes m}$ as a representation of $S_n\times S_m$
$V=\mathbb C^n$ is a $\mathbb CS_n$-module, where $S_n$ is the symmetric group of degree $n$, via the representation sending a permutation to the corresponding permutation matrix. The tensor power $V^...
- 38.6k
16
votes
3
answers
1k
views
Conjectures in the representation theory of the symmetric group
Question: What are current open conjectures about the representation theory of the symmetric group?
I am interested mostly in the characteristic 0 case, but conjectures for the modular case can also ...
- 26.5k
15
votes
2
answers
1k
views
Branching rule from symmetric group $S_{2n}$ to hyperoctahedral group $H_n$
Embed the hyperoctahedral group $H_n$ into the symmetric group $S_{2n}$ as the centralizer of the involution $(1, 2) (3, 4) \cdots (2n-1, 2n)$ (cycle notation). Label representations of $S_{2n}$ by ...
- 10.7k
15
votes
2
answers
762
views
Gelfand-Tsetlin algebras and "Jucys-Murphy elements" for $\mathfrak{gl}_n$
I'm trying to figure out/find in literature the details concerning Gelfand-Tsetlin algebras for $\mathfrak{gl}_n(\mathbb C)$ (Okounkov-Vershik style, if you wish).
Consider the chain $$\mathcal U(\...
- 3,513
13
votes
2
answers
677
views
Reference request: The stable Kronecker ring is isomorphic to the ring of symmetric polynomials
Background
For $\lambda$ any partition and $n$ a positive integer, write $\lambda[n]$ for the sequence $(n - |\lambda|, \lambda_1, \lambda_2, \ldots, \lambda_r)$. For $n$ large enough, this is a ...
- 156k
11
votes
2
answers
2k
views
Generalizing the Fundamental Theorem of Symmetric Polynomials
The fundamental theorem of symmetric polynomials tells us that the ring $\mathbb{Z}[x_1,\ldots,x_n]^{S_n}$ of symmetric polynomials in $n$ variables is generated (without relations) by the elementary ...
- 2,356
10
votes
7
answers
2k
views
Representations of products of symmetric groups
I'm writing a paper and want to cite some references to efficiently prove that over any field $k$ of characteristic zero, every irreducible representation of a product of symmetric groups, say
$$ S_{...
- 22.3k
10
votes
1
answer
269
views
Edge-transitive Cayley graphs of $S_n$
I came across the following question which I haven't seen before:
Question. Fix $k\ge 3$. For infinitely many $n$, does there exists a generating set $\langle R_n \rangle = S_n$, $|R_n|=k$, such ...
- 17k
10
votes
1
answer
2k
views
Permutation character of the symmetric group on subsets of certain size
The symmetric group $S_n$ acts on $[n]:=\{1,\ldots,n\}$, thereby inducing an action on the set $$\wp_k(n)=\{\: A\subseteq[n] \::\: \#A=k \:\}$$ of subsets of cardinality $k$, simply by $$(g,A)\mapsto ...
- 238
9
votes
2
answers
2k
views
alternating and symmetric powers of the standard representation of the symmetric group
Let $n \geq 7$ and $V = \mathbb{C}^n$ be the standard representation for $S_{n+1}$, the symmetric group of cardinal $(n+1)!$
Let $k$ be an integer such that $2 \leq k \leq n$. Is it true or false ...
- 7,300
9
votes
2
answers
762
views
Solutions of $x^d=1$ in the symmetric group
L Moser and M Wyman, On solutions of $x^d = 1$ in symmetric groups, Canad. J. Math., 7 (1955), pages 159-168, explored asymptotic behavior of the cardinality of such permutations:
$$f_d(n):=\#\{\pi\in\...
- 43.2k
9
votes
0
answers
254
views
An identity for characters of the symmetric group
I am looking for a reference for the identity
$$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$
for the irreducible characters of the ...
- 2,306
8
votes
3
answers
2k
views
Bijective proof for a partition identity
I came across the following cute fact about partitions:
\begin{align}
& |\{\lambda \vdash n \text{ with an even number of even parts}\}| \\[8pt]
& {} - |\{ \lambda \vdash n \text{ with an odd ...
- 2,242
8
votes
1
answer
1k
views
Irreducible decomposition of tensor product of irreducible $S_n$ representations
Are there well known results on the irreducibles in the decomposition of tensor products of irreducible $S_n$ representations? I would also like to know of some references where I can find formulas (...
- 596
8
votes
1
answer
455
views
Is there any good survey on the hook length formula and related topics?
I am recently doing some research related to the hook length formula.
The hook formula counts the number of Young tableaux of certain type.
I find there are plenty of research already been done and ...
- 393
8
votes
1
answer
203
views
Reference request: Coxeter length and irreducible characters
Let $S_n$ be the symmetric group on $\{1,2,\ldots, n\}$ and $\ell$ the Coxeter length on $S_n$. There is a well-known formula to compute this length, namely for a $\pi \in S_n$ we have
$$\ell(\pi) = |\...
- 809
8
votes
1
answer
400
views
Decomposition of $\mathrm{End}(V)$ as $S_n\times S_n$-module
Let $V$ be a finite-dimensional, complex vector space and set $\newcommand{\Gl}{\mathrm{Gl}}G:=\Gl(V)\times\Gl(V)$. Let $E:=\mathrm{End}(V)$ and consider its coordinate ring $\mathbb C[E]$, the space ...
- 4,902
7
votes
2
answers
376
views
Basis parametrized by the symmetric group elements for the coinvariant algebra
Let $A_n$ be the coinvariant algebra of the symmetric group $S_n$.
This algebra has vector space dimension $n!$.
$A_n$ is the quotient algebra of the polynomial ring $K[x_1,...,x_n]$ by the elementary ...
- 26.5k
7
votes
1
answer
2k
views
Tensor products of permutation representations of symmetric groups.
I am looking for a reference for the following fact which must be classical (which makes it harder, for me, to track a reference down). I am interested because there are similar (more complicated) ...
- 4,990
7
votes
0
answers
176
views
The quotient of a higher Specht polynomial over the corresponding regular Specht polynomial
I'll need some notation before I can phrase my question, so please bare with me for a little. I'll try to get there as fast as possible (it's also my first MO question...).
Let $\lambda$ be a ...
- 131
7
votes
0
answers
206
views
Classification of posets that are quotient posets of the Boolean lattice
Quotient posets of the Boolean lattice $B_n$ have interesting properties and are for example discussed in chapter 5 of Stanley's book on algebraic combinatorics.
$B_n/G$ for a subgroup $G$ of the ...
- 26.5k
7
votes
0
answers
188
views
Reference for an "elementary" combinatorial fact
This is a question I've been meaning to ask for quite some time.
Fact. For $n\in\mathbb N$ consider the set of segments $R=\{[i,j], 1\le i<j\le n\}$. Let a subset $E\subset R$ be nice iff $E$ is ...
- 3,513
7
votes
0
answers
543
views
Representation theory of symmetric group for dummies
I have to grade a master project on representations of symmetric groups (char $0$) third time in my life and finally I came to a conclusion that I have to get a grasp of the matter. I am aware of ...
- 14.3k
6
votes
2
answers
366
views
Provoking involutions further
Let $\mathfrak{S}_n$ denote the permutation group, and $I_0(n)=\sum_{j\geq0}\binom{n}{2j}\frac{(2j)!}{2^jj!}$ stand for involutions see A000085 for more interpretations. There is also these numbers $...
- 43.2k
6
votes
0
answers
102
views
The meet of two dominant permutations in weak order of $S_n$
A permutation is called dominant if its Lehmer code is a partition, or equivalently if it avoids the pattern $132$.
I can prove that given a permutation $v\in S_n$, there is a unique dominant ...
- 2,168
5
votes
1
answer
299
views
Sum of skew characters over hooks and "odd" partitions
Let us call a partition odd if all its parts are odd, and let $Odd(n)$ be the set of all odd partitions of $n$, e.g. $Odd(6)=\{(5\,1),(3\, 3),(3\,1^3),(1^6)\}$.
Let $H(n)$ denote the set of all hook ...
- 2,552
5
votes
1
answer
198
views
Murnaghan-Nakayama rule when all cycles have same size
Let $\lambda \vdash nk$. Let $n^k$ denote the partiton with $k$ parts of size $n$. We can compute $\chi^\lambda(n^k)$ by using the Murnaghan-Nakayama rule, as a signed sum over border-strip tableaux, (...
- 15.8k
4
votes
1
answer
499
views
I want to know the name of or any references for a matrix in the book "The representation theory of the symmetric groups" by Gordon James
$\DeclareMathOperator{\Ind}{\operatorname{Ind}}$I'm reading "The representation theory of the symmetric groups" written by Gordon James.
I found the matrix $B$ in the chapter 6 ("The ...
- 1,013
4
votes
1
answer
139
views
A close reative of "Inflated" Eulerian polynomials
I came across this post Coefficients of the Inflated Eulerian Polynomial by AULI-GRAHAM-SAVAGE. In particular, the polynomials related to descents interested me
$$P_n(x)=\sum_{\pi\in\mathfrak{S}_n}x^{...
- 43.2k
4
votes
1
answer
378
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
4
votes
1
answer
392
views
Expression of basis vectors of permutation modules in different bases.
This is a cross-post from math.se, because I did not get any answer there:
Write $[n]:=\{1,\ldots,n\}$. For a partition $\lambda\vdash n$, I will write $[\lambda]$ for the Specht module that ...
- 4,902
4
votes
0
answers
128
views
Filtrations of the irreducible representations of the symmetric groups
For a partition $\lambda$ of $n$, write $S^{\lambda}$ for the irreducible $S_n$-representation that corresponds to $\lambda$ (a.k.a. the Specht module).
For two integers $d<n$ write $Par_d(n) = \{\...
- 5,039
4
votes
0
answers
98
views
Ref. request: Enumerating elements of Bruhat cells
Given a field $F$ and a natural number $n$, let $B$ be the group of lower triangular, invertible $n \times n$ matrices over $F$. Then
$$GL_n(F) = \biguplus_{\pi \in S_n} B \pi B,$$
where we embed the ...
- 809
3
votes
2
answers
448
views
Is there any simple formula for the character of $S_{n}$ represented by the set of $k$-tuples of $\{1,2,...,n\}$?
I'm interested in the representation theory of symmetric groups.
I'm now trying to search for the formula for the characters of $\Omega^{k}$, the set of $k$-tuple of elements of $\Omega$ a set of $n$ ...
- 1,013
3
votes
1
answer
259
views
Growth rate of $|{\rm cd}(S_n)|$
The question
What is the order of magnitude for the function $n\mapsto |{\rm cd}(S_n)|$?
The motivation
In my research on character degrees of finite groups, I have in recent years been focusing on ...
- 1,068
3
votes
0
answers
129
views
Plethysm and wreath product
I am looking for a proof about the link between plethysm and wreath product. It is a well-known fact, being use extensively in many papers, but I can't find a good reference. Everything that follows ...
- 891
3
votes
0
answers
311
views
What is known about representations of $S_n$ in other categories?
Is anything known about representations of the symmetric group $S_n$ for categories other than $\textbf{Vect}_k$, vector spaces and linear maps over a field $k$.
That is, a group $G$ can be considered ...
- 571
3
votes
0
answers
115
views
Reference for the Netto's theorem on the permutation groups which was mentioned in the paper of Frobenius
I'm trying to read 'Uber die Charaktere der mehrfach transitiven Gruppen' written by Frobenius.
There he mentioned some theorems of Netto.
I'm depending on the Google translator. and the translation ...
- 1,013
3
votes
0
answers
65
views
Suggested papers or reading for PDE (high dimension) reduction to ODE by symmetries
Could anyone please suggest related papers or article about the topic related to my one question below?
Reduce PDE to ODE by dilation symmetry
I also cite a paper in the link above.
We know that ...
- 345
2
votes
1
answer
212
views
Changing $S_2 \wr S_n$ for $S_n \wr S_2$ in the theory of zonal polynomials
The permutation group $S_{2n}$ has $H_{2,n}=S_2\wr S_n$ as a subgroup. The plethysm $h_n(h_2)=\sum_{\lambda\vdash n}s_{2\lambda}$ is well known.
The zonal spherical functions $\omega_\lambda(g)=\frac{...
- 1,549
2
votes
1
answer
736
views
Schur Weyl duality for sl_n representations
Consider a finite dimensional vector space $V$ and the general linear group $GL(V)$ acting on it. Both $GL(V)$ and the symmetric group $S_d$ act on the tensor product of $d$ copies of $V$, and by Weyl ...
- 596
2
votes
1
answer
75
views
Reference for the action of the Mullineux involution on a partition with an added good node
Could you help me to locate a reference in the literature to the following fact: if you act by the Mullineux involution $M$ on a partition $Q$ which is a union of a regular partition $P$ with an added ...
2
votes
0
answers
352
views
On characters of the symmetric group: Part 1
Given an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\lambda\vdash n$ either as $(\lambda_1,\dots,\...
- 43.2k
2
votes
0
answers
135
views
A symmetric function that appears in the coefficients of a power expansion
Let's say we have the expression
$$\sum_{k_1=1}^\infty\sum_{k_2=1}^\infty\sum_{k_3=1}^\infty\sum_{k_4=1}^\infty\sum_{k_5=1}^\infty x^{k_1+k_2+k_3+k_4+k_5} f(k_1,k_2+k_3,k_4+k_5)$$
where $f(a,b,c)$ is ...
- 151
1
vote
1
answer
423
views
$\lambda$-rings and hopf-rings
The direct sum of complex representation rings $R_*\oplus R\Sigma_n$, for $\Sigma_n$ the $n$th symmetric group is also the free $\lambda$-ring on one generator. Here, we take a product obtained from ...
- 822
1
vote
1
answer
665
views
Reference for Hecke algebra version of Young's orthogonal basis
In the paper Seminormal representations of Weyl groups and Iwahori-Hecke algebras, Arun Ram defines a seminormal basis as follows:
given a chain of split semisimple $K$-algebras $K\cong H_0 \subseteq ...
- 1,021
1
vote
0
answers
85
views
Unitary representations of the symmetric group over finite fields
I am interested in understanding the unitary representations of the symmetric group over $\mathbb{F}_{q^2}$. In general, some comments here are relevant
Unitary representations of finite groups over ...
- 571
1
vote
0
answers
213
views
Is there any research on the action of a subgroup on the whole finite group by conjugation?
I want to know whether there are any research on the orbits of the action of a subgroup by conjugation on the whole group, when the group is finite. (Especially whole symmetric group.)
I'm especially ...
- 1,013
1
vote
0
answers
93
views
Has this result about the number of permutations of a given cycle type (or centralizers) been proved?
I was playing with the cardinality of conjugacy classes of the symmetric groups, which we know is the number of permutations of a given cycle type and there is a natural one-to-one correspondence ...
- 151
1
vote
0
answers
237
views
Integral Cohomology of Symmetric Groups
Does anybody know a reference for the explicit description of the integral cohomology ring of $S_5$ and $S_6$. I can not find them anywhere in the internet. For $S_4$, I found C. B. Thomas's nice ...
- 131