[论文解读] Real Hochschild homology as an equivariant Loday construction

Ayelet Lindenstrauss, Birgit Richter+1 more|arXiv (Cornell University)|Mar 13, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文在离散的 E_sigma-环上识别 Real Hochschild 同调，在二元群及相关群作用下给出等变 Loday 结构，并建立底层的函子框架。

ABSTRACT

Equivariant Loday constructions are a means for providing geometric interpretations of equivariant homology theories. They are usually constructed for a simplicial $G$-set and a $G$-Tambara functor. We study situations where -- depending on the isotropy subgroups occurring in the simplicial $G$-set -- one can work with $H$-Tambara functors for a suitable subgroup $H$ of $G$. We apply this to give an interpretation of Real Hochschild homology of discrete $E_σ$-rings as equivariant Loday constructions where we consider $2m$-gons with a geometrically defined action of the dihedral groups $D_{2m}$ for all $m \geq 1$. The action of symmetric groups on $1$-skeleta of permutohedra also gives examples with isotropy groups $C_2$.

研究动机与目标

• 将等变 Loday 构造作为等变同调理论的几何模型来激发兴趣。
• 建立一个框架，使用 H-Tambara 函子（对于 G 的子群 H）来定义具有受限同位层的 G-Loday 构造。
• 将该构造应用于实现离散的 E_sigma-环的 Real Hochschild 同调，作为 D_{2m}-等变 Loday 构造。
• 展示这些构造如何推广到离散的 E_sigma-环，并在等变稳定同调理论中与 THR 相关。

提出的方法

• 从一个有限的 G-单纯复集合 X 和一个 G-Tambara 函子 T 出发，定义一个 G-等变的 Loday 构造。
• 利用 Mazur/Hoyer 的结果，通过范数 N_H^G 和 Restrictions i_H^G 将 X_n 乘以 T 以构建一个单纯的 G-Tambara 函子。
• 当同位子子群来自 D_{2m} 的子群时（通过一个合适的自同构），调整构造以接受 D_2-Tambara 输入。
• 证明得到的单纯对象通过 D_{2m}-Mackey 泛函实现离散的 E_sigma-环的 Real Hochschild 同调。
• 建立对角线与 Norm 上的对角线/G-动作的 Loday 构造之间的比较，并在同族目标的同伦及第 0 度同调层面通过同构与 THR 相关。

实验结果

研究问题

• RQ1 如何通过 Tambara 函子从单纯的 G-集合实现等变同调理论？
• RQ2 在何种同位限制下可以从 G-Tambara 函子经过 H-Tambara 函子来定义 G-Loday 构造？
• RQ3 何时对受限 Tambara 输入的 Loday 构造能恢复离散的 E_sigma-环的 Real Hochschild 同调？
• RQ4 N_H^G ∘ i_H^G T 的范数与限制结构如何与自同构兼容以在 Real Hochschild 设置中建模 Dihedral 动作？
• RQ5 在 O(2)-等变设定下，带反自同态的 A 的 Loday 构造与 THR 的关系是什么？

主要发现

• 离散的 E_sigma-环的 Real D_{2m}- Hochschild 同调被辨识为来自使用 D_{2}-Tambara 输入的 Loday 构造所产生的 D_{2m}-分级 Mackey 泛函。
• 可以对离散的 E_sigma-环定义 Loday 构造，扩展原始输入范畴。
• 建立了 THR(A) 与 O(2)-作用的同构，等价于一个 Loday 构造 L_{P_{2m}}^{D_{2m};D_{2}}(A)，将 THR 与 Loday 框架联系起来。
• 对于连通的环态 A，i^{O(2)}_{D_{2m}} THR(A) 的 degree-zero pi_0 与在 pi_0^{D_2}A 上计算的 Loday 构造相一致。
• 该工作分析了对范数的两种潜在 G-作用（对角线和翻转），并证明在某些情况下它们会产生等价的 Tambara 净（并指出在非 S^{} 示例中的微妙之处）。
• 一个变群结果显示如何在子群之间的同构上传递 Tambara 结构，从而实现聚焦的等变解释。