[논문 리뷰] Quantization of conic Lagrangian submanifolds of cotangent bundles

Stéphane Guillermou|arXiv (Cornell University)|2012. 12. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 32

한 줄 요약

이 논문은 코타angent 번들의 컴acts exact 라그랑주 부분다양체에서 유래한 콘형 라그랑주 부분다양체에 대해 미세국소 sheaf 이론을 통해 표준 sheaf 양자화를 구축한다. 삼각형 궤도 범주와 미세지지 기법을 사용하여, 마스로프 클래스가 0이 되고, 기저 다양체로의 투영이 호모토피 동치이며, 상대 스티펠-블리트 클래스가 0이 됨을 증명함으로써, sheaf 이론적 방법을 통해 기존의 심플렉틱 위상수학적 결과를 재확인한다.

ABSTRACT

Let $M$ be a manifold and $Λ$ a compact exact connected Lagrangian submanifold of $T^*M$. We can associate with $Λ$ a conic Lagrangian submanifold $Λ'$ of $T^*(M imes R)$. We prove that there exists a canonical sheaf $F$ on $M imes R$ whose microsupport is $Λ'$ outside the zero section. We deduce the already known results that the Maslov class of $Λ$ is $0$ and that the projection from $Λ$ to $M$ induces isomorphisms between the homotopy groups.

연구 동기 및 목표

• 코타angent 번들 $T^*M$ 내의 컴팩트 정확한 라그랑주 부분다양체에서 유도된 콘형 라그랑주 부분다양체에 대한 전역 sheaf 양자화를 미세국소 sheaf 이론을 통해 구축한다.
• 표준적인 심플렉틱 위상수학적 불변량—마스로프 클래스의 0화와 투영의 호모토피 동치성—을 전적으로 sheaf 이론적 방법으로 재확인한다.
• 삼각형 궤도 범주 설정에서 표준 양자화를 수립하여, 동형사상 이외의 유일성 보장한다.
• 미세국소 순환과 게르베를 활용하여 상대 스티펠-블리트 클래스가 0이 됨을 증명한다.

제안 방법

• 컴팩트 정확한 라그랑주 부분다양체 $\Lambda \subset T^*M$ 의 콘화(conification)를 통해 $T^*(M \times \mathbb{R})$ 내 콘형 라그랑주 부분다양체 $\Lambda'$ 를 구성한다.
• sheaves의 미세지지 $\mathrm{SS}(F) = \Lambda'$ 를 $\mathbf{k}_{M \times \mathbb{R}}$ 의 $\mathsf{D}^b_{\Lambda,+}(\mathbf{k}_{M \times \mathbb{R}})$ 내에서 정의함으로써, 영점의 섹션 외부에서 $F$ 를 표준 sheaf로 정의한다.
• 일반성 가정과 수반 성질을 활용하여, 삼각형 궤도 범주 프레임워크를 적용해 국소 미세국소 sheaf를 글로벌 객체로 접합한다.
• 카시와라-샤피라 스택과 미세국소 게르베를 사용하여 순환과 왜곡된 구조를 다루며, 라그랑주 전체에 걸쳐 일관성을 확보한다.
• 함자 $\Psi$ 와 컨볼루션을 활용하여 미세국소화와 양자화 간의 관계를 설정하고, 기존 불변량과의 호환성을 확립한다.
• 함자 $\mu\mathrm{hom}$ 과 쌍대성을 사용하여 국소 시스템 상의 당김의 전순성과 본질적 전성의 증명을 통해 호모토피 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 코타angent 번들 $T^*M$ 내의 컴팩트 정확한 라그랑주 부분다양체의 콘화로부터 유도된 콘형 라그랑주 부분다양체에 대해, 전적으로 미세국소 sheaf 이론을 사용하여 전역 sheaf 양자화를 구성할 수 있는가?
• RQ2 이러한 양자화의 존재가 원래 라그랑주 부분다양체 $\Lambda \subset T^*M$ 의 마스로프 클래스가 0이 됨을 의미하는가?
• RQ3 sheaf 이론적 방법을 통해 투영 $\Lambda \to M$ 이 호모토피 동치임을 보일 수 있는가?
• RQ4 라그랑주 부분다양체 $\Lambda$ 의 상대 스티펠-블리트 클래스는 0이 되며, 이는 양자화로부터 유추될 수 있는가?
• RQ5 삼각형 궤도 범주에서 양자화는 유일한 동형사상 이외에 유일한가?

주요 결과

• 영점 섹션 외부에서 미세지지가 $\Lambda'$ 인 표준 sheaf $F$ 가 $M \times \mathbb{R}$ 상에 존재하며, 이는 콘형 라그랑주 부분다양체의 전역 양자화를 제공한다.
• $\Lambda \subset T^*M$ 의 마스로프 클래스가 0이 되며, Kragh 의 결과를 sheaf 이론적 수단으로 재확인한다.
• 투영 $\Lambda \to M$ 이 코homology 상에서 동형사상을 유도하며, 호모토피 동치임을 확인함으로써 Fukaya–Seidel–Smith 와 Abouzaid 의 결과를 확인한다.
• 라그랑주 부분다양체 $\Lambda$ 의 상대 스티펠–블리트 클래스는 순환과 왜곡된 미세국소 게르베를 통해 0임을 보였다.
• 양자화는 동형사상 이외에 유일하며, 임의의 두 such sheaf $F, F'$ 에 대해 $\mathrm{Hom}(F, F') \simeq \mathbf{k}$ 이다.
• 국소 시스템 상의 역상 함자 $\pi_\Lambda^{-1}$ 는 동치이며, 이는 $\pi_\Lambda$ 가 호모토피 동치임을 의미한다.