[논문 리뷰] Local cohomology and support for triangulated categories

Dave Benson, Srikanth B. Iyengar외 1명|ArXiv.org|2007. 02. 21.

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

한 줄 요약

이 논문은 연산자에 대한 중심적이고 순차적인 노에테르 링에 대한 국소 코hom로지 함자들을 사용하여 컴act하게 생성된 삼중적 카테고리에서의 지지의 통합적 프레임워크를 제안한다. 이는 교환 법칙이 성립하는 링, 완전 교차점, 군 표현에 대한 기존 이론들을 복원하고 개선하며, 유한성 조건이 성립하지 않을 경우 삼중적 지지와 코호몰로지 지지가 다를 수 있음을 보여준다.

ABSTRACT

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Suitably specialized one recovers, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of finite groups according to Benson, Carlson, and Rickard. We give explicit examples of objects whose triangulated support and cohomological support differ. In the case of group representations, this allows us to correct and establish a conjecture of Benson.

연구 동기 및 목표

• 소형 쌍대곱을 갖는 컴팩트하게 생성된 삼중적 카테고리에 대한 일반적인 지지 개념을 개발한다.
• 교환 법칙이 성립하는 노에테르 링, 완전 교차점 국소 링, 유한군 표현에 대한 기존 지지 이론들을 하나의 프레임워크 아래 통합한다.
• 유한성 조건이 성립하지 않을 경우 삼중적 지지와 코호몰로지 지지 간의 관계를 명확히 한다.
• 중심적 연산자 링에 대해 삼중적 카테고리에 국소 코호몰로지 이론을 수립하여 객체의 기하학적 분석을 가능하게 한다.
• 군 표현 이론에서의 추측을 수정하고 확인하기 위해 삼중적 지지와 코호몰로지 지지를 구별한다.

제안 방법

• 소형 쌍대곱을 갖는 삼중적 카테고리 T와 그 중심에 있는 순차적인 노에테르 링 R이 존재하도록 정의한다.
• R을 기반으로 국소 코호몰로지 함자를 구성하여 스킴에 대한 그로텐디크의 국소 코호몰로지 이론을 일반화한다.
• T의 객체 X에 대해 보조 지지 할당 supp_R(X)을 도입하며, 네 가지 공리(코호몰로지 비교, 수직성, 정확성, 분리성)를 만족시킨다.
• 지지의 전문화 폐쇄와 컴팩트 객체들에 대한 합을 이용하여, 컴팩트 생성자에서의 코호몰로지에 기반한 삼중적 지지를 표현한다.
• 특수한 경우에 이 이론을 적용한다: 교환 법칙이 성립하는 노에테르 링(폭시-니먼), 완전 교차점(아브람프-부크바이츠), 군 표현(벤슨-칼슨-리카드).
• R에 대한 코호몰로지 모듈러스가 유한 생성일 경우 삼중적 지지 supp_R(X)가 코호몰로지 지지 supp_R(H*(X))와 일치함을 증명한다; 그렇지 않으면 다를 수 있다.

실험 결과

연구 질문

• RQ1 소형 쌍대곱을 갖는 컴팩트하게 생성된 삼중적 카테고리에 대해 중심적 연산자 링을 사용하여 통합된 지지 이론을 정의할 수 있는가?
• RQ2 R에 대한 코호몰로지 모듈러스가 유한 생성되지 않을 경우 삼중적 지지와 코호몰로지 지지 간의 관계는 어떻게 되는가?
• RQ3 제안된 지지 이론이 교환 법칙이 성립하는 링, 완전 교차점, 군 표현에 대한 기존 지지 이론을 복원하고 개선하는가?
• RQ4 이 이론은 군 표현 이론에서 지지 다양체에 관한 추측을 수정하고 검증할 수 있는가?
• RQ5 국소 코호몰로지 함자들은 삼중적 카테고리의 객체 지지 구조를 어떻게 조직하는가?

주요 결과

• 코호몰로지 비교, 수직성, 정확성, 분리성의 네 가지 공리를 만족하는 유일한 지지 할당 supp_R(X)이 존재한다.
• R에 대해 코호몰로지 모듈러스가 유한 생성일 경우 삼중적 지지 supp_R(X)는 코호몰로지 지지 supp_R(H*(X))와 일치한다.
• 명시적인 예시들은 R에 대해 코호몰로지 모듈러스가 유한 생성되지 않을 경우 삼중적 지지와 코호몰로지 지지가 다를 수 있음을 보여준다.
• 완전 교차점 링 위의 복합체의 지지는 고전적 지지의 개선이며, 각 소수에서의 국소 지지를 캐릭터화한다.
• 이 이론은 완전 교차점 링 위의 복합체 지지 다양체에 대한 연결성 정리를 도출하며, 버그의 결과를 복원한다.
• 이 프레임워크는 삼중적 지지가 컴팩트 생성자들을 통해 코호몰로지 데이터를 탐지함으로써 군 표현 이론에서의 추측을 수정하고 확인한다.