Lipshitz-Sarkar refines mirrors more than Khovanov

Resumen Técnico: "Lipshitz-Sarkar refina los espejos más que Khovanov"

Planteamiento del Problema
Este artículo aborda la Pregunta 2 (Q2) de una lista de 11 problemas planteados por Lipshitz y Sarkar en el Congreso Internacional de Matemáticos (ICM) de 2018. La pregunta indaga si el refinamiento homotópico-teórico de la homología de Khovanov (el espectro de Khovanov) proporciona una obstrucción más fuerte a la anfiquiralidad (simetría de espejo) que la homología de Khovanov integral ordinaria. Específicamente, el autor busca determinar si existe un nudo $K$ y su espejo $mK$ tales que sus grupos de homología de Khovanov integral sean isomórficos en cada bidegrado (incluyendo la torsión), pero sus espectros de Khovanov no sean equivalentes.

Metodología
El autor emplea una estrategia de búsqueda asistida por computadora utilizando el Censo de nudos de Regina, apoyada por la herramienta de IA "chat-GTP 5.6 sol Pro". La metodología consiste en un proceso de filtrado de múltiples etapas aplicado al censo de nudos primos:

1. Verificación Racional: Los nudos se filtran primero comparando sus polinomios de Khovanov racionales con los de sus espejos.
2. Verificación Integral: Los candidatos que sobreviven a la primera etapa son verificados para la isomorfía en grupos completos de homología de Khovanov integral, incluyendo los subgrupos de torsión.
3. Verificación de Soporte: Los candidatos restantes son examinados para asegurar que sus tablas de homología mod-2 contengan grupos origen y objetivo separados por dos grados cohomológicos, una condición necesaria para que la operación del cuadrado de Steenrod ($Sq^2$) sea no trivial.
4. Verificación de Simetría Geométrica: Una verificación independiente mediante SnapPy asegura que el complemento del nudo tiene un grupo de simetría trivial, garantizando que el nudo no es inherentemente simétrico de espejo.
5. Computación Espectral: Para los candidatos finales, el autor computa el rango del mapa del cuadrado de Steenrod $Sq^2: Kh_{i,j}(K; \mathbb{F}_2) \to Kh_{i+2,j}(K; \mathbb{F}_2)$ y lo compara con el mapa correspondiente para el nudo espejo.

La búsqueda se centró en nudos primos con hasta 17 cruces. Mientras que los nudos con hasta 15 cruces y todos los 1,008,906 nudos primos no alternantes de 16 cruces fueron examinados sin éxito, la búsqueda procedió al censo de 17 cruces, que contiene más de 8 millones de nudos primos.

Resultos Clave
El artículo presenta el Teorema 3.1, que identifica un nudo primo específico, denotado como $K = 17nh0009090$ en el censo de Regina, que satisface las condiciones de la pregunta de Lipshitz y Sarkar:

• Equivalencia de Homología: Para cada par de índices de graduación $(i, j)$, los grupos de homología de Khovanov integral de $K$ y su espejo $mK$ son isomórficos como grupos abelianos ($Khi,j(K; \mathbb{Z}) \cong Khi,j(mK; \mathbb{Z})$), incluyendo todos los componentes de torsión.
• Distinción Espectral: Sobre el campo $\mathbb{F}_2$, el rango del mapa del cuadrado de Steenrod $Sq^2: Kh_{-6,-9} \to Kh_{-4,-9}$ difiere entre el nudo y su espejo. Específicamente, el rango es 1 para $K$ y 0 para $mK$.
• Conclusión: En consecuencia, los tipos de homotopía estables de Khovanov cuántico-graduados de $K$ y $mK$ no son equivalentes, a pesar de que sus grupos de homología integral son idénticos.

El autor también señala la existencia de un ejemplo compuesto (no primo) que satisface propiedades similares, detallado en el Apéndice B.

Significancia y Reivindicaciones
El artículo afirma proporcionar una respuesta afirmativa a la Q2 de Lipshitz y Sarkar, demostrando que el espectro de Khovanov es un invariante estrictamente más fuerte para detectar la quiralidad que la homología de Khovanov integral. El autor enfatiza que este es el primer ejemplo exitoso encontrado en una búsqueda sistemática asistida por computadora, marcando la frontera de los 17 cruces como la primera instancia donde se observó tal discrepancia.

El trabajo destaca la utilidad de las herramientas impulsadas por IA en el descubrimiento matemático, específicamente en búsquedas combinatorias y reconocimiento de patrones dentro de grandes conjuntos de datos como el Censo de Regina. El autor enmarca el resultado como un teorema de existencia en lugar de una afirmación de minimalidad absoluta, señalando que el nudo de 17 cruces es el primer ejemplo verificado encontrado, pero no necesariamente el nudo con el número mínimo de cruces para esta propiedad. El artículo concluye que la obstrucción a la anfiquiralidad proporcionada por el espectro de Khovanov es, de hecho, más fuerte que la proporcionada por la homología sola.