[논문 리뷰] Non-linear Hopf manifolds are locally conformally Kahler

Liviu Ornea, Misha Verbitsky|arXiv (Cornell University)|2022. 02. 24.

Geometry and complex manifolds인용 수 5

한 줄 요약

이 논문은 비선형 허프 맨포일드—0을 제외한 $\mathbb{C}^n\setminus 0$ 의 비선형 허브로 미분 가능한 해석적 수축에 의한 몫—가 잠재력을 지닌 국소적으로 컨formal Kähler (LCK) 메트릭을 가짐을 증명한다. 저자들은 이러한 맨포일드를 선형 허프 맨포일드에 임bedding하는 방법을 제시하며, 리에즈-쇼아우더 정리와 유한차원 $\gamma$-불변 부분공간과 같은 함수해석학적 도구를 활용함으로써, 링크된 선형 설정으로부터 LCK 구조를 물려받는다.

ABSTRACT

A Hopf manifold is a quotient of $C^n\backslash 0$ by the cyclic group generated by a holomorphic contraction. Hopf manifolds are diffeomorphic to $S^1 imes S^{2n-1}$ and hence do not admit Kahler metrics. It is known that Hopf manifolds defined by linear contractions (called linear Hopf manifolds) have locally conformally Kahler (LCK) metrics. In this paper we prove that the Hopf manifolds defined by non-linear holomorphic contractions admit holomorphic embeddings into linear Hopf manifolds, and, moreover they admit LCK metrics.

연구 동기 및 목표

• 비선형 허프 맨포일드가 잠재력을 지닌 국소적으로 컨포멀 Kähler (LCK) 메트릭을 가질 수 있는지에 대한 열린 문제를 해결하기 위해.
• 선형 허프 맨포일드가 잠재력을 지닌 LCK임을 알고 있는 결과를 비선형 경우로 확장하기 위해.
• 해석적 수축 이론을 활용하여 비선형 허프 맨포일드를 선형 허프 맨포일드에 대한 일반적인 임베딩 정리를 수립하기 위해.
• 포incare 정규형에 의존하지 않고, 비선형 허프 맨포일드에 대한 LCK 구조의 개념적이고 구축 가능한 증명을 제공하기 위해.
• LCK 메트릭이 잠재력을 지닐 때, 선형 허프 맨포일드에 대한 해석적 임베딩을 통해 LCK 성질이 유지되는지 보여주기 위해.

제안 방법

• 스테인 다양체에서 고립된 특이점을 지닌 해석적 함수 공간에서 $F$-유한 벡터를 분석하기 위해 리에즈-쇼아우더 정리와 정규 가족 이론을 사용한다.
• $\gamma$-유한 해석적 함수의 공간이 $\langle \gamma \rangle$ 작용에 대한 전compact 기본영역에서 $C^0$ 위상에서 조밀함을 증명한다.
• $\gamma$-유한 함수들에 의해 생성되는 유한차원 $\gamma^*$-불변 부분공간 $W \subset H^0(V, \mathcal{O}_V)$ 를 구성하며, 이에 대응하는 사상 $\Psi: V \to W \cong \mathbb{C}^N$ 가 닫힌 해석적 임베딩이 되도록 보장한다.
• $\gamma$ 및 $\gamma^*$에 대한 $\Psi$ 의 등변성(-equivariance)을 보여주는 가환다이어그램을 구성함으로써 몫 구조를 가능하게 한다.
• 몫을 취하여 해석적 임베딩 $\frac{V\setminus x}{\langle \gamma \rangle} \hookrightarrow \frac{W\setminus 0}{\langle \gamma^* \rangle}$ 를 얻으며, 여기서 목적지가 선형 허프 맨포일드임을 확인한다.
• 기존에 알려진 결과인 선형 허프 맨포일드가 잠재력을 지닌 LCK 메트릭을 가짐을 적용하고, LCK 메트릭이 잠재력을 지닌 다양체의 닫힌 부분다양체 역시 잠재력을 지닌 LCK임을 이용한다.

실험 결과

연구 질문

• RQ1 비선형 허프 맨포일드—비선형 해석적 수축에 의해 정의되는—는 국소적으로 컨포멀 Kähler 메트릭을 잠재력과 함께 가질 수 있는가?
• RQ2 비선형 허프 맨포일드는 선형 허프 맨포일드에 해석적으로 임베딩될 수 있는가?
• RQ3 잠재력을 지닌 LCK 성질은 선형 허프 맨포일드에 대한 해석적 임베딩을 통해 유지되는가?
• RQ4 비선형 수축에 대해 $\gamma$-유한 해석적 함수의 함수해석학적 구조를 사용하여 이러한 임베딩을 구성할 수 있는가?
• RQ5 고차원에서 비선형 수축에 대해 Poincaré 정규형이 존재하지 않음이 LCK 메트릭의 구성에 장애가 되는가?

주요 결과

• 비선형 허프 맨포일드—비선형 해석적 수축 $\gamma$ 에 의한 몫 $({\mathbb{C}}^n\setminus 0)/\langle \gamma \rangle$ 로 정의됨—는 잠재력을 지닌 국소적으로 컨포멀 Kähler (LCK) 메트릭을 가짐을 입증한다.
• 모든 이러한 비선형 허프 맨포일드는 특정한 $N$ 에 대해 $({\mathbb{C}}^N\setminus 0)/\langle \gamma^* \rangle$ 에 해석적 임베딩을 가짐을 보여준다.
• 이 구성은 전compact 기본영역에서 $\gamma$-유한 해석적 함수의 밀도에 기반하며, 이는 유한차원 $\gamma^*$-불변 부분공간의 존재를 보장한다.
• 결과로 얻어진 임베딩은 닫혀 있고 $\gamma$-등변성(-equivariant)이므로, 몫이 링크된 선형 허프 맨포일드의 LCK 구조를 물려받을 수 있다.
• 선형 허프 맨포일드가 잠재력을 지닌 LCK 메트릭을 가짐을 알고 있으며, LCK 메트릭이 잠재력을 지닌 다양체의 닫힌 부분다양체 역시 잠재력을 지닌 LCK임을 고려하면, 비선형 허프 맨포일드 역시 이러한 구조를 물려받는다.
• 이 결과는 일반적으로 스테인 완비화 문제로 인해 차원 제한 $\geq 3$ 이 필요한 LCK 다양체에 대해, $\mathbb{C}^n\setminus 0$ 커버가 이미 스테인 완비화 $\mathbb{C}^n$ 를 가지므로, 모든 복소차원 $n \geq 2$ 에서 성립한다.