show/hide this revision's text 4 added 131 characters in body; edited body

It is not an answer, rather long comment...

1) I am sorry: my previous posts were incorrect, I will correct below.

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.

The main message is that there is "certain relation" (described below) between standard Gelfand-Tsetlin maximal commutative subalgebra in $U(gl_N)$ U(gl_M)$ and the maximal commutative subalgebra in $C[S_N]$ 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 involves 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.

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.

Step 1. Generalized Schur-Weyl from JM to "bending flows". (Rather trivial step).

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.

By $E_{ij}$ denoted the matrix with $1$ at position $(ij)$ and zeros everywhere else.

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.

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 http://arxiv.org/abs/math.SG/0108191

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.

Theorem: the images in $End(V)$ End(W)$ of GT and "bending flows" coincide.

In such a form it is Theorem 2 page 9 in our paper: http://arxiv.org/abs/0710.4971

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.

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.

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)

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

http://arxiv.org/abs/nlin/0306005
show/hide this revision's text 3 added 436 characters in body

There

1) I am sorry: my previous posts were incorrect, I will correct below.

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.

The main message is that there is "certain relation" (described below) between JM standard Gelfand-Tsetlin maximal commutative subalgebra in S_n $U(gl_N)$ and Gelfand-Tsetlin the maximal commutative subalgebra in U(gl). JM $C[S_N]$ generated by Jucys-Murphy elementswill .The relation consists of two steps which can be mapped into quadratic Casimir operators seen as generalized Schur-Weyl duality and generalized $gl_M - gl_N$ duality.Both steps involves an intermediate object - "bending flow" commutative in $U(gl_N \oplus ... \oplus gl_N)$ (if I remember correctly, not sure), so it might be possible to get the answer sum contains $M$ terms). Briefly speaking these generalized dualities say that: images in this way, although, it certain representations of these commutative subalgebras coincide.

Since I forget some details I would NOT be make again the shortest one:claim that "JM elements go to "quadratic Casimirs"", which might give another (but very long) But way to answer Igor's question. Just simply describe the dualities above relation which might be of interest interesting on their its own.

Step 1. Generalized Schur-Weyl from JM to "bending flows".(Rather trivial step).

Consider representation of S_n in $V\oplus V=C^N \otimes ... V$, JM gives commutative subalgebra there.

Remark\otimes C^N$ ($M$ terms in tensor product). It is interesting to mention that $C[S_M]$acts here in case V=R^3 it is the same as "bending flows" integrable system - very nice thing - bending the polygon along non intersecting diagonals you see a set of commuting hamiltonians on the moduli space of polygons..natural way. Commutativity is obvious from the geometry, lemma is to show that $U(gl_N \oplus ... \oplus gl_N)$ surjects on $End(V)$.Since it surjects we get JMcan find certain elements in $U(gl_N \oplus .

Return .. \oplus gl_N)$which are mapped to JM : consider $V=C^k$ so elements, moreover we require such elements to be quadratic in generators of $V\oplus U(gl_N \oplus ... \oplus V = C^k \otimes C^n$gl_N)$, and it would fix these elements.The point basic idea is that if one considers representation of $U(gl_k)$ the permutation operator (12) acting in $C^k \otimes C^n$ then C^N\otimes C^N$ is OBVIOUSLY an image of Gelfand-Tsetlin subalgebra $\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.

By $U(gl_k)$ will coincide E_{ij}$ denoted the matrix with JM image.This was first observed by Flashka $1$ at position $(ij)$ and Millsonzeros everywhere else.Another treatment is given in our paper:http://arxiv.org/abs/0710.4971

Our point was to show that JM and bending flows are limit of the so-called Gaudin

So we get certain commutative subalgebra in $U(gl_n)\otimes U(gl_N \oplus ... \otimes U(gl_n)$, which oplus gl_N)$ such that it is interesting from variaous points of view from Langlands "Schur-Weyl dual" to Bethe ansatz. Since we know that spectrum of JM is simple we can conclude subalgebra,meaning that spectrum the images of Gaudin is simple these subalgebras in certain cases.

[EDIT]@Darij

"JM elements will be mapped into quadratic Casimir operators"$End(V)$ coincide.By what?

By the construction I tried to described below

Step 2. I will try to describe it more clearer again and happy $GL_M-GL_N$-duality from "bending flows" to answer any questions..Gelfand-Tsetlin.

Schur-Weyl duality?

No it (This step is not that simpleso trivial).It is composition of Shur-Weyl with GL_n-GL_m dualities, but both are being generalized from their classical form to more strong statements.

How exactly?

Let me try mainly due to say it again:

Consider representation Flaschka and Millson - section 8 of$gl_k$ in $C^k\otimes C^n$ (where we act only the first space). http://arxiv.org/abs/math.SG/0108191

