[논문 리뷰] The Derived Marsden-Weinstein Quotient is Symplectic

Jeremy Pecharich|arXiv (Cornell University)|2012. 05. 29.

Advanced Algebra and Geometry참고 문헌 8인용 수 6

한 줄 요약

이 논문은 0-심플렉틱 형식과 재수정군에 의한 해밀턴 작용을 갖는 유도 스킴의 유도된 Marsden-Weinstein 몫이, 순간 맵 수준 집합이 비특이일지라도 여전히 0-심플렉틱 유도 아르틴 스택임을 증명한다. 증명은 유도된 섬유곱과 음의 순환 호몰로지로 고전적 Marsden-Weinstein 추론을 유도 기하학에 적응시키며, 유도된 설정에서 감소된 심플렉틱 형식이 닫혀 있고 잘 정의됨을 보인다.

ABSTRACT

Let $(X,ω_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint orbit in the category of derived Artin stacks has a 0-symplectic form.

연구 동기 및 목표

• 모멘트 맵 수준 집합이 정규값이 아닐 경우, 유도 기하학을 통해 심플렉틱 축소를 비특이 몫으로 확장하는 것.
• 부드러움이나 자유성 조건 없이도, 임의의 동형자기 궤도를 沿한 유도 몫이 0-심플렉틱 형식을 상속함을 확립하는 것.
• 브라우트-슈타인 양자화와 '양자화가 축소와 가환한다'는 추측이 비특이 경우에 대해 유도 기하학적 기초를 제공하는 것.
• 유도 아르틴 스택과 dg-강화 카테고리로 고전적 심플렉틱 축소를 유도 설정으로 일반화하는 것.

제안 방법

• 유도 몫을 호모토피 섬유곱 $ X \times_{\frak{g}^*} \bb{O} $로 구성한다. 여기서 $ \bb{O} $는 동형자기 궤도이다.
• 유도된 섬유곱을 사용해 수준 집합 $ \mathbf{J}^{-1}(\mu) $ 의 특이점을 해결함으로써, 몫이 부드러운 유도 아르틴 스택임을 보장한다.
• 음의 순환 호몰로지를 사용해 유도 설정으로 심플렉틱 형식 $ \omega_X $ 를 올리며, $ \pi^*\omega_{\text{red}} = j^*\omega_X $ 를 보인다.
• 음의 순환 호몰로지에서의 올림을 통해 $ \pi^*\omega_{\text{red}} $ 가 $ B\bb{G}_a $-여기성임을 보임으로써 $ \omega_{\text{red}} $ 가 닫혀 있음을 증명한다.
• 표준적 추론을 적용해 일반적인 동형자기 궤도의 경우를, $ X \times \bb{O} $ 와 심플렉틱 형식 $ \omega_X - \omega_\bb{O} $ 를 고려함으로써 0 수준 집합으로 환원한다.
• 형식의 $ G $-여기성과 몫 사상의 성질을 이용해 심플렉틱 구조를 유도 몫 $ \mathcal{X}_{\text{red}} $ 에 내림린다.

실험 결과

연구 질문

• RQ1 모멘트 맵 수준 집합이 비특이적이거나 비정규일 경우, 유도 설정에서 심플렉틱 축소가 여전히 심플렉틱한가?
• RQ2 유도 몫이 군 작용의 부드러움이나 자유성 조건 없이도 동형자기 궤도를 따라 0-심플렉틱 형식을 상속할 수 있는가?
• RQ3 어떤 재수정군 작용에 대해서든 0-심플렉틱 유도 스킴 위에서 유도된 Marsden-Weinstein 몫이 자연스럽게 0-심플렉틱 유도 아르틴 스택인가?
• RQ4 유도 기하학은 비특이 케이스에서 심플렉틱 축소의 장애를 어떻게 해결하는가? 이 맥락에서 음의 순환 호몰로지의 역할은 무엇인가?
• RQ5 호모토피 대수학과 dg-카테고리로 고전적 Marsden과 Weinstein의 증명을 유도 설정으로 일반화할 수 있는가?

주요 결과

• 유도 몫 $ \mathcal{X}_{\text{red}} = (X \times_{\frak{g}^*} \bb{O})/G $ 는 부드러운 유도 아르틴 스택이다.
• 감소된 심플렉틱 형식 $ \omega_{\text{red}} $ 는 $ j^*\omega_X = \pi^*\omega_{\text{red}} $ 를 만족한다. 여기서 $ \pi $ 는 몫 사상이다.
• 형식 $ \omega_{\text{red}} $ 는 유도된 의미에서 닫혀 있다. 즉, $ HC^{-}_2(\mathcal{X}_{\text{red}}) $ 로 올라가며 그 심플렉틱성을 보장한다.
• 증명은 $ \pi^*\omega_{\text{red}} $ 가 음의 순환 호몰로지에서 올림을 통해 $ B\bb{G}_a $-여기성임을 이용하며, 이는 $ \omega_X $ 에서 유도된다.
• 모든 동형자기 궤도 $ \bb{O} \subset \frak{g}^* $ 에 대해 성립하며, 정규값이 아니더라도 $ X \times \bb{O} $ 를 통해 0 수준 집합으로 환원함으로써 성립한다.
• 유도 설정에서 고전적 Marsden-Weinstein 증명을 부드러운 몫 대신 유도 섬유곱으로 대체하고, 닫힘을 검증하기 위해 호몰로지 대수학을 사용함으로써 증명이 일반화된다.