[논문 리뷰] Examples of non-symmetric Kähler-Einstein toric Fano manifolds

Benjamin Nill, Andreas Paffenholz|arXiv (Cornell University)|2009. 05. 13.

Geometry and complex manifolds참고 문헌 24인용 수 15

한 줄 요약

이 논문은 차원 7과 8에서 비대칭 반사 다면체의 첫 번째 알려진 예를 제시하며, 이에 대응하는 토릭 팔로 미니멀 매니폴드가 켈러-아인슈타인 계량을 가짐을 보여, 다면체의 대칭성이 이러한 계량의 존재에 필수적이라는 오랫동안 유지되어 온 추측을 반박한다. M. Øbro의 Fano 다면체 분류와 polymake를 통한 검증을 통해, 저자들은 이러한 예를 세 개 발견한다—차원 7에서 두 개, 차원 8에서 한 개—이들에서 쌍대 다면체의 중심이 0임을 확인하여, Wang-Zhu의 기준을 충족함으로써 대칭이 없음에도 켈러-아인슈타인 계량이 존재함을 입증한다.

ABSTRACT

In this note we report on examples of 7- and 8-dimensional toric Fano manifolds that are not symmetric and still admit a Kaehler-Einstein metric. This answers a question first posed by V.V. Batyrev and E. Selivanova. The examples were found in the classification of toric Fano manifolds up to dimension 8 obtained by M. Oebro. We also discuss related open questions and conjectures.

연구 동기 및 목표

• 토릭 팔로 미니멀 매니폴드가 켈러-아인슈타인 계량을 가질 때 반사 다면체의 대칭성이 필수적인가에 대한 바티레브와 세리반로바가 제기한 오랜 질문을 해결하기 위해.
• 티안의 기준과 alpha-불변량이 토릭 설정에서 켈러-아인슈타인 계량 존재성에 미치는 역할을 조사하기 위해.
• 구체적인 계산 예를 통해 고차원에서의 추측들—예를 들어, 챈/류의 추측 3.6과 에르하르트의 추측 3.11—의 강건성을 시험하기 위해.
• 특히 차원 ≥7에서 다면체의 대칭성이 켈러-아인슈타인 조건에 필수적이지 않음을 보여주는 반례를 제공하기 위해.
• 중심이 0이지만 대칭이 아닌 다면체의 기하학적 및 조합적 의미를 탐구하기 위해, 특히 자동형군과 반대표준도수와의 관계에서.

제안 방법

• n ≤ 8인 n차원 Fano 다면체의 M. Øbro의 알고리즘 기반 분류를 활용하여 동형류의 완전한 데이터베이스를 생성하기 위해.
• polymake 소프트웨어 시스템을 사용하여 Øbro의 데이터베이스에서 포괄적인 컴퓨터 검색을 수행하였으며, 격자 다면체 계산을 위한 외부 라이브러리를 활용하였다.
• 쌍대 반사 다면체 P가 존재하고, 중심 b_P = 0이며, P가 대칭이 아닌 모든 Fano 다면체 Q를 식별하기 위해.
• 관련된 토릭 팔로 미니멀 매니폴드가 중심이 원점에 있는 조건을 충족함으로써 Wang-Zhu 기준을 만족하여 켈러-아인슈타인 계량을 가짐을 확인하기 위해.
• 각 예제의 자동형군을 분석하기 위해 정점의 합 v_Q로 생성되는 고정 공간 F_Q를 계산하기 위해.
• 구성된 예제들에 대해 조합적 추측(예: 챈/류의 추측 3.9)의 타당성을 검토하였으며, 이 중 일부는 반례를 제공하였다.

실험 결과

연구 질문

• RQ1 비특이 토릭 팔로 미니멀 매니폴드가 켈러-아인슈타인 계량을 가질 때 반사 다면체의 대칭성이 필수적인가?
• RQ2 켈러-아인슈타인 토릭 팔로 미니멀 매니폴드의 alpha-불변량이 티안의 정리의 조건을 충족하는가, 특히 비대칭 케이스에서?
• RQ3 챔과 류의 c_1^2와 c_2 클래스에 관한 부등식에 대한 추측이 고차원에서 확인되거나 반박될 수 있는가?
• RQ4 에르하르트의 추측—단일 내부 격자점과 중심이 0인 격자 다면체의 최대 부피에 관한 것—은 비대칭 다면체에 대해서도 성립하는가?
• RQ5 켈러-아인슈타인 계량을 가진 고차원 토릭 팔로 미니멀 매니폴드 중 그에 대응하는 다면체가 비대칭인 것이 존재하는가? 만약 존재한다면, 그 기하학적 및 조합적 성질은 무엇인가?

주요 결과

• 세 개의 비대칭 스무스 반사 다면체에서 중심이 0임을 발견하였다: 12개의 정점을 가진 7차원 Fano 다면체 Q₁, Q₁을 기저로 하는 이중피라미드인 8차원 다면체 Q₂, 16개의 정점을 가진 8차원 Fano 다면체 Q₃.
• 관련된 토릭 팔로 미니멀 매니폴드 X₁, X₂, X₃는 모두 그 쌍대 반사 다면체의 중심이 0이므로 Wang-Zhu 기준을 충족하여 켈러-아인슈타인 계량을 가짐을 입증하였다.
• 대칭이 없음에도 불구하고 각 예제의 자동형군은 정점의 합 v_Q로 생성되는 1차원 고정 공간을 가지며, 비자명한 대칭적 구조를 나타낸다.
• 예제들은 alpha-불변량이 티안의 정리에서 요구하는 조건을 충족하지 못함을 보여, 이 맥락에서 티안의 기준은 충분하지 않음을 시사한다.
• 반례는 중심이 0인 5차원 반사 다면체를 사용하여 구성되었으며, 이 경우 특정 인접한 면들에 대해 추측된 점 x_F가 존재하지 않았다.
• 에르하르트의 추측은 차원 8 이하의 Fano 다면체의 쌍대체들에 대해 컴퓨터적으로 검증되었으며, 이 범위에서는 타당성이 높아 보이지만 일반적으로는 열려있다.