Is the 'massive' Calogero-Moser system still integrable? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T04:37:11Z http://mathoverflow.net/feeds/question/15031 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15031/is-the-massive-calogero-moser-system-still-integrable Is the 'massive' Calogero-Moser system still integrable? Greg Muller 2010-02-11T21:10:54Z 2010-02-15T14:27:05Z <h3>Background</h3> <p>The (rational) Calogero-Moser system is the dynamical system which describes the evolution of $n$ particles on the line $\mathbb{C}$ which repel each other with force proportional to the cube of their distance. If the particles have (distinct!) position $q_i$ and momentum $p_i$, then the Hamiltonian which describes this system is $$H=\sum_i p_i^2+\sum_{i\neq k}\frac{1}{(x_i-x_k)^2}$$ There are many interesting properties of this system, but one of the first interesting properties is that it is `completely integrable'. This means that solving it explicitly amounts to solving a series of straight-forward integrals.</p> <p>The integrability can most easily be shown by showing that the phase space for this system includes into a symplectic reduction of a certain matrix space, and then noticing that the above Hamiltonian is a restriction of a integrable Hamiltonian on the whole space. This is done by assigning to any ensemble of points $q_i$ and momenta $q_i$ a pair of $n\times n$ matrices $X$ and $Y$, where $X$ is the diagonal matrix with $q_i$ on the diagonal entries, while $Y$ is given by $$Y_{ii}=p_i, \; Y_{ik}=(x_i-x_k)^{-1}, \; i\neq k$$ This matrix assignment defines a map from the configuration space $CM_n$ of the CM system to the space of pairs of matrices. The space of pairs of matrices $(X,Y)$ is naturally a symplectic space from the bilinear form $(X,Y)\cdot (X',Y')=Tr(XY')-Tr(X'Y)$, and the action of $GL_n$ by simultaneous conjugation naturally has a moment map. Therefore, we sympletically reduce the space of pairs of matrices at a specific coadjoint orbit (not the origin) and get a new symplectic space $\overline{CM}_n$. </p> <p>Composing the above matrix assignment with symplectic reduction, we get a map $CM_n\rightarrow \overline{CM}_n$. This map turns out to be a symplectic inclusion which has dense image. We also notice that the functions $Tr(Y^i)$, as $i$ goes from $1$ to $n$, descend to a Poisson-commuting family of functions on $\overline{CM}_n$, and because $\overline{CM}_n$ is $2n$ dimensional, each of the functions $Tr(Y^i)$ gives an integrable flow on $\overline{CM}_n$. Finally, we notice that $Tr(Y^2)$ restricts to $H$ on $CM_n$.</p> <h3>The Massive Version of the CM System</h3> <p>Now, make the following change to the system. To every particle, assign a number $m_i$ (the <em>mass</em>), which can be in $\mathbb{C}$, but I am interested in the case where the $m_i$ are positive integers. Define a the massive CM Hamiltonian as $$H_m=\sum_i\frac{p_i^2}{m_i}+\sum_{i\neq k}\frac{m_im_k}{(x_i-x_k)^2}$$ The physical meaning of this equation is that particles still have force proportional to the inverse of the cube of their distance, but the force is proportional to the <em>mass</em> of that particle; also, particles resist acceleration proportional to their mass. If the force were to drop off proportional to the inverse square of their distance, and attract instead of repel, this would model how massive particles move under the influence of gravity.</p> <h3>Questions</h3> <ol> <li>Is this system integrable?</li> <li>Can it be realized in a similar matrix form?</li> <li>Does it have any interesting or new behavior than the usual CM system?</li> </ol> <h3>An Idea</h3> <p>It is <em>almost</em> possible to realize this Hamiltonian in a simple modification of the previous approach. Let $M$ denote the diagonal matrix with the $m_i$s on the diagonal. Then $$Tr(MYMY)=\sum_im_i^2p_i^2+\sum_{i\neq k}\frac{m_im_k}{(x_i-x_k)^2}$$ The functions $Tr( (MY)^i)$ should again be a Poisson commutative family. Rescaling the $p_i$ by $m_i^{3/2}$ gives the massive Hamiltonian $H_m$; <strong>however</strong>, this rescaling is not symplectic, and so it won't preserve the flows. </p> <h3>Another Idea</h3> <p>In the case of integer $m_i$, one possibility is to work with $N\times N$ matrices rather than $n\times n$ matrices, where $N=\sum m_i$. Then it is possible to construct a matrix $X$ with eigenvalues $q_i$, each occuring with multiplicity $m_i$, as well as a matrix $Y$ such that $(X,Y)$ defines a point in $\overline{CM}_N$. The Hamiltonian $Tr(Y^2)$ even restricts to the correct 'massive' Hamiltonian $H_m$. <strong>However</strong>, the flow described by this Hamiltonian on $\overline{CM}_n$ will in almost all cases immediately separate eigenvalues that started together, which we don't want. If we restrict the Hamiltonian to the closed subspace where the eigenvalues are required to stay together, then this gives the desired flow. Unfortunately, restricting to a closed subvariety doesn't preserve a Hamiltonian being integrable.</p> http://mathoverflow.net/questions/15031/is-the-massive-calogero-moser-system-still-integrable/15315#15315 Answer by Gjergji Zaimi for Is the 'massive' Calogero-Moser system still integrable? Gjergji Zaimi 2010-02-15T05:16:37Z 2010-02-15T05:16:37Z <p>The paper "Meromorphic Parametric Non-Integrability, the Inverse Square Potential" by E. J. Tosel, proves almost what was claimed in the comments. Except for Jacobi's theorem:</p> <blockquote> <p>The 3-body problem on a line with <em>arbitrary masses</em> and inverse square potential is completely integrable with rational first integrals.</p> </blockquote> <p>and Calogero-Moser’s Theorem:</p> <blockquote> <p>The n-body problem with <em>equal masses</em> on a line with an inverse square potential is completely integrable. More precisely, there exists a complete family of commuting first integrals which are rational in $(Q,P)$.</p> </blockquote> <p>all other cases are non-integrable. The main theorem is:</p> <blockquote> <p><strong>Theorem 3</strong> (Non-integrability meromorphic in linear momenta and masses, rational in positions).</p> <p>(i) For $n = 4$, the $n$-body problem on a line with an inverse square potential does not have a complete system of generically independent first integrals which are rational with respect to $Q$ and meromorphic with respect to $P$ and $(m _i) _{1\le i\le n}$</p> <p>(ii) For $n = 3$ and $p \geq 2$, the $n$-body problem in $\mathbb{R} ^p$ with an inverse square potential does not have a complete system of generically independent first integrals which are rational with respect to $Q$ and meromorphic with respect to $P$ and $(m _i) _{1\le i\le n}$</p> <p>A corollary of this theorem is that Calogero-Moser’s theorem deals with an exceptional case: there cannot exist a Lax pair $(L,B)$ which would depend meromorphically on the masses for $n$ bodies on a line ($n \geq 4$).</p> </blockquote> <p>There is a remark there that the rationality condition in the case of the line needs only be checked in $n-4$ positions.</p> http://mathoverflow.net/questions/15031/is-the-massive-calogero-moser-system-still-integrable/15335#15335 Answer by José Figueroa-O'Farrill for Is the 'massive' Calogero-Moser system still integrable? José Figueroa-O'Farrill 2010-02-15T14:27:05Z 2010-02-15T14:27:05Z <p>Just to add to Gjergji Zaimi's answer, <a href="http://www.maths.ed.ac.uk/~hwb/" rel="nofollow">Harry Braden</a> has sent me the expressions for the conserved charges responsible for the integrability of the $N=3$ model:</p> <ul> <li><p>The total momentum $P = p_1 + p_2 + p_3$</p></li> <li><p>The hamiltonian $H$</p></li> <li><p>$Q = 2 H \sum_{i=1}^3 m_i x_i^2 -(\sum_{i=1}^3 x_i p_i )^2$</p></li> </ul>