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

Sintesi Tecnica: l'Analogo-$q$ della Parte di Grado Zero di un Algebra di Cherednik Razionale e gli Hamiltoniani Generalizzati di Van Diejen

Enunciato del Problema
Gli algebra di Cherednik razionali (RCA) associati a gruppi di Coxeter finiti sono oggetti ampiamente studiati con profonde connessioni con i sistemi integrabili, la geometria e la teoria delle rappresentazioni. Nello specifico, il sottialgebra di grado zero dell'RCA di tipo $\mathfrak{gl}_n$, denotato $H_{\mathfrak{gl}_n}$, è noto essere una deformazione piatta di un prodotto incrociato che coinvolge il gruppo simmetrico e l'immagine dell'algebra universale dell'inviluppo $U(\mathfrak{gl}_n)$ sotto la rappresentazione di Jordan–Schwinger (oscillatore). Questo algebra è legato al sistema di Calogero–Moser razionale e possiede un centro non banale generato dall'operatore di Euler.

Il presente articolo affronta la lacuna nella generalizzazione di questa specifica struttura al contesto $q$-deformato. Sebbene l'algebra di Hecke affine doppia (DAHA) di tipo $GL_n$ funga da naturale analogo-$q$ dell'intero algebra di Cherednik razionale, gli autori cercano di definire e caratterizzare un sottialgebra specifica, $H_{\mathfrak{gl}_n}$, all'interno della DAHA che agisca come un analogo-$q$ della parte di grado zero dell'RCA. Inoltre, gli autori mirano a utilizzare questa struttura algebrica per costruire nuovi sistemi integrabili, specificamente generalizzando il sistema di Macdonald–Ruijsenaars con potenziali Morse esterni (sistemi di Van Diejen) a casi che coinvolgono due distinti tipi di particelle interagenti.

Metodologia
Gli autori impiegano un approccio algebrico costruttivo all'interno del quadro dell'algebra di Hecke affine doppia (DAHA) di tipo $GL_n$, denotata $H_n = H_{n,q,\tau}$, che dipende dai parametri $q$ e $\tau$.

1. Costruzione Algebrica:

   • Gli autori definiscono un sottialgebra $H_{\mathfrak{gl}_n} \subset H_n$ generato dai generatori di Hecke $T_k$, dagli elementi $Y$-elementi $Y_i^{\pm 1}$ e da specifici operatori $e_{ij} = X_i D_j$ (per $i \neq j$).
   • Gli operatori $D_i$ sono costruiti come $\tau$-deformazioni degli operatori $q$-Dunkl (o operatori $q$-oscillatore) $d_i$ dalla rappresentazione di Jordan–Schwinger del gruppo quantistico $U_q(\mathfrak{gl}_n)$. Nello specifico, i $D_i$ sono definiti tramite la coniugazione di un elemento centrale $D_n$ da prodotti di generatori di Hecke.
   • Gli autori stabiliscono che $H_{\mathfrak{gl}_n}$ è una $\tau$-deformazione piatta dell'algebra $\mathcal{A} = \mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n)/I_q)$, dove $\rho$ è la rappresentazione $q$-oscillatore.

2. Analisi Strutturale:

   • Relazioni Definitorie: L'articolo deriva tutte le relazioni definitorie per $H_{\mathfrak{gl}_n}$, incluse le relazioni di commutazione tra $T_k$ ed $e_{ij}$, e le relazioni tra $Y_i^{\pm 1}$ ed $e_{ij}$. Si dimostra che queste relazioni deformano le relazioni dell'algebra $\mathcal{A}$ quando $\tau \to 1$.
   • Base PBW: Viene costruita una base esplicita di Poincaré–Birkhoff–Witt (PBW) per $H_{\mathfrak{gl}_n}$, provando che l'algebra è un modulo libero sul ring dei polinomi di Laurent in $\tau$.
   • Centro e Centralizzatori: Il centro $Z(H_{\mathfrak{gl}_n})$ viene identificato come generato dall'elemento $e_Y = \prod_{i=1}^n Y_i$. Gli autori provano una proprietà di doppio centralizzatore: $H_{\mathfrak{gl}_n}$ è il centralizzatore di $e_Y$ in un'algebra più grande $\mathcal{A}$ (generata da $T_k, X_i, Y_i^{\pm 1}, D_i$), e viceversa, il centralizzatore di $H_{\mathfrak{gl}_n}$ in $\mathcal{A}$ è il centro $Z(H_{\mathfrak{gl}_n})$. Ciò è interpretato come un $q$-analogo della dualità di Howe $(\mathfrak{gl}_n, \mathfrak{gl}_1)$.

