[논문 리뷰] Lecture Notes on Equivariant Cohomology

Matvei Libine|arXiv (Cornell University)|2007. 09. 23.

Advanced Operator Algebra Research참고 문헌 22인용 수 19

한 줄 요약

이 논문은 등변 코homology에 대한 종합적인 강의 노트를 제공하며, Atiyah-Bott 및 Berline-Vergne 국소화 정리에 초점을 맞춘다. 위상수학적 정의를 $ (M \times E)/G $를 통해 제시하며, 여기서 $ E $는 수축 가능한 $ G $-공간이다. 또한 다양체에 대해 de Rham 접근법을 개발한다. 주요 기여는 등변 적분을 고정점들의 합으로 표현하는 Berline-Vergne 국소화 공식을 유도하는 것으로, Kirillov 특성 공식과 Duistermaat-Heckman 정리에의 응용을 포함한다.

ABSTRACT

These are the lecture notes for the introductory graduate course I taught at Yale during Spring 2007. I mostly followed [GS], [BGV], [AB], [Par2], and there are no original results in these notes.

연구 동기 및 목표

• Graduate 학생들을 위한 등변 코homology에 대한 자율적인 소개를 제공하기 위해.
• 다양체 위의 컴acts Lie 군 작용에 대해 등변 코homology의 위상수학적 및 de Rham 정의를 수립하기 위해.
• 등변 형식의 적분에 대해 Berline-Vergne 국소화 공식을 도출하고 설명하기 위해.
• 등변 코homology를 표현 이론의 핵심 결과, 예를 들어 Kirillov 특성 공식과 연결하기 위해.
• Witten 1-form과 그가 등변 코hom로의 푸시포워드를 국소화하는 데서 수행하는 역할을 제시하기 위해.

제안 방법

• 등변 코homology를 $ H^*_G(M) = H^*((M \times E)/G) $로 정의하며, 여기서 $ E $는 자유적인 $ G $-작용을 갖는 수축 가능한 $ G $-공간이다.
• 분류 번들의 $ EG \to BG $를 사용하여 $ E $의 선택에 대해 $ G $-등변 호모토피에 대해 독립적임을 보장한다.
• 주 $ G $-번들의 분류 정리를 적용하여 $ BG $를 보편 공간으로서 구성하는 데에 정당성을 부여한다.
• Hamiltonian 벡터장 $ \mathcal{H} $가 $ \|\mu\|^2/2 $의 해밀토니안임을 고려하여 $ \lambda = (\mathcal{H}, \cdot)_M $로 정의되는 Witten 1-form $ \lambda $를 도입하여, 등변 코hom로의 분할 단위를 정의한다.
• $ \operatorname{P}_\lambda $가 $ \{\Phi_\lambda = 0\} = \operatorname{Cr}(\|\mu\|^2) $ 근처에 지지됨을 고려하여 등변 분할 단위 $ 1_M = \operatorname{P}_\lambda + d_{\text{eq}}\delta $를 구성한다.
• 푸리에 변환과 온화한 분포를 사용하여 $ \mathcal{P}(\alpha) $의 푸시포워드를 $ \|\mu\|^2 $의 임계집합으로 국소화함으로써, 고정점 기여를 통한 계산이 가능하게 한다.

실험 결과

연구 질문

• RQ1 컴 pact Lie 군의 작용에 대해 공간에 대해 등변 코homology를 위상수학적으로 어떻게 정의할 수 있는가?
• RQ2 위상수학적 정의 $ H^*_G(M) = H^*((M \times E)/G) $와 다양체 위의 de Rham 모델 간의 관계는 무엇인가?
• RQ3 Berline-Vergne 국소화 공식은 어떻게 등변 적분을 고정점들의 합으로 표현하는가?
• RQ4 Witten 1-form은 $ \|\mu\|^2 $의 임계점으로 등변 적분을 어떻게 국소화하는가?
• RQ5 $ \operatorname{Cr}(\|\mu\|^2) $의 각 성분이 $ \mathcal{P}(\alpha) $에 기여하는 방식은 무엇인가?

주요 결과

• 분류 번들의 유일성 덕분에 등변 코homology $ H^*_G(M) $는 수축 가능한 $ G $-공간 $ E $의 선택에 영향을 받지 않는다.
• 작용이 자유일 경우 $ (M \times E)/G $는 $ M/G $와 호모토피 동치이므로, 이 경우 $ H^*_G(M) \cong H^*(M/G) $이다.
• 분할 단위 $ 1_M = \operatorname{P}_\lambda + d_{\text{eq}}\delta $는 등변 형식을 국소화된 부분과 정확한 부분으로 분해하는 데에 가능하게 한다.
• 푸시포워드 $ \mathcal{P}(\alpha) $는 $ \operatorname{P}_\lambda \wedge \alpha \wedge e^{i\tilde{\omega}} $의 푸리에 변환과 같으며, 이는 $ \{\Phi_\lambda = 0\} = \operatorname{Cr}(\|\mu\|^2) $로 국소화된다.
• $ \operatorname{Cr}(\|\mu\|^2) $의 각 성분이 $ \mathcal{P}(\alpha) $에 기여하는 방식은 정규 벡터장에 의해 계산 가능하며, 양호한 열린 집합 $ U $의 선택과 무관하다.
• 국소화 공식은 Duistermaat-Heckman 정리를 회복하며, 컴팩트 Lie 군에 대한 Kirillov 특성 공식으로 이어진다.