[논문 리뷰] Microlocal Category

Dmitry Tamarkin|arXiv (Cornell University)|2015. 11. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 4

한 줄 요약

이 논문은 유도 층의 범주와 호모토피 대수학을 사용하여 미세국소 범주를 구성하고, 오페라드와 트레이스를 통해 양자화 프레임워크를 수립한다. 층 범주 위에 호모토피-일관된 오페라드(VCO) 구조를 도입하여, 미세국소 범주가 곡률을 가진 $A_\infty$-범주로서의 구조를 지닌다는 것을 증명함으로써, 호모토피 동치와 트레이스 구조로의 환원을 통해 양자화 문제를 해결한다.

ABSTRACT

Given a compact symplectic manifold whose symplectic form has integer periods, one associates to it a dg category based on the microlocal analysis according to Kashiwara-Schapira

연구 동기 및 목표

• 유도 층의 범주에서 풍부화된 미세국소 범주를 구성하고, 호모토피-일관된 오페라드 구조를 갖춘다.
• 정수 주기와 함께 쌍곡기하학적 다양체에 대한 양자화 문제를 변형 복합체와 트레이스 구조를 통해 해결한다.
• 호모토피 동치와 환원을 통해 미세국소 층 이론과 곡률을 가진 $A_\infty$-범주 간의 연결 고리를 구축한다.
• 쌍곡구간 위의 층의 범주를 완전한 곡률을 가진 $A_\infty$-범주로 일반화하고, 모듈러 구조를 포함한다.
• 오페라드적 및 순환적 구조를 사용하여 트레이스를 갖춘 모노이드 범주를 정의하고, 쌍곡기하학적 통합의 양자화를 가능하게 한다.

제안 방법

• 범주 $X$ 위의 유도 층의 범주와 그들의 콘볼루션 곱을 사용하여 미세국소 범주 $\operatorname{sh}_q(X)$를 정의한다.
• 전체 오페라드의 준자유 해체 $\mathcal{O}$를 구성하여 $\mathbb{A}^V$ 위에 호모토피-일관된 오페라드(VCO) 구조를 정의한다.
• 감소 함수자 $\mathbf{red}$를 적용하여 $\mathbf{R}_q$에서 $\mathbf{R}_0$로의 전이를 통해 트레이스 구조를 도출한다.
• 호모토피 동치의 지그재그 $\mathbb{A} \xleftarrow{\sim} \mathbb{A}' \to \mathcal{O}$를 사용하여 양자화 사상의 실현을 수행한다.
• $\mathbf{a} \otimes \mathbf{MC}$-작용을 사용하여, $\mathbf{R}_q$-풍부화된 $\mathcal{M}_M$ 범주를 쌍 $(\mathcal{B}, M)$ 위의 곡률을 가진 $A_\infty$-대수의 범주로 정의한다.
• $c_1$-국소화와 $\mathbb{Z} \times \mathbb{Z}$-등변성을 활용하여 범주 내의 모노이드 구조와 트레이스를 제어한다.

실험 결과

연구 질문

• RQ1 어떻게 층 이론적 방법과 호모토피 대수학을 통해 미세국소 범주를 구성하여 쌍곡기하학을 캡슐화할 수 있는가?
• RQ2 $c_1$-국소화와 $\mathbb{Z} \times \mathbb{Z}$-등변성은 쌍곡기하학적 다양체의 양자화를 정의하는 데 어떤 역할을 하는가?
• RQ3 유도 층의 범주 위에 호모토피-일관된 오페라드(VCO) 구조를 실현하여 양자 구조를 모델링할 수 있는가?
• RQ4 범주 위의 트레이스 구조는 Hochschild 복합체와 원형 오페라드와 어떻게 관련이 있는가?
• RQ5 미세국소 범주 위의 정확한 $A_\infty$-범주적 구조는 무엇이며, 곡률과 모듈러 작용과의 호환성은 어떻게 보장되는가?

주요 결과

• 미세국소 범주 $\operatorname{sh}_q(X)$는 $\mathbf{R}_q$-풍부화된 $A_\infty$-범주로서 대수적 구조에 곡률을 지닌다.
• $\mathbb{A}^V$ 위에 호모토피-일관된 오페라드(VCO) 구조가 실현되었으며, 호모토피 동치를 통한 환원으로 인해 감소된 $\mathbf{red}\mathbb{A}^V \to \mathbf{red}\mathcal{V}$는 강성 조건을 만족한다.
• 양자화 문제는 지그재그 호모토피 동치를 통해 해결되었으며: $\mathbb{A} \xleftarrow{\sim} \mathbb{A}' \to \mathcal{O}$, 이는 감소된 트레이스 사상 $\mathbf{red}\mathbb{A} \to \mathbf{red}\mathcal{O}$로 환원된다.
• 곡률을 가진 $A_\infty$-대수의 범주 $\mathcal{M}_M$은 쌍 $(\mathcal{B}, M)$ 위에 정의되며, $M$은 $({\mathbf{D}\bigoplus})\mathbf{U}(\mathbb{F}_R)$ 내의 모듈러로, $\mathbf{a} \otimes \mathbf{MC}$-작용이 기존의 $\mathbb{A}'$-작용과 호환된다.
• $c_1$-작용과 $\mathbb{Z} \times \mathbb{Z}$-등변성을 사용하여 트레이스를 갖춘 모노이드 구조를 정의하였으며, 이는 범주 $\mathbf{U}(F)$와 그 순환 확장 $\mathbf{U}^{\mathbf{cyc}}(\mathcal{O})$를 통해 실현된다.
• $\mathbb{B}_{\mathcal{T}}$ 범주는 직선화와 준수축성에 의해 구성되었으며, 이는 완전히 정의된 트레이스와 모듈러 구조를 지닌 미세국소 범주로 이어진다.