양의 차수 DG 대수의 완전 파생 범주와 t 구조

논문은 서론에서 완전 파생 범주 dgPer(A)의 연구 동기를 제시한다. 특히 복소군의 플래그 다양체에 대한 Borel‑equivariant 파생 범주와의 관계를 통해, dgPer(A)가 다양한 기하학적 상황을 모델링할 수 있음을 언급한다. 이후 (P1)–(P3) 조건을 만족하는 DG 대수 A를 고정하고, A₀의 반단순성으로부터 유한 개의 단순 모듈 Lₓ와 그에 대응하는 프로젝트ive DG‑모듈 bLₓ를 만든다. 2장에서는 기본적인 가정과 기호를 정리하고, A₀‑모듈을 A‑모듈로 승격하는 functor와 그 반대 functor를 소개한다. 특히 A₀가 반단순이므로 모든 유한 생성 프로젝트ive A‑모듈은 bLₓ들의 유한 직접합으로 표현될 수 있음을 보인다. 3장에서는 DG‑모듈, 호모토피 카테고리, 파생 카테고리의 기본 이론을 정리하고, 호모토픽하게 프로젝트ive인 DG‑모듈이 완전 파생 범주의 핵심 객체임을 재확인한다. 4장에서는 새로운 서브카테고리 dgFilt(A)를 정의한다. 객체는 0=F₀⊂F₁⊂⋯⊂Fₙ=M이라는 유한 bL‑필터를 가지며, 각 단계의 차이는 적절한 시프트된 bLₓ와 동형이다. 이때 시프트 지수 l₁≥l₂≥⋯≥lₙ의 비내림차순 조건이 필수적이며, 이를 통해 각 Fᵢ가 그레이드된 A‑모듈로는 직접합 형태를 갖지만 미분은 이 구조를 보존하지 않을 수 있음을 설명한다. dgPrae(A)는 이러한 dgFilt(A)를 포함하는 가장 작은 삼각 완전 서브카테고리이며, 이후 정리에서 dgPrae(A)=dgPer(A)임을 증명한다. 5장에서는 t‑구조를 도입한다. dgPer^{≤0}는 Hᵢ(M⊗_A A₀)=0 (i>0)인 객체들의 전완전 서브카테고리, dgPer^{≥0}는 Hᵢ(M⊗_A A₀)=0 (i<0)인 객체들의 전완전 서브카테고리이다. 이 두 서브카테고리는 서로 교차하고, 각각의 사상은 삼각 구조와 호몰로지 차원에서 자연스럽게 정의된다. 정리 2는 이 쌍이 비퇴화된 t‑구조를 형성함을 보이며, 그 심장 ♥는 dgFlag(A)와 동형임을 증명한다. dgFlag(A)는 bL‑플래그를 갖는 A‑모듈들의 아벨리안 범주로, 각 객체는 유한 길이를 가지며 단순 객체는 정확히 bLₓ이다. 6장에서는 심장의 구조를 더 자세히 분석한다. 특히 심장의 객체들은 dgFilt(A) 안에서 절단(truncation) 함수를 통해 쉽게 구할 수 있음을 보여준다. 7장에서는 호모토픽하게 최소인 DG‑모듈을 정의하고, 이러한 최소성은 dgFilt(A)의 객체와 동등함을 보인다. 이는 Hom‑공변성 및 차원 감소 기법을 이용한 증명이다. 8장에서는 indecomposable 객체들을 연구한다. Fitting‑레마를 DG‑맥락으로 확장하여, dgFilt(A)의 객체는 유일한 분해를 갖고, 따라서 dgPer(A)는 Krull‑Remak‑Schmidt 범주가 된다. 9장에서는 Koszul 대수 경우를 다룬다. 여기서는 A의 미분이 0이고, A가 Koszul 대수이며, 유한 길이의 Koszul 해석을 갖는다고 가정한다. Ext‑대수 E(A)=Ext_A^·(A₀,A₀)를 정의하고, Koszul 이중성 이론을 이용해 dgPer(A)의 심장 ♥가 E(A)‑모듈들의 유한 생성 왼쪽 모듈 범주의 반대 범주와 동등함을 증명한다(정리 39). 이는 심장이 대수적 Ext‑구조와 직접 연결됨을 보여주며, Koszul 대수의 경우 완전 파생 범주의 t‑구조가 매우 구체적인 모듈 이론으로 환원된다는 중요한 통찰을 제공한다. 마지막으로, 논문은 이러한 결과들이 기하학적 상황(예: 플래그 다양체의 Borel‑equivariant 파생 범주)에서 DG‑대수 모델을 구축하고, 형식성(formality)과 Koszul 이중성을 활용해 복잡한 삼각 범주를 보다 단순한 대수적 데이터로 변환하는 데 활용될 수 있음을 강조한다.