[논문 리뷰] Matrix Factorizations and Representations of Quivers I

Atsushi Takahashi|ArXiv.org|2005. 06. 17.

Algebraic structures and combinatorial models참고 문헌 19인용 수 38

한 줄 요약

이 논문은 $ℚ$-중심 $A_\infty$-분류와 날개 복합체를 사용하여 $x^{n+1}$의 ADE 특이성에 대한 행렬 분해의 유도 범주와 다이킨 퀼리 $A_n$의 표현의 유도 범주 사이의 동치를 수립한다. 이 범주에 특별한 안정성 조건을 구축하여 안정성 조건 공간의 원점에 대응시키며, K. 사이토의 일반화된 루트 체계에 대한 조합론적 프레임워크를 제공한다.

ABSTRACT

This paper introduces a mathematical definition of the category of D-branes in Landau-Ginzburg orbifolds in terms of $A_\infty$-categories. Our categories coincide with the categories of (graded) matrix factorizations for quasi-homogeneous polynomials. After setting up the necessary definitions, we prove that our category for the polynomial $x^{n+1}$ is equivalent to the derived category of representations of the Dynkin quiver of type $A_{n}$. We also construct a special stability condition for the triangulated category in the sense of T. Bridgeland, which should be the "origin" of the space of stability conditions.

연구 동기 및 목표

• 랜드-긴츠부르크 오르비폴드에서 D-브레인을 위한 $A_\infty$-범주적 프레임워크를 $ℚ$-중심 분류를 사용하여 개발하기 위해.
• 준-동차 다항식의 행렬 분해의 유도 범주를 퀄리 표현의 유도 범주와 연결하기 위해.
• 호모로지 데이터를 회피하고 정규 무게 체계에서 일반화된 루트 체계를 조합론적으로 구성하기 위해.
• 행렬 분해의 유도 범주에 대해 특별한 안정성 조건을 구축하여 안정성 조건 공간의 원점에 대응시키기 위해.

제안 방법

• 준-동차 다항식 $f$에 대해 $ℚ$-중심 $A_\infty$-범주 $χ_f$를 정의하기 위해 $ℚ$-중심 $A_\infty$-범주에 추가로 $\frac{2}{h}\u2124$-중심을 도입한다.
• $χ_f$ 위의 날개 복합체 범주를 구성하며, 이는 $f$의 행렬 분해와 동치임을 보인다.
• 준-동차 차수에서 유래하는 $ℤ$-작용을 포함하기 위해 $ℤ$-등급 유도 범주 $D^b_{\u2124}(\u03c7_f)$를 정의한다.
• 유도 범주 $D^b_{\u2124}(\u03c7_f)$의 대상에 대해 대각 행렬의 중심 이동을 기반으로 단위 각도 함수 $\phi_\alpha$를 정의한다.
• 근의 단위를 사용하여 중심 질량 사상 $Z_\omega: K_0(D^b_{\u2124}(\u03c7_f)) \to \u2102$를 정의하고, $Z_\omega$와 단위 각도 함수가 브리지갈란드의 안정성 조건 공리계를 충족함을 증명한다.

실험 결과

연구 질문

• RQ1 행렬 분해의 유도 범주 $D^b_{\u2124}(\u03c7_f)$가 $f = x^{n+1}$일 때 다이킨 퀄리 $A_n$의 표현의 유도 범주로 표현될 수 있는가?
• RQ2 $\u2124$-등급 유도 범주 $D^b_{\u2124}(\u03c7_f)$는 유도 범주를 생성하는 강력한 예외적 집합을 갖는가?
• RQ3 $D^b_{\u2124}(\u03c7_f)$에 대해 중심 질량과 단위 각도 함수가 브리지갈란드의 공리를 충족하는 안정성 조건을 구성할 수 있는가?
• RQ4 $K_0(D^b_{\u2124}(\u03c7_f^*))$의 격자와 그 교차 형식이 밀놀러 격자 $(H_2(X_1,\u2124), -I)$와 동형인가?
• RQ5 구축된 안정성 조건이 반사 대칭 하에서 일반화된 편의 공간의 기저 공간의 원점에 대응하는가?

주요 결과

• 다항식 $f = x^{n+1}$에 대해 유도 범주 $D^b_{\u2124}(\u03c7_f)$는 다이킨 퀄리 $A_n$의 표현의 유도 범주와 동치이며, 행렬 분해와 퀄리 표현 사이의 직접적인 연결 고리를 확립한다.
• $D^b_{\u2124}(\u03c7_f)$는 $h(h-1)$개의 객체로 이루어진 강력한 예외적 집합을 가지며, 서로 다른 객체들 사이의 고차 호모로지 사상이 0이 된다.
• 중심 질량 $Z_\omega$와 단위 각도 함수 $\phi_\alpha$를 통해 $D^b_{\u2124}(\u03c7_f)$에 대해 안정성 조건을 구성하였으며, 이는 모두 브리지갈란드의 안정성 조건 공리를 충족한다.
• 중심 질량은 $Z_\omega([M_{l,i}]) = 2\sin(\frac{l}{h}\pi) \cdot e^{\pi\sqrt{-1}\phi_{M_{l,i}}}$를 만족하며, 이는 단위 각도와 밀놀러 원형의 양자 주기 사이의 연결 고리를 제공한다.
• 유도 범주 $D^b_{\u2124}(\u03c7_f^*)$에서의 세르 함수는 $S^h \simeq [3h - 2a^* - 2b^* - 2c^*]$를 만족하며, 기대되는 단조비행 행동과 일치한다.
• $K_0(D^b_{\u2124}(\u03c7_f^*))$의 격자와 그 교차 형식은 밀놀러 격자 $(H_2(X_1,\u2124), -I)$와 동형이며, 추측된 격자 동형성의 확인을 완료한다.