Total positivity and symmetric spaces

Resumen Técnico: Positividad Total y Espacios Simétricos

Planteamiento del Problema
El artículo aborda la extensión de la teoría de la positividad total, desarrollada originalmente por Lusztig para grupos reductivos conexos divisibles y variedades de banderas, al entorno de los espacios simétricos $S = G/K$. Mientras que la teoría de Lusztig se basa en bases canónicas y datos de fijación específicos (pares fundamentales), el autor busca definir una noción de positividad total para espacios simétricos que sea compatible con la geometría de Poisson natural y que admita una rica estructura de celdas análoga a las celdas de Bruhat dobles encontradas en el caso de los grupos. Un desafío específico es establecer una descomposición de celdas, parametrizaciones positivas explícitas y relaciones de clausura para la parte totalmente no negativa del espacio simétrico, $S_{\ge 0}$, sin depender de la maquinaria de la base canónica utilizada en el caso del grupo.

Metodología
El autor emplea un enfoque geométrico y combinatorio centrado en la incrustación del espacio simétrico en el grupo.

1. Incrustación y Estratificación: El espacio simétrico $G/K$ se realiza como una variedad cerrada de $G$ mediante la aplicación $\iota: gK \mapsto g\theta(g)^{-1}$, donde $\theta$ es la involución que define a $K$. El autor introduce "celdas de Bruhat dobles" para el espacio simétrico, definidas como los estratos $\mathring{S}_u = \iota^{-1}(B_+ \dot{u} B_- \dot{w}_\bullet)$ para $u \le w_\bullet$ en el grupo de Weyl. Estos estratos están motivados por la geometría de Poisson, identificándose específicamente como hojas-$T$ para la estructura de Poisson natural en $G/K$.
2. Fijación e Involución: La teoría se desarrolla para una clase específica de pares simétricos donde la involución $\theta$ es normalizada utilizando un dato de raíz $\imath$ y un par dividido $(B_+, T)$. El artículo restringe los casos donde $\theta$ es compatible con la involución del diagrama (específicamente donde los parámetros $\zeta_i = -1$), excluyendo ciertos tipos (por ejemplo, $A_{III}$ con parámetros impares, $A_{IV}$ con $n$ impar, $E_{III}$).
3. Parametrización: El autor utiliza las parametrizaciones positivas de Marsh–Rietsch para estratos de Richardson en variedades de banderas parciales. Al relacionar el conjunto de indexación de los estratos del espacio simétrico con el conjunto de indexación de los estratos de Richardson proyectados mediante un isomorfismo de posetos, el autor construye parametrizaciones positivas explícitas para las celdas en $S_{\ge 0}$.
4. Cálculos de Rango Uno: Un paso técnico crucial implica cálculos explícitos de rango uno (Sección 3.3) para establecer relaciones de intercambio entre subgrupos de raíces positivas y subgrupos de raíces negativas dentro del contexto del espacio simétrico. Estos cálculos verifican que la transición entre diferentes cartas involucra funciones racionales libres de sustracción, incluso cuando aparecen raíces cuadradas en pasos intermedios (las cuales se anulan al pasar al toro cociente).

Contribuciones Clave y Resultados
El artículo establece los siguientes resultados principales (Teorema 3.5):

1. Contención Geométrica: El espacio simétrico totalmente no negativo $S_{\ge 0}$ está contenido enteramente en la intersección de la órbita abierta de $B_+$ y la órbita abierta de $B_-$ de $G/K$.
2. Descomposición de Celdas: $S_{\ge 0}$ admite una descomposición en celdas $S^>_{u}$ indexadas por $u \in Q = \{u \in W \mid u \le w_\bullet\}$. Esta descomposición es isomórfica a un producto de un conjunto positivo de Marsh–Rietsch y un toro totalmente positivo $T^{>0}$.
3. Parametrizaciones Explícitas: Para cada celda, existen isomorfismos de variedades semi-algebraicas:
   • $G^>_{v_+, w} \times T^{>0} \xrightarrow{\sim} S^>_{\phi(v,w)}$
   • $H^>_{v_+, w} \times T^{>0} \xrightarrow{\sim} S^>_{\phi(v,w)^{-1}}$
     donde $G^>_{v_+, w}$ y $H^>_{v_+, w}$ son conjuntos positivos derivados de las coordenadas de Marsh–Rietsch y sus imágenes bajo la involución de Chevalley, respectivamente.
4. Relaciones de Clausura: El cierre de una celda $S^>_{u}$ es la unión de las celdas $S^>_{u'}$ para $u \le u'$.
5. Transiciones Libres de Sustracción: Los mapas de transición entre las dos familias naturales de parametrizaciones (asociadas con $B_+$ y $B_-$) son libres de sustracción (es decir, involucran solo suma, multiplicación y división de números reales positivos, sin resta). Esta propiedad se mantiene sin necesidad de tomar raíces cuadradas tras pasar al toro cociente.
6. Propiedades Topológicas: El espacio simétrico totalmente no negativo $S_{\ge 0}$ es contraíble. Además, cada celda $S^>_{u}$ es un componente conexo del lugar real de la correspondiente celda de Bruhat doble $\mathring{S}_u(\mathbb{R})$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una teoría autocontenida de la positividad total para espacios simétricos que es paralela a la teoría de Lusztig para grupos, pero que utiliza un planteamiento fundacional distinto.

• Marco Alternativo: A diferencia del enfoque de Lusztig que utiliza pares fundamentales y bases canónicas, este trabajo utiliza pares divididos y motivaciones de la geometría de Poisson (celdas de Bruhat dobles como hojas-$T$).
• Simplicidad: El autor sostiene que este enfoque conduce a una "descomposición de celdas, orden de clausura y funciones de transición libres de sustracción particularmente simples".
• Independencia de las Bases Canónicas: El artículo proporciona una nueva prueba de la estructura geométrica central de la parte totalmente no negativa del grupo $G_{\ge 0}$ (específicamente su contención en órbitas abiertas) que evita la teoría de bases canónicas de Lusztig, apoyándose en su lugar en las relaciones de intercambio de rango uno y funciones regulares.
• Control Combinatorio: Se muestra que la estratificación del espacio simétrico está controlada por la misma combinatoria (estratos de Richardson proyectados) que gobierna las variedades de banderas parciales, mediada por un isomorfismo de posetos $\phi: P \to Q^{opp}$.

El trabajo no propone nuevas aplicaciones experimentales o direcciones futuras más allá del marco matemático inmediato de la positividad total, las estructuras de clúster y la geometría de Poisson. Se posiciona como una extensión fundacional de las teorías existentes al entorno de los espacios simétricos.