대칭 차수와 유도된·특이성 범주에서의 좌·우 칼라비–야우 구조 구축

초록

이 논문은 교환 고른스테인 환경에서 대칭 차수 Λ의 유도된 범주와 특이성 범주에 대해 좌·우 칼라비–야우 구조를 dg 수준에서 구축한다. Amiot의 Verdier 몫에 대한 접근을 dg 수준으로 끌어올리고, 베이스 체인지 결과를 이용해 R‑위와 기본체 k‑위의 구조를 연결한다. 결과적으로 dg 특이성 범주는 (d‑1)‑칼라비–야우 구조를, dg 유도된 범주는 d‑칼라비–야우 구조를 갖으며, 적절한 가정 하에 일반화된 클러스터 범주와 삼각 동형을 이룬다.

상세 분석

본 연구는 대칭 차수 Λ가 교환 고른스테인 링 R 위에 정의될 때, 그 유도된 범주 Db(dg mod Λ)와 특이성 범주 sg(dg Λ) 모두에 대해 dg‑레벨의 칼라비–야우 구조를 제공한다는 점에서 의미가 크다. 핵심은 Amiot이 제시한 Verdier 몫에 대한 Serre functor 구성을 dg 카테고리로 승격시키는 방법이다. 저자들은 작은 dg R‑카테고리 A, B, C와 정확한 시퀀스 0→B→A→C→0을 고려하고, A‑양측 모듈 M을 선택해 M_B, M_C를 유도한다. 이때 Hochschild 동류 HH(B,M_B)→HH(A,M)→HH(C,M_C)→ΣHH(B,M_B) 를 연결시키는 ‘연결 사상’ δ를 정의하고, 이를 Amiot의 구성과 동등시킨다(정리 4.3.1). 특히, A→RHom_B(A,A) 가 동형인 경우 δ가 비퇴화성을 보존함을 보이며, 이는 dg 수준에서 Serre functor 가 존재함을 의미한다.

이 일반적 프레임워크를 대칭 차수 Λ에 적용하면, A를 Db(dg mod Λ), B를 per(dg Λ), C를 sg(dg Λ) 로 잡아, M을 A 자체로 두어 δ가 오른쪽 (d‑1)‑칼라비–야우 구조를 생성한다(정리 5.1.2). 이어서 베이스 체인지 명제(정리 5.1.4)를 통해 R‑위의 약한 구조가 기본체 k‑위의 강한 구조로 승격됨을 증명한다. 따라서 k‑위에서 sg(dg Λ) 은 (d‑1)‑칼라비–야우 구조를 갖는 dg 카테고리가 된다(정리 5.1.5). 이는 기존에 Iyama‑첫 저자와 공동으로 구축한 약한 구조의 순환적 상승(cyclic lift)이다.

또한, Db(dg mod Λ) 에 대해서도 동일한 방법을 적용해 좌 d‑칼라비–야우 구조를 얻는다(정리 5.2.5). 이는 Brav‑Dyckerhoff가 증명한 commutative Gorenstein 경우를 비가환 대칭 차수로 일반화한 결과이며, 결과적으로 sg(dg Λ) 역시 좌 d‑칼라비–야우 구조를 유도한다(추론 5.2.6).

마지막으로, Keller‑Liu의 구조 정리와 결합해, Sing R Λ 가 적절히 제한된 경우 sg Λ 가 Amiot식 일반화 클러스터 범주와 삼각 동형임을 보인다(정리 5.1.6, 추론 5.1.6). 여기서 사용된 ‘deformed dg preprojective algebra’ Π는 차원 d 의 비정형 대칭 차수에 대응하는 클러스터 카테고리를 제공한다. 전체적으로, Hochschild·Cyclic 동류, 혼합 복합체, dg‑쿼션, 정확한 시퀀스, 그리고 비퇴화 조건을 정교히 조합해, 대칭 차수의 유도된·특이성 범주에 대한 칼라비–야우 구조와 클러스터 카테고리와의 관계를 체계적으로 확장하였다.