Integrable systems approach to the Schottky problem and related questions

Dit artikel biedt een informele inleiding op de integrabele systemen-benadering van het Schottky-probleem, waarbij wordt uitgelegd hoe theta-functies van Jacobianen oplossingen voor de KP-vergelijking genereren en Krichevers bewijs van Welters' trisecant-conjectuur in het meest gedegenereerde geval wordt toegelicht.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is. In deze bibliotheek staan twee heel verschillende afdelingen:

1. De afdeling "Dynamische Systemen": Hier werken mensen met vergelijkingen die beschrijven hoe dingen veranderen, zoals golven in de oceaan of de beweging van planeten. Ze proberen deze vergelijkingen op te lossen.
2. De afdeling "Algebraïsche Meetkunde": Hier werken mensen met abstracte vormen, krommen en oppervlakken in hoge dimensies. Ze kijken naar de "smaak" en structuur van deze vormen.

Voor een lange tijd dachten de mensen in deze twee afdelingen dat ze niets met elkaar te maken hadden. Maar in dit artikel, geschreven door Samuel Grushevsky en Yuancheng Xie, wordt uitgelegd hoe deze twee werelden eigenlijk één groot mysterie delen. Het mysterie heet het Schottky-probleem.

Hier is een simpele uitleg van wat ze doen, met behulp van alledaagse vergelijkingen.

1. Het Mysterie: De "Recepten" van de Wiskunde

Stel je voor dat je een recept hebt voor een taart (een wiskundige vorm). Als je de taart bakt, krijg je een specifiek resultaat.

• In de wereld van de krommen (de meetkunde) hebben we een recept: "Neem een kromme lijn en maak er een complexe vorm van." Dit noemen we een Jacobiaan.
• In de wereld van de dynamische systemen (de vergelijkingen) hebben we een recept: "Los deze specifieke vergelijking op."

Het probleem is: Hoe weet je of een willekeurige, complexe vorm (een abelse variëteit) eigenlijk een "Jacobiaan" is? Ofwel: Is deze vorm gemaakt van een echte kromme, of is het gewoon een willekeurige vorm die toevallig op een taart lijkt?

Dit is het Schottky-probleem: Hoe onderscheid je de echte taarten (Jacobians) van de nep-taarten?

2. De Magische Sleutel: De "Baker-Akhiezer" Functie

De auteurs leggen uit dat er een magische sleutel is om dit probleem op te lossen. Deze sleutel heet de Baker-Akhiezer-functie.

Stel je voor dat je een muziekinstrument hebt (een kromme). Als je erop speelt, krijg je een specifieke melodie.

• De wiskundigen hebben ontdekt dat als je een bepaalde, zeer complexe kromme neemt, je er een "super-melodie" uit kunt halen.
• Deze melodie is niet zomaar een liedje; het is een oplossing voor een beroemde, moeilijke vergelijking uit de natuurkunde genaamd de KP-vergelijking (die golven beschrijft).

De ontdekking:

• Als je begint met een echte kromme, krijg je automatisch een oplossing voor de KP-vergelijking.
• Maar het omgekeerde is ook waar! Als je een oplossing voor de KP-vergelijking vindt die er "mooi" uitziet (een specifieke structuur heeft), dan moet die oplossing zijn gemaakt van een echte kromme.

Dit betekent dat de wereld van de golven (vergelijkingen) en de wereld van de vormen (meetkunde) precies op elkaar aansluiten.

3. De "Drie-Lijnen" Test (Het Trisecant Conjecture)

De kern van het artikel gaat over een bewijs van de wiskundige Igor Krichever (aan wie het artikel is opgedragen). Hij bewees een idee van een ander wiskundige, Welters.

Stel je voor dat je een 3D-objekt hebt (de Kummer-variëteit, een soort "schaduw" van je complexe vorm).

• De vraag: Kun je dit objekt herkennen als een echte Jacobiaan?
• De test: Kijk of er een rechte lijn door het objekt loopt die het op drie punten raakt. In de wiskunde noemen we dit een trisecant.

Normaal gesproken is het heel toevallig als een lijn een vorm op drie punten raakt. Maar Krichever bewees iets verbazingwekkends:

• Als je één enkele lijn vindt die op drie punten raakt (of zelfs nog extremer: een lijn die op één punt "drie keer" raakt, een zogenaamde flex-lijn), dan is de vorm zeker een Jacobiaan.

Het is alsof je een vreemd object ziet en zegt: "Als er maar één lijn is die dit op drie plekken raakt, dan is dit object per definitie gemaakt van een kromme lijn."

