When are tropical multidegrees positive?

Technische Samenvatting: "Wanneer zijn tropische multidegressen positief?"

Probleemstelling
Het artikel onderzoekt de positiviteit van tropische multidegressen voor tropische variëteiten die vervat zijn in een product van reële vectorruimten, $\Gamma \subset \mathbb{R}^{m_1} \times \cdots \times \mathbb{R}^{m_p}$. In de klassieke algebraïsche meetkunde zijn de multidegressen van een multiprojectieve variëteit $X$ intersectienummers die niet-negatief zijn. Een fundamentele vraag, die voor klassieke variëteiten werd opgelost door Castillo, Cid-Ruiz, Li, Montaño en Zhang [CCRL+20], is het bepalen van exact wanneer deze multidegressen strikt positief zijn. Hun criterium berust op de dimensies van de afbeeldingen van $X$ onder natuurlijke projecties $\Pi_I$.

In de tropische setting heeft He [He24] een vergelijkbaar positiviteitscriterium vastgesteld voor "translatie-toelaatbare" tropische variëteiten. Echter, voor willekeurige tropische variëteiten wordt positiviteit beheerst door een "facet-wijze" criterium (Stelling 3.5), wat het controleren van ongelijkheden op individuele facetten vereist in plaats van de globale projectie van de variëteit. Het artikel tracht te bepalen onder welke voorwaarden dit facet-wijze criterium kan worden "geglobaliseerd" zodat het uitsluitend afhangt van de dimensies van de projecties van de gehele tropische variëteit $\Gamma$. Bovendien onderzoekt het artikel of de positiviteit van deze multidegressen impliceert dat de geassocieerde tropische volume-polynoom lorentiaans is, een eigenschap die in de klassieke setting bekend staat als geldig te zijn vanwege Hodge-theoretische relaties.

Methodologie
De auteur maakt gebruik van een combinatie van tropische meetkunde, torische intersectietheorie en de theorie van Minkowski-gewichten.

1. Tropische Intersectietheorie: Het artikel maakt gebruik van het concept van stabiele intersecties van tropische variëteiten en tropische divisors. Tropische multidegressen worden gedefinieerd als stabiele intersectienummers van $\Gamma$ met pullbacks van positieve tropische divisors.
2. Begrensde Rationele Equivalentie: In navolging van Allermann, Hampe en Rau [AR10, AHR16], gebruikt de auteur begrensde rationele equivalentie om tropische cycli te relateren aan hun recessiefan (recession fans). Dit maakt het mogelijk om tropische intersectieproblemen te vertalen naar de taal van torische variëteiten.
3. Torische Methoden en Minkowski-gewichten: De kern van de technische motor is de correspondentie tussen de operationele Chow-cohomologie van volledige torische variëteiten en Minkowski-gewichten (Fulton–Sturmfels [FS97]). Door tropische variëteiten te associëren met torische subvariëteiten (specifiek de afsluitingen van subtori), vertaalt de auteur de positiviteit van tropische multidegressen naar de positiviteit van intersectienummers van lijnbundels op torische variëteiten.
4. Polymatroïde Theorie: Het steungebied van de multidegressen wordt geanalyseerd via de lens van polymatroiden. De rangfunctie van een polymatroïde is gekoppeld aan de dimensies van de projecties van de tropische variëteit.
5. Geaugmenteerde Bergman-fans: Het artikel bestudeert het specifieke geval van de geaugmenteerde Bergman-fans van polymatroiden (geïntroduceerd door Eur en Larson [EL24]), waarbij gebruik wordt gemaakt van hun bekende Kähler-package-eigenschappen om sterkere resultaten te vestigen met betrekking tot lorentiaanse polynomen.

Kerndefinities en Condities
Om de resultaten van He te generaliseren, introduceert het artikel twee condities:

• Projectie-zuiverheid (Projection-Purity): Een tropische variëteit $\Gamma$ is projectie-zuiver als, voor elke deelverzameling van indices $I$, de verzamelingstheoretische projectie $\Pi_I(\Gamma)$ de ondersteuning is van een tropische variëteit.
• Facet-selecteerbaarheid (Facet-Selectability): Een tropische variëteit $\Gamma$ is facet-selecteerbaar als, voor elke vector $n$ die de projectie-ongelijkheden globaal bevredigt (d.w.z. $\sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma))$), er een enkel facet $\sigma$ van $\Gamma$ bestaat dat deze ongelijkheden lokaal bevredigt (d.w.z. $\sum_{i \in I} n_i \leq \dim(\Pi_I(\sigma))$).

