[논문 리뷰] Homological Mirror Symmetry and Simple Elliptic Singularities

Kazushi Ueda|ArXiv.org|2006. 04. 17.

Algebraic structures and combinatorial models참고 문헌 25인용 수 21

한 줄 요약

이 논문은 페르마형 초표면 특이점에 대한 삼각형 특이성 카테고리에서 완전한 예외적 집합을 구성하며, 호모로지 거울 대칭과 단순 타원 특이점 사이의 연결 고리를 설정한다. 이는 이러한 특이점에 대한 방향성 푸카비 카테고리의 유도 범주가 계수 1의 가중 프로젝티브 선 위의 코herent sheaf의 유도 범주와 동치임을 보여주며, 타원 루트 체계를 통한 밀놀러 래티스의 분류화를 제공한다.

ABSTRACT

We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.

연구 동기 및 목표

• 페르마형 초표면 특이점에 대한 삼각형 특이성 카테고리에서 완전한 예외적 집합을 구성한다.
• 호모로지 거울 대칭과 단순 타원 특이점 사이의 관계를 탐색한다.
• 단순 타원 특이점의 방향성 푸카비 카테고리와 계수 1의 가중 프로젝티브 선 위의 코herent sheaf의 유도 범주 사이의 유도 동치를 확립한다.
• 타원 루트 체계와 유도 카테고리들을 통한 단순 타원 특이점의 밀놀러 래티스의 분류화를 수행한다.
• 타원 리 대수와 린겔–홀 대수를 통해 단순 특이점에서 단순 타원 특이점으로 특이점과 리 대수 간의 연결 고리를 일반화한다.

제안 방법

• 일변수 다항식 $W_p$의 차수 $p$에 대해 방향성 푸카비 카테고리 $\mathfrak{Fuk}^{\rightarrow}W_p$를 구성하며, 사상은 차수 0과 1에 집중된다.
• 다변수 다항식 $W_{p_0,\dots,p_n} = \sum W_{p_i}(X_i)$를 정의하여 정확한 레프슈츠 필베이션과 방향성 푸카비 카테고리 $\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n}$를 유도한다.
• 유도 범주 $D^b(\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n})$가 $\mathfrak{Fuk}^{\rightarrow}W_{p_i}$의 유도 범주의 텐서곱과 동치임을 추측한다. 이는 $n=1$일 때는 알려져 있다.
• $L$-중량을 가진 $A$-모듈러와 $G$-등변 구조를 사용하여 특이성 카테고리 $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$를 분석한다. 여기서 $A = k[x,y,z]/(x^{p_0}+y^{p_1}+z^{p_2})$이다.
• 모든 $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$의 대상이 $k(\vec{m})$ ($\vec{m} \in L$)에 의해 생성됨을 보이며, 이는 군 $G_0 = (\mathbb{Z}/p_0\mathbb{Z}) \times (\mathbb{Z}/p_1\mathbb{Z}) \times (\mathbb{Z}/p_2\mathbb{Z})$의 불변량과 국소화를 통해 이루어진다.
• 모든 $k(\vec{m})$이 이 집합 $\{k(\vec{n})\}_{\vec{n} \in I}$로부터 콘과 이동을 통해 얻어짐을 보여, $\{k(\vec{n})\}_{\vec{n} \in I}$가 완전한 예외적 집합임을 증명한다.

실험 결과

연구 질문

• RQ1 페르마형 초표면 특이점에 대한 삼각형 특이성 카테고리에서 완전한 예외적 집합을 구성할 수 있는가?
• RQ2 단순 타원 특이점의 방향성 푸카비 카테고리와 계수 1의 가중 프로젝티브 선 위의 코herent sheaf의 유도 범주 사이에 유도 동치가 존재하는가?
• RQ3 단순 타원 특이점의 밀놀러 래티스는 타원 루트 체계와 유도 카테고리들을 통해 어떻게 분류화되는가?
• RQ4 계수 1의 가중 프로젝티브 선 위의 코herent sheaf의 린겔–홀 대수는 어떤 정도로 타원 리 대수의 양의 부분을 실현하는가?
• RQ5 유도 범주인 방향성 푸카비 카테고리의 유도 범주를 통해 밀놀러 래티스의 분류화를 달성할 수 있는가?

주요 결과

• 페르마형 초표면 특이점 $x^{p_0} + y^{p_1} + z^{p_2} = 0$에 대한 삼각형 특이성 카테고리에서 완전한 예외적 집합이 구성되었다.
• 유도 범주 $D^b(\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n})$는 $\mathfrak{Fuk}^{\rightarrow}W_{p_i}$의 유도 범주의 텐서곱과 동치임을 추측하며, 이는 $n=1$일 때는 이미 알려져 있다.
• $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$는 $L$-중량 모듈러로 구성되며, 원점에 지지된 $k(\vec{m})$ ($\vec{m} \in L$)에 의해 생성되며, 완전 복합체를 제외한 나머지에 대해 성립한다.
• 모든 $L$-중량 간단 모듈러 $k(\vec{n})$은 유한 집합 $\{k(\vec{n})\}_{\vec{n} \in I}$로부터 콘과 이동을 통해 얻어지며, 이는 예외적 집합의 완전성을 증명한다.
• 이 구성은 단순 타원 특이점의 밀놀러 래티스와 계수 1의 가중 프로젝티브 선 위의 코herent sheaf의 유도 범주의 그로텐디에크 군 사이의 연결 고리를 설정한다.
• 결과는 밀놀러 래티스와 관련된 타원 루트 체계의 분류화를 지지하며, $\mathfrak{g}[s,s^{-1},t,t^{-1}]$의 보편 중심 확장의 구조와 일치한다.