On the discrete Heine-Shephard problem for four lattice polygons

Titel en Context

Titel: Op het Discrete Heine-Shephard Probleem voor Vier Roosterpolygonen
Auteurs: Darren Gerrity en Ivan Soprunov
Onderwerp: Combinatorische meetkunde, Algebraïsche meetkunde, Roostervlakke meetkunde.

1. Probleemstelling

Het artikel onderzoekt de Discrete Heine-Shephard-probleemstelling. Dit is een variant van het klassieke probleem van Heine en Shephard, dat vraagt naar een beschrijving van de ruimte van volumepolynomen van convexe lichamen in termen van polynoomongelijkheden op hun coëfficiënten.

In dit specifieke artikel wordt de focus gelegd op het discrete geval, waarbij de klasse van alle convexe lichamen wordt vervangen door de klasse van roosterpolygonen (lattice polytopes) in $\mathbb{R}^2$.

De kernvraag is als volgt:
Gegeven $n$ roosterpolygonen $P_1, \dots, P_n$ in het vlak, wat zijn de mogelijke relaties tussen de $n(n-1)/2$ gemengde oppervlakten $V(P_i, P_j)$?
Specifiek wordt $n=4$ onderzocht. De auteurs kijken naar de kwadraatvrije delen van de volumepolynomen, die worden gedefinieerd als:
$$v(x_1, \dots, x_n) = \sum_{1 \le i < j \le n} 2 V(P_i, P_j) x_i x_j$$
waarbij $V(P, Q)$ de genormaliseerde gemengde oppervlakte is (een geheel getal voor roosterpolygonen).

Het doel is om de verzameling $V_{4,2}^{\text{sf}}(\mathbb{Z})$ te karakteriseren: de verzameling van alle dergelijke polynomen die gegenereerd worden door roosterpolygonen.

2. Methodologie en Achtergrond

• Klassiek vs. Discreet: Voor algemene convexe lichamen in $\mathbb{R}^2$ is bekend (uit werk van AS23) dat de ruimte van mogelijke gemengde oppervlakten volledig wordt beschreven door de Plücker-achtige ongelijkheden (een verzameling kwadratische ongelijkheden) en de niet-negativiteit.
• De Discrete Diagram: De auteurs introduceren een hulpmiddel genaamd het "discrete diagram". Dit is de afbeelding die een paar roosterpolygonen $(P, Q)$ koppelt aan de drietal $(w_u(P), V(P, Q), w_u(Q))$, waarbij $w_u$ de roosterbreedte is in de richting van een primitieve vector $u$.
• Analyse van de Afbeelding: Door de structuur van dit discrete diagram te analyseren (met name de gaten en de semigroepstructuur van de mogelijke waarden voor $V(P, Q)$ gegeven de breedtes), kunnen de auteurs beperkingen vinden die specifiek zijn voor roosterpolygonen en niet gelden voor continue convexe lichamen.
• Constructie en Classificatie: De auteurs gebruiken constructieve methoden om families van polygonen te bouwen die specifieke coëfficiënten realiseren, en classificatie-resultaten uit de literatuur (zoals [ABS21], [EG16]) om te bewijzen dat bepaalde combinaties onmogelijk zijn.

3. Belangrijkste Resultaten

A. Het geval $n=3$

Voor drie polygonen is de situatie triviaal: er zijn geen extra algebraïsche of arithmetische relaties. Elke verzameling van drie niet-negatieve gehele getallen $(v_{12}, v_{13}, v_{23})$ kan worden gerealiseerd door roosterpolygonen.

B. Het geval $n=4$: De Discrete Plücker-set

Voor vier polygonen definiëren de auteurs de Discrete Plücker-set $Pl_{4,2}(\mathbb{Z})$. Dit is de verzameling van alle kwadratische vormen met niet-negatieve gehele coëfficiënten die voldoen aan de Plücker-ongelijkheden:
$$v_{ij}v_{kl} + v_{ik}v_{jl} \ge v_{il}v_{jk}$$
voor elke partitie van $\{1,2,3,4\}$ in twee paren.

