[논문 리뷰] Semilinear equations, the $γ_k$ function, and generalized Gauduchon metrics

Jixiang Fu, Zhizhang Wang외 1명|arXiv (Cornell University)|2010. 10. 11.

Geometry and complex manifolds참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $ olimits_k$ 함수를 통해 일반화된 Gauduchon 계량을 도입하여, 컴act 복소다양체 위에서 $k$-th Gauduchon 계량의 존재성을 확립하기 위해 비선형 PDE를 해결한다. 임의의 헤르미트 계량에 대해, $ olimits_k$는 상수로서의 장애물이며, $ olimits_k$는 $\partial\bar{\partial}(e^v\omega^k)\wedge\omega^{n-k-1} = \gamma_k e^v \omega^n$ 를 만족하는 유일한 동형 인자 $e^v$ 가 존재함을 증명한다. 이는 Gauduchon의 고전적 결과를 비-카일러 설정으로 일반화한다.

ABSTRACT

In this paper, we generalize the Gauduchon metrics on a compact complex manifold and define the $γ_k$ functions on the space of its hermitian metrics.

연구 동기 및 목표

• 주어진 $k=n-1$ 경우를 초월하여 $\partial\bar{\partial}(\omega^k)\wedge\omega^{n-k-1}=0$ 를 만족하는 $k$-th Gauduchon 계량을 정의함으로써 Gauduchon 계량을 일반화한다.
• 주어진 헤르미트 계량의 동형 클래스 내에서 $\gamma_k$ 함수를 포함하는 비선형 PDE를 풀어 이러한 계량의 존재 문제를 해결한다.
• $\gamma_k$ 함수를 동형 불변량으로 정의하고, $k$-th Gauduchon 계량의 존재에 대한 장애를 측정하는 데 분석한다.
• 임의의 컴act 헤르미트 다양체에 대해, 유일한 $\gamma_k$와 동형 방정식 $\partial\bar{\partial}(e^v\omega^k)\wedge\omega^{n-k-1} = \gamma_k e^v \omega^n$ 의 해 $v$ 가 존재함을 증명한다. 이는 Gauduchon의 결과를 일반화한다.
• $X_\Lambda = \#_k(S^3\times S^3)$ 및 $S^5\times S^1$ 과 같은 특정 비-카일러 다양체에서 1-Gauduchon 계량의 존재를 보이며, $S^5\times S^1$ 에는 복소다양체로 동치인 초표면이 존재하므로, 복소닫힘 또는 균형 계량이 존재하지 않음을 보여준다.

제안 방법

• $\omega$ 라는 헤르미트 계량과 관련된 상수 $\gamma_k$ 를 동형 방정식 $\partial\bar{\partial}(e^v\omega^k)\wedge\omega^{n-k-1} = \gamma_k e^v \omega^n$ 을 통해 정의하는 $\gamma_k$ 함수를 도입한다.
• 형식 $\Delta v + \psi(|\nabla v|^2) + \langle B, dv \rangle = f + c$ 의 비선형 타원형 PDE로 문제를 축소하며, $\psi(t) = t$ 일 때 $\gamma_k$ 경우를 복원한다.
• 컴팩트 다양체 위의 비선형 방정식에 대한 사전 추정 및 존재 이론을 적용하며, $\mu > 1/2$ 조건을 만족하는 $\liminf_{t\to\infty} \psi(t)/t^\mu \geq \nu > 0$ 의 극한 조건을 활용한다.
• 발산 정리와 부분 적분을 사용하여 PDE의 해가 존재하기 위한 호환 조건을 유도하며, 상수 $c$ 가 유일하게 결정됨을 보장한다.
• $X_\Lambda = \#_k(S^3\times S^3)$ 와 $S^5\times S^1$ 에 대해 명시적인 헤르미트 계량 $\omega_0$ 를 구성하여 $\gamma_1$ 을 계산하고 부호를 검증한다.
• 위상적 장애물(예: 코homology의 영향, 동치인 초표면 존재)을 적용하여 $S^5\times S^1$ 에서 균형 또는 복소닫힘 계량이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 컴팩트 비-카일러 복소다양체에서 $1 \leq k \leq n-2$ 인 $k$-th Gauduchon 계량이 존재하는가?
• RQ2 주어진 헤르미트 계량의 동형 클래스 내에서 비선형 PDE의 해를 통해 이러한 계량의 존재를 보장할 수 있는가?
• RQ3 $\gamma_k$ 함수가 $k$-th Gauduchon 계량의 존재에 대한 장애물로서 동형 불변량으로서 수행하는 역할은 무엇인가?
• RQ4 명시적인 다양체 예시에서 1-Gauduchon 계량이 존재할 수 있지만 복소닫힘 또는 균형 계량이 존재하지 않는가?
• RQ5 어떤 위상적 또는 기하적 조건이 특정 컴팩트 복소다양체에서 복소닫힘 또는 균형 계량의 존재를 방해하는가?

주요 결과

• 임의의 컴팩트 $n$-차원 헤르미트 다양체와 $1 \leq k \leq n-1$ 에 대해, 유일한 상수 $\gamma_k$ 와 스무스 함수 $v$ (상수항을 제외한 유일성) 가 존재하여 $\partial\bar{\partial}(e^v\omega^k)\wedge\omega^{n-k-1} = \gamma_k e^v \omega^n$ 이 성립함을 보이며, 이는 Gauduchon의 결과를 일반화한다.
• $k = n-1$ 일 때 $\gamma_{n-1} = 0$ 이며, Gauduchon의 원래 정리로 복원된다. $\omega$ 가 카일러일 경우, 모든 $k$ 에 대해 $\gamma_k = 0$ 이다.
• $X_\Lambda = \#_k(S^3\times S^3)$ 에서 $\gamma_1 = -1$ 이므로 $-1 \in \Xi_1(X_\Lambda)$ 이며, $\Xi_1(X_\Lambda) = \{-1, 0, 1\}$ 이다. 이는 1-Gauduchon 계량의 존재를 증명한다.
• $S^5\times S^1$ 에서 $\gamma_1 < 0$ 이므로 $-1 \in \Xi_1(S^5\times S^1)$ 이며, $0 \in \Xi_1(S^5\times S^1)$ 이다. 이는 1-Gauduchon 계량의 존재를 확인한다.
• $S^5\times S^1$ 에는 복소닫힘 계량이 존재하지 않으며, $\int \partial\bar{\partial}\omega \wedge \omega_0 < 0$ 과 $\omega \wedge \pi^*\omega_{FS}^2$ 의 양성 조건을 사용한 모순을 통해 보여진다. 또한 동치인 복소다양체 초표면의 존재로 인해 균형 계량도 존재하지 않는다.
• $\gamma_k$ 함수는 동형 불변량이다: $\gamma_k$ 는 $\omega$ 의 동형 클래스에만 의존하며, $\gamma_k = 0$ 이 되는 것은 그 클래스 내에 $k$-th Gauduchon 계량이 존재하는 것과 동치이다.