Metric entropy of the space of holomorphic functions

Resumen Técnico: Entropía Métrica del Espacio de Funciones Holomorfas

Planteamiento del Problema
El artículo aborda un problema clásico planteado por Kolmogorov relativo al comportamiento asintótico de la entropía métrica (o $\varepsilon$-entropía) de espacios de funciones holomorfas. Específicamente, dado un dominio $\Omega$ en una variedad de Stein $X$ de dimensión $n$ y un subconjunto compacto no pluripotencial $K \subset \Omega$, el autor investiga la tasa de crecimiento de $H_\varepsilon(A^\Omega_K, C(K))$ cuando $\varepsilon \to 0$. Aquí, $A^\Omega_K$ denota el conjunto de funciones continuas en $K$ que admiten extensiones holomorfas a $\Omega$ acotadas por 1. Si bien la compacidad de este conjunto está garantizada por el teorema de Montel, la tasa cuantitativa de esta compacidad —medida por el número de bolas-$\varepsilon$ requeridas para cubrir el conjunto— sigue siendo una cuestión central en el análisis complejo.

Trabajos previos habían establecido las asíntotas para dominios en $\mathbb{C}$ (Babenko, Erokhin) y $\mathbb{C}^n$ (Zakharyuta, Nivoche, Bandtlow-Nivoche), apoyándose a menudo en fórmulas explícitas como la fórmula de Bergman-Weil o conjeturas específicas de la teoría del potencial pluriharmónico. Sin embargo, extender estos resultados a variedades de Stein arbitrarias, donde no se dispone de sistemas de coordenadas globales ni de fórmulas integrales explícitas, seguía siendo un desafío abierto.

Metodología
El autor emplea una estrategia de reducción en múltiples pasos para generalizar el problema desde variedades de Stein arbitrarias hacia entornos donde las herramientas algebraicas y geométricas son más accesibles:

1. Reducción a Variedades Afines y Dominios Runge:
   Utilizando los resultados de Stout y las propiedades de los dominios estrictamente hiperconvexos, el problema se reduce al caso en el que la variedad ambiente $X$ es una variedad afín (un subvariedad de $\mathbb{C}^m$) y $\Omega$ es un dominio estrictamente Runge. Esto permite la sustitución del espacio de funciones holomorfas $H^0(\Omega)$ por aproximaciones de dimensión finita.

2. Aproximación Polinomial:
   El espacio de funciones holomorfas se aproxima mediante espacios de polinomios de grado acotado, $A^k[X]$. Aprovechando los resultados de Siciak sobre la aproximación polinomial óptima (extendidos por Zeriahi a variedades afines), el autor establece que la $\varepsilon$-entropía del espacio holomorfo es asintóticamente equivalente a la de estos subespacios polinomiales, siempre que el grado $k$ escale logarítmicamente con $\varepsilon^{-1}$.

3. Razones de Volumen y Bolas Unitarias:
   La entropía métrica de los espacios polinomiales de dimensión finita está relacionada con la razón de volúmenes de las bolas unitarias definidas por dos normas de supremo distintas: una en $K$ y otra en $\Omega$. Este paso utiliza estimaciones sobre la entropía de espacios vectoriales de dimensión finita (Proposición 2.1) y el teorema del elipsoide de John para relacionar normas generales con normas hermíticas.

4. Conexión con la Energía de Monge-Ampère:
   La razón de volúmenes de estas bolas unitarias se vincula con la energía relativa de Monge-Ampère mediante un teorema de Berman y Boucksom. Esta energía se define utilizando las funciones extremales relativas (funciones de Siciak-Zaharuta) $V_\Omega$ y $V_{cK, \Omega}$.

5. Relación entre Energía y Capacidad:
   Una contribución técnica crucial consiste en demostrar que la energía relativa de Monge-Ampère, cuando se normaliza por $c^{n+1}$ cuando $c \to 0$, converge a la capacidad relativa $C(K, \Omega)$. Esto tiende un puente entre la energía geométrica global (dependiente de la inmersión en $\mathbb{C}^m$) y la capacidad relativa intrínseca (que es independiente de la variedad ambiente).

Resultados Clave
El teorema principal (Teorema 1.1) proporciona cotas ajustadas para el comportamiento asintótico de la entropía métrica:

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

donde:

• $C(K, \Omega)$ es la capacidad relativa definida mediante una exhausción por dominios hiperconvexos.
• $\hat{\Omega}$ es la envolvente de holomorfía de $\Omega$.
• $C(K, \hat{\Omega})$ es la capacidad relativa con respecto a la envolvente.

Corolarios y Casos Específicos:

• Dominios Estrictamente Hiperconvexos: Si $\Omega$ es estrictamente hiperconvexo, la envolvente de holomorfía coincide con $\Omega$ (salvo por biholomorfismo), y las cotas colapsan en un límite preciso:
  $$\lim_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} = \frac{2C(K, \Omega)}{(n+1)!}$$
  Este resultado extiende los hallazgos previos en $\mathbb{C}^n$ a variedades de Stein arbitrarias.
• Propiedad Runge Cuantitativa: El artículo también deriva una versión cuantitativa de la propiedad de Runge (Teorema 8.2), relacionando la discrepancia entre la entropía de las funciones en $\Omega$ y aquellas extensibles a la variedad ambiente $X$ con la capacidad de la envolvente holomorfa de $\Omega$.

Significado y Pretensiones
El artículo pretende proporcionar una solución nueva e independiente al problema de Kolmogorov para dominios en $\mathbb{C}^n$ y, más significativamente, extender esta solución a variedades de Stein arbitrarias. La importancia radica en:

1. Generalización: A diferencia de otros enfoques que dependían de fórmulas integrales explícitas (por ejemplo, Bergman-Weil) específicas de $\mathbb{C}^n$, este método funciona para variedades de Stein generales mediante la reducción del problema a variedades afines y el uso de la teoría del potencial pluriharmónico.
2. Claridad Conceptual: El trabajo ofrece una explicación conceptual para la aparición de la capacidad relativa en las estimaciones de entropía. Anteriormente, esta conexión se establecía mediante computaciones explícitas en casos especiales (por ejemplo, poliedros analíticos). Aquí, el vínculo se deriva a través de la energía relativa de Monge-Ampère, mostrando que la capacidad emerge naturalmente como el límite de esta energía.
3. Robustez: La demostración maneja las sutilezas de la envolvente de holomorfía, la cual puede no ser hiperconvexa incluso si el dominio original lo es, utilizando un proceso de límite sobre exhausciones hiperconvexas.

El autor señala que el resultado es consistente con los casos conocidos en $\mathbb{C}^n$, pero proporciona un marco unificado que no requiere que el espacio ambiente sea $\mathbb{C}^n$, abordando así dominios que se embeben en variedades de Stein pero no necesariamente en el espacio euclídeo.