Consider the representation of $S_n$ in the vector space $C^k\oplus W = S(C^N\otimes C^M) = S(C^N \oplus ... \oplus C^k$ C^N)$ (here M-terms in sum) and $n$-times is summed). Note that there is isomorphism S$ denotes symmetric algebra of the vector spaces: $C^k\otimes C^n = C^k\oplus ... \oplus C^k$space.So we see that two Lie algebras $U(gl_k)$ gl_M$ and $S_n$ act on the same vector space $C^k\otimes C^n = C^k\oplus U(gl_N \oplus ... \oplus C^k$.

Fact 1. The image in $End( C^k\otimes C^n ) gl_N)$ acts on $of W$ in a natural way.

Theorem: the JM commutative subalgebra images in $S_n$ coincide with the image End(V)$ of GT and "bending flows" coincide.

In such a form it is Theorem 2 page 9 in our paper:http://arxiv.org/abs/0710.4971

Why the same space.

Is this formulation clear name "bending flows" ?

The fact above was about the subalgebras (i.e. vector spaces), If we might want to ask make similar considerations for more strong fact - take some particular element in JM subalegbra i.e$U(so_3 \oplus ... \oplus so_3)$or more precisely its associated grade Poisson algebra $X_k$ and askwhat S(so_3 \oplus ... \oplus so_3)$ we get a (Poisson) commutative subalgebra there.

The beautiful fact is the particular element in GT such the their images coincide under the representations above ?

"quadratic Casimirthat "- means the quadratic element of the center of U(gl), it is not unique, but almost unique: any such element JM" type generators have form very nice geometric interpretation.We can identify $a C_2 + b C_1^2$, where a,b are complex numbers so_3=R^3$ and $C_1$ - generator of the center so elements of gl itself (i.e. identity matrix) and $C_2$ is any quadratic generator of the center(so_3 \oplus .

As far .. \oplus so_3)$can be seen as I rememeber one should take quadratic Casimirs $M$-gons in GT of U(gl_k) and $R^3$. The statement is that if we "they bend" polygon along the non-intersecting diagonalsthen such flows will be mapped into JM elements X_l" (meaning that the images of these elements hamiltonian and will coincide under representations above)be defined by JM-type generators in$S(so_3 \oplus .How to fix "a,b" .. \oplus so_3)$.Well, I do omitted some details and may be comment is not remember. The point so clear, one should draw simple pictures in order to see what is that the number going on.

Bending flows were proposed for $l$ S(so_3 \oplus ... \oplus so_3)$in index of JM element $X_l$ will be the same as index paper M. Kapovich, J. Millson, The symplectic geometry of $gl$ subalgebra polygons in $gl_l \Euclidean space,J. Differ. Geom. 44, 479–513 (1996)

Generalized further in gl_n$ several papers in construction of GT subalgebra particular in U(gl_k)Gregorio Falqui, Fabio Musso, Gaudin Models and Bending Flows: a Geometrical Point of View, J.

Is the claim clear ? Phys. A 36 (2003),no. 46,11655–11676. nlin.SI/0306005

http://arxiv.org/abs/nlin/0306005
show/hide this revision's text 2 added 2114 characters in body

[EDIT]@Darij

"JM elements will be mapped into quadratic Casimir operators". By what?

By the construction I tried to described below. I will try to describe it more clearer again and happy to answer any questions...

Schur-Weyl duality?

No it is not that simple. It is composition of Shur-Weyl with GL_n-GL_m dualities, but both are being generalized from their classical form to more strong statements.

How exactly?

Let me try to say it again:

Consider representation of $gl_k$ in $C^k\otimes C^n$ (where we act only the first space). Consider the representation of $S_n$ in the $C^k\oplus ... \oplus C^k$ (here $n$-times is summed). Note that there is isomorphism of vector spaces: $C^k\otimes C^n = C^k\oplus ... \oplus C^k$.
So we see that two algebras $U(gl_k)$ and $S_n$ act on the same vector space $C^k\otimes C^n = C^k\oplus ... \oplus C^k$.

Fact 1. The image in $End( C^k\otimes C^n ) $ of the JM commutative subalgebra in $S_n$ coincide with the image of GT in the same space.

Is this formulation clear ?

The fact above was about the subalgebras (i.e. vector spaces), we might want to ask for more strong fact - take some particular element in JM subalegbra i.e. $X_k$ and askwhat is the particular element in GT such the their images coincide under the representations above ?

"quadratic Casimir" - means the quadratic element of the center of U(gl), it is not unique, but almost unique: any such element have form $a C_2 + b C_1^2$, where a,b are complex numbers and $C_1$ - generator of the center of gl itself (i.e. identity matrix) and $C_2$ is any quadratic generator of the center.

As far as I rememeber one should take quadratic Casimirs in GT of U(gl_k) and "they will be mapped into JM elements X_l" (meaning that the images of these elements will coincide under representations above). How to fix "a,b" I do not remember. The point is that the number $l$ in index of JM element $X_l$ will be the same as index of $gl$ subalgebra in $gl_l \in gl_n$ in construction of GT subalgebra in U(gl_k).

Is the claim clear ?

show/hide this revision's text 1