[논문 리뷰] Desingularizing $b^m$-symplectic structures

Victor Guillemin, Eva Miranda외 1명|QRU Quaderns de Recerca en Urbanisme|2015. 12. 16.

Fuzzy and Soft Set Theory인용 수 5

한 줄 요약

이 논문은 $\epsilon \to 0$일 때 원래의 $b^m$-symplectic 구조로 수렴하는 $\omega_\epsilon$ 형태의 symplectic 또는 folded symplectic 형식의 가 Families 를 구성하는 비특이화 절차를 제안한다. 짝수 $m$인 경우 이 가 Families 는 symplectic 형식을 이루며, 홀수 $m$인 경우 folded symplectic 형식이 된다. 핵심 결과는 이러한 구성이 $b^m$-symplectic 불변량(예: 모멘트 다각체와 Duistermaat-Heckman 측도)을 원래의 잘 알려진 symplectic 불변량과 연결시켜 전역적으로 재해석할 수 있도록 해준다는 것이다.

ABSTRACT

A $2n$-dimensional Poisson manifold $(M ,Π)$ is said to be $b^m$-symplectic if it is symplectic on the complement of a hypersurface $Z$ and has a simple Darboux canonical form at points of $Z$ which we will describe below. In this paper we will discuss a desingularization procedure which, for $m$ even, converts $Π$ into a family of symplectic forms $ω_ε$ having the property that $ω_ε$ is equal to the $b^m$-symplectic form dual to $Π$ outside an $ε$-neighborhood of $Z$ and, in addition, converges to this form as $ε$ tends to zero in a sense that will be made precise in the theorem below. We will then use this construction to show that a number of somewhat mysterious properties of $b^m$-manifolds can be more clearly understood by viewing them as limits of analogous properties of the $ω_ε$'s. We will also prove versions of these results for $m$ odd; however, in the odd case the family $ω_ε$ has to be replaced by a family of folded symplectic forms.

연구 동기 및 목표

• 원래의 $b^m$-symplectic 불변량(예: symplectic 체적과 Duistermaat-Heckman 측도)에서 발생하는 무한대 문제를 제거하기 위해 극한 symplectic 프레임워크를 구성함으로써 문제를 해결한다.
• 비특이화 과정을 통해 $b^m$-symplectic 구조와 symplectic 또는 folded symplectic 형식 사이의 전역 이중성을 확립한다.
• 비특이화 극한을 이용하여 고전적 symplectic 정리(예: 볼록성 정리와 Duistermaat-Heckman 정리)를 $b^m$-symplectic 다양체로 확장한다.
• 짝수 $m$일 때 이러한 다양체가 진정한 symplectic 구조를 가짐을 보여줌으로써 $b^m$-symplectic 다양체의 위상적 제약 조건을 명확히 한다.

제안 방법

• $M$ 위에 원래의 $b^m$-symplectic 형식 $\omega$와 일치하는 one-parameter 가 Families of symplectic forms $\omega_\epsilon$를 구성하며, 이는 임계 초표면 $Z$의 $\epsilon$-근처 외부에서는 원래의 $\omega$와 일치하도록 한다.
• 짝수 $m$인 경우, $C^{2k-1}$-연속적인 커팅 함수를 사용하여 $\omega_\epsilon$를 정의함으로써, $\epsilon \to 0$일 때 역 bivector 필드 $(\omega_\epsilon)^{-1}$ 가 $C^{2k-1}$-위상에서 $\omega^{-1}$ 로 수렴하도록 보장한다.
• 홀수 $m$인 경우, $Z$의 $\epsilon$-근처 외부에서 $\omega$와 일치하는 folded symplectic 형식 $\omega_\epsilon$ 의 가 Families 를 구성하며, 이는 구조를 유지하는 정규화를 사용한다.
• 비특이화된 형식을 활용하여 $b^m$-symplectic 불변량을 symplectic 불변량의 극한으로 재해석함으로써, 체적과 측도 계산에서 발생하는 발산을 피한다.
• 비특이화된 symplectic 형식 $\omega_\epsilon$ 에 대해 Atiyah-Guillemin-Sternberg 볼록성 정리를 적용하여, $\epsilon \to 0$일 때 $b^m$-symplectic 모멘트 맵 이미지로 수렴하는 모멘트 다각체를 도출한다.
• 예를 들어 $f_\epsilon(\lambda) = \left(\frac{1}{\lambda}\right)^{2k-1} + \frac{2}{\lambda}$ 와 같은 비특이화된 모멘트 맵 성분의 명시적 표현을 사용하여, $\epsilon \to 0$ 근처에서 모멘트 다각체의 행동을 기술한다.

실험 결과

연구 질문

• RQ1 symplectic 체적과 Duistermaat-Heckman 측도와 같은 $b^m$-symplectic 불변량이 극한 symplectic 프레임워크를 통해 재해석되어 발산 문제를 해결할 수 있는가?
• RQ2 $b^{2k}$-symplectic 다양체는 항상 진정한 symplectic 구조를 갖는가? 만약 그렇다면, 이는 어떤 위상적 제약 조건과 관련이 있는가?
• RQ3 고전적 symplectic 정리(예: 볼록성과 Duistermaat-Heckman 정리)는 비특이화를 통해 $b^m$-symplectic 다양체로 확장될 수 있는가?
• RQ4 $b^m$-symplectic 다양체의 모멘트 다각체는 비특이화된 symplectic 또는 folded symplectic 형식의 다각체와 어떻게 관련이 있는가?
• RQ5 $\epsilon \to 0$일 때 비특이화된 형식 $\omega_\epsilon$ 가 임계 초표면 $Z$ 근처에서 어떻게 행동하는가? 이는 관련 기하 구조의 수렴에 어떤 영향을 미치는가?

주요 결과

• 짝수 $m$인 경우, symplectic 형식 $\omega_\epsilon$ 가 $C^{2k-1}$-위상에서 $b^m$-symplectic 형식 $\omega$ 로 수렴하며, 이는 관련 bivector 필드의 매끄러운 수렴을 보장한다.
• 홀수 $m$인 경우, folded symplectic 형식 $\omega_\epsilon$ 의 가 Families 는 $b^m$-symplectic 구조의 전역 정규화를 제공하며, 극한에서 folded 구조가 유지된다.
• 비특이화된 형식 $\omega_\epsilon$ 의 모멘트 다각체는 $b^m$-symplectic 구조의 모멘트 다각체로 수렴하며, 이는 토르 작용의 모듈러 무게에 따라 다른 행동을 보인다.
• 비특이화 과정을 통해 $b^m$-symplectic 다양체의 Duistermaat-Heckman 측도는 symplectic 또는 folded symplectic 다양체 위의 측도의 극한으로 이해될 수 있으며, 원래 수식에서 발생하는 무한대 문제를 피할 수 있다.
• $b^{2k}$-symplectic 다양체는 항상 진정한 symplectic 구조를 갖는다. 이는 $b^{2k}$-symplectic 다양체에도 symplectic 구조에 대한 모든 위상적 제약 조건이 동일하게 적용됨을 의미한다.
• $b^{2k+1}$-symplectic 구조의 존재는 비특이화 구성과 $M \times \mathbb{C}$ 위의 거의 복소 구조와 folded symplectic 형식 사이의 동치성에 의해, folded symplectic 구조의 존재를 암시한다.