Space of norms on locally algebraic representations

Resumo Técnico: Espaço de Normas em Representações Localmente Algébricas

1. Enunciado do Problema e Contexto
O artigo investiga a geometria do espaço de normas não arquimedianas em uma representação localmente algébrica $V = \pi_{\text{sm}} \otimes_E \sigma_{\text{alg}}$ de um grupo redutivo $G = \mathbf{G}(F)$, onde $F$ e $E$ são extensões finitas de $\mathbb{Q}_p$. A representação $V$ é o produto tensorial de uma representação suave admissível $\pi_{\text{sm}}$ e uma representação algébrica de dimensão finita $\sigma_{\text{alg}}$.

O problema aritmético central que motiva este trabalho é a construção de uma norma $G$-invariante em $V$. Tais normas são cruciais para questões de integridade no programa de Langlands $p$-ádico, particularmente em relação à conjectura de Breuil–Schneider. Embora condições necessárias para a existência de tais normas sejam conhecidas (por exemplo, a condição de Emerton sobre módulos de Jacquet), a transição dessas condições espectrais para a existência de uma norma invariante global permanece um obstáculo significativo. O artigo visa separar o arcabouço geométrico geral que governa essas normas da difícil entrada aritmética necessária para satisfazer as condições de limitação.

2. Metodologia e Arcabouço Geométrico
O autor emprega uma abordagem de geometria métrica, utilizando a distância estendida de Goldman–Iwahori $d_\infty$ no espaço de normas.

• Estrutura de Limite Projetivo: O espaço de normas em $V$ é identificado com um limite projetivo de edifícios de Bruhat–Tits estendidos anexados a subespaços de dimensão finita $V_K = \pi^K_{\text{sm}} \otimes_E \sigma_{\text{alg}}$. O autor distingue entre o limite projetivo ordinário (convergência termo a termo) e o limite projetivo limitado (convergência uniforme), argumentando que este último é o objeto correto para estudar órbitas limitadas.
• Geometria Métrica: A distância $d_\infty$ é mostrada para ser uma métrica do tipo $\ell_\infty$, não sendo uma métrica CAT(0). A componente de distância finita $N_{\alpha_0}(V)$ de uma norma de referência $\alpha_0$ é provada a ser hiperconvexa (injetiva). Esta propriedade garante que toda família limitada de normas possui um centro circunscrito com raio exatamente igual à metade do diâmetro da família.
• Estratégia de Ponto Fixo: O artigo evita depender de teoremas de ponto fixo CAT(0). Em vez disso, utiliza a hiperconvexidade do espaço para construir uma norma $G$-invariante diretamente como o supremo pontual de uma órbita limitada: $\alpha_G(v) = \sup_{g \in G} \alpha_0(g^{-1}v)$.

3. Principais Contribuições e Resultados

• Caracterização Geométrica de Normas Invariantes (Teorema 1.1, Teorema 5.1):
  O artigo estabelece uma equivalência precisa: uma componente de distância finita $N_{\alpha_0}(V)$ contém uma norma $G$-invariante se, e somente se, a órbita $G\alpha_0$ é limitada em relação à métrica de Goldman–Iwahori. Se a órbita for limitada, a norma invariante é o supremo pontual da órbita, e a distância da norma de referência para o lócus invariante é exatamente metade do diâmetro da órbita.

• Redução para Problemas de Estado Finito (Seções 3 & 6):
  A existência de uma órbita limitada é reduzida a um problema de "estado finito". O autor formula um critério (Teorema 3.2) onde uma norma $G$-invariante existe se, e somente se, todo diagrama de edifício finito (envolvendo mapas de restrição e transporte) possui uma solução. Isso permite o uso de argumentos de compacidade para elevar soluções locais para globais, desde que exista um limite uniforme.

• Álgebra de Grupo Integral e Condições de Tipo–Hecke (Seção 6):
  O artigo formula condições necessárias e suficientes para a existência de normas invariantes em termos de:

  1. Condição de Emerton (EC): Uma condição espectral nos módulos de Jacquet garantindo que os autovalores de operadores de Jacquet positivos tenham valor absoluto $\le 1$.
  2. Quotientes Bruhat de Tipo Finito: Os grafos de transição dos coeficientes de matriz devem descer para um grafo finito onde cada ciclo dirigido tem custo não negativo.
  3. Intertwinadores de Tipo Integrais: As matrizes que relacionam diferentes tipos devem ser integrais.

• Análise Explícita para $G = \text{GL}_n(F)$ (Seções 7 & 8):
  Para $G = \text{GL}_n(F)$ e $V$ associado a uma representação potencialmente semiestável, o autor fornece um arcabouço combinatório explícito:

  • Redução por Multissegmentos: O problema é traduzido para a linguagem de multissegmentos de Bernstein–Zelevinsky e álgebras de Hecke afins.
  • Matriz de Redução Global: Uma "matriz de redução global" $R$ é construída via uma regra de pivô determinística em um shell de Bruhat afim. Esta matriz expressa a ação de elementos do grupo em uma base de forma normal.
  • Fórmula de Caminho: Os coeficientes de matriz são expressos como somas sobre caminhos em um grafo de redução. A valoração desses coeficientes é limitada inferiormente por uma soma de "defeitos" associados a prefixos de Weil–Deligne admissíveis.
  • Condições Suficientes (Proposição 8.8): Para um único segmento, o artigo prova que se os defeitos $\Delta_k$ são não negativos (admissibilidade), os intertwinadores de tipo são integrais e os caminhos de redução são "positivamente orientados" (o conteúdo de translação não central reside no cone dominante), então a norma máxima padrão é invariante sob os geradores de Cartan.

4. Descobertas Específicas sobre $G = \text{GL}_n(F)$
No caso de um único segmento (representações de Steinberg generalizadas), o artigo demonstra que a existência de uma norma invariante segue se:

1. O módulo de Weil–Deligne filtrado é admissível (implicando defeitos não negativos $\Delta_k \ge 0$).
2. O caractere central é unitário.
3. Os caminhos de redução satisfazem uma condição de positividade em relação ao seu conteúdo de translação não central.
   O autor verifica explicitamente estas condições para as direções de Cartan de blocos usando fórmulas de Haines–Pettet para coweights minúsculos, mostrando que a hipótese do "prefixo positivo" se mantém para esses geradores específicos.

5. Significância e Alegações
O artigo alega fornecer uma prova geométrica direta de que a limitação de uma órbita implica a existência de uma norma invariante, contornando a necessidade de argumentos de centro circunscrito CAT(0) que não se aplicam à métrica $\ell_\infty$.

A principal significância reside em isolar o mecanismo geométrico da dificuldade aritmética. O autor afirma que, embora o passo de ponto fixo geométrico seja elementar e completo, o desafio aritmético substantivo permanece: construir uma norma cuja órbita inteira seja uniformemente limitada. Isso requer verificar as "condições de estado finito" (custos de ciclos não negativos no grafo de transição) que dependem de propriedades representacionais profundas (integralidade de intertwinadores de tipo e positividade de defeitos).

O artigo não pretende resolver a conjectura de Breuil–Schneider em sua totalidade, mas fornece o arcabouço necessário e os critérios explícitos (Proposição 7.22, Proposição 8.8) para reduzir o problema à verificação de desigualdades combinatórias e de valoração específicas dentro do grupo de Weyl afim e módulos de tipo. Ele enfatiza que, para $G = \text{GL}_n(F)$, o problema reduz-se a verificar que os "defeitos" nos multissegmentos são não negativos e que os caminhos de redução respeitam o cone dominante.