On Dual Algebras of Hopf Algebroids

这是一份关于 Jingbang Guo 撰写的论文《Hopf 代数的对偶代数》（On Dual Algebras of Hopf Algebroids）的详细技术总结。

1. 研究问题 (Problem)

本文旨在解决 Hopf 胚（Hopf algebroids）理论中的一个核心代数化问题：如何将 Hopf 胚上的余模（comodules）自然地理解为对偶代数（dual algebra）上的模（modules）。

• 背景：Hopf 胚 $(A, \Gamma)$ 通常用于描述代数栈（algebraic stacks）的几何结构，其上的余模范畴 $RCoMod_\Gamma$ 等价于该栈上的拟相干层范畴 $QCoh(X)$。在拓扑循环同调（Topological Cyclic Homology, TC）等计算中，经常需要处理 Hopf 胚的余模上同调。
• 难点：
  1. 传统的对偶化方法（取线性对偶）通常将代数结构转化为余代数结构，但在 Hopf 胚的语境下，我们希望将“余模”转化为“模”以便利用模论的工具（如投射分解）。
  2. 由于 $\Gamma$ 通常是无限生成的 $A$-模，其线性对偶 $\Gamma^\vee = \text{Hom}_A(\Gamma, A)$ 具有自然的拓扑结构（紧开拓扑），这使得 $\Gamma^\vee$ 成为一个拓扑环而非普通离散环。
  3. 如何建立离散余模范畴与拓扑代数上的离散模范畴之间的等价关系，并在此框架下处理上同调计算（如 Ext 群）和对称幺半结构（tensor product）。

2. 方法论 (Methodology)

作者采用了一种结合代数几何、拓扑环论和固体模（Solid Modules）理论的方法：

1. 定义对偶代数：

   • 对于 Hopf 胚 $(A, \Gamma)$，定义其对偶代数为 $\Gamma^\vee := \text{Hom}_{A, \eta_L}(\Gamma, A)$。
   • 利用 $\Gamma$ 的余乘法 $\Delta$ 定义 $\Gamma^\vee$ 上的乘法，使其成为一个非交换的拓扑环（装备紧开拓扑）。
   • 利用 $\Gamma$ 的余单位 $\epsilon$ 定义 $\Gamma^\vee$ 的单位元。

2. 建立范畴等价：

   • 假设 $\Gamma$ 作为 $A$-模是自由且可数基生成的（Free Hopf algebroid）。
   • 证明右 $\Gamma$-余模范畴 $RCoMod_\Gamma$ 与 $\Gamma^\vee$ 上的离散模范畴 $Mod^\text{d}_{\Gamma^\vee}$（即装备连续作用的离散阿贝尔群）之间存在等价关系。
   • 核心机制：余模结构映射 $\psi_M: M \to M \otimes_A \Gamma$ 通过伴随同构对应于 $\Gamma^\vee \to \text{Hom}(M, M)$ 的连续环同态。

3. 函子性分析：

   • 研究 Hopf 胚态射 $f: (A, \Gamma) \to (B, \Sigma)$ 诱导的余模范畴之间的拉回函子 $f^*$。
   • 指出直接的对偶代数映射并不总是存在，但通过引入中间 Hopf 胚（如 $B \otimes_A \Gamma \otimes_A B$）和 faithfully flat 下降理论，可以将 $f^*$ 转化为对偶代数范畴间的函子。

4. 引入固体模与 Profinite 环：

   • 当 $A$ 是有限环时，$\Gamma^\vee$ 成为 Profinite 环（Profinite rings）。
   • 利用 Profinite 环上的离散模和 Profinite 模理论，以及 Pontryagin 对偶，讨论上同调计算。
   • 提出将理论置于**固体阿贝尔群（Solid Abelian Groups）**框架下，以解决张量积和对称幺半结构的定义问题（即 $\Gamma^\vee$ 的“余乘法”需要固体张量积 $\widehat{\otimes}$）。

3. 关键贡献与主要结果 (Key Contributions & Results)

A. 核心定理：余模与离散模的等价性

定理 2.22：若 $(A, \Gamma)$ 是一个自由 Hopf 胚（$\Gamma$ 作为 $A$-模自由且可数基生成），则存在范畴等价：
$$RCoMod_\Gamma \simeq Mod^\text{d}_{\Gamma^\vee}$$
其中 $Mod^\text{d}_{\Gamma^\vee}$ 是装备连续作用的离散 $\Gamma^\vee$-模范畴。

• 意义：这允许将 Hopf 胚上的几何问题（余模）转化为代数问题（模），从而可以使用投射分解等标准同调代数工具。

B. 对偶代数的代数结构

• 证明了 $\Gamma^\vee$ 是一个非交换的拓扑环。
• 给出了 $\Gamma^\vee$ 作为 $A$-代数的具体结构：$\epsilon^\vee: A \to \Gamma^\vee$ 是环同态，但 $\epsilon^\vee(A)$ 一般不在中心（除非 $\eta_L = \eta_R$）。
• 通过左/右单位映射 $\eta_L, \eta_R$ 定义了 $\Gamma^\vee$ 上的左/右 $A$-模结构。

