Algebraic (super-)integrability from commutants of subalgebras in universal enveloping algebras
Rutwig Campoamor-Stursberg, Danilo Latini, Ian Marquette, Yao-Zhong Zhang
Abstract
Abstract Starting from a purely algebraic procedure based on the commutant of a subalgebra in the universal enveloping algebra of a given Lie algebra, the notion of algebraic Hamiltonians and the constants of the motion generating a polynomial symmetry algebra is proposed. The case of the special linear Lie algebra <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mrow> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:math> is discussed in detail, where an explicit basis for the commutant with respect to the Cartan subalgebra is obtained, and the order of the polynomial algebra is computed. It is further shown that, with an appropriate realization of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mrow> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:math> , this provides an explicit connection with the generic superintegrable model on the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:math> -dimensional sphere <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:msup> <mml:mrow> <mml:mi mathvariant="double-struck">S</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>−</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> </mml:math> and the related Racah algebra R ( n ). In particular, we show explicitly how the models on the two-sphere and three-sphere and the associated symmetry algebras can be obtained from the quadratic and cubic polynomial algebras generated by the commutants defined in the enveloping algebra of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mrow> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:math> and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mrow> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>4</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:math> , respectively. The construction is performed in the classical (or Poisson-Lie) context, where the Berezin bracket replaces the commutator.