[논문 리뷰] Remarks on Theta-stratifications and derived categories

Daniel Halpern-Leistner|arXiv (Cornell University)|2015. 02. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 9

한 줄 요약

이 논문은 고전적 GIT에서 요구되는 기술적 가정을 제거하면서 전역 몰입 스택의 유도 분해의 준거를 일반화하기 위해 유도 대수기하학에서 파생된 $Θ$-분할 프레임워크를 수립한다. K-이론에서 가상 비아벨 국소화 정리를 증명하여, 스택 위의 오일러 특성수는 고정점의 기여를 통해 명시적인 가상 복합체를 통해 분해되며, 이는 특이성이나 비미분 가능성이 있는 스택일지라도 유효하다.

ABSTRACT

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in cohomology.

연구 동기 및 목표

• 기하학적 불변량 이론에서 유도 분해의 준거를 최소한의 가정으로 유도 대수기하학으로 확장하기 위해.
• 기존 결과가 기술적 조건 (L+)과 (A)에서 실패하는 것을 해결하기 위해 몰입 스택의 유도 강화를 사용하여.
• 특이성이나 비미분 가능성이 있는 스택일지라도 적용 가능한 K-이론적 가상 비아벨 국소화 공식을 수립하기 위해.
• 유도 몰입 스택 위의 완전 복합체의 오일러 특성수가 고정점의 기여를 통해 가상 복합체를 통해 분해됨을 보여주기 위해.
• 일치하는 파라미터 하에르프의 분할을 통해 등변 K-이론 적분을 계산하는 프레임워크를 제공하기 위해.

제안 방법

• 특성 0에서의 유도 전역 몰입 스택 $\mathcal{X} = X/G$ 에서 유도된 $Θ$-분할의 개념을 도입한다.
• 일개의 유도된 $Θ$-분할에 대해 지지 코homology를 적용하여 $D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 의 준거분해를 도출한다.
• 리 대수 코hom로지와 $\bigwedge^\ast(\mathfrak{u}^\vee)$ 를 포함하는 명시적 복합체를 사용하여 분할에서 $U$-gerbe를 따라 보존을 계산한다.
• 정규화의 음의 무게 부분의 대칭곱의 무한합으로서 가상 복합체 $E_i$ 를 구성하며, 이는 오일러 특성수에 기여하는 데 유한하게만 기여한다.
• 복합체 $\pi_*F$ 를 계산하는 필터링을 적용하여 오일러 특성수에 기여하는 항이 유한 개임을 보여준다.
• 유도 대수기하학과 등변 K-이론의 결과를 결합하여 $\chi(\mathcal{X}, F) = \chi(\mathcal{X}^{ss}, F) + \sum \chi(\mathcal{Z}_i, E_i \otimes \sigma^*F)$ 를 증명한다.

실험 결과

연구 질문

• RQ1 기하학적 불변량 이론의 몰입 스택에 대한 유도 분해의 준거를 (L+) 및 (A)와 같은 기술적 가정 없이 유도 대수기하학으로 일반화할 수 있는가?
• RQ2 특이성이나 비미분 가능성이 있는 유도 몰입 스택에 대해 K-이론에서 가상 비아벨 국소화 공식을 어떻게 구성하고 증명할 수 있는가?
• RQ3 일치하는 파라미터 하에르프와 고정점이 가상 복합체 $E_i$ 에서 나타나는 K-이론적 국소화 공식의 역할은 무엇인가?
• RQ4 반드시 안정화된 국소가 없는 경우에도, 유도 몰입 스택 위의 완전 복합체의 오일러 특성수를 고정점의 기여로 계산할 수 있는가?
• RQ5 특이성이나 비미분 가능성이 존재할 때, 유도된 $Θ$-분할은 유도 분해의 구조를 어떻게 정교화하는가?

주요 결과

• 유도된 $Θ$-분할은 기술적 가정 없이 유도 몰입 스택 $\mathcal{X} = X/G$ 에 대해 $D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 의 준거분해를 가능하게 한다.
• 장애 클래스가 0인 준미분 유도 몰입 스택의 경우, 정리 3.1에 의해 $D^b\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 의 준거분해가 확립된다.
• 분할의 포함이 정규 임베딩일 경우, 정리 2.1에 의해 $\!\mathop{\rm Perf}\nolimits(\mathcal{X})$ 의 준거분해가 얻어진다.
• 가상 비아벨 국소화 정리(정리 5.1)는 $\chi(\mathcal{X}, F)$ 를 고정점 $\mathcal{Z}_i$ 에 대한 합으로 표현하며, 이는 무한합이지만 오일러 특성수에 기여하는 항은 유한 개이다.
• 가상 복합체 $E_i$ 는 일치하는 파라미터 하에르프 $\lambda_i$ 와 고정점의 정규화의 구조에 따라 달라지며, 이는 공식이 분할 선택에 민감함을 나타낸다.
• 오일러 특성수에 기여하는 항이 유한 개임을 보장하기 위해, 보존 복합체의 아래로 유계된 필터링과 그에 따른 호모로지가 정규화의 음의 무게 부분의 대칭곱과 동형임을 이용하여 증명한다.