$q$-Analogue of the degree zero part of a rational Cherednik algebra and generalised Van Diejen's Hamiltonians

Resumen Técnico: El $q$-análogo de la parte de grado cero de un álgebra de Cherednik racional y los Hamiltonianos generalizados de Van Diejen

Planteamiento del Problema
Las álgebras de Cherednik racionales (RCA) asociadas con grupos de Coxeter finitos son objetos bien estudiados con conexiones profundas con sistemas integrables, geometría y teoría de la representación. Específicamente, el subálgebra de grado cero del álgebra RCA de tipo $\mathfrak{gl}_n$, denotada como $H_{\mathfrak{gl}_n}$, es conocida por ser una deformación plana de un producto cruzado que involucra al grupo simétrico y la imagen de la envolvente universal de la $\mathfrak{gl}_n$ bajo la representación de Jordan–Schwinger (oscilador). Esta álgebra está vinculada al sistema de Calogero–Moser racional y posee un centro no trivial generado por el operador de Euler.

El artículo aborda la brecha en la generalización de esta estructura específica al entorno $q$-deformado. Si bien el álgebra de Hecke doble afín (DAHA) de tipo $GL_n$ sirve como el $q$-análogo natural del álgebra de Cheredkica racional completa, los autores buscan definir y caracterizar un subálgebra específica, $H_{\mathfrak{gl}_n}$, dentro de la DAHA que actúe como un $q$-análogo de la parte de grado cero de la RCA. Además, los autores pretenden utilizar esta estructura algebraica para construir nuevos sistemas integrables, específicamente generalizando el sistema de Macdonald–Ruijsenaars con potenciales de Morse externos (sistemas de Van Diejen) a casos que involucran dos tipos distintos de partículas interactuantes.

Metodología
Los autores emplean un enfoque algebraico constructivo dentro del marco del álgebra de Hecke doble afín (DAHA) de tipo $GL_n$, denotada como $H_n = H_{n,q,\tau}$, la cual depende de los parámetros $q$ y $\tau$.

1. Construcción Algebraica:

   • Los autores definen un subálgebra $H_{\mathfrak{gl}_n} \subset H_n$ generada por los generadores de Hecke $T_k$, los elementos $Y_i^{\pm 1}$, y operadores específicos $e_{ij} = X_i D_j$ (para $i \neq j$).
   • Los operadores $D_i$ se construyen como $\tau$-deformaciones de los operadores $q$-Dunkl (o operadores $q$-osciladores) $d_i$ de la representación de Jordan–Schwinger del grupo cuántico $U_q(\mathfrak{gl}_n)$. Específicamente, los $D_i$ se definen mediante la conjugación de un elemento central $D_n$ por productos de generadores de Hecke.
   • Los autores establecen que $H_{\mathfrak{gl}_n}$ es una deformación $\tau$-plana del álgebra $\mathcal{A} = \mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n)/I_q)$, donde $\rho$ es la representación $q$-osciladora.

2. Análisis Estructural:

   • Relaciones Definitorias: El artículo deriva todas las relaciones definitorias para $H_{\mathfrak{gl}_n}$, incluyendo las relaciones de conmutación entre $T_k$ y $e_{ij}$, y las relaciones entre $Y_i^{\pm 1}$ y $e_{ij}$. Se demuestra que estas relaciones deforman las relaciones del álgebra $\mathcal{A}$ cuando $\tau \to 1$.
   • Base PBW: Se construye una base explícita de Poincaré–Birkhoff–Witt (PBW) para $H_{\mathfrak{gl}_n}$, demostrando que el álgebra es un módulo libre sobre el anillo de polinomios de Laurent en $\tau$.
   • Centro y Centralizadores: El centro $Z(H_{\mathfrak{gl}_n})$ se identifica como siendo generado por el elemento $e_Y = \prod_{i=1}^n Y_i$. Los autores prueban una propiedad de doble centralizador: $H_{\mathfrak{gl}_n}$ es el centralizador de $e_Y$ en un álgebra mayor $\mathcal{A}$ (generada por $T_k, X_i, Y_i^{\pm 1}, D_i$), y recíprocamente, el centralizador de $H_{\mathfrak{gl}_n}$ en $\mathcal{A}$ es el centro $Z(H_{\mathfrak{gl}_n})$. Esto se interpreta como un $q$-análogo de la dualidad de Howe $(\mathfrak{gl}_n, \mathfrak{gl}_1)$.

