Positroid Links and Braid varieties

Resumen Técnico: Enlaces de Positroides y Variedades de Trenzas

Planteamiento del Problema
Este artículo investiga la relación entre las variedades de positroides abiertas en el Grassmanniano $\text{Gr}(k, n)$ y las variedades de trenzas. Las variedades de positroides abiertas pueden ser indexadas por cuatro tipos distintos de datos combinatorios: pares de permutaciones $(u, w)$ en el orden de Bruhat, una permutación afín $f$ acotada por $k$, matrices de rango cíclico $r$ y diagramas Le $\mathcal{L}$. Si bien se sabe que estos tipos de datos son biyectivamente equivalentes y definen la misma estrato de positroide, los trenzados y enlaces asociados derivados de ellos han sido tratados históricamente de forma separada. El problema central abordado es si las cuatro trenzas distintas asociadas con estos tipos de datos producen objetos geométricos equivalentes —específicamente, si sus enlaces suaves asociados son isotópicos y, más fuertemente, si sus enlaces legendrianos son legendrianamente isotópicos. Además, el artículo busca esclarecer la naturaleza de geometría algebraica de las variedades de trenzas asociadas a estas trenzas, particularmente su relación con las variedades de Richardson abiertas y sus compactificaciones.

Metodología
Los autores emplean una síntesis de combinatoria algebraica, topología de contacto y geometría algebraica.

1. Construcción Combinatoria de Trenzas: El artículo define cuatro palabras de trenza específicas correspondientes a los cuatro tipos de datos de positroides:

   • La trenza de Richardson $R_n(u, w)$ (y su variante positiva $R^+_n(u, w)$).
   • La trenza de malabares (Juggling braid) $J_k(f)$, derivada del diagrama de malabares afín de $f$.
   • La trenza Le $D_k(\mathcal{L})$, construida a partir del diagrama de cableado de un diagrama Le.
   • La trenza de matriz $M_k(r)$, derivada de una matriz de rango cíclico.
     Los autores desarrollan nuevas técnicas combinatorias, incluyendo un movimiento de "desestabilización tipo Markov", para relacionar trenzas con diferentes números de hebras (por ejemplo, trenzas de Richardson de $n$ hebras frente a trenzas de malabares de $k$ hebras).

2. Realización de Contacto Geométrico: Los autores asocian enlaces legendrianos en $(\mathbb{R}^3, \xi_{st})$ a estas trenzas utilizando la construcción de clausura $(-1)$. Para probar la isotopía legendriana entre enlaces con diferentes conteos de hebras, introducen y utilizan un lema de desestabilización legendriana (Lema 3.7). Este lema proporciona una realización de contacto geométrico de los movimientos de desestabilización suave utilizados en las pruebas combinatorias, permitiendo la comparación de enlaces legendrianos mediante la adición de unknots de máximo Thurston-Bennequin no enlazados.

3. Análisis de Geometría Algebraica: El artículo estudia las variedades de trenzas $X(\beta; \pi)$, definidas como el lugar donde un producto de matrices de trenza por una matriz de permutación es triangular superior. Los autores establecen isomorfismos entre estas variedades y variedades de Richardson abiertas. Además, introducen las variedades de ladrillos (brick manifolds) (asociadas con variedades de Bott-Samelson) como compactificaciones proyectivas suaves de estas variedades de trenzas.

Contribuciones Clave y Resultados

• Equivalencia de Trenzas de Positroides (Teorema 1.1): Los autores prueban que las cuatro trenzas asociadas con datos de positroides equivalentes son equivalentes en el monoide de trenzas, hasta la estabilización de Markov positiva y la adición de hebras disjuntas no enlazadas. Esto resuelve la "disonancia" en el número de hebras entre los diferentes modelos combinatorios.
• Isotopía Legendriana (Teorema 1.2 y Teorema 3.6): El principal resultado de contacto establece que los cuatro enlaces legendrianos asociados a la misma clase de positroide son legendrianamente isotópicos (hasta unknots de máximo-tb no enlazados). Esto implica que las álgebras diferenciales graduadas de contacto (dg) asociadas a estos enlaces son tánticamente isomórficas (stably tame isomorphic). En consecuencia, el espectro de la homología de orden 0 de estas álgebras recupera la variedad de positroide abierta (hasta factores de toro), proporcionando una descripción de contacto geométrica unificada de los estratos de positroides.
• Variedades de Trenzas y Variedades de Richardson (Teorema 1.3): El artículo prueba que cualquier variedad de positroide abierta $\Pi_{u,w}$ es algebraicamente isomórfica a una variedad de trenzas. Específicamente, $\Pi_{u,w} \cong X(\beta(u^{-1}w_0)\beta(w_0 w w_0); w_0)$. Además, establece un isomorfismo entre la variedad de trenza asociada a la trenza de Richardson y el producto de la variedad de trenza asociada a la trenza de malabares y un factor de toro $(\mathbb{C}^*)^{n-k-\phi}$, donde $\phi$ es el número de puntos fijos de la permutación afín.
• Compactificaciones vía Variedades de Ladrillos (Teorema 1.4 y Teorema 4.11): Los autores muestran que las variedades de ladrillos (brick manifolds) proporcionan compactificaciones proyectivas suaves de las variedades de trenzas afines. El complemento de la variedad de trenza dentro de la variedad de ladrillos es un divisor de cruce normal. Esta construcción permite el cálculo de la homología equivariante de soporte compacto de las variedades de trenzas utilizando la estratificación de la variedad de ladrillos.
• Conexiones Homológicas (Teorema 4.22): Al relacionar la homología de las variedades de trenzas con la homología de las variedades de ladrillos y utilizando bimodules de Soergel y complejos de Rouquier, los autores establecen un isomorfismo entre la filtración de peso graduada de la cohomología de soporte compacto equivariante de una variedad de trenzas y la homología de Khovanov-Rozansky del enlace suave subyacente en grados $a$ específicos.
• Propiedad de Lefschetz Curiosa: Como consecuencia de la relación con las variedades de Richardson, el artículo confirma que las variedades de Richardson abiertas satisfacen la propiedad de Lefschetz curiosa, una conjetura propuesta previamente por Lam y Speyer.

Significancia y Reivindicaciones
El artículo afirma que sus resultados proporcionan una unificación conceptual de las cuatro diferentes presentaciones combinatorias de las variedades de positroides a través de la lente de la topología de contacto. Al demostrar que los enlaces legendrianos subyacentes son isotópicos, los autores muestran que la combinatoria algebraica de los positroides puede realizarse mediante isotopías de contacto. Esto permite el estudio de los estratos de positroides utilizando herramientas de la topología de contacto y de simpliticidad, tales como la homología de contacto legendriana.

Adicionalmente, el trabajo cierra la brecha entre la definición combinatoria de las variedades de trenzas y sus compactificaciones geométricas. Al identificar las variedades de ladrillos como las compactificaciones naturales, el artículo permite el cálculo de invariantes homológicos (como la homología equivariante) y conecta estas variedades con la teoría de representación de los bimodules de Soergel y la homología de Khovanov-Rozansky.

Los autores concluyen con una conjetura (Conjetura 5.1) que las estructuras de álgebra de clústeres en las variedades de aumento de estos enlaces legendrianos son invariantes bajo isotopía legendriana (hasta el isomorfismo de cuasi-clúster), lo que sugiere una invariancia estructural más profunda de los álgebras de clústeres asociados a los enlaces legendrianos.