[논문 리뷰] Deformation quantisation for (-1)-shifted symplectic structures and vanishing cycles

J. P. Pridham|arXiv (Cornell University)|2015. 08. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 12

한 줄 요약

이 논문은 유도된 아르틴 $N$-스택 위의 $(-1)$-시프트된 심플렉틱 구조에 대해 $E_0$-quantisation을 도입하며, quantisation에서 de Rham 코hom로의 멱급수로의 사상 구축을 한다. 이중성과 짝수 멱급수 사이의 동치관계는 쌍대화 선다발의 제곱근을 통해 확립되며, 국소화가 편향된 사이클의 편향된 복소를 복원함으로써 도출된 카테고리화된 도널드슨–트머스 불린을 유도적으로 일반화한다.

ABSTRACT

We formulate a notion of $E_0$ quantisation of $(-1)$-Poisson structures on derived Artin $N$-stacks, and construct a map from $E_0$ quantisations of $(-1)$-shifted symplectic structures to power series in de Rham cohomology. For a square root of the dualising line bundle, this gives an equivalence between even power series and self-dual quantisations. In particular, there is a canonical quantisation of any such square root, which localises to recover the perverse sheaf of vanishing cycles on derived DM stacks, thus giving a form of derived categorification of Donaldson--Thomas invariants.

연구 동기 및 목표

• 유도된 아르틴 $N$-스택 위의 $(-1)$-시프트된 파울리 구조에 대해 $E_0$-quantisation을 수립하기 위해.
• $(-1)$-시프트된 심플렉틱 구조의 $E_0$-quantisation에서 de Rham 코homology의 멱급수로의 사상 구축을 위해.
• 쌍대화 선다발의 제곱근이 존재할 경우, 자기이중성 quantisation과 짝수 멱급수 사이의 동치관계를 확립하기 위해.
• 유도된 DM 스택에서 표준 $E_0$-quantisation의 국소화가 편향된 사이클의 편향된 복소를 복원함을 보여주기 위해.
• 이 양자화 프레임워크를 통해 도널드슨–트머스 불린의 유도적 카테고리화를 제공하기 위해.

제안 방법

• 선다발 위의 미분 연산자 링의 완비화에서 $(-1)$-시프트된 파울리 구조를 올리는 $E_0$-quantisation을 마우러–카르탕 원소로 정의한다.
• pre-심플렉틱 구조와의 호환성을 정의하기 위해 de Rham 대수에서 $\mathscr{D}_A[[\hbar]]$로의 $A_\frown$-사상 $\mu(-,\Delta)$를 구성한다.
• 조건 $\mu(\omega,\Delta) \simeq \hbar^2 \frac{\partial \Delta}{\partial \hbar}$를 통해 멱급수 $\omega$와 $E_0$-quantisation $\Delta$ 간의 호환성을 도입한다.
• $\mathscr{D}_X$에 대한 필터링된 $\hbar$-adic 완비화와 순서 필터링을 사용하여 비퇴화된 양자화 문제를 일阶 문제로 환원한다.
• 그로텐디크–버르디에 이중성에 기반하여 $\mathscr{L}$이 쌍대화 선다발 $\omega_X$의 제곱근일 경우 자기이중성 양자화를 정의한다.
• 양자 마스터 방정식과 $BV_\infty$-대수의 구조를 적용하여 결과를 $(-2)$-시프트된 심플렉틱 구조와 더 높은 시프트로 확장한다.

실험 결과

연구 질문

• RQ1 유도된 아르틴 $N$-스택 위의 $(-1)$-시프트된 심플렉틱 구조에 대해 $E_0$-quantisation을 어떻게 수립할 수 있는가?
• RQ2 $E_0$-quantisation과 de Rham 코homology의 멱급수 사이의 관계는 무엇인가?
• RQ3 선다발 $\mathscr{L}$의 자기이중성은 $E_0$-quantisation의 공간에 어떤 영향을 미치는가?
• RQ4 표준 $E_0$-quantisation의 국소화가 편향된 사이클의 편향된 복소를 복원할 수 있는가?
• RQ5 이 프레임워크는 도널드슨–트머스 불린의 유도적 카테고리화를 어떻게 제공하는가?

주요 결과

• 유도된 $(-1)$-시프트된 심플렉틱 스택 위의 쌍대화 선다발의 제곱근에 대해 표준적인 $E_0$-quantisation이 존재한다.
• 자기이중성 $E_0$-quantisation의 공간은 $\hbar^2 \mathrm{H}^1_{\mathrm{dR}}(X)\llbracket \hbar^2 \rrbracket$에 자연스럽게 동형이다.
• 호환 조건 $\mu(\omega,\Delta) \simeq \hbar^2 \frac{\partial \Delta}{\partial \hbar}$는 비퇴화된 양자화가 pre-심플렉틱 구조와 대응됨을 보장한다.
• 표준 양자화의 $\hbar$에서의 국소화는 유도된 DM 스택에서 편향된 사이클의 편향된 복소 $\mathcal{P}\mathcal{V}$를 복원한다.
• $(-2)$-시프트된 심플렉틱 구조의 경우, $BV_\infty$-대수와 양자 마스터 방정식을 통해 구성이 확장된다.
• $E_{n+1}$-오페라드의 형식성 덕분에 $n \geq -2$인 $n$-시프트된 심플렉틱 구조로 일반화할 수 있으며, 자기이중성 양자화는 $\hbar^2$에 대한 짝수 멱급수에 대응한다.