2‑칼비–유 삼각범주와 클러스터 변이의 새로운 Grothendieck 군 해석

이 논문은 2‑칼비–유(2‑CY) 삼각범주 C 가 프뢰베니우스 범주 E 의 안정 범주로서 나타날 때, 특히 C 가 Hom‑finite이며 클러스터‑틸팅 서브카테고리 𝒯 를 포함하는 경우에 초점을 맞춘다. 먼저, 𝒯의 전이미지 M 을 E 안에서 선택하고, M 을 통해 정의되는 모듈 범주 mod M, 완전 유도 범주 per M, 그리고 파생 범주 D mod M 을 도입한다. 이들 사이에 짧은 정확한 삼각 범주 시퀀스 0 → HᵇE_ac(M) → Hᵇ(M) → Dᵇ(E) → 0 가 성립함을 보이며, 이는 각각의 Grothendieck 군을 연결하는 장Exact 시퀀스 K₀(HᵇE_ac(M)) → K₀(Hᵇ(M)/Hᵇ(P)) → K₀(E) → 0 을 만든다. 여기서 P 는 E 안의 프로젝트·인젝티브 객체들의 전이미지이며, Hᵇ(P) 은 Hᵇ(M) 의 완전 서브카테고리이다. 핵심 도구는 안티대칭 이터레이터 형태 hᵢₐ 이다. 이는 h(M,N)=dim Hom(M,N)−dim Ext¹(M,N) 를 이용해 정의된 트런케이티드 Euler 형태 h 의 반대칭화이며, K₀(mod M) 위에 잘 정의된다. 이 형태는 클러스터‑틸팅 서브카테고리들의 쿼버 행렬 B_T 와 변이 후 행렬 B_{T'} 사이의 관계를 제어한다. 구체적으로, 변이 정점 k 에 대해 행렬 S 를 s_{ij}=−δ_{ij}+|b_{ij}|−b_{ij} ( i=k ), δ_{ij} (else) 로 정의하고, 레마 7.1, 7.2에 따라 μ_k(B)=SᵗBS 가 성립한다. 이는 기존 Fomin–Zelevinsky 변이와 동일한 형태이며, 논문은 이를 일반화된 변이 규칙으로 확장한다. 변이된 클러스터‑틸팅 서브카테고리 𝒯' 에 대해, 전이미지 M' 을 잡고, M‑M' 바이모듈 X (즉 X(M,M')=E(M,M')) 을 이용해 장함수 F=−⊗_{M'}X: mod M'→mod M 을 정의한다. 명제 4에서는 L F (파생된 F) 가 D mod M'→D mod M 의 동형임을 증명하고, 이를 통해 per M 과 per M' 가 삼각 동형임을 얻는다. 결과적으로 K₀(per M)≅K₀(per M')이며, 앞서 얻은 정확한 시퀀스를 이용해 K₀(C)≅K₀(mod M)임을 확인한다. 마지막으로, 클러스터 범주 C_A (유한 차원 상속 대수 A 에 대한)에서 기존에 정의된 K₀(C_A) (삼각 구조에 의해 생성)와 새로운 정의인 K₀(C_A) (모든 삼각을 고려) 사이의 동형성을 보인다. 이는 K₀(Hᵇ(M)/Hᵇ(P)) 과 K₀(mod M) 사이의 정확한 시퀀스를 이용해 증명되며, Barot, Kussin, Lenzing이 제시한 결과를 일반화한다. 전체적으로 논문은 1. 2‑CY 삼각범주의 Grothendieck 군을 명시적으로 계산하고, 2. 안티대칭 이터레이터 형태를 매개로 클러스터‑틸팅 서브카테고리들의 변이를 일반화된 규칙으로 기술하며, 3. 변이가 하나일 때 기존 FZ 변이와 일치함을 보이고, 4. 클러스터 범주의 두 가지 Grothendieck 군 정의가 동형임을 증명한다. 이 네 가지 주요 결과를 통해 2‑CY 삼각범주와 클러스터 대수 사이의 구조적 연관성을 깊이 있게 밝히고, 향후 더 일반적인 카테고리 이론 및 대수적 변이 이론 연구에 중요한 도구를 제공한다.