[논문 리뷰] Sheaf quantization in Weinstein symplectic manifolds

David Nadler, Vivek Shende|arXiv (Cornell University)|2020. 07. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 50인용 수 13

한 줄 요약

이 논문은 미세국소 층 이론을 사용하여 위엔스타인 심플렉틱 다양체에 대한 층 이론적 양자화 프레임워크를 제안하며, 미세국소 층의 범주를 위엔스타인 호모토피에 대해 불변으로 만드는 구성과 정확한 라그랑주 부분다양체에 대해 마스로프 데이터를 통해 대응하는 대상을 할당한다. 주요 기여는 라그랑주 다양체 위의 국소 시스템에서 미세국소 층 범주로의 완전 충실한 함자로서, 푸카야 범주 대상의 층 이론적 유사체를 수립하는 것이다.

ABSTRACT

Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.

연구 동기 및 목표

• 위엔스타인 심플렉틱 다양체에 대한 층 이론적 양자화를 미세국소 층 이론을 사용하여 정의하기.
• 마스로프 데이터를 지닌 위엔스타인 다양체 위에 존재하는 미세국소 층의 범주를 구성하고, 이가 위엔스타인 호모토피에 대해 불변임을 보장하기.
• 정확한 라그랑주 부분다양체가 국소 시스템에서의 완전 충실한 함자를 통해 이 범주에 대응하는 대상을 유도함을 보이기.
• 이전의 접촉 다양체 위의 미세국소 층에 대한 결과를 마스로프 데이터를 갖춘 위엔스타인 다양체의 맥락으로 일반화하기.
• 라그랑주 부분다양체와 미세국소 층의 범주 사이의 대응 관계를 푸카야 범주와 유사하게 설정하기.

제안 방법

• 미세국소 층 이론을 사용하여, 위엔스타인 다양체의 접촉 코스피어 벡터 장에 대한 안정 범주 스킴을 정의한다.
• 다른 접촉 구조 간의 관계를 연결하기 위해 미세국소 특수화 함자를 구성하며, 특히 심플렉틱 형식의 변형에 대해 다룬다.
• 형식 $\lambda \rightsquigarrow \lambda - tdf$ 에 따른 심플렉틱 변형에 대한 불변성을 생성하기 위해, 범주 스킴의 근처 순환 함자를 사용한다.
• 근처 순환 함자를 분석하기 위해 상대 외부 Hom과 스토크 계산을 핵심 기법으로 사용한다.
• 마스로프 데이터를 사용한 내림내림 형식을 적용하여, 마스로프 오염의 0-호모토피로 간주함으로써 피카르 범주에 대한 처리를 수행한다.
• 일반화된 극화 기반 구성 방식을 확장하기 위해, 보편적 $BPic(\mathcal{C})$-_bundle에서의 역상으로써 $\mu sh_\tau$ 를 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 미세국소 층 이론을 확장하여 위엔스타인 심플렉틱 다양체에 대한 양자화를 정의할 수 있는가?
• RQ2 마스로프 데이터는 위엔스타인 호모토피에 대해 불변인 미세국소 층의 범주를 구성하는 데 어떤 역할을 하는가?
• RQ3 정확한 라그랑주 부분다양체가 이 미세국소 층 범주에 자연스럽게 대응하는 대상을 부여받을 수 있는가?
• RQ4 범주 스킴의 근처 순환 함자는 심플렉틱 형식의 변형과 어떻게 관련이 있는가?
• RQ5 극화를 통한 정의된 미세국소 층 범주와 일반적인 마스로프 데이터를 통한 정의 사이의 관계는 무엇인가?

주요 결과

• 논문은 마스로프 데이터 $\tau$ 를 지닌 위엔스타인 다양체 위에 $\mathcal{C}$-선형 안정 범주 스킴 $\mu sh_\tau$ 를 구성하며, 이는 위엔스타인 호모토피에 대해 불변임을 보였다.
• 정확한 라그랑주 부분다양체 $L$ 는 추가로 마스로프 데이터가 라그랑주 다양체의 내재된 구조와 일치할 경우, 국소 시스템에서의 완전 충실 함자 $Loc(L) \to \mu sh_\tau(W)$ 를 통해 $\mu sh_\tau(W)$ 안의 대상을 유도한다.
• 계수 범주 $\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ 일 때, 마스로프 데이터가 존재하는 것은 $2c_1(\xi) = 0$ 과 동치이며, 마스로프 데이터의 호모토피류는 $H^1(V,\mathbb{Z}) \oplus H^2(V,\mathbb{Z}/2\mathbb{Z})$ 에 대한 토르수를 이룬다.
• 이전의 접촉 다양체 위의 미세국소 층 결과를 일반화하여, 임의의 안정 극화가 마스로프 데이터를 유도하고, 보편적 $BPic(\mathcal{C})$-_bundle 위에서 내림내림이 성립함을 보였다.
• 범주 스킴의 근처 순환 함자는 $\Psi_t \mu sh_{W_t} \to \mu sh_{W_0}$ 를 유도하는 사상으로 작용하여, 심플렉틱 변형 하에서 전역 단위의 국소 일관성을 시사한다.
• 라그랑주에서 정규 대상을 정의하는 데에 대한 장벽은 $[L, BPic(\mathcal{C})]$ 에서의 차이 $\ell - \tau$ 로 측정되며, $\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ 일 때 이는 $H^1(L,\mathbb{Z}) \oplus H^2(L,\mathbb{Z}/2\mathbb{Z})$ 와 동형이다.