Kobayashi 초과곡률 영역에서 호스피어의 기하와 경계 확장

초록

Kobayashi 초과곡률 영역에 대해 Abate가 정의한 작은·큰 호스피어가 주어진 반경과 중심점에 대해 경계와 교차하는 점이 오직 그 중심점 하나뿐인 성질을 연구한다. 모델‑Gromov‑초과곡률 영역, 국소 모델‑Gromov‑초과곡률 영역, Dini‑매끄러운 국소 볼록 가시성 영역 등에서 이 성질을 입증하고, 이를 이용해 전단사(바이홀로몰피즘)의 연속적 경계 연장을 얻는다.

상세 분석

본 논문은 Kobayashi 거리 kΩ 로 정의되는 초과곡률 영역 Ω 에서 Abate가 제시한 작은 호스피어 H⁽ˢ⁾ₒ(x,R) 와 큰 호스피어 H⁽ᵇ⁾ₒ(x,R) 가 경계 ∂Ω 와 만나는 점이 정확히 중심점 x 하나뿐인 조건(∗)을 조사한다. 먼저, 모델‑Gromov‑초과곡률 영역이란 (Ω,kΩ) 가 Gromov‑초과곡률 공간이며, 정체 사상이 Gromov 압축 Ωᴳ 에서 끝점 압축 Ωᴱ (end‑compactification) 으로 연속적이고 전단사적으로 확장되는 경우를 말한다. Bharali‑Zimmer 의 결과에 따라 이러한 영역은 Kobayashi 거리의 완비성과 가시성(visibility) 성질을 만족한다. 가시성은 서로 다른 경계점 x,y 에 대해 각각의 작은 이웃 Uₓ,U_y 가 존재하고, 모든 Kobayashi 지오데식이 한 고정된 컴팩트 K 를 통과하도록 보장한다. 이때, Gromov 제품 ⟨z|w⟩ₒ가 유한하게 유지되므로 큰 호스피어는 ∂Ω 에서 x 를 제외하고는 닿지 않는다.

다음으로, 논문은 (∗)가 모델‑Gromov‑초과곡률 영역 전반에 대해 성립함을 정리한다. 핵심은 Gromov 경계점에 수렴하는 지오데식 레이들이 서로 균등하게 분리된다는 사실이다. 이로써 작은 호스피어도 경계와 교차할 때 반드시 x 로 수렴함을 보인다.

또한, 모델‑Gromov‑초과곡률이 아닌 영역에서도 (∗)가 유지되는 사례를 제시한다. 첫 번째는 ‘국소 모델‑Gromov‑초과곡률’ 영역으로, 각 경계점 주변에 모델‑Gromov‑초과곡률 구조가 존재한다는 가정이다. 이 경우 지역적인 가시성 및 Gromov 압축의 일치성을 이용해 전역적인 (∗)를 얻는다. 두 번째는 Dini‑매끄러운 경계와 국소 볼록성(local convexity)을 갖는 영역이다. 여기서는 각 경계점 x 에 대해 복소좌표 변환 Φₓ 로 국소적으로 볼록 집합을 얻고, 그 변환된 영역이 지오데식 가시성을 만족하면 H⁽ˢ⁾ₚ(x,R)·H⁽ᵇ⁾ₚ(x,R) 가 ∂Ω 에서 오직 x 만을 포함한다. 특히, Dini‑조건은 경계의 곡률이 충분히 부드러워서 Horofunction 압축과 Gromov 압축이 일치하도록 만든다.

마지막으로, 이러한 호스피어 구조를 활용해 전단사(바이홀로몰피즘) Ψ:D→Ω 가 경계까지 연속적으로 확장되는 충분조건을 제시한다. ‘측정‑정규(metrically‑regular)’ 영역을 정의하고, D 와 Ω 가 각각 (a) 모든 x∈∂Ω 에 대해 작은 호스피어가 비공집합이며 (b) 서로 다른 경계점에 대한 큰 호스피어가 일정 반경 R 에서 서로 겹치지 않는다는 조건을 만족하면, Ψ는 전체 폐쇄된 영역 D¯ 에서 Ω¯ 로의 위상동형으로 연장된다. 이는 기존에 알려진 Jordan 영역 정리와 일치하며, 특히 단순 연결 평면 영역에서 (∗)가 성립하면 경계 연장이 자동으로 따라온다.

전반적으로 논문은 Kobayashi 초과곡률 기하에서 호스피어의 경계 교차 특성을 Gromov‑초과곡률, 가시성, Horofunction 압축 등 현대적인 거리 기하 도구와 연결시켜, 다양한 복소 영역에 대한 위상적 연장 정리를 폭넓게 제공한다.