(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

Technische Samenvatting van "Positive Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial"

Probleemstelling
Het artikel behandelt de existentie van positieve kwadratische determinantale representaties voor reële nietnegatieve homogene polynomen. Specifiek onderzoeken de auteurs of een gegeven homogene polynoom $F \in \mathbb{R}[x_0, x_1, x_2]$ van graad $2d$ kan worden uitgedrukt als het determinant van een symmetrische $d \times d$ matrix $M$ met enters die homogene kwadratische polynomen zijn, zodanig dat $M(a)$ positief semidefinit is voor alle $a \in \mathbb{R}^3$.

Hoewel de existentie van dergelijke representaties nietnegativiteit impliceert, is het omgekeerde een langlopende open vraag voor $d=3$ (graad 6 polynomen). Buckley en Šivic [BŠ20] conjectureerden dat het antwoord negatief is, waarbij zij de Robinson-polynoom $R$ (een specifieke nietnegatieve sextische) als tegenvoorbeeld voorstelden. Daarnaast was het bekend uit Quarez [Qua15] dat er in graad 4 (quartics) tegenvoorbeelden bestaan, maar de geometrische aard van deze tegenvoorbeelden was niet volledig gekarakteriseerd.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche meetkunde, schiefentheorie (sheaf theory) en computationele algebra om de structuur van determinantale representaties te analyseren.

1. Schiefentheoretisch kader: Het artikel maakt gebruik van de correspondentie tussen determinantale representaties en coherente scheven op de curve $X = V(F)$. Een kwadratische representatie komt overeen met een lijnbundel $L$ op $X$ die aan specifieke cohomologische voorwaarden voldoet (specifiek gerelateerd aan 2-torsiepunten in de Picard-groep).
2. Analyse van singulariteiten (Robinson-polynoom): Voor de Robinson-polynoom analyseren de auteurs de singulariteiten van de nulverzameling $X$. Zij stellen vast dat $X$ tien reële singulariteitspunten heeft en dat de normalisatie een genus 0 curve is met een lege reële component. Zij berekenen de Picard-groep $\text{Pic}(X)$ en tonen aan dat deze een grote 2-torsie subgroep bevat die isomorf is aan $(\mathbb{Z}/2\mathbb{Z})^{10}$.
3. Classificatie van representerende typen: Door expliciet de vrije resoluties van alle 1024 2-torsiepunten in $\text{Pic}(X)$ te berekenen, classificeren de auteurs de mogelijke "representerende typen" (matrices met specifieke graadpatronen). Zij demonstreren dat hoewel er determinantale representaties bestaan, geen van de typen die corresponderen met zuiver kwadratische enters een positief semidefinitie matrix oplevert.
4. Geometrie van gladde quartics: Voor gladde positieve ternaire quartics ($d=2$) maken de auteurs gebruik van de theorie van theta-karakteristieken en Steiner-complexen op de Jacobiaan-variëteit $J(C)$. Zij relateren kwadratische representaties aan contactcurves van graad $2d-2$ (conica's) en passen een constructieve adaptatie van Dixons algoritme toe.
5. Reële structuur en realiteitsvoorwaarden: De auteurs maken onderscheid tussen "reële" en "sterk reële" divisor-klassen op de Jacobiaan. Zij bewijzen dat er voor een gladde positieve quartic sterk reële 2-torsiepunten bestaan die aan de noodzakelijke cohomologische voorwaarden voldoen om een kwadratische representatie te genereren. Zij bewijzen verder dat de resulterende matrix positief definitief is door de topologische typen van de reële nulverzamelingen van de betrokken contact-conica's te analyseren.

Belangrijkste bijdragen en resultaten

• Stelling 1.1 (Niet-existentie voor Robinson-polynoom): De auteurs bewijzen dat de Robinson-polynoom $R$ geen positieve kwadratische determinantale representatie bezit. Dit bevestigt het conjectuur van Buckley en Šivic. Het bewijs berust op het feit dat een dergelijke representatie een 2-torsiepunt in $\text{Pic}(X)$ zou vereisen dat correspondeert met een specifieke lijnbundel, maar een uitputtende analyse van al deze bundels laat zien dat geen enkele resulterende matrix overal positief semidefinit is.
• Stelling 1.2 (Existentie voor gladde quartics): De auteurs bewijzen dat elke gladde positieve ternaire quartic een positieve kwadratische determinantale representatie bezit. Dit resultaat is significant omdat het vaststelt dat de bekende tegenvoorbeelden (van Quarez) noodzakelijkerwijs singulariteit in de vlakcurves moeten definiëren.
• Constructief Algoritme: Het artikel biedt een constructieve methode (Algoritme 3.8 en Stelling 3.26) om een positieve kwadratische representatie voor een gladde positieve quartic te genereren, gegeven een reële lineaire determinantale representatie. Dit omvat het berekenen van de bitangente matrix, het identificeren van een specifieke Steiner-complex en het toepassen van een verandering van basis om de kwadratische matrix $Q$ af te leiden.
• Classificatie van Representerende Typen: Het artikel biedt een gedetailleerde classificatie van de representerende typen voor de Robinson-polynoom, waarbij wordt getoond dat hoewel kwadratische representaties in een bredere zin bestaan (met gemengde graden), de strikt kwadratische varianten falen op de positiviteitsvoorwaarde.

Betekenis en Claims

Het artikel claimt een specifiek antwoord te geven op de vraag betreffende de Robinson-polynoom, door een definitief negatief antwoord te bieden op de existentie van een positieve kwadratische representatie voor dit specifieke tegenvoorbeeld.

Wat betreft het algemene geval, stelt het artikel een scherpe geometrische grens vast: het falen van positieve kwadratische representaties is intrinsiek verbonden met de singulariteit van de curve. Voor de klasse van gladde positieve ternaire quartics bewijzen de auteurs dat dergelijke representaties altijd bestaan, wat de "goede" gedrag van deze specifieke graad karakteriseert.

De auteurs concluderen met een bescheiden conjectuur (Conjectuur 4.1) dat de verzameling nietnegatieve vormen van graad $2d$ die een positieve kwadratische representatie bezitten, dicht is in de verzameling van alle nietnegatieve vormen van graad $2d$ (met betrekking tot de Euclidische topologie). Zij merken op dat hoewel de verzameling van dergelijke vormen een open omgeving bevat (gedemonstreerd door een perturbatie van de som van vierkanten), de omvang van deze verzameling voor hogere graden een open vraag blijft. Het artikel claimt niet het algemene geval voor $d \ge 3$ of voor singular curves van hogere graden te hebben opgelost, maar bakent de precieze voorwaarden af waaronder de representatie bestaat voor quartics en faalt voor de specifieke sextische.