Hochschild (co)homology and cyclic homology via a graded Euler characteristic with applications to higher preprojective algebras
Pith reviewed 2026-06-26 00:58 UTC · model grok-4.3
The pith
For higher preprojective algebras, the graded vector space structures of all Hochschild (co)homology and cyclic homology groups follow from those of the center and the zeroth Hochschild homology via a graded Euler characteristic.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors show that for higher preprojective algebras, it suffices to know the graded vector space structure of the center and the zeroth Hochschild homology in order to determine the graded vector space structures of the Hochschild cohomology, Hochschild homology, and cyclic homology in all degrees, by generalizing the graded Euler characteristic approach of Etingof and Eu.
What carries the argument
the graded Euler characteristic computed via the graded Cartan matrix, which encodes the necessary relations to determine higher homology groups from the center and HH_0
Load-bearing premise
The structural features allowing the graded Euler characteristic to determine all homology groups from the center and zeroth homology extend from ordinary preprojective algebras to the higher ones considered here.
What would settle it
An explicit computation for a specific higher preprojective algebra where the higher-degree Hochschild homology structures deviate from what the graded Euler characteristic predicts based on the center and HH_0.
read the original abstract
Computing the structure of the Hochschild (co)homology and the cyclic homology of an algebra can be hard work, but Etingof and Eu showed that it can be done surprisingly easily for preprojective algebras of ADE Dynkin type, at least if one only wants to know the graded vector space structure of each Hochschild cohomology group. Their method is based on exploiting strong structural features of such a preprojective algebra via a graded Euler characteristic that can computed using the algebra's graded Cartan matrix. In this paper, we present a generalization of the method used by Etingof and Eu to higher preprojective algebras. We also apply our generalization to the higher preprojective algebras of the 2-representation finite algebras that arise as tensor products of representation finite hereditary algebras of type A. For this, it turns out to be enough to know the graded vector space structure of the center and the zeroth Hochschild homology to be able to deduce the graded vector space structure of the Hochschild (co)homology and the cyclic homology in all other degrees.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes the Etingof-Eu method based on the graded Euler characteristic (computed from the graded Cartan matrix) to higher preprojective algebras arising from 2-representation-finite tensor products of type-A hereditary algebras. It proves that the graded vector-space structures of the center and HH_0 suffice to determine the graded structures of all other HH^i, HH_i and cyclic homology groups, by verifying graded Calabi-Yau duality and vanishing of higher Ext groups directly for these algebras rather than assuming them from the classical ADE case.
Significance. If the results hold, the work supplies an explicit, direct-verification-based extension of the Etingof-Eu technique to a new class of algebras, yielding a parameter-free computational route from center and HH_0 data alone. This strengthens the toolkit for homological invariants in higher representation theory and Calabi-Yau structures.
minor comments (3)
- [Abstract] Abstract: the sentence 'it turns out to be enough to know the graded vector space structure of the center and the zeroth Hochschild homology' would be clearer if it briefly named the two structural properties (graded Calabi-Yau duality and Ext vanishing) that make the deduction possible.
- [§2] §2 (or wherever the higher preprojective algebra is defined): include an explicit reference or short recap of the tensor-product construction from type-A hereditary algebras to ensure the class under consideration is unambiguously delimited.
- [Main theorem] Notation for graded vector spaces: ensure consistent use of parentheses or subscripts when denoting the graded pieces of HH^i and HH_i across all statements of the main theorem.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The referee's description accurately reflects the paper's scope and results.
Circularity Check
No significant circularity; derivation self-contained via direct verification
full rationale
The manuscript generalizes the Etingof-Eu graded Euler characteristic (computed from the graded Cartan matrix) to higher preprojective algebras arising from 2-representation-finite tensor products of type-A hereditary algebras. It establishes that graded center and HH_0 data suffice to determine all other graded HH^i, HH_i and cyclic homology groups by verifying the required formal properties (graded Calabi-Yau duality and vanishing of higher Ext groups) directly on the algebras in question, rather than importing them via self-citation or ansatz. No step reduces a claimed prediction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central result follows from the explicit structural checks and the prior external method without circular reduction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Graded Cartan matrix encodes the information needed for the Euler characteristic computation in preprojective algebras
Reference graph
Works this paper leans on
-
[1]
Stacks Project
Authors, The Stacks Project. Stacks Project
-
[2]
Beilinson, Alexander and Ginzburg, Victor and Soergel, Wolfgang , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0894-0347-96-00192-0 , URL =
-
[3]
Green, E. L. and Martinez-Villa, R. and Reiten, I. and Solberg, . and Zacharia, D. , TITLE =. J. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jabr.1997.7402 , URL =
-
[4]
and Snashall, Nicole and Solberg,
Green, Edward L. and Snashall, Nicole and Solberg,. The. Proc. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0002-9939-03-06912-0 , URL =
-
[5]
Di Francesco, P. and Zuber, J.-B. , TITLE =. Nuclear Phys. B , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0550-3213(90)90645-T , URL =
-
[6]
Caorsi and Cecotti , TITLE =. J. High Energy Ph. , FJOURNAL =. 2019 , ISSN =. doi:10.1007/jhep10(2019)013 , URL =
-
[7]
Dyckerhoff, Tobias and Jasso, Gustavo and Lekili, Yank , TITLE =. Forum Math. Sigma , FJOURNAL =. 2021 , PAGES =. doi:10.1017/fms.2021.2 , URL =
-
[8]
Gelfand, I. M. and Ponomarev, V. A. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1979 , NUMBER =
1979
-
[9]
Approximations with modules having linear resolutions , JOURNAL =
Mart\'. Approximations with modules having linear resolutions , JOURNAL =. 2003 , NUMBER =. doi:10.1016/S0021-8693(03)00261-8 , URL =
-
[10]
Abelian groups and modules (
Zimmermann Huisgen, Birge , TITLE =. Abelian groups and modules (. 1995 , MRCLASS =
1995
-
[11]
Wei, Jiaqun , TITLE =. Adv. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.aim.2009.07.008 , URL =
-
[12]
Orlov, D. O. , year=. Derived noncommutative schemes, geometric realizations, and finite dimensional algebras , volume=. Russian Mathematical Surveys , publisher=. doi:10.1070/rm9844 , number=
-
[13]
Iyama, Osamu , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0002-9939-02-06616-9 , URL =
-
[14]
Representation dimension of exterior algebras , JOURNAL =
Rouquier, Rapha\". Representation dimension of exterior algebras , JOURNAL =. 2006 , NUMBER =. doi:10.1007/s00222-006-0499-7 , URL =
-
[15]
2017 , eprint=
Homological dimension formulas for trivial extension algebras , author=. 2017 , eprint=
2017
-
[16]
The global homological dimensions of trivial extensions of rings , JOURNAL =
L\". The global homological dimensions of trivial extensions of rings , JOURNAL =. 1976 , NUMBER =. doi:10.1016/0021-8693(76)90078-8 , URL =
-
[17]
2018 , eprint=
Reduction techniques for the finitistic dimension , author=. 2018 , eprint=
2018
-
[18]
Explicit formulae for the global homological dimensions of trivial extensions of rings , JOURNAL =
Palm\'. Explicit formulae for the global homological dimensions of trivial extensions of rings , JOURNAL =. 1973 , PAGES =. doi:10.1016/0021-8693(73)90113-0 , URL =
-
[19]
Beligiannis, Apostolos , TITLE =. Comm. Algebra , FJOURNAL =. 2000 , NUMBER =. doi:10.1080/00927870008827104 , URL =
-
[20]
Vejdemo-Johansson, Mikael , year=. Algorithms in. Georgian Mathematical Journal , publisher=. doi:10.1515/gmj-2018-0057 , number=
-
[21]
Algebras, quivers and representations , SERIES =
Amiot, Claire , TITLE =. Algebras, quivers and representations , SERIES =. 2013 , MRCLASS =. doi:10.1007/978-3-642-39485-0_1 , URL =
-
[22]
Amiot, Claire , TITLE =. J. Algebra , FJOURNAL =. 2012 , PAGES =. doi:10.1016/j.jalgebra.2011.11.009 , URL =
-
[23]
Representations of algebras and related topics , SERIES =
Amiot, Claire , TITLE =. Representations of algebras and related topics , SERIES =. 2011 , MRCLASS =. doi:10.4171/101-1/1 , URL =
-
[24]
Amiot, Claire , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2009 , NUMBER =
2009
-
[25]
Auslander, Maurice , TITLE =
-
[26]
Amiot, Claire and Oppermann, Steffen , TITLE =. Math. Res. Lett. , FJOURNAL =. 2014 , NUMBER =. doi:10.4310/MRL.2014.v21.n4.a1 , URL =
-
[27]
Artin, Michael , TITLE =. Amer. J. Math. , FJOURNAL =. 1966 , PAGES =
1966
-
[28]
Amiot, Claire and Iyama, Osamu and Reiten, Idun , TITLE =. Amer. J. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1353/ajm.2015.0019 , URL =
-
[29]
2022 (https://folk.ntnu.no/oyvinso/QPA/) , URL =
The QPA-team , TITLE =. 2022 (https://folk.ntnu.no/oyvinso/QPA/) , URL =
2022
-
[30]
GAP -- Groups, Algorithms, and Programming, Version 4.12.0
-
[31]
Artin, Michael and Verdier, Jean-Louis , TITLE =. Math. Ann. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01455531 , URL =
-
[32]
Artin, M. and Zhang, J. J. , TITLE =. Adv. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/aima.1994.1087 , URL =
-
[33]
2006 , publisher=
Elements of the Representation Theory of Associative Algebras: Volume 1: Techniques of Representation Theory , author=. 2006 , publisher=
2006
-
[34]
The Coxeter Transformation on Cominuscule Posets , volume=
Yildirim, Emine , year=. The Coxeter Transformation on Cominuscule Posets , volume=. Algebras and Representation Theory , publisher=. doi:10.1007/s10468-018-9795-3 , number=
-
[35]
2020 , eprint=
Distributive lattices and Auslander regular algebras , author=. 2020 , eprint=
2020
-
[36]
Thomas, H. and Williams, N. , year=. Rowmotion in slow motion , volume=. Proceedings of the London Mathematical Society , publisher=. doi:10.1112/plms.12251 , number=
-
[37]
Auslander, Maurice , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/2000019 , URL =
-
[38]
Auslander, Maurice and Reiten, Idun , TITLE =. Adv. in Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0001-8708(89)90057-1 , URL =
-
[39]
Representation theory of
Auslander, Maurice and Reiten, Idun and Smal. Representation theory of. 1997 , PAGES =
1997
-
[40]
Baer, Dagmar and Geigle, Werner and Lenzing, Helmut , TITLE =. Comm. Algebra , FJOURNAL =. 1987 , NUMBER =. doi:10.1080/00927878708823425 , URL =
-
[41]
Bardzell, Michael J. , TITLE =. J. Algebra , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jabr.1996.6813 , URL =
-
[42]
2021 , eprint=
Higher Koszul duality and connections with n -hereditary algebras , author=. 2021 , eprint=
2021
-
[43]
August, Jenny , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2020.107372 , URL =
-
[44]
Mizuno, Yuya , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rny299 , URL =
-
[45]
Mizuno, Yuya , TITLE =. Math. Z. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00209-013-1271-5 , URL =
-
[46]
Algebra Number Theory , FJOURNAL =
Aihara, Takuma and Mizuno, Yuya , TITLE =. Algebra Number Theory , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/ant.2017.11.1287 , URL =
-
[47]
and J rgensen, Peter , TITLE =
Jacobsen, Karin M. and J rgensen, Peter , TITLE =. J. Algebra , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.jalgebra.2019.10.046 , URL =
-
[48]
Abouzaid, Mohammed , TITLE =. J. Differential Geom. , FJOURNAL =. 2011 , NUMBER =
2011
-
[49]
2024 , eprint=
Periodic trivial extension algebras and fractionally Calabi-Yau algebras , author=. 2024 , eprint=
2024
-
[50]
2023 , eprint=
The Derived Auslander-Iyama Correspondence , author=. 2023 , eprint=
2023
-
[51]
Mart\'. n -term silting complexes in. J. Algebra , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.jalgebra.2023.01.017 , URL =
-
[52]
Adachi, Takahide and Iyama, Osamu and Reiten, Idun , TITLE =. Compos. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/S0010437X13007422 , URL =
-
[53]
Bocklandt, Raf , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.jpaa.2007.03.009 , URL =
-
[54]
Eu, Ching-Hwa and Schedler, Travis , TITLE =. J. Algebra , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jalgebra.2008.11.003 , URL =
-
[55]
Bocklandt, Raf and Schedler, Travis and Wemyss, Michael , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jpaa.2009.07.013 , URL =
-
[56]
Bongartz, Klaus , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1983 , NUMBER =. doi:10.1112/jlms/s2-28.3.461 , URL =
-
[57]
Brenner, Sheila and Butler, Michael C. R. and King, Alastair D. , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2002 , NUMBER =. doi:10.1023/A:1020146502185 , URL =
-
[58]
Bridgeland, Tom and King, Alastair and Reid, Miles , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0894-0347-01-00368-X , URL =
-
[59]
Bridgeland, Tom and Stern, David , TITLE =. Adv. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aim.2010.01.018 , URL =
-
[60]
Reiten, Idun and Riedtmann, Christine , TITLE =. J. Algebra , FJOURNAL =. 1985 , NUMBER =. doi:10.1016/0021-8693(85)90156-5 , URL =
-
[61]
Trends in representation theory of algebras and related topics , SERIES =
Keller, Bernhard , TITLE =. Trends in representation theory of algebras and related topics , SERIES =. 2006 , MRCLASS =. doi:10.1090/conm/406/07654 , URL =
-
[62]
and Palmieri, John H
Lu, Di M. and Palmieri, John H. and Wu, Quan S. and Zhang, James J. , TITLE =. Algebra Colloq. , FJOURNAL =. 2004 , NUMBER =
2004
-
[63]
Cohen, Miriam and Montgomery, Susan , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999586 , URL =
-
[64]
Periodic algebras , BOOKTITLE =
Erdmann, Karin and Skowro\'. Periodic algebras , BOOKTITLE =. 2008 , MRCLASS =. doi:10.4171/062-1/5 , URL =
-
[65]
2007 , eprint=
The product in the Hochschild cohomology ring of preprojective algebras of Dynkin quivers , author=. 2007 , eprint=
2007
-
[66]
Eu, Ching-Hwa , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jpaa.2009.04.018 , URL =
-
[67]
Projective resolutions for higher (almost)
Haugland, Johanne and Sand. Projective resolutions for higher (almost)
-
[68]
Erdmann, Karin and Snashall, Nicole , TITLE =. J. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jabr.1998.7547 , URL =
-
[69]
, TITLE =
Schofield, A. , TITLE =
-
[70]
Lusztig, George , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/1999228 , URL =
-
[71]
Haden, Jordan , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s10468-024-10297-3 , URL =
-
[72]
Reiten, I. and Van den Bergh, M. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/S0894-0347-02-00387-9 , URL =
-
[73]
Chen, Xiao-Wu , TITLE =. Q. J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1093/qmath/hay006 , URL =
-
[74]
Ringel, Claus Michael , TITLE =. J. Algebra , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.jalgebra.2013.03.014 , URL =
-
[75]
Chen, Xiao-Wu and Shen, Dawei and Zhou, Guodong , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 2018 , NUMBER =. doi:10.1017/S0308210518000185 , URL =
-
[76]
Ufnarovski, Victor , TITLE =
-
[77]
Kalck, Martin , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/blms/bdu093 , URL =
-
[78]
Holdaway, Cody and Smith, S. Paul , TITLE =. J. Algebra , FJOURNAL =. 2012 , PAGES =. doi:10.1016/j.jalgebra.2011.11.033 , URL =
-
[79]
, Year =
Ragnar-Olaf Buchweitz and Lutz Hille , Title =. , Year =
-
[80]
Ragnar-Olaf Buchweitz , Title =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.