[논문 리뷰] Mirror symmetry between orbifold curves and cusp singularities with group action

Wolfgang Ebeling, Atsushi Takahashi|arXiv (Cornell University)|2011. 03. 28.

Algebraic structures and combinatorial models참고 문헌 16인용 수 3

한 줄 요약

이 논문은 유한 대칭군을 가진 가역 다항식으로 정의된 궤도 곡선과 군 작용이 있는 정점 특이점 사이의 미러 대칭 대응을 수립하며, 궤도 곡선의 도르가체프 수가 거울 정점 특이점의 가브리엘로프 수와 일치하고, 곡선의 스트링 이오러 수치가 거울 특이점의 G^T-동차 미뉴르 수와 같음을 보여준다.

ABSTRACT

We consider an orbifold Landau-Ginzburg model $(f,G)$, where $f$ is an invertible polynomial in three variables and $G$ a finite group of symmetries of $f$ containing the exponential grading operator, and its Berglund-Hübsch transpose $(f^T, G^T)$. We show that this defines a mirror symmetry between orbifold curves and cusp singularities with group action. We define Dolgachev numbers for the orbifold curves and Gabrielov numbers for the cusp singularities with group action. We show that these numbers are the same and that the stringy Euler number of the orbifold curve coincides with the $G^T$-equivariant Milnor number of the mirror cusp singularity.

연구 동기 및 목표

• 궤도 곡선과 군 작용이 있는 정점 특이점의 설정으로 호모로지적 미러 대칭을 일반화하기 위해.
• 궤도 곡선에 대한 도르가체프 수와 군 작용이 있는 정점 특이점에 대한 가브리엘로프 수를 정의하고 계산하여, 미러 대칭 하에서의 불변량을 도출하기 위해.
• 궤도 곡선의 스트링 이오러 수치가 거울 정점 특이점의 G^T-동차 미뉴르 수와 일치하는지 확인하기 위해.
• 아를드의 이상한 이중성과 세이델의 예를 제안된 미러 대칭의 특수한 경우로 복원하기 위해.
• Poincaré 시리즈 (f, G₀)가 쌍대 쌍 (f^T, G₀^T)과 (F, G₀^T)의 특성 다항식의 몫으로 표현될 수 있는 조건을 규명하기 위해.

제안 방법

• 가역 다항식 f의 영점의 집합을 확장된 군 G̃ = ℂ^* ⋊ G로 나눈 몫으로 궤도 곡선 C_{(f,G)}를 정의한다.
• 거울 정점 특이점 F(x,y,z) = x^{γ′₁} + y^{γ′₂} + z^{γ′₃} - xyz를 구성하며, 이는 f^T - xyz와 right equivalent하다.
• 베르글란드-후브슈 전치 (f^T, G^T)를 사용하여 거울 쌍을 정의한다.
• 궤도 곡선의 특이점에서의 동치군의 순서로 도르가체프 수를 정의한다.
• F의 미뉴르 면에 대한 G^T-작용을 통해 가브리엘로프 수를 정의하며, 특이점의 동차 위상수학적 성질을 캡처한다.
• 반정렬 분해와 궤도 카테고리 구성 기법을 적용하여 코herent sheaf의 유도 카테고리와 푸카야 카테고리 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 궤도 곡선의 도르가체프 수는 거울 정점 특이점의 군 작용이 있는 가브리엘로프 수와 어떻게 관련이 있는가?
• RQ2 궤도 곡선의 스트링 이오러 수치는 거울 정점 특이점의 G^T-동차 미뉴르 수와 같은가?
• RQ3 아를드의 이상한 이중성과 세이델의 예는 이 미러 대칭 프레임워크의 특수한 경우로 복원될 수 있는가?
• RQ4 Poincaré 시리즈 (f, G₀)가 쌍대 쌍의 특성 다항식의 몫으로 표현될 수 있는 조건은 무엇인가?
• RQ5 궤도 곡선의 종수와 G^T의 연령 1 고정점의 기하학적·위상적 대응은 무엇인가?

주요 결과

• 궤도 곡선 C_{(f,G)}의 도르가체프 수는 거울 정점 특이점 (F, G^T)의 가브리엘로프 수와 정확히 일치한다.
• C_{(f,G)}의 스트링 이오러 수치는 F로 정의된 정점 특이점의 G^T-동차 미뉴르 수와 같다.
• 궤도 곡선 C_{(f,G)}의 종수는 G^T에서 원점을 유일하게 고정하는 연령 1 원소의 수와 같다.
• G = G₀일 경우, (f, G₀)의 Poincaré 시리즈는 (f^T, G₀^T)와 (F, G₀^T)의 특성 다항식의 몫으로 표현 가능하다.
• G = G_f^{fin}일 경우, 최대 대칭군이 되며, 거울은 군 작용이 없는 T_{2,3,6} 정점 특이점이 되며, 이는 Ebeling-Takahashi의 결과를 복원한다.
• f(x,y,z) = x^5 + y^5 + z^5와 G₀ = ℤ/5ℤ의 경우, 종수 2인 곡선이 얻어지며, 도르가체프 수는 (5,5,5)이며, 이는 x^5 + y^5 + z^5 - xyz로 정의된 정점 특이점과 이중성을 이루며, 세이델의 예를 복원한다.