A family of Non-Weierstrass Semigroups

In dit artikel presenteren de auteurs een nieuwe methode gebaseerd op syzygieën om aan te tonen dat bepaalde numerieke semigruppen niet-Weierstrass zijn, waaronder het eerste bekende voorbeeld met multipliciteit 6 en genus 13.

De kern

De Geheimzinnige Getallen: Waarom sommige patronen niet bestaan

Stel je voor dat je een enorme verzameling getallen hebt: 0, 1, 2, 3, enzovoort. Een Numerieke Semigroep is een speciale club van deze getallen. De regels zijn simpel:

1. Je hebt het getal 0.
2. Als je twee getallen uit de club bij elkaar optelt, moet het resultaat ook in de club zitten.
3. Er zijn maar een eindig aantal getallen die niet in de club zitten (deze noemen we de "gaten" of de genus).

De Grote Vraag:
In 1892 vroeg de beroemde wiskundige Hurwitz zich af: "Kan elk willekeurig patroon van zulke getallenclubs voorkomen in de echte natuur?"

In de wiskundige wereld van Riemann-oppervlakken (denk hier aan complexe, kromme oppervlakken zoals een theebloem of een donut met meerdere gaten), bestaan er speciale punten. Rond deze punten kun je functies maken die overal glad zijn, behalve op dat ene punt waar ze "explosief" worden (ze hebben een pool). De snelheid waarmee ze exploderen, vormt precies zo'n getallenclub.

Als een getallenclub op deze manier kan ontstaan, noemen we hem een Weierstrass-semigroep. Hurwitz dacht misschien wel dat elke club mogelijk was. Maar wiskundigen ontdekten later dat sommige clubs "onmogelijk" zijn. Ze lijken eruit te zien, maar ze kunnen nooit ontstaan uit een glad oppervlak.

Het Probleem: De "Onmogelijke" Clubs

Voorheen wisten we al dat er onmogelijke clubs bestonden, maar die waren enorm groot en complex (zoals een club met een "multipliciteit" van 13). Het was alsof we pas onmogelijke monsters hadden gevonden die al 13 poten hadden. Niemand had ooit een onmogelijke club gevonden met maar 6 poten (de kleinste mogelijke voor een niet-triviale club).

De Nieuwe Ontdekking:
Eisenbud en Schreyer hebben een nieuwe manier gevonden om te bewijzen dat bepaalde clubs niet bestaan. Ze hebben zelfs de allereerste "onmogelijke club" gevonden met slechts 6 poten (multipliciteit 6) en 13 gaten (genus 13). Dit is het kleinste mogelijke bewijs dat er bestaat.

Hoe hebben ze dit bewezen? (De Metafoor)

Stel je voor dat je een kleine, flexibele leemklomp hebt (dit is je getallenclub). Je wilt weten of je deze leemklomp kunt uitrekken en vervormen tot een grote, gladde, perfecte vorm (een glad Riemann-oppervlak).

1. De "Scheur" in de Leem:
   De auteurs kijken niet alleen naar de vorm, maar naar de structuur van de leem. Ze gebruiken een wiskundige techniek (syzygies) om te kijken hoe de verschillende delen van de leem aan elkaar vastzitten.

   Ze ontdekten dat bij hun speciale clubs (zoals {6, 9, 13, 16}), de leem een heel specifiek patroon van verbindingen heeft. Ze noemen dit "degree-special".

2. De Vastzittende Prik:
   Het cruciale inzicht is dit: Als je probeert deze specifieke leemklomp te vervormen tot een glad oppervlak, blijft er altijd een punt over dat vastzit.

   • De Analogie: Stel je voor dat je een elastiekje uitrekt. Normaal gesproken wordt het glad. Maar bij deze speciale clubs is er een onzichtbare "naald" in het elastiekje. Waar je het elastiekje ook uitrekt, de naald blijft erin zitten en maakt het oppervlak ruw (singulier).

   Omdat een echt Riemann-oppervlak overal glad moet zijn (geen naalden, geen ruwe plekken), betekent dit dat deze getallenclub nooit kan ontstaan uit een glad oppervlak. Het is een "fictieve" club.

Wat betekent dit voor de wereld?

