[논문 리뷰] Products in Generalized Differential Cohomology

Markus Upmeier|arXiv (Cornell University)|2011. 12. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 8

한 줄 요약

이 논문은 $E$가 합리적으로 짝수이고 곱셈적인 일반화된 코homology 이론일 경우, Hopkins-Singer의 미분 cohomology 확장 $\hat{E}$가 단위 원소를 지닌, 등급에 따라 교환되는 곱셈 구조를 가짐을 증명한다. 이 구성은 통합 맵의 정밀화와 쌍에 대한 미분 cohomology 이론의 개발에 기반하며, Chern 문자와 미분 형식과의 호환성을 확보함으로써 이전 구성에서의 비유일성 문제를 합리적 짝수성에 의해 해결한다.

ABSTRACT

In this paper it is shown that multiplicative cohomology theories that are rationally even -- a technical condition that is often satisfied -- the Hopkins-Singer construction of generalized differential cohomology has a unital, graded commutative multiplicative structure. To this end, an explicit integration and a differential cohomology theory for pairs are also developed.

연구 동기 및 목표

• 합리적으로 짝수인 코homology 이론에 대해 일반화된 미분 cohomology $\hat{E}$에 곱셈 구조를 구성하는 것.
• 합리적으로 짝수 이론으로 제한함으로써 이전 구성에서의 비유일성 문제를 해결하는 것.
• 기대되는 정확한 수열을 갖는 쌍 $\hat{E}^*(M,N)$에 대한 미분 cohomology 이론을 개발하는 것.
• 곱셈이 통합 맵 $\int_{S^1}$과 호환되도록 보장하여 함자성과 등급에 따라 교환되는 성질을 유지하는 것.
• Chern 문자를 올리는 데 성공하고 기하학적 및 cohomological 데이터를 존중하는 정규화된, 곱셈적 개선을 제공하는 것.

제안 방법

• 통합 맵 $\int_{S^1}: \hat{E}^{*+1}(S^1 \times M) \to \hat{E}^*(M)$를 정의하여 $I$, $R$, $a$와 호환되도록 한다.
• 상대적 자료를 사용하여 쌍 $\hat{E}^*(M,N)$에 대한 미분 cohomology를 정의함으로써 장점 정확한 수열을 도출한다.
• 명시적 대표원 $(c, \omega, h)$와 체인 수준 호환성 변형을 사용하여 곱 $\hat{x} \cup \hat{y}$를 구성한다.
• Acyclic Models 정리를 사용하여 반복 통합과 곱셈 구조 사이의 체인 호환성 동치를 보인다.
• 합리적 짝수성을 활용하여 기본 코호몰로지 원소 선택의 모호성을 제거함으로써 정규화된 곱셈 구조를 확보한다.
• 등급에 따라 분석하고 등급에 따라 교환되는 성질 및 반복 통합 항등식을 사용하여 곱셈과 통합의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 합리적으로 짝수인 코homology 이론에 대해 Hopkins-Singer의 미분 cohomology $\hat{E}$에 대해 정규화된 곱셈 구조를 정의할 수 있는가?
• RQ2 미분 cohomology에서 곱셈과 호환되도록 통합 맵을 어떻게 정밀화할 수 있는가?
• RQ3 쌍 $\hat{E}^*(M,N)$에 대한 미분 cohomology의 올바른 공식화는 무엇이며, 이는 장점 정확한 수열을 유도하는가?
• RQ4 미분 cohomology의 곱셈이 $S^1$-통합 맵 $\int_{S^1}$과 교환되는가? 그리고 이는 차수의 기수성에 따라 어떻게 검증되는가?
• RQ5 이전의 미분 개선에서의 비정규화된 선택은 합리적 짝수성에 의해 해결될 수 있는가?

주요 결과

• 모든 합리적으로 짝수이고 곱셈적인 코homology 이론 $E$에 대해, $\hat{E}^*$에 단위 원소를 지닌 등급에 따라 교환되는 곱셈 구조가 존재하며, 이는 이전의 비유일성 문제를 해결한다.
• 곱셈 구조는 $S^1$-통합 맵과 호환되며, 모든 차수 기수성에서 $\int_{S^1}(\hat{x} \times \hat{y}) = \left(\int_{S^1}\hat{x}\right) \times \hat{y}$ 를 만족한다.
• 쌍 $\hat{E}^*(M,N)$에 대한 미분 cohomology 이론이 구성되었으며, $\hat{E}^*_{\text{flat}}(N)$, $\hat{E}^*(M,N)$, $\hat{E}^*(M)$, $\hat{E}^*(N)$을 포함하는 자연스러운 장점 정확한 수열이 존재한다.
• 반복 통합과 체인 호환성 증거를 사용한 경우별 검증을 통해 곱셈이 결합법칙을 따르고 등급에 따라 교환된다는 것이 입증된다.
• 합리적 짝수성을 활용함으로써 다양한 기본 코호몰로지 원소 선택이 동치인 곱셈 구조를 유도하므로, 정규화된 미분 cohomology 이론이 얻어진다.
• 이 구성은 Chern 문자, 곡률 맵 $R$, 특성 클래스 맵 $I$와 호환되며, [BS10]의 의미에서 일관된 미분 확장 형성한다.