2025-11-16T03:16:11.915629

On the homology of partial group representations

Jerez

We study how the partial group (co)homology of a group $G$ with coefficient in a partial representation $M$ can be described using the usual group (co)homology. To address this, we introduce the concept of the \textit{universal globalization} $Î(M)$ of a partial group representation $M$ of $G$. Our main result shows that the partial group homology $H^{\text{par}}_{\bullet}(G, M)$ is naturally isomorphic to the classical group homology $H_{\bullet}(G, Î(M))$. We extend this result to the cohomological framework, obtaining a spectral sequence involving the classical group cohomology that converges to the partial group cohomology. Notably, when $G$ is countable, the spectral sequence collapses, resulting in a natural isomorphism $H^{\bullet}_{\text{par}}(G, M) \cong H^{\bullet}(G, \operatorname{Hom}_{K_{\text{par}} G}(Î(K_{par}G), M))$, where $K_{par}G$ stands for the partial group algebra of $G$.

academic

On the homology of partial group representations

基本信息

论文ID: 2404.14650
标题: On the homology of partial group representations
作者: Emmanuel Jerez (Departamento de Matemática, Universidade de São Paulo, Brazil)
分类: math.AT (代数拓扑), math.GR (群论), math.KT (K理论与同调代数)
发表时间: 2024年4月 (arXiv预印本，2025年10月修订)
论文链接: https://arxiv.org/abs/2404.14650

摘要

本文研究了群 $G$ 的偏群(co)同调如何通过经典群(co)同调来描述。作者引入了偏群表示 $M$ 的万有全局化 $\Lambda(M)$ 概念。主要结果表明偏群同调 $H^{\text{par}}_{\bullet}(G, M)$ 与经典群同调 $H_{\bullet}(G, \Lambda(M))$ 自然同构。在上同调框架中，作者得到了一个收敛到偏群上同调的谱序列。当 $G$ 可数时，谱序列退化，得到自然同构 $H^{\bullet}_{\text{par}}(G, M) \cong H^{\bullet}(G, \operatorname{Hom}_{K_{\text{par}} G}(\Lambda(K_{\text{par}}G), M))$ 。

研究背景与动机

问题背景

偏群作用的重要性: 偏群作用由Exel在C*-代数理论中引入，用于编码仅在空间子集上定义的对称性。这些结构自然出现在研究对称性族的局部行为时。
同调理论的缺失: 虽然偏群作用理论已经发展成熟，但缺乏合适的(co)同调理论来研究偏群作用的结构。现有的初步方法包括基于半群的上同调和基于偏表示的上同调理论。
计算问题: 发展计算偏群(co)同调的方法对于理解偏群作用和偏表示的结构至关重要，同时也对计算偏扭群代数的Hochschild (co)同调有重要意义。

核心问题

主要问题: 能否利用群 $G$ 的经典群(co)同调来计算 $G$ 在偏表示系数下的偏群(co)同调？如果可以，这两种同调理论之间的关系是什么？

研究意义

理论桥梁: 在经典和偏同调不变量之间建立桥梁，使得可以使用成熟的群上同调工具来分析偏结构
计算优势: 偏群(co)同调的标准复形比经典群(co)同调的标准复形更小，计算上更有优势
应用价值: 结果包含群代数在Hopf代数类中，为3, Proposition 5.2提供了应用实例

核心贡献

引入万有全局化概念: 对任意偏群表示 $M$ ，构造了其万有全局化 $\Lambda(M)$ ，建立了偏表示到全局表示的函子
建立同调同构: 证明了偏群同调 $H^{\text{par}}_{\bullet}(G,M)$ 与经典群同调 $H_{\bullet}(G,\Lambda(M))$ 的自然同构
构造上同调谱序列: 在上同调框架中得到收敛到偏群上同调的谱序列，当 $G$ 可数时谱序列退化
解决开放猜想: 为可数群情形下的2, Conjecture D提供了肯定答案
发展偏张量积理论: 构造了偏群作用的偏张量积，证明了其满足张量积的常见性质

方法详解

任务定义

研究偏群表示的同调性质，具体是建立偏群(co)同调与经典群(co)同调之间的关系。

输入：群 $G$ 和 $G$ 的偏群表示 $M$ 输出：偏群(co)同调群及其与经典群(co)同调的关系

