[论文解读] l^p-cohomology for groups of type FP_n

Elias Kappos|ArXiv.org|Oct 31, 2005

Algebraic Geometry and Number Theory参考文献 6被引用 3

一句话总结

本文建立了类型为 $FP_n$ 的群在 $\frac{1}{p} + \frac{1}{q} = 1$ 条件下，其约化 $l^p$-同调与 $l^q$-上同调之间的对偶性，并在存在无限阶中心元、无限多个有限共轭类、幂零性或多项式增长等条件下，证明了此类群的约化 $l^p$-同调与上同调的消失性。其主要贡献在于，针对中心结构与共轭类结构具有约束的 $FP_n$ 群，推广了 $l^p$-上同调的消失性结果。

ABSTRACT

Let G be a group of type FP_n and let p>1. In this paper we show that the reduced l^p-homology of G is dual to the reduced l^q-cohomology for \frac{1}{p}+\frac{1}{q}=1. In our main theorem we show that for a group of type FP_n with a central element of infinite order the reduced l^p-cohomology vanishes. We generalize this fact for groups with infinitely many elements in the center of the group, for groups which are FCC, for groups with infinitely many finite conjugacy classes, for nilpotent groups, and for groups of polynomial growth.

研究动机与目标

• 为满足 $\frac{1}{p} + \frac{1}{q} = 1$ 的 $FP_n$ 型群建立约化 $l^p$-同调与 $l^q$-上同调之间的对偶性。
• 在具有无限阶中心元等结构性条件下，证明 $FP_n$ 群的约化 $l^p$-同调与上同调的消失性。
• 将具有无限阶中心元的群的消失性结果推广至具有无限多个有限共轭类、幂零群以及多项式增长群的情形。
• 通过泛函分析与群上同调技术，将对偶性与消失定理从 $l^2$-情形推广至 $p > 1$ 的 $l^p$-上同调。

提出的方法

• 通过 $\mathbb{Z}[G]$ 上 $\mathbb{Z}$ 的投射解析式，利用 $l^p(G)$ 上的张量积与 $\mathrm{Hom}$ 构造，定义 $l^p$-同调与上同调。
• 通过在范数拓扑下取像的闭包来定义约化 $l^p$-(上)同调，以确保完备性与对偶性。
• 应用 Shapiro 引理与归纳/诱导函子，将子群上的上同调与全群上的上同调联系起来。
• 在群环中使用广义轨道与截断论证，以控制求和并确保 $l^p$-范数下的收敛性。
• 利用 Hahn-Banach 定理与伴随映射，建立 $l^p$ 与 $l^q$ 空间之间的对偶性，从而证明对偶同构。
• 将中心元情形的证明策略适配至更一般的情形，如幂零群与多项式增长群，通过中心列与共轭类的有限性进行处理。

实验结果

研究问题

• RQ1 对于满足 $\frac{1}{p} + \frac{1}{q} = 1$ 的 $FP_n$ 型群，其约化 $l^p$-同调是否与约化 $l^q$-上同调对偶？
• RQ2 在何种结构性条件下，$FP_n$ 型群的约化 $l^p$-上同调（$p > 1$）会消失？
• RQ3 具有无限阶中心元的群的消失性结果能否推广至具有无限多个有限共轭类或幂零结构的群？
• RQ4 具有无限部分与有限部分的中心列如何影响幂零群的 $l^p$-上同调？
• RQ5 多项式增长性与有限指数幂零子群在多大程度上能推出 $FP_n$ 群中约化 $l^p$-上同调的消失性？

主要发现

• 对于满足 $\frac{1}{p} + \frac{1}{q} = 1$ 的 $FP_n$ 型群，其约化 $l^p$-同调与 $l^q$-上同调之间存在自然同构，该同构由 $l^p$-$l^q$ 对偶性诱导。
• 对于具有无限阶中心元的 $FP_n$ 型群，其约化 $l^p$-上同调在所有 $i \leq n$ 下消失。
• 该消失性结果可推广至具有无限多个有限共轭类的群，其证明基于群环中广义轨道与截断论证。
• 对所有 $i \in \mathbb{N}$，类型为 $FP_\infty$ 的有限生成无限幂零群的约化 $l^p$-上同调均为平凡。
• 具有有限指数幂零子群的多项式增长群，其约化 $l^p$-上同调在所有 $i \in \mathbb{N}$ 下也为平凡。
• 该证明技术依赖于在中心群环元素的轨道上构造受控求和，并利用范数闭包确保在 $l^p$-空间中的收敛性。