[논문 리뷰] Equivariant characteristic forms in the Cartan model and Borel equivariant cohomology

Andreas Kübel, Thom, Andreas|arXiv (Cornell University)|2015. 08. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 5

한 줄 요약

이 논문은 컴팩트 리 군에 대한 등변 특성류의 미분기하학적 및 위상수학적 구성 간의 동치성을 증명한다. 카르탕 모델과 보렐 등변 코hom로지의 틀에서, 곡률과 모멘트 맵을 통한 찰크-바일 구성이 보렐 구성과 동일한 클래스를 유도함을 보이며, 이는 이전 결과를 일반화하고 비콤팩트 설정으로의 확장을 가능하게 한다.

ABSTRACT

We show the compatibility of the differential geometric and the topological construction of equivariant characteristic classes for compact Lie groups. Our analysis motivates a differential geometric construction for equivariant characteristic classes in the non-compact case. This compatibility is generally assumed and used in various cases, but there is only a proof for compact connected Lie groups in the literature, see the work of Raoul Bott and Loring Tu. Our proof applies and generalizes ideas of Johan Dupont and Ezra Getzler.

연구 동기 및 목표

• 등변 특성류의 미분기하학적 및 위상수학적 구성 간의 엄밀하고 자가 포함적인 비교를 수립하기 위해.
• 기존에 알려진 컴팩트 연결 리 군에 대한 호환성 결과를 일반 컴팩트 리 군으로 일반화하기 위해.
• 곡률 기반 접근과 분류 공간 기반 접근 간의 연결 고리를 명확히 하여 등변 미분 코hom로지의 기초를 마련하기 위해.
• 기존 문헌을 초월하여 비콤팩트 군 작용에까지 확장 가능한 새로운 일반화된 증명을 제공하기 위해.

제안 방법

• 등변 드람 코hom로지의 카르탕 모델을 사용하여 등변 특성류를 닫힌 등변 미분형식으로 표현한다.
• 보렐 구성에 의해 동치로 $ M_G = EG \times_G M $ 위의 주다발을 연결함으로써 $ H^*_G(M) $ 내의 위상수학적 특성류를 유도한다.
• 리 군 $ K $ 의 리 대수 위에서의 불변 대칭 다항식을 통해 유니버설 찰크-바일 구성에 응용하며, 등변 곡률 형식 $ R^\nabla + \mu^\nabla $ 에서 평가한다.
• 두포앵의 단체형식과 게츠러의 해소를 사용하여 단체형 드람 복합체와 카르탕 모델 간의 준동형을 구성한다.
• 명시적인 미분형식과 이중단체 다각형의 연결을 통해 카르탕 모델과 단체형 드람 복합체 간의 표준 동형을 수립한다.
• 무한소 작용을 통해 정의된 모멘트 맵 $ \mu^\nabla $ 가 카르탕 모델에서 특성형식의 등변성을 보장함을 보여준다.

실험 결과

연구 질문

• RQ1 컴팩트 리 군에 대해 카르탕 모델을 통한 등변 특성류의 미분기하학적 구성이 보렐 구성에 의한 위상수학적 구성과 일치하는가?
• RQ2 찰크-바일 구성과 보렐 구성 간의 호환성은 컴팩트 연결 리 군을 초월하여 확장될 수 있는가?
• RQ3 카르탕 모델에서 모멘트 맵과 곡률을 어떻게 조합하여 잘 정의된 등변 특성형식을 정의할 수 있는가?
• RQ4 단체형 드람 복합체와 준동형은 기하학적 접근과 위상수학적 접근를 어떻게 연결하는가?
• RQ5 이 방법들은 비콤팩트 경우로 어떻게 일반화될 수 있으며, 어떤 구조적 변화가 필요한가?

주요 결과

• 논문은 카르탕 모델에서 곡률과 모멘트 맵을 통한 찰크-바일 구성으로 얻은 등변 특성류가 보렐 등변 코hom로지에서 보렐 구성으로 얻은 클래스와 일치함을 증명한다.
• 호환성은 연결된 군에 국한되지 않고 모든 컴팩트 리 군에 대해 성립함을 보이며, 이는 보틀과 투의 결과를 연결된 군에 국한된 것에서 일반화한 것이다.
• 모멘트 맵 $ \mu^\nabla $ 가 $ \mu^\nabla(X) = \nabla_{X^\sharp_M} + L^E_X $ 를 만족함을 보이며, 이는 무한소 작용과 관련된 벡터다발 위의 연결과의 연결 고리를 제공한다.
• 두 연결 간의 전이형식 $ \widetilde{\omega}(\nabla, \nabla') $ 이 카르탕 모델의 해당 형식과 일치함을 보이며, 변형에 대한 일관성을 확보한다.
• 증명은 두포앵의 단체형식과 게츠러의 해소를 통해 구성된 단체형 드람 복합체와 카르탕 모델 간의 준동형에 기반하며, 명시적인 계산을 가능하게 한다.
• 저자들은 존재하는 방법을 일반화하고 등변 미분 코hom로지의 체계적 발전을 위한 길을 여는 새로운 자가 포함적인 기초를 제공한다.