[논문 리뷰] Relative singularity categories II: DG models

Martin Kalck, Dong Yang|arXiv (Cornell University)|2018. 03. 22.

Algebraic structures and combinatorial models참고 문헌 27인용 수 17

한 줄 요약

이 논문은 평탄성과 유한 전반 차원 조건 하에서 상대 특이성 분류와 미분 가환 대수(dg algebra)의 완전한 유도 분류 사이의 유도 동치를 확립한다. 이는 화살표 축소를 통해 상대 특이성 분류의 명시적 dg 모델을 구축하고, 루트 제곱이 0인 대수, 비가환 클라인 특이성, $SL_3(\mathbb{C})$-몫 특이성, 과르진스타인 토릭 3차원 다양체의 특이성 분류를 분류하는 데 응용하여, 이들이 일반화된 클러스터 분류 또는 안정 Ginzburg 분류와 삼각 동치임을 보여준다.

ABSTRACT

We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which are known or generalise known results, on singularity categories of algebras with radical square zero, of non-commutative deformations of Kleinian singularities, of $SL_3(\mathbb{C})$-quotient singularities and of Gorenstein toric threefolds.

연구 동기 및 목표

• 상대 특이성 분류와 dg 대수의 완전한 유도 분류 사이의 유도 동치를 확립하기 위해.
• 화살표 축소와 보편 국소화를 이용하여 상대 특이성 분류의 명시적 dg 모델을 구축하기 위해.
• 루트 제곱이 0인 대수, 비가환 클라인 특이성, 3차 몫 특이성의 특이성 분류에 대한 기존 결과를 일반화하기 위해.
• 이러한 결과를 고립 특이성을 가진 과르진스타인 아핀 토릭 3차원 다양체로 확장하기 위해.
• 이러한 특이성의 특이성 분류가 안정 Ginzburg 또는 일반화된 클러스터 분류와 삼각 동치임을 보여주기 위해.

제안 방법

• 삼각 몫 구성 $\Delta_e(A) = \mathcal{H}^b(\mathsf{proj}\,A)/\mathsf{thick}(eA)$ 를 사용하여 상대 특이성 분류를 정의한다.
• A가 k에 대해 평탄하고 전반 차원이 유한하다는 조건을 적용하여, $\Delta_e(A) \simeq \mathsf{per}(B)$ 를 만족하는 dg 대수 B를 구성한다.
• idempotent e에 해당하는 정점들을 제거하고, 그 정점들을 통과하지 않는 경로로 미분을 제한함으로써 B를 dg 화살표 대수로 구성한다.
• dg 대수 간의 준동형이 유도 분류의 불변성을 보장하도록, 준동형을 활용한다.
• Nicolás–Saorín 및 Drinfeld의 결과를 적용하여 B를 계수화된 원시 대수의 보편 국소화로 실현한다.
• Ginzburg dg 대수 구성법을 사용하여 특이성 분류를 잠재력이 있는 화살표 (Q,W) 를 통해 클러스터 분류와 연결한다.

실험 결과

연구 질문

• RQ1 A가 평탄하고 전반 차원이 유한할 조건 하에서 상대 특이성 분류 $\Delta_e(A)$ 는 어떤 조건에서 dg 대수 B의 완전한 유도 분류와 동치인가?
• RQ2 A가 dg 화살표 대수와 준동형일 때, 상대 특이성 분류에 대한 명시적 dg 모델은 어떻게 구성할 수 있는가?
• RQ3 과르진스타인 토릭 3차원 다양체의 특이성 분류와 일반화된 클러스터 분류 사이의 관계는 무엇인가?
• RQ4 클라인 특이성의 비가환 변형의 특이성 분류는 간단한 특이성 분류들의 직합으로 분해될 수 있는가?
• RQ5 $SL_3(\mathbb{C})$-몫 특이성의 특이성 분류가 안정 Ginzburg 분류와 동치일 조건은 무엇인가?

주요 결과

• 평탄성과 유한 전반 차원 조건 하에서 상대 특이성 분류 $\Delta_e(A)$ 는 $\mathsf{per}(B)/\mathcal{D}_{fg}(B)$ 와 삼각 동치이며, 여기서 B는 미분이 없는 dg 대수이다.
• 루트 제곱이 0인 대수의 경우, $\mathcal{D}_{sg}(R)$ 는 $\mathsf{per}(L(Q^{op}))$ 와 삼각 동치이며, 여기서 $L(Q^{op})$ 는 반대 화살표의 레비트 경로 대수이다.
• 주어진 매개변수 $\lambda$ 가 지배적일 때 비가환 클라인 특이성의 변형에 대해 $\mathcal{D}_{sg}(R) \simeq \bigoplus_{i=1}^s \mathcal{D}_{sg}(R^{(i)})$ 이며, 여기서 $R^{(i)}$ 는 다이노프 부분화살표에 대응하는 클라인 특이성이다.
• 고립 특이성을 가진 $SL_3(\mathbb{C})$-몫 특이성의 경우 $\mathcal{D}_{sg}(R) \simeq \mathcal{C}(Q_G, W_G)$ 이며, 이는 잠재력이 있는 화살표 $(Q_G, W_G)$ 와 관련된 안정 Ginzburg 분류이다.
• 고립 특이성을 가진 과르진스타인 아핀 토릭 3차원 다양체의 경우 $\mathcal{D}_{sg}(R) \simeq \mathcal{C}^s(Q', W')$ 이며, 만약 아이디포텐트 완비일 경우 이는 $\mathcal{C}(Q', W')$ 와의 삼각 동치이며, $J(Q', W')$ 는 유한 차원이다.
• 정점 제거와 미분 제한을 통해 dg 화살표 대수로 B를 구성하는 방법은 준동치를 유지하여 유도 분류의 불변성을 보장한다.