核心构造

1. 偏群代数和偏表示

Exel半群: $S(G)$ 是由生成元 $[t], t \in G$ 和关系式定义的逆半群
偏群代数: $K_{\text{par}}G$ 是由 $S(G)$ 生成的半群 $K$ -代数
偏表示: 映射 $\pi: G \to \text{End}_K(M)$ 满足特定的相容性条件

2. 偏张量积构造

对右 $G_{\text{par}}$ -模 $X$ 和左 $G_{\text{par}}$ -模 $Y$ ，定义偏张量积： $X \otimes_{G_{\text{par}}} Y := \frac{X \otimes_K Y}{K_{\beta,\alpha}}$

其中 $K_{\beta,\alpha}$ 是由元素 $\{(x)\beta_g \otimes y - x \otimes \alpha_g(y)\}$ 生成的子模。

3. 万有全局化

定理: 对偏群作用 $\alpha: G \curvearrowright M$ ， $(KG \otimes_{G_{\text{par}}} M, \Theta, \iota)$ 构成万有全局作用，其中：

$\Theta: G \curvearrowright KG \otimes_{G_{\text{par}}} M$ 是关联的全局作用
$\iota: M \to KG \otimes_{G_{\text{par}}} M, m \mapsto 1 \otimes_{G_{\text{par}}} m$

技术创新点

1. 万有性质的利用

通过万有性质证明了全局化函子 $\Lambda := KG \otimes_{G_{\text{par}}} -$ 的存在性和唯一性，避免了直接构造的复杂性。

2. 偏张量积的引入

偏张量积不仅提供了技术工具，还满足结合律和万有性质等张量积的基本性质，为理论奠定了坚实基础。

3. 分类讨论方法

对于不同类型的群（有限群、可数群、不可数群），采用不同的技术处理：

可数群：构造性证明投射性
不可数群：证明非投射性
有限群：利用有限呈现性质

主要结果

同调同构定理

定理 3.7: 设 $\pi: G \to \text{End}_K(M)$ 是偏群表示，则 $H^{\text{par}}_{\bullet}(G,M) \cong H_{\bullet}(G,\Lambda(M))$

证明思路:

利用 $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ 作为左 $KG$ -模是自由的
构造平坦分解 $P_{\bullet} \otimes_{KG} (KG \otimes_{G_{\text{par}}} K_{\text{par}}G) \to B$
应用同调计算得到同构

上同调谱序列

定理 3.22: 对右 $K_{\text{par}}G$ -模 $M$ ，存在上同调谱序列 $E_2^{p,q} = H^p(G, \text{Ext}^q_{K_{\text{par}}G}(\Lambda(K_{\text{par}}G), M)) \Rightarrow H^{p+q}_{\text{par}}(G,M)$

当 $G$ 有限或可数时，谱序列退化得到： $H^n_{\text{par}}(G,M) \cong H^n(G, \text{Hom}_{K_{\text{par}}G}(\Lambda(K_{\text{par}}G), M))$

投射性结果

命题 3.17: 若 $G$ 不可数无限，则 $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ 作为右 $K_{\text{par}}G$ -模不是投射的。

命题 3.19: 若 $G$ 可数无限，则 $KG \otimes B$ 作为右 $K_{\text{par}}G$ -模是投射的。

应用和推论

Lyndon-Hochschild-Serre谱序列

推论 3.8: 设 $N$ 是 $G$ 的正规子群，则存在谱序列 $H_p(G/N, H_q(N, \Lambda(M))) \Rightarrow H^{\text{par}}_{p+q}(G,M)$

Shapiro引理

推论 3.9: 设 $S$ 是 $G$ 的子群， $\pi: S \to \text{End}_K(M)$ 是偏表示，则 $H^{\text{par}}_{\bullet}(S,M) \cong H_{\bullet}(G, KG \otimes_{S_{\text{par}}} M)$

上同调维数

推论 3.25:

若 $G$ 有限或可数，则 $\text{cd}^{\text{par}}_K(G) = \text{cd}_K(G)$
若 $G$ 不可数无限，则 $\text{cd}^{\text{par}}_K(G) \leq \text{cd}_K(G) + \text{pd}_{K_{\text{par}}G}(KG \otimes_{G_{\text{par}}} K_{\text{par}}G)$