Lipshitz-Sarkar refines mirrors more than Khovanov

Résumé technique : « Lipshitz-Sarkar affine davantage les miroirs que Khovanov »

Énoncé du problème
Cet article traite de la Question 2 (Q2) issue d'une liste de 11 problèmes posés par Lipshitz et Sarkar lors du Congrès International des Mathématiciens (ICM) de 2018. La question demande si le raffinement homotopique-théorique de l'homologie de Khovanov (le spectre de Khovanov) fournit une obstruction plus forte à l'amphichiralité (symétrie miroir) que l'homologie de Khovanov intégrale ordinaire. Plus précisément, l'auteur cherche à déterminer s'il existe un nœud $K$ et son miroir $mK$ tels que leurs groupes d'homologie de Khovanov intégraux soient isomorphes dans chaque bigraduation (incluant la torsion), mais que leurs spectres de Khovanov ne soient pas équivalents.

Méthodologie
L'auteur emploie une stratégie de recherche assistée par ordinateur utilisant le recensement Regina des nœuds, aidée par l'outil d'IA « chat-GTP 5.6 sol Pro ». La méthodologie consiste en un processus de filtrage à plusieurs étapes appliqué au recensement des nœuds premiers :

1. Vérification rationnelle : Les nœuds sont d'abord filtrés en comparant leurs polynômes de Khovanov rationnels avec ceux de leurs miroirs.
2. Vérification intégrale : Les candidats ayant survécu à la première étape sont vérifiés pour l'isomorphisme dans les groupes complets d'homologie de Khovanov intégraux, incluant les sous-groupes de torsion.
3. Vérification du support : Les candidats restants sont examinés pour s'assurer que leurs tables d'homologie mod-2 contiennent des groupes sources et cibles séparés par deux degrés cohomologiques, une condition nécessaire pour que l'opération du carré de Steenrod ($Sq^2$) soit non triviale.
4. Vérification de la symétrie géométrique : Une vérification indépendante utilisant SnapPy garantit que le complément du nœud possède un groupe de symétrie trivial, assurant que le nœud n'est pas intrinsèquement symétrique par rapport au miroir.
5. Calcul spectral : Pour les derniers candidats, l'auteur calcule le rang de l'application du carré de Steenrod $Sq^2: Kh_{i,j}(K; \mathbb{F}_2) \to Kh_{i+2,j}(K; \mathbb{F}_2)$ et le compare avec l'application correspondante pour le nœud miroir.

La recherche s'est concentrée sur les nœuds premiers ayant jusqu'à 17 croisements. Bien que les nœuds allant jusqu'à 15 croisements et tous les 1 008 906 nœuds premiers non alternatifs à 16 croisements aient été examinés sans succès, la recherche s'est poursuivie dans le recensement à 17 croisements, qui contient plus de 8 millions de nœuds premiers.

Résultats clés
L'article présente le Théorème 3.1, qui identifie un nœud premier spécifique, noté $K = 17nh0009090$ dans le recensement Regina, qui satisfait les conditions de la question de Lipshitz et Sarkar :

• Équivalence d'homologie : Pour chaque paire d'indices de graduation $(i, j)$, les groupes d'homologie de Khovanov intégraux de $K$ et de son miroir $mK$ sont isomorphes en tant que groupes abéliens ($Khi,j(K; \mathbb{Z}) \cong Khi,j(mK; \mathbb{Z})$), incluant toutes les composantes de torsion.
• Distinction spectrale : Sur le corps $\mathbb{F}_2$, le rang de l'application du carré de Steenrod $Sq^2: Kh_{-6,-9} \to Kh_{-4,-9}$ diffère entre le nœud et son miroir. Plus précisément, le rang est de 1 pour $K$ et de 0 pour $mK$.
• Conclusion : Par conséquent, les types de stabilité de Khovanov quantiquement gradués de $K$ et $mK$ ne sont pas équivalents, bien que leurs groupes d'homologie intégraux soient identiques.

L'auteur note également l'existence d'un exemple composé (non premier) satisfaisant des propriétés similaires, détaillé dans l'Appendice B.

Signification et affirmations
L'article affirme fournir une réponse affirmative à la Q2 de Lipshitz et Sarkar, démontant que le spectre de Khovanov est un invariant strictement plus fort pour détecter la chiralité que l'homologie de Khovanov intégrale. L'auteur souligne qu'il s'agit du premier exemple réussi trouvé lors d'une recherche systématique assistée par ordinateur, marquant la frontière des 17 croisements comme le premier cas où une telle divergence a été observée.

Le travail met en évidence l'utilité des outils pilotés par l'IA dans la découverte mathématique, spécifiquement dans les recherches combinatoires et la reconnaissance de formes au sein de grands ensembles de données comme le recensement Regina. L'auteur présente ce résultat comme un théorème d'existence plutôt que comme une affirmation de minimalité absolue, notant que le nœud à 17 croisements est le premier exemple vérifié trouvé, mais pas nécessairement le nœud ayant le nombre minimal de croisements pour cette propriété. L'article conclut que l'obstruction à l'amphichiralité fournie par le spectre de Khovanov est effectivement plus forte que celle fournie par l'homologie seule.