[논문 리뷰] Gorenstein categories and Tate cohomology on projective schemes

Edgar E. Enochs, Sergio Estrada외 1명|ArXiv.org|2007. 11. 07.

Algebraic structures and combinatorial models참고 문헌 9인용 수 9

한 줄 요약

이 논문은 유한한 고렌스타인 프로젝티브 및 인젝티브 차원을 가진 그로텐디크 범주인 고렌스타인 범주를 도입하고, 이러한 범주가 타테 코homology 함자와 아브람프-마르친스키 전순서를 갖는다는 것을 증명한다. 주요 기여는 국소적으로 고렌스타인 프로젝티브 스킴 위의 준가환층의 범주가 고렌스타인 범주임을 보여주는 것이다. 이는 층 이론적 맥락에서 모델 구조와 타테 코homology를 가능하게 한다.

ABSTRACT

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category Qco(X) of quasi-coherent sheaves on $X$ is such a category and so has these features.

연구 동기 및 목표

• 고렌스타인 링 위의 모듈 범주를 일반화한 고렌스타인 범주를 정의하고, 특히 충분한 프로젝티브가 없는 맥락에서 이를 연구하는 것.
• 프로젝티브 생성자가 없는 범주에 대해 타테 코homology와 아브람프-마르친스키 전순서를 인젝티브 분해를 통해 확장하는 것.
• 국소적으로 고렌스타인 프로젝티브 스킴 위의 준가환층의 범주가 고렌스타인 범주의 공리계를 만족한다는 것을 보여주는 것.
• 이러한 범주에서 인젝티브 및 프로젝티브 모델 구조의 존재를 확립하여 후베이의 프레임워크를 일반화하는 것.
• 국소적으로 고렌스타인 스킴의 준가환층 맥락에서 고렌스타인 인젝티비티가 국소적 성질임을 보이는 것.

제안 방법

• 지정된 생성자를 사용해 객체에 기수를 할당함으로써, 유한한 전반적 최소 프로젝티브 및 인젝티브 차원을 가진 그로텐디크 범주로 고렌스타인 범주를 정의한다.
• 그로텐디크 범주에서 충분한 인젝티브가 존재하므로, 인젝티브 모듈을 사용한 완전한 분해를 통해 고렌스타인 인젝티브 객체를 정의한다.
• 고렌스타인 의미에서 동시에 프로젝티브이자 인젝티브인 완전한 분해를 통해 타테 코homology 함자를 구성한다.
• 스킴의 쿼버의 정점과 관련된 쌍의 수반 함자 (H^v, D^v) 를 적용하여 국소적 및 전반적 고렌스타인 인젝티비티를 연결한다.
• 준가환층이 고렌스타인 인젝티브임은 그 정점에서의 국소화가 국소 환 위에서 고렌스타인 인젝티브임과 동치임을 증명한다.
• 풀백 다이어그램과 해소 및 코해소 클래스의 성질을 사용하여, 유한한 프로젝티브 차원과 국소적 인젝티비티가 전반적 인젝티비티를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 그로텐디크 범주가 타테 코homology 함자와 아브람프-마르친스키 전순서를 갖는가?
• RQ2 고렌스타인 프로젝티브 및 인젝티브 모듈 이론은 프로젝티브가 충분하지 않은 범주, 예를 들어 준가환층의 범주에까지 확장될 수 있는가?
• RQ3 프로젝티브 스킴에 어떤 조건이 성립하면 그 준가환층의 범주가 고렌스타인 범주가 되는가?
• RQ4 준가환층의 고렌스타인 인젝티비티는 그 모든 정점에서의 국소화가 고렌스타인 인젝티브임과 동치인가?
• RQ5 국소적으로 고렌스타인 스킴 위의 준가환층의 범주에서 인젝티브 및 프로젝티브 모델 구조를 정의할 수 있는가?

주요 결과

• 국소적으로 고렌스타인 프로젝티브 스킴 위의 준가환층의 범주는 유한한 고렌스타인 인젝티브 차원을 가지며, 이러한 차원에 대한 전역적인 상한이 존재한다.
• 완전한 분해를 통해 국소적으로 고렌스타인 프로젝티브 스킴 위의 준가환층의 범주에서 타테 코homology 함자가 잘 정의되어 있다.
• 아브람프-마르친스키 전순서는 이러한 범주에서 존재하며, 고렌스타인 상대적, 절대적, 타테 코homological 함자들을 연결한다.
• 국소적으로 고렌스타인 스킴 위의 준가환층의 범주는 인젝티브 및 프로젝티브 모델 구조를 모두 갖는다. 이는 후베이의 프레임워크를 일반화한다.
• 준가환층이 고렌스타인 인젝티브임은 그 관련 쿼버의 모든 정점에서의 국소화가 국소 환 위에서 고렌스타인 인젝티브임과 동치이다.
• 고렌스타인 인젝티브 준가환층의 범주는 에피모르피즘의 커널에 대해 닫혀 있으며, 유한한 프로젝티브 차원을 가진 객체의 범주는 해소 클래스이다.