[논문 리뷰] Lectures on shifted Poisson geometry

Pavel Safronov|arXiv (Cornell University)|2017. 09. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 8

한 줄 요약

이 논문은 고차 대칭기하학과 AKSZ 구성법을 활용하여 유도된 모듈리 스택(예: 곡선 위의 복합체나 칼라비-야우 3차원 다양체 위의 완전 복합체)에 대해 이동된 심플렉틱 및 파울슨 기하학을 도입함으로써 고전적 파울슨 구조의 유도 일반화로 이동된 파울슨 기하학을 제안한다. 주요 기여는 고차 파울슨 구조가 어떻게 변형 양자화와 유도 대수기하학을 통해 도널드슨-토머스 불변량과 같은 고전적 불변량을 연결하는 체계적인 프레임워크를 제공하는가이다.

ABSTRACT

These are expanded notes from lectures given at the États de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

연구 동기 및 목표

• 유도 스택 위의 이동된 파울슨 구조에 대한 기본 이론을 개발하여 고전적 파울슨 기하학을 유도적 맥락으로 일반화한다.
• 고차 심플렉틱 기하학과 변형 양자화를 연결하며, 특히 양자 관측량의 $\mathbb{E}_n$-대수와 고전적 위상공간의 $\mathbb{P}_n$-대수 사이의 대응을 통해 이를 다룬다.
• 고전적 기하학적 불변량(예: 도널드슨-토머스 불변량 및 모듈리 공간 위의 파울슨 기하학)이 어떻게 유도 모듈리 스택 위의 이동된 심플렉틱 구조의 영향을 받는지 설명한다.
• AKSZ 형식을 맵핑 스택과 라그랑주 대응에 적용하여 모듈리 공간 위의 이동된 파울슨 기하학을 체계적으로 구성한다.
• 기존의 고전적 파울슨 기하학(예: 페이진-오데스키, 스크리아닌 기하학)이 유도적 단절에서 0-이동된 파울슨 기하학의 사례로 복원될 수 있음을 보여준다.

제안 방법

• 목표 스택 $ \mathcal{X} $ 가 $ n $-이동된 심플렉틱 스택일 때, 맵핑 스택 $ \mathrm{Map}(X, \mathcal{X}) $ 에서 $ (n-1) $-이동된 심플렉틱 구조를 AKSZ 구성법을 통해 생성한다.
• 유도된 임계점 구조를 적용하여 $ \mathrm{Perf}(X) $ 위의 $ (-1) $-이동된 심플렉틱 구조를 안정층 모듈리의 대칭 오염 이론과 연결한다.
• 이동된 심플렉틱 구조와 이동된 파울슨 기하학 사이의 대응을 활용하여 고전적 단절 위의 이중벡터장을 0-이동된 파울슨 기하학으로 유도 스택 위로 옮긴다.
• 맵핑 스택 $ \mathrm{Map}^{fr}(\mathbb{P}^1, \mathrm{B}G) $ 를 통해 1-이동된 라그랑주 대응을 구성함으로써, 그들 위의 섬유에 0-이동된 심플렉틱 구조를 얻고, 이로 인해 고전적 모듈리 공간 위의 파울슨 기하학을 유도한다.
• 2-이동된 라그랑주 대응에 $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $ 를 적용하여 $ [H^{\mathrm{reg}}/H] $ 위에 1-이동된 파울슨 기하학을 얻고, 이는 기본 삼각함수 동적 $ r $-행렬을 복원한다.
• 무한 카테고리 언어와 유도 대수기하학을 활용하여 이동된 심플렉틱 및 파울슨 기하학의 구성에서 내림내림과 호모토피적 구조를 다룬다.

실험 결과

연구 질문

• RQ1 고전적 모듈리 공간 위의 파울슨 기하학은 어떻게 고차 심플렉틱 구조를 가진 유도 모듈리 스택에서 체계적으로 유도될 수 있는가?
• RQ2 이동된 심플렉틱 구조는 도널드슨-토머스 불변량을 분류화하는 데 어떤 역할을 하는가?
• RQ3 AKSZ 구성법은 어떻게 목표 스택의 $ n $-이동된 심플렉틱 구조로부터 맵핑 스택 위의 $ (n-1) $-이동된 심플렉틱 구조를 생성하는가?
• RQ4 기존의 고전적 파울슨 기하학(예: 페이진-오데스키 또는 스크리아닌 기하학)은 유도 기하학을 통해 0-이동된 파울슨 기하학으로 복원될 수 있는가?
• RQ5 상위 양자장 이론에서의 $ \mathbb{E}_n $-대수의 양자 관측량은 변형 양자화를 통해 고전적 위상공간의 $ \mathbb{P}_n $-대수와 어떻게 관련되는가?

주요 결과

• 칼라비-야우 3차원 다양체 $ X $ 위의 완전 복합체의 유도 모듈리 스택 $ \mathrm{Perf}(X) $ 는 $ (-1) $-이동된 심플렉틱 구조를 지닌다. 이의 고전적 단절은 도널드슨-토머스 이론에서 사용되는 대칭 오염 이론을 유도한다.
• 곡선 $ E $ 위의 $ B $-_bundle 모듈리 스택 $ \mathrm{Bun}_B(E) $ 는 AKSZ 구성법을 통해 0-이동된 파울슨 기하학을 얻으며, 이를 페진-오데스키 파울슨 기하학이라 한다.
• 만일 $ G = \mathrm{PGL}_2 $ 이면, 선다발 $ \mathcal{L} $ 가 차수 $ -4 $ 인 경우, 섬유 $ \mathrm{Bun}_B(E; \mathcal{L}) $ 는 $ [\mathbb{A}^4 / \mathbb{G}_m] $ 과 동형이며, 그 열린 부분스택인 $ \mathbb{P}^3 $ 은 스크리아닌 파울슨 기하학을 지닌다.
• 프레임된 맵핑 스택 $ \mathrm{Map}^{fr,\lambda}(\mathbb{P}^1, G/B) $ 는 1-이동된 라그랑주 기하학의 피보트 곱과 동형이므로 0-이동된 심플렉틱 구조를 지닌다. 이는 $ \mathbb{R}^3 $ 위의 $ G $-모노폴의 모듈리로 해석된다.
• 2-이동된 라그랑주 대응에 $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $ 를 적용하면 $ [H^{\mathrm{reg}}/H] $ 위에 1-이동된 파울슨 기하학을 얻고, 이로부터 기본 삼각함수 동적 $ r $-행렬을 유도한다.
• 이 구성은 $ n $-차원 상위 양자장 이론에서의 $ \mathbb{E}_n $-대수의 양자 관측량이 $ (n-1) $-이동된 심플렉틱 스택 위의 함수의 $ \mathbb{P}_n $-대수의 변형 양자화로 유도됨을 보여준다.