[論文レビュー] 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

ひとこと要約

本論文は、Real Hochschild同型の離散的 E_sigma-リング に対する equivariant 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$.

研究の動機と目的

• equivariant Loday 構築を幾何学的モデルとして equivariant homology 理論へ動機づける。
• H-Tambara 関手（G の部分群 H に対して）を用いて、同位体を制限した G-Loday 構築を定義する枠組みを開発する。
• この構成を適用して、離散的 E_sigma-リングの Real Hochschild homology を D_{2m}-equivariant Loday 構築として実現する。
• これらの構築が離散的 E_sigma-リングへと拡張され、等変安定同相理論における THR との関連を示す。

提案手法

• G-等変 Loday 構築を、単純化された有限 G-集合 X と G-Tambara 関手 T から定義する。
• Mazur/Hoyer の結果を用いて、X_n × T を norm N_H^G と制限 i_H^G により構築し、単純化された G-Tambara 関手を作る。
• 同種不動点部分群が D_{2m} の部分群に由来する場合（適切な自己同型を介して）D_2-Tambara 入力を受け付けるように構築を調整する。
• 得られた単純体が、離散的 E_sigma-リングの Real Hochschild homology を realization することを示す（D_{2m}-Mackey 関手として）。
• ノーマに対する対角 G-作用とフリップ G-作用の両方を持つ Loday 構築の比較を確立し、同一性の同型を介して THR へ結びつける（収束対象が連結である場合の同次・pi_0 レベルでの同型を含む）。

実験結果

リサーチクエスチョン

• RQ1 simplicial G-sets を Tambara 関手を用いて equivariant なホモロジー理論として実現するにはどうするか。
• RQ2 G-Tambara 関手から制限された H-Tambara 関手へ移行して G-Loday 構築を定義できるのは、どの同位体制約の下か。
• RQ3 Tambara 入力を制限した Loday 構築が、Real Hochschild homology を離散的 E_sigma-リングに対して回復するのはいつか。
• RQ4 N_H^G ×i_H^G T のノーマと制限構造が、自動作用とどのように適合して、Real Hochschild 環境のジオメトリをモデル化するか。
• RQ5 anti-involution を持つ A の Loday 構築と O(2)-等変設定における THR との関係はどうなるか。

主な発見

• Real D_{2m}-Hochschild 同型は、D_{2}-Tambara 入力を用いた Loday 構築から生じるグレード付き D_{2m}-Mackey 関手と同定される。
• Loday 構築は、離散的 E_sigma-リング に対して定義可能であり、元の入力カテゴリを拡張する。
• THR(A) の O(2)-作用と、Loday 構築 L_{P_{2m}}^{D_{2m};D_{2}}(A) との同型を確立し、THR を Loday 枠組みに結びつける。
• 連結性のある環スペクトル A に対して、pi_0 のレベルで i^{O(2)}_{D_{2m}} THR(A) が pi_0^{D_2} A で計算される Loday 構築と一致する。
• ノーマに対する二つの潜在的 G-作用（対角・フリップ）を分析し、それらが Tambara 関手として同等になる条件を示す（非 S^{sigma} の例での微妙さに留意）。
• 群の同型を介してサブグループ間の Tambara 構造を転送する変換表示を示し、焦点化した equivariant な解釈を可能にする。