[논문 리뷰] Orbifold Cohomology as Periodic Cyclic Homology

Vladimir Baranovsky|ArXiv.org|2002. 06. 24.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 7

한 줄 요약

이 논문은 유도된 등변층의 분류를 통해 오비폴드 코homology와 주기적 순환 호몰로지 사이의 범주적 프레임워크를 수립한다. $X/G$의 오비폴드 코homology가 $X$ 위의 $G$-등변층의 유도 범주와 주기적 순환 호몰로지 사이에 동형임을 증명함으로써, Cohomological Crepant Resolution Conjecture에 대한 새로운 접근을 제공하고, 오비폴드 곱의 구조에 대한 범주적 기원을 제안한다.

ABSTRACT

It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite group G acting on X the same procedure applied to G-equivariant sheaves gives the orbifold cohomology of X/G. As an application, in some cases we are able to obtain simple proofs of an additive isomorphism between the orbifold cohomology of X/G and the usual cohomology of its crepant resolution (the general equality of Euler and Hodge numbers was obtained earlier by various authors). We also state some conjectures on the product structures, as well as the singular case; and a connection with recent work by Kawamata.

연구 동기 및 목표

• 주기적 순환 호몰로지를 사용하여 오비폴드 코hom로지를 위한 유도된 범주적 프레임워크를 수립하기.
• 오비폴드 코호몰로지 $X/G$와 크립탄트 해소 $Y$의 코호몰로지 사이의 덧셈 동형을 새로운 방식으로 증명하기.
• 오비폴드 곱의 구조를 유도 범주의 컨볼루션 곱과 연결하기.
• 일반선형 스택에 대한 이 접근을 순환 호몰로지의 일관된 층에 의해 일반화하기.

제안 방법

• 정확한 범주 $\mathcal{A}$, 예를 들어 $Vect_G(X)$ 또는 $Coh_G(X)$와 같은 것들에 대한 호몰로지 이론으로서의 주기적 순환 호몰로지 $HC_\bullet(\mathcal{A}, W)$의 사용.
• 유한군 작용에 대해 $G$-등변 동형사상 $\psi_X: HC_\bullet(Vect_G(X), W) \simeq \left(\bigoplus_{g\in G} HC_\bullet(Vect(X^g), W)\right)_G$ 의 구성.
• 로컬라이제이션 쌍의 유도 동치에 대해 $HC_\bullet$ 가 불변임을 활용하여 $D^b(Y)$ 와 $D^b_G(X)$ 를 연결하기.
• 고정점 집합 $X^g$ 에 沿해 유도된 푸시포워드 및 푸시다운의 구조를 이용하여 동형사상을 정의하기.
• $Z = X \times_{[X/G]} X$ 에서 $\mathcal{F} * \mathcal{G} = m_* (p_1^* \mathcal{F} \otimes p_2^* \mathcal{G})$ 로 정의된 컨볼루션 곱을 통해 오비폴드 곱을 모델링하기.
• 주어진 $G$-코인variant 구성이 $Z = \coprod_g X^g$ 에서 Ruan 이론의 오비폴드 곱의 구조를 복원할 것이라 추측하기.

실험 결과

연구 질문

• RQ1 오비폴드 코호몰로지가 주기적 순환 호몰로지를 통해 $G$-등변층의 유도 범주로부터 범주적으로 복원될 수 있는가?
• RQ2 $HC_\bullet(D^b_G(X))$ 와 $H^*_{orb}(X/G, \mathbb{C})$ 사이의 동형사상이 곱의 구조로까지 확장되는가?
• RQ3 오비폴드 곱 $H^*_{orb}(X/G, \mathbb{C})$ 가 유도 범주에서의 컨볼루션 곱으로 실현될 수 있는가?
• RQ4 이 동형사상이 일관된 층의 순환 호몰로지를 통해 특이한 딜레인-무어먼프 스택으로 일반화될 수 있는가?
• RQ5 범주적 동치 $D^b(Y) \simeq D^b_G(X)$ 는 $H^*(Y, \mathbb{C})$ 와 $H^*_{orb}(X/G, \mathbb{C})$ 사이의 환 동형사상을 암시하는가?

주요 결과

• 유한군 $G$ 가 복소수 위의 스무스 준사영 다양체 $X$ 에 작용하는 한, 임의의 $X$ 에 대해 $\psi_X: HC_\bullet(Vect_G(X), W) \simeq \left(\bigoplus_{g\in G} HC_\bullet(Vect(X^g), W)\right)_G$ 의 자연스러운 동형사상을 구성한다.
• $W = \mathbb{C}[u, u^{-1}]$ 일 때, 주기적 순환 호몰로지 $HC_\bullet(Vect_G(X), W)$ 는 $H^*_{orb}(X/G, \mathbb{C})$ 를 그라디에이티드 벡터 공간으로서 복원한다.
• $\psi_X$ 는 $G$-등변 사상에 대해 함의적이며, 고정점 포함 사상의 풀백과의 호환성을 보장한다.
• 일부 경우에서 알려진 바와 같이 $D^b(Y) \simeq D^b_G(X)$ 의 유도 동치는 주기적 순환 호몰로지 구성에 의해 $H^*(Y, \mathbb{C}) \simeq H^*_{orb}(X/G, \mathbb{C})$ 의 덧셈 동형사상을 암시한다.
• 논문은 $Z = \coprod_g X^g$ 에서의 컨볼루션 곱이 $H^*_{orb}(X/G, \mathbb{C})$ 에서 오비폴드 곱을 유도할 것이라 추측하며, Ruan 이론의 오비폴드 곱에 대한 범주적 모델을 제공한다.
• 특이한 $X$ 에 대해서는 오비폴드 코호몰로지를 $Coh_G(X)$ 의 순환 호몰로지로 정의하는 것이 제안되며, 이는 전통적인 코호몰로지보다 더 잘 행동하는 불변량을 제공할 수 있다.