Remarks on polynomial count varieties

In deze korte noot weerlegt de auteur twee vermoedens over polynoomtelprijkenvariëteiten door te tonen dat een gladde variëteit met puntentelling $q^n$ niet noodzakelijk isomorf is met de $n$-dimensionale affiene ruimte, en dat de Hodge-cijfers van dergelijke variëteiten niet per se voldoen aan $h^{p,q}=0$ voor $p \neq q$.

De kern

Korte samenvatting van het artikel "Opmerkingen over variëteiten die op een polynoom tellen"

Stel je voor dat wiskundigen een soort "telraam" hebben voor geometrische vormen. Normaal gesproken is het heel lastig om te tellen hoeveel punten er op zo'n vorm liggen als je ze bekijkt in een eindige wereld (zoals een spelbord met een beperkt aantal vakjes, wat wiskundigen een "eindig veld" noemen).

Soms echter is het antwoord verrassend simpel: het aantal punten volgt precies een vast patroon, een polynoom (een wiskundige formule zoals $q^2$ of $q^3$). Als een vorm dit doet, noemen we hem een "variëteit die op een polynoom telt".

In dit korte artikel stellen de auteurs, Fernando Rodriguez Villegas en Nicholas M. Katz, twee vragen die logisch lijken, en laten ze zien dat het antwoord in beide gevallen "Nee" is. Ze gebruiken creatieve voorbeelden om te bewijzen dat je niet zomaar mag aannemen dat iets "simpel" is, alleen omdat het goed telt.

Hier is de uitleg in alledaags taal, met een paar analogieën:

De Twee Grote Vragen

De auteurs willen weten of deze "goede telers" (variëteiten die op een polynoom tellen) ook daadwerkelijk simpele vormen zijn.

1. Vraag 1: Als een vorm precies evenveel punten telt als een gewone, lege ruimte (zoals een vlak of een kubus), is hij dan echt een gewone, lege ruimte?

   • De analogie: Stel je hebt een doos met precies evenveel blokken als een lege doos. Is het dan ook een lege doos? Of zit er misschien een verborgen, gekke structuur in die je niet ziet, maar die toch precies evenveel blokken telt?
   • Het antwoord: Nee. Je kunt een vorm bouwen die er "kijkend naar het aantal punten" precies uitziet als een lege ruimte, maar die er in werkelijkheid heel anders uitziet en niet isomorf (niet identiek) is aan die lege ruimte. Ze geven een voorbeeld van een "Russische drie-dimensionale vorm" die eruitziet als een lege kubus als je telt, maar die topologisch gezien (als je er met je handen doorheen zou kunnen lopen) meer lijkt op een rechte lijn in de ruimte dan op een kubus. Het is een "vermomming".

2. Vraag 2: Als een vorm goed telt, betekent dat dan dat zijn "Hodge-getallen" (een ingewikkelde manier om de gaten en lagen in een vorm te beschrijven) altijd in een perfecte balans zijn?

   • De analogie: Stel je voor dat elke vorm een soort architecturaal blauwdruk heeft met verschillende verdiepingen. De vraag is: als het aantal kamers op elke verdieping een mooi patroon volgt, betekent dat dan dat er op elke verdieping alleen maar "rechte" kamers zijn en geen "schuine" of "verwarde" hoeken?
   • Het antwoord: Nee. Je kunt een vorm maken die perfect telt, maar die toch "verwarde" gaten heeft. Ze bouwen een voorbeeld door twee verschillende vormen (een stukje van een kromme en een stukje van een vlak) uit elkaar te halen en ze als één geheel te bekijken. Dit nieuwe geheel telt perfect ($q^2$ punten), maar de interne structuur is een rommeltje van verschillende soorten gaten. Het is alsof je een perfect gebalanceerde weegschaal bouwt, maar als je eronder kijkt, zie je dat de gewichten aan beide kanten totaal verschillende vormen hebben.

Hoe doen ze dit? (De "Recepten")

De auteurs gebruiken een slimme truc met Newton-polyeders.

• De analogie: Stel je voor dat je een recept hebt voor een taart (de wiskundige vergelijking). De "Newton-polyeder" is een kaart die laat zien welke ingrediënten (de termen in de vergelijking) erin zitten en hoe ze met elkaar verbonden zijn.
• Ze bewijzen dat als je een bepaald soort "kaart" (een simpele driehoek of tetraëder) gebruikt, je automatisch een vorm krijgt die perfect telt, ongeacht hoe gek de vergelijking eruitziet.
• Ze tonen aan dat je met deze "kaarten" vormen kunt bouwen die eruitzien als simpele ruimtes, maar die in feite heel ingewikkeld zijn (zoals de Russell-drievariëteit).

