[论文解读] Leafwise homotopies and Hilbert-Poincare complexes. I. Regular HP-complexes and leafwise pull-back maps

Moulay-Tahar Benameur, Indrava Roy|arXiv (Cornell University)|Sep 1, 2011

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

本文通过将希格森-罗的希尔伯特-庞加莱（HP）复形形式化扩展至包含正规无界算子和 $C^*$-代数的莫里塔等价，建立了一个用于叶层结构中叶向同伦不变量的 $C^*$-代数框架。它为定向叶向同伦等价构造了叶向de Rham HP复形上的函子性拉回映射，从而在叶向符号算子之间建立了显式路径——这是后续论文证明切赫-格罗莫夫 rho 不变量的叶向同伦不变性的关键步骤。

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^*$-代数之间出现的莫里塔等价性挑战。
• 将希格森-罗的HP复形形式化推广至包含正规（无界）算子和可数生成模的情形。
• 为由定向叶向同伦等价诱导的叶向de Rham HP复形构造显式拉回映射。
• 为后续论文证明切赫-格罗莫夫 rho 不变量的叶向同伦不变性奠定 $C^*$-代数基础。

提出的方法

• 将希格森-罗的HP复形框架扩展至包含希尔伯特模上 $C^*$-代数的正规无界算子。
• 引入叶向映射的约化希尔伯特双模，以在 $C^*$-代数设定下处理莫里塔等价性。
• 通过微分形式的拉回及与霍奇星算子的相互作用，在希尔伯特模上构造拉回映射。
• 利用拉回映射的伴随算子，确保其与庞加莱对偶性及内积结构相容。
• 通过显式计算伴随算子，建立拉回构造在叶向同伦等价下的函子性。
• 利用霍奇星算子与拉回的逆，计算叶向拉回映射的伴随，得到包含 $T^\prime_g \Psi^\phi_g T_X$ 的精确公式。

实验结果

研究问题

• RQ1 如何将希格森-罗的HP复形形式化扩展至叶层结构中正规无界算子的情形？
• RQ2 当底层 $C^*$-代数仅为莫里塔等价而非同构时，如何定义叶向de Rham复形上的拉回映射并使其具有函子性？
• RQ3 叶向拉回映射在希尔伯特模上的伴随算子的精确形式是什么？它与庞加莱对偶性有何关系？
• RQ4 如何从叶向同伦等价构造叶向符号算子之间的显式路径？
• RQ5 霍奇星算子与逆拉回映射在计算叶向拉回映射伴随算子时起什么作用？

主要发现

• 本文构造了由叶层结构之间定向叶向映射诱导的叶向de Rham HP复形之间的良好定义的拉回同态。
• 证明了拉回映射在莫里塔等价意义下是函子性的，且保持了HP复形的结构。
• 显式计算出拉回映射的伴随算子为 $(-1)^{k(p-k)}T^\prime_g \Psi^\phi_g T_X$，其中涉及霍奇星算子与逆拉回。
• 拉回映射保持了庞加莱对偶性结构，确保其与 $K_1$ 中的符号类相容。
• 该构造在叶向同伦等价下产生了叶向符号算子之间的显式路径，这是证明rho不变量同伦不变性的关键步骤。
• 该框架为后续论文奠定了基础，证明了在鲍姆-康奈斯假设下，测度化的切赫-格罗莫夫 rho 不变量是叶向定向同伦不变量。