[논문 리뷰] Weighted Projective Lines Associated to Regular Systems of Weights of Dual Type

Atsushi Takahashi|ArXiv.org|2007. 11. 25.

Algebraic structures and combinatorial models참고 문헌 7인용 수 14

한 줄 요약

이 논문은 이중 유형(regular systems of weights of dual type)에 관련된 두 가지 가중 프로젝티브 선에 대한 계량층의 아벨 범주 간의 동치를 수립한다: 하나는 초면적 특이점에 의한 것이고, 다른 하나는 Geigle–Lenzing의 서명 구축에 의한 것이다. 핵심 결과는 이러한 체계에 대해 두 스택 위의 계량층의 유도 범주가 동치임을 보여주며, 이는 그라디에이션 특이성 범주에 전형적인 예외적 집합의 존재를 암시한다. 이는 호모로지적 미러 대칭의 기대를 지지한다.

ABSTRACT

We associate to a regular system of weights a weighted projective line over an algebraically closed field of characteristic zero in two different ways. One is defined as a quotient stack via a hypersurface singularity for a regular system of weights and the other is defined via the signature of the same regular system of weights. The main result in this paper is that if a regular system of weights is of dual type then these two weighted projective lines have equivalent abelian categories of coherent sheaves. As a corollary, we can show that the triangulated categories of the graded singularity associated to a regular system of weights has a full exceptional collection, which is expected from homological mirror symmetries. Main theorem of this paper will be generalized to more general one, to the case when a regular system of weights is of genus zero, which will be given in the joint paper with Kajiura and Saito. Since we need more detailed study of regular systems of weights and some knowledge of algebraic geometry of Deligne--Mumford stacks there, the author write a part of the result in this paper to which another simple proof based on the idea by Geigle--Lenzing can be applied.

연구 동기 및 목표

• 정규 체계의 가중치에 관련된 두 가지 기하적 구축 방식에 의한 가중 프로젝티브 선의 계량층 범주 간의 동치를 수립하기 위해.
• 초면적 특이점에서 유도된 몫 스택과 Geigle–Lenzing의 서명 구축에 의한 스택 간의 관계를 조사하기 위해.
• 그라디에이션 특이성 범주 $D^{gr}_{Sg}(R_W)$ 가 이러한 체계에 대해 전형적인 예외적 집합을 포함함을 보여주기 위해.
• 가중 동차 특이점의 맥락에서 호모로지적 미러 대칭 추측에 대한 증거를 제공하기 위해.
• 이전의 ADE 및 εW = -1 특이점 연구를 확장하여 이중 유형의 경우에 대해 예외적 집합 결과를 일반화하기 위해.

제안 방법

• 정규 체계의 가중치에 관련된 가중 동차 다항식에 의해 정의된 초면적 특이점으로부터 가중 프로젝티브 선을 몫 스택으로 구성한다.
• 체계의 서명을 이용하여 기하학적 방법으로 두 번째 가중 프로젝티브 선을 정의한다. 이는 그라디에이션 링과 $r-2$ 개의 동차 다항식들로 생성된 이상으로 구성된다.
• 최대 그라디에이션 군과 동차 좌표 링의 구조를 이용하여 두 구축 방식을 비교한다.
• 다섯 가지 유형(I–V)의 명시적 자료를 포함한 이중 유형 정규 체계의 불변량을 적용하여 동치를 검증한다.
• Deligne–Mumford 스택의 대수기하학 및 그라디에이션 특이성 범주의 기법을 활용한다.
• Orlov의 결과를 활용하여 아벨 범주 간의 동치로부터 그라디에이션 특이성 범주에 전형적인 예외적 집합의 존재를 유도한다.

실험 결과

연구 질문

• RQ1 초면적 특이점과 서명을 통한 두 가중 프로젝티브 선의 구축 방식이 이중 유형의 정규 체계에 대해 동치인 계량층 범주를 유도하는가?
• RQ2 이러한 체계에 관련된 그라디에이션 특이성 범주의 삼각 범주가 전형적인 예외적 집합을 포함할 수 있는가?
• RQ3 계량층 범주 간의 동치가 이러한 특이점에 대한 호모로지적 미러 대칭 추측을 지지하는가?
• RQ4 이중 유형의 정규 체계의 불변량(예: 유형 I–V)이 두 가중 프로젝티브 선의 구축과 비교에 어떻게 기여하는가?
• RQ5 특히 종수 0의 경우에서, 정규 체계의 쌍대성에 대해 범주 간의 동치가 안정적인가?

주요 결과

• 이중 유형의 정규 체계에 대해 초면적 특이점에 의한 방식과 서명에 의한 방식으로 정의된 두 가중 프로젝티브 선 위의 계량층 아벨 범주 간에 동치가 존재한다.
• 이 동치는 그라디에이션 특이성 범주 $D^{gr}_{Sg}(R_W)$ 가 크기 $ u_{W^*}$ 의 전형적인 예외적 집합을 포함함을 암시하며, 이는 정리 6.3에 명시되어 있다.
• 결과는 호모로지적 미러 대칭 추측을 지지한다. 가중 프로젝티브 선 위의 계량층의 유도 범주는 이중 특이점의 유도 파이카 범주와 삼각 동치일 것으로 기대되기 때문이다.
• 주요 정리는 이후의 연구 [KST3] 에서 종수 0의 정규 체계로 일반화되어 있으며, 더 넓은 적용 가능성을 보여준다.
• 부록에 이중 유형의 다섯 가지 유형(I–V)에 대한 명시적 자료가 포함되어 있으며, 이는 가중치, 이중 가중치, 서명, 정의 다항식을 포함한다.
• 최대 그라디에이션 군 $L_{f_W}$ 의 구성은 $D^{L_{f_W}}_{Sg}(R_W)$ 에 대해 정밀한 호모로지적 미러 대칭 추측을 수립하는 데 기여한다. 특별한 경우 $L_{f_W} = bZ$ 는 표준 그라디에이션에 대응한다.