가오른슈테인 범주와 타테 코호몰로지: 사영 스킴 위의 새로운 모델 구조

초록

본 논문은 가오른슈테인 범주의 개념을 도입하고, 이러한 범주에서 타테 코호몰로지와 Avramov‑Martsinkovsky 정확한 시퀀스를 구축한다. 또한 충분한 사영 객체가 존재할 경우 프로젝트 모델 구조를, 언제든지 인젝티브 모델 구조를 제공한다. 주요 예제로 로컬 가오른슈테인 사영 스킴 X에 대해 Qco(X) 가 이러한 범주가 됨을 증명한다.

상세 분석

가오른슈테인 범주(Gorenstein category)는 완전한 아벨 범주이며, 모든 객체가 충분히 많은 Gorenstein‑projective(또는 Gorenstein‑injective) 해석을 가짐을 전제한다. 저자들은 이 정의를 통해 전통적인 Gorenstein 대수학에서 사용되는 상대적 차원 개념을 범주론적 수준으로 끌어올렸다. 핵심은 두 종류의 완전 해석—완전 프로젝트와 완전 인젝티브—이 서로 대칭적으로 존재하고, 이들 사이의 사상들이 완전한 삼각 구조를 형성한다는 점이다. 이러한 구조 위에 Tate 코호몰로지 functor가 정의되는데, 이는 완전 프로젝트 해석을 무한히 연장한 복합체를 이용해 절대 Ext와 Gorenstein‑relative Ext 사이를 연결한다. 특히 Avramov‑Martsinkovsky 정확한 시퀀스
\