geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Young diagrams are used to describe many objects in algebra and combinatorics, including:
is drawn as the Young diagram
conjugacy classes in $S_n$.
irreducible representations of the symmetric groups $S_n$ over any field of characteristic zero
irreducible algebraic representations of the special linear groups $SL(N,\mathbb{C})$
irreducible unitary representations of the special unitary groups $SU(N)$
elementary symmetric functions
basis vectors for the free lambda-ring on one generator, $\Lambda$
flag varieties for the special linear groups $SL(N,k)$, where $k$ is any field
characteristic classes for complex vector bundles: that is, cohomology classes on the classifying spaces of the general linear groups $GL(N,\mathbb{C})$
characteristic classes for hemitian vector bundles: that is, cohomology classes on the [classifying spaces]] of the unitary groups $U(N)$
finite-dimensional C${}^*$-algebras: any such algebra is of the form $M_{n_1}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C})$ for some unique list of natural numbers $n_1 \ge n_2 \ge \cdots \ge n_k$.
finite abelian $p$-groups: any such group is of the form $\mathbb{Z}/p^{n_1} \oplus \cdots \oplus \mathbb{Z}/p^{n_k}$ for some unique list of natural numbers $n_1 \ge n_2 \ge \cdots \ge n_k$.
finite commutative semisimple algebras over $\mathbb{F}_p$: any such algebra is of the form $\mathbb{F}_{p^{n_1}} \oplus \cdots \oplus \mathbb{F}_{p^{n_k}}$ for some unique list of natural numbers $n_1 \ge n_2 \ge \cdots \ge n_k$.
the trace of the category of finite sets has isomorphism classes of objects corresponding to Young diagrams.
A Young diagram $F^\lambda$, also called Ferrers diagram, is a graphical representation of an unordered integer partition $\lambda = (\lambda_1\ge\lambda_2\ge\ldots\ge\lambda_l$). If $\lambda\vdash n$ is a partition of $n$ then the Young diagram has $n$ boxes. A partition can be addressed as a multiset over $\mathbb{N}$.
There are two widely used such representations. The English one uses matrix-like indices, and the French one uses Cartesian coordinate-like indices for the boxes $x_{i,j}$ in the diagram $F^\lambda$.
In the English representation the boxes are adjusted to the north-west in the 4th quadrant of a 2-dimensional Cartesian coordinate system, with the ‘y’-axis being downward oriented. For instance the diagram $F^{(5,4,4,2,1,1)}$ representing the partition $(5,4,4,2,1,1)$ of $17$ is given in the English representation as:
Let $\mathbb{Y}$ be the set of Young diagrams. Important functions on Young diagrams include:
A filling of a Young diagram with elements from a set $S$ is called a Young tableau.
A generalization of a Young diagram is a skew Young diagram. Let $\mu,\nu$ be two partitions, and let $\nu \le \mu$ be defined as $\forall i : \nu_i\le \mu_i$ (possibly adding trailing zeros). The skew Young diagram $F^{\mu/\nu}$ is given by the Young diagram $F^\mu$ with all boxes belonging to $F^\nu$ when superimposed removed. If $\mu=(5,4,4,2,1,1)$ and $\nu=(3,3,2,1)$ then $F^{\mu/\nu}$ looks like:
…
For a quick online introduction to Young diagrams, try:
A nice introduction to Young diagrams can be found here:
A more detailed reference is:
A connection to algebraic geometry: