Metric entropy of the space of holomorphic functions

기술 요약: 홀로모픽 함수의 공간에 대한 메트릭 엔트로피

문제 정의
본 논문은 콜모고로프(Kolmogorov)가 제기한 홀로모픽 함수 공간의 메트릭 엔트로피(또는 $\varepsilon$-엔트로피)의 점근적 거동에 관한 고전적인 문제를 다룬다. 구체적으로, $n$차원 슈타인 다양체(Stein manifold) $X$ 내의 도메인 $\Omega$와 컴팩트한 비플루리폴라(non-pluripolar) 부분집합 $K \subset \Omega$가 주어졌을 때, 저자는 $H_\varepsilon(A^\Omega_K, C(K))$의 성장률, 즉 $\varepsilon \to 0$일 때의 성장률을 조사한다. 여기서 $A^\Omega_K$는 $K$ 위에서 연속이며 $\Omega$로 유계인 홀로모픽 확장을 갖는 함수들의 집합을 의미한다. 이 집합의 컴팩트성은 몽텔(Montel)의 정리에 의해 보장되지만, 이 컴팩트성의 정량적 비율—즉, 집합을 덮는 데 필요한 $\varepsilon$-볼(ball)의 개수—은 복소해석학의 핵심적인 질문이다.

이전 연구들은 $\mathbb{C}$에서의 도메인(Babenko, Erokhin) 및 $\mathbb{C}^n$에서의 도메인(Zakharyuta, Nivoche, Bandtlow-Nivoche)에 대한 점근성을 확립하였으며, 이는 종종 버그만-바일(Bergman-Weil) 공식이나 특정 플루리포텐셜 이론적 추측과 같은 명시적인 공식에 의존하였다. 그러나 전역적인 좌표계나 명시적인 적분 공식이 존재하지 않는 임의의 슈타인 다양체로 이러한 결과를 확장하는 것은 여전히 미해결 과제로 남아 있었다.

방법론
저자는 임의의 슈타인 다양체로부터 대수적 및 기하학적 도구가 더 접근하기 쉬운 환경으로 문제를 일반화하기 위해 다단계 축소 전략을 사용한다:

1. 아핀 다양체 및 룽게(Runge) 도메인으로의 축소:
   Stout의 결과와 엄격한 하이퍼컨벡스(strictly hyperconvex) 도메인의 성질을 사용하여, 문제는 주변 공간 $X$가 아핀 다양체(아핀 다양체는 $\mathbb{C}^m$의 부분다양체임)이고 $\Omega$가 엄격한 룽게 도메인인 경우로 축소된다. 이를 통해 홀로모픽 함수 공간 $H^0(\Omega)$를 유한 차원 근사 공간으로 대체할 수 있다.

2. 다항식 근사:
   홀로모픽 함수의 공간은 유계된 차수를 가진 다항식 공간 $A^k[X]$에 의해 근사된다. Siciak의 최적 다항식 근사 결과(Zeriahi에 의해 아핀 다양체로 확장됨)를 활용하여, 저자는 차수 $k$가 $\log \varepsilon^{-1}$에 따라 로그 스케일로 변화할 때, 홀로모픽 공간의 $\varepsilon$-엔트로피가 이 다항식 부분 공간들의 $\varepsilon$-엔트로피와 점근적으로 동등함을 입증한다.

3. 부피 비율 및 단위 볼:
   유한 차원 다항식 공간의 메트릭 엔트로피는 $K$ 위에서의 놈(norm)과 $\Omega$ 위에서의 놈에 의해 정의되는 두 서로 다른 섭 노름(sup-norm) 사이의 단위 볼 부피 비율과 관련된다. 이 단계에서는 유한 차원 벡터 공간의 엔트로피에 관한 추정치(Proposition 2.1)를 활용하고, 일반적인 놈을 헤르미션 놈(Hermitian norm)으로 연결하기 위해 존 엘립소이드(John ellipsoid) 정리를 사용한다.

