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

Technische Samenvatting: q-Analoog van het Deel van Graad Nul van een Rationele Cherednik-algebra en Gegeneraliseerde Van Diejen-Hamiltonianen

Probleemstelling
Rationele Cherednik-algebra's (RCA) geassocieerd met eindige Coxeter-groepen zijn diepgaand bestudeerde objecten met sterke verbindingen met integrabele systemen, meetkunde en representatietheorie. Specifiek is de deelalgebra van graad nul van de type $GL_n$ RCA, aangeduid als $H_{\mathfrak{gl}_n}$, bekend als een vlakke deformatie van een gekruist product van de symmetrische groep en het beeld van de universele enveloppe-algebra $U(\mathfrak{gl}_n)$ onder de Jordan–Schwinger (oscillator) representatie. Deze algebra is verbonden met het rationale Calogero–Moser systeem en bezit een niet-triviale centrum gegenereerd door de Euler-operator.

Het artikel adresseert de kloof in het generaliseren van deze specifieke structuur naar de $q$-gedeformeerde setting. Hoewel de double affine Hecke-algebra (DAHA) van type $GL_n$ dient als de natuurlijke $q$-analoog van de volledige rationele Cherednik-algebra, streven de auteurs ernaar om een specifieke deelalgebra te definiëren en te karakteriseren binnen de DAHA die een $q$-analoog is van het deel van graad nul van de RCA, genoteerd als $H_{\mathfrak{gl}_n}$. Voorts beogen de auteurs deze algebraïsche structuur te gebruiken om nieuwe integrabele systemen te construeren, specifiek de generalisatie van het Macdonald–Ruijsenaars systeem met externe Morse-potentialen (Van Diejen-systemen) naar gevallen met twee verschillende typen interagerende deeltjes.

Methodologie
De auteurs hanteren een constructieve algebraïsche benadering binnen het kader van de double affine Hecke-algebra (DAHA) van type $GL_n$, aangeduid als $H_n = H_{n,q,\tau}$, die afhankelijk is van parameters $q$ en $\tau$.

1. Algebraïsche Constructie:

   • De auteurs definiëren een deelalgebra $H_{\mathfrak{gl}_n} \subset H_n$ gegenereerd door de Hecke-generatoren $T_k$, de $Y$-elementen $Y_i^{\pm 1}$, en specifieke operatoren $e_{ij} = X_i D_j$ (voor $i \neq j$).
   • De operatoren $D_i$ worden geconstrueerd als $\tau$-deformaties van de $q$-Dunkl-operatoren (of $q$-oscillator operatoren) $d_i$ uit de Jordan–Schwinger representatie van de kwantumgroep $U_q(\mathfrak{gl}_n)$. Specifiek zijn $D_i$ gedefinieerd via conjugatie van een centraal element $D_n$ door producten van Hecke-generatoren.
   • De auteurs stellen vast dat $H_{\mathfrak{gl}_n}$ een vlakke $\tau$-deformatie is van de algebra $\mathcal{A} = \mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n)/I_q)$, waarbij $\rho$ de $q$-oscillator representatie is.

2. Structurele Analyse:

   • Definiërende Relaties: Het artikel leidt alle definiërende relaties voor $H_{\mathfrak{gl}_n}$ af, inclusief commutatierelaties tussen $T_k$ en $e_{ij}$, en relaties tussen $Y_i^{\pm 1}$ en $e_{ij}$. Deze relaties worden getoond de relaties van de algebra $\mathcal{A}$ te deformeren wanneer $\tau \to 1$.
   • PBW-basis: Een expliciete Poincaré–Birkhoff–Witt (PBW) basis wordt geconstrueerd, waarmee wordt bewezen dat de algebra een vrije module is over de ring van Laurent-polynomen in $\tau$.
   • Centrum en Centralisatoren: Het centrum $Z(H_{\mathfrak{gl}_n})$ wordt geïdentificeerd als zijnde gegenereerd door het element $e_Y = \prod_{i=1}^n Y_i$. De auteurs bewijzen een dubbele centralisator-eigenschap: $H_{\mathfrak{gl}_n}$ is de centralisator van $e_Y$ in een grotere algebra $\mathcal{A}$ (gegenereerd door $T_k, X_i, Y_i^{\pm 1}, D_i$), en omgekeerd is de centralisator van $H_{\mathfrak{gl}_n}$ in $\mathcal{A}$ het centrum $Z(H_{\mathfrak{gl}_n})$. Dit wordt geïnterpreteerd als een $q$-analoog van de $(\mathfrak{gl}_n, \mathfrak{gl}_1)$ Howe-dualiteit.