De Conclusie

Het belangrijkste punt van dit artikel is een waarschuwing voor wiskundigen:
"Het feit dat iets goed telt, betekent niet dat het simpel is."

Net zoals een goed georganiseerde bibliotheek (die perfect telt) niet per se een lege bibliotheek hoeft te zijn, of een gebouw dat perfect gebalanceerd is op de weegschaal niet per se een symmetrisch gebouw hoeft te zijn, kun je in de wiskunde vormen maken die de "teltest" perfect doorstaan, maar die in hun innerlijke structuur verrassend complex en vreemd zijn.

De auteurs zeggen eigenlijk: "Kijk niet alleen naar het aantal punten; kijk ook naar de vorm zelf, want de vorm kan je bedriegen!"

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Remarks on polynomial count varieties" van Fernando Rodriguez Villegas en Nicholas M. Katz, geschreven in het Nederlands.

Titel: Opmerkingen over veelterm-telbare variëteiten

Auteurs: Fernando Rodriguez Villegas (ICTP) en Nicholas M. Katz (Princeton University)
Datum: 10 maart 2026

---

1. Probleemstelling en Context

Het artikel adresseert twee fundamentele vragen binnen de arithmetische meetkunde en de theorie van gemengde Hodge-structuren, gerelateerd aan het concept van veelterm-telbare variëteiten (polynomial count varieties).

Een gescheiden schema $X$ van eindig type over $\mathbb{Z}$ wordt "veelterm-telbaar" genoemd als het aantal punten over eindige velden $\mathbb{F}_q$ (voor een voldoende grote verzameling van $q$, ofwel "buiten een eindige verzameling priemgetallen $D$") wordt gegeven door een polynoom $C(q) \in \mathbb{Z}[t]$. Dat wil zeggen:
$$\#X(\mathbb{F}_q) = C(q)$$

De auteurs onderzoeken de volgende twee hypothese die vaak worden geassocieerd met dit concept:

1. Isomorfisme met affiene ruimte: Als $X/\mathbb{C}$ glad is, veelterm-telbaar is met een tellend polynoom $C(t) = t^n$ (waarbij $n$ de dimensie is), is $X$ dan noodzakelijk isomorf met de affiene ruimte $\mathbb{A}^n$?
2. Hodge-getallen en gewicht: Als $X/\mathbb{C}$ veelterm-telbaar is, impliceert dit dan dat de Hodge-getallen $h^{p,q}$ in een gegeven gewicht $i$ nul zijn, tenzij $p=q$? (Dit zou betekenen dat de gemengde Hodge-structuur "puur" is of slechts termen bevat met $p=q$).

De kernboodschap van het artikel is dat het antwoord op beide vragen negatief is. De auteurs leveren expliciete tegenvoorbeelden.

---

2. Methodologie

De auteurs combineren combinatorische meetkunde (Newton-polytopes), inclusie-exclusie principes, en cohomologische technieken (excisie-sequenties en Lefschetz-duaaliteit) om hun resultaten te bewijzen.

A. Combinatorische Benadering (Theorema 2.1)

Voor de eerste vraag (isomorfisme met $\mathbb{A}^n$) gebruiken de auteurs de theorie van Newton-polytopes.

• Ze definiëren een polynoom $H \in \mathbb{Z}[x_1, \dots, x_N]$ en analyseren de Newton-polytoop $\Delta$.
• Ze introduceren combinatorische constanten $f_{r,n}$, gebaseerd op de dimensie van de Newton-polytopes van partiële specialisaties van $H$ (waarbij variabelen op 0 worden gesteld).
• Ze definiëren een "placeholder polynoom" $F_\Delta(x, y)$ die deze constanten codeert.
• Hoofdstelling (Theorema 2.1): Als de Newton-polytoop $\Delta$ equivalent is aan de standaard simplex $\sigma_N$ (via een inverteerbare affiene transformatie over $\mathbb{Z}$), dan is de variëteit $X$ (de nulpunten van $H$) en zijn intersectie met de torus $X'$ veelterm-telbaar.
• Ze leiden een expliciete formule af voor het aantal punten $\#X(\mathbb{F}_q)$ in termen van de $f_{r,n}$ en een specifieke polynoom $c_n(q)$, afgeleid via Möbius-inversie.

B. Constructie van Tegenvoorbeelden

