[논문 리뷰] Liouville properties of plurisubharmonic functions

Lei Ni, Luen-Fai Tam|ArXiv.org|2002. 12. 28.

Geometry and complex manifolds참고 문헌 22인용 수 5

한 줄 요약

이 논문은 비유계 비콤팩트 켈러 다양체에서 정칙 이중곡률이 비음성인 경우, 부드러운 복소다중하모닉 함수에 대한 리우빌 유형 정리가 수립되며, 이는 이러한 함수가 하향 로그 성장 조건을 만족할 경우 반드시 상수일 것임을 증명한다. 이 결과를 바탕으로, 선형 성장 조건을 만족하는 조화 함수에 대한 분할 정리와 곡률 갭 정리를 도출하며, 스칼라 곡률이 충분히 빠르게 감소하는 경우 다양체가 평탄해짐을 보여, 기존 켈러 기하학의 결과를 확장한다.

ABSTRACT

We prove a Liouville theorem for the plurisubharmonic functions on complete Kaelher manifolds. As the applications, we prove a splitting theorem for complete Kaehler manifolds with nonnegative biscetional curvature in terms of the linear growth harmonic functions and a optomal gap theorem for such manifolds.

연구 동기 및 목표

• 비유계 비콤팩트 켈러 다양체에서 정칙 이중곡률이 비음성인 경우, 복소다중하모닉 함수에 대한 리우빌 유형 정리를 증명하기.
• 이러한 다양체에서 선형 성장 조건을 만족하는 조화 함수에 대한 분할 정리를 수립하기.
• 스칼라 곡률 감소에 의해 다양체가 평탄해짐을 보여주는 갭 정리를 증명하기.
• 이전 연구에서 푸앵카레-레롱 방정식과 리우빌 유형 추정을 사용한 바에 비해 더 단순하고 직접적인 증명을 제공하기.

제안 방법

• 곡률 한계 하에서 복소다중하모닉 함수에 대한 라플라시안 비교 추정의 사용.
• 청-요우의 기울기 추정을 적용하여 조화 함수에 대해 |∇f|²의 성장률을 통제하기.
• 플루리-하모닉 함수 u = log(1 + |∇f|²)의 구성 및 곡률 텐서 추정을 통한 라플라시안의 경계 설정.
• 함수 Ψ + C₁h에 최대 원리 추론을 적용하여 곡률 텐서의 국소 경계를 도출하기.
• 켈러-리치 흐름을 사용하여 곡률의 비음성 유지 및 t → 0으로의 극한 취득.
• 푸앵카레-레롱 방정식을 활용하여 리치 곡률과 플루리-하모닉 함수 u를 연결하며, 이 함수의 하향 로그 성장 조건이 주된 리우빌 정리에 의해 상수성으로 이어짐을 보임.

실험 결과

연구 질문

• RQ1 비유계 비콤팩트 켈러 다양체에서 정칙 이중곡률이 비음성인 경우, 복소다중하모닉 함수가 어떤 성장 조건을 만족할 경우 반드시 상수일 것인가?
• RQ2 선형 성장 조건을 만족하는 비상수 조화 함수의 존재는 ℝ 또는 ℂ를 인수로 갖는 곱 구조로 다양체의 분할을 암시할 수 있는가?
• RQ3 비음성 이중곡률을 가진 켈러 다양체가 평탄해지도록 하는 스칼라 곡률의 최적 감소율은 무엇인가?
• RQ4 켈러-리치 흐름 하에서 복소다중하모닉 함수의 리우빌 성질은 안정적인가?
• RQ5 더 약한 곡률 감소 조건 하에서도 푸앵카레-레롱 방정식을 풀 수 있는가? 이를 통해 평탄성을 유도할 수 있는가?

주요 결과

• 비유계 비콤팩트 켈러 다양체에서 정칙 이중곡률이 비음성인 경우, 부드러운 복소다중하모닉 함수 u는 limsup_{x→∞} u(x)/log r(x) = 0 이면 반드시 상수이다.
• 조화 함수 f가 모든 ε > 0에 대해 limsup_{x→∞} |f(x)| / r^{1+ε}(x) = 0 를 만족하면, f는 선형 성장 조건을 만족하며, M은 M̃ × ℝ로 등거리 분할된다.
• M의 기본 겹침은 복소다중하모닉이고 등거리로 M′ × ℂ로 분할되며, f가 해석적일 경우 M 자체도 M̃ × ℂ로 분할된다.
• 비유계 비콤팩트 켈러 다양체에서 정칙 이중곡률이 비음성인 경우, ∫₀ʳ s(⨍_{Bₒ(s)}ℛ(y)dy) ds = o(log r) 이면, 균일한 감소 조건 없이도 다양체는 평탄하다.
• 스칼라 곡률의 경계 ℛ(x) ≤ C(r²(x) + 1)와 평균 스칼라 곡률의 적분 조건은 푸앵카레-레롱 방정식과 리우빌 정리를 통해 평탄성을 유추하는 데 충분하다.
• 이전 연구보다 더 일반적인 조건 하에서도 결과가 성립하며, 특히 ∫₀ʳ s(⨍_{Bₒ(s)}ℛ(y)dy) ds = o(log r) 및 liminf_{r→∞} ⨍_{Bₒ(r)}ℛ²(y)dy = 0 조건이 충분하다.