SearcharxivSearch

arXiv subjects

Eugene Stern

Publications and source records attributed to Eugene Stern.

4 recordsLinked to original sources

AHA! RSK

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

math.RT

From Young's Lattice to Coinvariants

We extend Vershik and Okounkov's inductive spectral approach from irreducible representations of the symmetric group to the left and right regular representation. By following induced representations along paths in Young's lattice, we find a rigid orthonormal weight basis for $\mathbb{C}[S_n]$ indexed by pairs of standard tableaux. Our main finding is that this weight basis already carries an implicit grading, given by the charge statistic on the tableau that records the induction path. More explicitly, after realizing $\mathbb{C}[S_n]$ as an $S_n$-bimodule inside the polynomial ring $\mathbb{C}[z_1, \ldots, z_n]$, we find that each weight basis vector has a natural minimal degree, which corresponds exactly to the charge of the induction tableau. We use this to define a degree-preserving isomorphism, which we call the charge map, from $\mathbb{C}[S_n]$ to the ring of coinvariants, showing that the usual graded view of the regular representation of $S_n$ can be derived from the branching alone, without appealing to geometric constructions. This exposes the structure behind the results of Ariki, Terasoma, and Yamada on higher Specht polynomials. The proof that the charge map is an isomorphism is based on an algebraic connection between charge and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$.

math.RT

Decomposition of $q$-deformed Fock spaces

A decomposition of the level-one $q$-deformed Fock representations of $\uqn$ is given. It is found that the action of $\upqn$ on these Fock spaces is centralized by a Heisenberg algebra, which arises from the center of the affine Hecke algebra $\widehat{H}_N$ in the limit $N \rightarrow \infty$. The $q$-deformed Fock space is shown to be isomorphic as a $\upqn$-Heisenberg-bimodule to the tensor product of a level-one irreducible highest weight representation of $\upqn$ and the Fock representation of the Heisenberg algebra. The isomorphism is used to decompose the $q$-wedging operators, which are intertwiners between the $q$-deformed Fock spaces, into constituents coming from $\upqn$ and from the Heisenberg algebra.

q-alg

Semi-Infinite Wedges and Vertex Operators

The level 1 highest weight modules of the quantum affine algebra $U_q(\widehat{\frak{sl}}_n)$ can be described as spaces of certain semi-infinite wedges. Using a $q$-antisymmetrization procedure, these semi-infinite wedges can be realized inside an infinite tensor product of evaluation modules. This realization gives rise to simple descriptions of vertex operators and (up to a scalar function) their compositions.

q-alg