[논문 리뷰] A 2-cocycle on a group of symplectomorphisms

Р. С. Исмагилов, Mark Losik외 1명|ArXiv.org|2004. 10. 05.

Geometric and Algebraic Topology참고 문헌 10인용 수 5

한 줄 요약

이 논문은 정확한 심플렉틱 형식과 1차 실수 코homology가 0인 비콤팩트 심플렉틱 다양체의 심플렉토모피즘 군 위에 비자명한 2-코호모로지 사이클을 구성한다. 이 사이클은 기저점에서부터의 경로를 따라 원형 1-형식의 역상 적분을 통해 정의되며, 비분할 중심 확장을 유도한다. 핵심 결과는 이 사이클이 대칭 허미션 공간 G/K에 제한되었을 때 비자명하다는 것이며, 이는 전체 심플렉토모피즘 군 위에서도 비자명함을 시사한다.

ABSTRACT

For a symplectic manifold $(M,\om)$ with exact symplectic form we construct a 2-cocycle on the group of symplectomorphisms and indicate cases when this cocycle is not trivial.

연구 동기 및 목표

• 정확한 심플렉틱 형식과 H¹(M,ℝ)=0을 가진 심플렉틱 다양체의 심플렉토모피즘 군 위에 2-코호모로지 사이클을 구성한다.
• 이 사이클이 특정한 대칭 허미션 공간 G/K에 제한되었을 때 비자명함을 보인다.
• 이 사이클이 심플렉토모피즘 군의 비분할 중심 확장을 유도함을 확립한다.
• 해당 리 대수 사이클을 분석하고, 그것이 비자명해지는 조건을 규명한다.
• 체류 보존 미분형과 컴팩트 지지의 심플렉토모피즘에 알려진 사이클들과의 비교를 수행한다.

제안 방법

• 고정된 기저점 $ x_0 $ 과 원형 1-형식 $ \omega_1 $ (여기서 $ d\omega_1 = \omega $) 을 사용하여 2-코호모로지 사이클 $ C_{x_0}(g_1, g_2) = \int_{x_0}^{g_2 x_0} (g_1^* \omega_1 - \omega_1) $ 을 정의한다.
• $ H^1(M,\mathbb{R}) = 0 $ 을 활용하여 적분이 경로에 독립적이게 하여 사이클이 잘 정의됨을 보장한다.
• 표준적인 군 코호모로지 복합체 항등식을 사용하여 사이클이 정규화되고 2-코호모로지 조건 $ D^2 C_{x_0} = 0 $ 을 만족함을 증명한다.
• 1-코체 $ a(g) = \int_{x_1}^{x_2} (g^* \omega_1 - \omega_1) $ 를 사용한 코 boundary 논증을 통해 $ C_{x_0} $ 의 코호모로지 클래스가 $ x_0 $ 와 $ \omega_1 $ 의 선택에 영향을 받지 않음을 보인다.
• 해당 리 대수 사이클 $ c_{x_0} $ 를 해밀턴 및 국소 해밀턴 벡터장 위에서 분석하고, 이를 파울리 대수와 심플렉틱 체적 형식과 연결한다.
• 포incare 대칭과 Lefschetz 사상 $ L^{n-1}: H^1(M,\mathbb{R}) \to H^{2n-1}(M,\mathbb{R}) $ 을 사용하여 콤팩트 다양체에서 리 대수 사이클의 비자명성을 특성화한다.

실험 결과

연구 질문

• RQ1 심플렉토모피즘 군 위의 2-코호모로지 사이클이 비자명해지는 조건은 무엇인가?
• RQ2 사이클 구성이 기저점과 원형 1-형식의 선택에 어떻게 의존하는가?
• RQ3 사이클이 유도하는 중심 확장이 비분할이 되는 조건은 무엇인가?
• RQ4 리 대수 사이클과 $ C^\infty(M) $ 위의 파울리 대수의 구조 사이의 관계는 무엇인가?
• RQ5 어떤 콤팩트 심플렉틱 다양체에서 리 대수 사이클이 비자명한가?

주요 결과

• H¹(M,ℝ) = 0 인 조건으로 인해 경로 선택에 독립적이며, $ g_1^*\omega_1 - \omega_1 $ 가 정확형임을 보장하므로 2-코호모로지 사이클 $ C_{x_0} $ 는 잘 정의된다.
• 사이클 $ C_{x_0} $ 는 정규화되고 2-코호모로지 항등식을 만족하므로, $ \mathbb{R} $ 를 값으로 가지는 유효한 군 2-코호모로지 사이클이다.
• 차이가 코 boundary이므로, $ C_{x_0} $ 의 코호모로지 클래스는 기저점 $ x_0 $ 와 원형 $ \omega_1 $ 의 선택에 영향을 받지 않는다.
• 심플렉토모피즘 군의 부분군 $ G $ (여기서 $ M = G/K $ 는 대칭 허미션 공간임) 에 제한된 $ C_{x_0} $ 는 비자명하므로, 전체 심플렉토모피즘 군 위에서도 비자명하다.
• 콤팩트 심플렉틱 다양체의 경우, 리 대수 사이클 $ c_{x_0} $ 는 Lefschetz 사상 $ L^{n-1}: H^1(M,\mathbb{R}) \to H^{2n-1}(M,\mathbb{R}) $ 가 0이 아닐 때에만 비자명하다.
• 카플러의 경우 $ L^{n-1} $ 는 동형사상이므로, $ H^1(M,\mathbb{R}) \neq 0 $ 이면 $ c_{x_0} $ 는 비자명하다.