4. Waarom is dit belangrijk?

Dit klinkt misschien als pure abstracte wiskunde, maar het is eigenlijk een zoektocht naar de fundamentele structuur van de realiteit.

• De integratie: Het artikel laat zien dat je niet hoeft te kiezen tussen "vergelijkingen oplossen" en "vormen bestuderen". Ze zijn twee kanten van dezelfde medaille.
• De methode: Ze gebruiken de "magische substitutie" (zoals in de inleiding wordt beschreven: $t = \sin(\theta)$) om moeilijke integralen op te lossen. In dit geval gebruiken ze de meetkunde van krommen om complexe vergelijkingen op te lossen, en vice versa.

Samenvatting in één zin

Dit artikel legt uit hoe wiskundigen een "DNA-test" hebben bedacht voor complexe vormen: als je kunt laten zien dat een vorm een specifieke lijn heeft die op drie punten raakt, dan weet je zeker dat deze vorm is gemaakt van een wiskundige kromme, en dat deze vorm automatisch oplossingen produceert voor de meest complexe golven in de natuur.

Het is een prachtig voorbeeld van hoe wiskunde verschillende werelden verbindt: wat eruitziet als een probleem met golven, is eigenlijk een probleem met de vorm van een kromme, en de oplossing ligt in het vinden van die ene, speciale lijn.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Integrable Systems Approach to the Schottky Problem and Related Questions" van Samuel Grushevsky en Yuancheng Xie, geschreven in het Nederlands.

Samenvatting: De Integrabele Systemen Benadering van het Schottky-probleem

1. Het Probleem: Het Schottky-probleem
Het centrale onderwerp van deze lezingen is het klassieke Schottky-probleem uit de algebraïsche meetkunde. Het probleem stelt zich als volgt:

