When is a coadjoint orbit an integrable system (in a weak sense explained below)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T20:02:59Z http://mathoverflow.net/feeds/question/85467 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85467/when-is-a-coadjoint-orbit-an-integrable-system-in-a-weak-sense-explained-below When is a coadjoint orbit an integrable system (in a weak sense explained below)? Yuji Tachikawa 2012-01-12T03:57:22Z 2012-01-14T11:54:04Z <p>Let $X$ be an affine holomorphic symplectic variety of dimension $2n$, with the associated Poisson bracket { , }. Let's say it's an integrable system when there are $n$ algebraically independent holomorphic functions $I_i$ ($i=1,\ldots,n$) on $X$ such that they Poisson-commute: <code>$\{I_i,I_j\}=0$</code>.</p> <p>Pick a simple Lie algebra $\mathfrak{g}$, and pick a coadjoint orbit $O\subset \mathfrak{g}^*$. As is well-known, this is naturally a holomorphic symplectic variety: $x,y\in \mathfrak{g}$ gives a function on $O$, and its Poisson bracket is then given by the Lie bracket:</p> <blockquote> <p><code>$\{x,y\}_{PB}=[x,y]$</code>.</p> </blockquote> <p>I wonder which coadjoint orbit is integrable, in the sense given above. </p> <p>For example, any regular orbit $O$ of $\mathfrak{g}=\mathfrak{gl}(n)$ is integrable: let $X:\mathfrak{g}^*\to\mathfrak{g}$ be the identification via the invariant inner product, choose a generic element $a\in \mathfrak{g}$, and consider a function on $O$ given by </p> <blockquote> <p>$P_k(t)= \mathrm{tr} (X+ta)^k$</p> </blockquote> <p>where $t$ is a complex number. (I'm sorry for a slightly confusing notation, but $a$ here is a constant function on $O$ taking value in $\mathfrak{g}$.)</p> <p>After some manipulation, $P_k(t)$ and $P_{k'}(t')$ are seen to Poisson-commute. Therefore, coefficients $P_{k,i}$ of $t^i$ of $P_k(t)$ all Poisson-commute. Note that $P_{k,k}$ is a constant function on $O$, because $O$ is a coadjoint orbit. Then there are in total $1+2+\cdots+(n-1) = (\dim \mathfrak{gl}(n)-\mathrm{rank} \mathfrak{gl}(n))/2$ independent commuting operators.</p> <p><strong>Let me conjecture that all coadjoint orbits are integrable.</strong></p> <p>Another large class of affine holomorphic symplectic varieties are Nakajima's quiver varieties, which include all the coadjoint orbits of $\mathfrak{gl}(n)$. A similar question can be asked: which quiver variety is integrable in this sense?</p> <hr> <p><strong>Update</strong></p> <p>Thanks to the answers so far, I could track down references, see e.g. the end of Sec. 4 of <a href="http://arxiv.org/abs/math-ph/0109031" rel="nofollow">this paper</a>, showing that any coadjoint orbit of real compact Lie algebras is integrable. I guess the proof should carry over to the semisimple orbits (and presumably nilpotent Richardson orbits) of complex semisimple Lie algebras, in the holomorphic sense. So the question now is: how about nilpotent orbits in $\mathfrak{g}_{\mathbb{C}}$?</p> <p><strong>Update 2</strong></p> <p>Indeed, A. Joseph says in <a href="http://www.wisdom.weizmann.ac.il/~gorelik/agrt_files/slices4.pdf" rel="nofollow">this article</a> that he essentially proved that Richardson orbits are integrable in <a href="http://www.numdam.org/numdam-bin/fitem?id=BSMF_1979__107__139_0" rel="nofollow">this article</a> (in the setting of enveloping algebras, not the associated graded.) It would be interesting e.g. non-special orbits are not integrable... but I have no idea. </p> http://mathoverflow.net/questions/85467/when-is-a-coadjoint-orbit-an-integrable-system-in-a-weak-sense-explained-below/85473#85473 Answer by Alexander Chervov for When is a coadjoint orbit an integrable system (in a weak sense explained below)? Alexander Chervov 2012-01-12T06:25:29Z 2012-01-12T06:44:06Z <p>My feeling is that for semi-simple g (at least classical g) this should be known to be true. But I cannot provide a reference now.</p> <p>I am not sure about details, but the similar sounding conjecture sometimes associated with names of A.S. Mishchenko and A.T. Fomenko (early 80-ies ???). As far as I understand their conjecture is that any (not only semi-simple) g has maximal Poisson-commutative subalgebra in S(g). I am not sure did they conjecture that we can find int. sys. on any orbit. May be not explicitly. There is a bulk of works on this conjecture. Some names - A. Bolsinov, Trofimov, Fomenko himself wrote books on it, many of his students worked on it. I would suggest to look at </p> <p><a href="http://arxiv.org/abs/math/0702583" rel="nofollow">http://arxiv.org/abs/math/0702583</a> </p> <p>The argument shift method and maximal commutative subalgebras of Poisson algebras</p> <p>Dmitri I. Panyushev, Oksana S. Yakimova</p> <p>As far as I understand they rise question not only for g, but also for any affine Poisson manifold (I am not sure this work or not - but Yakimova surely discussed it).</p> <p>About quivers - Nekrasov's old paper contains some examples of int.sys. on quivers arxiv.org/abs/hep-th/9503157 . My feeling was that one can see (at least some of) quivers as moduli spaces on vector bundles on very degenerated curves and so these are in a sense Hitchin's system.</p> http://mathoverflow.net/questions/85467/when-is-a-coadjoint-orbit-an-integrable-system-in-a-weak-sense-explained-below/85478#85478 Answer by Peter Dalakov for When is a coadjoint orbit an integrable system (in a weak sense explained below)? Peter Dalakov 2012-01-12T09:47:52Z 2012-01-12T09:47:52Z <p>Here is a related result of Azad, Ban and Biswas which you may find interesting.</p> <p>Let $G$ be a complex semisimple Lie group, $\mathfrak{g}=\textrm{Lie}(G)$. Let $c\in \mathfrak{g}$ be a semi-simple element and $\mathcal{O}:=\textrm{Ad}(G)\cdot c$. Let $\Omega$ be the (holomorphic) Kostant-Kirillov symplectic form. Suppose all eigenvalues of $\textrm{ad}(c)$ are real. Then $(\mathcal{O},\textrm{Re }\Omega)\simeq T^\vee (G/P)$, where $P\subset G$ is any parabolic with Levi component $Z(c)$, the centraliser of $c$ in $G$. Here $\simeq$ means ''an isomorphism of real symplectic manifolds'', and $T^\vee (G/P)$ is equipped with the Liouville symplectic form.</p> <p>A similar result holds if all eigenvalues of $\textrm{ad}(c)$ are purely imaginary, but then you have to take $\textrm{Im }\Omega$.</p> <p>This generalises a theorem of Arnold for $SL(n,\mathbb{C})$.</p> http://mathoverflow.net/questions/85467/when-is-a-coadjoint-orbit-an-integrable-system-in-a-weak-sense-explained-below/85652#85652 Answer by Alexander Chervov for When is a coadjoint orbit an integrable system (in a weak sense explained below)? Alexander Chervov 2012-01-14T11:47:15Z 2012-01-14T11:54:04Z <p>Here is answer (YES) from Alexey Bolsinov who is one the main experts in these questions.</p> <p>"The answer is YES</p> <p>There is a very general construction allowing to construct an integrable system on more or less any coadjoint orbit for an arbitrary Lie algebra (non necessarily semisimple). This is a recent paper by Vinberg and Yakimova available in arxiv </p> <p><a href="http://arxiv.org/abs/math/0511498" rel="nofollow">http://arxiv.org/abs/math/0511498</a> Complete families of commuting functions for coisotropic Hamiltonian actions</p> <p>In the particular case you are talking about (SEMI-SIMPLE g) the positive answer follows from 2 results:</p> <p>1) the so-called shifts of polynomial invariants give a completely integrable system on a singular adjoint orbit O(b) in a semi simple Lie algebra G if and only if</p> <p>the index of the centralizer of b coincides with the index of G</p> <p>(my paper in Izvestija AN SSSR, 1991 and Acta Appl. Math. 1991), both available on my home page</p> <p>Bolsinov A.V. Commutative families of functions related to consistent Poisson brackets// Acta Appl. Math., 24(1991), pp. 253-274.</p> <p>I also conjectured that</p> <p>this condition ind Cent (b) = ind G, in fact, holds true for all singular elements b\in G and checked it for G=sl(n) (in particular for all nilpotent)</p> <p>2) This conjecture (widely known as Elashvili conjecture) has been proved for an arbitrary semi simple Lie algebra and for all elements (in fact the proof is easily reduced to nilpotent elements)</p> <p>First, Elashvili did it by, in some sense, straightforward computation which in the most difficult case of e_8 involved some computer program (unpublished)</p> <p>Recently a conceptual proof has been done by Jean-Yves Charbonnel (IMJ), Anne Moreau (available in arxiv)</p> <p><a href="http://arxiv.org/abs/1005.0831" rel="nofollow">http://arxiv.org/abs/1005.0831</a> The index of centralizers of elements of reductive Lie algebras</p> <p>To the best of my knowledge, this is the only known universal way to construct an integrable system on an arbitrary orbit.</p> <p>Remark: I am talking about classical integrable systems, not quantum. These systems can be quantized too, but this is another story. "</p>