$τ$-Hochschild (co)homology, the square of the Serre bimodule, and the Coxeter automorphism of the Tamarkin--Tsygan calculus

Abstract

We relate two recent enrichments of the Hochschild theory of a finite-dimensional algebra $\Lm$: the $τ$-Hochschild (co)homology of Cibils, Lanzilotta, Marcos and Solotar, built from Iyama's higher Auslander--Reiten translates of the regular bimodule, and the Coxeter automorphism $σ_\Lm$ of the Tamarkin--Tsygan calculus. We show that the Nakayama functor of the enveloping algebra transforms Happel's minimal resolution into a complex representing $\D\Lm\Ltimes_\Lm \D\Lm$, the square of the Serre bimodule whose shift generates $σ_\Lm$, and that the $τ$-translates $τ_n\Lm$ are precisely the cycle bimodules of this complex. This produces extensions $0\to \B_n\to τ_n\Lm\to \Tor_n^\Lm(\D\Lm,\D\Lm)\to 0$ whose outer term is dual to $\Ext^n_{\Lme}(\Lm,\Lme)$ and whose inner term is a strictly Morita-theoretic residue of the minimal model. In top degree $d=\gldim\Lm$ the residue vanishes and $τ_d\Lm$ is the dual of the degree-one component of the $(d+1)$-preprojective algebra of Iyama--Oppermann; for $\Lm=\kk Q$ hereditary, $τ_{\Lme}\Lm\cong \DΠ(Q)_1$ and $\HH^1_τ(\kk Q)$ is the degree-one part of the zeroth Hochschild homology of the preprojective algebra. For self-injective algebras, the derived part vanishes identically, which explains structurally the growth of $τ$-cohomology for the Buchweitz--Green--Madsen--Solberg algebras. Taking Euler characteristics in the Cibils--Lanzilotta--Marcos--Solotar dimension formulas recovers Happel's trace formula $\sum_i(-1)^i\dim\HH^i(\Lm)=-\trσ_\Lm$. We prove that the two refinements are transversal, propose the combined Morita invariant, exhibit derived-equivalent algebras of finite global dimension whose $τ$-translates have identical dimension but opposite composition, and pose the problem of derived invariance of $τ$-Hochschild theory over the smooth locus.