Metric entropy of the space of holomorphic functions

Sintesi Tecnica: Entropia Metrica dello Spazio delle Funzioni Olomorfe

Enunciato del Problema
L'articolo affronta un problema classico posto da Kolmogorov riguardante il comportamento asintotico dell'entropia metrica (o $\varepsilon$-entropia) degli spazi di funzioni olomorfe. Nello specifico, dato un dominio $\Omega$ in una varietà di Stein $X$ di dimensione $n$ e un sottoinsieme compatto non pluripolare $K \subset \Omega$, l'autore investiga il tasso di crescita di $H_\varepsilon(A^\Omega_K, C(K))$ per $\varepsilon \to 0$. Qui, $A^\Omega_K$ indica l'insieme delle funzioni continue su $K$ che ammettono estensioni olomorfe a $\Omega$ limitate da 1. Sebbene la compattezza di questo insieme sia garantita dal teorema di Montel, il tasso quantitativo di tale compattezza — misurato dal numero di $\varepsilon$-palle necessarie per coprire l'insieme — rimane una questione centrale nella geometria complessa.

Lavori precedenti avevano stabilito le asintotiche per domini in $\mathbb{C}$ (Babenko, Erokhin) e $\mathbb{C}^n$ (Zakharyuta, Nivoche, Bandtlow-Nivoche), spesso facendo affidamento su formule esplicite come la formula di Bergman-Weil o specifiche congetture della teoria del potenziale plurisubarmonico. Tuttavia, estendere questi risultati ad arbitrarie varietà di Stein, dove non sono disponibili sistemi di coordinate globali o formule integrali esplicite, rimaneva una sfida aperta.

Metodologia
L'autore impiega una strategia di riduzione in più fasi per generalizzare il problema da arbitrarie varietà di Stein a contesti in cui gli strumenti algebrici e geometrici sono più accessibili:

1. Riduzione a Manifold Affini e Domini Runge:
   Utilizzando i risultati di Stout e le proprietà dei domini strettamente iperconvessi, il problema viene ridotto al caso in cui la varietà ambiente $X$ è una varietà affine (un sottoinsieme di $\mathbb{C}^m$) e $\Omega$ è un dominio Runge stretto. Ciò consente di sostituire lo spazio delle funzioni olomorfe $H^0(\Omega)$ con approssimazioni a dimensione finita.

2. Approssimazione Polinomiale:
   Lo spazio delle funzioni olomorfe viene approssimato da spazi di polinomi di grado limitato, $A^k[X]$. Sfruttando i risultati di Siciak sull'approssimazione polinomiale ottimale (estesi da Zeriahi alle varietà affini), l'autore stabilisce che l'$\varepsilon$-entropia dello spazio olomorfo è asintoticamente equivalente a quella di questi sottospazi polinomiali, a condizione che il grado $k$ scali logaritmicamente rispetto a $\varepsilon^{-1}$.

3. Rapporti di Volume e Palle Unitarie:
   L'entropia metrica degli spazi polinomiali a dimensione finita è correlata al rapporto tra i volumi delle palle unitarie definite da due diverse norme sup su $K$ e su $\Omega$. Questo passaggio utilizza stime sull'entropia di spazi vettoriali a dimensione finita (Proposizione 2.1) e il teorema dell'ellissoide di John per relazionare norme generali a norme hermitiane.

4. Connessione con l'Energia di Monge-Ampère:
   Il rapporto tra i volumi di queste palle unitarie è legato all'energia relativa di Monge-Ampère tramite un teorema di Berman e Boucksom. Questa energia è definita utilizzando le funzioni estreme relative (funzioni di Siciak-Zaharuta) $V_\Omega$ e $V_{cK, \Omega}$.

5. Relazione tra Energia e Capacità:
   Un contributo tecnico cruciale consiste nel dimostrare che l'energia relativa di Monge-Ampère, quando normalizzata per $c^{n+1}$ con $c \to 0$, converge alla capacità relativa $C(K, \Omega)$. Questo colma il divario tra l'energia geometrica globale (dipendente dall'immersione in $\mathbb{C}^m$) e la capacità relativa intrinseca (che è indipendente dalla varietà ambiente).

Risultati Chiave
Il teorema principale (Teorema 1.1) fornisce limiti netti per il comportamento asintotico dell'entropia metrica:

$$\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)!}$$

dove:

• $C(K, \Omega)$ è la capacità relativa definita tramite un esaurimento di domini iperconvessi.
• $\hat{\Omega}$ è l'inviluppo di olomorfia di $\Omega$.
• $C(K, \hat{\Omega})$ è la capacità relativa rispetto all'inviluppo.

Corollari e Casi Specifici:

• Domini Strettamente Iperconvessi: Se $\Omega$ è strettamente iperconvesso, l'inviluppo di olomorfia coincide con $\Omega$ (fino a biomorfismo), e i limiti convergono a un limite preciso:
  $$\lim_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} = \frac{2C(K, \Omega)}{(n+1)!}$$
  Questo risultato estende i precedenti risultati in $\mathbb{C}^n$ ad arbitrie varietà di Stein.
• Proprietà Runge Quantitativa: L'articolo deriva anche una versione quantitativa della proprietà di Runge (Teorema 8.2), relazionando la discrepanza tra l'entropia delle funzioni su $\Omega$ e quelle estendibili alla varietà ambiente $X$ alla capacità dell'involucro olomorfo di $\Omega$.

Significato e Rivendicazioni
L'articolo sostiene di fornire una nuova soluzione indipendente al problema di Kolmogorov per i domini in $\mathbb{C}^n$ e, cosa più significativa, di estenderlo ad arbitrie varietà di Stein. La significatività risiede in:

1. Generalizzazione: A differenza di approcci precedenti che si basavano su formule integrali esplicite (es. Bergman-Weil) specifiche per $\mathbb{C}^n$, questo metodo funziona per generiche varietà di Stein riducendo il problema alle varietà affini e utilizzando la teoria del potenziale plurisubarmonico.
2. Chiarezza Concettuale: Il lavoro offre una spiegazione concettuale per la comparsa della capacità relativa nelle stime di entropia. Precedentemente, questo collegamento era stabilito attraverso computazioni esplicite in casi speciali (es. poliedri analitici). Qui, il legame è derivato attraverso l'energia relativa di Monge-Ampère, mostrando che la capacità emerge naturalmente come limite di questa energia.
3. Robustezza: La prova gestisce le sottigliezze dell'inviluppo di olomorfia, che potrebbe non essere iperconvesso anche se l'originale dominio lo è, utilizzando un processo limite su esaurimenti iperconvessi.

L'autore nota che il risultato è coerente con i casi noti in $\mathbb{C}^n$ ma fornisce un quadro unificato che non richiede che lo spazio ambiente sia $\mathbb{C}^n$, affrontando così domini che si immergono in varietà di Stein ma non necessariamente in spazi euclidei.