[논문 리뷰] Shifted Symplectic and Poisson Structures on Spaces of Framed Maps

Theodore Spaide|arXiv (Cornell University)|2016. 07. 13.

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

한 줄 요약

이 논문은 매끄럽고 고유한 스킴 $X$ 에서 유도 아르틴 스택 $Y$ 로의 프레임된 맵 공간에 대해, 구분자 $D$ 에서의 프레임을 고려하여 이동 가능한 심플렉틱 및 파울리 오스트럭처를 설정한다. $\tilde{D} = 2D + E$ 라는 반대극성 구분자 조건이 만족될 경우, $Y$ 가 $n$-이동 심플렉틱 또는 파울리 오스트럭처를 지닐 때, 맵핑 스페이스 $\operatorname{Map}(X,D,Y)$ 는 각각 $(n-d)$-이동 심플렉틱 또는 파울리 오스트럭처를 갖는다. 이는 $D$ 와 $D+E$ 위에서의 맵핑 스페이스에 대한 일정한 에탈 조건이 만족될 때 성립한다. 주요 기여는 모듈리 문제에서 고전적인 심플렉틱 및 파울리 오스트럭처를 통합하는 유도 기하학적 프레임워크를 제공하는 것이다.

ABSTRACT

We examine shifted symplectic and Poisson structures on spaces of framed maps. We prove some results about shifted Poisson structures analogous to those in existing ones about symplectic structures. Then, we consider the space Map(X,D,Y) of maps from X to Y framed along a divisor D. We give conditions under which this space has a shifted symplectic or Poisson structure. Classical examples of symplectic and Poisson structures are provided with this theorem.

연구 동기 및 목표

• 고전적인 PTVV 정리의 이동 가능한 심플렉틱 오스트럭처에 대한 맵핑 스택 확장을, 팔리오 타입의 소스를 가진 프레임된 맵으로 확장한다.
• 유도 아르틴 스택에서의 이동 가능한 파울리 오스트럭처 이론을 라그랑주 사상자를 통한 이동 가능한 심플렉틱 스택으로 정의하고 발전시킨다.
• 프레임된 맵 $\operatorname{Map}(X,D,Y)$ 가 이동 가능한 심플렉틱 또는 파울리 오스트럭처를 지닐 수 있는 충분한 조건을 제공한다.
• 라그랑주 및 코이시트로픽 오스트럭처를 프레임된 맵 설정으로 일반화하여, 당김에 의해 기하학적 오스트럭처가 유지되는지를 보장한다.
• 기하학적 예로서 단극자 및 인스탄턴트 모듈라이 스페이스를 일반 프레임워크의 특수한 경우로 복원한다.

제안 방법

• 유도 아르틴 스택 $X$ 에 대해 $n$-이동 파울리 오스트럭처를, $(n+1)$-이동 심플렉틱이면서 라그랑주인 스택 $Y$ 로의 사상 $X \to Y$ 로 정의한다.
• 프레임된 맵의 공간을 $\operatorname{Map}(X,D,Y,f) = \operatorname{HoFib}_f(\operatorname{Map}(X,Y) \to \operatorname{Map}(D,Y))$ 의 호모토피 피버 구조를 사용해 정의한다.
• 캘라비-야우 정리의 유도된 판본을 적용하여, $X$ 가 캘라비-야우이고 $Y$ 가 $n$-이동 심플렉틱일 경우 $\operatorname{Map}(X,Y)$ 가 $(n-d)$-이동 심플렉틱 오스트럭처를 갖는다는 것을 보인다.
• 이동 가능한 심플렉틱 형식의 구성에 필요한 쌍대화층의 존재를 보장하기 위해, $\tilde{D} = 2D + E$ 가 반대극성임을 조건으로 도입한다.
• $\operatorname{Map}(D+E,Y) \to \operatorname{Map}(D,Y)$ 에 대한 에탈 조건을 검증하여, $\operatorname{Map}(X,D,Y)$ 에 유도된 오스트럭처가 심플렉틱임을 보장한다.
• 유도 대수기하학에서의 코이시트로픽 및 라그랑주 오스트럭처를 사용하여 결과를 파울리 오스트럭처 및 그 사상으로 확장한다.

실험 결과

연구 질문

• RQ1 프레임된 맵 공간 $\operatorname{Map}(X,D,Y)$ 가 $Y$ 의 이동 가능한 심플렉틱 오스트럭처로부터 $(n-d)$-이동 심플렉틱 오스트럭처를 유도하는 조건은 무엇인가?
• RQ2 유도 대수기하학에서 이동 가능한 파울리 오스트럭처는 어떻게 정의되고 특성화할 수 있으며, 라그랑주 사상과의 관계는 어떠한가?
• RQ3 반대극성 조건 $\tilde{D} = 2D + E$ 는 프레임된 맵 스페이스에서의 이동 가능한 심플렉틱 및 파울리 오스트럭처의 구성에 어떤 역할을 하는가?
• RQ4 언제 $\operatorname{Map}(X,D,Y)$ 스페이스가 심플렉틱 오스트럭처를 지닐 것이고, 언제는 파울리 오스트럭처를 지닐 것인가? 이 구분은 무엇에 의해 결정되는가?
• RQ5 결과들이 어떻게 고전적인 모듈라이 스페이스, 예를 들어 인스탄턴트 및 단극자 스페이스를 일반 프레임워크의 특수한 경우로 복원하는가?

주요 결과

• 만약 $Y$ 가 $n$-이동 심플렉틱이고, $\operatorname{Map}(D+E,Y) \to \operatorname{Map}(D,Y)$ 가 기본 사상 $f$ 에 대해 에탈일 경우, 공간 $\operatorname{Map}(X,D,Y)$ 는 $(n-d)$-이동 심플렉틱 오스트럭처를 갖는다.
• 만약 $Y$ 가 $n$-이동 파울리 오스트럭처를 지닐 경우, $\operatorname{Map}(X,D,Y)$ 는 에탈 조건이 실패하더라도 $(n-d)$-이동 파울리 오스트럭처를 유도한다.
• 같은 에탈 조건 하에서, $W \to Y$ 에 대한 라그랑주 오스트럭처는 $\operatorname{Map}(X,D,W) \to \operatorname{Map}(X,D,Y)$ 에 대한 라그랑주 오스트럭처로 올라간다.
• 만약 $Y$ 가 $n$-이동 파울리 오스트럭처를 지닐 경우, $W \to Y$ 에 대한 코이시트로픽 오스트럭처는 $\operatorname{Map}(X,D,W) \to \operatorname{Map}(X,D,Y)$ 에 대한 코이시트로픽 오스트럭처로 올라간다.
• 만약 $Y = BG$ 이고, $\operatorname{Map}(\mathbb{P}^1, p, G/P)$ 는 $0$-이동 파울리 오스트럭처를 갖는다. $P$ 가 보렐 부분군일 경우 실제로 심플렉틱이다.
• 만약 $X = \mathbb{P}(\mathcal{O}_W \oplus T^\vee W)$ 이고 $Y = BGL_n$ 일 경우, 공간 $\operatorname{Map}(X,D,BGL_n,F)$ 는 $(1-d)$-이동 파울리 오스트럭처를 갖는다. 만약 $1 \leq i \leq d-1$ 에 대해 $H^*(\mathcal{H}om(F,F) \otimes \mathcal{O}_D(-i)) = 0$ 이면, 심플렉틱이 된다.