[논문 리뷰] Category equivalences involving graded modules over path algebras of quivers

S. Paul Smith|arXiv (Cornell University)|2011. 07. 18.

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

한 줄 요약

이 논문은 유한 쿼버의 경로 대수 위의 등급 모듈에 대한 다수의 카테고리 동치를 수립한다. 특히 몫 카테고리 QGr(kQ)가 여러 대수의 모듈 카테고리와 동치임을 보이며, 이 대수들은 초초등 행렬 대수 S(Q), Leavitt 경로 대수 L(Q°)의 0차 성분, 그리고 L(Q°)의 등급 모듈 카테고리이다. 핵심 결과는 QGr(kQ)가 Mod S(Q)와 동치임을 보이며, S(Q)는 경로 공간의 자기환원 대수들의 직접 극한으로 정의된다. 또한 qgr(kQ)의 모든 짧은 정확열이 분리되므로 삼각형 구조를 지닐 수 있다.

ABSTRACT

Let kQ be the path algebra of a quiver Q with its standard grading. We show that the category of graded kQ-modules modulo those that are the sum of their finite dimensional submodules, QGr(kQ), is equivalent to several other categories: the graded modules over a suitable Leavitt path algebra, the modules over a certain direct limit of finite dimensional multi-matrix algebras, QGr(kQ') where Q' is the quiver whose incidence matrix is the n^{th} power of that for Q, and others. A relation with a suitable Cuntz-Krieger algebra is established. All short exact sequences in the full subcategory of finitely presented objects in QGr(kQ), split so that subcategory can be given the structure of a triangulated category with suspension functor the Serre degree twist (-1); it is shown that this triangulated category is equivalent to the "singularity category" for the radical square zero algebra kQ/kQ_{\ge 2}.

연구 동기 및 목표

• 쿼버 Q로부터 유도된 다양한 대수와 QGr(kQ)의 등급 kQ-모듈 몫 카테고리 사이의 카테고리 동치를 수립하기.
• QGr(kQ)의 정규 객체 O의 자기환원 대수 S(Q)를 경로 공간의 자기환원 링들의 직접 극한을 통해 초초등 행렬 k-대수로 특성화하기.
• QGr(kQ) 내의 유한 생성된 표현 객체의 전체 부분카테고리 qgr(kQ)가 세르 전위 함수를 통해 삼각형 구조를 지닐 수 있음을 보이며.
• 경로 대수의 극한 제곱 제로 대수 Λ = kQ/kQ≥2의 특이성 카테고리 D^b(Λ)/D^perf(Λ)와 QGr(kQ) 사이의 유도 카테고리 동치를 연결하기.

제안 방법

• 경로 길이 n에 대한 경로 공간 kQ_n의 자기환원 대수 End_{kI}(kQ_n)들의 직접 극한으로 S(Q)를 정의하며, kQ_1와의 텐서 곱을 통해 유도된 체계를 형성한다.
• Fdim(kQ)가 유한 차원 부분모듈의 합으로 이루어진 부분카테고리이므로, 몫 카테고리 QGr(kQ) := Gr(kQ)/Fdim(kQ)로 정의한다.
• QGr(kQ) 내의 객체 O = π*(kQ)가 유한 생성된 프로젝티브 생성자임을 증명하며, Hom_{QGr(kQ)}(O, -)가 Mod S(Q)로의 동치를 유도함을 보인다.
• 쿼버 Q에서 소스와 싱크를 반복적으로 제거하여 얻는 쿼버 Q°를 구성하고, QGr(kQ) ≡ QGr(kQ°)임을 보이며, L(Q°)가 강하게 등급이 되고 L(Q°)_0 ≅ S(Q°)임을 증명한다.
• Bratteli 다이어그램을 사용하여 Q의 인cidenc 행렬을 통해 S(Q)의 구조를 명시적으로 기술한다.
• Morita 이론과 K_0를 통한 초초등 행렬 대수의 분류를 적용하여, 동일한 K_0-순서 그룹을 가진 대수의 모듈 카테고리 간의 동치를 수립한다.

실험 결과

연구 질문

• RQ1 QGr(kQ)의 정규 객체 O의 자기환원 대수의 구조는 무엇이며, 이는 쿼버 Q와 어떻게 관련되어 있는가?
• RQ2 Q°가 Q의 소스-싱크 없이 간소화된 쿼버일 때, QGr(kQ)와 QGr(kQ°) 사이의 관계는 무엇인가?
• RQ3 QGr(kQ) 내의 유한 생성된 표현 객체의 부분카테고리 qgr(kQ)는 삼각형 구조를 지닐 수 있으며, 만약 가능하면 어떤 함수를 통해 실현되는가?
• RQ4 극한 제곱 제로 대수 Λ = kQ/kQ≥2에 대해, QGr(kQ)와 D^b(Λ)/D^perf(Λ)의 특이성 카테고리 사이의 관계는 무엇인가?
• RQ5 S(Q), L(Q°), L(Q°)_0는 카테고리적으로 어떻게 관련되어 있으며, Q의 인cidenc 행렬은 이들의 구조에 어떤 역할을 하는가?

주요 결과

• QGr(kQ) 내에서 O의 자기환원 대수는 S(Q)와 동형이며, S(Q)는 경로 공간의 자기환원 링들의 직접 극한으로 구성된 초초등 행렬 k-대수이다.
• QGr(kQ)는 Mod S(Q)와 동치이며, 이 동치는 Functor Hom_{QGr(kQ)}(O, -)에 의해 실현된다.
• QGr(kQ) 내의 유한 생성된 표현 객체의 부분카테고리 qgr(kQ)는 모든 짧은 정확열이 분리되며, 이는 세르 전위 함수 (−1)를 통해 삼각형 구조를 지닐 수 있음을 의미한다.
• QGr(kQ)는 Q°로의 소스-싱크 제거를 반복하여 얻은 쿼버 Q°에 대해 QGr(kQ°)와 동치이다.
• Leavitt 경로 대수 L(Q°)는 강하게 등급이 되며, 그 0차 성분 L(Q°)_0는 S(Q°)와 동형이므로 QGr(kQ) ≡ Mod L(Q°)_0의 동치가 성립한다.
• 극한 제곱 제로 대수 Λ = kQ/kQ≥2에 대해 D^b(Λ)/D^perf(Λ)의 특이성 카테고리는 qgr(kQ)의 삼각형 카테고리와 동치이며, 이는 유도 동치를 수립한다.