[논문 리뷰] Real Hochschild homology as an equivariant Loday construction

Ayelet Lindenstrauss, Birgit Richter외 1명|arXiv (Cornell University)|2026. 03. 13.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

The paper identifies Real Hochschild homology for discrete E_sigma-rings with equivariant Loday constructions under dihedral and related group actions, and develops the underlying functorial framework.

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 constructions를 기하학적 모델로 삼아 equivariant homology 이론을 제시한다.
• 서브그룹 H의 G-Tambara functor를 이용하여 제한된 등방성으로 G-Loday 구성들을 정의하기 위한 프레임워크를 개발한다.
• 이 구성을 이산 E_sigma-링에 대해 Real Hochschild homology를 D_{2m}-equivariant Loday 구성으로 실현하도록 적용한다.
• 이 구성들이 이산 E_sigma-rings로 확장될 때 THR과의 관계를 for equivariant stable homotopy theory에서 어떻게 연결되는지 보인다.

제안 방법

• simplicial finite G-set X와 G-Tambara functor T로부터 G-Equivariant Loday 구성 정의
• Mazur/Hoyer의 결과를 이용해 N_H^G와 i_H^G를 통해 X_n × T를 정의하여 simplicial G-Tambara functor를 구축
• isotropy 부분군이 D_{2m}의 부분군에서 유도될 때(적절한 자동화를 통해) D_2-Tambara 입력을 받도록 구성 보정
• 결과로 얻은 simplicial 대상이 이산 E_sigma-링에 대한 Real Hochschild homology를 실현함을 보인다(D_{2m}-Mackey functor를 통해)
• 특히 대각선 Gi-작용과 flip Gi-작용이 포함된 Norm들 간의 비교를 확립하고, 연결적으로 동등한 homotopy 및 음이 아닌 pi_0 레벨에서 THR과의 동형을 보인다(연결 대상이 connective인 경우).

실험 결과

연구 질문

• RQ1 Similiar G-세트의 simplicial 구조를 Tambara functor를 이용해 등방성 동형 이론으로 어떻게 실현할 수 있는가?
• RQ2 G-Tambara functor에서 H-Tambara functor로의 전이에서 어떤 등방성 제약하에서 G-Loday 구성 정의가 가능한가?
• RQ3 제한된 Tambara 입력으로 이끈 Loday 구성이 이산 E_sigma-rings의 Real Hochschild homology를 언제 재현하는가?
• RQ4 N_H^G i_H^G T의 Norm 및 Restriction 구조가 자동화와 어떻게 호환되어 Real Hochschild 설정에서 이 dihedral 작용을 모델링하는가?
• RQ5 A에 대한 anti-involution과 THR의 O(2)-equivariant 설정 간의 관계는 어떤가?

주요 결과

• Real D_{2m}-Hochschild homology of a discrete E_sigma-ring is identified with a graded D_{2m}-Mackey functor coming from a Loday construction using D_{2}-Tambara input.
• The Loday construction can be defined for discrete E_sigma-rings, extending the original input category.
• An isomorphism between THR(A) with O(2)-action and a Loday construction L_{P_{2m}}^{D_{2m};D_{2}}(A) is established, linking THR to the Loday framework.
• For connective ring spectra A, the degree-zero pi_0 level of i^{O(2)}_{D_{2m}} THR(A) agrees with the Loday construction computed on pi_0^{D_2}A.
• The work analyzes two potential G-actions on norms (diagonal and flip) and proves when they yield equivalent Tambara functors (noting subtleties in non-S^{\sigma} examples).
• A change-of-groups result shows how to transfer Tambara structures along isomorphisms between subgroups, enabling focused equivariant interpretations.