[논문 리뷰] Boundary behavior of the Kobayashi metric near a point of infinite type

Tran Vu Khanh|arXiv (Cornell University)|2013. 02. 04.

Holomorphic and Operator Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 약한 강한 볼록 도메인에서 무한 유형 경계점 근처에서 코바야시 거리의 날카운 하한을 잠재적 이론적 $f$-성질 조건 하에 확립한다. 다변수 해석함수의 붕괴 함수와 $\bar\partial$-Neumann 문제에 대한 추정을 사용하여, $K(z,X) \gtrsim g(\delta_\Omega(z)^{-1})|X|$ 를 증명하며, 여기서 $g^{-1}(t) = \int_t^\infty \frac{da}{a f(a)}$ 이다. 이는 유한 유형 도메인에 대한 기존 결과를 일반화하고, 특히 무한 유형의 경우 하한의 감쇠 속도를 향상시킨다.

ABSTRACT

Under a potential-theoretical hypothesis named $f$-Property with $f$ satisfying $\displaystyle\int_t^\infty \dfrac{da}{a f(a)}

연구 동기 및 목표

• 약한 볼록 도메인에서 무한 유형 경계점 근처의 코바야시 거리에 대한 점별 하한을 확립하기.
• 이전의 베르그만 거리에 대한 결과를 더 약한 매끄러움 조건 하에 코바야시 거리로 일반화하기.
• 특히 무한 유형의 경우 기존 결과에 비해 하한의 감쇠 속도를 향상시키기.
• 거리 추정을 이용하여 도메인 간의 정규화된 헬름홀로픽 사상의 호일더 연속성에 적용하기.
• 다변수 해석함수 이론에서 거리 추정을 위한 $f$-성질 프레임워크를 통합하고 확장하기.

제안 방법

• 경계점 $z_0$ 에서의 $f$-성질을 도입하며, 이는 $C^2$ 다변수 해석함수 붕괴 함수 $\phi_\delta$ 가 리만 형식과 기울기를 통제할 수 있도록 요구한다.
• f-성질을 이용하여 슈바르츠-피크 보조정리와 해석적 원판에 대한 추정을 통해 코바야시 거리의 하한을 유도한다.
• 함수 $g(t)$ 는 적분 $\int_t^\infty \frac{da}{a f(a)}$ 의 역함수로 정의되며, 이는 거리의 성장률을 결정한다.
• 하위레벨 집합의 방법과 젠센의 부등식을 사용하여 단위 원판에서의 해석적 사상의 도함수를 통제한다.
• 하드리-리틀우드 형식의 보조정리 4.1을 적용하여 기울기 추정과 $f$-호일더 연속성 간의 관계를 규명한다.
• f-성질 조건을 통해 코바야시 거리, 경계까지의 거리 $\delta_\Omega(z)$, 그리고 함수 $g$ 를 연결하는 추정의 사슬을 구축한다.

실험 결과

연구 질문

• RQ1 약한 볼록 도메인에서 무한 유형 경계점 근처의 코바야시 거리에 대한 최적의 하한은 무엇인가?
• RQ2 경계 기하학에 대한 $f$-성질 조건이 거리의 점근적 행동에 어떻게 영향을 미치는가?
• RQ3 이전의 베르그만 거리 결과에 비해 코바야시 거리의 하한을 개선할 수 있는가?
• RQ4 어떤 조건에서 도메인 간의 정규화된 헬름홀로픽 사상이 연속적으로 연장되며 통제 가능한 연속성을 가진다?
• RQ5 적분 조건 $\int_t^\infty \frac{da}{a f(a)} < \infty$ 는 거리의 성장률과 어떻게 관련이 있는가?

주요 결과

• 코바야시 거리는 무한 유형 경계점 근처에서 $K(z,X) \gtrsim g(\delta_\Omega(z)^{-1})|X|$ 를 만족하며, 여기서 $g^{-1}(t) = \int_t^\infty \frac{da}{a f(a)}$ 이다.
• 유한 유형 도메인의 경우, $g(t) = t^{1/m}$ 으로 회복되며, $m$ 은 유형의 차수이다. 이는 이전의 $t^{1/m - \eta}$ 추정보다 향상된 결과이다.
• 무한 유형 도메인에서 $f(t) = \log^{1+\epsilon} t$ 이면, $g(t) = \log^\epsilon t$ 를 얻으며, 이는 이전 결과의 $\log^\epsilon(t^{1-\eta})$ 보다 더 날카롭다.
• 이 결과는 $C^2$ 경계 정규성 조건 하에서도 성립하며, 이는 이전 연구에서 요구한 $C^\infty$ 조건을 완화한 것이다.
• $f$-성질 조건은 거리 하한을 도출하는 데 충분하며, 이는 유한 및 무한 유형 도메인에 모두 적용 가능하다.
• f-성질 조건을 만족하는 도메인으로의 정규화된 헬름홀로픽 사상은 $h(t)^{-1} \sim \int_{t^\eta}^\infty \frac{db}{b g(b)}$ 를 만족하는 $h$-호일더 연속성을 가짐을 보였으며, 이는 연속성 추정을 향상시킨다.