• De "Minimale" Grens: Ze hebben bewezen dat je niet verder hoeft te zoeken naar onmogelijke clubs met minder dan 6 poten. Alles met minder dan 6 poten is altijd mogelijk. Maar bij 6 poten beginnen de "monsters" te verschijnen.
• De Methode: Ze hebben een nieuw gereedschap ontwikkeld (gebaseerd op de manier hoe de "draden" van de club met elkaar verbonden zijn) om te testen of een club echt is of niet.
• De Familie: Ze hebben niet alleen één voorbeeld gevonden, maar een hele familie van onmogelijke clubs. Voor bijna elk getal groter dan 13 (dat niet deelbaar is door 3), kunnen ze een club maken die onmogelijk is.

Samenvatting in één zin:

Eisenbud en Schreyer hebben ontdekt dat er een hele familie van getallenpatronen bestaat die er perfect uitziet, maar die wiskundig gezien "gebroken" is; ze kunnen nooit ontstaan in een gladde, natuurlijke vorm, en ze hebben de allereerste en kleinste voorbeelden hiervan gevonden.

Het is alsof ze een nieuwe wet hebben ontdekt in de natuurkunde van getallen: "Sommige patronen lijken mogelijk, maar de structuur van het universum staat ze simpelweg niet toe om te bestaan."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A FAMILY OF NUMERICAL SEMIGROUPS THAT ARE NOT WEIERSTRASS SEMIGROUPS" van David Eisenbud en Frank-Olaf Schreyer, in het Nederlands.

Probleemstelling

Het artikel adresseert een klassiek probleem in de algebraïsche meetkunde en de theorie van numerieke semigruppen, gesteld door Adolf Hurwitz in 1892: Welke numerieke semigruppen komen voor als Weierstrass-semigruppen?

Een numerieke semigroup $S$ is een deelverzameling van de niet-negatieve gehele getallen die gesloten is onder optelling, een eindig complement heeft (de genus $g$), en het kleinste niet-nul element $m$ bevat (de multipliciteit). Een semigroup is een Weierstrass-semigroup als hij de verzameling is van de poolordes van rationale functies die regulair zijn op een gladde projectieve kromme $X$ behalve in één punt $p$.

Tot de publicatie van dit artikel was bekend dat:

• Alle semigruppen met genus $g < 8$ of multipliciteit $m < 6$ Weierstrass zijn.
• Er bestonden voorbeelden van niet-Weierstrass semigruppen (beginnen bij Buchweitz in 1980), maar deze hadden een hoge genus ($g=16$) of hoge multipliciteit ($m \ge 8$).
• Er was geen bekend voorbeeld van een niet-Weierstrass semigroup met multipliciteit $m < 8$ of genus $g < 16$.

Het doel van het artikel is om een nieuwe methode te introduceren om te bewijzen dat bepaalde semigruppen niet Weierstrass zijn, en specifiek om de eerste voorbeelden te vinden met de laagst mogelijke multipliciteit ($m=6$) en de laagst bekende genus ($g=13$).

Methodologie

De auteurs gebruiken een combinatie van de theorie van syzygies (relaties tussen generatoren) van het semigroup-ideaal en de theorie van vlakke deformaties (flat deformations).

1. Pinkham's Stelling (1974):
   Een numerieke semigroup $S$ is een Weierstrass-semigroup dan en slechts dan als de semigroup-algebra $k[S]$ deelneemt aan een homogene 1-parameter gladde familie (smoothing) $A_z$ over een veld $k[z]$, waarbij de speciale vezel $A_0 = k[S]$ is. Als elke vezel in zo'n familie een singulier punt bevat, kan $S$ niet Weierstrass zijn.

2. Resoluties en Speciale Format:
   De auteurs analyseren de minimale vrije resolutie van het semigroup-ideaal $I$ van $k[S]$. Ze definiëren een specifieke structuur, genaamd een speciale resolutie met het formaat $\{1, 6, 8, 3\}$. Dit betekent dat de resolutie eruit ziet als:
   $$0 \to P \to P^6 \xrightarrow{\phi_1} P^8 \xrightarrow{\phi_2} P^3 \xrightarrow{\phi_3} P \to 0$$
   (waarbij $P$ een gepolynomeerde ring is).

3. Het Concept "Degree-Special":
   Een semigroup $S$ wordt degree-special genoemd als elke vlakke, gepolynomeerde deformatie van $k[S]$ een minimale vrije resolutie behoudt die een specifiek acyclisch subcomplex van formaat $\{1, 4, 4, 1\}$ bevat.

   • Dit subcomplex wordt geïnduceerd door een keuze van generatoren waarbij bepaalde matrixinvoeren (vanwege negatieve formele graden) nul zijn.
   • De auteurs tonen aan dat de aanwezigheid van dit subcomplex leidt tot een onderscheiden multisection (multi-section) in de familie van deformaties.
   • Cruciaal is dat deze sectie correspondeert met een singulier punt in elke vezel van de familie. Omdat een Weierstrass-semigroup vereist dat de generieke vezel glad is (een gladde kromme), impliceert de aanwezigheid van een onvermijdelijke singulariteit dat $S$ niet Weierstrass kan zijn.