3. Toepassing op Integrabele Systemen:

   • De auteurs introduceren een gegeneraliseerde familie van commuterende elementen $D_i^{(l_1, l_2)}$ afhankelijk van gehele parameters $l_1, l_2$ en complexe coëfficiënten $a_j$.
   • Door symmetrische combinaties van deze operatoren te beschouwen die werken op de ruimte van symmetrische Laurent-polynomen, leiden zij families van commuterende $q$-verschiloperatoren af.
   • Een "restrictie"-procedure (het nemen van een limiet waarbij het zwaartepunt naar oneindig wordt gestuurd) wordt toegepast op deze operatoren om de afhankelijkheid van de symmetrische groep-actie te elimineren, wat resulteert in expliciete Hamiltonianen.

Belangrijkste Bijdragen en Resultaten

• Definitie van $H_{\mathfrak{gl}_n}$: Het artikel definieert succesvol een deelalgebra $H_{\mathfrak{gl}_n}$ binnen de DAHA die dient als de $q$-analoog van het deel van graad nul van de rationele Cherednik-algebra. Er wordt aangetoond dat deze algebra in de limiet $q \to 1$ reduceert tot de bekende deelalgebra van graad nul van de RCA.
• Structurele Stellingen: De auteurs bieden een volledige presentatie van $H_{\mathfrak{gl}_n}$ met expliciete definiërende relaties en een PBW-basis. Zij bewijzen dat $H_{\mathfrak{gl}_n}$ een vlakke $\tau$-deformatie is van het gekruiste product $\mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n))$.
• Centrum en Dualiteit: Het centrum wordt bewezen gegenereerd te worden door het enkele inverteerbare element $e_Y$. De gevestigde dubbele centralisator-eigenschap relateert $H_{\mathfrak{gl}_n}$ aan de grotere algebra $\mathcal{A}$, wat de klassieke resultaat generaliseert waar het deel van graad nul de centralisator is van de Euler-operator.
• Nieuwe Integrabele Hamiltonianen:
  • De auteurs leiden nieuwe commuterende $q$-verschiloperatoren af die het Macdonald–Ruijsenaars systeem met Morse-potentialen (Van Diejen-systemen) generaliseren.
  • Cruciaal is dat zij deze systemen uitbreiden om twee typen interagerende deeltjes te bevatten. De resulterende Hamiltonian (vergelijking 6.16) beschrijft een systeem met $N_1$ deeltjes van één type en $N_2$ deeltjes van een ander type, die interageren via zowel intra-type als inter-type potentialen, evenals externe Morse-type velden.
  • De differentiële limiet ($q \to 1$) van deze operatoren herstelt een generalisatie van het hyperbolische Calogero–Moser systeem met Morse-potentialen naar de geval van twee deeltjestypen, waarmee het eerdere werk van Inozemtsev en Van Diejen wordt uitgebreid.

Significantie
Het artikel claimt significantie op twee primaire gebieden:

1. Algebraïsche Theorie: Het vult een structurele kloof in de theorie van Cherednik-algebra's door rigoureus een $q$-analoog van het deel van graad nul te definiëren en te karakteriseren. Dit biedt een nieuwe verbinding tussen de double affine Hecke-algebra, kwantumgroepen en integrabele systemen, specifiek door de lens van de Jordan–Schwinger representatie. De identificatie van de dubbele centralisator-eigenschap biedt een nieuw perspectief op de representatietheorie van deze algebra's, analoog aan de Howe-dualiteit.

2. Integrabele Systemen: Het werk biedt een systematische algebraïsche methode voor het genereren van nieuwe integrabele verschilvergelijkingen. Door het Van Diejen-systeem uit te breiden tot het bevatten van twee verschillende typen deeltjes, generaliseren de auteurs de gedeformeerde Macdonald–Ruijsenaars operatoren naar settings met externe velden. Dit breidt het bekende landschap van integrabele modellen uit, waarbij Hamiltonianen worden geboden die een discreet spectrum bezitten in het kwantumgeval en integrabiliteit behouden door een grote familie van commuterende geconserveerde grootheden. De resultaten verbinden de representatietheorie van DAHAs direct met de constructie van complexe veel-deeltjes kwantumsystemen.