[논문 리뷰] An outline of shifted Poisson structures and deformation quantisation in derived differential geometry

J. P. Pridham|arXiv (Cornell University)|2018. 04. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 63인용 수 17

한 줄 요약

이 논문은 유도 미분기하학에서 이동된 심플렉틱 구조와 비퇴화된 이동된 파울리 구조 사이의 동치를 확립하며, 유도 대수기하학의 결과를 dg $Δ$-다양체, NQ-다양체, 리 군oids, 그리고 유도 고차 군oids로 확장한다. 이는 $n$-이동된 파울리 구조에 대해 곡선형 $A_\infty$ 및 $BV_\infty$ 대수를 통한 변형 양자화를 제안하며, 이 구조들이 호모토피 동치와 하이퍼커버에 대해 불변임을 증명하며, 미분기하학적 슈퍼스택으로 일반화된다.

ABSTRACT

We explain how to translate several recent results in derived algebraic geometry to derived differential geometry. These concern shifted Poisson structures on NQ-manifolds, Lie groupoids, smooth stacks and derived generalisations, and include existence and classification of various deformation quantisations.

연구 동기 및 목표

• 유도 대수기하학에서 최근에 얻어진 이동된 파울리 구조 및 변형 양자화 결과들을 유도 미분기하학으로 번역하기.
• NQ-다양체, dg 다각체, 그리고 유도 리 군oids에서 이동된 심플렉틱 구조와 비퇴화된 이동된 파울리 구조 사이의 동치를 확립하기.
• 특히 $n=0$, $n=-1$, $n=-2$의 경우를 포함하여 dg NQ-다양체와 고차 군oids의 맥락에서 $n$-이동된 파울리 구조에 대한 변형 양자화를 제안하기.
• 단순화된 해상 및 초층층화를 통해 스위치 스택과 미분기하학적 슈퍼스택으로 이러한 구조를 확장하고, 모리타 동치에 대해 불변성을 확보하기.
• 미분기하학적 맥락에서 곡선형 $A_\infty$ 및 $BV_\infty$ 대수를 일반화하는 양자화의 프레임워크를 제공하기.

제안 방법

• 유도 미분기하학의 기초로 dg $Δ$-환과 dg $Δ$-다양체를 사용한다.
• 초 NQ-다양체와 dg NQ-다양체에서의 이동된 파울리 구조를 매끄러운 함수의 dg 대수 위의 $L_\infty$-대수적 구조로 정의하며, 이는 다중미분 작용소로 작용한다.
• 호모로지 대수학을 적용하여 $Q$-와 $\delta$-미분을 연결하고, $\mathbb{Z} \times \mathbb{Z}/2$-중복 등급 체계를 통해 코체인 및 체인 등급을 구분한다.
• 단순화된 dg NQ-다양체의 정규화를 구성하여 초 dg NQ-다양체를 얻으며, 이를 통해 리 군oids와 고차 군oids에서의 전역적 구성이 가능해진다.
• 하이퍼커버와 초층층화를 사용하여 파울리 구조와 양자화가 스택의 모리타 동치류에만 의존하도록 보장한다.
• 결과 [Pri6] 및 [CPT+]를 응용하며, 단순화된 해상 및 유도 군oids의 구조를 통해 대수기하학적 증명을 미분기하학 맥락으로 일반화한다.

실험 결과

연구 질문

• RQ1 유도 대수기하학에서의 이동된 심플렉틱 구조는 어떻게 유도 미분기하학으로 재구성될 수 있는가?
• RQ2 dg 및 NQ-다양체 맥락에서 이동된 심플렉틱 구조와 비퇴화된 이동된 파울리 구조 사이의 정확한 대응은 무엇인가?
• RQ3 유도 미분기하학의 프레임워크에서 $n=0$, $n=-1$, $n=-2$의 경우에 대해 이동된 파울리 구조에 대한 변형 양자화는 어떻게 일반화될 수 있는가?
• RQ4 유도 리 군oids에서 파울리 구조와 그 양자화는 기저 스택의 모리타 동치류에 대해 얼마나 의존하는가?
• RQ5 유도 리 군oids의 정규화가 양자화에 적합한 잘 정의된 dg NQ-다양체를 유도하기 위한 조건은 무엇인가?

주요 결과

• 논문은 초 NQ-다양체와 dg NQ-다양체에서 $n$-이동된 심플렉틱 구조와 비퇴화된 $n$-이동된 파울리 구조 사이의 동치를 확립하며, 고전적 심플렉틱-파울리 이중성의 일반화를 이룬다.
• 특히 $n=0$의 경우, 이동된 파울리 구조의 변형 양자화는 매끄러운 함수의 dg 대수 위의 곡선형 $A_\infty$-대수적 구조에 대응한다.
• $n=-1$의 경우, 양자화는 $BV_\infty$-대수에 대응하며, 스핀 구조와 평탄한 오른쪽 접속을 포함하는 형태로 기술된다.
• $n=-2$의 경우, 양자화는 양자 마스터 방정식의 해로 규정되며, BV 체계를 유도 맥락으로 확장한다.
• 유도 리 $k$-군oids에서의 이동된 파울리 구조와 그 양자화는 호모토피 동치와 하이퍼커버에 대해 불변하며, 군oids의 초층층화에만 의존한다.
• dg 초 리 $k$-군oids의 정규화는 초 dg NQ-다양체를 유도하며, 국소적 구조에서 스택형 대상으로의 모든 결과의 확장을 가능하게 한다.