4. 모노-암페르 에너지와의 연결:
   두 단위 볼의 부피 비율은 Berman과 Boucksom의 정리에 의해 상대적 모노-암페르 에너지와 연결된다. 이 에너지는 상대적 극값 함수(relative extremal functions, Siciak-Zaharuta 함수) $V_\Omega$와 $V_{cK, \Omega}$를 사용하여 정의된다.

5. 에너지를 용량(Capacity)과 연결:
   핵심적인 기술적 기여는 상대적 모노-암페르 에너지가 $c \to 0$일 때 $c^{n+1}$로 정규화될 때, 상대적 용량 $C(K, \Omega)$로 수렴한다는 것을 증명하는 것이다. 이는 글로벌 기하학적 에너지(주변 다양체 $\mathbb{C}^m$로의 임베딩에 의존함)와 고유한 상대적 용량(주변 다양체에 독립적임) 사이의 간극을 메우는 가교 역할을 한다.

주요 결과
주요 정리(Theorem 1.1)는 메트릭 엔트로피의 점근적 거동에 대한 엄격한 경계값을 제공한다:

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

여기서:

• $C(K, \Omega)$는 하이퍼컨벡스 도메인들에 의한 소진(exhaustion)을 통해 정의된 상대적 용량이다.
• $\hat{\Omega}$는 $\Omega$의 홀로모픽 외포(envelope of holomorphy)이다.
• $C(K, \hat{\Omega})$는 외포에 대한 상대적 용량이다.

따름정리 및 특정 사례:

• 엄격한 하이퍼컨벡스 도메인: 만약 $\Omega$가 엄격한 하이퍼컨벡스 도메인이라면, $\Omega$의 홀로모픽 외포는 (쌍정상 동형 관계 내에서) $\Omega$와 일치하며, 경계값은 다음과 같이 정확한 극한값으로 수렴한다:
  $$\lim_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} = \frac{2C(K, \Omega)}{(n+1)!}$$
  이 결과는 $\mathbb{C}^n$에서의 기존 발견을 임의의 슈타인 다양체로 확장한다.
• 정량적 룽게 성질: 본 논문은 또한 $\Omega$ 상의 함수와 주변 다양체 $X$로 확장 가능한 함수들 사이의 엔트로피 차이를 $\Omega$의 홀로모픽 헐(holomorphic hull)의 용량과 연관시키는 정량적 버전의 룽게 성질(Theorem 8.2)을 도출한다.

의의 및 주장
본 논문은 $\mathbb{C}^n$ 내 도메인에 대한 콜모고로프 문제에 대한 새로운 독립적 해법을 제공하며, 더욱 중요하게는 이를 임의의 슈타인 다양체로 확장하는 것을 목표로 한다. 그 의의는 다음과 같다:

1. 일반화: $\mathbb{C}^n$에 특화된 명시적 적분 공식(예: 버그만-바일)에 의존했던 이전의 접근 방식들과 달리, 이 방법은 문제를 아핀 다양체로 축소하고 플루리포텐셜 이론을 활용함으로써 일반적인 슈타인 다양체에 대해 작동한다.
2. 개념적 명확성: 이 연구는 메트릭 엔트로피 추정치에서 상대적 용량이 나타나는 이유에 대한 개념적 설명을 제공한다. 이전에는 이러한 연결이 특수한 경우(예: 해석적 다면체)의 명시적 계산을 통해 확립되었으나, 여기서는 상대적 모노-암페르 에너지를 통해 이 연결이 도출되며, 용량이 이 에너지의 극한으로서 자연스럽게 등장함을 보여준다.
3. 강건성: 증명 과정은 원래의 도메인이 하이퍼컨벡스이더라도 그 외포(envelope)는 하이퍼컨벡스가 아닐 수 있다는 미묘한 문제를, 하이퍼컨벡스 소진(exhaustion)을 통한 극한 과정을 통해 처리한다.

저자는 이 결과가 $\mathbb{C}^n$에서의 알려진 사례들과 일치하면서도, 주변 공간이 반드시 $\mathbb{C}^n$일 필요는 없는 통합된 프레임워크를 제공하며, 이를 통해 유클리드 공간이 아닌 슈타인 다양체로 임베딩되는 도메인들을 다룰 수 있다고 언급한다.