Why are Jucys-Murphy elements' eigenvalues whole numbers? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T03:30:37Z http://mathoverflow.net/feeds/question/83150 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers Why are Jucys-Murphy elements' eigenvalues whole numbers? Igor Makhlin 2011-12-10T22:53:19Z 2012-05-10T18:17:20Z <p>The Jucys-Murphy elements of the group algebra of a finite symmetric group (here's the <a href="http://en.wikipedia.org/wiki/Jucys%E2%80%93Murphy_element" rel="nofollow">definition</a> in Wikipedia) are known to correspond to operators diagonal in the Young basis of an irreducible representaion of this group. As one can see from the Wikipedia entry, all of the elements of such a diagonal matrix (in other words the operator's eigenvalues) are integers.</p> <p>I'm looking for a simple way of explaining this fact (that the eigenvalues are wholes). By simple I mean without going into more or less advanced representation theory of the symmetric group (tabloids, Specht modules etc.), so trying to prove the specific formula given in Wikipedia is not an option. (I'm considering the Young basis as the Gelfand-Tsetlin basis of the representation for the inductive chain of groups $S_1\subset S_2\subset \ldots\subset S_n$, which is uniquely defined thanks to this chain's spectrum's simplicity, not as a set of vectors in correspondence with the standard tableaux.)</p> <p>In fact, I'm trying to prove the first statement ($a_i\in \mathbb{Z}$) of proposition 4.1 in this <a href="http://www.stat.berkeley.edu/users/evans/Vershik_Okounkov_05.pdf" rel="nofollow">article</a>.</p> http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers/83156#83156 Answer by Florian Eisele for Why are Jucys-Murphy elements' eigenvalues whole numbers? Florian Eisele 2011-12-11T01:41:49Z 2011-12-11T01:41:49Z <p>This can be shown using the following two facts:</p> <ol> <li>$X_n=(1,n)+(2,n)+\ldots+(n-1,n)$ commutes with any element of $\mathbb Z S_{n-1}$</li> <li>Any irreducible $\mathbb Q S_n$-module $V$ restricts to a multiplicity-free $\mathbb Q S_{n-1}$-module (this follows from the classical branching rule; of course you said you didn't want to use tableaux's etc., so I'm not entirely sure whether this is compatible with your idea of "elementary"). </li> </ol> <p>The first one implies that $$X_n\in End_{\mathbb Q S_{n-1}}(Res^n_{n-1}V)$$ for any irreducible $\mathbb Q S_n$-module $V$. But, due to the second point and the fact that $\mathbb Q$ is a splitting field for $S_{n-1}$, there is an isomorphism of algebras $$End_{\mathbb Q S_{n-1}}(Res^n_{n-1}V) \cong \mathbb Q \oplus \ldots \oplus \mathbb Q$$ This shows that $X_n$ acts semisimply on $V$ with eigenvalues in $\mathbb Q$. That the eigenvalues lie in $\mathbb Z$ then actually follows from the fact that $\mathbb Z S_n$ is a $\mathbb Z$-order (elements of $\mathbb Z$-orders have integral characteristic polynomial and therefore their eigenvalues will be integral over $\mathbb Z$ no matter on what module we let them act). </p> <p>The assertion for all JM elements reduces to this (hope this is clear).</p> http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers/83493#83493 Answer by Igor Makhlin for Why are Jucys-Murphy elements' eigenvalues whole numbers? Igor Makhlin 2011-12-15T03:52:22Z 2011-12-16T07:05:05Z <p>I came up with a more or less elementary proof of the identity from the top comment to my question. It involves nothing more advanced than some basic linear algebra.</p> <p>Namely, let us denote $X_k=\sum\limits_{i=1}^{k-1} (i,k) \in\mathbb{C}[S_n]$, then we are to prove $$\prod\limits_{i=-k+1}^{k-1}(X_k-i)=0$$ for all $1\le k\le n$. For convenience sake we will also use $X_k$ to denote the linear operator on $\mathbb{C}[S_n]$ of left multiplication by $X_k \in \mathbb{C}[S_n]$. </p> <p>First of all, let us show that $X_k$ is a diagonalizable operator. There are many ways to prove this fact, for example it is easy to see that $X_k$'s matrix is symmetric in the standard basis consisting of all the elements of $S_n$ (since the matrix corresponding to any $(i,k)$ is obviously such).</p> <p>With the diagonalizability taken into account it is now sufficient to prove that $X_k$'s spectrum is a subset of $\{-k+1,-k+2,\ldots,k-1\}$. Starting with $X_1=0$ we conduct by induction on $k$. </p> <p>Suppose that $\lambda\not\in\{-k,\ldots,k\}$ is an eigenvalue of $X_{k+1}$. $X_{k+1}$ commutes with all of $\mathbb{C}[S_k]$ including $X_k$, which implies that $X_k$ and $X_{k+1}$ are simultaneously diagonalizable. Thus exists such a nonzero $v\in\mathbb{C}[S_n]$ that $X_{k+1}v=\lambda v$ and $X_kv=\mu v$. Our choice of $\lambda$ together with the inductive hypothesis provides $(\lambda-\mu)\not\in\{-1,0,1\}$ which lets us consider the element $$u=\left(s_k-\frac1{\lambda-\mu}\right)v$$ where $s_k=(k,k+1)$. $u\neq0$, otherwise we would have $s_kv=\frac1{\lambda-\mu}v\implies \lambda-\mu=\pm1$ since $s_k^2v=v$. Finally $$X_ku=X_ks_kv-\frac1{\lambda-\mu}X_kv=(s_kX_{k+1}-1)v-\frac\mu{\lambda-\mu}v=\lambda s_kv-v-\frac\mu{\lambda-\mu} v=\lambda u$$ where we employ the easily obtainable $s_kX_{k+1}=X_ks_k+1$. However $\lambda$ being an eigenvalue of $X_k$ contradicts the inductive hypothesis due to our choice of $\lambda$.</p> http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers/83589#83589 Answer by David Speyer for Why are Jucys-Murphy elements' eigenvalues whole numbers? David Speyer 2011-12-16T02:57:08Z 2011-12-16T13:46:21Z <p>I will show that the eigenvalues of $X_{k+1}$ lie in the interval $[-k, k]$. Since Florian has already given a nice proof that the eigenvalues are integers, this answers your question.</p> <p>Lemma: Let $A$ be a symmetric matrix with nonnegative entries whose rows and columns all add up to $k$. Then, for any real vector $v$, we have $-k \langle v,v \rangle \leq \langle v, Av \rangle \leq k \langle v, v \rangle$. </p> <p>Proof: For any vector $v$, we have <code>$$\langle v, Av \rangle = k \sum v_i^2 - \sum_{i&lt;j} A_{ij} (v_i-v_j)^2 \leq k \sum v_i^2 = k \langle v,v \rangle$$</code> as desired. The equality <code>$\langle v, Av \rangle = -k \sum v_i^2 + \sum_{i&lt;j} A_{ij} (v_i+v_j)^2$</code> proves the other direction. $\square$</p> <p>Now, the matrix of $X_{k+1}$ acting on the regular representation clearly obeys the conditions of the lemma. Taking $v$ to be an eigenvector with eigenvalue $\lambda$, we deduce that $-k \leq \lambda \leq k$, as desired.</p> http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers/83664#83664 Answer by Alexander Chervov for Why are Jucys-Murphy elements' eigenvalues whole numbers? Alexander Chervov 2011-12-16T21:32:53Z 2011-12-17T21:37:59Z <p>It is not an answer, rather long comment...</p> <p>1) I am sorry: my previous posts were incorrect, I will correct below.</p> <p>2) I would suggest you guys insert the statement and may be proof to Wiki article, it is quite worth and since it was mainly written by me, imho I might give such a suggestion.</p> <hr> <p>The main message is that there is "certain relation" (described below) between standard Gelfand-Tsetlin maximal commutative subalgebra in $U(gl_M)$ and the maximal commutative subalgebra in $C[S_M]$ generated by Jucys-Murphy elements. The relation consists of two steps which can be seen as generalized Schur-Weyl duality and generalized $gl_M - gl_N$ duality. Both steps involve an intermediate object - "bending flow" commutative subalgebra in $U(gl_N \oplus ... \oplus gl_N)$ (sum contains $M$ terms). Briefly speaking these generalized dualities say that: images in certain representations of these commutative subalgebras coincide. </p> <p>Since I forget some details I would NOT make again the claim that "JM elements go to "quadratic Casimirs"", which might give another (but very long) way to answer Igor's question. Just simply describe the relation which might be interesting on its own.</p> <p>Step 1. Generalized Schur-Weyl from JM to "bending flows". (Rather trivial step).</p> <p>Consider $V=C^N \otimes ... \otimes C^N$ ($M$ terms in tensor product). $C[S_M]$ acts here in a natural way. $U(gl_N \oplus ... \oplus gl_N)$ surjects on $End(V)$. Since it surjects we can find certain elements in $U(gl_N \oplus ... \oplus gl_N)$ which are mapped to JM elements, moreover we require such elements to be quadratic in generators of $U(gl_N \oplus ... \oplus gl_N)$, and it would fix these elements. The basic idea is that the permutation operator (12) acting in $C^N\otimes C^N$ is OBVIOUSLY an image of $\sum_{ij} E_{ij}\otimes E_{ji} \in U(gl_N)\otimes U(gl_N)=U(gl_N\oplus gl_N)$ and nothing more than that.</p> <p>By $E_{ij}$ denoted the matrix with $1$ at position $(ij)$ and zeros everywhere else.</p> <p>So we get certain commutative subalgebra in $U(gl_N \oplus ... \oplus gl_N)$ such that it is "Schur-Weyl dual" to JM subalgebra, meaning that the images of these subalgebras in $End(V)$ coincide. Such a commutative subalgebra is called "generalized bended flows" or just "bending flows", by reason commented below.</p> <p>Step 2. $GL_M-GL_N$-duality from "bending flows" to Gelfand-Tsetlin. (This step is not so trivial). It is mainly due to Flaschka and Millson - section 8 of <a href="http://arxiv.org/abs/math.SG/0108191" rel="nofollow">http://arxiv.org/abs/math.SG/0108191</a></p> <p>Consider the vector space $W = S(C^N\otimes C^M) = S(C^N \oplus ... \oplus C^N)$ (M-terms in sum) and $S$ denotes symmetric algebra of the vector space. Lie algebras $gl_M$ and $U(gl_N \oplus ... \oplus gl_N)$ acts on $W$ in a natural way.</p> <p>Theorem: the images in $End(W)$ of GT and "bending flows" coincide.</p> <p>In such a form it is Theorem 2 page 9 in our paper: <a href="http://arxiv.org/abs/0710.4971" rel="nofollow">http://arxiv.org/abs/0710.4971</a> </p> <hr> <p>Why the name "bending flows" ? If we make similar considerations for $U(so_3 \oplus ... \oplus so_3)$ or more precisely its associated grade Poisson algebra $S(so_3 \oplus ... \oplus so_3)$ we get a (Poisson) commutative subalgebra there.</p> <p>The beautiful fact is that "JM" type generators have very nice geometric interpretation. We can identify $so_3=R^3$ and so elements of $(so_3 \oplus ... \oplus so_3)$ can be seen as $M$-gons in $R^3$. The statement is that if we "bend" polygon along the non-intersecting diagonals then such flows will be hamiltonian and will be defined by JM-type generators in $S(so_3 \oplus ... \oplus so_3)$. Well, I omitted some details and may be comment is not so clear, one should draw simple pictures in order to see what is going on.</p> <p>Bending flows were proposed for $S(so_3 \oplus ... \oplus so_3)$ in paper M. Kapovich, J. Millson, The symplectic geometry of polygons in Euclidean space,J. Differ. Geom. 44, 479–513 (1996)</p> <p>Generalized further in several papers in particular in Gregorio Falqui, Fabio Musso, Gaudin Models and Bending Flows: a Geometrical Point of View, J. Phys. A 36 (2003), no. 46,11655–11676. nlin.SI/0306005</p> <p><a href="http://arxiv.org/abs/nlin/0306005" rel="nofollow">http://arxiv.org/abs/nlin/0306005</a></p> http://mathoverflow.net/questions/83150/why-are-jucys-murphy-elements-eigenvalues-whole-numbers/96600#96600 Answer by Alexander Chervov for Why are Jucys-Murphy elements' eigenvalues whole numbers? Alexander Chervov 2012-05-10T18:17:20Z 2012-05-10T18:17:20Z <p>Awfully sophisticated proof for the fact :) Just to relate it with the question about Knizhnik-Zamolodchikov equation:</p> <p><a href="http://mathoverflow.net/questions/95183/find-polynom-pz-with-values-in-cs-n-such-that-pz-sum-i-id1i-z-i" rel="nofollow">http://mathoverflow.net/questions/95183/find-polynom-pz-with-values-in-cs-n-such-that-pz-sum-i-id1i-z-i</a></p> <p>Consider the following KZ ODE:</p> <p>$p'(z) = \sum_{i=2...n} \frac{ Id + \pi( (1i) )}{z-z_i} p (z)$</p> <p>As it is discussed in MO-question above it is known to have polynomial solution.</p> <p>The reside at infinity is equal to $Res=-\sum_{i=2...n} { Id + \pi( (1i) )}$. Which is our beloved JM-element up to sign and n*Id.</p> <p>Hence its eigenvalues must be non-positive integers (this is obvious since at infinity the solution looks like \$(1/z)^{Res}, so in order to be polynomial in z they must be non-positive ints). Hence we are done.</p> <p>Moreover we got that eigs are greater or equal -n (as David Speyer proved directly above).</p>