[논문 리뷰] Homotopy categories, Leavitt path algebras and Gorenstein projective modules

Xiao‐Wu Chen, Dong Yang|arXiv (Cornell University)|2013. 01. 02.

Algebraic structures and combinatorial models인용 수 3

한 줄 요약

이 논문은 루트 제곱이 0인 유한차원 대수에서의 약한 복합체의 호모토피 범주와 레비트 경로 대수의 유도 범주, 그리고 정삼각형 확장 대수에서의 고렌스타인 프로젝티브 모듈러의 안정 범주 사이의 삼각 동치를 수립한다. 주요 기여는 이러한 대수의 특이성 범주를 레비트 경로 대수와 고렌스타인 프로젝티브 모듈러를 통해 통합적으로 기술하는 것으로, 이는 이전 결과를 일반화하고 호모토피 이론, 비가환 대수기하학, 특이성 이론을 연결한다.

ABSTRACT

For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic complexes of projective modules is given. Restricting these equivalences to compact objects, we obtain various descriptions of the singularity category of a finite dimensional algebra with radical square zero, which contain previous results.

연구 동기 및 목표

• 루트 제곱이 0인 유한차원 대수에서의 약한 복합체의 임베딩 모듈러의 호모토피 범주를 기술하는 것.
• 이 범주를 레비트 경로 대수의 유도 범주와 정삼각형 확장 대수에서의 고렌스타인 프로젝티브 모듈러의 안정 범주와 연결하는 것.
• 이러한 대수의 특이성 범주에 대한 새로운 기술을 제공하여 이전 결과를 일반화하는 것.
• 호모토피 범주, 레비트 경로 대수의 유도 범주, 고렌스타인 프로젝티브 안정 범주 사이의 동치를 수립하는 것.

제안 방법

• 레비트 경로 대수를 모델링하기 위해 미분형 대수를 사용하며, 그 미분이 0임을 가정한다.
• 코즐 유도 기법을 적용하여 임베딩 모듈러의 호모토피 범주와 경로 대수의 유도 범주 사이의 관계를 규명한다.
• 바이모듈러와 바이바르트 정규 대수에서 정삼각형 확장 대수를 구성한다.
• 등급 모리타 동치와 유도 동치를 사용하여 레비트 경로 대수와 그 반대 대수 사이의 관계를 규명한다.
• 콤���트 객체와 특이성 범주로의 제한을 통해 삼각 동치를 수립한다.
• 기존의 고렌스타인 프로젝티브 모듈러와 프로베니우스 범주에 대한 결과를 활용하여 안정 범주를 정의한다.

실험 결과

연구 질문

• RQ1 루트 제곱이 0인 대수에서의 약한 복합체의 임베딩 모듈러의 호모토피 범주는 레비트 경로 대수의 유도 범주와 어떻게 관련되어 있는가?
• RQ2 정삼각형 확장 대수에서의 고렌스타인 프로젝티브 모듈러의 안정 범주는 약한 복합체의 임베딩 모듈러의 호모토피 범주와 어떻게 관련되어 있는가?
• RQ3 루트 제곱이 0인 유한차원 대수의 특이성 범주는 레비트 경로 대수와 고렌스타인 프로젝티브 모듈러를 통해 기술될 수 있는가?
• RQ4 두 대수 사이에서 특이성 동치가 성립하는 조건은 무엇이며, 이는 그들의 레비트 경로 대수의 등급 모리타 동치와 어떻게 관련되어 있는가?
• RQ5 약한 복합체의 프로젝티브 모듈러의 호모토피 범주와 반대 레비트 경로 대수의 유도 범주 사이에 삼각 동치가 존재하는가?

주요 결과

• 모든 $kQ/J^2$에서의 약한 복합체의 임베딩 모듈러의 호모토피 범주와 반대 레비트 경로 대수 $L(Q)^{\rm op}$의 유도 범주 사이에 삼각 동치가 존재한다.
• $L(Q)^{\rm op}$의 유도 범주는 정삼각형 확장 대수 $\Lambda^+(Q) = L(Q)^0 \ltimes L(Q)^1$에서의 고렌스타인 프로젝티브 모듈러의 안정 범주와 삼각 동치이다.
• $kQ/J^2$에서의 약한 복합체의 프로젝티브 모듈러의 호모토피 범주는 $L(Q^{\rm op})$의 유도 범주와 삼각 동치이며, $\Lambda^-(Q^{\rm op})$에서의 고렌스타인 프로젝티브 모듈러의 안정 범주와도 삼각 동치이다.
• 이 범주의 콤팩트 객체들은 특이성 범주 $\mathbf{D}_{\rm sg}(kQ/J^2)$와 대응되며, 이는 완전한 유도 범주 $\mathrm{perf}(L(Q)^{\rm op})$와, 유한 생성 고렌스타인 프로젝티브 $\Lambda^+(Q)$-모듈러의 안정 범주와도 동치이다.
• 동치는 콤팩트 생성 삼각 범주로 제한되며, 특이성 범주는 레비트 경로 대수와 고렌스타인 프로젝티브 모듈러를 통해 완전히 기술된다.
• 논문은 두 대수 사이에서 특이성 동치가 성립하는 것은 그들의 레비트 경로 대수가 등급 모리타 동치이거나, 유도 동치이거나, 또는 그 정삼각형 확장 대수가 모리타 동치일 때에만 성립함을 증명한다.