3. Applicazione ai Sistemi Integrabili:

   • Gli autori introducono una famiglia generalizzata di elementi commutanti $D_i^{(l_1, l_2)}$ dipendenti da parametri interi $l_1, l_2$ e coefficienti complessi $a_j$.
   • Considerando combinazioni simmetriche di questi operatori che agiscono sullo spazio dei polinomi di Laurent simmetrici, derivano famiglie di operatori di differenza $q$-commutanti.
   • Una procedura di "restrizione" (prendendo un limite in cui il centro di massa viene mandato all'infinito) viene applicata a questi operatori per eliminare la dipendenza dall'azione del gruppo simmetrico, ottenendo Hamiltoniani espliciti.

Contributi Chiave e Risultati

• Definizione di $H_{\mathfrak{gl}_n}$: L'articolo definisce con successo un sottialgebra $H_{\mathfrak{gl}_n}$ all'interno della DAHA che funge da analogo-$q$ della parte di grado zero dell'algebra di Cherednik razionale. Si mostra che nel limite $q \to 1$, questo algebra riduce alla nota sottialgebra di grado zero dell'RCA.
• Teoremi Strutturali: Gli autori forniscono una presentazione completa di $H_{\mathfrak{gl}_n}$ con relazioni definitorie esplicite e una base PBW. Provano che $H_{\mathfrak{gl}_n}$ è una $\tau$-deformazione piatta del prodotto incrociato $\mathbb{C}S_n \ltimes \rho(U_q(\mathfrak{gl}_n))$.
• Centro e Dualità: Il centro è provato essere generato dal singolo elemento invertibile $e_Y$. La proprietà del doppio centralizzatore stabilita mette in relazione $H_{\mathfrak{gl}_n}$ con la più grande algebra $\mathcal{A}$, generalizzando il risultato classico in cui la parte di grado zero è il centralizzatore dell'operatore di Euler.
• Nuovi Hamiltoniani Integrabili:
  • Gli autori derivano nuove famiglie di operatori di differenza commutanti che generalizzano il sistema di Macdonald–Ruijsenaars con potenziali Morse (sistemi di Van Diejen).
  • Fondamentalmente, estendono questi sistemi per includere due tipi di particelle interagenti. L'Hamiltoniano risultante (Equazione 6.16) descrive un sistema con $N_1$ particelle di un tipo e $N_2$ particelle di un altro tipo, che interagiscono tramite potenziali sia intra-tipo che inter-tipo, oltre a campi di tipo Morse esterni.
  • Il limite differenziale ($q \to 1$) di questi operatori recupera una generalizzazione del sistema Calogero–Moser iperbolico con potenziali Morse al caso con due tipi di particelle, estendendo il lavoro precedente di Inozemtsev e Van Diejen.

Significato
L'articolo rivendica importanza in due aree primarie:

1. Teoria Algebrica: Colma una lacuna strutturale nella teoria degli algebra di Cherednik definendo rigorosamente e caratterizzando l'analogo-$q$ del sottialgebra di grado zero. Ciò fornisce un nuovo legame tra l'algebra di Hecke affine doppia, i gruppi quantistici e i sistemi integrabili, specificamente attraverso la lente della rappresentazione di Jordan–Schwinger. L'identificazione della proprietà del doppio centralizzatore offre una nuova prospettiva sulla teoria delle rappresentazioni di questi algebra, analogamente alla dualità di Howe.

2. Sistemi Integrabili: Il lavoro fornisce un metodo algebrico sistematico per generare nuove equazioni di differenza integrabili. Estendendo il sistema di Van Diejen per includere due distinti tipi di particelle, gli autori generalizzano gli operatori deformati di Macdonald–Ruijsenaars a contesti con campi esterni. Questo estende il panorama noto degli modelli integrabili, offrendo Hamiltoniani che possiedono spettri discreti nel caso quantistico e preservano l'integrabilità attraverso una vasta famiglia di quantità conservate commutanti. I risultati collegano direttamente la teoria delle rappresentazioni delle DAHA alla costruzione di complessi sistemi quantistici a molti corpi.