[논문 리뷰] Shifted Symplectic Structures

Tony Pantev, Bertrand Toën외 2명|arXiv (Cornell University)|2011. 11. 14.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 17

한 줄 요약

이 논문은 유도된 아르틴 스킴 위의 $n$-시프트된 심플렉틱 구조를 도입하여, 고전적 심플렉틱 기하학을 유도적이고 고차 범주론적 설정으로 일반화한다. 매핑 스킴, 칼라비-ยอ우 다양체 위의 완전 복합체의 유도적 모듈리 스킴, 라그랑주 교차의 경우에 대해 자연스러운 시프트된 심플렉틱 구조가 존재함을 증명하며, 주요 결과로는 칼라비-요우 3차원 다양체 위의 층의 모듈리 스킴에 대한 $(-1)$-시프트된 심플렉틱 형식과 타원 곡선에서 심플렉틱 목표로의 매핑에 대한 결과가 포함된다.

ABSTRACT

This is the first of a series of papers about \emph{quantization} in the context of \emph{derived algebraic geometry}. In this first part, we introduce the notion of \emph{$n$-shifted symplectic structures}, a generalization of the notion of symplectic structures on smooth varieties and schemes, meaningful in the setting of derived Artin n-stacks. We prove that classifying stacks of reductive groups, as well as the derived stack of perfect complexes, carry canonical 2-shifted symplectic structures. Our main existence theorem states that for any derived Artin stack $F$ equipped with an $n$-shifted symplectic structure, the derived mapping stack $ extbf{Map}(X,F)$ is equipped with a canonical $(n-d)$-shifted symplectic structure as soon a $X$ satisfies a Calabi-Yau condition in dimension $d$. These two results imply the existence of many examples of derived moduli stacks equipped with $n$-shifted symplectic structures, such as the derived moduli of perfect complexes on Calabi-Yau varieties, or the derived moduli stack of perfect complexes of local systems on a compact and oriented topological manifold. We also show that Lagrangian intersections carry canonical (-1)-shifted symplectic structures.

연구 동기 및 목표

• 유도적 및 고차 범주론적 설정으로 심플렉틱 기하학을 일반화하기 위해 시프트된 심플렉틱 구조를 사용하는 것.
• 유도된 아르틴 스킴 위의 $n$-시프트된 심플렉틱 구조에 대한 엄밀한 프레임워크를 수립하는 것.
• 주요 모듈리 공간, 특히 유도적 매핑 스킴과 유도적 교차에 대해 시프트된 심플렉틱 구조의 존재 정리를 증명하는 것.
• 기존의 층의 모듈리와 표현의 심플렉틱 구조를 새로운 형식론의 특수한 경우로 복원하는 것.
• 유도 대수기하학에서 포아송 구조, 형식성, 양자화에 대한 향후 연구를 위한 기초를 마련하는 것.

제안 방법

• 유도 코탄젠트 복합체 $\wedge^2 \mathbb{L}_X[n]$ 내의 닫힌 2형식을 통해 $n$-시프트된 심플렉틱 구조를 정의하고, 비퇴화 조건을 적용한다.
• 유도 대수기하학에서 미분형식과 닫힌 형식을 일반화하기 위해 유도 코탄젠트 복합체 $\mathbb{L}_X$를 사용한다.
• 주요 존재 정리(정리 2.5)를 적용하여, $X$가 차원 $d$인 칼라비-요우 다양체일 경우 $\mathbf{Map}(X,F)$가 $(n-d)$-심플렉틱 구조를 상속함을 보인다.
• 재구성군의 분류 스킴과 완전 복합체의 유도 스킴 $\mathbb{R}\mathbf{Perf}$에 대해 2-시프트된 심플렉틱 구조를 구성한다.
• 유도된 스킴 $\mathbb{R}\mathbf{Perf}(X) \to \mathbb{R}\mathrm{Pic}(X)$의 행렬식 사상으로 고정된 행렬식을 가진 모듈리에 대해 $(-1)$-시프트된 심플렉틱 구조를 끌어올린다.
• 라그랑주 부분다양체의 유도적 교차 $L \times^h_X L'$에 대해 정리 2.9를 활용하여 $(-1)$-시프트된 심플렉틱 구조를 구성한다.

실험 결과

연구 질문

• RQ1 심플렉틱 구조는 고전적 $0$-시프트된 경우를 초월하여 어떻게 유도적 및 고차 스킴으로 일반화될 수 있는가?
• RQ2 유도적 매핑 스킴 $\mathbf{Map}(X,F)$가 $F$로부터 어떤 조건에서 시프트된 심플렉틱 구조를 상속할 수 있는가?
• RQ3 칼라비-요우 다양체 위의 완전 복합체의 유도적 모듈리 스킴에 대해 자연스러운 시프트된 심플렉틱 구조는 무엇인가?
• RQ4 칼라비-요우 3차원 다양체 위의 층의 모듈리 스킴과 유도적 라그랑주 교차에서 $(-1)$-시프트된 심플렉틱 구조는 어떻게 유도되는가?
• RQ5 대칭 고장 이론의 존재는 더 깊은 $n$-시프트된 심플렉틱 구조로부터 유도될 수 있으며, 이는 양자화에 대해 어떤 의미를 갖는가?

주요 결과

• 부드럽고 닫힌 칼라비-요우 $d$-다양체 위의 완전 복합체의 유도적 모듈리 스킴은 자연스러운 $(2-d)$-시프트된 심플렉틱 구조를 갖는다.
• 부드럽고 닫힌 $d$-다양체 위의 평탄한 접속을 가진 완전 복합체의 유도적 모듈리 스킴은 자연스러운 $2(1-d)$-시프트된 심플렉틱 구조를 갖는다.
• 콤���트이고 올림된 $d$-다양체 위의 국소적으로 평탄한 시스템의 완전 복합체의 유도적 모듈리 스킴은 자연스러운 $(2-d)$-시프트된 심플렉틱 구조를 갖는다.
• 타원 곡선 $E$와 부드러운 스킴 $X$에 대해 유도 스킴 $\mathbb{R}\mathbf{Map}(E, T^*X)$는 자연스러운 $(-1)$-시프트된 심플렉틱 구조를 갖는다.
• 부드러운 심플렉틱 스킴 내의 라그랑주 부분다양체 $L \times^h_X L'$의 교차는 자연스러운 $(-1)$-시프트된 심플렉틱 구조를 갖는다.
• 칼라비-요우 3차원 다양체 $X$에 대해 유도 스킴 $\mathbb{R}\mathbf{Perf}(X)$는 자연스러운 $(-1)$-시프트된 심플렉틱 구조를 갖으며, 이는 그 절단에 대칭 고장 이론을 유도한다.