[논문 리뷰] A characterisation of toric LCK manifolds

Nicolina Istrati|arXiv (Cornell University)|2016. 12. 12.

Geometry and complex manifolds참고 문헌 7인용 수 8

한 줄 요약

이 논문은 Kähler가 아닌 모든 컴팩트 토릭 국소적으로 동형 Kähler (LCK) 다양체가 토릭 Vaisman 구조를 가짐을 증명하며, 컴팩트 토릭 LCK 다양체의 분류를 완성한다. 증명은 평균화를 통한 새로운 LCK 형식의 구성으로, 호환성과 동형 불변성을 확보하고, 호환성과 동형 불변성을 확보하며, conformal class 내에서 Vaisman 계량을 명시적으로 실현한다. 또한 이러한 다양체들이 그의 기본 커버가 Kähler 콘인 컴팩트 토릭 Sasaki 다양체와 대응됨을 보여주며, 이를 통해 분류를 완성한다.

ABSTRACT

We prove that a compact toric locally conformally Kähler manifold which is not Kähler admits a toric Vaisman structure, a fact which was conjectured in \cite{mmp}. This is the final step leading to the classification of compact toric locally conformally Kähler manifolds started in \cite{p} and \cite{mmp}. We also show, by constructing an example, that unlike in the symplectic case, toric locally conformally symplectic manifolds are not necessarily toric locally conformally Kähler.

연구 동기 및 목표

• 컴팩트 비-Kähler 토릭 LCK 다양체가 토릭 Vaisman 구조를 가짐을 증명하는 추측을 해결한다.
• 그들의 기본 커버의 기하학을 이용하여 컴팩트 토릭 LCK 다양체의 분류를 완성한다.
• 토릭 국소적으로 동형 심플렉틱 (LCS) 다양체가 반드시 토릭 LCK가 아니라는 점을 보여주며, 심플렉틱 경우와 대비한다.

제안 방법

• LCK 다양체 위의 헬로모르픽 토르스 작용을 그의 최소 Kähler 커버 위의 복소화된 토르스로 확장한다.
• 기본 커버의 덱 그룹을 복소화된 토르스의 부분군으로 식별하고, 이를 일차원 부분군으로 확장한다.
• 평균화를 통한 새로운 LCK 형식을 구성하여 토르스 작용과 동형 불변성에 대한 호환성을 확보한다.
• 적절한 함수를 정의하고 Vaisman 조건을 만족함을 보여, conformal class 내에서 Vaisman 계량을 명시적으로 구성한다.
• 홀로모르픽 동형 벡터장 B와 JB의 존재를 이용하여 리우 형식과 그 성질을 통해 Vaisman 구조를 유도한다.
• 특히 Lerman의 분류 결과를 응용하여, 토릭 LCK 구조가 컴팩트 토릭 Sasaki 다양체와 연결됨을 보인다.

실험 결과

연구 질문

• RQ1 Kähler가 아닌 모든 컴팩트 토릭 LCK 다양체가 토릭 Vaisman 구조를 가질까?
• RQ2 그들의 기본 커버의 기하학을 이용하여 컴팩트 토릭 LCK 다양체의 분류를 완성할 수 있을까?
• RQ3 심플렉틱 경우와 마찬가지로, 토릭 LCS 다양체의 범주가 토릭 LCK 다양체의 범주보다 엄밀히 큰가?
• RQ4 토릭 LCS 다양체가 어떤 LCK 구조도 가질 수 없을 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 일이 발생하는가?
• RQ5 토릭 LCK 다양체의 첫 번째 베티 수와 그 기하학적 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• Kähler가 아닌 모든 컴팩트 토릭 LCK 다양체는 토릭 Vaisman 구조를 가짐을 확인하여, [12]에서의 추측을 확인한다.
• 이러한 다양체의 기본 커버는 컴팩트 토릭 Sasaki 다양체 위의 Kähler 콘이며, 이를 통해 기하학적 대응 관계를 확립한다.
• 컴팩트 토릭 LCK 다양체의 첫 번째 베티 수는 Kähler가 아니면 1이며, Kähler이면 0임을 『Corollary 5.4』에서 보였다.
• 반례를 구성하여 토릭 LCS 다양체가 반드시 토릭 LCK가 아니라는 점을 보였으며, 그 예시 다양체에서 b₁(M) = 4이다.
• 홀로모르픽 동형 벡터장 B와 JB의 존재는 conformal class 내에 Vaisman 계량이 존재함을 시사하며, 이를 명시적으로 구성한다.