Space of norms on locally algebraic representations

Resumen Técnico: Espacio de Normas sobre Representaciones Localmente Algebraicas

1. Planteamiento del Problema y Contexto
El artículo investiga la geometría del espacio de normas no arquimedianas en una representación localmente algebraica $V = \pi_{\text{sm}} \otimes_E \sigma_{\text{alg}}$ de un grupo reductivo $G = \mathbf{G}(F)$, donde $F$ y $E$ son extensiones finitas de $\mathbb{Q}_p$. La representación $V$ es el producto tensorial de una representación suave admisible $\pi_{\text{sm}}$ y una representación algebraica de dimensión finita $\sigma_{\text{alg}}$.

El problema aritmético central que motiva este trabajo es la construcción de una norma $G$-invariante en $V$. Tales normas son cruciales para cuestiones de integridad en el programa de Langlands $p$-ádico, particularmente con respecto a la conjetura de Breuil–Schneider. Si bien se conocen las condiciones necesarias para la existencia de tales normas (por ejemplo, la condición de Emerton sobre los módulos de Jacquet), la transición de estas condiciones espectrales hacia la existencia de una norma invariante global sigue siendo un obstáculo significativo. El artículo pretende separar el marco geométrico general que gobierna estas normas de los difíciles aportes aritméticos requeridos para satisfacer las condiciones de acotación.

2. Metodología y Marco Geométrico
El autor emplea un enfoque de geometría métrica, utilizando la distancia extendida de Goldman–Iwahori $d_\infty$ en el espacio de normas.

• Estructura de Límite Proyectivo: El espacio de normas en $V$ se identifica con un límite proyectivo extendido de edificios de Bruhat–Tits asociados a subespacios de dimensión finita $V_K = \pi^K_{\text{sm}} \otimes_E \sigma_{\text{alg}}$. El autor distingue entre el límite proyectivo ordinario (convergencia componente a componente) y el límite proyectivo acotado (convergencia uniforme), argumentando que este último es el objeto correcto para estudiar órbitas acotadas.
• Geometría Métrica: Se demuestra que la distancia $d_\infty$ es una métrica de tipo $\ell_\infty$, no una métrica CAT(0). Se prueba que la componente de distancia finita $N_{\alpha_0}(V)$ de una norma de referencia $\alpha_0$ es hiperconvexa (inyectiva). Esta propiedad asegura que toda familia acotada de normas tiene un centro circunscrito con un radio exactamente igual a la mitad del diámetro de la familia.
• Estrategia de Punto Fijo: El artículo evita depender de teoremas de puntos fijos CAT(0). En su lugar, utiliza la hiperconvexidad del espacio para construir una norma $G$-invariante directamente como el supremo puntual de una órbita acotada: $\alpha_G(v) = \sup_{g \in G} \alpha_0(g^{-1}v)$.

3. Contribuciones Clave y Resultados

• Caracterización Geométrica de Normas Invariantes (Teorema 1.1, Teorema 5.1):
  El artículo establece una equivalencia precisa: una componente de distancia finita $N_{\alpha_0}(V)$ contiene una norma $G$-invariante si y solo si la órbita $G\alpha_0$ es acotada con respecto a la métrica de Goldman–Iwahori. Si la órbita es acotada, la norma invariante es el supremo puntual de la órbita, y la distancia desde la norma de referencia al lóbulo invariante es exactamente la mitad del diámetro de la órbita.

• Reducción a Problemas de Estado Finito (Sección 3 y 6):
  La existencia de una órbita acotada se reduce a un problema de "estado finito". El autor formula un criterio (Teorema 3.2) donde una norma $G$-invariante existe si y solo si cada diagrama de edificio finito (que involucra mapas de restricción y transporte) tiene una solución. Esto permite el uso de argumentos de compacidad para elevar soluciones locales a globales, siempre que exista una cota uniforme.

