아트인 셸러 고른스테인 차원 1 대수의 코헨 마콜라야 표상과 실링·틸팅 이론

초록

본 논문은 차원 1인 ℕ‑graded 아트인‑셸러 고른스테인 대수 A(연결성 가정 없이)의 안정된 코헨‑마콜라야 범주 \underline{CM}^{ℤ}_0 A에 대해 실링 객체와 틸팅 객체 존재 조건을 완전히 규명한다. A₀가 유한 전역 차원을 가질 때 실링 객체가 존재하고, 평균 고른스테인 파라미터 p_A^{av}≤0 혹은 A가 아트인‑셸러 정규일 때 틸팅 객체가 존재한다는 것을 보인다. 또한 구체적인 실링·틸팅 객체를 제시하고, 이를 통해 Gorenstein tiled order와 비가환 사영 쿼드릭 초곡면에 대한 파생 범주와의 삼각 동형을 얻는다.

상세 분석

논문은 먼저 ℕ‑graded 아트인‑셸러 고른스테인(AS‑Gorenstein) 대수 A를 정의하고, A₀가 임의의 유한 차원 k‑대수일 수 있도록 연결성(A₀=k)을 포기한다. 이는 전통적인 AS‑regular 대수의 비연결형 확장으로, Gorenstein order와 같은 고전적인 비가환 고른스테인 구조를 포함한다. 핵심 도구는 안정된 코헨‑마콜라야 범주 \underline{CM}^{ℤ}_0 A이며, 이는 “총분수링 Q”를 이용해 Q‑모듈이 자유인 객체들만을 취함으로써 Auslander‑Reiten‑Serre 이중성을 확보한다.

주요 결과는 두 단계로 나뉜다. 첫 번째는 실링(silting) 객체 존재 조건이다. 저자들은 A₀가 유한 전역 차원(gldim A₀<∞)일 때, 특정 정수 q와 Gorenstein 파라미터 p_i를 이용해
V = ⊕{i∈I_A} ⊕{j=0}^{-p_i+q} e_{ν(i)}A(j)
을 정의하고, 이것이 \underline{CM}^{ℤ}_0 A의 실링 객체임을 증명한다. 반대로 gldim A₀가 무한이면 실링 객체가 존재하지 않음도 보여, 실링 존재와 전역 차원 사이의 정확한 동치성을 확보한다.

두 번째는 틸팅(tilting) 객체 존재 조건이다. 여기서는 평균 Gorenstein 파라미터 p_A^{av}= (1/|I_A|)∑p_i와 A가 AS‑regular인지 여부가 핵심 역할을 한다. 저자들은 (i) p_A^{av}≤0이거나 (ii) A가 AS‑regular이면 위에서 정의한 V가 실제로 틸팅 객체가 됨을 보인다. 이때 End_{ℤ A}(V)는 Iwanaga‑Gorenstein 대수 Γ가 되며, \underline{CM}^{ℤ}_0 A와 per Γ 사이에 삼각 동형이 존재한다. 또한 Γ의 구체적 구조를 제시하고, A₀의 쿼iver가 비순환이면 V의 직접합 정렬이 강예외군(strong exceptional collection)을 형성함을 증명한다.

증명 방법은 두 가지가 제시된다. 첫 번째는 직접적인 syzygy 계산과 Auslander‑Reiten‑Serre 이중성을 이용한 전통적 접근; 두 번째는 Orlov‑type 반직교 분해(semiorthogonal decomposition)를 활용한 현대적 접근이다. 두 방법 모두 qgr A와 그 파생 범주 D^b(qgr A)에서 proj(qgr A)와 그 생성된 두꺼운 부분(per(qgr A))를 분석하고, 이들이 각각 tilting 객체 P와 동형임을 이용한다.

또한 평균 파라미터를 조정하기 위한 “graded Morita equivalence” 기술을 도입해, 파라미터 차이를 1 미만으로 만들 수 있음을 보인다(정리 4.7). 이를 통해 p_A^{av}≤0인 경우 언제든지 같은 동형류 안에서 p_i≤0인 대수 B를 찾을 수 있다.

응용으로는 (1) Gorenstein tiled order A에 대해 \underline{CM}^{ℤ} A가 incidence algebra k VoA의 파생 범주와 동형임을 증명하고, (2) 비가환 사영 쿼드릭 초곡면 B의 파생 범주 D^b(qgr B)에도 명시적인 틸팅 객체를 구축한다. 후자는 Koszul 이중성에 의해 A와 B가 서로 Koszul dual임을 이용해, D^b(qgr B)와 \underline{CM}^{ℤ} A 사이에 정확한 대수동형을 제공한다. 특히, Smith‑Van den Bergh가 구축한 \underline{CM}^{ℤ} B의 틸팅 객체가 D^b(qgr B)의 틸팅 객체의 직접 합 성분으로 포함되는 구조를 Orlov의 반직교 분해를 통해 명시한다.

전체적으로 논문은 AS‑Gorenstein 차원 1 대수의 코헨‑마콜라야 표상 이론을 실링·틸팅 관점에서 완전히 정리하고, 이를 통해 다양한 비가환 Gorenstein 구조(orders, tiled orders, quadric hypersurfaces)와 파생 범주 사이의 깊은 연결고리를 밝힌다.