論文「Hopf 代数群の双対代数」の技術的サマリー

著者: Jingbang Guo
日付: 2026 年 2 月 26 日
分野: 代数学（Hopf 代数群、モジュラー表現論、トポロジカル・ホモロジー）

1. 研究の背景と問題意識

本論文は、**Hopf 代数群（Hopf algebroids）上の余加群（comodules）を、その双対代数（dual algebras）上の加群（modules）**として理解することを目的としている。

• 背景: Hopf 代数群は、代数幾何学におけるスタック（stack）の記述や、位相的巡回ホモロジー（Topological Cyclic Homology: TC）の計算において自然に現れる。特に、TC の計算は、Hopf 代数群の余加群コホモロジーの計算に帰着されることが知られている（例：[10]）。
• 問題: 従来のアプローチでは、余加群の圏を直接扱うが、これは加群の圏に比べて扱いが難しい場合がある。一方、加群の圏では射影分解や入射分解を用いた標準的なホモロジー代数の手法が適用可能である。
• 課題: Hopf 代数群 $(A, \Gamma)$ に対して、その双対代数 $\Gamma^\vee := \text{Hom}_{A, \eta_L}(\Gamma, A)$ を定義し、余加群の圏と双対代数上の加群の圏の間の等価性を確立すること。さらに、この対応が位相構造（コンパクト・オープン位相）やトポロジカルな性質をどのように反映するかを明らかにすること。

2. 主要な手法と定義

2.1 双対代数の定義

$(A, \Gamma)$ を Hopf 代数群とし、$\eta_L: A \to \Gamma$ を左単位写像とする。$\Gamma$ を $A$-加群（$\eta_L$ 経由）とみなすとき、双対代数 $\Gamma^\vee$ を以下のように定義する。

$$\Gamma^\vee := \text{Hom}_{A, \eta_L}(\Gamma, A)$$

• 環構造: $\Gamma$ の余積 $\Delta: \Gamma \to \Gamma \otimes_{\eta_R, A, \eta_L} \Gamma$ を用いて、$D_1, D_2 \in \Gamma^\vee$ に対して積を $D_2 \circ D_1$ と定義する。
• 位相構造: $\Gamma$ と $A$ を離散位相環とみなし、$\Gamma^\vee$ にはコンパクト・オープン位相を導入する。これにより $\Gamma^\vee$ は位相環となる。
• A-加群構造: $\eta_L$ と $\eta_R$ によって、$\Gamma^\vee$ は左 $A$-加群および右 $A$-加群の構造を持つ（一般に可換ではない）。

2.2 離散加群の圏

$\Gamma^\vee$ 上の**離散加群（discrete modules）**の圏 $\text{Mod}^d_{\Gamma^\vee}$ を定義する。これは、$\Gamma^\vee$ の作用が連続であるような離散アーベル群の圏である。

2.3 等価性の定理

定理 2.22（本論文の中心的な結果）:
$\eta_L: A \to \Gamma$ によって $\Gamma$ が可算基底を持つ自由 $A$-加群であると仮定する（自由 Hopf 代数群）。このとき、以下の圏の同値が存在する。

$$\text{RCoMod}_\Gamma \simeq \text{Mod}^d_{\Gamma^\vee}$$

ここで、$\text{RCoMod}_\Gamma$ は右 $\Gamma$-余加群の圏である。

• 対応: 余加群 $M$ の余構造 $\psi_M: M \to M \otimes_{\eta_L} \Gamma$ は、双対代数 $\Gamma^\vee$ の作用 $\tilde{\psi}_M: \Gamma^\vee \to \text{Hom}_\mathbb{Z}(M, M)$ に対応する。
• 意義: これにより、余加群の理論を、位相環上の離散加群の理論として再定式化できる。

3. 主要な結果と貢献

3.1 関手性とスタックの幾何学

