[논문 리뷰] Hochschild cohomology of quantized symplectic orbifolds and the Chen-Ruan cohomology

Vasiliy Dolgushev, Pavel Etingof|ArXiv.org|2004. 10. 26.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 가환 대수기하학적 구조를 가진 심플렉틱 다양체 $ X $ 위에서 $ G $-안정한 양자화 대수에 대해, Ginzburg-Kaledin 추측의 덧셈 버전을 증명한다. 이는 $ X/G $ 오비폴드의 Chen-Ruan 코homology와 $ G $-불변 양자 대수 $ A^G $의 Hochschild 코homology 사이의 동형사상 수립을 의미하며, 계수로 $ \mathbb{C}((\hbar)) $ 를 사용한다. 결과는 Van den Bergh 대칭성, 왜곡된 군 대수의 Hochschild (코)homology의 분해, 그리고 고정점 부분다양체의 De Rham 코homology를 이용한 고정점 코homology 표현식을 통해 도출된다.

ABSTRACT

We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and A is a G-stable quantum algebra of functions on X then the graded vector space HH(A^G) of the Hochschild cohomology of the algebra A^G of invariants is isomorphic to the graded vector space H_{CR}(X/G)((h)) of the Chen-Ruan (stringy) cohomology of the orbifold X/G.

연구 동기 및 목표

• Ginzburg와 Kaledin이 제기한 바에 따르면, $ A^G $의 Hochschild 코hom로와 오비폴드 $ X/G $의 Chen-Ruan 코homology 사이의 동형사상을 수립하는 것.
• Hochschild 체의 형식성 정리에 의존하지 않고도 추측의 덧셈 버전을 증명하는 것.
• 변형 이론의 프레임워크를 오비폴드로 확장하여, 심플렉틱 반사 대수의 전역 유사체를 구축하는 것.
• 특히 고정점의 코드이먼션-2 부분다양체에 관련된 기하학적 및 군론적 자료를 통해 $ A^G $의 변형 공간을 특성화하는 것.

제안 방법

• Hochschild 코hom로와 호모로지 사이의 관계를 $ \hbar $-adic 위상에서 Van den Bergh 대칭성을 이용해 유도한다.
• 왜곡된 군 대수 $ A[G] $의 Hochschild (코)homology에 대한 분해 정리를 적용하며, 군 작용의 구조를 활용한다.
• 군 원소 $ g \in G $ 작용 하에서의 고정점 부분다양체 $ X_g^Q $ 의 De Rham 코homology를 이용해, 왜곡된 양측 모듈러스의 Hochschild 호모로지를 표현한다.
• 고정점 부분다양체 위의 미분형식 이중복합체에서, 군 작용과 호환되는 호모토피 연산자를 사용해 구체적인 사이클을 구성한다.
• 스펙트럴 시퀀스의 추론을 통해 약순환성과 피브어 코hom로지 내 $ \mathfrak{b} $-닫힘 대표를 구성한다.
• 양자 대수의 위상적 구조를 다루기 위해 Hochschild 복합체에서의 텐서곱의 $ \hbar $-adic 완비화를 사용한다.

실험 결과

연구 질문

• RQ1 양자 불변 대수 $ A^G $의 Hochschild 코hom로와 오비폴드 $ X/G $의 Chen-Ruan 코hom로 사이에 자연스러운 동형사상이 존재하는가?
• RQ2 이 동형사상은 Hochschild 체의 형식성 정리 없이도 확립될 수 있는가?
• RQ3 특히 $ G $의 고정점 부분다양체와 관련하여, $ HH^\bullet(A^G) $ 내의 코homological 성분의 기하학적 기원은 무엇인가?
• RQ4 특히 심플렉틱 반사가 존재할 경우, $ A^G $의 변형 이론은 오비폴드 기하학 $ X/G $ 와 어떻게 관련되어 있는가?
• RQ5 변형 공간 $ A^G $ 는 $ X $ 의 $ G $-불변 코homological 자료로 순수하게 기술될 수 있는가?

주요 결과

• $ A^G $의 Hochschild 코hom로 $ HH^\bullet(A^G) $ 는 Chen-Ruan 코hom로 $ H^\bullet_{CR}(X/G, \mathbb{C}((\hbar))) $ 와 동형이며, 이는 Ginzburg-Kaledin 추측의 덧셈 버전을 확인한다.
• 형식성 정리를 사용하지 않고, Van den Bergh 대칭성과 고정점 부분다양체 내에서의 명시적 사이클 구성에 의존하여 동형사상을 수립한다.
• $ A^G $의 코homology 는 각 공轭류 $ g \in G $ 에서의 기여로 분해되며, 코드이먼션-2 고정점 부분다양체 $ X_g^Q $ 에서의 $ H^\bullet(X_g^Q) $ 에서 기인한 성분을 포함한다.
• $ A^G $의 변형 공간 $ H^2(A^G) $ 는 $ H^2_{CR}(X/G) $ 와 동형이며, 이는 $ H^2(X)^G \oplus \bigoplus_{g \in G, \operatorname{codim} X_g^Q = 2} H^0(X_g^Q)^{Z(g)} $ 로 분해되며, 계수로 $ \mathbb{C}((\hbar)) $ 를 사용한다.
• $ H^3(X)^G $ 와 $ H^1(X_g^Q)^{Z(g)} $ 가 0일 경우, $ A^G $ 의 변형은 차단되지 않으며, 이는 $ H^2(A^G) $ 를 매개변수로 하는 보편 형식적 변형의 존재를 의미한다.
• 결과는 유리수 및 심플렉틱 반사 대수의 일반화로서, 더 넓은 오비폴드 클래스에 대해 적용되며, $ X,G $ 에 대한 '심플렉틱 반사 대수'의 개념을 도입한다.