Skip to main content
deleted 1 characters in body
Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

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

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

In fact, I'm trying to prove the first statement ($a_i\in \mathbb{Z}$) of proposition 4.1 in this article.

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

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

In fact, I'm trying to prove the first statement ($a_i\in \mathbb{Z}$) of proposition 4.1 in this article.

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

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

In fact, I'm trying to prove the first statement ($a_i\in \mathbb{Z}$) of proposition 4.1 in this article.

Source Link
Igor Makhlin
  • 3.5k
  • 1
  • 18
  • 25

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

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

In fact, I'm trying to prove the first statement ($a_i\in \mathbb{Z}$) of proposition 4.1 in this article.