Lipshitz-Sarkar refines mirrors more than Khovanov

Resumo Técnico: "Lipshitz-Sarkar Refina Espelhos Mais do que Khovanov"

Enunciado do Problema
Este artigo aborda a Questão 2 (Q2) de uma lista de 11 problemas propostos por Lipshitz e Sarkar no Congresso Internacional de Matemáticos (ICM) de 2018. A questão pergunta se o refinamento homotópico-teórico da homologia de Khovanov (o espectro de Khovanov) fornece uma obstrução mais forte à anficiralidade (simetria de espelho) do que a homologia de Khovanov integral ordinária. Especificamente, o autor busca determinar se existe um nó $K$ e seu espelho $mK$ cujos grupos de homologia de Khovanov integral sejam isomorfos em cada bidegrado (incluindo torção), mas cujos espectros de Khovanov não sejam equivalentes.

Metodologia
O autor emprega uma estratégia de busca assistida por computador utilizando o Censo Regina de nós, auxiliada pela ferramenta de IA "chat-GTP 5.6 sol Pro". A metodologia envolve um processo de filtragem de múltiplos estágios aplicado ao censo de nós primos:

1. Verificação Racional: Os nós são primeiro filtrados comparando seus polinômios de Khovanov racionais com os de seus espelhos.
2. Verificação Integral: Candidatos que sobrevivem ao primeiro estágio são verificados quanto ao isomorfismo em grupos completos de homologia de Khovanov integral, incluindo subgrupos de torção.
3. Verificação de Suporte: Os candidatos restantes são examinados para garantir que suas tabelas de homologia mod-2 contenham grupos de origem e alvo separados por dois graus cohomológicos, uma condição necessária para que a operação do quadrado de Steenrod ($Sq^2$) seja não-trivial.
4. Verificação de Simetria Geométrica: Uma verificação independente usando SnapPy verifica se o complemento do nó possui um grupo de simetria trivial, garantindo que o nó não seja inerentemente simétrico por espelhamento.
5. Computação Espectral: Para os candidatos finais, o autor computa o posto da aplicação do quadrado de Steenrod $Sq^2: Kh_{i,j}(K; \mathbb{F}_2) \to Kh_{i+2,j}(K; \mathbb{F}_2)$ e o compara com a aplicação correspondente para o nó espelho.

A busca concentrou-se em nós primos com até 17 cruzamentos. Enquanto nós com até 15 cruzamentos e todos os 1.008.906 nós primos não-alternantes de 16 cruzamentos foram examinados sem sucesso, a busca prosseguiu para o censo de 17 cruzamentos, que contém mais de 8 milhões de nós primos.

Resultos Principais
O artigo apresenta o Teorema 3.1, que identifica um nó primo específico, denotado como $K = 17nh0009090$ no censo Regina, que satisfaz as condições da questão de Lipshitz e Sarkar:

• Equivalência de Homologia: Para cada par de índices de graduação $(i, j)$, os grupos de homologia de Khovanov integral de $K$ e seu espelho $mK$ são isomorfos como grupos abelianos ($Khi,j(K; \mathbb{Z}) \cong Khi,j(mK; \mathbb{Z})$), incluindo todos os componentes de torção.
• Distinção Espectral: Sobre o corpo $\mathbb{F}_2$, o posto da aplicação do quadrado de Steenrod $Sq^2: Kh_{-6,-9} \to Kh_{-4,-9}$ difere entre o nó e seu espelho. Especificamente, o posto é 1 para $K$ e 0 para $mK$.
• Conclusão: Consequentemente, os tipos de homotopia estáveis de Khovanov graduados quanticamente de $K$ e $mK$ não são equivalentes, apesar de seus grupos de homologia integral serem idênticos.

O autor também nota a existência de um exemplo composto (não-primo) que satisfaz propriedades semelhantes, detalhado no Apêndice B.

Significância e Alegações
O artigo afirma fornecer uma resposta afirmativa à Q2 de Lipshitz e Sarkar, demonstrando que o espectro de Khovanov é um invariante estritamente mais forte para detectar quiralidade do que a homologia de Khovia de forma integral. O autor enfatiza que este é o primeiro exemplo bem-sucedido encontrado em uma busca sistemática assistida por computador, marcando a fronteira dos 17 cruzamentos como a primeira instância onde tal discrepância foi observada.

O trabalho destaca a utilidade de ferramentas impulsionadas por IA na descoberta matemática, especificamente em buscas combinatórias e reconhecimento de padrões dentro de grandes conjuntos de dados como o Censo Regina. O autor enquadra o resultado como um teorema de existência, e não como uma alegação de minimalidade absoluta, observando que o nó de 17 cruzamentos é o primeiro exemplo verificado encontrado, mas não necessariamente o nó com o número mínimo de cruzamentos para esta propriedade. O artigo conclui que a obstrução à anficiralidade fornecida pelo espectro de Khovanov é, de fato, mais forte do que aquela fornecida pela homologia isolada.