**5**

votes

**1**answer

248 views

### Dimension of Specht Modules $S^\lambda$

In the study of representation theory of $S_n$, we know that the irreducible characters of $\chi_\lambda$ of $S_n$ are indexed by partitions $\lambda \vdash n$. There are several methods in ...

**6**

votes

**1**answer

274 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**

votes

**2**answers

354 views

### A basis for Schur functors

Suppose $V$ is a finite-dimensional vector space (over $\mathbb{C}$) and $\lambda$ is a partition of $n$ (not necessarily the dimension). Let $S^\lambda(V)=(V^{\otimes n})_\lambda$ be the $\lambda$'th ...

**13**

votes

**4**answers

642 views

### Largest permutation group without 2-cycles or 3-cycles

The largest permutation group without 2-cycles is $A_n$, which has size $n!/2$. I think the largest permutation group without 2-cycles or 3-cycles is much smaller, but I can't figure out if it should ...

**7**

votes

**1**answer

439 views

### Littlewood Richardson rule and seminormal basis of Specht modules

Background
Seminormal Basis of Specht modules of $\mathfrak{S}_n$
Let $\lambda$ be a partition of $n$. A $\lambda$-tableau is a
bijection $\mathfrak{t}:\lambda \to \{1,2,...,n\}$. We say a ...

**1**

vote

**1**answer

644 views

### Cyclic Subgroups of the Symmetric Group

If we write a partition $n=k_1+...+k_r$, then we can create a $(k_1,...,k_r)$-cycle in $S_n$ with order equal to the least common multiple of the $k_i$'s. It is clear that every cyclic subgroup will ...

**1**

vote

**1**answer

597 views

### How to solve a system of equations over permutations?

Imagine you have a $n\times n$ matrix filled in with permutations over $n$ elements. Now you pick one permutation from each row randomly starting from the first row and by multiplying them get a ...

**4**

votes

**1**answer

238 views

### Identity involving partitions coming from representations of alternating groups

It is not difficult to show that the number of conjugacy classes in the alternating group $A_n$ is given by
classes in the alternating group = no. of even partitions + no. of self-transpose ...

**6**

votes

**2**answers

551 views

### Algorithm for reducing words in a Coxeter group

Let $W$ be a Coxeter group with set of simple reflections $S$. Suppose that I have chosen a preferred reduced decomposition for every element of $W$. Given an arbitrary word in the alphabet $S$, is ...

**3**

votes

**1**answer

391 views

### 2 Possible Generalizations of Cayley's Theorem?

