Metric entropy of the space of holomorphic functions

Technische Samenvatting: Metrische Entropie van de Ruimte van Holomorfe Functies

Probleemstelling
Het artikel behandelt een klassiek probleem dat door Kolmogorov werd geponeerd betreffende het asymptotische gedrag van de metrische entropie (of $\varepsilon$-entropie) van ruimten van holomorfe functies. Specifiek, gegeven een domein $\Omega$ in een Stein-variëteit $X$ van dimensie $n$ en een compacte niet-pluripotentiële deelverzameling $K \subset \Omega$, onderzoekt de auteur de groeisnelheid van $H_\varepsilon(A^\Omega_K, C(K))$ wanneer $\varepsilon \to 0$. Hierbij is $A^\Omega_K$ de verzameling continue functies op $K$ die holomorfe uitbreidingen naar $\Omega$ toestaan die begrensd zijn door 1. Hoewel de compactheid van deze verzameling gegarandeerd wordt door de stelling van Montel, blijft de kwantitatieve mate van deze compactheid—gemeten door het aantal $\varepsilon$-ballen dat nodig is om de verzameling te bedekken—een centrale vraag in de complexe analyse.

Eerder werk had de asymptotica vastgesteld voor domeinen in $\mathbb{C}$ (Babenko, Erokhin) en $\mathbb{C}^n$ (Zakharyuta, Nivoche, Bandtlow-Nivoche), vaak leunend op expliciete formules zoals de Bergman-Weil-formule of specifieke pluripotentiële conjecturen. Het uitbreiden van deze resultaten naar willekeurige Stein-variëteiten, waar globale coördinatensystemen en expliciete integraalformules niet beschikbaar zijn, bleef echter een openstaande uitdaging.

Methodologie
De auteur hanteert een meerstaps reductiestrategie om het probleem te generaliseren van willekeurige Stein-variëteiten naar settings waar algebraïsche en geometrische instrumenten toegankelijker zijn:

1. Reductie naar Affiene Variëteiten en Runge-domeinen:
   Met behulp van resultaten van Stout en eigenschappen van strikt hyperconvex domeinen, wordt het probleem gereduceerd tot het geval waarbij de omringende ruimte $X$ een affiene variëteit is (een subvariëteit van $\mathbb{C}^m$) en $\Omega$ een strikt Runge-domein is. Dit maakt het mogelijk om de ruimte van holomorfe functies $H^0(\Omega)$ te vervangen door einddimensionale benaderingen.

2. Polynomiale Approximatie:
   De ruimte van holomorfe functies wordt benaderd door ruimten van polynomen van begrensde graad, $A^k[X]$. Door gebruik te maken van de resultaten van Siciak over optimale polynomiale approximatie (uitgebreid door Zeriahi naar affiene variëteiten), stelt de auteur vast dat de $\varepsilon$-entropie van de holomorfe ruimte asymptotisch equivalent is aan die van deze polynomiale subruimten, mits de graad $k$ logaritmisch schaalt met $\varepsilon^{-1}$.

3. Volumeratio's en Eenheidsballen:
   De metrische entropie van de einddimensionale polynomiale ruimten is gerelateerd aan de ratio van de volumes van eenheidsballen gedefinieerd door twee verschillende sup-normen: één op $K$ en één op $\Omega$. Deze stap maakt gebruik van schattingen op de entropie van einddimensionale vectorruimten (Propositie 2.1) en de John-ellipsoïde stelling om algemene normen te relateren aan Hermitische normen.

4. Verbinding met Monge-Ampère Energie:
   De ratio van de volumes van deze eenheidsballen wordt gekoppeld aan de relatieve Monge-Ampère energie via een stelling van Berman en Boucksom. Deze energie wordt gedefinieerd met behulp van de relatieve extremale functies (Siciak-Zaharuta functies) $V_\Omega$ en $V_{cK, \Omega}$.

5. Relateren van Energie aan Capaciteit:
   Een cruciale technische bijdrage betreft het bewijzen dat de relatieve Monge-Ampère energie, wanneer deze genormaliseerd wordt door $c^{n+1}$ als $c \to 0$, convergeert naar de relatieve capaciteit $C(K, \Omega)$. Dit overbrugt de kloof tussen de globale geometrische energie (afhankelijk van de inbedding in $\mathbb{C}^m$) en de intrinsieke relatieve capaciteit (die onafhankelijk is van de omringende variëteit).

Kernresultaten
De hoofdstelling (Theorema 1.1) geeft scherpe grenzen voor het asymptotische gedrag van de metrische entropie:

$$\frac{2C(K, \Omega)}{(n+1)!} \le \liminf_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} \le \limsup_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} \le \frac{2C(K, \hat{\Omega})}{(n+1)!}$$

waarbij:

• $C(K, \Omega)$ de relatieve capaciteit is, gedefinieerd via een uitputting door hyperconvexe domeinen.
• $\hat{\Omega}$ de enveloppe van holomorfie is van $\Omega$.
• $C(K, \hat{\Omega})$ de relatieve capaciteit is met betrekking tot de enveloppe.

Corollaria en Specifieke Gevallen:

• Strikt Hyperconvexe Domeinen: Indien $\Omega$ strikt hyperconvex is, valt de enveloppe van holomorfie samen met $\Omega$ (tot biholomorfisme), en convergeren de grenzen naar een exacte limiet:
  $$\lim_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} = \frac{2C(K, \Omega)}{(n+1)!}$$
  Dit resultaat breidt eerdere bevindingen in $\mathbb{C}^n$ uit naar willekeurige Stein-variëteiten.
• Kwantitatieve Runge-eigenschap: Het artikel leidt ook een kwantitatieve versie van de Runge-eigenschap af (Theorema 8.2), die de discrepantie tussen de entropie van functies op $\Omega$ en functies uitbreidbaar naar de omringende variëteit $X$ relateert aan de capaciteit van de holomorfe hull van $\Omega$.

Betekenis en Claims
Het artikel claimt een nieuwe, onafhankelijke oplossing te bieden voor Kolmogorovs probleem voor domeinen in $\mathbb{C}^n$ en, nog belangrijker, dit uit te breiden naar willekeurige Stein-variëteiten. De significantie ligt in:

1. Generalisatie: In tegenstelling tot eerdere benaderingen die vertrouwden op expliciete integraalformules (bijv. Bergman-Weil) specifiek voor $\mathbb{C}^n$, werkt deze methode voor algemene Stein-variëteiten door het probleem te reduceren tot affiene variëteiten en gebruik te maken van pluripotentiële theorie.
2. Conceptuele Helderheid: Het werk biedt een conceptuele verklaring voor het verschijnen van relatieve capaciteit in entropieschattingen. Voorheen werd deze verbinding vastgesteld via expliciete berekeningen in speciale gevallen (bijv. analytische polyhedra). Hier wordt de link afgeleid via de relatieve Monge-Ampère energie, wat aantoont dat de capaciteit natuurlijk voortkomt als de limiet van deze energie.
3. Robuustheid: Het bewijs behandelt de subtiliteiten van de enveloppe van holomorfie, die mogelijk niet hyperconvex is zelfs als het oorspronkelijke domein dat wel is, door gebruik te maken van een limiterend proces over hyperconvexe uitputtingen.

De auteur merkt op dat het resultaat consistent is met bekende gevallen in $\mathbb{C}^n$, maar een verenigd kader biedt dat niet vereist dat de omringende ruimte $\mathbb{C}^n$ is, waardoor domeinen worden behandeld die in Stein-variëteiten kunnen worden ingebed maar niet noodzakelijkerwijs in de Euclidische ruimte.