• Hopf 代数群の準同型 $f: (A, \Gamma) \to (B, \Sigma)$ に対して、余加群の圏の引き戻し関手 $f^*$ が存在する。
• 双対代数のレベルでは、直接的な準同型 $\Sigma^\vee \to \Gamma^\vee$ が存在しない場合があるが、適切な「等価な」Hopf 代数群を経由することで、双対代数の準同型 $\beta^\vee: \Sigma^\vee \to \Gamma^\vee_f$ を介して関手性を記述できる（定理 3.3、構成 3.6）。
• これは、スタック上の準連結層の引き戻しと、双対代数上の加群の制限・拡大の対応を明確にする。

3.2 対称モノイドル構造

• 余加群の圏 $\text{RCoMod}_\Gamma$ は対称モノイドル構造を持つ（$\otimes_A$ によるテンソル積）。
• 双対代数 $\Gamma^\vee$ のレベルでは、この構造は $\Gamma^\vee$ 上の「余積」的な構造に対応する。しかし、一般的な位相アーベル群のテンソル積の定義が必要であり、ソリッド（solid）加群の理論（Scholze 等）を用いることで、$\Gamma^\vee \to \Gamma^\vee \mathbin{\hat{\otimes}} \Gamma^\vee$ のような構造が期待されると指摘されている（Remark 4.6）。

3.3 有限環とプロ有限環への応用

• $A$ が有限環である場合、双対代数 $\Gamma^\vee$ はプロ有限環（profinite ring）となる（Lemma 5.12）。
• この場合、$\Gamma^\vee$ 上のプロ有限加群と離散加群の圏が Pontryagin 双対性によって関連付けられる（Proposition 5.7）。
• コホモロジー代数: $\text{Ext}$ 群の計算において、プロ有限加群の射影分解や離散加群の入射分解を用いることが可能となり、標準的なホモロジー代数の手法が適用可能になる（Remark 5.10）。

3.4 具体例：プリズム的包絡と TC 計算

• 具体的な例として、$p$-進整数環 $Z_p$ とプリズム的包絡（prismatic envelope）を用いた Hopf 代数群 $(Z_p[[q-1]], \dots)$ を扱う。
• この双対代数 $\Gamma^\vee$ は、$Z_p[[q-1]]$ 上の微分作用素 $\nabla_q$ によって生成される代数として記述できる。
• この枠組みを用いることで、位相的巡回ホモロジー $TC(Z_p[\zeta_p])$ の計算が、$\Gamma^\vee$-加群上のコホモロジー計算（例えば、2 項複体 $A \xrightarrow{\nabla_q} A$ による計算）に帰着されることを示唆している（Example 1.23, 6.3）。

4. 今後の展開とソリッド幾何学

本論文は、双対代数の理論を完全に定式化するために、**ソリッド加群（solid modules）**の理論の導入が必要であると提言している（Remark 1.25, 6.2）。

• 双対化対象: 双対代数 $\Gamma^\vee$ 上の双対化対象 $\omega := \text{RHom}_{\Gamma^\vee}(A, \Gamma^\vee)$ を定義し、これをソリッド加群の圏で扱うことで、より一般的なコホモロジー理論（六関手形式など）を構築できる可能性がある。
• 応用: この理論は、$p$-進コホモロジー理論の幾何学的定式化や、より複雑な TC 計算の体系的な理解に寄与すると期待されている。

5. 結論と意義

本論文は、Hopf 代数群の余加群を双対代数上の加群として再解釈する体系的な枠組みを提供した。

• 理論的意義: 幾何学的対象（スタック）上の層の圏を、代数的対象（双対代数）上の加群の圏に変換することで、強力な代数的手法（射影分解、Ext 計算など）を適用可能にした。
• 実用的意義: 位相的巡回ホモロジー（TC）や $p$-進コホモロジーの具体的な計算において、複雑な余加群の構造を、より扱いやすい微分作用素や双対代数の構造に還元する道筋を示した。
• 将来的展望: ソリッド幾何学との統合により、位相的・代数的な構造を統一的に扱う「双対代数の理論」の確立を目指している。

この研究は、現代の数論幾何学とトポロジカルな代数学の接点において、重要な橋渡しとなるものである。