[논문 리뷰] On nearly semifree circle actions

Dusa McDuff, Susan Tolman|ArXiv.org|2005. 03. 22.

Geometric and Algebraic Topology참고 문헌 3인용 수 4

한 줄 요약

이 논문은 컴acts semisimple Lie 군 $G$의 기본군의 비자명한 모든 원소가 공대칭 궤도 $(M, \omega)$ 위에서의 semifree 원환면 작용으로 표현될 수 있음을 증명한다. 이는 포함사상 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 가 $\pi_1$ 에서 단사 사상임을 의미한다. 또한, 원환면 작용이 컴팩트 Lie 군 $G$ 내에서 본질적이지 않음은, 고정점 집합의 semifree 성분을 뒤집는 $G$의 원소가 존재하지 않는 한 성립하지 않음을 보인다.

ABSTRACT

Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if $(M, \om)$ is a coadjoint orbit of a compact Lie group $G$ then every element of $π_1(G)$ may be represented by a semifree $S^1$-action. A theorem of McDuff--Slimowitz then implies that $π_1(G)$ injects into $π_1(\Ham(M, \om))$, which answers a question raised by Weinstein. We also show that a circle action on a manifold $M$ which is semifree near a fixed point $x$ cannot contract in a compact Lie subgroup $G$ of the diffeomorphism group unless the action is reversed by an element of $G$ that fixes the point $x$. Similarly, if a circle acts in a Hamiltonian fashion on a manifold $(M,ω)$ and the stabilizer of every point has at most two components, then the circle cannot contract in a compact Lie subgroup of the group of Hamiltonian symplectomorphism unless the circle is reversed by an element of $G$

연구 동기 및 목표

• 컴팩트 semisimple Lie 군 $G$가 공대칭 궤도에 작용할 때 $\pi_1(G) \to \pi_1(\mathrm{Ham}(M, \omega))$ 의 단사성에 관한 Weinstein 의 질문을 해결하기.
• 심플렉틱 범주를 초월해, 컴팩트 Lie 군 내에서 수축의 위상적 장벽을 규명함으로써 semifree 원환면 작용의 본질성을 일반화하기.
• 특히 고정점 성분과 군의 뒤집기 작용과의 관계에서, 매니폴드 위의 원환면 작용이 컴팩트 Lie 군 $G$ 내에서 본질적이지 않은 조건을 특성화하기.
• 모든 고전적 및 예외적 Lie 군($A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2$)의 루트 시스템과 정수 격자 구조를 분석하여, $\pi_1$-류를 모두 표현하는 semifree 원환면 작용의 존재를 확인하기.

제안 방법

• McDuff–Slimowitz의 정리 1.1(임의의 컴팩트 심플렉틱 매니폴드 위의 semifree 원환면 작용은 심플레크토모르피즘 군에서 본질적임)의 사용.
• 공대칭 작용과 안정자군의 명시적 분석을 통한 컴팩트 semisimple Lie 군의 공대칭 궤도 위에서의 semifree 원환면 작용의 구성.
• 비해밍턴 경우에서는 플럭스 호모모르피즘을 적용해 본질적이지 않은 작용을 배제하고, 해밍턴 경우에서는 Hofer 길이를 활용.
• 고정점 집합의 위상적 분석: $M^\Lambda$ 의 성분 $F$ 가 $F$ 근처에서 작용이 semifree 이면 semifree 라고 하며, 어떤 $g \in G$ 가 $F$ 를 점별로 고정하고 $\Lambda$ 를 뒤집는다면 $G$ 에서 대칭적이라 한다.
• 만약 $M^\Lambda$ 의 semifree 성분이 $G$ 에서 대칭적이지 않다면, $\Lambda$ 는 $G$ 에서 본질적임을 증명. 이는 군론적 기법과 등변 위상수학 기법을 사용.
• 모든 고전적 및 예외적 Lie 군에 대한 루트 시스템의 세밀한 분석($A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2$)을 통해 최고 루트 $\delta$ 가 정수 격자 $\widetilde{\ell}^*$ 를 생성하고, 모든 루트가 특정한 루트 쌍으로 생성하는 격자 $L$ 에 속함을 확인.

실험 결과

연구 질문

• RQ1 컴팩트 semisimple Lie 군 $G$ 가 공대칭 궤도에 작용할 때 포함사상 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 가 $\pi_1$ 에서 단사 사상인가?
• RQ2 매니폴드 $M$ 위의 semifree 원환면 작용이 컴팩트 Lie 군 $G$ 내에서 본질적이지 않은 조건은 무엇인가?
• RQ3 모든 $\pi_1(G)$ 의 비자명한 원소는 $G$ 의 공대칭 궤도 위에서의 semifree 원환면 작용으로 표현될 수 있는가?
• RQ4 컴팩트 Lie 군 내에서 원환면 부분군의 수축을 막는 데 있어 군의 뒤집기 작용은 어떤 역할을 하는가?
• RQ5 예외적 Lie 군의 루트 시스템과 정수 격자가 $\pi_1$-류를 표현하는 semifree 원환면 작용의 존재에 어떤 영향을 미치는가?

주요 결과

• 컴팩트 semisimple Lie 군 $G$ 에 대해 $\pi_1(G)$ 의 모든 비자명한 원소는 공대칭 궤도 $(M, \omega)$ 위에서의 semifree 원환면 작용으로 표현 가능하며, 이는 명제 1.3에서 보였다.
• 포함사상 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 는 $\pi_1$ 에서 단사 사상임을 보여, Weinstein 의 질문에 대해 모든 컴팩트 semisimple Lie 군에 대해 긍정적으로 답함.
• 만약 원환면 부분군 $\Lambda \subset G$ 가 semifree 고정점 성분 $F$ 를 가지며, 이 성분이 $G$ 에서 대칭적이지 않다면, $\Lambda$ 는 $G$ 에서 본질적임을 제시한 정리 1.4.
• 심플렉틱 범주에서는, 만약 해밍턴 원환면 작용의 이소트로피군이 최대 이중성분을 가진다면($\leq 2$ 개의 성분), $\Lambda$ 가 $G$ 에서 본질적이지 않음은, 고정점 집합을 고정시키고 $\Lambda$ 를 뒤집는 어떤 $g \in G$ 가 존재하는 경우에 한해 성립함.
• 모든 고전적 및 예외적 Lie 군에서 최고 루트 $\delta$ 는 쌍대 정수 격자 $\widetilde{\ell}^*$ 를 생성하고, 모든 루트는 특정한 루트 쌍으로 생성하는 격자 $L$ 에 속함을 확인하여, 필요한 semifree 작용의 존재를 확인함.
• 특히 $E_8$ 에서 최고 루트 $\delta = \epsilon_1 - \epsilon_9$ 는 양의 Weyl 침대에 유일한 루트이며, 모든 루트는 $\pm(\epsilon_1 - \epsilon_k)$, $\pm(\epsilon_k - \epsilon_9)$, $\pm(\epsilon_1 + \epsilon_i + \epsilon_j)$, 및 $\pm(\epsilon_i + \epsilon_j + \epsilon_9)$ 의 합으로 표현 가능함을 보여, 격자 생성 주장이 확인됨.