[논문 리뷰] Deformation quantization modules

Masaki Kashiwara, Pierre Schapira|arXiv (Cornell University)|2010. 03. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 42인용 수 83

한 줄 요약

이 논문은 복소다양체 위의 DQ-algebroid를 사용하여 변형 양자화 모듈러스(DQ-modules)를 개발하며, D-모듈러스와 미크로차분형 시스템을 일반화한다. 일관된 커널의 콘볼루션에 대한 유한성 정리, 쌍대화 복합체의 구성, 호크스하우드 클래스가 콘볼루션과 가환함을 증명하고, 이 클래스들이 추상적이고 심플렉틱한 경우의 체른 및 오일러 클래스와 연결됨을 보이며, 해로닉 DQ-모듈러스와 라그랑주 서변형에의 응용을 포함한다.

ABSTRACT

We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class commutes with composition of kernels, a kind of Riemann-Roch theorem in the non-commutative setting. Finally we study holonomic modules on complex symplectic manifolds and we prove in particular a constructibility theorem.

연구 동기 및 목표

• D-모듈러스 이론을 변형 양자화 알gebroid(DQ-algebroids)로 일반화하여, 일관된 복합체와 쌍대화에 관한 고전적 결과를 확장한다.
• 적절한 조건 하에서 콘볼루션의 일관된 커널에 대한 유한성 정리를 확립하며, 그레우어트의 정리와 유사하게 적용한다.
• DQ-algebroid에 대해 쌍대화 복합체를 구성하고, 쌍대화가 콘볼루션과 가환함을 증명한다.
• 일관된 DQ-모듈러스의 호크스하우드 클래스를 정의하고, 이들이 콘볼루션과의 호환성을 가지는지 연구한다.
• 호크스하우드 클래스가 추상적이고 심플렉틱한 경우의 체른 및 오일러 클래스와 어떻게 관련되어 있으며, 라그랑주 부분다양체에 지지된 해로닉 DQ-모듈러스를 연구한다.

제안 방법

• 복소수 형식의 $\mathbb{C}[[\hbar]]$ 위의 링층의 형식적 변형 이론을 사용하며, $\hbar$-완전하고 $\hbar$-토르션 자유인 대수에 중점을 둔다.
• 유도 범주 $\mathrm{D}(\mathscr{A})$ 내에서 코homologically complete 모듈러스를 정의하고, 일관성과 평탄성에 대한 기준을 제시한다.
• DQ-algebroid를 국소적으로 형식적 스타대수와 동형인 스택으로 정의하며, 콘트세비치의 양자화 정리에 따라 파울슨 구조를 암시한다.
• 유도 범주에서의 콘볼루션을 통해 커널을 구성하고, 사영 사상의 적절성 조건 하에서 유한성을 증명한다.
• 쌍대화 정리와 거의 자유 해석을 사용하여 쌍대화가 콘볼루션과 가환함을 증명한다.
• 유도된 Hom-복합체를 통해 호크스하우드 클래스를 정의하고, 이들이 콘볼루션과의 호환성 및 특수한 경우의 체른/오일러 클래스와의 관계를 증명한다.

실험 결과

연구 질문

• RQ1 일관된 DQ-모듈러스 이론은 어떻게 DQ-algebroid로 확장될 수 있으며, 어떤 유한성 성질을 만족하는가?
• RQ2 일관된 DQ-모듈러스에 대해 쌍대화가 콘볼루션과 가환하는가? 이는 쌍대화 복합체를 통해 어떻게 증명할 수 있는가?
• RQ3 DQ-모듈러스의 호크스하우드 클래스의 구조는 어떠한가? 그리고 콘볼루션 하에서 어떻게 행동하는가?
• RQ4 호크스하우드 클래스는 추상적이고 심플렉틱한 경우의 체른 및 오일러 클래스와 어떻게 관련되어 있는가?
• RQ5 해로닉 DQ-모듈러스의 해석 복합체의 구성 가능성을 보장하는 조건은 무엇인가? 특히 심플렉틱 설정에서 지원이 라그랑주일 경우에 대해.

주요 결과

• 적절한 조건 하에서 두 일관된 커널의 콘볼루션은 일관된 것으로 유지되며, 이는 DQ 설정에서 그레우어트의 정리를 일반화한다.
• DQ-algebroid에 대해 쌍대화 복합체가 존재하며, 유도 범주 기법을 통해 쌍대화가 콘볼루션과 가환함을 증명한다.
• 일관된 DQ-모듈러스의 호크스하우드 클래스는 잘 정의되어 있으며, 콘볼루션과 가환함을 보이며 핵심 불변성을 확립한다.
• 추상적 경우에 호크스하우드 클래스는 체른 클래스에 대응하고, 심플렉틱 경우에선 $\mathscr{D}$-모듈러스의 오일러 클래스와 관련된다.
• 해로닉 DQ-모듈러스의 해석 복합체는 구성 가능하며, 특히 지지가 라그랑주일 경우에 해당한다.
• Hamiltonian 변형을 통해 $\Lambda_a = \Phi(x,a)(\Lambda_0)$가 성립할 경우, $\mathrm{R}^i\mathrm{Hom}_{\mathscr{A}_X^{\rm loc}}(\mathscr{L}_a, \mathscr{N})$의 차원은 $a$에 관계없이 일정하며, 이는 심플렉틱 변형에 대해 불변임을 나타낸다.