Lipshitz-Sarkar refines mirrors more than Khovanov

Technische Samenvatting: "Lipshitz-Sarkar verfijnt spiegels sterker dan Khovanov"

Probleemstelling
Dit artikel behandelt Vraag 2 (Q2) uit een lijst van 11 problemen die door Lipshitz en Sarkar werden geponeerd tijdens het 2018 International Congress of Mathematicians (ICM). De vraag is of de homotopietheoretische verfijning van de Khovanov-homologie (de Khovanov-spectrum) een sterkere obstructie biedt voor amfichiraliteit (spiegelsymmetrie) dan de gewone integrale Khovanov-homologie. Specifiek zoekt de auteur naar de aanwezigheid van een knoop $K$ en zijn spiegelbeeld $mK$ waarvoor de integrale Khovanov-homologiegroepen in elke bidegraad (inclusclusief torsie) isomorf zijn, maar hun Khovanov-spectra niet equivalent zijn.

Methodologie
De auteur hanteert een computergestuurde zoekstrategie gebruikmakend van de Regina Census van knopen, ondersteund door de AI-tool "chat-GTP 5.6 sol Pro." De methodologie bestaat uit een meerfasig filterproces toegepast op de census van priemknopen:

1. Rationale Controle: Knopen worden eerst gefilterd door hun rationale Khovanov-polynomen te vergelijken met die van hun spiegelbeelden.
2. Integrale Controle: Kandidaten die de eerste fase overleven, worden gecontroleerd op isomorfisme in volledige integrale Khovanov-homologiegroepen, inclusief torsiegroepen.
3. Support Controle: De resterende kandidaten worden gescreend om te waarborgen dat hun mod-2 homologie-tabellen bron- en doelgroepen bevatten die gescheiden zijn door twee cohomologische graden, een noodzakelijke voorwaarde voor de Steenrod-kwadraat-operatie ($Sq^2$) om niet-triviaal te zijn.
4. Geometrische Symmetrie Controle: Een onafhankelijke controle met behulp van SnapPy verifieert dat de complement van de knoop een triviale symmetriegroep heeft, wat garandeert dat de knoop niet inherent spiegelsymmetrisch is.
5. Spectrale Berekening: Voor de definitieve kandidaten berekent de auteur de rang van de Steenrod-kwadraat-afbeelding $Sq^2: Kh_{i,j}(K; \mathbb{F}_2) \to Kh_{i+2,j}(K; \mathbb{F}_2)$ en vergelijkt deze met de corresponderende afbeelding voor de spiegelknoop.

De zoektocht richtte zich op priemknopen met tot 17 kruisingen. Terwijl knopen met tot 15 kruisingen en alle 1.008.906 niet-alternerende 16-kruisende priemknopen succesvol werden gescreend zonder resultaat, ging de zoektocht verder naar de 17-kruisende census, die meer dan 8 miljoen priemknopen bevat.

Belangrijkste Resultaten
Het artikel presenteert Stelling 3.1, die een specifieke priemknoop identificeert, aangeduid als $K = 17nh0009090$ in de Regina Census, die voldoet aan de voorwaarden van de vraag van Lipshitz en Sarkar:

• Homologie Equivalentie: Voor elk paar gradatie-indices $(i, j)$ zijn de integrale Khovanov-homologiegroepen van $K$ en zijn spiegelbeeld $mK$ isomorf als abelse groepen ($Khi,j(K; \mathbb{Z}) \cong Khi,j(mK; \mathbb{Z})$), inclusief alle torsiecomponenten.
• Spectrale Distinctie: Over het lichaam $\mathbb{F}_2$ verschilt de rang van de Steenrod-kwadraat-afbeelding $Sq^2: Kh_{-6,-9} \to Kh_{-4,-9}$ tussen de knoop en zijn spiegelbeeld. Specifiek is de rang 1 voor $K$ en 0 voor $mK$.
• Conclusie: Bijgevolg zijn de kwantum-gegradeerde Khovanov stabiele homotopie-typen van $K$ en $mK$ niet equivalent, ondanks dat hun integrale homologiegroepen identiek zijn.

De auteur merkt ook het bestaan op van een samengestelde (niet-priem) voorbeeld dat vergelijkbare eigenschappen vertoont, zoals gedetailleerd in Appendix B.

Betekenis en Claims
Het artikel claimt een bevestigend antwoord te bieden op de Q2 van Lipshitz en Sarkar, waarmee wordt aangetoond dat het Khovanov-spectrum een strikt sterkere invariant is voor het detecteren van chiraliteit dan de integrale Khovanov-homologie. De auteur benadrukt dat dit de eerste succesvolle vondst is via een systematische computergestuurde zoektocht, waarbij de grens van 17 kruisingen het eerste instance is waar een dergelijk verschil werd waargenomen.

Het werk onderstreept het nut van AI-gestuurde tools bij wiskundige ontdekkingen, specifweg in combinatorische zoektochten en patroonherkenning binnen grote datasets zoals de Regina Census. De auteur presenteert het resultaat als een existentiebewijs in plaats van een claim van absolute minimaliteit, waarbij wordt opgemerkt dat de 17-kruisende knoop het eerste geverifieerde voorbeeld is dat is gevonden, maar niet noodzakelijkerwijs de knoop met het minimale aantal kruisingen voor deze eigenschap. Het artikel concludeert dat de obstructie tot amfichiraliteit geboden door het Khovanov-spectrum inderdaad sterker is dan die geboden door de homologie alleen.