[논문 리뷰] On the uniform squeezing property and the squeezing function

Kang‐Tae Kim, Liyou Zhang|arXiv (Cornell University)|2013. 06. 11.

Holomorphic and Operator Theory참고 문헌 8인용 수 15

한 줄 요약

이 논문은 유계 볼록 도메인의 쫀 함수(squeezing function) $\sigma_\Omega(p)$ 가 양수 상한 아래에서 유계임을 증명함으로써, $\mathbb{C}^n$ 내 모든 유계 볼록 도메인이 해석적 동차 정규(HHR)이자 등가로 균일 쫀(USq)임을 확립한다. 또한 $\mathcal{C}^2$ 경계를 가진 유계 강력 준볼록 도메인에 대해, 수정된 스케일링 방법과 해석적 불변량의 기하학적 분석을 사용하여, $z$ 가 경계에 접근함에 따라 $\sigma_\Omega(z) \to 1$ 임을 보인다.

ABSTRACT

We describe the boundary behaviors of the squeezing functions for all bounded convex domains in $\mathbb{C}^n$ and bounded domains with a $C^2$ strongly convex boundary point.

연구 동기 및 목표

• 모든 유계 볼록 도메인이 $\\mathbb{C}^n$ 내에서 균일 쫀 성질(HHR/USq)을 가짐을 증명함으로써, 이전 연구에서 제외된 도메인을 포함하도록 결과를 확장함.
• 유계 강력 준볼록 도메인의 $\mathcal{C}^2$ 경계를 가진 경우, 쫀 함수 $\sigma_\Omega(z)$ 의 경계 근처 행동을 분석함.
• 이전 접근 방식과 다름없이 여러 복소변수에서 수정된 스케일링 방법을 사용한 새로운 증명 기법을 제공함.
• 기하학적 분석을 통해 강력 준볼록 도메인 내 해석적 불변량에 대한 기존 결과를 명확화하고 단순화함.
• 강력 준볼록 도메인의 경계점에서 $\sigma_\Omega(z) \to 1$ 임을 확인함으로써, $\mathcal{C}^2$ 정규성 조건 하에 이 질문에 대한 긍정적 답변을 제시함.

제안 방법

• 핀추크의 방법을 응용하고 [4]에서 개선된 여러 복소변수에서의 수정된 스케일링 방법을 사용하여, 경계 근처의 해석적 불변량 행동을 분석함.
• 켤레 함수 $\sigma_\Omega(p)$ 는 $\mathbb{B}^n(0,r)$ 가 $p$ 를 원점으로 고정하는 해석적 매핑을 통해 $\Omega$ 에 매립될 수 있는 $r$ 의 상한으로 정의됨.
• 끈임 없는 쫀 상수 $\hat{\sigma}_\Omega = \inf_{p \in \Omega} \sigma_\Omega(p)$ 를 정의하고, 유계 볼록 도메인에 대해 $\hat{\sigma}_\Omega > 0$ 임을 증명함.
• 복소수 $\mathbb{C}^n$ 내 정규직교 기저와 수직보완공간을 이용한 기하학적 구성법을 사용하여, 경계점 근처의 해석적 매핑 크기를 추정함.
• 경계에 수렴하는 수열 $\{q_j\} \to \partial\Omega$ 를 사용하고, $\sigma_\Omega(q_j) \to 0$ 이라고 가정할 경우, 컴acts성과 동형변환 불변성에 의해 모순을 이끌어냄.
• 매핑의 복합체 $G = L \circ \kappa \circ \Lambda_\lambda \circ A_q$ 를 사용하여 $G(\Omega) \subset \mathbb{B}^n(0;1+\epsilon)$ 임을 보이고, 이는 쫀 함수의 균일 제어를 의미함.

실험 결과

연구 질문

• RQ1 모든 유계 볼록 도메인이 $\mathbb{C}^n$ 내에서 균일 쫀 성질(HHR/USq)을 가지는가?
• RQ2 유계 강력 준볼록 도메인이 $\mathcal{C}^2$ 경계를 가질 때, $z$ 가 경계에 접근함에 따라 쫀 함수 $\sigma_\Omega(z)$ 는 1로 수렴하는가?
• RQ3 강력 준볼록 도메인의 경계점이 $\mathbb{C}^n$ 의 자동형사상으로써 구형극단(spherically-extreme)이 될 수 있는가?
• RQ4 여러 복소변수에서의 스케일링 방법이 볼록 도메인에 대해 쫀 함수의 균일 하한을 증명하는 데 효과적인가?
• RQ5 강력 준볼록 도메인의 단위구를 모든 경계 접근 방식에 대해 균일하게 매핑하는 생애(exhaustion)가 가능한가?

주요 결과

• 모든 유계 볼록 도메인은 해석적 동차 정규(HHR)이자 등가로 균일 쫀(USq)이며, 이는 $\hat{\sigma}_\Omega > 0$ 를 의미함.
• 모든 경계가 $\mathcal{C}^2$-연속인 유계 도메인 $\Omega \subset \mathbb{C}^n$ 에 대해, 모든 경계점 $p \in \partial\Omega$ 에 대해 $\lim_{\Omega \ni z \to p} \sigma_\Omega(z) = 1$ 이 성립함.
• 켤레 함수 $\sigma_\Omega(p) = 1$ 이 되는 것은 $\Omega$ 가 단위구 $\mathbb{B}^n$ 과 해석적 동형임과 필요충분조건임.
• 수정된 스케일링 방법을 사용한 증명 기법은 강력 준볼록 도메인 내 해석적 불변량에 대한 기존 결과를 새롭고 단순화된 방식으로 제공함.
• 이 결과는 프리드먼과 마의 생애 정리가 단지 경계를 횡단하는 접근에 국한되지 않고, 모든 경계 접근에 대해 더 일반적으로 성립함을 시사함.
• 강력 준볼록 도메인의 경계점이 항상 구형극단이 되도록 하는 $\mathbb{C}^n$ 의 자동형사상이 존재하지 않음을 보여주는 반례를 구성함으로써, 자연스러운 추측을 반증함.