p$‑베르만 공간의 차원, 무한과 유한 사이의 경계

초록

**
본 논문은 의사볼록 영역에서 정의되는 $p$‑베르만 공간 $A_p(\Omega,\varphi)$의 차원을 조사한다. $p\ge 2$인 경우는 비자명하면 무한 차원임을, $1\le p<2$에서는 유한 차원 예시와 무한 차원에 대한 충분조건을 제시한다. 핵심 도구는 $L^p$ 버전의 오사와·타케고시 연장 정리와 Hörmander‑Skoda‑Bombieri 기법이며, 이를 통해 완전 $N$‑원환형 Hartogs 영역, 균형 영역, 가중 $p$‑포크 공간 등에 대한 새로운 차원 결과를 얻는다.

**

상세 분석

**
논문은 먼저 $p$‑베르만 공간 $A_p(\Omega,\varphi)={f\in\mathcal O(\Omega):\int_\Omega|f|^p e^{-p\varphi}<\infty}$ 를 정의하고, $p=2$ 일 때는 고전적인 힐베르트 구조와 재현 커널을 갖지만 $p\neq2$ 일 때는 Banach 공간에 불과함을 강조한다. 이때 “Wiegerink 문제”—즉 비자명한 베르만 공간이 무한 차원인가?—를 $p$‑버전으로 일반화한다.

1. 평면 영역

   • $p\ge2$ 에서는 Carleson의 로그 용량 조건 $c_{2-q}(\Omega^c)>0$ (단, $1/p+1/q=1$) 이 비자명성을 보장하고, 비자명하면 무조건 무한 차원임을 증명한다. 이는 기존 $p=2$ 결과를 $L^p$ 추정과 Hörmander의 $\bar\partial$ 해결법을 이용해 확장한 것이다.
   • $1\le p<2$ 에서는 $\varphi$ 가 $\varphi(z)-\varepsilon_0|z|^2\in SH(\Omega)$ 인 경우와 Lelong 수가 0인 열린 집합을 포함하는 경우에 $A_p(\Omega)$ 가 무한 차원임을 보인다.
   • 반대로, 임의의 정수 $k$ 에 대해 $k+1$개의 점을 제거한 $\Omega_k=\mathbb C\setminus{a_0,\dots,a_k}$ 를 잡으면 $A_p(\Omega_k)$ 가 정확히 $k$ 차원임을 구성한다. 여기서는 부분분수 전개와 $L^p$ 적분 조건을 정밀히 계산한다.

2. $L^p$ 연장 정리

   • Hörmander‑Skoda‑Bombieri 정리의 $L^p$ 버전을 제시하고, Dinew가 증명한 $L^p$ 오사와‑타케고시 정리를 정리·보강한다 (정리 3.5, 3.9, 3.11). 핵심 아이디어는 최소 에너지 해를 선택해 $\bar\partial$ 문제를 $L^p$ 추정과 함께 푸는 “최소 연장” 기법이며, 이는 Chen·Zhou, Xiong의 최근 작업을 기반으로 한다.
   • 이러한 정리들은 하이퍼플레인·하이퍼서피스 위에서의 $A_p$ 를 전체 영역의 $A_p$ 와 비교하게 해 주어, 차원 판정에 필요한 “연장-제한” 사슬을 구축한다.

3. Hartogs·균형·가중 포크 영역

   • Hartogs 영역 $D_\phi(G)={(z,w):|w|<e^{-\phi(z)}}$ 에 대해 $\phi-c|z|^2\in PSH(G)$ 와 Lelong 수가 $G$ 의 열린 부분에서 사라지는 경우, $A_p(D_\phi(G))$ 가 무한 차원임을 보인다 (정리 3.15, 3.19). 여기서는 $\phi$ 가 $u+M’\log|z|$ 보다 빠르게 성장한다는 Jucha의 조건을 $L^p$ 상황에 맞게 일반화한다.
   • 균형 영역(특히 $\mathbb C^2$ 내)에서는 Jucha와 Pflug‑Zwonek의 결과를 $p<2$ 로 제한해 재해석하고, 일부 경우에 한해 무한 차원성을 유지하지 못함을 예시(예 3.25, 3.28)로 보여준다.
   • 가중 $p$‑포크 공간 $F_p^\phi$ 에 대해서는 전체 함수의 $L^p$ 적분성을 다루며, Jucha의 조건 (4.2) 를 $p$‑버전으로 변형한 (16) 식을 제시한다. 이를 통해 $1\le p\le2$ 구간에서 $F_p^\phi$ 가 무한 차원임을 증명하고, Borichev‑Le‑Yousfi, Haslinger의 $L^2$ 결과를 $L^p$ 로 확장한다.

4. 기술적 제한

   • $p>2$ 에서는 현재 알려진 $L^p$ 연장 정리와 Skoda‑type 추정이 충분히 강력하지 않아, 대부분의 무한 차원 판정이 $p\le2$ 로 제한된다. 저자는 이 점을 명시하고, 향후 $p>2$ 에 대한 새로운 도구 개발이 필요함을 강조한다.

전체적으로 논문은 $p$‑베르만 공간의 차원 문제를 “연장 정리 + 잠재 이론”이라는 두 축으로 접근한다. 특히 $L^p$ 연장 정리를 체계화하고, 이를 통해 다양한 복합 영역(Hartogs, 균형, 포크)에서 무한 차원성을 확보함으로써, 기존 $p=2$ 결과를 크게 일반화한다. 또한 $1\le p<2$ 구간에서 유한 차원 예시를 명시적으로 구성함으로써 차원 이분법이 일반 $p$ 에서는 성립하지 않음을 보여준다. 이 연구는 $L^p$ 복소해석학과 다변수 복소함수론 사이의 교차점을 넓히는 중요한 기여라 할 수 있다.

**