[논문 리뷰] The spectrum of prime ideals in tensor triangulated categories

Paul Balmer|ArXiv.org|2004. 09. 20.

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

한 줄 요약

이 논문은 텐서 트라이앵귤레이티드 카테고리에서 소 이상수의 스펙트럼을 보편적 서포트 위치로 도입하여, 대수기하학적 스킴과 모듈라 표현 이론에서의 서포트 다양체를 일반화하는 위상공간과 그 위에 정의된 링의 층을 구성한다. 주요 기여는 두드러진 텐서 아이디얼의 분류를 코어프랙트 보완을 갖는 닫힌 부분집합의 합집합으로 일반화함으로써 기하학적 및 표현론적 서포트 이론을 하나의 프레임워크로 통합하는 것이다.

ABSTRACT

We define the spectrum of a tensor triangulated category $K$ as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of $K$. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick tensor-ideal subcategories in terms of arbitrary unions of closed subsets with quasi-compact complements (Thomason's theorem for schemes, mutatis mutandis). We also equip this spectrum with a sheaf of rings, turning it into a locally ringed space. We compute examples and show that our spectrum unifies the schemes of algebraic geometry and the support varieties of modular representation theory.

연구 동기 및 목표

• 텐서 트라이앵귤레이티드 카테고리의 대상에 대해 소 이상수를 이용한 보편 서포트 이론을 정의하기 위해.
• 텐서 트라이앵귤레이티드 카테고리의 스펙트럼으로서의 위상공간을 구성하고, 이에 링의 층을 부여하여 국소적으로 링화된 공간으로 만드는 것.
• 대수기하학과 모듈라 표현 이론에서 두드러진 텐서 아이디얼의 분류를 통합하는 것.
• 스펙트럼과 기존의 서포트 다양체(예: 유한군에 대해 Proj(H•(G,k))) 사이의 표준적 호메오멀피즘을 확립하는 것.
• 모든 텐서 트라이앵귤레이티드 카테고리로 일반화된 토마슨의 분류 정리에 확장되는 일반적 프레임워크를 제공하는 것.

제안 방법

• 텐서 트라이앵귤레이티드 카테고리에서 소 이상수를, 적절한 두껍고 ⊗-이디얼이면서 곱에 대해 닫혀 있는 것으로 정의한다: 만약 a⊗b ∈ P 이면, a ∈ P 또는 b ∈ P 이다.
• 소 이상수의 집합 Spc(𝒦)에 대해, U(a) = Spc(𝒦) \ supp(a) 를 생성하는 조건을 갖는 조르지 토폴로지로 위상공간을 부여한다. 여기서 supp(a) 는 a 를 포함하지 않는 소 이상수의 집합이다.
• 열린 부분집합 U ⊂ Spc(𝒦) 에 대해, End_{𝒦/𝒦_Z}(1_U) 를 할당하여, Z = Spc(𝒦)\U 의 닫힌 보완에 대해 지지되는 두껍고 ⊗-이디얼 𝒦_Z 를 기반으로 한 링의 프레셰프를 구성한다.
• 이 프레셰프를 층화하여 구조 층 𝒪_𝒦 를 얻고, Spc(𝒦) 를 국소적으로 링화된 공간으로 만든다. 이를 표기로 Spec(𝒦) 라 한다.
• 스펙트럼가 가진 보편 성질을 증명한다: 이는 객체의 서포트를 정의할 수 있는 가장 세밀한 공간이다.
• 스펙트럼과 기하적 객체(예: D^perf(X) 에서 X, stab(kG) 에서 Proj(H•(G,k))) 사이의 호메오멀피즘을 서포트 맵의 명시적 구성으로 확립한다.

실험 결과

연구 질문

• RQ1 모든 텐서 트라이앵귤레이티드 카테고리의 객체에 대해 보편 서포트 이론을 정의할 수 있는가?
• RQ2 두드러진 ⊗-이디얼의 분류를 위한 표준적 위상공간이 존재하는가?
• RQ3 소 이상수의 스펙트럼은 전통적인 대상들(예: 스킴, 서포트 다양체)과 어떻게 관련이 있는가?
• RQ4 스펙트럼 위에 정의된 구조 층은 O_X 나 Proj(H•(G,k)) 와 같은 기존 기하학적 구조를 복원할 수 있는가?
• RQ5 스펙트럼 자체가 스킴이 되는 조건은 무엇인가?

주요 결과

• 텐서 트라이앵귤레이티드 카테고리 𝒦 의 스펙트럼 Spc(𝒦) 는 객체의 서포트를 정의하는 보편 공간이며, 텐서 트라이앵귤레이티드 함자에 대해 보편 성질을 만족한다.
• 𝒦 내의 두드러진 ⊗-이디얼은 보완이 코어프랙트인 닫힌 부분집합의 임의의 합집합과 이중사상된다. 이는 토마슨의 분류 정리를 일반화한다.
• 𝒦 = D^perf(X) 인 경우, 스펙트럼 Spc(𝒦) 는 자연스럽게 스킴 X 와 호메오멀피즘을 이룬다. 이는 원래의 스킴 구조를 복원한다.
• 𝒦 = stab(kG) 인 경우, 스펙트럼 Spc(𝒦) 는 Proj(H•(G,k)) 와 호메오멀피즘을 이룬다. 이는 스펙트럼을 모듈라 표현 이론에서의 서포트 다양체와 일치시킨다.
• Spc(𝒦) 위의 구조 층 𝒪_𝒦 는 이 공간을 국소적으로 링화된 공간으로 만들며, 𝒦 = D^perf(X) 일 경우 이 층은 O_X 를 복원한다.
• 이 구성은 함자적이다: 임의의 텐서 트라이앵귤레이티드 함자는 스펙트럼 사이의 연속 함수를 유도하며, 서포트 이론적 구조를 유지한다.