• Gegeven is de moduli ruimte $M_g$ van gladde algebraïsche krommen van genus $g$.
• Er bestaat een Torelli-afbeelding $J: M_g \to A_g$, die een kromme $C$ afbeeldt op zijn Jacobiaanse variëteit $Jac(C)$.
• De ruimte $A_g$ is de moduli ruimte van principally gepolariseerde abelse variëteiten (ppav's) van dimensie $g$.
• Voor $g \geq 4$ geldt dat $\dim M_g = 3g-3$ strikt kleiner is dan $\dim A_g = g(g+1)/2$.
• De Vraag: Welke abelse variëteiten in $A_g$ zijn Jacobianen van algebraïsche krommen? Met andere woorden: hoe karakteriseren we de beeldruimte $J(M_g)$ (de Jacobiaanse locus) binnen $A_g$?

Het artikel focust op een oplossing voor dit probleem die gebruikmaakt van de theorie van integrabele systemen, specifiek door te kijken naar de relatie tussen theta-functies, de KP-hiërarchie en de meetkunde van Kummer-variëteiten.

2. Methodologie: Van Commuterende Operatoren naar Algebraïsche Krommen
De auteurs volgen een pad dat de theorie van differentiaalvergelijkingen koppelt aan algebraïsche meetkunde. De kern van de methodologie bestaat uit de volgende stappen:

• Commuterende Differentiaaloperatoren: Het verhaal begint met de studie van paren commutende differentiaaloperatoren $L_1$ en $L_2$ in één variabele ($[L_1, L_2]=0$). Volgens de stelling van Burchnall-Chaundy (1923) voldoen dergelijke operatoren aan een polynoomrelatie $Q(L_1, L_2)=0$, die een algebraïsche kromme (de spectrale kromme) definieert.
• Baker-Akhiezer Functies: Krichever introduceerde de Baker-Akhiezer-functie $\psi(x, p)$, een unieke meromorfe functie op een algebraïsche kromme met een essentiële singulariteit in een punt $p_\infty$. Deze functie dient als een gezamenlijke eigenfunctie voor een hele ring van commutende operatoren.
• De KP-Hiërarchie: Door de Baker-Akhiezer-functie te generaliseren naar meerdere tijdsvariabelen ($t_1=x, t_2=y, t_3=t, \dots$), ontstaan oplossingen voor de Kadomtsev-Petviashvili (KP) vergelijking en de bredere KP-hiërarchie. De coëfficiënten van deze oplossingen worden uitgedrukt in termen van Riemann-thetafuncties.
• Geometrie van Theta-Divisoren: Het artikel analyseert de meetkunde van de theta-divisor $\Theta$ op een Jacobiaanse variëteit. Een cruciaal resultaat is de Weil-reduceerbaarheid, die leidt tot de Fay-Gunning trisecant-identiteit. Deze identiteit stelt dat voor elke kromme $C$ en vier punten $p,q,r,s \in C$, de beelden van bepaalde punten onder de Kummer-afbeelding (die de abelse variëteit projecteert naar een projectieve ruimte) collineair zijn. Dit betekent dat de Kummer-variëteit van een Jacobiaanse variëteit een familie van trisecanten (lijnen die de variëteit in drie punten snijden) bezit.

3. Belangrijkste Bijdragen en Resultaten
De hoofdbijdrage van het artikel is een overzicht en een bewijs van Krichever's oplossing voor het Schottky-probleem, specifiek voor het meest gedegenereerde geval van de trisecant-conjectuur van Welters.

• Welters' Trisecant-conjectuur: Welters vermoedde dat het bestaan van één trisecantlijn voor de Kummer-variëteit van een indecomposabele principally gepolariseerde abelse variëteit al voldoende is om te garanderen dat deze variëteit de Jacobiaanse is van een kromme.
• De Flex-lijn Geval: Het artikel concentreert zich op het meest gedegenereerde geval: de flex-lijn. Dit is een trisecant waarbij de drie snijpunten samenvallen tot één punt met multipliciteit drie (de lijn raakt de variëteit met multipliciteit drie).
• Krichever's Stelling (2010): Een indecomposabele principally gepolariseerde abelse variëteit $(A, \Theta)$ is de Jacobiaanse van een algebraïsche kromme als en slechts als de Kummer-variëteit van $A$ een flex-lijn bezit.
• Het Bewijs: Het bewijs verloopt als volgt:
  1. Uit het bestaan van een flex-lijn volgt een differentiaalvergelijking voor de theta-functie (de KP-vergelijking).
  2. Krichever construeert een Baker-Akhiezer-functie die voldoet aan deze vergelijking.
  3. Uit de uniciteit en periodiciteitseigenschappen van deze functie wordt een commutatieve ring van differentiaaloperatoren afgeleid.
  4. Volgens de theorie van integrabele systemen correspondeert deze ring met een algebraïsche kromme (de spectrale kromme).
  5. Het wordt aangetoond dat de oorspronkelijke abelse variëteit $A$ isomorf is aan de Jacobiaanse van deze spectrale kromme.

Een belangrijk technisch detail is dat het bewijs werkt met "formele jets" van de flex-lijn en laat zien dat het bestaan van een vierde-orde jet (wat overeenkomt met de KP-vergelijking) al voldoende is om de volledige familie van flex-lijnen en de onderliggende kromme te reconstrueren.

4. Significatie en Impact

• Oplossing van een Oud Probleem: Dit werk levert een volledige oplossing voor het Schottky-probleem in de zin van een meetkundige karakterisering. Het lost een probleem op dat meer dan 150 jaar oud is en dat eerder alleen "zwakke" oplossingen had (waarbij de Jacobiaanse locus een component was van een grotere variëteit gedefinieerd door vergelijkingen).
• Verbinding van Velden: Het artikel illustreert de diepe en verrassende connectie tussen drie ogenschijnlijk verschillende gebieden:
  1. Algebraïsche Meetkunde (moduli ruimtes, Jacobianen, theta-divisoren).
  2. Integrabele Systemen (KP-hiërarchie, Baker-Akhiezer functies, Lax-paren).
  3. Differentiaalvergelijkingen (commuterende operatoren, solitons).
• Krichever's Erfenis: Het artikel is opgedragen aan het nagedachtenis van Igor Krichever, wiens werk in de jaren 70 tot 2010 de basis legde voor deze benadering. Het toont aan hoe zijn visie dat "integrabele systemen de sleutel zijn tot de meetkunde van moduli ruimtes" waarheid is geworden.
• Technische Diepgang: Het biedt een informele maar rigoureuze toegangspoort tot complexe concepten zoals de Sato-Grassmanniaan, de rol van de Baker-Akhiezer-functie als brug tussen formele oplossingen en globale meetkundige objecten, en de overgang van trisecanten naar differentiaalvergelijkingen.

Kortom, het artikel demonstreert dat de aanwezigheid van een specifieke meetkundige structuur (een flex-lijn) in de Kummer-variëteit een krachtige en volledige karakterisering is van Jacobiaanse variëteiten, bewezen via de krachtige methoden van de theorie van integrabele systemen.