코헨 마코울라스 아우스란더 대수의 파생 동형동치

초록

본 논문은 Cohen‑Macaulay 유한형을 갖는 Gorenstein Artin 대수 A와 B가 파생 동형동치이면, 그들의 Cohen‑Macaulay Auslander 대수 역시 파생 동형동치임을 증명한다.

상세 요약

논문은 먼저 Gorenstein Artin 대수와 Cohen‑Macaulay(이하 CM) 모듈의 구조를 정리하고, CM‑finite type, 즉 서로 동형이 아닌 indecomposable CM‑모듈이 유한개만 존재하는 경우를 전제로 한다. 이러한 대수 A에 대해 CM‑모듈들의 직접합을 취해 얻는 End_A(M) 를 CM Auslander 대수라 정의한다. 핵심 문제는 두 대수 A와 B가 파생 동형동치(Rickard의 정리에서 유도된 tilting 복합체 T를 통해)일 때, 그들의 CM Auslander 대수 Λ_A와 Λ_B가 역시 파생 동형동치가 되는가이다. 저자는 기존 연구에서 나타난 “derived equivalence preserves representation‑finite property”와 “stable equivalence of Morita type preserves CM‑finiteness”를 결합한다. 구체적으로, A와 B가 파생 동형동치이면, 그들의 CM‑모듈 범주 CM(A)와 CM(B)는 서로 stably equivalent이며, 이는 특히 Auslander–Reiten 이론을 통해 두 대수의 CM‑Auslander 대수 사이에 유사한 사상 구조를 만든다. 저자는 tilting 복합체 T를 이용해 A‑모듈 범주의 파생 범주 D^b(A)와 D^b(B)를 연결하고, T의 CM‑부분을 추출해 Λ_A‑모듈 범주와 Λ_B‑모듈 범주 사이에 새로운 tilting 복합체 S를 구성한다. 이 S는 Λ_A와 Λ_B 사이의 파생 동형동치를 유도한다는 것이 핵심 증명이다. 증명 과정에서 사용된 주요 도구는 (1) Gorenstein 대수의 Iwanaga‑Gorenstein 성질, (2) CM‑모듈의 완전성 및 Frobenius 구조, (3) Rickard의 derived equivalence criterion, (4) Auslander–Smalø의 대수적 사상. 특히, CM‑finite 조건을 통해 CM‑Auslander 대수의 글로벌 차원이 유한함을 보이고, 이는 tilting 복합체의 완비성을 확보하는 데 결정적 역할을 한다. 결과적으로, 파생 동형동치는 CM‑Auslander 대수까지 “전달”되며, 이는 CM‑finite Gorenstein 대수들의 분류와 변환 이론에 새로운 관점을 제공한다.