C. 函子性与下降理论

• 分析了 Hopf 胚态射诱导的函子。虽然直接的对偶代数映射可能不存在，但通过分解态射 $(A, \Gamma) \to (B, \Gamma_f) \to (B, \Sigma)$，其中 $\Gamma_f$ 是 faithfully flat 下降产生的 Hopf 胚，可以建立对偶代数范畴间的函子关系。
• 证明了在 faithfully flat 下降下，余模范畴的等价性可以传递到对偶模范畴。

D. 上同调计算与对偶化对象

• Profinite 情形：当 $A$ 为有限环时，$\Gamma^\vee$ 是 Profinite 环。文章回顾了 Profinite 环上离散模与 Profinite 模的 Ext 群计算，利用 Pontryagin 对偶建立了两者之间的联系。
• 对偶化对象（Dualizing Object）：
  • 定义了 $\omega := R\text{Hom}_{\Gamma^\vee}(A, \Gamma^\vee)$。
  • 通过具体例子（如 Example 1.8 和 6.3），展示了如何计算该对象。例如，在特定 Hopf 胚下，$\omega$ 与 $\Gamma^\vee / \nabla_q \Gamma^\vee$ 相关，且同构于 $A[-1]$（在适当移位下）。
  • 指出该对象可能依赖于栈的呈现（presentation），但在某些情况下（如光滑情形）具有典范性。

E. 对称幺半结构

• 讨论了 $RCoMod_\Gamma$ 的张量积结构如何对应于 $\Gamma^\vee$ 的某种“余乘法”。
• 指出由于 $\Gamma^\vee$ 是拓扑环，标准的张量积无法直接定义，必须引入固体张量积（Solid Tensor Product） $\widehat{\otimes}$，使得 $\Gamma^\vee$ 具有类似 Hopf 代数的结构（即 $\Gamma^\vee \to \Gamma^\vee \widehat{\otimes} \Gamma^\vee$）。

4. 具体应用示例 (Examples)

• Example 1.8 & 1.19：考虑 $p$-进数域上的 Hopf 胚 $(Z_p[[q-1]], Z_p[[q_0-1, q_1-1]]\{\dots\}^\delta)$。
  • 其对偶代数 $\Gamma^\vee$ 由算子 $\nabla_q$ 生成，满足关系 $\nabla_q \circ f(q) = f(q^{1+p}) \circ \nabla_q + \frac{f(q^{1+p})-f(q)}{q(q-1)}$。
  • 这对应于 $p$-进微分几何中的“棱镜向量丛”（Prismatic Vector Bundles），即带有算子 $\nabla_q$ 的有限生成投射模。
• Example 1.23：展示了 $A$ 作为左 $\Gamma^\vee$-模的分辨率 $0 \to \Gamma^\vee \xrightarrow{\cdot \nabla_q} \Gamma^\vee \to A \to 0$，从而计算 $\text{Ext}$ 群。

5. 意义与展望 (Significance & Future Directions)

• 理论意义：

  • 为 Hopf 胚理论提供了一个强有力的代数对偶视角，将复杂的几何余模问题转化为更易于处理的拓扑模问题。
  • 明确了在 $p$-进几何和算术几何中，Hopf 胚的对偶代数本质上是带有拓扑结构的非交换代数。
  • 为使用同调代数工具（如投射分解）计算 Hopf 胚相关的上同调（如 TC 计算中的余模上同调）提供了理论基础。

• 应用价值：

  • 直接服务于拓扑循环同调（TC）和 $p$-进上同调理论的计算。通过将对偶代数视为算子代数，可以将几何下降问题转化为代数算子方程。
  • 为棱镜几何（Prismatic Geometry）中的向量丛提供了新的代数描述。

• 未来方向：

  • 固体模理论：文章强调，为了完善张量积和对称幺半结构，必须将理论完全建立在**固体阿贝尔群（Solid Abelian Groups）**的框架下（参考 Clausen-Scholze 的工作）。
  • 对偶化对象：进一步研究 $R\text{Hom}_{\Gamma^\vee}(A, \Gamma^\vee)$ 的几何意义及其在 Serre 对偶中的作用。
  • 分级与滤过：将理论推广到分级（Graded）和滤过（Filtered）Hopf 胚的情形。

总结

这篇文章通过引入对偶代数的概念，成功地将 Hopf 胚上的余模范畴等价于其拓扑对偶代数上的离散模范畴。这一转化不仅统一了代数几何与同调代数的视角，还为 $p$-进几何和拓扑循环同调中的具体计算提供了坚实的代数基础。文章特别强调了拓扑结构（紧开拓扑、Profinite 性质）和固体模理论在处理此类无限维代数结构时的必要性。