The Primitive and Diamond surfaces locally minimize the variance of Gauss curvature

Technische Samenvatting: "De Primitive en Diamond Oppervlakken Minimaliseren Lokaal de Variantie van de Gaussische Kromming"

Probleemstelling
Het artikel behandelt de minimalisatie van de variantie van de Gaussische kromming ($\sigma(K)$) binnen de moduli-ruimte van Triply Periodic Minimal Surfaces van genus 3 (TPMSg3s). Hoewel het een bekende conjectuur is dat de Schwarz' Primitive (P), Diamond (D) en Schoen's Gyroid (G) oppervlakken de minimale variantie bezitten onder alle TPMSg3s, was deze eigenschap nog niet rigoureus bewezen. De auteur richt zich op het bewijzen dat de P- en D-oppervlakken lokale minimizers zijn van deze variantie onder lokale deformaties.

Methodologie
De auteur herformuleert het geometrische probleem naar een analytisch probleem betreffende puntconfiguraties op de sfeer ($S^2$).

1. Weierstrass-parametrisatie: TPMSg3s worden gedefinieerd door een vertakte dubbele bedekking van de sfeer met acht vertakkingspunten die overeenkomen met de vlakke punten (waar de Gaussische kromming nul is). De variantie van de Gaussische kromming wordt uitgedrukt als een functional afhankelijk van de posities van deze acht punten.
2. Energiefunctional: De variantie wordt aangetoond proportioneel te zijn aan het product van twee integralen die de exponent van Green-functies op de sfeer bevatten. Specifiek is de functional $J_8$ gedefinieerd als:
   $$J_8 = \int_{S^2} e^u dA \times \int_{S^2} e^{-u} dA$$
   waarbij $u$ afgeleid is van de Lelong–Poincaré-vergelijking geassocieerd met de configuratie van acht punten.
3. Hessiaan-analyse: Het artikel analyseert de kritieke punten van deze energiefunctional. De kubische configuratie (waarbij de acht punten de hoekpunten van een kubus vormen) wordt geïdentificeerd als een kritiek punt vanwege zijn symmetrie ($O_h$ invariantie). Om lokale minimaliteit te bepalen, berekent de auteur de Hessiaan van de energiefunctional bij deze kubische configuratie.
4. Representatietheorie: De 13-dimensionale ruimte van deformaties (modulo globale rotaties) wordt ontbonden in irreducibele representaties van de symmetriegroep van de kubus ($O_h$). De Hessiaan wordt geanalyseerd op elke irreducibele subruimte ($T_{1u}, E_g, E_u, T_{2g}, T_{2u}$).

Belangrijkste Bijdragen en Resultaten

• Lokale Minimaliteit van P en D: De hoofdstelling stelt vast dat de Schwarz' Primitive en Diamond oppervlakken lokale minimizers zijn van de variantie van de Gaussische kromming. Dit wordt bewezen door aan te tonen dat de Hessiaan van de energiefunctional positief definiet is wanneer deze wordt beperkt tot de subruimte van antipodale deformaties.
• Verbinding met de Meeks-familie: De auteur merkt op dat de P- en D-oppervlakken behoren tot de Meeks-familie, een 5-parametrische familie van ingebedde TPMSg3s die gekenmerkt worden door antipodale vertakkingspunten. De raakruimte aan deze familie bij de kubische configuratie komt overeen met de directe som van de irreducibele representaties $E_g \oplus T_{2g}$.
• Hessiaan-definietheid: De analyse laat zien dat de Hessiaan positief definiet is op alle irreducibele representaties, behalve voor $E_u$, waar deze negatief definiet is.
  • Aangezien de Meeks-familie (bevattenend P en D) overeenkomt met de subruimte $E_g \oplus T_{2g}$, en de Hessiaan positief definiet is op deze subruimte, is de kubische configuratie een strikte lokale minimizer voor deze oppervlakken.
• Het Gyroid (G) Oppervlak: De status van de Gyroid blijft onbeslist. De Gyroid behoort niet tot de Meeks-familie en de lokale deformaties ervan zijn niet volledig begrepen. Numeriek bewijs suggereert dat het een lokale minimizer is langs bekende tetragonale en rhomboëdrale deformaties (die liggen in $E_u \oplus E_g$ en $E_u \oplus T_{2g}$). Echter, omdat de Hessiaan een negatieve eigensubruimte heeft ($E_u$), kan de auteur theoretisch niet uitsluiten dat de Gyroid mogelijk geen lokale minimizer is langs andere, momenteel onbekende deformatierichtingen.

Betekenis en Claims
Het artikel claimt het eerste rigoureuze bewijs te leveren dat de Primitive en Diamond oppervlakken lokale minimizers zijn van de variantie van de Gaussische kromming. De aanpak breidt het concept van de variantie van de Gaussische kromming uit naar een algemene energiefunctie gedefinieerd op configuraties van $n$ punten op een sfeer, waarbij het wordt geframed als een discreet geometrisch probleem.

De auteur stelt expliciet dat het resultaat voor de Gyroid niet bewezen is, waarbij wordt opgemerkt dat hoewel het numerieke bewijs veelbelovend is, de aanwezigheid van de negatieve eigensubruimte een definitieve conclusie verhindert zonder een volledig begrip van de deformatieruimte van de Gyroid. Het werk steunt op de lokale rigiditeitstelling van Koiso–Piccione–Shoda om de analyse van P en D te beperken tot de antipodale subruimte. Het artikel claimt niet de algemene conjectuur voor alle TPMSg3s op te lossen, maar stelt de lokale minimaliteit vast voor de specifieke gevallen van P en D binnen hun respectieve deformatieklassen.