Revised Demailly's Affineness Criterion and Algebraization of Entire Grauert Tubes

기술적 요약: 수정된 데마유 (Demailly) 의 아핀성 기준과 전체 그라우어트 튜브의 대수화

문제 제기
본 논문은 번스 (Burns) 의 1982 년 추측을 다룬다. 이 추측은 특정 스타인 구조를 갖춘 실수 해석적 리만 다양체 $(M, g)$의 접다양체인 전체 그라우어트 튜브 $T^\infty M$이 아핀 대수다양체인지 여부를 묻는다. 스타인 다양체는 아핀 다양체의 해석학적 유사체이지만, 전자는 임의의 정칙 함수로 정의되며 일반적으로 후자보다 더 유연하다. 이 추측은 동차 복소 몽주 - 암페르 (HCMA) 방정식의 해석적 조건과 아핀성이라는 대수적 성질 사이의 깊은 연관성을 주장한다.

아귀라 (Aguilar) 와 번스에 의한 이전의 해결 시도들은 1985 년 데마유의 아핀성 기준에 의존했다. 이 기준은 엄격하게 다초함수 (strictly plurisubharmonic) 인 exhaustion 함수 $\phi$의 존재와 특정 성장 조건과 리치 곡률 경계를 만족하는 함수 $\psi$의 존재를 요구한다. 문헌에서 확인된 장애물은 $M$의 부피 형태의 해석적 연속으로부터 유도된 $\psi$의 자연스러운 후보가 종종 특이 집합 $S$를 따라 극을 갖는다는 점이다. 결과적으로 필요한 함수 $\psi$는 $S$에서 $-\infty$의 값을 가지게 되어 원래 기준이 적용 불가능해진다.

방법론
저자는 두 가지 접근법을 사용한다: 첫째, 특이점을 수용하는 데마유 기준의 일반화 버전을 수립하고, 둘째, 이 기준을 전체 그라우어트 튜브의 특정 기하학에 적용한다.

1. 수정된 아핀성 기준: 논문은 유한한 몽주 - 암페르 부피를 갖는 스타인 다양체 $X$에 대해 데마유 기준의 수정된 버전 (정리 1.2) 을 제시한다. 리치 경계를 모든 곳에서 만족하는 전역 함수 $\psi$를 요구하는 대신, 새로운 기준은 $S = \{x \mid e^{-2\psi} \notin L^1_{loc}(x)\}$인 특이 집합을 허용한다.

   • 방법론은 $S$에서 소멸하지만 특정 점 $p \in X \setminus S$에서는 0 이 아닌 정칙 함수 $b_p$를 구성하기 위해 가중 $L^2$ 추정 (Bombieri–Hörmander–Skoda 유형) 을 활용한다.
   • 다양체를 열린 집합 $X \setminus b_p^{-1}(0)$으로 제한함으로써 특이점 집합이 "제거"되어, 데마유의 원래 논증을 적용하여 이러한 열린 부분집합들이 아핀 다양체와 정칙 동형 (biholomorphic) 임을 증명할 수 있게 된다.
   • 논문은 또한 코호몰로지 가정 하에서 $X \setminus S$의 전역 구조를 분석하여, 이를 정규 아핀 다양체의 자리스키 (Zariski) 열린 부분집합으로 매장할 수 있음을 보인다.

2. 그라우어트 튜브에의 적용: 저자는 전체 그라우어트 튜브 $TM$에 필요한 기하학적 데이터를 구성한다:

   • 엄격하게 다초함수인 Exhaustion: 운동 에너지 $E$를 사용하여 $\phi = \log(1 + \cosh(\sqrt{2E}))$로 정의된 함수가 제시된다.
   • 복소화 계량: 몽주 - 암페르 잎 (복소화 측지선) 을 따라 기저 계량 $g$를 유리함수적으로 확장하여 비퇴화 유리형 $(2,0)$-텐서 $g_C$가 구성된다.
   • 리치 경계 함수: $\beta = dd^c e^\phi$일 때, $\psi = -\log \|\det(g_C)\|_\beta$로 정의된 함수가 제시된다. 저자는 $\psi$가 요구되는 성장 조건 $\psi \leq A\phi + B$와 분포 (currents) 의 의미에서 리치 곡률 경계 $Ric(\beta) + \frac{1}{2}dd^c\psi \geq 0$를 만족함을 증명한다.
   • 특이점 식별: 기준이 실패하는 집합 $S$는 정확히 $\det(g_C)$의 극점 집합, 즉 "튜브 특이점 (tube singularity)"으로 식별된다.

