[논문 리뷰] A d-shifted Darboux theorem

Emile Bouaziz, I. Grojnowski|arXiv (Cornell University)|2013. 09. 09.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 12

한 줄 요약

이 논문은 $d$-shifted symplectic derived stack에 대한 국소 정규형을 확립한다. 그 결과, 국소적으로는 어떤 such 구조도 함수 $f \in H^{1-d}(/mathcal{O})$에 의해 정의된 twist된 shift된 cotangent bundle와 $d \equiv 2 \pmod{4}$일 때 2의 배수인 질량을 가진 2차 형식의 곱으로 표현됨을 증명한다. 이 결과는 고전적 Darboux 정리의 일반화이며, 고차 shift된 symplectic 구조의 분류를 고차로 확장한다.

ABSTRACT

We give a local model for d-shifted symplectic dg-schemes, or Deligne-Mumford dg-stacks [PTVV]. Locally any such is a product of a "twisted shifted cotangent bundle", where the twist is given by an element df, with $f \in H^{1-d}(\Cal O)$, and a quadratic bundle in middle degree. The latter only occurs if d = 4r+2.

연구 동기 및 목표

• 기하적 모델을 통해 $d$-shifted symplectic derived stack의 국소 분류를 제공하는 것.
• 고전적 Darboux 정리를 파생 대수기하학에서 고차 shift된 symplectic 구조로 일반화하는 것.
• $d$-shifted symplectic stack이 거의 Lagrangian 부분다양체로의 분할 가능성을 방해하는 장벽을 symplectic form의 Witt 군에서의 클래스로 규명하는 것.
• twist된 cotangent bundle 이외의 추가 국소 구조가 나타나는 경우는 $d \equiv 2 \pmod{4}$일 때에만 발생하며, 이는 2차 형식의 곱으로 나타남을 보여주는 것.

제안 방법

• 저자들은 cotangent complex의 부분다발을 유도된 스킴의 사상으로 통합하기 위해 dg-Frobenius 정리를 사용한다.
• 그들은 $\mathcal{P} \otimes \mathbb{L}_{\mathcal{Y}}$ 값의 닫힌 1-form $\tilde{\xi}_1$을 사용하여 twist된 shift된 cotangent bundle를 변형함으로써 국소 모델을 구성하고, 새로운 $\mathcal{P}$-shifted symplectic 구조를 도출한다.
• 그들은 대수적 수술과 Witt 취소를 적용하여 cotangent complex를 대칭 부분과 $[-d/2, -d/2]$-amplitude 부분 $P$로 분해하며, 이 부분은 $d \equiv 2 \pmod{4}$일 때에만 비영이 된다.
• 그들은 de Rham 복합체와 shift된 symplectic 구조의 체계를 사용하여, 국소적으로 symplectic 형식이 cdga 위의 대칭 대수에서 표준 형식으로 끌려옴을 보인다.
• 그들은 symplectic 구조가 점의 근처에서 표준 $df$-twist된 symplectic 형식과 $P$ 위의 2차 형식의 합과 quasi-isomorphism of cdgas를 통해 국소적으로 동형임을 증명한다.
• 저자들은 에탈레 국소화와 정렬된 복합체의 구조를 이용하여 이 결과를 Artin 및 Deligne-Mumford dg-stacks로 확장한다.

실험 결과

연구 질문

• RQ1 d > 0일 때, $d$-shifted symplectic derived stack의 국소 정규형은 무엇인가?
• RQ2 언제 $d$-shifted symplectic 구조가 twist된 cotangent bundle와 2차 형식의 곱으로 국소적으로 분해되는가?
• RQ3 $d$-shifted symplectic derived stack에서 거의 Lagrangian 부분다양체로의 분할 가능성을 방해하는 장벽은 무엇인가?
• RQ4 왜 비영인 2차 형식의 곱이 나타나는 경우는 $d \equiv 2 \pmod{4}$일 때에만 발생하는가?
• RQ5 cdga의 quasi-isomorphism을 통해 표준 symplectic 형식을 사용하여 $d$-shifted symplectic derived stack의 국소 구조를 기술할 수 있는가?

주요 결과

• 국소적으로, 모든 $\mathcal{P}$-shifted symplectic derived stack은 twist된 shift된 cotangent bundle $\operatorname{Sym}^\eta_{\mathcal{O}_Y}(\mathcal{P}^{-1} \otimes \mathbb{L}_Y^*)$와 2차 형식의 곱과 동형이다.
• 2차 형식의 곱 $P$는 $d \equiv 2 \pmod{4}$일 때에만 비영이며, $[-d/2, -d/2]$-Tor amplitude를 가진다.
• almost Lagrangian 부분다양체로의 분할 가능성을 방해하는 장벽은 Grothendieck-Witt 군 $KH_0(\mathcal{X}, \mathcal{P}, \lambda_\mathcal{P})$에서 $\omega_2$의 클래스로 정확히 규명된다.
• $d \not\equiv 2 \pmod{4}$일 때, 모든 국소 근처는 에탈레 국소적으로 twist된 shift된 cotangent bundle와 동형이다.
• 국소 모델의 symplectic 형식 $\omega$는 quasi-isomorphism $\sigma: \operatorname{Sym}^\eta_B(\mathbb{L}_B^\dagger + P) \to A$를 통해 표준 형식 $\omega^{\text{std}}_{df}$와 $P$에 의해 유도된 형식으로 끌려온다.
• $d \equiv 2 \pmod{4}$일 때, 2차 형식의 곱 $P$는 그 질량이 짝수일 때에만 Zariski 국소적으로 대칭이 되며, 질량이 짝수이면 항상 에탈레 국소적으로 대칭이 되고, 질량이 홀수일 경우 1차원 부분다양체와 대칭 부분다양체의 곱으로 분해된다.