[论文解读] Volumes of hyperbolic manifolds and mixed Tate motives

A. B. Goncharov|ArXiv.org|Jan 19, 1996

Geometric and Algebraic Topology参考文献 10被引用 8

一句话总结

本文通过两种不同方法构造了奇数维双曲流形在 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 中的一个不变量，表明该流形的体积等于在该不变量上取值的博雷尔上同调规架。该研究建立了双曲几何时空、非欧几里得空间中的剪切全等性以及 $\mathbb{C}$ 的代数 $K$-理论之间的深刻联系，特别是通过混合 Tate 模形式实现。

ABSTRACT

Two different constructions of an invariant of an odd dimensional hyperbolic manifold in the K-group $K_{2n-1}(\bar \Bbb Q)\otimes \Bbb Q$ are given. The volume of the manifold is equal to the value of the Borel regulator on that element. The scissor congruence groups in non euclidian geometries are studied and their relationship with algebraic K-theory of the field of complex numbers is discussed.

研究动机与目标

• 通过两种不同的方法构造奇数维双曲流形在 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 中的不变量。
• 证明此类流形的体积等于该不变量在博雷尔上同调规架下的取值。
• 研究非欧几里得几何中的剪切全等类群，并将其与 $\mathbb{C}$ 的代数 $K$-理论联系起来。
• 通过代数 $K$-理论在双曲几何与混合 Tate 模形式之间建立概念性桥梁。
• 阐明复数域 $\mathbb{C}$ 在双曲不变量的 $K$-理论解释中的作用。

提出的方法

• 通过多面体分解与 $K$-理论中的符号运算构造不变量。
• 利用从 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 到 $\mathbb{R}$ 的博雷尔上同调规架映射提取体积。
• 使用群论与代数方法分析双曲空间中的剪切全等类。
• 通过特征类将剪切全等群与 $\mathbb{C}$ 的代数 $K$-理论联系起来。
• 运用动机论与上同调技术，将该不变量解释为一个混合 Tate 动机。
• 利用 $\overline{\mathbb{Q}}$ 及其伽罗瓦作用的结构，在数论语境下定义该不变量。

实验结果

研究问题

• RQ1 如何为奇数维双曲流形在 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 中构造一个不变量？
• RQ2 双曲流形的体积与该不变量的博雷尔上同调规架之间存在何种精确关系？
• RQ3 非欧几里得几何中的剪切全等群如何反映代数 $K$-理论结构？
• RQ4 混合 Tate 动机以何种方式自然地从双曲体积不变量中浮现？
• RQ5 复数域 $\mathbb{C}$ 在双曲几何时空的 $K$-理论解释中扮演何种角色？

主要发现

• 奇数维双曲流形的体积等于在 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 中一个典范元素上取值的博雷尔上同调规架。
• 两种不同的构造方法得到相同的 $K_{2n-1}(\overline{\mathbb{Q}}) \otimes \mathbb{Q}$ 中的不变量，确认了其自然性。
• 双曲空间中的剪切全等类映射到 $\mathbb{C}$ 的代数 $K$-理论元素，将几何与算术联系起来。
• 该不变量在 $\overline{\mathbb{Q}}$ 上实现为一个混合 Tate 动机，暗示了双曲体积的动机起源。
• 该构造与伽罗瓦下降相容，并在 $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ 作用下表现出对称性。
• 本文建立了一个概念性框架，其中双曲体积被编码于代数 $K$-理论与动机上同调之中。