3. Aplicación a Sistemas Integrables:

   • Los autores introducen una familia generalizada de elementos conmutantes $D_i^{(l_1, l_2)}$ que dependen de parámetros enteros $l_1, l_2$ y coeficientes complejos $a_j$.
   • Al considerar combinaciones simétricas de estos operadores actuando sobre el espacio de polinomios de Laurent simétricos, derivan familias de operadores de diferencia conmutantes.
   • Se aplica un procedimiento de "restricción" (tomando un límite donde el centro de masas se envía al infinito) a estos operadores para eliminar la dependencia de la acción del grupo simétrico, obteniendo Hamiltonianos explícitos.

Contribuciones Clave y Resultados

• Definición de $H_{\mathfrak{gl}_n}$: El artículo define con éxito un subálgebra $H_{\mathfrak{gl}_n}$ dentro de la DAHA que sirve como el $q$-análogo de la parte de grado cero del álgebra de Cherednik racional. Se muestra que en el límite $q \to 1$, esta álgebra reduce a la subálgebra de grado cero conocida de la RCA.
• Teoremas Estructurales: Los autores proporcionan una presentación completa de $H_{\mathfrak{gl}_n}$ con relaciones definitorias explícitas y una base PBW. Demuestran que $H_{\mathfrak{gl}_n}$ es una deformación $\tau$-plana del producto cruzado $\mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n))$.
• Centro y Dualidad: Se prueba que el centro es generado por el único elemento invertible $e_Y$. La propiedad de doble centralizador establecida relaciona $H_{\mathfrak{gl}_n}$ con el álgebra mayor $\mathcal{A}$, generalizando el resultado clásico donde la parte de grado cero es el centralizador del operador de Euler.
• Nuevos Hamiltonianos Integrables:
  • Los autores derivan nuevos operadores de diferencia conmutantes que generalizan el sistema de Macdonald–Ruijsenaars con potenciales de Morse (sistemas de Van Diejen).
  • Crucialmente, extienden estos sistemas para incluir dos tipos de partículas interactuantes. El Hamiltoniano resultante (Ecuación 6.16) describe un sistema con $N_1$ partículas de un tipo y $N_2$ partículas de otro tipo, interactuando a través de potenciales tanto intra-tipo como inter-tipo, así como campos externos de tipo Morse.
  • El límite diferencial ($q \to 1$) de estos operadores recupera una generalización del sistema de Calogero–Moser hiperbólico con potenciales de Morse al caso de dos tipos de partículas, extendiendo el trabajo previo de Inozemtsev y Van Diejen.

Significancia
El artículo reclama significancia en dos áreas primarias:

1. Teoría Algebraica: Llena un vacío estructural en la teoría de las álgebras de Cherednik al definir y caracterizar rigurosamente el $q$-análogo de la subálgebra de grado cero. Esto proporciona un nuevo vínculo entre el álgebra de Hecke doble afín, los grupos cuánticos y los sistemas integrables, específicamente a través de la lente de la representación de Jordan–Schwinger. La identificación de la propiedad de doble centralizador ofrece una nueva perspectiva sobre la teoría de la representación de estas álgebras, análoga a la dualidad de Howe.

2. Sistemas Integrables: El trabajo proporciona un método algebraico sistemático para generar nuevas ecuaciones de diferencia integrables. Al extender el sistema de Van Diejen para incluir dos tipos distintos de partículas, los autores generalizan los operadores deformados de Macdonald–Ruijsenaars a entornos con campos externos. Esto extiende el panorama conocido de los modelos integrables, ofreciendo Hamiltonianos que poseen espectros discretos en el caso cuántico y preservan la integrabilidad a través de una gran familia de cantidades conservadas conmutantes. Los resultados conectan la teoría de la representación de las DAHAs directamente con la construcción de sistemas cuánticos complejos de muchos cuerpos.