[논문 리뷰] Leafwise homotopies and Hilbert-Poincare complexes. I. Regular HP-complexes and leafwise pull-back maps

Moulay-Tahar Benameur, Indrava Roy|arXiv (Cornell University)|2011. 09. 01.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 Higson-Roe의 힐버트-포incare(Hilbert-Poincaré, HP) 복합체 형식을 정칙 비유계 연산자와 $C^*$-대수의 모리타 동치를 포함하도록 확장하여, 층화구조에서의 잎새 동치 불변량에 대한 $C^*$-대수적 프레임워크를 수립한다. 이는 방향성이 있는 잎새 동치 동형사상에 의해 유도되는 잎새 de Rham HP 복합체 위에 함의적 추론 맵을 구성함으로써, 잎새 서명 연산자 사이의 명시적 경로를 제공하며, 이는 향후 논문들에서 체거-그로모프 로타 불변량의 잎새 동치 불변성을 증명하는 데 핵심이 된다.

ABSTRACT

This paper is a first of a series of three papers which study eta invariants for laminations. In this first paper, we extend the results of Higson and Roe to deal with regular (unbounded) operators and more importantly to take into account Morita equivalence of underlying $C^*$-algebras. Given an oriented leafwise map between leafwise oriented laminations on compact spaces, satisfying some natural assumptions, we construct a pull-back morphism between the de Rham HP complexes and prove their expected functoriality. As a byproduct, when two leafwise oriented laminations are leafwise homotopy equivalent, our construction allows to deduce an explicit path joining the leafwise signature operators and hence the famous Large Time Path appearing in the proof of the homotopy invariance of the measured Cheeger-Gromov number.

연구 동기 및 목표

• 층화구조에서의 잎새 동치 불변량, 특히 서명 불변량을 연구하기 위한 $C^*$-대수적 프레임워크를 개발하는 것.
• 분할의 서로 다른 수직선에서 유도된 $C^*$-대수들 사이의 모리타 동치 문제를 다루는 것.
• Higson-Roe의 HP-복합체 형식을 정칙(비유계) 연산자와 가чёт히 생성된 모듈러스를 포함하도록 일반화하는 것.
• 방향성이 있는 잎새 동치 동형사상에 의해 유도되는 잎새 de Rham HP 복합체 위에 명시적 추론 맵을 구성하는 것.
• 향후 논문들에서 체거-그로모프 로타 불변량의 잎새 동치 불변성을 증명하기 위한 기본적인 $C^*$-대수적 기초를 마련하는 것.

제안 방법

• Hilbert 모듈러스 위의 $C^*$-대수에서 정칙 비유계 연산자를 포함하도록 Higson-Roe의 HP-복합체 프레임워크를 확장한다.
• C*-대수적 설정에서의 모리타 동치를 다루기 위해 잎새 사상의 축소된 힐버트 이중모듈러스를 도입한다.
• 미분 형식의 추론과 호지 스타 연산자와의 상호작용을 통해 힐버트 모듈러스 위에 추론 맵을 구성한다.
• 내적 구조와 푸앵카레 대칭성과의 호환성을 확보하기 위해 추론 맵의 수반 연산자를 사용한다.
• 수반 연산자의 명시적 계산을 통해 추론 구성의 함의적 성질을 잎새 동치 동형사상 하에서 확립한다.
• 호지 스타 연산자와 추론의 역함수를 사용하여 잎새 추론 맵의 수반을 계산함으로써, $T^\prime_g \Psi^\phi_g T_X$를 포함하는 정확한 공식을 도출한다.

실험 결과

연구 질문

• RQ1 층화구조의 맥락에서 Higson-Roe의 HP-복합체 형식을 정칙 비유계 연산자를 다룰 수 있도록 어떻게 확장할 수 있는가?
• RQ2 기초가 되는 $C^*$-대수가 서로 이sov모르타 동치일 뿐이지 동형이 아닐 경우, 잎새 de Rham 복합체 위의 추론 맵을 어떻게 정의하고 함의적 성질을 확보할 수 있는가?
• RQ3 힐버트 모듈러스 위의 잎새 추론 맵의 수반의 정확한 형태는 무엇이며, 이는 푸앵카레 대칭성과 어떻게 관련되는가?
• RQ4 잎새 동치 동형사상으로부터 잎새 서명 연산자 간의 명시적 경로를 어떻게 구성할 수 있는가?
• RQ5 호지 스타 연산자와 추론의 역함수는 잎새 추론 맵의 수반을 계산할 때 어떤 역할을 하는가?

주요 결과

• 논문은 층화구조 사이의 방향성이 있는 잎새 사상에 의해 유도되는 잎새 de Rham HP 복합체 간에 잘 정의된 추론 준동형사상을 구성한다.
• 추론 맵은 모리타 동치에 대해 함의적 성질을 유지하며, HP-복합체의 구조를 보존한다.
• 추론 맵의 수반은 명시적으로 $(-1)^{k(p-k)}T^\prime_g \Psi^\phi_g T_X$로 계산되며, 호지 스타 연산자와 추론의 역함수를 포함한다.
• 추론 맵은 푸앵카레 대칭성의 구조를 보존하여 $K_1$에서의 서명 클래스와의 호환성을 확보한다.
• 잎새 동치 동형사상 하에서 잎새 서명 연산자 간의 명시적 경로를 구성할 수 있으며, 이는 로타 불변량의 동치 불변성을 증명하기 위한 핵심 단계이다.
• 이 프레임워크는 향후 논문들에서 측정된 체거-그로모프 로타 불변량이 바움-콘스 가정 하에 잎새 방향성 동치 불변량임을 증명하는 데 기초가 된다.