4. Combinatorische Criteria:
   De auteurs geven voldoende voorwaarden (Propositie 2.3) gebaseerd op de graden van de matrixinvoeren in de resolutie om te garanderen dat een semigroup degree-special is. Dit maakt het mogelijk om de eigenschap te controleren zonder de volledige resolutie voor elke deformatie te berekenen.

Belangrijkste Resultaten

1. Nieuwe Voorbeelden met Minimale Multipliciteit:
   De auteurs bewijzen dat de semigroup gegenereerd door $\{6, 9, g, g+3\}$ (waarbij $g \ge 13$ en $g \not\equiv 0 \pmod 3$) niet Weierstrass is.

   • Dit levert het eerste bekende voorbeeld op met multipliciteit $m=6$ (de theoretische ondergrens voor niet-triviale gevallen).
   • Het levert het voorbeeld op met de laagst bekende genus: $g=13$ (voor de semigroup $\{6, 9, 13, 16\}$).

2. Lijst van Degree-Special Semigruppen:
   Ze identificeren een volledige lijst van degree-special semigruppen tot genus 20. Er zijn geen dergelijke semigruppen met genus $< 13$. De gevonden voorbeelden omvatten:

   • $g=13$: $\{6, 9, 13, 16\}$ en $\{8, 9, 12, 13\}$
   • $g=14$: $\{6, 9, 14, 17\}$
   • $g=15$: $\{8, 10, 13, 15\}$
   • En verder voor hogere genuswaarden.

3. Algoritme en Verificatie:
   De auteurs hebben een Macaulay2-programma ontwikkeld dat aantoont dat alle numerieke semigruppen met genus $< 11$ Weierstrass zijn. Dit bevestigt de grenzen van de bestaande theorie en valideert de nieuwe methode.

4. Verband met Kunz-Waldi Semigruppen:
   Ze tonen aan dat sommige degree-special semigruppen (zoals $\{6, 9, 13, 16\}$) vallen onder de familie van Kunz-Waldi semigruppen (waarbij de resolutie een specifiek formaat heeft), maar dat de methode ook werkt voor semigruppen die niet Kunz-Waldi zijn (zoals $\{6, 9, 14, 17\}$).

5. Constructie via Torres' Stelling:
   Aan het einde van het artikel gebruiken ze een stelling van Torres om aan te tonen dat als $L$ een niet-Weierstrass semigroup is, dan is een bepaalde uitbreiding $L'$ (gegenereerd door $2L$ en extra grote oneven getallen) ook niet Weierstrass. Dit genereert oneindig veel nieuwe voorbeelden.

Significantie

• Doorbraak in Lagere Grenzen: Het artikel doorbreekt de barrière van multipliciteit 8 en genus 16. Het bewijst dat niet-Weierstrass semigruppen al bestaan bij de laagst mogelijke multipliciteit ($m=6$) en een veel lagere genus dan eerder bekend ($g=13$).
• Nieuwe Techniek: De methode van het analyseren van de persistency van specifieke subcomplexen in vlakke deformaties (via syzygies en formele graden) biedt een krachtig nieuw instrument dat onafhankelijk is van eerdere methoden zoals die van Buchweitz (gebaseerd op kwadratische differentiaalvormen) of Pinkham (gebaseerd op deformaties zonder specifieke resolutie-structuur).
• Verband met Meetkunde: Het werk verduidelijkt de relatie tussen de algebraïsche structuur van de semigroup-ring en de meetkundige eigenschappen van de onderliggende kromme. Het toont aan dat de aanwezigheid van een "natuurlijke sectie" in de universele ontvouwing (unfolding) die singulair is, een obstructie vormt voor het bestaan van een gladde kromme met die semigroup.
• Volledigheid: Het biedt een systematische manier om te testen of een gegeven semigroup Weierstrass is, en levert een lijst van contra-voorbeelden die als testgevallen kunnen dienen voor toekomstige conjectures in dit domein.

Samenvattend introduceren Eisenbud en Schreyer een diepgaande algebraïsche methode die de grenzen van het "Weierstrass-probleem" aanzienlijk verlegt en de eerste concrete voorbeelden levert in de laagste mogelijke complexiteitsklassen.