Kernresultaten

1. Globaal Positiviteitscriterium (Stelling A):
   Het artikel bewijst dat als een tropische variëteit $\Gamma$ zowel projectie-zuiver als facet-selecteerbaar is, de tropische multidegressen positief zijn dan en slechts dan als de vector van graden $n$ aan de projectie-ongelijkheden voor de gehele variëteit voldoet:
   $$\deg^n_\Lambda(\Gamma) > 0 \iff \sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma)) \quad \forall I \subseteq [p].$$
   Onder deze condities is de functie $I \mapsto \dim(\Pi_I(\Gamma))$ de rangfunctie van een polymatroïde, en het steungebied van de positieve multidegressen komt exact overeen met de roosterpunten van een polymatroïde-basispolytoop. Dit generaliseert de stelling van He, aangezien elke translatie-toelaatbare tropische variëteit aan deze twee condities voldoet, maar het omgekeerde niet waar is (Voorbeeld 2.10).

2. Falen van Lorentiaanse Eigenschap (Sectie 4):
   Het artikel demonstreert dat de condities van projectie-zuiverheid en facet-selecteerbaarheid (en zelfs translatie-toelaatbaarheid) onvoldoende zijn om te garanderen dat de tropische volume-polynoom lorentiaans is.

   • Propositie 4.2: Construeert een projectie-zuivere, facet-selecteerbare tropische variëteit die niet translatie-toelaatbaar is, waarvan de tropische volume-polynoom niet lorentiaans is (de Hessian heeft twee positieve eigenwaarden).
   • Propositie 4.3: Construeert een translatie-toelaatbare tropische variëteit (verbonden in codimensie één) waarvan de tropische volume-polynoom ook niet lorentiaans is.
     Dit contrasteert met de klassieke setting waar de nefheid van divisors de lorentiaanse eigenschap impliceert.

3. Lorentiaanse Eigenschap voor Geaugmenteerde Bergman-fans (Stelling B):
   Het artikel identificeert een klasse van tropische variëteiten waar de tropische volume-polynoom wel lorentiaans is: de geaugmenteerde Bergman-fans van polymatroiden.

   • Voor een geaugmenteerde Bergman-fan $\Sigma_P$ van een polymatroïde $P$, wordt aangetoond dat de fan projectie-zuiver en facet-selecteerbaar is.
   • Het steungebied van de positieve multidegressen is precies de verzameling roosterpunten in de basispolytoop $B(P)$.
   • Cruciaal is dat de tropische volume-polynoom $tvol_{\Sigma_P, \Lambda}(t)$ lorentiaans is voor elke sequentie van positieve tropische divisors. Dit resultaat berust op het feit dat de geaugmenteerde Chow-ring van een polymatroïde de Kähler-package-eigenschappen bezit (Eur–Larson [EL24], Adiprasito–Huh–Larson [ADH23]).

4. Realiseerbaarheidstmt (Corollary C):
   Het artikel stelt vast dat de verzameling steungebieden van positieve tropische multidegressen voor projectie-zuivere en facet-selecteerbare tropische variëteiten exact de verzameling roosterpunten van polymatroïde-basispolytopen is (geïntersecteerd met $\mathbb{N}^p$).

Betekenis en Claims
Het artikel claimt een volledige karakterisering te bieden van wanneer tropische multidegressen positief zijn voor een brede klasse van tropische variëteiten, waarmee eerdere resultaten die beperkt waren tot translatie-toelaatbare variëteiten worden uitgebreid. Het verheldert het onderscheid tussen de combinatorische structuur van het steungebied (M-convexiteit/polymatroïde-basispolytopen) en de analytische structuur van de coëfficiënten (lorentiaanse eigenschap).

De auteur stelt expliciet dat hoewel projectie-zuiverheid en facet-selecteerbaarheid voldoende zijn om het steungebied van de multidegressen te bepalen, zij de lorentiaanse eigenschap niet afdwingen. De betekenis van het werk aan geaugmenteerde Bergman-fans ligt in het identificeren van een natuurlijke geometrische context waar zowel de steunstructuur als de lorentiaanse eigenschap gelden, waardoor een tropisch analoog van de klassieke Hodge-theoretische resultaten voor polymatroiden wordt teruggevonden. Het artikel concludeert door de open vraag te stellen of geaugmenteerde Bergman-fans translatie-toelaatbaar zijn, een eigenschap die nog niet is beslist.