[논문 리뷰] A $b$-symplectic slice theorem

Róisín Braddell, Anna Kiesenhofer외 1명|arXiv (Cornell University)|2018. 11. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 경계형 특이성을 가진 특이 심플렉틱 구조로 일반화된 고전적 심플렉틱 슬라이스 정리의 $b$-심플렉틱 슬라이스 정리를 수립한다. $b$-심플렉틱 다양체 위의 리 군 작용에 대해, 비틀린 $b$-코탄젠트 배럴과 심플렉틱 슬라이스를 사용하여 궤도 주변의 등변 정규형을 구성하며, 국소 기하학이 모odular 주기와 선형화된 법선 자료를 포함하는 $b$-심플렉틱 배럴의 몫으로 모델링됨을 증명한다.

ABSTRACT

In this article, motivated by the study of symplectic structures on manifolds with boundary and the systematic study of $b$-symplectic manifolds started in [12], we prove a slice theorem for Lie group actions on $b$-symplectic manifolds.

연구 동기 및 목표

• 심플렉틱 구조가 초면에서 제어 가능한 특이성을 가진 $b$-심플렉틱 설정으로 고전적 심플렉틱 슬라이스 정리를 일반화하기 위해.
• 적절한 리 군 작용에 대해 $b$-심플렉틱 다양체 위의 국소 등변 정규형을 제공하여, 마를-쥐예민-스터너그 정규형과 유사하게 만들기 위해.
• 모듈러 주기와 비틀린 $b$-코탄젠트 올림을 정규형에 통합하여 $b$-심플렉틱 구조의 내재 기하학을 반영하기 위해.
• 특히 비자명한 이소트로피 부분군이 존재할 경우, 통합계와 지오데식 흐름이 있는 $b$-심플렉틱 다양체에서 해밀턴 군 작용의 선형화를 특이 설정으로 일반화하기 위해.
• 특히 비자명한 이소트로피가 존재할 경우, $b$-심플렉틱 기하학에서 심플렉틱 리브의 대칭성과 안정성 연구를 위한 프레임워크를 수립하기 위해.

제안 방법

• 표준 심플렉틱 형식을 $b$-심플렉틱 형식으로 대체하여, 부드러운 초면을 제외한 곳에서 비퇴화되는 $b$-심플렉틱 다양체에 고전적 슬라이스 정리 프레임워크를 적용하기 위해.
• 궤도 접선 공간의 $\tau$-수직 여부를 유지하면서, 궤도 접선 공간의 $\tau$-수직 여부를 보존하는 심플렉틱 정규 공간 $V_z$를 정의한다.
• 모델 공간 $Y^H_z = H \times_{H_z} (\mathfrak{m}^* \times V_z)$를 구성하며, 이는 모듈러 주기와 정규 공간의 심플렉틱 구조를 조합한 비틀린 $b$-심플렉틱 형식을 지닌다.
• $\omega_c$를 $T^*S^1$ 위의 표준 $b$-심플렉틱 형식(모듈러 주기 $c$)으로, $\omega_H$를 $T^*H$ 위의 표준 심플렉틱 형식으로 하여, 몫 배럴 위의 $b$-심플렉틱 형식 $\tilde{\omega}_0 = \omega_c + \omega_H$를 정의한다.
• 점 $z$ 주위의 $H$-불변 이웃 $\mathcal{U}$가 $Y^H_z$ 의 영단면 주위의 이웃과 등변 $b$-심플렉틱 동형임을 증명하여, 정규형이 등변적이며 $b$-심플렉틱임을 보장한다.
• 예시로 $G = S^1 \times H$, $T^*G$, 그리고 매핑 토러스를 적용하여, 몫 구조와 비틀린 형식을 통해 등장하는 이소트로피와 모듈러 자료를 어떻게 모델링할 수 있는지 보여준다.

실험 결과

연구 질문

• RQ1 고전적 심플렉틱 슬라이스 정리는 초면에서 특이성을 가진 $b$-심플렉틱 다양체로 어떻게 일반화될 수 있는가?
• RQ2 적절한 리 군 작용에 대해 $b$-심플렉틱 다양체 위의 등변 정규형은 무엇이며, 이는 어떻게 이소트로피와 모듈러 자료를 포함하는가?
• RQ3 $b$-심플렉틱 구조는 비자명한 이소트로피 부분군이 존재할 경우, 해밀턴 군 작용의 선형화에 어떻게 영향을 미치는가?
• RQ4 비틀린 $b$-코탄젠트 군 작용의 올림을 사용하여, 대칭성을 가진 $b$-심플렉틱 다양체의 국소 모델을 구성할 수 있는가?
• RQ5 모듈러 주기와 몫 구조는 비자유 작용이 존재할 경우 $b$-심플렉틱 정규형에 어떻게 영향을 미치는가?

주요 결과

• $b$-심플렉틱 슬라이스 정리는 $b$-심플렉틱 다양체에서 궤도 주위의 이웃과 모델 배럴 $Y^H_z = H \times_{H_z} (\mathfrak{m}^* \times V_z)$ 의 영단면 주위의 이웃 사이의 등변 $b$-심플렉틱 동형을 수립한다.
• 모델 공간에는 $\tilde{\omega}_0 = \omega_c + \omega_H$ 의 $b$-심플렉틱 형식이 존재하며, 여기서 $\omega_c$ 는 $T^*S^1$ 위의 표준 $b$-심플렉틱 형식(모듈러 주기 $c$) 이고, $\omega_H$ 는 $T^*H$ 위의 표준 심플렉틱 형식이다.
• 이소트로피 군이 $\mathbb{Z}_2 \times \mathrm{SO}(2)$ 인 점 $z$ 에 대해, $b$-심플렉틱 모델은 $E = T^*S^1 \times (\mathrm{SO}(3) \times_{\mathrm{SO}(2)} V)/\mathbb{Z}_2$ 이며, $\tilde{\omega}_0 = \omega_1 + 2\omega_{S^2} + \omega_V$ 이다.
• 자유 작용의 경우, 모델은 $E = T^*S^1 \times Y_z^{\mathrm{SO}(3)}$ 이며, $\tilde{\omega}_0 = \omega_2 + \omega_{\text{MGS}}$ 이다. 여기서 $\omega_{\text{MGS}}$ 는 마를-쥐예민-스터너그 형식이다.
• 이 정리는 컴팩트 리 군 $G$ 에 대해 $T^*G$ 위의 $b$-심플렉틱 구조에 적용되며, $b$-심플렉틱 형식은 $\omega = \pi^*m_1 \wedge \frac{d(\lambda(v_1))}{\lambda(v_1)} + \sum_{i=2}^n \pi^*m_i \wedge d(\lambda(v_i))$ 로 주어진다.
• 구성은 $S^1 \times H$ 로서 $G$ 의 유한 커버를 얻으며, $b$-심플렉틱 모델은 $\tilde{E} = (T^*S^1 \times T^*H)/\mathbb{Z}_k$ 이며, $\tilde{\omega}_0 = \omega_c + \omega_H$ 이다.