[논문 리뷰] Stacks of quantization-deformation modules on complex symplectic manifolds

Pietro Polesello, Pierre Schapira|arXiv (Cornell University)|2003. 05. 12.

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

한 줄 요약

이 논문은 복소 심플렉틱 다양체 위에 양자화-변형 모듈의 스택을 기하학적 변형 양자화 접근법을 사용하여 구성한다. 전이 함수와 관련된 체 코ycle이 심플렉틱 형식 ω의 드 레함 코homology 클래스에 대응함을 입증함으로써, 코 tangent bundle 위의 표준 1-form과 접촉 동형사상들을 통해 모듈 스택의 구조가 기저가 되는 심플렉틱 위상수학과 연결된다.

ABSTRACT

On a complex symplectic manifold, we construct the stack of quantization-deformation modules, that is, (twisted) modules of microdifferential operators with an extra central parameter, a substitute to the lack of homogeneity. We also quantize involutive submanifolds of contact manifolds.

연구 동기 및 목표

• 복소 심플렉틱 다양체 위에서 양자화-변형 모듈에 대한 일관된 프레임워크를 개발하는 것.
• 열린 덮개 위의 국소 데이터를 통해 이러한 모듈의 기하학적 및 코homological 구조를 이해하는 것.
• 모듈 스택의 전이 자료를 심플렉틱 형식 ω의 드 레함 코homology 클래스와 연결하는 것.
• 코 tangent bundle 위의 표준 1-form을 통해 모듈 스택의 체 코ycle과 심플렉틱 클래스 [ω] 사이의 정확한 대응을 설정하는 것.

제안 방법

• 복소 심플렉틱 다양체 X의 열린 덮개 {Ui}를 사용하여 국소적 표준형을 정의한다.
• 각 코 tangent bundle T∗Xi 위의 표준 1-form αT∗Xi를 사용하여 국소적으로 심플렉틱 형식 ω를 d(φ∗iαT∗Xi)로 표현한다.
• 겹침 Uij에서 전이 함수 aij를 도입하여 (φ∗jαT∗Xj)|Uij = (φ∗iαT∗Xi)|Uij + d aij 를 만족시킨다.
• 접촉 구조에서 유도된 기하학적 전이 동형사상 ψij를 적용하며, 레이마 LABEL:lemma:geomconttrans 를 사용한다.
• 심플렉틱 클래스 [ω]를 드 레함 동형사상 아래에 코프로덕트로 표현하는 체 코ycle 데이터를 통해 모듈 스택을 구성한다.
• 드 레함 동형사상에 의존하여 전이 코ycle의 코homology 클래스가 [ω]와 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 국소 기하학적 자료를 사용하여 복소 심플렉틱 다양체 위에 양자화-변형 모듈을 일관적으로 스택화할 수 있는 방법은 무엇인가?
• RQ2 이러한 모듈의 스택에서 전이 코ycle의 코homological 의미는 무엇인가?
• RQ3 코 tangent bundle 위의 표준 1-form은 심플렉틱 형식과 그 국소 표현과 어떻게 관련이 있는가?
• RQ4 접촉 동형사상 ψij는 함수 aij에 대한 의존성에 의해 얼마나 심플렉틱 구조를 포함하는가?
• RQ5 스택의 체 코ycle은 심플렉틱 형식의 드 레함 클래스 [ω]와 식별될 수 있는가?

주요 결과

• 양자화-변형 모듈의 스택과 관련된 체 코ycle (aij)은 심플렉틱 형식 ω의 드 레함 코homology 클래스 [ω]를 나타낸다.
• 겹침 Uij에서 국소 심플렉틱 형식 ω|Ui는 T∗Xi 위의 표준 1-form의 풀백의 외부 도함수로 표현된다.
• 겹침 Uij에서 풀백 1-form의 전이는 d aij에 의해 지배되며, 이는 국소 자료를 전역 코homology와 연결시킨다.
• 접촉 동형사상 ψij는 함수 aij와 기하학적 전이 레이마에 의해 명시적으로 결정된다.
• 스택의 구조는 심플렉틱 클래스 [ω]에 의해 완전히 결정되며, 이는 직접적인 코homological 대응을 수립한다.
• 이 구성은 체 코homology를 통해 변형 양자화 모듈과 기저가 되는 심플렉틱 위상수학 사이에 표준적인 연결을 실현한다.