The tower property on the genericity of global theta lifts

Resumo Técnico: A Propriedade da Torre sobre a Genericidade dos Levantamentos Theta Globais

Enunciado do Problema
O artigo investiga o comportamento dos levantamentos theta globais entre pares duais de grupos clássicos redutivos, focando especificamente na preservação da genericidade (a existência de períodos de Whittaker não nulos) através da "torre de Witt" de espaços. Embora a propriedade da torre de Rallis (estabelecida na década de 1980) tenha resolvido as questões de cuspidalidade e não anulação para levantamentos theta globais, o comportamento específico da genericidade — se a primeira ocorrência de um levantamento não nulo preserva a natureza genérica da representação fonte — permaneceu uma questão aberta central. Os autores visam determinar as condições precisas sob as quais a primeira ocorrência de um levantamento theta global é genérica, estendendo resultados anteriores que frequentemente se limitavam a grupos split ou representações "fortemente genéricas".

Metodologia
Os autores empregam uma síntese de técnicas locais e globais enraizadas na teoria das formas automórficas:

1. Análise Local (Anulação de Levantamentos Theta):

   • O artigo calcula os módulos de Jacquet torcidos da representação de Weil local com respeito a subgrupos unipotentes e caracteres específicos (tipos de Bessel e Fourier-Jacobi).
   • Ao analisar a ação da representação de Weil em modelos mistos, os autores provam que os levantamentos theta locais se anulam em certos intervalos (especificamente quando a dimensão do espaço alvo é muito grande em relação à fonte). Isso estabelece os limites da "primeira ocorrência".

2. Integrais de Período Globais e Funções L:

   • A estratégia central envolve relacionar a não anulação dos levantamentos theta globais às propriedades analíticas das funções L (especificamente polos em $s=1$ ou $s=1/2$).
   • Os autores constroem integrais de Rankin-Selberg (modificadas da literatura existente para adequar-se a grupos quasi-split) que se desdobram para representar funções L parciais.
   • Eles estabelecem identidades entre essas integrais globais e períodos especiais de Bessel (para grupos ortogonais) e períodos especiais de Fourier-Jacobi (para grupos simpléticos/metaplécticos).

3. A Fórmula do Produto Interno de Rallis:

   • Para vincular a não anulação do levantamento theta ao polo da função L, os autores utilizam a fórmula do produto interno de Rallis no intervalo da primeira ocorrência.
   • Crucialmente, eles incorporam a teoria das integrais de zeta de dobramento local desenvolvida por Yamana. Isso permite-lhes deduzir que a não anulação do levantamento implica genericidade sem exigir que o próprio levantamento seja genérico a priori, uma condição que métodos anteriores (baseados na comparação de fatores L locais) frequentemente necessitavam.

4. Tratamento de Grupos Quasi-split vs. Split:

   • O artigo aborda as sutilezas técnicas decorrentes do trabalho com grupos ortogonais quasi-split mas não split ($SO_{2n}$ onde o discriminante é não trivial), distinguindo sua abordagem de trabalhos anteriores sobre grupos split.
   • Eles utilizam funtores de restrição e indução para transferir resultados entre grupos ortogonais ($O_{2n}$) e grupos ortogonais especiais ($SO_{2n}$), provando que a genericidade é preservada sob essas operações.

Principais Contribuições e Resultados

1. Propriedade da Torre Generalizada para Genericidade:
   O artigo estabelece uma descrição completa da genericidade dos levantamentos theta globais na torre de Witt para pares duais $(O_{2n}, Sp_{2m})$ e $(O_{2n+1}, \widetilde{Sp}_{2m})$.

   • Teoremas 1.2 e 1.3: Para uma representação automórfica cuspidal genérica $\pi$ (ou $\sigma$), o índice de primeira ocorrência $l(\pi)$ é estritamente limitado (por exemplo, $n_0 - 1 \le l(\pi) \le n_0$ para $SO_{2n_0}$).
   • Preservação da Genericidade: O primeiro levantamento theta não nulo $\Theta(\pi)$ é sempre genérico.
   • Não Genericidade de Ocorrências Superiores: Levantamentos ocorrendo em índices $i \ge l(\pi) + 2$ são não genéricos. Levantamentos em $l(\pi) + 1$ são genéricos se e somente se o índice de primeira ocorrência for o limite inferior do intervalo possível.

2. Equivalência de Condições:
   Os autores provam uma série de equivalências (Teoremas 5.2 e 7.1) ligando:

   • A existência de um polo na função L parcial $L_S(s, \pi)$ (ou $L_S(s, \sigma \times \chi)$).
   • A não anulação de períodos especiais de Bessel ou Fourier-Jacobi.
   • A não anulação e genericidade do levantamento theta global para o espaço de primeira ocorrência.
   • A mera não anulação do levantamento theta global (o que implica genericidade no intervalo de primeira ocorrência).

3. Extensão a Grupos Quasi-split e Metaplécticos:

   • Os resultados estendem o trabalho de Ginzburg, Rallis e Soudry (GRS97) e Furusawa (Fu95) de grupos split para grupos clássicos quasi-split.
   • O artigo fornece novos resultados para o par dual $(\widetilde{Sp}_{2m}, SO_{2n+1})$, um caso não abordado anteriormente na literatura quanto à genericidade.
   • Ele enfraquece a suposição "fortemente genérica" requerida em trabalhos anteriores, aplicando-se à classe mais ampla de representações genéricas.

4. Aplicação à Conjectura de Gan-Gross-Prasad (GGP):
   Como aplicação direta, os autores provam a conjectura GGP global temperada para o par $(SO_{2n+1}, SO_2)$ sob a suposição de que $SO_2$ é split e a representação é trivial. Eles mostram que a não anulação do período de Bessel é equivalente à não anulação do valor central da função L $L(1/2, \pi)$.

Significado e Alegações
O artigo afirma fornecer uma estrutura unificada para entender a genericidade dos levantamentos theta através de grupos ortogonais, simpléticos e metaplécticos. Seu significado reside em:

• Completar o Programa de Rallis: Resolve o aspecto da genericidade da correspondência theta global, complementando o trabalho anterior de Rallis sobre cuspidalidade.
• Avance Metodológico: Ao utilizar a fórmula do produto interno de Rallis combinada com o método de dobramento de Yamana, os autores contornam a necessidade de assumir genericamente que o levantamento é genérico, permitindo uma dedução mais robusta da genericidade a partir da não anulação.
• Ampliação do Escopo: Os resultados aplicam-se a grupos quasi-split e coberturas metaplécticas, preenchendo lacunas na literatura onde resultados anteriores estavam restritos a casos split ou tipos específicos de representações.
• Verificação da GGP: Oferece uma nova prova da conjectura GGP para um caso específico ($SO_{2n+1} \times SO_2$) ao alavancar a ligação estabelecida entre levantamentos theta, períodos e funções L.

Os autores observam que, embora seu foco seja em grupos clássicos e metaplécticos, espera-se que os métodos se estendam a grupos unitários, embora confinem a discussão atual aos cenários ortogonal e simplético para maior clareza. Eles também reconhecem que a conjectura GGP não temperada para grupos simpléticos permanece um assunto para trabalho futuro.