[논문 리뷰] On the invariance of the total Monge-Ampere volume of Hermitian metrics

Ionuţ Chiose|arXiv (Cornell University)|2016. 09. 19.

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

한 줄 요약

이 논문은 알려진 결과의 역을 증명한다: 컴acts한 복소다양체 위의 헤르미트 계량이 전체 몽주-암페르 체적을 보존하는 것은 모든 $ k = 1, \dots, n-1 $ 에 대해 $ i\bar{\partial}\bar{\partial}g^k = 0 $ 를 만족할 때이고 그뿐이어야 한다. 증명은 스토크스 정리와 부드러운 시험 함수에 대한 적분을 이용하여 몽주-암페르 체적 변화의 소멸이 곡률 형식의 소멸을 이끌어내며, 이는 복소기하학에서 오랫동안 남아있던 질문을 해결하고 비교 원리(Comparison Principle)를 만족하는 계량을 특성화한다.

ABSTRACT

In this note, we describe the Hermitian metrics that leave the total Monge-Ampere volume invariant. In particular, we give several characterizations of the Hermitian metrics which satisfy the comparison principle for the complex Monge-Ampere operator

연구 동기 및 목표

• 논문 [5]의 질문 29 및 논문 [4]의 문제 11.1을 해결한다: 헤르미트 계량 하에서 전체 몽주-암페르 체적의 불변성에 대해.
• 복소 몽주-암페르 연산자에 대해 비교 원리를 만족하는 헤르미트 계량을 특성화한다.
• 기존 결과의 역을 확립한다: 전체 몽주-암페르 체적이 모든 $ g $-다중하나형 함수에 대해 보존되면, $ k = 1, \dots, n-1 $ 에 대해 $ i\partial\bar{\partial}g^k = 0 $ 이다.
• 헤르미트 계량의 맥락에서 체적 불변성, 곡률 소멸, 비교 원리 간의 완전한 동치 관계를 설정한다.

제안 방법

• 스토크스 정리를 두 번 적용하여 $ (g + \varepsilon i\partial\bar{\partial}u)^n $ 의 적분과 $ g^k \wedge (i\partial\bar{\partial}u)^{n-k} $ 의 적분을 연결한다.
• $ (g + \varepsilon i\partial\bar{\partial}u)^n $ 을 $ \varepsilon $ 에 대한 다항식으로 전개하여 $ g^k \wedge (i\partial\bar{\partial}u)^{n-k} $ 에 대한 수직 조건을 이끌어낸다.
• $ k $ 를 고정하고 임의의 부드러운 함수 $ u_1, \dots, u_{n-k} $ 를 사용하여 $ \int_X g^k \wedge i\partial\bar{\partial}u_1 \wedge \cdots \wedge i\partial\bar{\partial}u_{n-k} = 0 $ 를 유도한다.
• 다시 스토크스 정리를 적용하여 임의의 $ u_1 $ 에 대해 $ \int_X u_1 i\partial\bar{\partial}g^k \wedge i\partial\bar{\partial}u_2 \wedge \cdots \wedge i\partial\bar{\partial}u_{n-k} = 0 $ 이며, 이로부터 $ i\partial\bar{\partial}g^k \wedge i\partial\bar{\partial}u_2 \wedge \cdots \wedge i\partial\bar{\partial}u_{n-k} = 0 $ 이다.
• 국소 시험 함수 $ u_i = z_{l_i} \bar{z}_{m_i} $ 를 구성하여 $ i\partial\bar{\partial}g^k $ 의 모든 성분이 점별로 소멸함을 보여, 따라서 $ i\partial\bar{\partial}g^k = 0 $ 이다.
• [3] 및 [2] 에서 알려진 결과를 바탕으로 체적 불변성, 곡률 소멸, 비교 원리 간의 동치 관계를 확립한다.

실험 결과

연구 질문

• RQ1 모든 $ g $-다중하나형 함수에 대해 전체 몽주-암페르 체적의 불변성이 $ k = 1, \dots, n-1 $ 에 대해 $ i\partial\bar{\partial}g^k = 0 $ 을 암시하는가?
• RQ2 복소 몽주-암페르 연산자에 대해 비교 원리를 만족하는 헤르미트 계량의 정확한 특성은 무엇인가?
• RQ3 모든 $ u \in PSH(X,g) $ 에 대해 $ \int_X (g + i\partial\bar{\partial}u)^n = \int_X g^n $ 이라는 조건이 곡률 형식의 소멸을 특성화하는 데 사용될 수 있는가?
• RQ4 비교 원리는 $ k = 1, \dots, n-1 $ 에 대해 $ i\partial\bar{\partial}g^k $ 의 소멸과 동치인가?
• RQ5 이러한 곡률 소멸이 컴팩트한 복소다양체 위에 미치는 기하학적 및 코homological 결과는 무엇인가?

주요 결과

• 논문은 컴팩트한 복소다양체 위의 헤르미트 계량 $ g $ 가 모든 $ u \in PSH(X,g) $ 에 대해 $ \int_X (g + i\partial\bar{\partial}u)^n = \int_X g^n $ 를 만족할 때이고 그뿐이어야 한다는 것을 증명하며, 오랫동안 남아있던 질문을 해결한다.
• 체적 불변성과 $ i\partial\bar{\partial}g^k $ 의 소멸 간의 동치 관계는 부분 적분과 임의의 부드러운 시험 함수의 사용을 통해 확립된다.
• 정리 0.2의 조건 (v)인 비교 원리가 $ i\partial\bar{\partial}g^k $ 의 소멸과 동치임을 보여, 이는 복소포텐셜 이론에서 중심적인 역할을 한다.
• $ i\partial\bar{\partial}g = 0 $ 과 $ i\partial g \wedge \bar{\partial}g = 0 $ 이라는 조건이 체적 불변성과 비교 원리와 동치임을 보였으며, 카이러 또는 고도쉬론 조건을 가정하지 않더라도 성립한다.
• 직접 증명을 제시하여 $ i\partial\bar{\partial}g \geq 0 $ 과 $ i\partial g \wedge \bar{\partial}g \geq 0 $ 이면 두 형식 모두 소멸해야 한다는 것을 보이며, 항등식 $ d(ig^{n-2} \wedge \bar{\partial}g) = (n-2)g^{n-3} \wedge i\partial g \wedge \bar{\partial}g + g^{n-2} \wedge i\partial\bar{\partial}g $ 과 스토크스 정리를 이용한다.
• 논문은 이러한 계량을 가진 비카이러 다양체의 예를 구성한다. 예를 들어, 비카이러 표면 위의 고도쉬론 계량과 카이러 다양체의 곱을 포함하며, 이는 이러한 계량의 집합이 비자명하다는 것을 보여준다.