I'm wondering about the following 2 generalizations of Cayley's Theorem (every group embeds in a symmetric group). If these are known to be true/false, references would be appreciated.
1) (Weak ...

**3**

votes

**1**answer

266 views

### Distances on generalizations of the symmetric group

I'm a computer vision student, and I'm looking for some symmetric group literature guidance. I'm going to provide some context, and finally ask two questions.
The Cayley distance and other distances ...

**2**

votes

**0**answers

651 views

### Necklaces and the generating function for inversions

The problem of Necklaces is well-known, i.e "The number of fixed necklaces of length $n$ composed of $a$ types of beads $N(n,a)$" can be calculated:
http://mathworld.wolfram.com/Necklace.html
Let us ...

**6**

votes

**1**answer

306 views

### Dual of a Specht module

For a partition $\mu$ of $n$, let $S^{\mu}$ be the associated Specht module, defined over $\mathbb{Z}$. For any field $k$, we can tensor $S^{\mu}$ with $k$ to get a representation $S^{\mu}_k$ of the ...

**5**

votes

**2**answers

415 views

### A product identity for partitions

For a partition $\lambda=(\lambda_1\ge \lambda_2\ge \dots)$, let
$m_\lambda=\prod_i (\lambda_i-\lambda_{i+1})!$ be the product of factorials of consecutive differences and let $v_\lambda=\prod_{i | ...

**1**

vote

**1**answer

386 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 ...

**7**

votes

**1**answer

661 views

### Derived functors of symmetric powers

What do the derived functors of the symmetric powers look like? I understand that this is related to the homology of the symmetric groups, but I don't know a reference for that.
Namely, I'm ...

**2**

votes

**3**answers

677 views

### The Weyl group of $SL(2, F)$

Let $G= SL(2, F)$, given a torus $T$, the Weyl group with respect to $T$ is defined to be $W=N(T)/Z(T)$, the quotient of the normalizer $N(T)$ of the torus by the centralizer $Z(T)$ of the torus.
My ...

**2**

votes

**0**answers

128 views

### Partitions limit shape and LDP

Hello!
I am trying to understand the paper of Dembo-Vershik-Zeitouni, Large deviations for integer partitions. I am only interested in Theorem 2, which deals with the case of the uniform ...

**6**

votes

**0**answers

175 views

### Finding a maximal tableau for a sum of Jucys-Murphy Elements

Let $X \in \mathbb{C}[S_n]$ be an element of the group algebra of $S_n$ expressible as the sum of some Jucys-Murphy elements. Then let $\lambda$ be any irreducible representation of $S_n$, with the ...

**5**

votes

**0**answers

339 views

### What are the relation between Rep(G) and Rep(S_n)?

Let G be a finite group. We know it can be written as a subgroup of S_n. On the other hand, people sometimes say Rep(G) --- the category of all finite dimensional representations, are more interesting ...

**1**

vote

**1**answer

234 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 ...

**4**

votes

**0**answers

390 views

### Partial order on partitions and symmetric group algebra

Let $n$ be a natural number. Consider a set $\Lambda_n$ of partitions of $n$ into a sum of natural numbers, like $n = \lambda_1 + \cdots +\lambda_k$ (A set of small lambdas representing a partition is ...

**6**

votes

**2**answers

568 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 ...

**5**

votes

**1**answer

333 views

### Faithful transitive actions by large groups on small sets

How large is the largest transitive subgroup of $S_n$ other than itself and $A_n$? In particular, does its size grow at least exponentially in $n$?

**17**

votes

**4**answers

1k views

### An n!xn! determinant.

Let us consider the matrix $A$ with its rows and columns enumerated by the elements of $S_n$ with $A_{\sigma\tau}=x^{c(\sigma\tau^{-1})}$ where $c()$ is the number of cycles in a permutation's ...

**6**

votes

**3**answers

612 views

### universality of Macdonald polynomials

I have been recently learning a lot about Macdonald polynomials, which have been shown to have probabilistic interpretations, more precisely the eigenfunctions of certain Markov chains on the ...

**17**

votes

**2**answers

700 views

### An n!-dimensional representation of the symmetric group S_{n+2}

I have come across a sequence of representations $V_n$ of the symmetric group $S_{n+2}$ which has the property that restricting the action $S_n \subset S_{n+2}$ gives the regular representation:
$$ ...

**18**

votes

**5**answers

1k views

### Why are Jucys-Murphy elements' eigenvalues whole numbers?

The Jucys-Murphy elements of the group algebra of a finite symmetric group (here's the definition in Wikipedia) are known to correspond to operators diagonal in the Young basis of an irreducible ...

**1**

vote

**1**answer

192 views

### Formula for the “integral form” action of Iwahori-Hecke algebra on the standard basis for Specht modules

Is there a formula somewhere in the literature for the action of the generators $T_1,\ldots,T_{n-1}$ of the Iwahori-Hecke algebra on the standard basis of its Specht modules? It is well-known that the ...

**8**

votes

**1**answer

269 views

### Restriction of characters of hyperoctahedral groups.

The hyperoctahedral group $H_n$ has several descriptions; as a wreath product; as signed permutation matrices; as the Weyl group of type $B_n$ or $C_n$. In all these descriptions it is apparent that ...

**14**

votes

**3**answers

1k views

### Rhombus tilings with more than three directions

The point of this question is to construct a list of references on the following subject: Fix vectors $v_1$, $v_2$, ..., $v_g$ in $\mathbb{R}^2$, all lying in a half plane in that cyclic order. I am ...

**78**

votes

**4**answers

3k views

### What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way:
$\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$
...

**7**

votes

**1**answer

310 views

### Two ways of generalizing factorials via symmetric groups

By the Bruhat decomposition of $GL(n, \mathbb{F}_q) / B_n$ we know that $$[n]! = \sum_{ \sigma \in S(n)} q^{l(\sigma)}$$ where $[n]! = \prod_{j=1}^n (1+q + \cdots + q^{j-1})$ and $l(\sigma)$ is the ...

**20**

votes

**1**answer

594 views

### Is there an easy description of the structure of this infinite group?

Let $S_\infty$ denote the full symmetric group on countably many points and index the points by $\mathbb{N}$. For any weight (for lack of a better name) function $w:\mathbb{N}\rightarrow\mathbb R^+$, ...

**5**

votes

**1**answer

597 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) ...

**1**

vote

**2**answers

446 views

### Difference between orthogonal form and seminormal form

Frequently in the literature on Hecke algebras for the symmetric group and their generalisations, one encounters references to Young's seminormal form and Young's orthogonal form. I have a good ...

**3**

votes

**2**answers

516 views

### What is known about the centraliser of the Hecke algebra in the affine Hecke algebra?

This question is a sequel to
66602
The Hecke algebra is the quotient of the group algebra of the braid group of type $A_n$ by quadratic relations and the affine Hecke algebra is the quotient of the ...

**6**

votes

**1**answer

502 views

### Interpreting the Garnir relations in terms of the Yang-Baxter equation

One possible construction of the Specht modules goes as follows.
Given a partition $\lambda$ of $n$, we can write down Young's seminormal form for the representation of $S_n$ corresponding to ...

**2**

votes

**0**answers

208 views

### Picking $n$ so that certain Schur functors of the standard representation of $S_n$ are linearly independent

Let $V_n$ be the standard permutation representation of the symmetric group $S_n$, and let $\mathbb{S}_{\lambda}$ denote the Schur functor associated to the partition $\lambda$.
Let $\lambda$ range ...

**21**

votes

**4**answers

1k views

### What are the applications of immanants?

Definitions of determinant:
$det(A) = \sum_{\sigma \in S_n}(-1)^{\operatorname{sgn} \sigma}\prod_{i}a_{i, \sigma(i)}$
and permanent:
$perm(A) = \sum_{\sigma \in S_n}\prod_{i}a_{i, \sigma(i)}$
...

**6**

votes

**1**answer

800 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 ...

**0**

votes

**2**answers

502 views

### Lie algabra of symmetric group

It's easy to see that the descending central series of a group induces a graded Lie algebra .(see for example Serre's Harvard lectures or Magnus-Solitar book). I think in general this can be ...

**10**

votes

**4**answers

1k views

### Cyclic Permutations - but not what you think

This question is not about elements of $S_n$ that consist of a single $n$-cycle, though naturally it's related.
Instead, consider permutations modulo the action of $(123\ldots n)$. That is, we ...

**4**

votes

**0**answers

184 views

### Frobenius norms of Fourier coefficients of the symmetric group

Suppose $f \colon S_n \rightarrow \mathbb{R}$ is some weighted collection of permutations. We want to understand how "well-spread" $f$ is. Our first test is its actions on singletons - are the ...

**2**

votes

**2**answers

445 views

### Convolution on symmetric group Sn

I have question regarding convolution of functions (say
g and h) defined on Sn. In Fourier space this is equivalent to IFT(G.H),
where G = FT(g) and H = FT(h).
Fast Fourier transforms (Clausen's FFT) ...

**5**

votes

**1**answer

570 views

### sum of the character of the symmetric group

Suppose $\mu$ is a fixed partition of $n$ of length $l(\mu)$, and I was encountered with the following sum, namely
$\sum_{\nu} \chi_{\nu}(\mu)$.
I did some calculation using the character table that ...

**7**

votes

**1**answer

1k views

### What is a Specht module?

I'm studying the structure of the Specht module for $S_n$ and I would like to know if there is some generalizations of this structure for Weyls groups or Coxeter groups.
Also, I'm interest to know ...

**5**

votes

**1**answer

610 views

### Decomposition of induced representations in S_n

Let C be a cyclic subgroup of S_n.
How does the representation $Ind_C^{S_n}\rho$, where $\rho$ is some representation of $C$, decompose into irreducible components?
Is there are a way to know which ...

**1**

vote

**1**answer

436 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 ...

**4**

votes

**2**answers

974 views

### Double coset representatives and structure of hecke algebras

Let $GL_n(F_q)$ be the general linear group over finite field $F_q$ and $B_n$ be its borel subgroup consisting of all upper triangular matrices. Then the double cosets $B_n\backslash GL_n(F_q)/B_n$ ...