1: \documentclass[proceedings]{JHEP3}
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: \usepackage{amssymb}
4: \usepackage{amsmath}
5: \usepackage{epsfig,multicol}
6:
7: \setcounter{MaxMatrixCols}{10}
8: %TCIDATA{OutputFilter=LATEX.DLL}
9: %TCIDATA{Version=4.00.0.2312}
10: %TCIDATA{LastRevised=Monday, October 03, 2005 12:40:54}
11: %TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
12: %TCIDATA{Language=American English}
13:
14: \newbox\mybox
15: \newcommand{\ttbs}{\char'134}
16: \newcommand\fverb{\setbox\mybox=\hbox\bgroup\verb}
17: \newcommand\fverbdo{\egroup\medskip\noindent\fbox{\unhbox\mybox}\ }
18: \newcommand\fverbit{\egroup\item[\fbox{\unhbox\mybox}]}
19: \conference{$G_2$-Calogero-Moser Lax operators from reduction}
20: \abstract{We construct a Lax operator for the $G_2$-Calogero-Moser model
21: by means of a double reduction procedure. In the first reduction step we reduce
22: the $A_6$-model to a $B_3$-model with the help of an embedding of the $B_3$-root
23: system into the $A_6$-root system together with the specification of certain
24: coupling constants. The $G_2$-Lax operator is obtained thereafter by means
25: of an additional reduction by exploiting the embedding of the $G_2$-system
26: into the $B_3$-system. The degree of algebraically independent and non-vanishing
27: charges is found to be equal to the degrees of the corresponding Lie algebra.}
28:
29: \title{$G_2$-Calogero-Moser Lax operators from reduction}
30: \author{Andreas Fring$^\bullet$ and Nenad Manojlovi\'c$^\circ$ \\
31: %EndAName
32: $^\bullet$ Centre for Mathematical Science, City University, \\
33: $\;$ Northampton Square, London EC1V 0HB, UK\\
34: $\;$ E-mail: \email{A.Fring@city.ac.uk}\\
35: $^\circ$ Departamento de Matem\'{a}tica, F.C.T. Universidade do Algarve,\\
36: $\;$ Campus de Gambelas, 8005-139 Faro, Portugal\\
37: $\;$ E-mail: \email{nmanoj@ualg.pt}}
38:
39: \input{tcilatex}
40:
41: \begin{document}
42:
43:
44: \section{Introduction}
45:
46: The Calogero-Moser models \cite{Cal1,Cal2,Cal3,Suth3,Suth4,Mo,OP2,Per}
47: constitute a large class of well studied interacting many particle systems.
48: The models are very universal in the sense that they can be cast into a form
49: in which the potential term includes a sum over all roots $\alpha $ of some
50: root system $\Delta $ and the functional dependence of the potential is $%
51: V(x)\sim 1/\func{sn}^{2}(x)$, with $\func{sn}$ being an elliptic function
52: together with its various limits $1/\sinh ^{2}(x)$, $1/\sin ^{2}(x)$ and $%
53: 1/x^{2}$. Often it is useful to treat the latter cases independently for
54: their own sake. Due to their universal nature the models find a wide range
55: of applications in physics, as for instance to characterize anyons on the
56: lowest Landau level \cite{Brink}, to describe certain properties of quantum
57: Hall droplets \cite{IR} and in various ways in conformal \cite%
58: {CFT1,CFT2,CFT3,CFT4} and boundary \cite{Cardy} conformal field theories.
59:
60: The Hamiltonian for an $n$-particle Calogero-Moser system reads
61: \begin{equation}
62: \mathcal{H}=\frac{p^{2}}{2}-\frac{1}{2}\sum\limits_{\alpha \in \Delta
63: }g_{\alpha }^{2}V(\alpha \cdot q)\qquad g_{\alpha }\in i\mathbb{R},\quad
64: q,p\in \mathbb{R}^{n}, \label{H}
65: \end{equation}
66: with $n$ being the dimensionality of the space in which the roots $\alpha $
67: are realized. At this point we impose only the restrictions $g_{\alpha
68: }=g_{-\alpha }$ on the coupling constant, even though later on we equate
69: more of them for reasons to be explained. One of the most prominent feature
70: of these models is their integrability, meaning here the existence of a
71: sufficient number of conserved quantities (integrals of motion) $I_{k}$ in
72: involution. A standard technique to construct these charges, the so-called
73: isospectral deformation method, goes back almost forty years \cite{Lax}. It
74: consists of formulating Lax pair operators $L$ and $M$ as functions of the
75: dynamical variables $q_{i}$ and $p_{i}$ for $1\leq i\leq n$, which satisfy
76: the Lax equation $\dot{L}=\left[ L,M\right] $, upon the validity of the
77: classical equation of motion resulting from (\ref{H}). The Lax operator is
78: then the starting point for the construction of conserved charges of the
79: form $I_{k}=\func{tr}(L^{k})/k$, with $I_{2}\sim \mathcal{H}$, of classical
80: r-matrices \cite{STS,Bab,Avan,Avan2,Skly,braden}, spectral curves \cite%
81: {Krich,BB,Don,Hok} and various other important quantities. For root systems $%
82: \Delta $, which can be associated with a Lie algebra \textbf{g}, i.e.
83: crystallographic ones\footnote{%
84: For non-crystallographic root systems one may exploit the fact that they are
85: embedded into crystallographic ones and use a reduction procedure to obtain
86: a meaningful Lie algebraic operator \cite{FK}.}, a natural Ansatz is to
87: expand $L$ and $M$ in terms of the elements $H,E_{\alpha }$ of \textbf{g}
88: \begin{equation}
89: L=p\cdot H+\sum\limits_{\alpha \in \Delta }g_{\alpha }f(\alpha \cdot
90: q)E_{\alpha }\quad \text{and\quad }M=m\cdot H+\sum\limits_{\alpha \in \Delta
91: }g_{\alpha }h(\alpha \cdot q)E_{\alpha }. \label{LM}
92: \end{equation}
93: Alternatively, one may also expand $L$ and $M$ in terms of other
94: non-commuting objects, such as Coxeter transformations, and perform a
95: similar analysis \cite{Sas6,Sas5}. Substitution of these operators into the
96: Lax equation yields various constraining equations, which for a given
97: potential determine the functions $f(x)$ and $h(x)$ in $L$ and $M$ as
98: defined in equation (\ref{LM}). We choose here as convention the Cartan-Weyl
99: basis $\func{tr}(H_{i}H_{j})=\delta _{ij}$, $\func{tr}(E_{\alpha }E_{-\alpha
100: })=1$, which is consistent with the well-known commutation relations (e.g.
101: \cite{Hum})
102: \begin{equation}
103: \left[ H_{i},H_{j}\right] =0,~~~\left[ H_{i},E_{\alpha }\right] =\alpha
104: ^{i}E_{\alpha },~~~\left[ E_{\alpha },E_{-\alpha }\right] =\alpha \cdot H,~~~%
105: \left[ E_{\alpha },E_{\beta }\right] =\varepsilon _{\alpha ,\beta }E_{\alpha
106: +\beta }. \label{comm}
107: \end{equation}
108: Then by direct substitution it follows that the Lax equation holds once the
109: functions $f_{\alpha }(x)=g_{\alpha }f(x)$ and $h_{\alpha }(x)=g_{\alpha
110: }h(x)$ satisfy
111: \begin{equation}
112: g(x)=f^{\prime }(x),\quad \dot{p}=\sum\limits_{\alpha \in \Delta }\alpha
113: f_{\alpha }(\alpha \cdot q)h_{-\alpha }(-\alpha \cdot q),\quad \gamma \cdot
114: m=\sum\limits_{\substack{ \alpha ,\beta \in \Delta \\ \alpha +\beta =\gamma
115: }}\varepsilon _{\alpha ,\beta }\frac{f_{\alpha }(\alpha \cdot q)h_{\beta
116: }(\beta \cdot q)}{f_{\gamma }(\gamma \cdot q)}. \label{C1}
117: \end{equation}
118: Assuming further that $I_{2}=\mathcal{H}$ and the classical equation of
119: motions resulting from (\ref{H}), one obtains three additional equations
120: \begin{equation}
121: f(x)f(-x)=-V(x),\quad \dot{p}=-\frac{1}{2}\sum\limits_{\alpha \in \Delta
122: }\alpha g_{\alpha }^{2}V^{\prime }(\alpha \cdot q)\quad \text{and\quad }%
123: f(x)=\pm f(-x). \label{C2}
124: \end{equation}
125: For the stated potentials it is straightforward to use the factorizing
126: condition in (\ref{C2}) to determine $f(x)$, i.e. $1/\func{sn}(x)$, $1/\sinh
127: (x)$, $1/\sin (x)$ and $1/x,$ and therefore $g(x)$ by taking its derivative.
128: Thus to establish the integrability of the system (\ref{H}) reduces to the
129: question of whether the third set of equations in (\ref{C1}) admits a
130: solution for the vector $m$ and therefore guarantees the existence of the
131: operator $M$. As these equations are in general highly overdetermined, the
132: answer to this question depends crucially on the structure of the Lie
133: algebra. As was observed long time ago \cite{Func}, for given potentials as
134: in (\ref{H}) the relation
135: \begin{equation}
136: f(x)f^{\prime }(y)-f^{\prime }(x)f(y)=f(x+y)\left[ V(x)-V(y)\right]
137: \label{f}
138: \end{equation}
139: holds, such that the equations may be simplified further. Then the last set
140: of equations in (\ref{C1}) reduces to
141: \begin{equation}
142: g_{\gamma }(\gamma \cdot m)=\sum\limits_{\substack{ \alpha ,\beta \in \Delta
143: \\ \alpha +\beta =\gamma }}\varepsilon _{\alpha ,\beta }g_{\alpha }g_{\beta
144: }V(\alpha \cdot q)=\sum\limits_{\alpha \in \Delta }\varepsilon _{\alpha
145: ,\gamma }g_{\alpha }g_{\alpha +\gamma }V(\alpha \cdot q). \label{V}
146: \end{equation}
147: Clearly
148: \begin{equation}
149: m=\sum\limits_{\alpha \in \Delta }\sum\limits_{i=1}^{\ell }\varepsilon
150: _{\alpha ,\gamma _{i}}\frac{g_{\alpha }g_{\alpha +\gamma _{i}}}{g_{\gamma
151: _{i}}}V(\alpha \cdot q)\lambda _{i}, \label{m}
152: \end{equation}
153: with $\lambda _{i}$ being a fundamental weight, is a solution to (\ref{V})
154: when $\gamma _{i}$ is taken to be a simple root. However, for (\ref{m}) to
155: be a proper solution one also has to verify whether it solves (\ref{V}) for
156: the remaining roots. In summary, we can say that if the system (\ref{V}) can
157: be solved for the vector $m$ for a particular Lie algebra \textbf{g}, then
158: the system (\ref{H}) is classically integrable. The reverse statement does
159: not hold.
160:
161: \section{The $G_{2}$-Lax operator}
162:
163: It turns out that only when the algebra \textbf{g} in (\ref{LM}) is taken to
164: be $A_{\ell }$ one obtains directly, meaning that all quantities in (\ref{H}%
165: ) belong to $A_{\ell }$, a solution for the Lax operator with the condition
166: that the corresponding equation of motion holds. In all other cases one
167: needs to device alternative methods. The expressions for the $B_{\ell }$, $%
168: C_{\ell }$ and $D_{\ell }$-algebras were obtained \cite{OP6,OP2,Per} from $%
169: A_{2\ell }$-theories by specific transformations of the dynamical variables
170: and a subsequent constraint on certain coupling constants $g_{\alpha }$. For
171: the remaining algebras different types of techniques have been developed
172: \cite{OP6,OP2,Per,Hok,Sas6,Sas5}. Surprisingly for the Lie algebras $%
173: E_{6,7,8},F_{4}$ and $G_{2}$ no Lax pair was known until fairly recent \cite%
174: {Hok}.
175:
176: In particular, the latter, the $G_{2}$-Calogero-Moser model, constitutes a
177: standard simple example, since it can be viewed as the classical three-body
178: problem with a two and a three-body interaction term \cite{Wolf}. For a
179: specific realization of the roots (see below), the potential term in the
180: rational case simply reads
181: \begin{equation}
182: V(\tilde{q})=\frac{\tilde{g}_{s}^{2}}{2}\dsum\limits_{1\leq i<j\leq 3}\frac{1%
183: }{(\tilde{q}_{i}-\tilde{q}_{j})^{2}}+\frac{\tilde{g}_{l}^{2}}{2}\dsum\limits
184: _{\substack{ 1\leq i<j\leq 3 \\ i,j\neq k}}\frac{1}{(\tilde{q}_{i}+\tilde{q}%
185: _{j}-2\tilde{q}_{k})^{2}}~, \label{v2}
186: \end{equation}
187: with $\tilde{g}_{s},\tilde{g}_{l}$ being coupling constants. It appears to
188: be rather surprising that despite the simplicity of this model, apart from
189: the expressions in \cite{Hok}, a general simple formula for the Lax operator
190: along the line of the original work of \cite{OP6,OP2,Per} may not be found
191: in the literature. It will be the purpose of this paper to provide such a
192: simple expression.
193:
194: \subsection{Direct computation}
195:
196: Let us commence by directly analyzing equation (\ref{V}) for $G_{2}$. For
197: the explicit calculation we require first the roots of $G_{2}$. We recall
198: the general fact, see e.g. \cite{Hum2,PD1,FO}, that the entire root
199: system can be generated by $h-1$ successive actions of the Coxeter element $%
200: \sigma $ on bi-coloured simple roots, i.e. $\gamma =\pm $ $\alpha _{i}$,
201: with $h$ being the Coxeter number. It turns out to be convenient to
202: abbreviate the roots accordingly, that is we define $\sigma ^{p}\gamma
203: _{i}=:\alpha _{i,p}$ for $1\leq i\leq \ell =$rank \textbf{g }and $0\leq
204: p\leq h-1$.
205:
206: For $G_{2}$ we have $\ell =2$, $h=6$ and the $2\times 6=12$ roots are
207: computed to
208:
209: \begin{center}
210: $
211: \begin{tabular}{|c||c|c|c|c|c|c|}
212: \hline
213: $i\diagdown p$ & 0 & 1 & 2 & 3 & 4 & 5 \\ \hline\hline
214: 1 & \multicolumn{1}{r|}{$-\tilde{\alpha}_{1}$} & \multicolumn{1}{r|}{$-(2%
215: \tilde{\alpha}_{1}+\tilde{\alpha}_{2})$} & \multicolumn{1}{r|}{$-(\tilde{%
216: \alpha}_{1}+\tilde{\alpha}_{2})$} & \multicolumn{1}{r|}{$\tilde{\alpha}_{1}$}
217: & \multicolumn{1}{r|}{$2\tilde{\alpha}_{1}+\tilde{\alpha}_{2}$} &
218: \multicolumn{1}{r|}{$\tilde{\alpha}_{1}+\tilde{\alpha}_{2}$} \\ \hline
219: 2 & \multicolumn{1}{r|}{$\tilde{\alpha}_{2}$} & \multicolumn{1}{r|}{$-(3%
220: \tilde{\alpha}_{1}+\tilde{\alpha}_{2})$} & \multicolumn{1}{r|}{$-(3\tilde{%
221: \alpha}_{1}+2\tilde{\alpha}_{2})$} & \multicolumn{1}{r|}{$-\tilde{\alpha}%
222: _{2} $} & \multicolumn{1}{r|}{$3\tilde{\alpha}_{1}+\tilde{\alpha}_{2}$} &
223: \multicolumn{1}{r|}{$3\tilde{\alpha}_{1}+2\tilde{\alpha}_{2}$} \\ \hline
224: \end{tabular}
225: \medskip $
226:
227: The roots $\hat{\alpha}_{i,p}$ of the $\hat{\Delta}_{G_{2}}$-root system.
228: \end{center}
229:
230: \noindent In addition, we require the structure constants $\varepsilon
231: _{\alpha ,\beta }$ for the analysis of (\ref{V}). The square of the latter
232: can be fixed by means of the well-known formula $\varepsilon _{\alpha ,\beta
233: }^{2}=\alpha ^{2}n(m+1)/2$, where the integers $n,m$ are determined by the
234: so-called $\alpha $-string through $\beta $, i.e. the largest values for $%
235: n,m $ such that $\beta +n\alpha $ and $\beta -m\alpha $ are still roots, see
236: e.g. \cite{Bou}. The overall signs are in general not fixed and are subject
237: to convention. However, some consistency relations have to hold, resulting
238: from the anti-symmetry of the commutator, the reality condition and the
239: Jacobi identity when $\alpha +\beta =\gamma $%
240: \begin{eqnarray}
241: \varepsilon _{\alpha ,\beta } &=&-\varepsilon _{\beta ,\alpha }=\varepsilon
242: _{\beta ,-\gamma }=-\varepsilon _{-\gamma ,\beta }=-\varepsilon _{\alpha
243: ,-\gamma }=\varepsilon _{-\gamma ,\alpha }= \label{eps1} \\
244: -\varepsilon _{-\alpha ,-\beta } &=&\varepsilon _{-\beta ,-\alpha
245: }=-\varepsilon _{-\beta ,\gamma }=\varepsilon _{\gamma ,-\beta }=\varepsilon
246: _{-\alpha ,\gamma }=-\varepsilon _{\gamma ,-\alpha }. \label{eps2}
247: \end{eqnarray}
248: We choose here the short roots $\tilde{\alpha}_{1,p}$ to have length $\tilde{%
249: \alpha}^{2}=2$ and the long roots $\tilde{\alpha}_{2,p}$ to have length $%
250: \tilde{\alpha}^{2}=6$. As complete lists of structure constants are
251: difficult to find in the literature, we present here a consistent choice for
252: the $12\times 12=144$ structure constants, with 60 of them non-vanishing
253:
254: \begin{center}
255: \begin{tabular}{|r||r|r|r|r|r|r|r|r|r|r|r|r|}
256: \hline
257: $\tilde{\alpha}_{i,p}\diagdown \tilde{\alpha}_{j,q}$ & $\tilde{\alpha}_{1,0}$
258: & $\tilde{\alpha}_{1,1}$ & $\tilde{\alpha}_{1,2}$ & $\tilde{\alpha}_{1,3}$ &
259: $\tilde{\alpha}_{1,4}$ & $\tilde{\alpha}_{1,5}$ & $\tilde{\alpha}_{2,0}$ & $%
260: \tilde{\alpha}_{2,1}$ & $\tilde{\alpha}_{2,2}$ & $\tilde{\alpha}_{2,3}$ & $%
261: \tilde{\alpha}_{2,4}$ & $\tilde{\alpha}_{2,5}$ \\ \hline\hline
262: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,0}$} & $0$ & $\mu $ & $-2$ & $0$ & $%
263: 2$ & $\mu $ & $0$ & $0$ & $0$ & $-\mu $ & $-\mu $ & $0$ \\ \hline
264: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,1}$} & $-\mu $ & $0$ & $\mu $ & $2$
265: & $0$ & $-2$ & $0$ & $0$ & $0$ & $0$ & $\mu $ & $-\mu $ \\ \hline
266: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,2}$} & $2$ & $-\mu $ & $0$ & $\mu $
267: & $-2$ & $0$ & $-\mu $ & $0$ & $0$ & $0$ & $0$ & $\mu $ \\ \hline
268: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,3}$} & $0$ & $-2$ & $-\mu $ & $0$ &
269: $-\mu $ & $2$ & $\mu $ & $\mu $ & $0$ & $0$ & $0$ & $0$ \\ \hline
270: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,4}$} & $-2$ & $0$ & $2$ & $\mu $ & $%
271: 0$ & $-\mu $ & $0$ & $-\mu $ & $\mu $ & $0$ & $0$ & $0$ \\ \hline
272: \multicolumn{1}{|c||}{$\tilde{\alpha}_{1,5}$} & $-\mu $ & $2$ & $0$ & $-2$ &
273: $\mu $ & $0$ & $0$ & $0$ & $-\mu $ & $\mu $ & $0$ & $0$ \\ \hline
274: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,0}$} & $0$ & $0$ & $\mu $ & $-\mu $
275: & $0$ & $0$ & $0$ & $0$ & $-\mu $ & $0$ & $\mu $ & $0$ \\ \hline
276: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,1}$} & $0$ & $0$ & $0$ & $-\mu $ & $%
277: \mu $ & $0$ & $0$ & $0$ & $0$ & $\mu $ & $0$ & $-\mu $ \\ \hline
278: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,2}$} & $0$ & $0$ & $0$ & $0$ & $%
279: -\mu $ & $\mu $ & $\mu $ & $0$ & $0$ & $0$ & $\mu $ & $0$ \\ \hline
280: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,3}$} & $\mu $ & $0$ & $0$ & $0$ & $%
281: 0 $ & $-\mu $ & $0$ & $-\mu $ & $0$ & $0$ & $0$ & $\mu $ \\ \hline
282: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,4}$} & $\mu $ & $-\mu $ & $0$ & $0$
283: & $0$ & $0$ & $-\mu $ & $0$ & $\mu $ & $0$ & $0$ & $0$ \\ \hline
284: \multicolumn{1}{|c||}{$\tilde{\alpha}_{2,5}$} & $0$ & $\mu $ & $-\mu $ & $0$
285: & $0$ & $0$ & $0$ & $\mu $ & $0$ & $-\mu $ & $0$ & $0$ \\ \hline
286: \end{tabular}
287: \smallskip
288:
289: The $G_{2}$-structure constants $\varepsilon _{i,p,j,q}$ with $\mu =\sqrt{3}$%
290: .
291: \end{center}
292:
293: In order to obtain the previous table we only fixed five signs by convention
294: and determined the remaining ones by means of the relations (\ref{eps1}) and
295: (\ref{eps2}).
296:
297: Having assembled all necessary data, we can present a simple argument which
298: demonstrates that it is not possible to solve the constraint (\ref{V})
299: directly. Choosing all coupling constants $g_{\tilde{\alpha}}$ to be either $%
300: g_{s}$ or $g_{l}$ for $\tilde{\alpha}$ to be a short or long root,
301: respectively, we may for instance add up the equation (\ref{V}) for the
302: three choices $\gamma =\tilde{\alpha}_{1,0}$, $\gamma =\tilde{\alpha}_{1,2}$
303: and $\gamma =\tilde{\alpha}_{1,4}$ and find after cancellation of $g_{s}$
304: \begin{equation*}
305: (\tilde{\alpha}_{1,0}+\tilde{\alpha}_{1,2}+\tilde{\alpha}_{1,4})\cdot m=0=2%
306: \sqrt{3}g_{l}\left[ V(\tilde{\alpha}_{1,0}\cdot q)-V(\tilde{\alpha}%
307: _{2,0}\cdot q)+V(\tilde{\alpha}_{1,4}\cdot q)-V(\tilde{\alpha}_{2,4}\cdot q)%
308: \right] .
309: \end{equation*}%
310: Clearly, the right hand side is not zero in general, and hence we can not
311: solve the constraint (\ref{V}) directly. One reaches the same conclusion by
312: taking the expression in (\ref{m}) and trying to verify (\ref{V}) for $%
313: \gamma $ to be a non-simple root.
314:
315: However, if we switch off the two particle interaction, i.e. we take $%
316: g_{s}=0 $ in (\ref{v2}), we may construct a particular solution. Taking for
317: instance $\tilde{\alpha}_{1}=\varepsilon _{1}-\varepsilon _{2}$, $\tilde{%
318: \alpha}_{2}=-2\varepsilon _{1}+\varepsilon _{2}+\varepsilon _{2}$ as
319: concrete realization for the simple roots of $G_{2}$ in $\mathbb{R}^{3}$,
320: with $\varepsilon _{i}\cdot \varepsilon _{j}=\delta _{ij}$, and setting $%
321: g_{s}=0$, we can solve (\ref{V}) by
322: \begin{eqnarray}
323: m_{1} &=&0,\quad \\
324: m_{2} &=&\frac{g_{l}}{\sqrt{3}}\left[ V(\tilde{\alpha}_{2,0}\cdot q)+V(%
325: \tilde{\alpha}_{2,4}\cdot q)-2V(\tilde{\alpha}_{2,5}\cdot q)\right] , \\
326: m_{3} &=&\frac{g_{l}}{\sqrt{3}}\left[ 2V(\tilde{\alpha}_{2,4}\cdot q)-V(%
327: \tilde{\alpha}_{2,0}\cdot q)-V(\tilde{\alpha}_{2,5}\cdot q)\right] .
328: \end{eqnarray}
329: To find a general Lax operator which involves all terms of the potential one
330: needs to device other techniques.
331:
332: \subsection{The $G_{2}$-Lax operator from double reduction}
333:
334: The construction procedure is summarized by the following Dynkin diagrams:
335:
336: \unitlength=0.680000pt
337: \begin{picture}(300.0,70.00)(250.00,125.00)
338:
339: \put(455.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{6}$}}
340: \put(415.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{5}$}}
341: \put(375.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{4}$}}
342: \put(335.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{3}$}}
343: \put(295.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{2}$}}
344: \put(255.00,165.00){\makebox(0.00,0.00){${{\alpha} }_{1}$}}
345:
346: \put(420.00,150.00){\line(1,0){30.00}}
347: \put(380.00,150.00){\line(1,0){30.00}}
348: \put(340.00,150.00){\line(1,0){30.00}}
349: \put(300.00,150.00){\line(1,0){30.00}}
350: \put(260.00,150.00){\line(1,0){30.00}}
351:
352: \put(455.00,150.00){\circle*{10.00}}
353: \put(415.00,150.00){\circle*{10.00}}
354: \put(375.00,150.00){\circle*{10.00}}
355: \put(335.00,150.00){\circle*{10.00}}
356: \put(295.00,150.00){\circle*{10.00}}
357: \put(255.00,150.00){\circle*{10.00}}
358:
359: %%%%
360: \put(490.00,157.00){${\omega}, \tau$}
361: \put(490.00,147.00){$ \longrightarrow $}
362: %%%%
363: \put(545.00,150.00){\circle*{10.00}}
364: \put(585.00,150.00){\circle*{10.00}}
365: \put(625.00,150.00){\circle*{10.00}}
366:
367: \put(550.00,150.00){\line(1,0){30.00}}
368: \put(590.00,148.00){\line(1,0){30.00}}
369: \put(590.00,152.00){\line(1,0){30.00}}
370:
371: \put(612.00,150.00){\line(-1,-1){15.00}}
372: \put(612.00,150.00){\line(-1,1){15.00}}
373:
374:
375: \put(545.00,165.00){\makebox(0.00,0.00){${\hat{\alpha} }_{1}$}}
376: \put(585.00,165.00){\makebox(0.00,0.00){${\hat{\alpha} }_{2}$}}
377: \put(625.00,165.00){\makebox(0.00,0.00){${\hat{\alpha} }_{3}$}}
378:
379: %%%%
380: \put(665.00,157.00){$ {\hat{\omega}}$}
381: \put(660.00,147.00){$ \longrightarrow $}
382: %%%%
383: \put(715.00,150.00){\circle*{10.00}}
384: \put(755.00,150.00){\circle*{10.00}}
385:
386: \put(720.00,152.00){\line(1,0){30.00}}
387: \put(720.00,150.00){\line(1,0){30.00}}
388: \put(720.00,148.00){\line(1,0){30.00}}
389:
390:
391: \put(730.00,150.00){\line(1,1){15.00}}
392: \put(730.00,150.00){\line(1,-1){15.00}}
393:
394: \put(715.00,165.00){\makebox(0.00,0.00){${\tilde{\alpha} }_{1}$}}
395: \put(755.00,165.00){\makebox(0.00,0.00){${\tilde{\alpha} }_{2}$}}
396:
397:
398:
399: \end{picture}
400:
401: \noindent In the first step we start by folding the $A_{6}^{(1)}$-root
402: system to the $A_{6}^{(2)}$-root system by means of a map $\omega $.
403: Subsequently we constrain some of the coupling constants through a map $\tau
404: $, which amounts to an elimination of some particular roots of $A_{6}$, such
405: that we obtain two copies of a $B_{3}$-root system. From this system we
406: obtain the $G_{2}$-root system, by the action of a further map $\hat{\omega}$%
407: .
408:
409: The L-operator for the $G_{2}$-Calogero-Moser model then reads
410: \begin{eqnarray}
411: L(\tilde{p},\tilde{q}) &=&\omega ^{-1}\hat{\omega}^{-1}\tilde{p}\cdot
412: H+\sum\limits_{i=1}^{6}\sum\limits_{p=0}^{6}\tau (g_{i,p})f(\hat{\omega}%
413: \omega \alpha _{i,p}\cdot \tilde{q})E_{\alpha _{i,p}} \label{L} \\
414: &=&\omega ^{-1}\hat{\omega}^{-1}\tilde{p}\cdot
415: H+\sum\limits_{i=1}^{6}\sum\limits_{p=0}^{6}\tau (g_{i,p})f(\alpha
416: _{i,p}\cdot \omega ^{-1}\hat{\omega}^{-1}\tilde{q})E_{\alpha _{i,p}}
417: \end{eqnarray}
418: with $H_{i},E_{\alpha _{i,p}}\in A_{6}$. We shall now specify the maps $%
419: \omega $, $\hat{\omega}$, $\tau $ in detail, construct the corresponding $M$%
420: -operator and show that the Lax equation holds upon the validity of the $%
421: G_{2}$-equation of motion.
422:
423: \subsubsection{Reduction of the root systems}
424:
425: Let us precisely see how the root systems are embedded into each other as $%
426: \tilde{\Delta}_{G_{2}}\supset $ $\hat{\Delta}_{B_{3}}\supset \Delta _{A_{6}}$%
427: . We label the 42 roots of$\ A_{6}$-are as
428:
429: \begin{center}
430: $
431: \begin{tabular}{|c|ccccc|}
432: \hline
433: $i\diagdown p\!$ & \multicolumn{1}{||c}{0} & \multicolumn{1}{|c}{1} &
434: \multicolumn{1}{|c}{2} & \multicolumn{1}{|c}{3} & \multicolumn{1}{|c|}{4} \\
435: \hline\hline
436: 1 & \multicolumn{1}{|r|}{$\alpha _{1}\!$} & \multicolumn{1}{r|}{\underline{$%
437: \alpha _{2}+\alpha _{3}$}$\!$} & \multicolumn{1}{r|}{\underline{$\alpha
438: _{4}+\alpha _{5}$}$\!$} & \multicolumn{1}{r|}{$\alpha _{6}\!$} &
439: \multicolumn{1}{r|}{} \\ \hline
440: 2 & \multicolumn{1}{|r|}{$\!\!-\alpha _{2}\!$} & \multicolumn{1}{r|}{%
441: \underline{$\alpha _{1}+\alpha _{2}+\alpha _{3}$}$\!$} & \multicolumn{1}{r|}{%
442: $\mathbf{\alpha }_{2}\mathbf{+\alpha }_{3}\mathbf{+\alpha }_{4}\mathbf{%
443: +\alpha }_{5}\!$} & \multicolumn{1}{r|}{\underline{$\alpha _{4}+\alpha
444: _{5}+\alpha _{6}$}$\!$} & \multicolumn{1}{r|}{$-\alpha _{5}\!$} \\ \hline
445: 3 & \multicolumn{1}{|r|}{\underline{$\alpha _{3}$}$\!$} &
446: \multicolumn{1}{r|}{$\alpha _{1}+\alpha _{2}+\alpha _{3}+\alpha _{4}+\alpha
447: _{5}\!$} & \multicolumn{1}{r|}{$\alpha _{2}+\alpha _{3}+\alpha _{4}+\alpha
448: _{5}+\alpha _{6}\!$} & \multicolumn{1}{r|}{$\alpha _{4}\!$} &
449: \multicolumn{1}{r|}{} \\ \hline
450: 4 & \multicolumn{1}{|r|}{\underline{$-\alpha _{4}$}$\!$} &
451: \multicolumn{1}{r|}{$\alpha _{3}+\alpha _{4}+\alpha _{5}\!$} &
452: \multicolumn{1}{r|}{$\mathbf{\alpha }_{1}\mathbf{+\alpha }_{2}\mathbf{%
453: +\alpha }_{3}\mathbf{+\alpha }_{4}\mathbf{+\alpha }_{5}\mathbf{+\alpha }%
454: _{6}\!$} & \multicolumn{1}{r|}{$\alpha _{2}+\alpha _{3}+\alpha _{4}\!$} &
455: \multicolumn{1}{r|}{\underline{$-\alpha _{3}$}$\!$} \\ \hline
456: 5 & \multicolumn{1}{|r|}{$\alpha _{5}\!$} & \multicolumn{1}{r|}{$\alpha
457: _{3}+\alpha _{4}+\alpha _{5}+\alpha _{6}\!$} & \multicolumn{1}{r|}{$\alpha
458: _{1}+\alpha _{2}+\alpha _{3}+\alpha _{4}\!$} & \multicolumn{1}{r|}{$\alpha
459: _{2}\!$} & \multicolumn{1}{r|}{} \\ \hline
460: 6 & \multicolumn{1}{|r|}{$\!\!-\alpha _{6}\!$} & \multicolumn{1}{r|}{$\alpha
461: _{5}+\alpha _{6}\!$} & \multicolumn{1}{r|}{$\mathbf{\alpha }_{3}\mathbf{%
462: +\alpha }_{4}\!$} & \multicolumn{1}{r|}{$\alpha _{1}+\alpha _{2}\!$} &
463: \multicolumn{1}{r|}{$-\alpha _{1}\!$} \\ \hline
464: \end{tabular}
465: \ \medskip $
466:
467: The roots $\hat{\alpha}_{i,p}$ of the $\hat{\Delta}_{A_{6}}$-root system.
468: \end{center}
469:
470: We did not report values of $p\geq 4$, i.e. powers of the Coxeter element,
471: for those roots which can be obtained simply by a multiplication with $-1$
472: from a root of another orbit of the Coxeter element. For instance $\alpha
473: _{1,4}=-\alpha _{6,1}$, $\alpha _{1,5}=-\alpha _{6,2}$, etc. Let us now
474: specify the action of the folding map $\omega $, which acts on the simple
475: roots of $A_{6}$
476: \begin{equation}
477: \alpha _{i}\mapsto \omega (\alpha _{i})=\left\{
478: \begin{array}{ll}
479: \hat{\alpha}_{i\!} & \text{for \ }i=1,2,3 \\
480: \hat{\alpha}_{7-i}\qquad & \text{for \ }i=4,5,6.%
481: \end{array}
482: \right. \label{oh}
483: \end{equation}
484: Comparing the entire root system resulting in this manner with the $(\ell
485: =3)\times (h=6)=18$ roots of $B_{3}^{(1)}$
486:
487: \begin{center}
488: $
489: \begin{tabular}{|c||cccccc|}
490: \hline
491: $i\diagdown p$ & 0 & \multicolumn{1}{|c}{1} & \multicolumn{1}{|c}{2} &
492: \multicolumn{1}{|c}{3} & \multicolumn{1}{|c|}{4} & 5 \\ \hline\hline
493: 1 & \multicolumn{1}{|r|}{$\hat{\alpha}_{1\!}$} & \multicolumn{1}{r|}{$\hat{%
494: \alpha}_{2}+2\hat{\alpha}_{3}\!$} & \multicolumn{1}{r|}{$\hat{\alpha}_{1}+%
495: \hat{\alpha}_{2}\!$} & \multicolumn{1}{r|}{$-\hat{\alpha}_{1}\!$} &
496: \multicolumn{1}{r|}{$-(\hat{\alpha}_{2}+2\hat{\alpha}_{3})\!$} & $-(\hat{%
497: \alpha}_{1}+\hat{\alpha}_{2})$ \\ \hline
498: 2 & \multicolumn{1}{|r|}{$-\hat{\alpha}_{2}\!$} & \multicolumn{1}{r|}{$\!\!%
499: \hat{\alpha}_{1}+\hat{\alpha}_{2}+2\hat{\alpha}_{3}\!$} &
500: \multicolumn{1}{r|}{$\!\!\!\hat{\alpha}_{1}+2\hat{\alpha}_{2}+2\hat{\alpha}%
501: _{3\!}$} & \multicolumn{1}{r|}{$\hat{\alpha}_{2}\!$} & \multicolumn{1}{r|}{$%
502: \!\!\!-(\hat{\alpha}_{1}+\hat{\alpha}_{2}+2\hat{\alpha}_{3})\!$} & $\!\!\!-(%
503: \hat{\alpha}_{1}+2\hat{\alpha}_{2}+2\hat{\alpha}_{3})\!\!$ \\ \hline
504: 3 & \multicolumn{1}{|r|}{$\hat{\alpha}_{3}\!$} & \multicolumn{1}{r|}{$\hat{%
505: \alpha}_{1}+\hat{\alpha}_{2}+\hat{\alpha}_{3}\!$} & \multicolumn{1}{r|}{$%
506: \hat{\alpha}_{2}+\hat{\alpha}_{3}\!$} & \multicolumn{1}{r|}{$-\hat{\alpha}%
507: _{3}\!$} & \multicolumn{1}{r|}{$-(\hat{\alpha}_{1}+\hat{\alpha}_{2}+\hat{%
508: \alpha}_{3})\!$} & $-(\hat{\alpha}_{2}+\hat{\alpha}_{3})$ \\ \hline
509: \end{tabular}
510: \ \medskip $
511:
512: The roots $\hat{\alpha}_{i,p}$ of the $\hat{\Delta}_{B_{3}}$-root system.
513: \end{center}
514:
515: \noindent it is easy to see that the map (\ref{oh}) reduces the $A_{6}$-root
516: system to two copies of a $B_{3}$-root system plus 6 additional roots. We
517: marked the 3 positive roots in the table of $\Delta _{A_{6}}$, which are not
518: mapped to $\hat{\Delta}_{B_{3}}$ via $\omega $ in bold and underlined the
519: roots which are mapped to short roots in $\hat{\Delta}_{B_{3}}$. The
520: unmarked roots are therefore mapped to long roots.
521:
522: Having specified the map $\omega :$ $\Delta _{A_{6}}\rightarrow $ $\hat{%
523: \Delta}_{B_{3}}$ acting on the roots, it is important to see how this
524: reduction is translated to the action on the dynamical variables.\ For this
525: purpose\ we construct its \textquotedblleft inverse\textquotedblright\ map\ $%
526: \omega ^{-1}:$ $\hat{\Delta}_{B_{3}}\rightarrow $ $\Delta _{A_{6}}$, defined
527: via the inner product relation
528: \begin{equation}
529: \omega (\alpha _{i})\cdot \hat{\alpha}_{j}=\alpha _{i}\cdot \omega ^{-1}(%
530: \hat{\alpha}_{j}),\qquad \text{\quad\ }1\leq i\leq 6,1\leq j\leq 3.
531: \end{equation}
532: It is easy to verify that this is guaranteed by the map
533: \begin{equation}
534: \hat{\alpha}_{i}\mapsto \omega ^{-1}(\hat{\alpha}_{i})=\alpha _{i}+\alpha
535: _{7-i},\qquad \text{\quad\ }1\leq i\leq 3,
536: \end{equation}
537: when taking the conventions $\alpha ^{2}=2$, $\hat{\alpha}_{1}^{2}=\hat{%
538: \alpha}_{2}^{2}=2$ and $\hat{\alpha}_{3}^{2}=1$. Now we may utilize this map
539: to compute the reduction map when acting on the dynamical variables $q,p$%
540: \begin{equation}
541: q\rightarrow \omega ^{-1}(\hat{q})=\omega ^{-1}\left(
542: \dsum\nolimits_{i=1}^{3}\hat{y}_{i}\hat{\alpha}_{i}\right)
543: =(y_{1},y_{2}-y_{1},y_{3}-y_{2},0,y_{2}-y_{3},y_{1}-y_{2},-y_{1}), \label{q}
544: \end{equation}
545: where we used the aforementioned Euclidean realization for the $A_{6}$ root
546: system in $\mathbb{R}^{7}$. To make contact with the literature, we defined
547: a further set of variables through the relation $y_{i}=$ $%
548: \dsum\nolimits_{k=1}^{i}\hat{q}_{k}$, such that (\ref{q}) becomes
549: \begin{equation}
550: q\rightarrow (\hat{q}_{1},\hat{q}_{2},\hat{q}_{3},0,-\hat{q}_{3},-\hat{q}%
551: _{2},-\hat{q}_{1}).
552: \end{equation}
553: This is the reduction map as employed in \cite{OP6} (see also \cite{Per}).
554:
555: Likewise, we reduce next the $B_{3}$-root system to the $G_{2}$-root system
556: by means of the map $\hat{\omega}:$ $\hat{\Delta}_{B_{3}}\rightarrow $ $%
557: \tilde{\Delta}_{G_{2}}$
558: \begin{equation}
559: \hat{\alpha}_{i}\mapsto \hat{\omega}(\hat{\alpha}_{i})=\left\{
560: \begin{array}{ll}
561: \tilde{\alpha}_{1\!} & \text{for \ }i=1,3 \\
562: \tilde{\alpha}_{2\!}\qquad & \text{for \ }i=2.%
563: \end{array}%
564: \right.
565: \end{equation}%
566: The \textquotedblleft inverse\textquotedblright\ $\hat{\omega}^{-1}:$ $%
567: \tilde{\Delta}_{G_{2}}\rightarrow $ $\hat{\Delta}_{B_{3}}$ is obtained \
568: similarly as before, but now demanding
569: \begin{equation}
570: \hat{\omega}(\hat{\alpha}_{i})\cdot \tilde{\alpha}_{j}=\hat{\alpha}_{i}\cdot
571: \hat{\omega}^{-1}(\tilde{\alpha}_{j}),\qquad \text{\quad\ }1\leq i\leq
572: 3,1\leq j\leq 2.
573: \end{equation}%
574: We find
575: \begin{equation}
576: \tilde{\alpha}_{1}\mapsto \hat{\omega}^{-1}(\tilde{\alpha}_{1})=\hat{\alpha}%
577: _{1}+2\hat{\alpha}_{3}\quad \text{and\quad }\tilde{\alpha}_{2}\mapsto \hat{%
578: \omega}^{-1}(\tilde{\alpha}_{2})=3\hat{\alpha}_{2},
579: \end{equation}%
580: with the additional conventions $\tilde{\alpha}_{1}^{2}=2$ and $\tilde{\alpha%
581: }_{2}^{2}=6$. The reduction map, when acting on the dynamical variables $%
582: \hat{q},\hat{p}$, is now evaluated as
583: \begin{equation}
584: \hat{q}\rightarrow \omega ^{-1}(\tilde{q})=\omega ^{-1}\left(
585: \dsum\nolimits_{i=1}^{2}\tilde{y}_{i}\hat{\alpha}_{i}\right) =(\tilde{y}%
586: _{1},3\tilde{y}_{2}-\tilde{y}_{1},2\tilde{y}_{1}-3\tilde{y}_{2})=(-\tilde{q}%
587: _{1}^{^{\prime }},\tilde{q}_{2}^{^{\prime }},\tilde{q}_{3}^{^{\prime }}),
588: \end{equation}%
589: where we realized the $B_{3}$-roots in $\mathbb{R}^{3}$ as $\hat{\alpha}%
590: _{1\!}=\varepsilon _{1}-\varepsilon _{2}$, $\hat{\alpha}_{2}=\varepsilon
591: _{2}-\varepsilon _{3}$ and $\hat{\alpha}_{3}=\varepsilon _{3}$. The
592: introduction of the variables $\tilde{q}_{i}^{^{\prime }}$ translates into
593: the usual $G_{2}$ constraint $\tilde{q}_{1}+\tilde{q}_{2}+\tilde{q}_{3}=0$,
594: which corresponds to considering the three particle system in the center of
595: mass frame. In fact, it will be convenient to introduce yet another set of
596: variables, namely $\tilde{q}_{1}^{^{\prime }}=\tilde{q}_{2}-\tilde{q}_{3}$, $%
597: \tilde{q}_{2}^{^{\prime }}=\tilde{q}_{3}-\tilde{q}_{1}$ and $\tilde{q}%
598: _{3}^{^{\prime }}=\tilde{q}_{1}-\tilde{q}_{2}$ to make proper contact with (%
599: \ref{v2}).
600:
601: Let us now see how to utilize these maps in order to reduce the
602: corresponding potentials.
603:
604: \subsubsection{Reduction of the potentials}
605:
606: Our starting point is the $A_{6}$-potential term in the form
607: \begin{equation}
608: V_{A_{6}}(q)=\frac{1}{2}\dsum\limits_{i=1}^{6}\dsum\limits_{p=0}^{6}g_{i%
609: \!,p}^{2}V(\alpha _{i\!,p}\cdot q).~
610: \end{equation}%
611: Below we confirm the known fact that the Lax equation dictates that all
612: coupling constants have to be taken to be the same, i.e. $g_{i\!,p}=g$. Then
613: $V_{A_{6}}$ is mapped into a $B_{3}$-potential of the form
614: \begin{equation}
615: V_{B_{3}}(\hat{q})=\frac{1}{2}\dsum\limits_{i=1}^{6}\dsum\limits_{p=0}^{6}%
616: \tau (g_{i\!,p})^{2}V(\omega \alpha _{i\!,p}\cdot \hat{q})=\frac{\hat{g}^{2}%
617: }{2}\dsum\limits_{p=0}^{5}\left[ \dsum\limits_{i=1}^{2}V(\hat{\alpha}%
618: _{i,p}\cdot \hat{q})+2V(\hat{\alpha}_{3,p}\cdot \hat{q})\right] , \label{B3}
619: \end{equation}%
620: by means of the reduction map $\omega $ as specified above (\ref{oh}) and
621: the map $\tau $ acting on the coupling constants as
622: \begin{equation}
623: g_{i\!,p}\mapsto \tau (g_{i\!,p})=\left\{ \!\!\!%
624: \begin{array}{ll}
625: 0 & \text{for }g_{1,5},g_{3,5},g_{5,5},g_{2,2},g_{4,2},g_{6,2} \\
626: \hat{g} & \text{for }%
627: g_{1,1},g_{1,2},g_{2,1},g_{2,3},g_{3,0},g_{3,3},g_{4,0},g_{4,4},g_{5,4},g_{5,6},g_{6,5},g_{6,6}
628: \\
629: \frac{\hat{g}}{\sqrt{2}}~ & \text{otherwise}.%
630: \end{array}%
631: \right. \label{gg}
632: \end{equation}%
633: The map $\tau $ serves here to eliminate the aforementioned additional six
634: roots of $A_{6}$ which have no counterpart in $B_{3}$ and at the same time
635: it establishes a relationship\ between the coupling constants depending on
636: whether the potential involves roots which are mapped to long or short
637: roots. This relation is dictated by the Lax pair construction, and coincides
638: with the one found by Olshanetsky and Perelomov in \cite{OP6}, or \cite{Per}
639: p. 181. Note that taking merely the invariance of the Coxeter transformation
640: as a guiding principle one could choose the coupling constants in front of
641: the term involving long or short roots to be independent, see e.g.
642: discussion in \cite{FK}. However, integrability demands the dependence of
643: the coupling constants to be as stated in\ (\ref{gg}), such that one has
644: only one coupling constant at ones disposal for the $B_{\ell }$-theories.
645:
646: Next we map the $B_{3}$-potential to the $G_{2}$-potential with the help of $%
647: \hat{\omega}$ and find
648: \begin{equation}
649: \!V_{G_{2}}\!=\!\frac{\tilde{g}^{2}}{2}\dsum\limits_{p=0}^{5}\left[
650: \dsum\limits_{i=1}^{2}V(\hat{\omega}\hat{\alpha}_{i,p}\cdot \tilde{q})+2V(%
651: \hat{\omega}\hat{\alpha}_{3,p}\cdot \tilde{q})\right] =\frac{\tilde{g}^{2}}{2%
652: }\dsum\limits_{p=0}^{5}\left[ 3V(\tilde{\alpha}_{1\!,p}\cdot \tilde{q})+V(%
653: \tilde{\alpha}_{3\!,p}\cdot \tilde{q})\right] .
654: \end{equation}
655: In this last reduction step we did not need to specify any additional map
656: acting on the coupling constants as the embedding is now on-to-one. For
657: consistency we re-named, however, $\hat{g}$ to $\tilde{g}$.
658:
659: \subsubsection{Constraints from the Lax operator}
660:
661: Having convinced ourselves that the potentials can be reduce properly, we
662: still have to establish that the Lax operator exists and is indeed of the
663: form (\ref{L}). We commence by explicitly solving the constraint (\ref{V})
664: for $A_{6}$. In principle there are now $42\times 42$ possible structure
665: constants $\varepsilon _{i,p,j,q}$, with 420 of them non-vanishing. We only
666: report here our conventions for the signs of the 35 essentials and leave it
667: to the reader to obtain the remaining ones by means of the equations (\ref%
668: {eps1}) and (\ref{eps2})
669: \begin{eqnarray}
670: \varepsilon _{1,0,1,1} &=&\varepsilon _{1,0,2,2}=\varepsilon
671: _{1,0,3,2}=\varepsilon _{1,1,1,2}=\varepsilon _{1,1,2,3}=\varepsilon
672: _{1,1,3,3}=\varepsilon _{1,2,1,3}=\varepsilon _{1,2,2,4}=\varepsilon
673: _{1,3,1,4}=\quad \quad ~~~ \label{e1} \\
674: \varepsilon _{1,3,2,5} &=&\varepsilon _{1,3,3,5}=\varepsilon
675: _{1,4,1,5}=\varepsilon _{1,4,2,6}=\varepsilon _{1,5,1,6}=\varepsilon
676: _{1,5,2,0}=\varepsilon _{1,5,3,0}=\varepsilon _{1,6,1,0}=\varepsilon
677: _{1,6,2,1}= \\
678: \varepsilon _{1,6,3,1} &=&\varepsilon _{2,0,1,1}=\varepsilon
679: _{2,0,2,2}=\varepsilon _{2,1,1,2}=\varepsilon _{2,1,2,3}=\varepsilon
680: _{2,2,1,3}=\varepsilon _{2,2,2,4}=\varepsilon _{2,3,1,4}=\varepsilon
681: _{2,3,2,5}= \\
682: \varepsilon _{2,4,1,5} &=&\varepsilon _{2,4,2,6}=\varepsilon
683: _{2,5,1,6}=\varepsilon _{2,5,2,0}=\varepsilon _{2,6,1,0}=\varepsilon
684: _{2,6,2,1}=\varepsilon _{3,0,1,2}=\varepsilon _{3,2,1,4}=1. \label{e4}
685: \end{eqnarray}%
686: In fact, we verified that these choices coincide with the constants obtained
687: directly from (\ref{comm}) when using the vector representation of $A_{6}$.
688: With (\ref{e1})-(\ref{e4}) and the above mentioned realization for the
689: simple roots, the constraint\ (\ref{V}) may be solved by
690: \begin{equation}
691: m_{i}^{A_{6}}=g\sum_{\substack{ k=1 \\ k\neq i}}^{7}V_{A_{6}}(q_{k}-q_{i}),
692: \end{equation}%
693: which is known for some time \cite{Per}. Next we may solve (\ref{V}) for the
694: reduced systems and find
695: \begin{equation}
696: m_{i}^{B_{3}}=\sqrt{2}\hat{g}\sum_{\substack{ k=1 \\ k\neq i}}^{7}\tau
697: _{ki}V_{A_{6}}(\hat{\omega}^{-1}(\hat{q}_{k})-\hat{\omega}^{-1}(\hat{q}_{i}))
698: \end{equation}%
699: with $\tau _{ki}=1$ except for $\tau _{4i}=2$, $\tau _{(8-i)i}=0$ and
700: \begin{equation}
701: m_{i}^{G_{2}}=\sqrt{2}g\sum_{\substack{ k=1 \\ k\neq i}}^{7}\tau
702: _{ki}V_{A_{6}}(\omega ^{-1}\hat{\omega}^{-1}(\tilde{q}_{k})-\omega ^{-1}\hat{%
703: \omega}^{-1}(\tilde{q}_{i})).
704: \end{equation}%
705: Having presented explicit solutions to the equation (\ref{V}), we have
706: established the existence of the operators $L$ and $M$. In particular (\ref%
707: {L}) and the corresponding equation for $M$ satisfy the Lax equation up to
708: the validity of the $G_{2}$ equations of motion.
709:
710: \subsubsection{Conserved Charges}
711:
712: It is instructive to consider an explicit matrix representation for the
713: L-operator. Using the standard vector representation of $A_{6}$ it follows
714: directly form (\ref{L})
715: \begin{equation}
716: \!L=\frac{\lambda }{\sqrt{2}}\left(
717: \begin{array}{ccccccc}
718: \frac{\sqrt{2}}{\lambda }\tilde{p}_{32} & f(\tilde{q}_{12}) & f(\tilde{q}%
719: _{31}) & \sqrt{2}f(\tilde{q}_{32}) & f(\tilde{q}_{13,2}) & f(\tilde{q}%
720: _{3,12}) & 0 \\
721: f(\tilde{q}_{21}) & \frac{\sqrt{2}}{\lambda }\tilde{p}_{31} & f(\tilde{q}%
722: _{23,1}) & \sqrt{2}f(\tilde{q}_{31}) & f(\tilde{q}_{32}) & 0 & f(\tilde{q}%
723: _{3,12}) \\
724: f(\tilde{q}_{13}) & f(\tilde{q}_{1,23}) & \frac{\sqrt{2}}{\lambda }\tilde{p}%
725: _{12} & \sqrt{2}f(\tilde{q}_{12}) & 0 & f(\tilde{q}_{32}) & f(\tilde{q}%
726: _{13,2}) \\
727: \sqrt{2}f(\tilde{q}_{23}) & \sqrt{2}f(\tilde{q}_{13}) & \sqrt{2}f(\tilde{q}%
728: _{21}) & 0 & \sqrt{2}f(\tilde{q}_{12}) & \sqrt{2}f(\tilde{q}_{31}) & \sqrt{2}%
729: f(\tilde{q}_{32}) \\
730: f(\tilde{q}_{2,13}) & f(\tilde{q}_{23}) & 0 & \sqrt{2}f(\tilde{q}_{21}) &
731: \frac{\sqrt{2}}{\lambda }\tilde{p}_{21} & f(\tilde{q}_{23,1}) & f(\tilde{q}%
732: _{31}) \\
733: f(\tilde{q}_{12,3}) & 0 & f(\tilde{q}_{23}) & \sqrt{2}f(\tilde{q}_{13}) & f(%
734: \tilde{q}_{1,23}) & \frac{\sqrt{2}}{\lambda }\tilde{p}_{13} & f(\tilde{q}%
735: _{12}) \\
736: 0 & f(\tilde{q}_{12,3}) & f(\tilde{q}_{2,13}) & \sqrt{2}f(\tilde{q}_{23}) &
737: f(\tilde{q}_{13}) & f(\tilde{q}_{21}) & \frac{\sqrt{2}}{\lambda }\tilde{p}%
738: _{23}%
739: \end{array}%
740: \right)
741: \end{equation}%
742: where we abbreviated $\tilde{p}_{ij}:=\tilde{p}_{i}-\tilde{p}_{j}$, $\tilde{q%
743: }_{ij}:=\tilde{q}_{i}-\tilde{q}_{j}$, $\tilde{q}_{ij,k}:=\tilde{q}_{i}+%
744: \tilde{q}_{j}-2\tilde{q}_{k}$ and $\tilde{q}_{k,ij}:=2\tilde{q}_{k}-\tilde{q}%
745: _{i}-\tilde{q}_{j}$. By simple matrix multiplication we compute from this
746: the integrals of motion of the form $I_{k}=\func{tr}(L^{k})/k$
747: \begin{eqnarray}
748: I_{1} &=&0,\quad I_{2}=\mathcal{H},\quad I_{3}=0,\quad I_{4}=\frac{1}{4}%
749: I_{2}^{2},\quad I_{5}=0,\quad I_{6}\neq 0,\quad I_{7}=0, \\
750: I_{8} &=&I_{2}I_{6}-\frac{5}{96}I_{2}^{4},\quad I_{9}=0,\quad I_{10}=\frac{3%
751: }{4}I_{2}^{2}I_{6}-\frac{1}{20}I_{2}^{5},\quad I_{11}=0,\quad \\
752: I_{12} &=&\frac{5}{12}I_{2}^{3}I_{6}+\frac{1}{2}I_{6}^{2}-\frac{19}{576}%
753: I_{2}^{6},\quad I_{13}=0,\ldots
754: \end{eqnarray}%
755: Thus we find non-vanishing and algebraically independent charges $I_{k}$
756: only for $k$ being a degree of $G_{2}$, that is 2 and 6, see e.g. \cite{Hum2}%
757: . Computing the $L$-operator of the $B_{3}$-Calogero-Moser model we verify
758: the same property.
759:
760: \section{Conclusions}
761:
762: We have constructed a simple expression for the $L$-operator of the $G_{2}$%
763: -Calogero-Moser model. We established that the constraint (\ref{V}) may
764: indeed be solved and therefore that the $L$ and $M$-operator do exist. The
765: operators are expanded in terms of $H,E_{\alpha }\in A_{6}$. The Lax
766: equation constructed from these operators, with coefficients subject to the
767: stated reduction maps, holds up to the validity of the $G_{2}$ equations of
768: motion. To find a solution to (\ref{V}) and thus guaranteeing the
769: integrability of the model, we found that we are only permitted to have one
770: coupling constant in the $G_{2}$-theory, instead of two, what might be
771: expected from demanding invariance under the Coxeter group. In our approach
772: this feature is inherited from the $B_{3}$-theory. Such a behaviour was also
773: observed in \cite{Hok}. It would be interesting to investigate if this
774: limitation can be overcome by other techniques or to establish that this is
775: really an intrinsic feature of the model. Furthermore, from the explicit
776: computations of numerous integrals of motion, we found that they are only
777: algebraically independent and non-vanishing if their degree is equal to the
778: degree of the corresponding Lie algebra.
779:
780: In our discussion we did not appeal to the explicit form of the potential
781: and only require the relation (\ref{f}) to be satisfied. This means that the
782: models covered here are of the general form $V(x)\sim 1/\func{sn}^{2}(x)$
783: including a dependence of spectral parameter $\mu $. It would be interesting
784: to investigate the properties of the spectral curves $R(k,\mu )=\det \left[ k%
785: \mathbb{I}-L(\mu )\right] $ in the spirit of \cite{Krich,BB,Don,Hok},
786: resulting from the $L$-operator presented here.\medskip
787:
788: \noindent \textbf{Acknowledgments}. A.F. is grateful to the Departamento de
789: Matem\'{a}tica, F.C.T. Universidade do Algarve, for extremely kind
790: hospitality and to Christian Korff for many useful discussions. This work
791: was supported by the FCT project POCI/MAT/58452/2004.
792:
793: \begin{thebibliography}{10}
794:
795: \bibitem{Cal1}
796: F.~Calogero,
797: \newblock Ground state of one-dimensional N body system,
798: \newblock J. Math. Phys. {\bf 10}, 2197--2200 (1969).
799:
800: \bibitem{Cal2}
801: F.~Calogero,
802: \newblock Solution of a three-body problem in one-dimension,
803: \newblock J. Math. Phys. {\bf 10}, 2191--2196 (1969).
804:
805: \bibitem{Cal3}
806: F.~Calogero,
807: \newblock Solution of the one-dimensional N body problems with quadratic and/or
808: inversely quadratic pair potentials,
809: \newblock J. Math. Phys. {\bf 12}, 419--436 (1971).
810:
811: \bibitem{Suth3}
812: B.~Sutherland,
813: \newblock Exact results for a quantum many body problem in one- dimension,
814: \newblock Phys. Rev. {\bf A4}, 2019--2021 (1971).
815:
816: \bibitem{Suth4}
817: B.~Sutherland,
818: \newblock Exact results for a quantum many body problem in one- dimension. 2,
819: \newblock Phys. Rev. {\bf A5}, 1372--1376 (1972).
820:
821: \bibitem{Mo}
822: J.~Moser,
823: \newblock Three integrable Hamiltonian systems connected with isospectral
824: deformations,
825: \newblock Adv. Math. {\bf 16}, 197--220 (1975).
826:
827: \bibitem{OP2}
828: M.~A. Olshanetsky and A.~M. Perelomov,
829: \newblock Classical integrable finite dimensional systems related to Lie
830: algebras,
831: \newblock Phys. Rept. {\bf 71}, 313--400 (1981).
832:
833: \bibitem{Per}
834: A.~M. Perelomov,
835: \newblock Integrable Systems of classical Mechanics and Lie Algebras, Vol I,
836: \newblock Birkh{\"a}user Verlag, Berlin (1990).
837:
838: \bibitem{Brink}
839: L.~Brink, A.~Turbiner, and N.~Wyllard,
840: \newblock Hidden Algebras of the (super) Calogero and Sutherland models,
841: \newblock J. Math. Phys. {\bf 39}, 1285--1315 (1998).
842:
843: \bibitem{IR}
844: S.~Iso and S.~J. Rey,
845: \newblock Collective field theory of the fractional quantum hall edge state and
846: the Calogero-Sutherland model,
847: \newblock Phys. Lett. {\bf B352}, 111--116 (1995).
848:
849: \bibitem{CFT1}
850: E.~Bergshoeff and M.~A. Vasiliev,
851: \newblock The Calogero model and the Virasoro symmetry,
852: \newblock Int. J. Mod. Phys. {\bf A10}, 3477--3496 (1995).
853:
854: \bibitem{CFT2}
855: R.~Caracciolo, A.~Lerda, and G.~R. Zemba,
856: \newblock The W (1+infinity) effective theory of the Calogero- Sutherland model
857: and Luttinger systems,
858: \newblock Phys. Lett. {\bf B352}, 304 (1995).
859:
860: \bibitem{CFT3}
861: V.~Marotta and A.~Sciarrino,
862: \newblock From Vertex Operators to Calogero-Sutherland Models,
863: \newblock Nucl. Phys. {\bf B476}, 351--373 (1996).
864:
865: \bibitem{CFT4}
866: M.~Cadoni, P.~Carta, and D.~Klemm,
867: \newblock Large N limit of Calogero-Moser models and conformal field theories,
868: \newblock Phys. Lett. {\bf B503}, 205--208 (2001).
869:
870: \bibitem{Cardy}
871: J.~Cardy,
872: \newblock Calogero-Sutherland model and bulk-boundary correlations in conformal
873: field theory,
874: \newblock Phys. Lett. {\bf B582}, 121--126 (2004).
875:
876: \bibitem{Lax}
877: P.~Lax,
878: \newblock Integrals of nonlinear equations and solitary waves,
879: \newblock Commun. Pure Appl. Math. {\bf 21}, 467--490 (1968).
880:
881: \bibitem{STS}
882: M.~A. Semenov-Tian-Shansky,
883: \newblock What is a classical $r$-matrix?,
884: \newblock Funct. Anal. Appl. {\bf 17}, 259--272 (1983).
885:
886: \bibitem{Bab}
887: O.~Babelon and C.~M. Viallet,
888: \newblock Hamiltonian structures and Lax equations,
889: \newblock Phys. Lett. {\bf B237}, 411--416 (1990).
890:
891: \bibitem{Avan}
892: J.~Avan and M.~Talon,
893: \newblock Classical R matrix structure for the Calogero model,
894: \newblock Phys. Lett. {\bf B303}, 33--37 (1993).
895:
896: \bibitem{Avan2}
897: J.~Avan, O.~Babelon, and M.~Talon,
898: \newblock Construction of the classical R matrices for the Toda and Calogero
899: models,
900: \newblock Alg. Anal. {\bf 6}, 67--89 (1994).
901:
902: \bibitem{Skly}
903: E.~K. Sklyanin,
904: \newblock Dynamical r matrices for the elliptic Calogero-Moser model,
905: \newblock Alg. Anal. {\bf 6}, 227--237 (1994).
906:
907: \bibitem{braden}
908: H.~W. Braden,
909: \newblock A Conjectured R-Matrix,
910: \newblock J. Phys. {\bf A31}, 1733--1741 (1999).
911:
912: \bibitem{Krich}
913: I.~M. Krichever,
914: \newblock Elliptic solutions of the Kadomtsev-Petviashvili equation and
915: many-body problems,
916: \newblock Funct. Anal. Appl. {\bf 14}, 282--290 (1980).
917:
918: \bibitem{BB}
919: E.~Belokolos, A.~Bobenko, V.~Enolski, A.~Its, and V.~Matveev,
920: \newblock Algebro-geometrical integration of non-linear differential equations,
921: \newblock Springer Verlag, Berlin Heidelberg New York (1994).
922:
923: \bibitem{Don}
924: R.~Donagi and E.~Witten,
925: \newblock Supersymmetric Yang-Mills Theory And Integrable Systems,
926: \newblock Nucl. Phys. {\bf B460}, 299--334 (1996).
927:
928: \bibitem{Hok}
929: E.~D'Hoker and D.~H. Phong,
930: \newblock Calogero-Moser Lax Pairs with Spectral Parameter for General Lie
931: Algebras,
932: \newblock Nucl. Phys. {\bf B530}, 537--610 (1998).
933:
934: \bibitem{FK}
935: A.~Fring and C.~Korff,
936: \newblock Non-crystallographic reduction of generalized Calogero-Moser models,
937: \newblock CMS 07/05, hep-th/0509152 .
938:
939: \bibitem{Sas6}
940: A.~J. Bordner, E.~Corrigan, and R.~Sasaki,
941: \newblock Calogero-Moser models. I: A new formulation,
942: \newblock Prog. Theor. Phys. {\bf 100}, 1107--1129 (1998).
943:
944: \bibitem{Sas5}
945: A.~J. Bordner, E.~Corrigan, and R.~Sasaki,
946: \newblock Generalised Calogero-Moser models and universal Lax pair operators,
947: \newblock Prog. Theor. Phys. {\bf 102}, 499--529 (1999).
948:
949: \bibitem{Hum}
950: J.~E. Humphreys,
951: \newblock Introduction to Lie Algebras and Representation Theory,
952: \newblock Springer, Berlin (1972).
953:
954: \bibitem{Func}
955: F.~Calogero,
956: \newblock On a functional equation connected with integrable many-body
957: problems,
958: \newblock Nuovo Cim. Lett. {\bf 16}, 77--80 (1976).
959:
960: \bibitem{OP6}
961: M.~A. Olshanetsky and A.~M. Perelomov,
962: \newblock Completely integrable Hamiltonian systems connected with semisimple
963: Lie algebras,
964: \newblock Invent. Math. {\bf 37}, 93--108 (1976).
965:
966: \bibitem{Wolf}
967: J.~Wolfes,
968: \newblock On the three-body linear problem with three body interaction,
969: \newblock J. Math. Phys. {\bf 15}, 1420--1424 (1974).
970:
971: \bibitem{Hum2}
972: J.~E. Humphreys,
973: \newblock Reflection Groups and Coxeter Groups,
974: \newblock Cambridge University Press, Cambridge (1990).
975:
976: \bibitem{PD1}
977: P.~Dorey,
978: \newblock Root systems and purely elastic S matrices I+II,
979: \newblock Nucl. Phys. {\bf B358}, 654--676 (1991),
980: \newblock Nucl. Phys. {\bf B374}, 741--762 (1992).
981:
982:
983: \bibitem{FO}
984: A.~Fring and D.~I. Olive,
985: \newblock The Fusing rule and the scattering matrix of affine Toda theory,
986: \newblock Nucl. Phys. {\bf B379}, 429--447 (1992).
987:
988: \bibitem{Bou}
989: N.~Bourbaki,
990: \newblock Elements of Mathematics, Lie Groups and Lie Algebras, Chapters 4-6,
991: \newblock Springer, Berlin (2002).
992:
993: \end{thebibliography}
994:
995:
996: %\bibliographystyle{phreport}
997: %\bibliography{Ref}
998:
999: \end{document}
1000: