[논문 리뷰] Symplectic Forms on Moduli Spaces of Flat Connections on 2-manifolds

Lisa C. Jeffrey|ArXiv.org|1994. 04. 28.

Advanced Algebra and Geometry참고 문헌 11인용 수 21

한 줄 요약

이 논문은 군 코hom로와 드 라무-바이코호모로지 복합체를 사용하여 2차원 다각형 위의 평탄한 접속의 비틀린 모듈리 공간에 심플렉틱 형식을 구성한다. 이는 웨인스타인의 프레임워크를 확장한 것으로, 확장된 모듈리 공간을 통한 유한차원 심플렉틱 실현과 심플렉틱 축소를 가능하게 한다. 또한 G=SU(n)이고 β가 중심 원소일 경우, 감소된 공간이 매끄럽고 심플렉틱 다양체가 됨을 증명한다.

ABSTRACT

Let $G$ be a compact connected semisimple Lie group. We extend the techniques of Weinstein [W] to give a construction in group cohomology of symplectic forms $ω$ on \lq twisted' moduli spaces of representations of the fundamental group $π$ of a 2-manifold $Σ$ (the smooth analogues of ${ m Hom} (π_1(Σ), G)/G$) and on relative character varieties of fundamental groups of 2-manifolds. We extend this construction to exhibit a symplectic form on the extended moduli space [J1] (a Hamiltonian $G$-space from which these moduli spaces may be obtained by symplectic reduction), and compute the moment map for the action of $G$ on the extended moduli space.

연구 동기 및 목표

• 웨인스타인의 군 코호몰로지 기반 심플렉틱 형식 구성 방식을 비틀린 모듈리 공간과 표면 군의 상대적 특성 다양체로 확장한다.
• 확장된 모듈리 공간 X_β를 통한 모듈리 공간의 유한차원 심플렉틱 실현을 제공하고, 심플렉틱 축소를 가능하게 한다.
• 확장된 모듈리 공간 X_β에서 G-작용에 대한 모멘트 맵을 계산하고, 게이지 이론적 구성과 일치함을 보인다.
• 군 코호몰로지의 컵 곱 쌍대를 통해 M_β 상의 심플렉틱 형식의 비퇴화성을 확립한다.
• X_β에서의 군 코호몰로지 구성 방식을 바탕으로, H*(M_β)에서의 교차 쌍대를 계산하기 위한 기초를 마련한다.

제안 방법

• 표면 관계 R에 대응하는 2차 쇼트체인 c ∈ C₂(F)를 정의하기 위해 Eilenberg-Mac Lane 군 체인과 포크 미분을 사용한다.
• δ가 군 코호몰로지에서 유래되고 d가 외부 미분인 드 라무-바이코호몰로지 복합체 (C^{*,*}(G), δ, d)를 적용한다.
• 포incare 보조정리에서 유도된 체인 호모토피 연산자를 사용하여 확장된 모듈리 공간 X_β 상의 심플렉틱 형식 ω를 구성한다.
• 商공간의 접선 공간을 코호몰로지 군 H¹(F; g_h)으로 식별하고, 컵 곱 쌍대를 통해 비퇴화성을 검증한다.
• 홀로노미를 통해 게이지 이론적 접선 공간 H¹(Σ−D²; d_A)와 군 코호몰로지 H¹(F; g_h) 사이의 동형사상을 수립한다.
• X_β 상의 심플렉틱 형식이 게이지 이론적 형식 ∫_Σ−D² α·∧β와 컵 곱 쌍대를 통해 일치함을 보인다.

실험 결과

연구 질문

• RQ1 비틀린 모듈리 공간 M_β 상의 심플렉틱 형식은 어떻게 군 코호몰로지로 구성할 수 있는가?
• RQ2 확장된 모듈리 공간 X_β에서 G-작용에 대한 모멘트 맵의 명시적 형태는 무엇인가?
• RQ3 군 코호몰로지의 컵 곱은 M_β 상의 심플렉틱 형식과 어떻게 관련이 있는가?
• RQ4 언제 M_β가 매끄럽고 심플렉틱 다양체가 되는가?
• RQ5 X_β 상의 군 코호몰로지 구성 방식은 평탄한 접속의 게이지 이론적 묘사와 어떻게 관련이 있는가?

주요 결과

• X_β 상의 심플렉틱 형식 ω는 메우러-카르탕 형식과 체인 호모토피 연산자를 사용하여 명시적으로 구성되었으며, 이는 닫힘과 비퇴화성을 보장한다.
• X_β 상의 G-작용에 대한 모멘트 맵이 계산되었고, 정규화를 제외한 게이지 이론적 모멘트 맵과 일치함을 보였다.
• G=SU(n)이고 β가 Z(G)의 생성원일 경우, 모멘트 맵의 값 0은 정규값이 되며, 이는 M_β가 매끄럽고 심플렉틱 다양체가 됨을 보장한다.
• M_β 상의 ω의 비퇴화성은 코호몰로지 군 H¹(F; g_h) × H¹(F, Z; g_h) → ℝ 상의 컵 곱 쌍대의 비퇴화성에 기반한다.
• X_β 상의 심플렉틱 형식은 게이지 이론적 형식 ∫_Σ−D² α·∧β와 일치함을 확인하여, 다양한 묘사 간의 일관성을 입증한다.
• 이 구성은 H*(M_β)의 코호몰로지 클래스에 대한 명시적 드 라무 표현을 제공하며, [JK2]에서 교차 쌍대를 계산하는 데 필수적이다.