[논문 리뷰] Singularity categories of representations of algebras over local rings

Ming Lu|arXiv (Cornell University)|2017. 02. 05.

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

한 줄 요약

이 논문은 Rk = K[X]/(Xk)일 때 Λ⊗K Rk의 그룹화된 모듈러의 특이성 분류와 삼각형 행렬 대수 Tk−1(Λ)의 유계된 유도 범주 사이의 삼각형 동치를 확립한다. 이는 k=2인 경우에 이전 결과를 일반화한 것이다. 또한 Z/kZ-그룹화된 특이성 분류가 Tk−1(Λ)의 루트 범주와 동치임을 보이며, Λk의 코hen-맥컬레이 표현 유형에 따라 분류하고, CM-유한인 경우에 대해 명시적인 아우슬란트-레텐 퀼드를 제공한다.

ABSTRACT

Let $Λ$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $Λ_k=Λ\otimes_K R_k$. We consider the singularity category $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ of the graded modules over $Λ_k$. It is showed that there is a tilting object in $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ such that its endomorphism algebra is isomorphic to the triangular matrix algebra $T_{k-1}(Λ)$ with coefficients in $Λ$ and there is a triangulated equivalence between $\mathcal{D}_{sg}(\mathrm{mod}^{\mathcal{Z}/k\mathcal{Z}}(Λ))$ and the root category of $T_{k-1}(Λ)$. Finally, a classification of $Λ_k$ up to the Cohen-Macaulay representation type is given.

연구 동기 및 목표

• Λk = Λ ⊗K Rk에서 Rk = K[X]/(Xk)이며 Λ가 유한차원이고 유한 전역 차원을 갖는 경우, Dsg(modZ(Λk))의 특이성 분류를 연구한다.
• Dsg(modZ(Λk))에 있는 타이팅 객체를 구성하여 그 자기형사 대수를 Tk−1(Λ)와 동형으로 만든다.
• Dsg(modZ/kZ(Λk))와 Tk−1(Λ)의 루트 범주 사이의 삼각형 동치를 수립한다.
• Λk를 코헨-맥컬레이 표현 유형에 따라 분류하여 CM-유한 및 CM-무한인 경우를 구분한다.

제안 방법

• Rk = K[X]/(Xk)의 Z-그룹화된 구조를 이용하여 Λk = Λ ⊗K Rk를 양의 그룹화된 고파이어스트 대수로 정의한다.
• 야마우라의 그룹화된 모듈러의 안정 범주에 대한 작업에 영감을 얻어 Dsg(modZ(Λk))에서 타이팅 객체를 구성한다.
• 이 타이팅 객체의 자기형사 대수가 Λ를 계수로 가지는 삼각형 행렬 대수 Tk−1(Λ)와 동형임을 증명한다.
• 타이팅 객체를 통해 Dsg(modZ(Λk)) ≃ Db(mod(Tk−1(Λ)))의 삼각형 동치를 확립한다.
• Λk에 Z/kZ-그룹화를 제한하여 Dsg(modZ/kZ(Λk))를 정의하고, Tk−1(Λ)의 루트 범주로의 동치를 유도한다.
• 기존의 루트 범주와 궤도 범주에 관한 결과를 적용하여 삼각형 구조와 동치성을 검증한다.

실험 결과

연구 질문

• RQ1 Z-그룹화된 Λk에 대한 특이성 분류 Dsg(modZ(Λk))는 자기형사 대수가 Tk−1(Λ)와 동형이 되는 타이팅 객체를 갖는가?
• RQ2 Dsg(modZ(Λk))와 유계된 유도 범주 Db(mod(Tk−1(Λ))) 사이에 삼각형 동치가 존재하는가?
• RQ3 Z/kZ-그룹화된 특이성 분류 Dsg(modZ/kZ(Λk))는 Tk−1(Λ)의 루트 범주와 삼각형 동치인가?
• RQ4 Λk의 코헨-맥컬레이 표현 유형은 Λ와 k의 구조에 따라 어떻게 달라지는가?
• RQ5 Λk가 CM-유한일 경우 아우슬란트-레텐 퀸드는 무엇인가?

주요 결과

• 특이성 분류 Dsg(modZ(Λk))는 자기형사 대수가 Tk−1(Λ)와 동형이 되는 타이팅 객체를 갖으며, 이는 Db(mod(Tk−1(Λ)))와의 삼각형 동치를 이끈다.
• Z/kZ-그룹화된 특이성 분류 Dsg(modZ/kZ(Λk))는 Tk−1(Λ)의 루트 범주 RTk−1(Λ)와 삼각형 동치이다.
• k=2일 경우 결과는 알려진 동치 Dsg(mod(Λ2)) ≃ Db(mod(Λ))/Σ를 복원하고 일반화한다.
• Λk가 유한 코헨-맥컬레이 유형(CM-유한)이 되는 것은 Tk−1(Λ)가 표현 유한일 때이고, 이를 분류 기준으로 제공한다.
• Λ가 유한형이거나 A4 유형의 약한 대수이거나 A3 유형의 기울인 대수인 경우, Λk의 CM-유한 유형에 대해 명시적인 아우슬란트-레텐 퀸드를 계산하였다.
• Λk 위의 고파이어스트 프로젝티브 모듈러의 구조는 Tk−1(Λ)의 유도 범주와 궤도 범주 구조에 의해 지배되며, 표현 이론과 특이성 분류를 연결한다.