De hoofdvraag is of $V_{4,2}^{\text{sf}}(\mathbb{Z})$ (de realiserbare polynomen) gelijk is aan $Pl_{4,2}(\mathbb{Z})$.

Resultaat 1: De Rand is Realiseerbaar
De auteurs bewijzen dat elk randpunt van de Discrete Plücker-set (waar minstens één Plücker-ongelijkheid een gelijkheid wordt) wel degelijk kan worden gerealiseerd door roosterpolygonen. In feite kunnen deze worden gerealiseerd met vier roosterlijnstukken (die mogelijk degenereren tot een punt).

Resultaat 2: Het Interieur is Niet Volledig Realiseerbaar (De Hoofdbevinding)
De auteurs tonen aan dat de karakterisering door alleen de Plücker-ongelijkheden faalt in het discrete geval. Er bestaan polynomen in het interieur van $Pl_{4,2}(\mathbb{Z})$ die niet kunnen worden gerealiseerd door enige verzameling van vier roosterpolygonen.

Dit wordt aangetoond via twee families:

1. Een realiseerbare familie: Een oneindige familie van punten in het interieur die wel realiserbaar zijn (bijvoorbeeld wanneer twee aangrenzende coëfficiënten gelijk zijn aan 1).
2. Een niet-realiseerbare familie: Een oneindige familie van punten in het interieur die niet realiserbaar zijn.
   • Voorbeeld: Beschouw coëfficiënten waarbij $v_{12}=1$, $v_{13}=a$, $v_{14}=b$, $v_{23}=ac$, $v_{24}=bc$, en $v_{34}=r$. Als $d = \gcd(a,b) > 1$ en $r$ een klein geheel getal is dat strikt tussen 0 en $\min(d, a/d, b/d)$ ligt, dan is deze configuratie onmogelijk voor roosterpolygonen.
   • Reden: Dit volgt uit de analyse van het discrete diagram. Als $v_{12}=1$, dan moeten $P_1$ en $P_2$ primitieve lijnstukken zijn (of congruente unimodulaire driehoeken). Dit imposeert sterke arithmetische restricties op de breedtes van $P_3$ en $P_4$ in de richting loodrecht op $P_1$. De waarde van $v_{34}$ (de gemengde oppervlakte) moet dan voldoen aan specifieke semigroep-eigenschappen die door de gekozen $r$ worden geschonden.

4. Significatie en Conclusie

• Arithmetische Beperkingen: Het artikel bewijst dat er, naast de bekende algebraïsche ongelijkheden (Plücker), extra arithmetische voorwaarden zijn die de gemengde oppervlakten van roosterpolygonen moeten voldoen. Deze voorwaarden zijn "onzichtbaar" in het continue geval.
• Discrete vs. Continu: Er is een fundamenteel verschil tussen de ruimte van gemengde volumes voor algemene convexe lichamen en voor roosterpolygonen. De discrete ruimte is een echte deelverzameling van de discontinue Plücker-set, zelfs in het interieur.
• Toepassing: Dit resultaat is relevant voor de algebraïsche meetkunde, specifiek voor het begrijpen van de snijgetallen van curven in $(\mathbb{C}^*)^2$ met gegeven Newton-polytopen. Het laat zien dat niet elke verzameling van snijgetallen die voldoet aan de Plücker-ongelijkheden ook daadwerkelijk kan voorkomen voor curven met roostercoëfficiënten.
• Toekomstig Werk: De auteurs geven aan dat er geen volledige beschrijving is van de set van niet-realiseerbare punten in het interieur, wat een open probleem blijft voor verdere studie.

Kortom, dit paper weerlegt de hypothese dat de Plücker-ongelijkheden voldoende zijn om de discrete Heine-Shephard-probleemstelling voor vier polygonen op te lossen, en introduceert een nieuwe laag van arithmetische complexiteit in de meetkunde van roosterpolygonen.