• Álgebra de Grupo Integral y Condiciones de Tipo–Hecke (Sección 6):
  El artículo formula condiciones necesarias y suficientes para la existencia de normas invariantes en términos de:

  1. Condición de Emerton (EC): Una condición espectral en los módulos de Jacquet que asegura que los autovalores de los operadores de Jacquet positivos tienen valor absoluto $\le 1$.
  2. Cocientes de Tipo–Bruhat de Tipo Finito: Los grafos de transición de los coeficientes de matriz deben descender a un grafo finito donde cada ciclo dirigido tiene un costo no negativo.
  3. Intervinientes de Tipo Integral: Las matrices que relacionan los diferentes tipos deben ser integrales.

• Análisis Explícito para $G = \text{GL}_n(F)$ (Sección 7 y 8):
  Para $G = \text{GL}_n(F)$ y $V$ asociado con una representación potencialmente semiestable, el autor proporciona un marco combinatorio explícito:

  • Reducción de Multisegmentos: El problema se traduce al lenguaje de los multisegmentos de Bernstein–Zelevinsky y las álgebras de Hecke afines.
  • Matriz de Reducción Global: Se construye una "matriz de reducción global" $R$ mediante una regla de pivote determinista en un recubrimiento (shelling) de Bruhat afín. Esta matriz expresa la acción de los elementos del grupo en una base de forma normal.
  • Fórmula de Caminos: Los coeficientes de matriz se expresan como sumas sobre caminos en un grafo de reducción. La valoración de estos coeficientes está acotada inferiormente por una suma de "defectos" asociados con prefijos de Weil–Deligne admisibles.
  • Condiciones Suficientes (Proposición 8.8): Para un solo segmento, el artículo demuestra que si los defectos $\Delta_k$ son no negativos (admisibilidad), los intervinientes de tipo son integrales y los caminos de reducción están "orientados positivamente" (el contenido de traslación no central reside en el cono dominante), entonces la norma máxima estándar es invariante bajo los generadores de Cartan.

4. Hallazgos Específicos sobre $G = \text{GL}_n(F)$
En el caso de un solo segmento (representaciones de Steinberg generalizadas), el artículo demuestra que la existencia de una norma invariante se sigue si:

1. El módulo de Weil–Deligne filtrado es admisible (lo que implica defectos no negativos $\Delta_k \ge 0$).
2. El carácter central es unitario.
3. Los caminos de reducción satisfacen una condición de positividad respecto a su contenido de traslación no central.
   El autor verifica explícitamente estas condiciones para las direcciones de Cartan de bloque, utilizando las fórmulas de Haines–Pettet para cocuotas minúsculas, mostrando que la hipótesis de "prefijo positivo" se cumple para estos generadores específicos.

5. Significado y Reivindicaciones
El artículo afirma proporcionar una demostración geométrica directa de que la acotación de una órbita implica la existencia de una norma invariante, evitando la necesidad de argumentos de centro circunscrito CAT(0) que no se aplican a la métrica $\ell_\infty$.

La importancia principal radica en aislar el mecanismo geométrico del desafío aritmético. El autor establece que, mientras que el paso de punto fijo geométrico es elemental y completo, el desafío aritmético sustantivo permanece: construir una norma cuya órbita completa sea uniformemente acotada. Esto requiere verificar las condiciones de "estado finito" (costos de ciclos no negativos en el grafo de transición), las cuales dependen de propiedades representacionales profundas (integralidad de los intervinientes de tipo y positividad de los defectos).

El artículo no pretende resolver la conjetura de Breuil–Schneider en su totalidad, sino que proporciona el marco necesario y los criterios explícitos (Proposición 7.22, Proposición 8.8) para reducir el problema a la verificación de desigualdades combinatorias y de valoración específicas dentro del grupo de Weyl afín y los módulos de tipo. Enfatiza que para $G = \text{GL}_n(F)$, el problema se reduce a verificar que los "defectos" en la reducción de multisegmentos son no negativos y que los caminos de reducción respetan el cono dominante.