[논문 리뷰] Homologically finite-dimensional objects in triangulated categories

Alexander Kuznetsov, Evgeny Shinder|arXiv (Cornell University)|2022. 11. 17.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 dg-강화된 삼각 범주에서 호모로지적으로 유한차원적(hfd) 객체를 도입하여, 반사성, hfd-닫힘성, 과르스타인 성질을 정의하고, 카테고리적 수축과 크립탄트 해소를 연구한다. 주요 결과는 중심 근처에서 지지되는 조건 하에, 특이 다양체의 유도 범주와 그 스무딩의 유도 범주 간의 상반직선 분해 사이에 일대일 대응 관계를 수립하는 것이다. 이는 hfd 구성과 dg-함수자료의 대칭성에 기반한다.

ABSTRACT

In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for triangulated categories, and discuss crepant categorical contractions. We illustrate the introduced notions on examples of categories of geometric and algebraic origin and provide geometric applications. In particular, we apply our results to prove a bijection between semiorthogonal decompositions of the derived category of a singular variety and the derived category of its smoothing with support on the central fiber.

연구 동기 및 목표

• 작은 dg-강화된 삼각 범주에서의 호모로지적으로 유한차원적(hfd) 객체를 정의하고 연구하는 것.
• 삼각 범주에 대해 반사성, hfd-닫힘성, 과르스타인 성질의 개념을 도입하고 조사하는 것.
• 이 개념들을 카테고리적 수축과 크립탄트 해소에 적용하여 기하학적 및 대수적 맥락에서 연구하는 것.
• 특이 다양체의 유도 범주와 그 스무딩의 유도 범주 간의 상반직선 분해 사이에 일대일 대응 관계를 수립하는 것. 이는 중심 근처에서 지지되는 조건 하에 성립한다.
• 스무딩의 유도 범주에 속한 예외적 객체들이 중심 근처에서 스킴 이론적으로 지지된다는 것을 증명하는 것.

제안 방법

• 모든 t ∈ T에 대해 M(t)가 k-벡터 공간의 유한차원 유한 복합체인, dg-범주 T 위의 dg-모듈 M으로서 hfd-객체를 정의한다.
• 모든 hfd-객체의 부분범주 D_fd(T) ⊂ D(T)를 정의하며, 이는 소형의 dg-강화된 삼각 구조를 상속한다.
• 자연스러운 함자에 의해 D_fd(D_fd(T)) ≃ T를 만족하는 경우, 범주 T를 반사적이라고 정의한다. 이는 hfd 구성의 반복 적용을 가능하게 한다.
• T가 반사적일 경우, hfd 구성에 의해 유도되는 대칭성에 의해 T와 D_fd(T)의 왼쪽/오른쪽 적합 부분범주 간의 일대일 대응 관계를 수립한다.
• dg-함수자료의 대칭성과 hfd 연산을 활용하여 특이적이고 스무딩된 다양체의 유도 범주에 속한 부분범주 간의 관계를 규명한다.
• 콘의 추론과 Ext 계산을 활용하여 D^b_X(X)의 모든 예외적 객체가 X 상에서 스킴 이론적으로 지지된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 T ↦ D_fd(T) 연산이 T와 D_fd(T)의 적합 부분범주 간에 일대일 대응를 유도하는 조건은 무엇인가?
• RQ2 삼각 범주 T가 반사적일 조건은 무엇인가? 즉, D_fd(D_fd(T)) ≃ T를 만족하는가?
• RQ3 hfd-객체와 반사성은 크립탄트 카테고리적 수축과 과르스타인 성질과 어떻게 관련되는가?
• RQ4 특이 다양체의 유도 범주에 대한 상반직선 분해는 그 스무딩의 유도 범주를 통해 분류될 수 있는가?
• RQ5 스무딩의 유도 범주에 속한 모든 예외적 객체는 중심 근처에서 스킴 이론적으로 지지되는가?

주요 결과

• 연산 T ↦ D_fd(T)는 상반직선 분해를 유지하며, 구성요소의 순서가 반전된다: T = ⟨A₁,…,Aₙ⟩이면 D_fd(T) = ⟨D_fd(Aₙ),…,D_fd(A₁)⟩이다.
• 반사적 범주 T에 대해, T와 D_fd(T)의 왼쪽/오른쪽 적합 부분범주 간의 사상은 상호 역인 일대일 대응 관계를 이룬다.
• 반사성은 반대 범주를 취하거나 D_fd(T)로 이행할 때도 유지되며, 적합 부분범주에 의해 유전된다.
• X가 특이적 다양체이고 X̃가 그 스무딩일 경우, D^b(X)와 D^perf(X)의 적합 부분범주 집합 간에 자연스러운 일대일 대응 관계가 존재한다.
• D^b_X(X̃)에 속한 모든 예외적 객체는 Ext 계산과 콘 분석을 통해 X 상에서 스킴 이론적으로 지지된다는 것이 입증된다.
• 함자 Υ_ι*와 Υ_ι*의 합성은 D^b(X), D^b_X(X̃), D^perf(X)의 부분범주 간에 이원적 대응 관계를 유도하며, Υ^perf는 일대일 대응를 이룬다.