• Voor de eerste vraag: Ze construeren variëteiten die glad zijn, het juiste aantal punten hebben ($q^n$), maar topologisch of algebraïsch niet isomorf zijn met $\mathbb{A}^n$. Ze maken gebruik van bekende voorbeelden zoals de Russell-drie-variëteit en generalisaties daarvan.
• Voor de tweede vraag: Ze gebruiken de excisie-sequentie in cohomologie met compacte drager ($H^*_c$) en de relatie tussen een variëteit en zijn complement. Door een disjuncte unie te nemen van een affiene curve (het complement van de oorsprong in een elliptische kromme) en een andere affiene variëteit, construeren ze een ruimte met niet-triviale Hodge-getallen ($h^{0,1} \neq 0$) ondanks dat het totale aantal punten een polynoom is.

---

3. Belangrijkste Resultaten

Resultaat 1: Negatief antwoord op de isomorfisme-vraag

De auteurs tonen aan dat een gladde variëteit $X$ met $\#X(\mathbb{F}_q) = q^n$ niet noodzakelijk isomorf is met $\mathbb{A}^n$.

• Voorbeeld: De Russell-drie-variëteit gedefinieerd door $x^2y + x + z^2 + t^3 = 0$.
  • Het Newton-polytoop is equivalent aan de standaard simplex $\sigma_4$.
  • Volgens hun formule (3) geldt: $\#X(\mathbb{F}_q) = q^3$.
  • Echter, het is bekend dat $X(\mathbb{C})$ diffeomorf is met $\mathbb{R}^6$, maar niet isomorf is met $\mathbb{A}^3$.
• Ze generaliseren dit naar een familie van variëteiten in $\mathbb{A}^{r+2}$ gedefinieerd door $x^2y + x + \sum x_i^{n_i} = 0$ (met onderling ondeelbare $n_i$), die allemaal $\#X(\mathbb{F}_q) = q^{r+1}$ hebben maar niet isomorf zijn met de affiene ruimte.

Resultaat 2: Negatief antwoord op de Hodge-structuur-vraag

De auteurs tonen aan dat veelterm-telbaarheid niet impliceert dat de Hodge-getallen $h^{p,q}$ nul zijn voor $p \neq q$.

• Ze construeren een variëteit $X$ als de disjuncte unie van:
  1. $Y = E_{aff}$ (een elliptische kromme minus het nulpunt).
  2. $Z = \mathbb{A}^3 \setminus E_{aff}$ (gedefinieerd door $z(y^2 - f(x)) = 1$).
• Door analyse van de cohomologie met compacte drager ($H^*_c$) en de excisie-sequentie, concluderen ze:
  • $Y$ heeft $h^{0,1;1} = h^{1,0;1} = 1$.
  • $Z$ heeft $h^{0,1;2} = h^{1,0;2} = 1$.
  • De totale ruimte $X = Y \sqcup Z$ heeft dus niet-triviale Hodge-getallen met $p \neq q$ (namelijk $h^{0,1;1}=1$ en $h^{0,1;2}=1$).
• Desondanks is $X$ veelterm-telbaar met $\#X(\mathbb{F}_q) = q^2$.
• Ze versterken dit resultaat door een inbedding in $\mathbb{A}^5$ te construeren die een gladde, irreducibele variëteit $M$ oplevert met $\#M(\mathbb{F}_q) = q^5 - q^2$, maar met niet-triviale Hodge-getallen in gewichten 2 en 3.

---

4. Significatie en Conclusie

De betekenis van dit artikel ligt in het weerleggen van intuïtieve conjectures die vaak worden gemaakt op basis van de "mooie" eigenschappen van veelterm-telbare variëteiten (zoals projectieve ruimten en Grassmannianen).

1. Scheiding van tellend gedrag en meetkundige structuur: Het feit dat het aantal punten een polynoom is, is een zwakke voorwaarde. Het garandeert niet dat de variëteit algebraïsch triviaal is (isomorf met $\mathbb{A}^n$), zelfs niet als de variëteit glad is en het tellend polynoom de vorm $t^n$ heeft.
2. Scheiding van tellend gedrag en Hodge-structuur: Veelterm-telbaarheid impliceert geen "zuiverheid" in de Hodge-structuur. Variëteiten met complexe Hodge-structuren (waarbij $p \neq q$) kunnen toch een polynoom als tellend polynoom hebben. Dit ondermijnt de verwachting dat de arithmetische eigenschappen (aantal punten) de complexe meetkundige eigenschappen (Hodge-decompositie) volledig vastleggen in deze context.

Samenvattend tonen Villegas en Katz aan dat de klasse van veelterm-telbare variëteiten veel breder en complexer is dan eerder werd aangenomen, en dat de connectie tussen het tellend polynoom en de onderliggende meetkundige of cohomologische structuur minder strak is dan de standaardvoorbeelden suggereren.