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

偏群表現のホモロジーについて

基本情報

論文ID: 2404.14650
タイトル: On the homology of partial group representations
著者: Emmanuel Jerez (ブラジル、サンパウロ大学数学科)
分類: math.AT (代数的位相幾何学)、math.GR (群論)、math.KT (K理論と同調代数)
発表時期: 2024年4月 (arXiv プレプリント、2025年10月改訂)
論文リンク: https://arxiv.org/abs/2404.14650

要旨

本論文は、群 $G$ の偏群(コ)ホモロジーが古典的群(コ)ホモロジーを通じてどのように記述されるかを研究している。著者は偏群表現 $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*-代数理論で導入され、空間の部分集合上でのみ定義される対称性を符号化するために使用される。これらの構造は対称性族の局所的な振る舞いを研究する際に自然に現れる。
ホモロジー理論の欠落: 偏群作用の理論は十分に発展しているが、偏群作用の構造を研究するための適切な(コ)ホモロジー理論が欠けている。既存の初期的なアプローチには、半群に基づくコホモロジーと偏表現に基づくコホモロジー理論が含まれる。
計算問題: 偏群(コ)ホモロジーを計算する方法を開発することは、偏群作用と偏表現の構造を理解するために重要であり、同時に偏ねじれ群代数のHochschild (コ)ホモロジーを計算する際にも重要な意味を持つ。

中心的な問題

主要な問題: 群 $G$ の古典的群(コ)ホモロジーを利用して、 $G$ の偏表現係数下での偏群(コ)ホモロジーを計算できるか。可能であれば、この二つのホモロジー理論の間の関係は何か。

研究の意義

理論的橋渡し: 古典的および偏同調不変量の間に橋渡しを確立し、成熟した群コホモロジーツールを使用して偏構造を分析できるようにする
計算上の利点: 偏群(コ)ホモロジーの標準複体は古典的群(コ)ホモロジーの標準複体より小さく、計算上より有利である
応用価値: 結果は群代数をHopf代数のクラスに含め、3, Proposition 5.2への応用例を提供する

核心的貢献

普遍的グローバル化概念の導入: 任意の偏群表現 $M$ に対して、その普遍的グローバル化 $\Lambda(M)$ を構成し、偏表現から全体表現への関手を確立した
ホモロジー同型の確立: 偏群ホモロジー $H^{\text{par}}_{\bullet}(G,M)$ と古典的群ホモロジー $H_{\bullet}(G,\Lambda(M))$ の自然な同型を証明した
コホモロジースペクトル列の構成: コホモロジーの枠組みで偏群コホモロジーに収束するスペクトル列を得、 $G$ が可算のときスペクトル列が退化することを示した
開放的予想の解決: 可算群の場合の2, Conjecture Dに対して肯定的な答えを提供した
偏テンソル積理論の発展: 偏群作用の偏テンソル積を構成し、テンソル積の通常の性質を満たすことを証明した

方法の詳細

タスク定義

偏群表現のホモロジー性質を研究し、具体的には偏群(コ)ホモロジーと古典的群(コ)ホモロジーの間の関係を確立する。

入力：群 $G$ と $G$ の偏群表現 $M$ 出力：偏群(コ)ホモロジー群およびその古典的群(コ)ホモロジーとの関係

核心的構成

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$ -加群として $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ が自由であることを利用
平坦分解 $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)$