삼각범주에서의 아우슬란더‑부흐바이츠 근사 이론

초록

본 논문은 삼각범주 𝑇에 대해 아우슬란더‑부흐바이츠(Auslander‑Buchweitz) 근사 이론을 재구성한다. 확장으로 닫힌 부분범주 𝑋와 그 안의 약한 코생성자 ω를 이용해 상대 동형론을 정의하고, 전포(envelopes)와 전덮(pre‑covers)의 존재, (공)해상도 차원, 직교 부분범주의 구조 등을 연구한다. 또한 결과를 루이예르 차원과 연결시킨다.

상세 분석

논문은 먼저 삼각범주 𝑇에 대한 상대 동형론을 정의한다. 전통적인 모듈러 범주에서의 Extⁱ와 유사하게, 두 객체 A, B에 대해 𝑋‑정밀(𝑋‑resolution) 혹은 𝑋‑코정밀(𝑋‑coresolution)을 이용해 𝑋‑상대 동형군을 구성한다. 이때 𝑋는 확장으로 닫힌(extensions‑closed) 부분범주이며, ω는 𝑋 안에서 약한 코생성자(weak‑cogenerator)로서, 모든 𝑋‑객체가 ω의 직접합과 사상으로 근사될 수 있음을 보장한다. 이러한 설정은 아우슬란더‑부흐바이츠 이론의 핵심 가정인 “𝑋는 𝑋‑정밀을 갖고, ω는 𝑋‑정밀의 코생성자”와 정확히 대응한다.

핵심 정리는 다음과 같다. 첫째, 𝑋와 ω가 위 조건을 만족하면, 𝑇의 임의의 객체 M에 대해 𝑋‑전포(preenvelope)와 𝑋‑전덮(precover)이 존재한다. 구체적으로, M → X → M′ 형태의 삼각을 구성할 수 있으며, 여기서 X∈𝑋이고 M′는 ω‑정밀을 가진다. 이는 전통적인 모듈러 범주에서의 Auslander‑Smalø‑Buchweitz 전포·전덮 정리와 동형이며, 삼각구조의 삼각관계(triangle)와 사상 사슬을 이용해 증명한다.

둘째, 𝑋‑정밀 차원(𝑋‑resolution dimension)과 ω‑정밀 차원(ω‑coresolution dimension)을 정의하고, 이들 차원이 유한하면 𝑋와 ω 사이에 정밀·코정밀 상호작용이 강해진다. 특히, 𝑋‑정밀 차원이 n이면, 모든 객체는 길이 ≤ n인 𝑋‑정밀 삼각열을 갖고, 이에 따라 𝑋‑정밀 차원은 𝑇의 Rouquier 차원과 비교될 수 있다. 논문은 𝑋‑정밀 차원과 Rouquier 차원 사이에 “𝑋‑정밀 차원 ≤ Rouquier 차원”이라는 부등식을 증명하고, 특정 경우에 등호가 성립함을 보인다.

셋째, 직교 부분범주 𝑋^{⊥}와 ^{⊥}𝑋를 조사한다. 𝑋가 확장으로 닫히고 ω가 약한 코생성자이면, 𝑋^{⊥}는 𝑋‑정밀 차원이 유한한 객체들로 구성된 완전한 서브카테고리가 된다. 또한, ^{⊥}𝑋는 ω‑정밀 차원이 유한한 객체들의 서브카테고리와 동형이며, 이 두 직교 범주는 서로 대칭적인 삼각 구조를 형성한다. 이러한 결과는 상대 동형론에서의 “완전성(complete)과 코완전성(co‑complete)” 개념을 삼각범주에 자연스럽게 옮긴다.

마지막으로, 논문은 위 이론을 구체적인 예시—예를 들어, 유도된 범주(Derived category)와 안정된 모듈러 범주(stable module category)—에 적용한다. 여기서 𝑋를 완전한 프로젝트브(complete projective) 객체들의 서브카테고리로 잡고, ω를 그 안의 작은 생성자(예: 프로젝트브 모듈)로 두면, 기존에 알려진 “Gorenstein projective” 근사 이론과 정확히 일치함을 확인한다. 이는 삼각범주 수준에서 Gorenstein 동형론을 확장하는 중요한 사례가 된다.

전체적으로 논문은 아우슬란더‑부흐바이츠 근사 이론을 삼각범주에 성공적으로 일반화하고, 전포·전덮 존재, 정밀 차원, 직교 구조, Rouquier 차원과의 연계 등 다방면에 걸친 새로운 도구와 결과를 제공한다. 이는 현대 호몰로지 이론과 표현론, 특히 삼각범주와 그 파생 구조를 연구하는 연구자들에게 강력한 방법론을 제시한다.