Let be a finite-dimensional algebra over a field . We show that the Auslander–Reiten bimodule is central in the derived Picard group of and that, when , it induces through the derived-invariance functor of \cite{Armenta19,ArmentaKeller17,ArmentaKeller19} a canonical automorphism of the Tamarkin–Tsygan calculus of ; the pair is invariant under derived equivalence. We then compute both components of . On the Hochschild homology of an elementary algebra, which is concentrated in degree zero, the matrix of in the basis of idempotent traces is , so its characteristic polynomial is the Coxeter polynomial; the enriched calculus strictly refines both the calculus and the Coxeter polynomial, as the path algebras of quivers of types and show, although it is not a complete derived invariant, as the smallest cospectral pair of trees shows. On Hochschild cohomology we prove that is the identity: the left and right actions of on the bimodule coincide for every finite-dimensional . This yields a short conceptual proof that the Nakayama automorphism of a Frobenius algebra acts trivially on Hochschild cohomology, recovering a recent theorem of Suárez-Álvarez. Finally we extend the construction to smooth and proper differential graded algebras, hence to perfect derived categories of smooth projective varieties; the enrichment degenerates precisely on Calabi–Yau categories, and on it is governed by the Coxeter polynomial of the Beilinson algebra. Happel’s trace formula and de la Peña’s cyclotomicity theorem for fractionally Calabi–Yau algebras become statements internal to the enriched calculus.

生成讲解博客的中文版本

生成AI智能校验的中文版本