펀크처된 리만 표면의 보편적 가족은 Stein 다양체이다

초록

본 논문은 구멍이 하나 이상 있는( n > 0) 컴팩트 리만 표면의 보편적 테히몰러 가족 V(g,n)이 Stein 다양체임을 증명한다. 두 가지 증명 방법을 제시하는데, 하나는 강한 플루리시부하함수(strongly plurisubharmonic) 소거함수를 구성해 Stein성을 얻는 것이고, 다른 하나는 섬유별 대수함수들이 충분히 풍부하여 전체 공간이 홀로몰픽하게 볼록함을 보인다. 이를 통해 V(g,n)의 적절한 차원에 대한 전사적 임베딩, Oka 원리의 상대적 형태, 섬유별 대수지도와 유연 대수다양체 사이의 Oka 원리, 그리고 섬유마다 사라지지 않는 전역 벡터장·1‑형식 존재 등을 도출한다. 또한 알제브라적 전사 임베딩 가능성, 섬유별 전사 침투 함수 존재 여부 등 여러 개방문제도 제시한다.

상세 분석

논문은 먼저 전통적인 테히몰러 공간 T(g,n)의 구조를 회고한다. T(g,n)는 2g + n ≥ 3인 경우 복소 차원 3g‑3 + n의 Stein 도메인으로 알려져 있으며, 그 위에 존재하는 보편적 가족 π: V(g,n) → T(g,n) 은 각 섬유가 n개의 구멍을 가진 컴팩트 리만 곡면(M,J_t) 로 구성된다. 저자는 n ≥ 1일 때 V(g,n) 자체가 Stein임을 보이고, 이는 두 가지 독립적인 증명으로 뒷받침된다.

첫 번째 증명(섹션 2)은 Z가 Stein 기반 X 위의 복소 차원 하나 높은 복합 다양체이며, π: Z → X가 연결된 섬유를 갖는 전사적 정칙 서브머전인 경우, 서로 교차하지 않는 n개의 전역 섹션 s_i를 제거한 도메인 Ω = Z \ ⋃ s_i(X)가 Stein임을 보인다. 핵심 아이디어는 Siu의 결과를 이용해 섹션의 이미지 H = s(X)가 Stein 근방을 갖는다는 점과, 그 근방에서 강한 플루리시부하함수 φ가 존재함을 이용한다. 이후 섬유별로 작은 원판 D⊂M을 잡고, φ와 섬유별 강한 서브하모닉 함수 u를 적절히 결합해 전역적인 강한 플루리시부하 소거함수 ρ를 구성한다. 마지막으로 베이스 X에 대한 강한 플루리시부하 소거함수 τ를 더해 ρ + τ∘π가 전체 Ω의 강한 플루리시부하 소거함수가 되도록 함으로써 Grauert의 정리(강한 플루리시부하 소거함수가 있으면 Stein) 를 적용한다.

두 번째 증명(섹션 3)은 섬유별 대수함수들의 풍부함을 이용한다. 저자는 A(V(g,n))라는 섬유별 대수함수들의 알제브라를 정의하고, 이 알제브라가 전체 홀로몰픽 함수 알제브라 O(V(g,n))에 대해 컴팩트-오픈 위상에서 조밀함을 보인다. 핵심은 직접 이미지(섬유별 대수함수)들이 섬유를 구분하고, 이들로부터 얻은 사상들이 복소적으로 볼록한 이미지(즉, Steinness)를 제공한다는 점이다. 이 과정에서 Grauert‑Remmert의 직접 이미지 정리와 코히런트 쉐이브의 성질을 활용한다.

이러한 Stein 성질을 바탕으로 여러 함의가 도출된다. 먼저 차원 계산을 통해 V(g,n)의 차원은 3g‑3 + n + 1이므로, Remmert‑Bishop‑Narasimhan 정리에 의해 2·dim V+1 차원의 복소 유클리드 공간에 전사적 임베딩이 가능함을 얻는다. 또한 Oka 다양체 Y에 대해 모든 동형류에 속하는 전사적 홀로몰픽 사상이 존재함을 보이며, 이는 Oka 원리와 Stein성의 결합으로부터 직접적으로 따라온다.

섬유가 아핀 대수 곡선이므로 섬유별 대수함수들이 풍부하고, 이를 이용해 섬유별 대수지도 f: V(g,n) → ℂ^N이 주어진 상대 콤팩트한 베이스 영역 위에서 전사적 임베딩을 제공한다(정리 3.1). 더 나아가 유연 대수 다양체(예: ℂ^m, 복소 토러스 등)로의 섬유별 대수지도에 대해 상대 Oka 원리를 확립한다(정리 4.1).

마지막으로 몇 가지 개방문제를 제시한다. 가장 눈에 띄는 것은 V(g,n) 자체가 알제브라적으로 전사적 임베딩될 수 있는지, 즉 각 섬유 위에서 알제브라적 사상이 동시에 전사적 임베딩을 이루는지 여부이다. 또한 섬유마다 전사적 침투 함수를 제공하는 전역 홀로몰픽 함수 f: V(g,n) → ℂ가 존재하는지, 그리고 그 함수의 미분이 섬유 방향과 전역적으로 교차하는지에 대한 문제(문제 1.7)도 제시된다. 이러한 질문들은 Stein성, Oka 원리, 그리고 대수적 구조 사이의 미묘한 상호작용을 탐구하는 데 중요한 출발점이 된다.