New Combinatorial Formulae for Nested Bethe Vectors

Sintesi Tecnica: Nuove Formule Combinatorie per i Vettori di Bethe Annidati

Enunciato del Problema
Il saggio affronta il problema della costruzione di esplicite formule combinatorie per funzioni di peso vettoriali (note anche come vettori di Bethe off-shell annidati) associate a moduli di valutazione su $Y(\mathfrak{gl}_n)$. Mentre il lavoro precedente, nello specifico il riferimento [25], forniva formule basate su ricorsioni indotte da imbedimenti di algebre di Lie standard ($\mathfrak{gl}_1 \oplus \mathfrak{gl}_{n-1} \subset \mathfrak{gl}_n$ e $\mathfrak{gl}_{n-1} \oplus \mathfrak{gl}_1 \subset \mathfrak{gl}_n$), tali approcci producono ordinamenti specifici di fattori non commutativi nella espansione della base. Gli autori identificano che certi ordinamenti naturali, cruciali per applicazioni come quelle trovate nel riferimento [8], non sono coperti dalle formule esistenti. Nello specifico, per $n=4$, l'ordinamento della base che coinvolge il prodotto $e_{32}e_{31}e_{42}e_{41}e_{21}e_{43}$ (dove $e_{ij}$ sono i generatori standard di $\mathfrak{gl}_n$) non può essere derivato dalle strutture ricorsive utilizzate in [25]. Questo ordinamento deriva da imbedimenti più generali della forma $\mathfrak{gl}_m \oplus \mathfrak{gl}_{n-m} \subset \mathfrak{gl}_n$ con $1 < m < n-1$.

Metodologia
Gli autori si concentrano sul caso $n=4$ per fornire un'esposizione chiara e dettagliata dei calcoli senza introdurre una notazione eccessivamente ingombrante, osservando che i risultati si generalizzano a un $n$ arbitrario (come dettagliato in un lavoro separato, riferimento [5]). La metodologia procede come segue:

1. Definizioni e Setup: Il saggio utilizza la matrice $R$ razionale standard e la serie generatrice $T^a_b(u)$ per lo Yangian $Y(\mathfrak{gl}_n)$. Le funzioni di peso vettoriali sono definite come specifici entry matriciali di prodotti di operatori $T$ e matrici $R$ che agiscono su un vettore singolare $v$.
2. Proprietà di Scomposizione (Splitting Property): Uno strumento centrale è la "proprietà di scomposizione" delle funzioni di peso (Proposizione 4.1). Questa proprietà permette la decomposizione della funzione di peso $B_\xi(t)v$ di $Y(\mathfrak{gl}_4)$ in una somma che coinvolge funzioni di peso di moduli di $Y(\mathfrak{gl}_2)$. Questa decomposizione si basa su imbedimenti specifici $\phi_2$ e $\psi_2$ di $Y(\mathfrak{gl}_2)$ in $Y(\mathfrak{gl}_4)$ e sull'uso di moduli di valutazione $L(x)$ e $\bar{L}(x)$ sullo spazio vettoriale $\mathbb{C}^2$.
3. Riduzione Ricorsiva: Il problema viene ridotto al calcolo delle funzioni di peso per $Y(\mathfrak{gl}_2)$ agendo su prodotti tensoriali di moduli di valutazione. Le proposizioni 5.2 e 5.3 forniscono formule esplicite per queste funzioni di peso di $Y(\mathfrak{gl}_2)$ che agiscono su vettori singolari, utilizzando operatori di simmetrizzazione e specifiche funzioni razionali $F_I(t, z)$.
4. Algebra Combinatoria: La sfida tecnica principale consiste nel sommare su sottoinsiemi di indici per corrispondere al desiderato ordinamento della base. Gli autori impiegano un framework algebrico che coinvolge due copie commutanti del gruppo simmetrico $S_k$ e funzioni razionali (Sezione 7). Definiscono elementi $\hat{s}_a$ che soddisfano le relazioni di braid e utilizzano lemmi riguardanti i coefficienti $X_{\sigma, \tau}(z)$ di tali elementi per dimostrare che la somma su tutte le coppie di sottoinsiemi $(I, J)$ con cardinalità fissate e dimensione dell'intersezione fornisce una funzione simmetrica indipendente dalla specifica scelta dei sottoinsiemi.
5. Dimostrazione della Proposizione 5.1: Gli autori forniscono una dimostrazione dettagliata di una proposizione chiave riguardante il coprodotto della funzione di peso di $Y(\mathfrak{gl}_2)$ (Appendice A), essenziale per i passaggi ricorsivi.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 5.7, che fornisce una nuova formula combinatoria in forma chiusa per l'espansione della funzione di peso vettoriale $B_\xi(t)v$ nel modulo di valutazione $V(x)$ su $Y(\mathfrak{gl}_4)$.

• Nuovo Ordinamento della Base: La formula espande la funzione di peso nella base:
  $$\{ e_{32}^{m_{32}} e_{31}^{m_{31}} e_{42}^{m_{42}} e_{41}^{m_{41}} e_{21}^{m_{21}} e_{43}^{m_{43}} v \mid m_{ij} \in \mathbb{Z}_{\ge 0} \}$$
  Questo ordinamento corrisponde all'imbedimento $\mathfrak{gl}_2 \oplus \mathfrak{gl}_2 \subset \mathfrak{gl}_4$, che era inaccessibile tramite i metodi in [25].
• Coefficienti Espliciti: I coefficienti $F_{\vec{m}}(t)$ nella espansione sono dati esplicitamente in termini di funzioni razionali simmetrizzate $G_{i,j}(t)$ (Equazione 5.13). Queste funzioni coinvolgono prodotti di termini dipendenti dai parametri spettrali $t$, dal punto di valutazione $x$, e dai pesi $\Lambda_i$ del vettore singolare.
• Indipendenza dalla Scelta: Gli autori dimostrano che la risultante espressione simmetrizzata è indipendente dalla specifica scelta delle sequenze di indici $i$ e $j$ usate per definire i sottoinsiemi, garantendo la ben-definita della formula.
• Razionale vs. Trigonometrico: Il saggio restringe la propria analisi al caso razionale (moduli Yangian). Gli autori notano esplicitamente che l'estensione di queste specifiche formule combinatorie al caso trigonometrico (algebra di loop quantistica $U_q(\widehat{\mathfrak{gl}}_n)$) incontra un ostacolo dovuto alla essenziale non-commutatività dei $q$-analoga dei generatori $e_{ij}$ per $i > j$ sotto gli imbedimenti generali considerati.

Significatività
Il saggio rivendica la sua significatività fornendo una generalizzazione necessaria delle esistenti formule combinatorie per i vettori di Bethe annidati. Affrontando il caso di imbedimenti generali $\mathfrak{gl}_m \oplus \mathfrak{gl}_{n-m} \subset \mathfrak{gl}_n$, gli autori consentono la costruzione di funzioni di peso in ordinamenti di base che sono richiesti per certe applicazioni in modelli integrabili quantistici e teoria delle rappresentazioni, che erano precedentemente fuori portata. La derivazione dettagliata per il caso $n=4$ funge da modello trasparente per il caso generale $n$, che è trattato nel riferimento [5]. Il lavoro evidenzia anche i limiti degli attuali metodi quando applicati al caso trigonometrico, identificando un ostacolo algebrico specifico che impedisce una diretta $q$-deformazione di queste nuove espressioni combinatorie.