주요 결과

• 정리 1.2 (수정된 아핀성 기준): 스타인 다양체 $X$가 유한한 몽주 - 암페르 부피를 가지며 집합 $S$ 밖에서 리치 경계를 만족하는 함수 $\psi$를 허용한다면, $X \setminus S$는 아핀 다양체의 자리스키 열린 부분집합들로 덮여 있음을 확립한다. 만약 $S = \emptyset$이고 코호몰로지가 유한 차원이라면, $X$는 아핀이다.
• 정리 1.3 (전체 그라우어트 튜브의 대수화): 임의의 전체 그라우어트 튜브 $TM$에 대해, 계량$g$는 유리형 텐서$g_C$로 확장된다.$S$를$\det(g_C)$의 극점 집합이라 하자. 임의의 점$p \in TM \setminus S$에 대해,$TM \setminus b_p^{-1}(0)$이 매끄러운 아핀 다양체와 정칙 동형인 정칙 함수$b_p$가 존재한다. 또한,$TM \setminus S$는 그러한 아핀 열린 집합들로 덮인 스타인 다양체이다.
• 전역 아핀성에 대한 반례: 논문은 튜브 특이점 $S$가 공집합이 아닌 명시적인 예시 ($d \neq 0$인 회전면 $M_d$) 를 제공한다. 이러한 경우, 평행 벡터장의 전이 행렬 $\Phi'$가 퇴화하여 $\det(g_C)$가 극을 갖게 된다. 이는 추가적인 조건 없이는 번스 추측이 가장 강력한 형태 (즉, $TM$ 자체가 아핀임) 로 성립하지 않음을 보여준다.

의의와 주장
본 논문은 번스 추측에 대한 "부분적 답변"을 제공한다고 주장한다. 전체 그라우어트 튜브가 코차원 1 부분집합 (튜브 특이점 $S$) 밖에서 아핀임을 확립한다. 그 의의는 다음과 같다:

1. 데마유 기준의 일반화: 수정된 기준 (정리 1.2) 은 독립적인 관심의 도구로 제시되며, 특이점을 허용하기 위해 리치 포텐셜 $\psi$의 정칙성 요건을 완화함으로써 대수화 기법을 적용할 수 있는 다양체 클래스를 확장한다.
2. 장애물의 명확화: 이 연구는 그라우어트 튜브의 완전한 아핀성에 대한 정확한 장애물로서 튜브 특이점 $S$(복소화 계량 행렬식) 의 극점 집합을 식별한다. 이는 아귀라 - 번스 접근법의 실패가 이러한 극점의 존재와 직접적으로 연결됨을 보여준다.
3. 좋은 복소화 (Good Complexification) 와의 연결: 만약 튜브 특이점 $S$가 공집합임이 증명되거나 (또는 $TM \setminus S$의 코호몰로지가 특정 유한성 조건을 만족한다면), 번스 추측은 전체 그라우어트 튜브를 허용하는 다양체에 대한 좋은 복소화 추측을 함의할 것이라는 결과가 시사된다.

저자는 번스 추측의 완전한 해결에 대해서는 겸손한 입장을 견지하며, $S$의 위상과 구조에 대한 더 깊은 이해가 필요함을 지적한다. 현재로서는 $S$를 일반적으로 제어하는 방법이 존재하지 않기 때문이다. 논문은 $TM \setminus S$의 코호몰로지와 $S$를 제거하기 위한 계량의 변형 가능성에 관한 질문을 제기하며 마무리한다.