[论文解读] Bounds for the rank of the finite part of operator $K$-Theory

Süleyman Kağan Samurkaş|arXiv (Cornell University)|May 21, 2017

Advanced Operator Algebra Research被引用 1

一句话总结

该论文为有限生成群的最大与约化 C*-代数中算子 K-理论群的有限部分的秩建立了精确的下界和上界。它引入了‘多项式满群’这一类别——包括几乎幂零群在内——在此类群中，上下界一致，并通过共轭类结构和欧拉函数，为阿贝尔群、对称群和二面体群推导出秩的显式公式。

ABSTRACT

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. We use the lower bound to give lower bounds for the structure group $S(M)$ and the group of positive scalar curvature metrics $P(M)$ for an oriented manifold $M$. We define a class of groups called "polynomially full groups" for which the upper bound and the lower bound we derive are the same. We show that the class of polynomially full groups contains all virtually nilpotent groups. As example, we give explicit formulas for the ranks of the finite parts of operator $K$-theory groups for the finitely generated abelian groups, the symmetric groups and the dihedral groups.

研究动机与目标

• 推导有限生成群的最大与约化 C*-代数中算子 K-理论群的有限部分秩的下界和上界。
• 将这些界限应用于研究紧致定向流形 M 上的结构群 S(M) 和正标量曲率度量群 P(M)。
• 定义并表征‘多项式满群’——即所推导的下界与上界一致的群。
• 为特定群类（包括阿贝尔群、对称群和二面体群）计算 K-理论中有限部分秩的显式公式。
• 建立 C*G 中线性无关投影与装配映射像的平凡交集的条件，从而为 S(M) 和 P(M) 提供下界。

提出的方法

• 定义 FG 为在 ∼fin 关系下有限阶元素的等价类数量，其中 g ∼fin h 当且仅当 pg 与 ph 在 C*G 中共轭。
• 在群代数元素上使用迹映射 τh: CG → ℂ，将其延拓至光滑稠密子代数 A ⊆ C*rG，从而诱导同态 ρi: K₀(C*G) → ℂ。
• 将 τh 提升至 CG 的完备化上，通过确保连续性和光滑性的半范数，使迹映射可延拓至 A。
• 证明 K₀(C*G) 中 {pg}g∈S 的线性无关性，依赖于其在 ρi 下像的线性无关性，此结论依赖于此类迹延拓的存在性。
• 在阶为 d 的元素上定义 ∼d：g ∼d h 当且仅当存在 a ∈ ℕ 使得 ga ∈ C(h)，并利用此关系计算 |Gfin_d / ∼d|，从而得到 FG = Σd≥1 |Gfin_d / ∼d|。
• 证明在多项式满群中，Kfin₀(C*G) 的秩的下界与上界一致，并表明几乎幂零群属于多项式满群类别。

实验结果

研究问题

• RQ1 Kfin₀(C*G) 的有限部分秩的精确下界和上界如何用群论不变量表示？
• RQ2 在哪些群类中，K-理论有限部分秩的下界与上界一致？
• RQ3 如何利用 K-理论元素对流形 M 上的结构群 S(M) 和正标量曲率度量群 P(M) 给出下界？
• RQ4 在有限生成阿贝尔群、对称群和二面体群等特定群中，FG 的显式公式可如何推导？
• RQ5 在何种条件下，CG 上的迹映射可延拓至 C*rG 的光滑子代数，以检测 K₀(C*G) 中的线性无关性？

主要发现

• Kfin₀(C*G) 的秩的下界为 FG = Σd≥1 |Gfin_d / ∼d|，基于有限阶元素在 ∼d 关系下的等价类数量。
• Kfin₀(C*G) 的秩的上界同样为 FG，因此在多项式满群中，秩恰好等于 FG。
• 当 G = ℤ/n₁ × ⋯ × ℤ/nₖ 时，FG = Σ_{d₁|n₁}⋯Σ_{dₖ|nₖ} φ(d₁)⋯φ(dₖ)/φ(lcm(d₁,…,dₖ))，其中 φ 为欧拉函数。
• 当 G = ℤ/n₁ × ⋯ × ℤ/nₖ × ℤ^m 时，FG 的表达式与有限阿贝尔群情况相同，因为扭元素完全由有限部分决定。
• 对于二面体群 Dₙ，若 n 为奇数，则 FG = Fℤ/n + 1；若 n 为偶数，则 FG = Fℤ/n + 2，其中 Fℤ/n 为 n 的正因子个数。
• 对于对称群 Sₙ，FG 等于 Sₙ 中共轭类的数量，因为此时 ∼fin 与共轭关系一致。