Quantum Mechanics on Lie Groups: I. Noncommutative Fourier Transforms

Sintesi Tecnica: Meccanica Quantistica su Gruppi di Lie I: Trasformate di Fourier Noncommutative

Enunciato del Problema
Il saggio affronta la sfida fondamentale di stabilire un quadro generale per la meccanica quantistica su gruppi di Lie $G$, dove lo spazio delle configurazioni è un gruppo di Lie (potenzialmente a dimensione infinita, sebbene il presente lavoro assuma dimensioni finite). Mentre la dinamica classica su tali spazi è ben descritta dalle equazioni di Lie-Poisson o di Euler-Arnold, la loro quantizzazione rimane sottile. Un ostacolo primario è la transizione dallo "spazio delle posizioni" (la varietà del gruppo $G$) allo "spazio dei momenti". A differenza del caso standard su $\mathbb{R}^n$, lo spazio dei momenti duale a un gruppo di Lie è noncommutativo a causa della struttura del gruppo stesso.

Esistono due definizioni concorrenti di spazio dei momenti:

1. Discreta/Teoretico-rappresentazionale: Basata sul teorema di Peter-Weyl, dove lo spazio dei momenti è l'insieme delle rappresentazioni irriducibili (discreto per i gruppi compatti). Questa è naturale per le serie di Fourier, ma inadatta per le funzioni di Wigner e gli integrali di cammino, che richiedono coordinate dello spazio delle fasi continue.
2. Continua/Geometrica: Il duale dell'algebra di Lie, $\mathfrak{g}^*$. Questo fornisce uno spazio delle fasi continuo $T^*G \cong G \times \mathfrak{g}^*$, essenziale per i limiti semiclassici e gli integrali di cammino, ma complica la definizione delle trasformate di Fourier a causa dei momenti non commutanti.

Il saggio si concentra su questo secondo approccio, mirando a costruire una trasformata di Fourier unitaria e invertibile che mappi le funzioni d'onda quadrato-integrabili su $G$ in funzioni d'onda su $\mathfrak{g}^*$, gestendo rigorosamente la noncommutatività dei momenti e le complicazioni topologiche derivanti dai sottogruppi compatti.

Metodologia
Gli autori costruiscono il quadro attraverso i seguenti passaggi:

1. Costruzione dell'Algebra degli Operatori: Partendo dalla struttura simplettica dello spazio delle fasi $T^*G$, definiscono una parentesi di Poisson in cui i momenti non commutano: $\{p_i, p_j\} = -c_{ij}^k p_k$. Quantizzano questa algebra promuovendo le coordinate e i momenti a operatori, adottando una prescrizione di ordinamento simmetrico per i prodotti dei momenti. Questa scelta assicura che l'esponenziale degli operatori di momento mappi direttamente in operatori esponenziali, soddisfacendo la relazione di Baker-Campbell-Hausdorff (BCH): $e^{-i\langle \hat{p}, X \rangle} e^{-i\langle \hat{p}, Y \rangle} = e^{-i\langle \hat{p}, B(X,Y) \rangle}$.

2. Gestione dei Sottogruppi Compatti e dei Quozienti: Un ostacolo tecnico critico è che per i gruppi con sottogruppi compatti, la mappa esponenziale non è iniettiva. L'insieme degli elementi dell'algebra di Lie che esponenziano l'identità, $I = \{X \in \mathfrak{g} \mid \exp(X) = e\}$, è non banale.

   • Gli autori definiscono una "grande" rappresentazione della posizione su $L^2(\mathfrak{g})$ e una "grande" rappresentazione del momento su uno spazio di Hilbert non commutativo $L^2_\star(\mathfrak{g}^*)$ dotato di un prodotto star (specificamente il prodotto star di Gutt).
   • Identificano che lo spazio di Hilbert fisico $L^2(G)$ corrisponde al sottospazio delle funzioni invarianti sotto l'azione di $I$. Introducono un operatore di proiezione $\hat{P}_I$ per imporre tale invarianza, affrontando con cura i fattori di normalizzazione infiniti ($|I| \to \infty$) che sorgono, analogamente alla relazione tra le trasformate di Fourier su $\mathbb{R}$ e le serie di Fourier su $S^1$.

3. Trasformata di Fourier Noncommutativa: Definiscono un intertwiner unitario $\mathcal{F}$ tra le grandi rappresentazioni di posizione e momento. Il nucleo di questa trasformata è la classica onda piana $E(X, p) = e^{-i\langle p, X \rangle}$, ma la misura di integrazione include il Jacobiano $J(X)$ della misura di Haar.

   • La trasformata mappa $L^2(\mathfrak{g})$ in $L^2_\star(\mathfrak{g}^*)$.
   • Proiettando sui sottospazi invarianti rispetto a $I$, derivano i coefficienti di Fourier noncommutativi (che mappano $L^2(G)$ in un sottospazio di $L^2_\star(\mathfrak{g}^*)$) e le serie di Fourier (la mappa inversa).

