[논문 리뷰] Chern characters via connections up to homotopy

Marius Crainic|ArXiv.org|2000. 09. 26.

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

한 줄 요약

이 논문은 벡터 번들의 초복합체 위의 호모토피에 관하여 연결을 사용하여 체른 특성자를 계산하는 일반화된 프레임워크를 제안한다. 이는 고전적 체른 특성자 이론을 표준 연결을 초월하여 확장한다. 주요 기여는 이러한 연결의 곡률 자료를 통해 호모토피 불변 공식을 제공하는 것으로, 응용으로써 리 대수다형체 코homology 사상 하에서 차이 벡터다발 $\mathfrak{g} - TM$의 체른 특성자가 0이 됨을 증명함으로써 보틀의 퇴화 정리가 일반화됨을 보여준다.

ABSTRACT

The aim of this note is to point out that Chern characters can be computed using curvatures o ``super-connections up to homotopy'. We also present an application to the vanishing theorem for Lie algebroids which is at the origin of new secondary classes of algebroids (Fernandes), hence, in particular, of Poisson manifolds.

연구 동기 및 목표

• 표준 연결을 초월하여 연결을 호모토피에 관하여 정의함으로써 고전적 체른 특성자 계산을 일반화하는 것.
• 리 대수다형체의 수반 표현이 오직 호모토피에 관하여 표현일 뿐이므로, 일반화된 특성류 이론이 필요하다는 과제를 다루는 것.
• 호모토피에 관하여 연결의 곡률 자료를 사용하여 체른 특성자를 계산하는 호모토피 불변 방법을 수립하는 것.
• 이 프레임워크를 적용하여 리 대수다형체 코homology에서 차이 다발 $\mathfrak{g} - TM$의 체른 특성자가 0이 됨을 증명하는 퇴화 정리를 증명하는 것.
• 연결의 공리를 약화시켜 고차 호모토피 보정을 允허함으로써 퀼렌의 슈퍼연결 접근법을 확장하는 것.

제안 방법

• 연결을 호모토피에 관하여 정의하는 것으로, 선형 사상 $\nabla: \mathcal{X}(M) \otimes \Gamma E \to \Gamma E$ 를 정의하며, 곱법칙과 미분 $\partial$ 와의 호환성을 만족하지만, $C^\infty(M)$-선형성 조건을 호모토피에 관하여 허용한다.
• 이러한 연결과 관련된 곡률 연산자 $k_\nabla^p$ 를 정의하며, 이는 연결의 초교환자와 그 형태에 대한 작용을 통해 정의된다.
• 초트레이스의 곡률 거듭제곱의 차이로 체른 특성자 형태 $cs_p(\nabla, \widetilde{\nabla})$ 를 구성하며, 이는 특성류를 나타내는 닫힌 형태임을 보장한다.
• 초트레이스의 곡률 거듭제곱이 호모토피 관계 $\operatorname{Tr}_s(k_\nabla^p) - \operatorname{Tr}_s(k_{\widetilde{\nabla}}^p) = dcs_p(\nabla, \widetilde{\nabla})$ 를 만족함을 증명함으로써, 체른 특성자의 호모토피 불변성을 확립한다.
• 리 대수다형체에 이 프레임워크를 적용하기 위해, 복합체 $\mathfrak{g} \to TM$ 위에 자연스러운 $\mathfrak{g}$-연결을 호모토피에 관하여 정의하며, 이는 평탄하고 필요한 코homological 퇴화를 유도한다.
• 체른 특성자 구성의 $\mathfrak{g}$-버전을 사용하여 $\rho_* Ch(\mathfrak{g} - TM) = 0$ 이 $H^*(\mathfrak{g})$ 에서 성립함을 보여, 퇴화 정리를 증명한다.

실험 결과

연구 질문

• RQ1 표준 연결이 아니라, 오직 호모토피에 관하여 정의된 연결을 사용하여 체른 특성자를 계산할 수 있는가?
• RQ2 호모토피에 관하여 연결된 곡률은 드 람 코homology에서 체른 특성자와 어떻게 관련이 있는가?
• RQ3 일致한 특성류를 정의하는 데 있어 고차 호모토피 보정 $H^k(f_1,\dots,f_k,X)$ 의 역할은 무엇인가?
• RQ4 리 대수다형체 코homology 사상 $\rho_*$ 하에서 차이 다발 $\mathfrak{g} - TM$ 의 체른 특성자가 0이 되는가?
• RQ5 슈퍼연결 프레임워크는 호모토피 보정을 포함하면서도 체른 특성자의 호모토피 불변성을 유지할 수 있는가?

주요 결과

• 초복합체 $E = (E^0 \xrightarrow{\partial} E^1)$ 의 체른 특성자는 호모토피에 관하여 연결의 곡률 거듭제곱의 초트레이스를 통해 계산될 수 있다.
• 초트레이스 형태의 차이 $\operatorname{Tr}_s(k_\nabla^p) - \operatorname{Tr}_s(k_{\widetilde{\nabla}}^p)$ 는 정확하고, $dcs_p(\nabla, \widetilde{\nabla})$ 와 일치함을 증명함으로써 체른 특성자의 호모토피 불변성을 입증한다.
• 복합체 $\mathfrak{g} \to TM$ 위에 자연스러운 $\mathfrak{g}$-연결을 호모토피에 관하여 정의할 수 있으며, 이는 고차 호모토피 보정 $H(f,X)$ 가 0이고, 평탄한 곡률을 가진다.
• 차이 다발 $\mathfrak{g} - TM$ 의 체른 특성자는 사상 $\rho_*: H^*(M) \to H^*(\mathfrak{g})$ 하에서 0이 되며, 리 대수다형체에 대한 퇴화 정리를 증명한다.
• 이 프레임워크는 $C^\infty(M)$-선형성 조건을 엄격히 요구하지 않음으로써 퀼렌의 슈퍼연결 이론을 일반화하며, 고차 호모토피 보정 $H^k$ 는 고차 순서의 일致 조건을 만족한다.
• 복합체가 부분공간 $A \subset M$ 에서 수축 가능할 경우, 체른 특성자 형태의 제한을 통해 상대 코homology 클래스를 얻을 수 있다.