[论文解读] The definable content of homological invariants I: $\mathrm{Ext}$ & $\mathrm{lim}^1$

Jeffrey Bergfalk, Martino Lupini+1 more|arXiv (Cornell University)|Aug 20, 2020

Advanced Topology and Set Theory参考文献 30被引用 4

一句话总结

本文通过将经典同调不变量（特别是 Ext(B, F) 和 lim¹(A)）视为进入具有波兰覆盖的群范畴的函子，引入了其可定义的精化，其中态射为可定义同态。研究证明，可定义的 Ext(−, ℤ) 在无自由直和项的有限秩挠自由阿贝尔群范畴上是完全忠实的，从而解决了经典不变量中存在的基数间隙问题，并回答了 Kanovei 与 Reeken 关于 p-进群商群的一个问题。

ABSTRACT

This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting definable invariants provide far stronger means of classification. In the present work we focus on the first derived functors of $\mathrm{Hom}(-,-)$ and $\mathrm{lim}(-)$. The resulting definable $\mathrm{Ext}(B,F)$ for pairs of countable abelian groups $B,F$ and definable $\mathrm{lim}^{1}(\boldsymbol{A})$ for towers $\boldsymbol{A}$ of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable $ extrm{Ext}(-,\mathbb{Z})$ is a fully faithful contravariant functor from the category of finite rank torsion-free abelian groups $\Lambda$ with no free summands; this contrasts with the fact that there are uncountably many non-isomorphic such groups $\Lambda$ with isomorphic classical invariants $ extrm{Ext}(\Lambda,\mathbb{Z}) $. To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover and we prove several rigidity results for non-Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of the $p$-adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem $\mathcal{R}(\mathrm{Aut}(\Lambda)\curvearrowright\mathrm{Ext}(\Lambda,\mathbb{Z}))$ of classifying all group extensions of $\Lambda$ by $\mathbb{Z}$ up to base-free isomorphism, when $\Lambda =\mathbb{Z}[1/p]^{d}$ for prime numbers $p$ and $ d\geq 1$.

研究动机与目标

• 通过将经典同调不变量（如 Ext 和 lim¹）嵌入具有波兰覆盖的群范畴，引入描述集合论结构，以丰富其理论内涵。
• 解决经典不变量的局限性：它们无法区分不可数多个非同构的有限秩挠自由阿贝尔群（尽管其 Ext(Λ, ℤ) 同构）。
• 基于新的乌拉姆稳定性框架，建立具有波兰覆盖的非阿基米德阿贝尔群的刚性结果。
• 通过自同构作用于 Ext(Λ, ℤ) 分析分类群扩张的 Borel 归约复杂度，特别针对 Λ = ℤ[1/p]^d 的情形。
• 解决 Kanovei 与 Reeken 提出的问题：在稳定性条件下，某些可定义同态是否为平凡映射。

提出的方法

• 引入具有波兰覆盖的群的范畴，其中对象为 G/N（G 为波兰群，N 可波兰化），态射为可定义同态，且可提升为 Borel 映射。
• 为具有波兰覆盖的非阿基米德阿贝尔群发展一般性的乌拉姆稳定性框架，从而在拓扑与代数约束下实现刚性结果。
• 应用关于具有 (T) 性质的群的投影有限作用的上循环超刚性定理，分析 Ext(Λ, ℤ) 中分类问题的复杂度。
• 利用可定义同态可提升为 Borel 映射的性质，实现比经典群结构更精细的同构类型分析。
• 利用投影群及其在 Q_p^d 上的作用结构，将分类问题约化为已知的 Borel 归约性层级。
• 证明某些轨道等价关系上的作用是遍历的，且同伦于常值映射，从而在强刚性条件下表明非平凡可定义同态不可能存在。

实验结果

研究问题

• RQ1 能否通过描述集合论方法对经典同调不变量（如 Ext(B, F) 和 lim¹(A)）进行精化，以区分更多同构类型？
• RQ2 可定义的 Ext(−, ℤ) 函子在无自由直和项的有限秩挠自由阿贝尔群范畴上是否完全忠实？
• RQ3 对 Λ = ℤ[1/p]^d 模式，分类 ℤ-扩张（模去基自由同构）的 Borel 归约复杂度为何？
• RQ4 在刚性假设下，从某些投影群作用的轨道等价关系到其他轨道等价关系的可定义同态是否必然通过平凡映射？
• RQ5 波兰覆盖群的乌拉姆稳定性框架能否解决关于 p-进群商群的开放问题，如 Kanovei 与 Reeken 所提出的问题？

主要发现

• 可定义的 Ext(−, ℤ) 是无自由直和项的有限秩挠自由阿贝尔群范畴上的完全忠实反变函子，解决了大量此类群具有同构的经典 Ext(Λ, ℤ) 却非同构的问题。
• 主刚性结果的一个特例回答了 Kanovei 与 Reeken 的问题：若源为 pro-p 群、目标为 pro-q 群（p, q 为不同素数），则从 p-进群商到 q-进群商的任意可定义同态必为平凡映射。
• 当 Λ = ℤ[1/p]^d（d ≥ 1，p 为素数）时，Aut(Λ) ↷ Ext(Λ, ℤ) 的作用具有可定义分类问题，其复杂度受 E_0 等价关系有界，且轨道等价关系为 E_0-遍历。
• 当 Γ ≤ SL_m(ℤ) 具有 (T) 性质且 m ≥ 3 时，轨道等价关系 R(Γ ⋉ ℤ[1/q]^m ↷ ℚ_q^m) 是 F-遍历的，表明其在 Borel 归约性层级中具有高度复杂度。
• 利用上循环超刚性定理，证明当 Γ 具有 (T) 性质、Δ ≤ GL_d(ℚ) 且 p ≠ q 时，从 R(Γ ⋉ p^nℤ^m ↷ p^nℤ_p^m) 到 R(Δ ⋉ ℚ^d ↷ ℚ_q^d) 的几乎所有同态均同伦于常值映射。
• 可定义同态范畴允许比经典群论方法更精细的群扩张分类，尤其在投影群作用与乌拉姆稳定性背景下。