Theta correspondence as a C*-correspondence

Resumo Técnico: Correspondência de Theta como uma $C^*$-Correspondência

Enunciado do Problema
O artigo aborda a compreensão estrutural da correspondência de theta local (LTC), uma relação fundamental entre representações de dois grupos redutivos $G$ e $G'$ que formam um par dual dentro de um grupo simplético. Embora a correspondência de theta seja bem estabelecida via dualidade de Howe (relacionando duais suaves ou unitários), o artigo busca reinterpretar essa correspondência através da lente da teoria de álgebras $C^*$. Especificamente, visa descrever o processo de levantamento de theta como um funtor de indução originado de uma $C^*$-correspondência (um módulo de Hilbert $C^*$ equipado com uma ação de álgebra). Esta abordagem é particularmente motivada pelo desejo de esclarecer a preservação da unitariedade e as propriedades estruturais da correspondência, tais como a equivalência de Morita no caso de posto igual.

Metodologia
O autor emprega o arcabouço de álgebras $C^*$, módulos de Hilbert e indução de Rieffel. A metodologia procede através dos seguintes passos:

1. Configuração Fundamental: O artigo revisa o embasamento necessário, incluindo álgebras $C^*$, módulos de Hilbert e o caso específico de álgebras de grupo $C^*(G)$ e $C^*_r(G)$. Estabelece-se a convenção de que os produtos internos são lineares na segunda variável.
2. O Caso Compacto como Modelo: A análise começa com o caso em que um grupo, $G$, é compacto. Neste cenário, o dual unitário $\hat{G}$ é discreto, e $C^*(G)$ decompõe-se em uma soma direta de álgebras de matrizes (via teorema de Peter-Weyl).
   • A representação oscilatória $\omega$ de $G' \times G$ sobre $L^2(U)$ é utilizada.
   • O autor constrói um módulo de Hilbert $C^*(G)$ à direita $X$ a partir da representação oscilatória. Isso é feito seja montando componentes isotípicas ou completando o espaço de funções de Schwartz $S(U)$ com respeito a um produto interno valorado em $C^*(G)$ derivado de coeficientes de matriz.
   • Mostra-se que a ação do segundo grupo $G'$ sobre $S(U)$ se integra para uma ação no módulo completado $X$, transformando $X$ em uma $(C^*(G'), C^*(G))$-correspondência.
3. Generalização via Método de Li: A abordagem é estendida para casos não compactos onde o método de Jian-Shu Li se aplica (especificamente os casos de "alcance estável" e "temperado").
   • Em vez de $C^*(G)$, a construção utiliza a álgebra $C^*$ reduzida do grupo $C^*_r(G)$ (ou $C^*(G)$ no alcance estável).
   • O produto interno é definido via uma integral envolvendo a representação oscilatória e uma representação $\pi$ de $G$. A convergência e positividade desta integral são garantidas pelos resultados de Li sobre a preservação da unitariedade.
   • Isso resulta em um "bimódulo de theta" $\Theta$, uma $(C^*(G'), C^*_r(G))$-correspondência.
4. Funtor de Indução: O mecanismo central é o funtor de indução de Rieffel $\text{Ind}^A_B(X)$. O artigo demonstra que induzir uma representação $\pi$ de $G$ via a correspondência construída $X$ (ou $\Theta$) recupera o levantamento de theta $\theta(\pi^*)$.
5. Caso de Posto Igual: Para pares duais de posto igual (ex: $(Sp_{2n}, O_{2n+1})$), o autor mostra que o bimódulo de theta $\Theta$ satisfaz a condição de compatibilidade para um módulo de imprimatividade. Isso estabelece uma equivalência de Morita entre ideais específicos das álgebras $C^*$ reduzidas de $G$ e $G'$.

Contribuições Principais e Resultados

• Reformulação da Correspondência de Theta: O artigo fornece uma formulação rigorosa em termos de álgebras $C^*$ da correspondência de theta. Prova que, para um grupo compacto $G$, o levantamento de theta de uma representação unitária irredutível $\pi$ é isomorfo à representação induzida $\text{Ind}^{C^*(G')}_{C^*(G)}(X)(\pi)$, onde $X$ é o módulo de Hilbert construído a partir da representação oscilatória (Teorema 4).
• Generalização para Casos de Preservação de Unitariedade: A metodologia é generalizada para os casos de alcance estável e temperado (Teorema 5). Utilizando os resultados de Li sobre a convergência e positividade das integrais relevantes, o artigo constró de um bimódulo de theta $\Theta$ sobre $C^*_r(G)$ (ou $C^*(G)$) tal que o funtor de indução recupera o levantamento de theta para representações temperadas.
• Equivalência de Morita em Posto Igual: Um resultado significativo é a identificação da correspondência de theta no caso de posto igual como uma equivalência de Morita (Teorema 6). Mostra-se que o bimódulo de theta $\Theta$ é um módulo de imprimatividade, estabelecendo uma equivalência de Morita entre os ideais $C^*_\theta(G')$ e $C^*_\theta(G)$ delimitados pelos produtos internos.
• Consequências da Equivalência de Morita:
  • Isomorfismo Topológico: A equivalência de Morita implica que os subconjuntos dos duais reduzidos que entram na correspondência de theta são homeomorfos.
  • Preservação de Séries Discretas: O artigo explica por que representações de séries discretas levantam para representações de séries discretas no caso de posto igual. Dado que as séries discretas são pontos isolados no dual reduzido, e a equivalência de Morita preserva a topologia do espectro (mapeando conjuntos abertos e fechados para conjuntos abertos e fechados), a imagem de um ponto isolado permanece isolada.
  • Transferência de Caráter: O arcabouço de equivalência de Morita facilita a transferência de caracteres. O Teorema 7 apresenta um resultado (originalmente de Gan) expressando o caráter de um levantamento de theta em termos do caráter da representação original via coeficientes de matriz nas álgebras de Schwartz.

Significância e Alegações
O artigo alega que interpretar a correspondência de theta como uma $C^*$-correspondência elucida os mecanismos subjacentes da correspondência, particularmente no "caso compacto", onde as obstruções técnicas são minimizadas. Ao enquadrar a correspondência através da teoria de indução:

• Oferece uma perspectiva unificada que recupera a correspondência de theta a partir da representação oscilatória sem depender apenas da construção explícita do levantamento.
• Esclarece a preservação da unitariedade ao vinculá-la à positividade do produto interno no módulo de Hilbert, uma condição satisfeita nos casos cobertos pelo método de Li.
• No caso de posto igual, fornece uma explicação estrutural (via equivalência de Morita) para a preservação de propriedades importantes da teoria de representação, como a natureza de série discreta e as dimensões formais das representações.

O autor posiciona este trabalho como um levantamento de desenvolvimentos recentes (citando [23, 14]) que unem a teoria de representações e a geometria não-comutativa, tornando as construções da correspondência de theta mais transparentes através da linguagem das álgebras $C^*$.