4. Prodotti Star e Convoluzione: La moltiplicazione delle funzioni nello spazio dei momenti è governata dal prodotto star. Gli autori dimostrano che le convoluzioni nello spazio delle posizioni mappano in prodotti star nello spazio dei momenti, e viceversa, stabilendo un analogo non commutativo del teorema di convoluzione.

Contributi Chiave e Risultati

• Isometria degli Spazi di Hilbert: Il saggio prova che i coefficienti e le serie di Fourier non commutativi forniscono un'isometria tra lo spazio di Hilbert delle funzioni quadrato-integrabili sul gruppo, $L^2(G)$, e lo spazio delle funzioni star-quadrato-integrabili e $I$-invarianti sulla duale dell'algebra, $\hat{P}_I \cdot L^2_\star(\mathfrak{g}^*)$. Ciò risolve precedenti ambiguità riguardanti la ben definibilità dei prodotti scalari nello spazio dei momenti per gruppi non abeliani.
• Formula di Sommazione di Poisson Noncommutativa: Gli autori derivano una formula di sommazione di Poisson generalizzata per qualsiasi gruppo di Lie compatto. Questa formula mette in relazione la somma di una funzione su un reticolo discreto di logaritmi dell'identità (nell'algebra di Lie) con un integrale sullo spazio duale coinvolgendo la trasformata di Fourier e specifici operatori differenziali derivati dallo Jacobiano.
  • Per $G=U(1)$, essa recupera la standard formula di sommazione di Poisson.
  • Per $G=SU(2)$, derivano una nuova formula che coinvolge integrali su piani affini in $\mathbb{R}^3$, riflettendo la natura non abeliana del gruppo.
• Formula del Carattere di Kirillov: Il formalismo è applicato ai caratteri delle rappresentazioni irriducibili. Gli autori mostrano che la trasformata di Fourier non commutativa di un carattere è localizzata sull'orbita coadunta corrispondente. Specificamente per $SU(2)$, la trasformata di un carattere con spin $\lambda$ è supportata sulla sfera di raggio $2\lambda + 1$ in $\mathfrak{su}(2)^*$.
• Ordinamento di Duflo: Nella Sezione 6, gli autori esplorano un ordinamento alternativo utilizzando la mappa di Duflo. Mostrano che mentre l'ordinamento simmetrico porta a una localizzazione "sfocata" dei caratteri (integrazione su una famiglia di orbite), l'ordinamento di Duflo produce un coefficiente di Fourier strettamente localizzato su una singola orbita coadunta, riproducendo direttamente la formula del carattere di Kirillov. Inoltre, la trasformata con ordinamento di Duflo conduce naturalmente all'identità di Parseval-Plancherel per le funzioni di classe.

Significatività e Rivendicazioni
Il saggio sostiene di fornire il quadro "preliminare" necessario per calcolare le funzioni di Wigner e gli integrali di cammino per sistemi quantistici su varietà di gruppi. Gli autori sottolineano che la loro costruzione differisce da approcci precedenti nella gravità quantistica a loop (es. [23–25]) poiché:

1. Definisce le funzioni d'onda nello spazio dei momenti indipendentemente dalla trasformata di Fourier, per poi provare che la trasformata è un'isometria, piuttosto che definire lo spazio come l'immagine della trasformata.
2. Tratta con cura i quozienti derivanti dai sottogruppi compatti tramite operatori di proiezione, assicurando che il prodotto scalare e le azioni degli operatori siano ben definiti senza ricorrere a classi di equivalenza mal definite.
3. Fornisce una derivazione rigorosa della formula di sommazione di Poisson non abeliana, identificata come uno strumento cruciale per gestire la topologia di $G$ nei calcoli di integrali di cammino (specificamente per i propagatori misti $\langle p_f | e^{-iHt} | g_i \rangle$).

Il lavoro è presentato come una fondazione matematica per i fisici, mirando a colmare il divario tra gli approcci basati sulla teoria delle rappresentazioni (Peter-Weyl) e quelli geometrici (integrali di cammino nello spazio delle fasi). Gli autori dichiarano esplicitamente che i risultati sono destinati a generalizzarsi a gruppi di Lie-Fréchet a dimensione infinita, sebbene ciò non sia rigorosamente provato nel presente testo.