Geodesic
Koszul homomorphisms and universal resolutions in local algebra
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e63

Voir la notice de l'article provenant de la source Cambridge University Press

We define a local homomorphism $(Q,k)\to (R,\ell )$ to be Koszul if its derived fiber $R\otimes ^{\mathsf {L}}_Q k$ is formal, and if $\operatorname {Tor}^{Q}(R,k)$ is Koszul in the classical sense. This recovers the classical definition when Q is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm {A}_{\infty }$-structures on resolutions. We use this machinery to construct universal free resolutions of R-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an R-module M is often minimal and can be described by a finite amount of data whenever M and R have finite projective dimension over Q. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings. 
Briggs, Benjamin; Cameron, James C.; Letz, Janina C.; Pollitz, Josh. Koszul homomorphisms and universal resolutions in local algebra. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e63. doi: 10.1017/fms.2025.21
@article{10_1017_fms_2025_21,
     author = {Briggs, Benjamin and Cameron, James C. and Letz, Janina C. and Pollitz, Josh},
     title = {Koszul homomorphisms and universal resolutions in local algebra},
     journal = {Forum of Mathematics, Sigma},
     pages = {e63},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.21},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.21/}
}
TY  - JOUR
AU  - Briggs, Benjamin
AU  - Cameron, James C.
AU  - Letz, Janina C.
AU  - Pollitz, Josh
TI  - Koszul homomorphisms and universal resolutions in local algebra
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e63
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.21/
DO  - 10.1017/fms.2025.21
ID  - 10_1017_fms_2025_21
ER  - 
%0 Journal Article
%A Briggs, Benjamin
%A Cameron, James C.
%A Letz, Janina C.
%A Pollitz, Josh
%T Koszul homomorphisms and universal resolutions in local algebra
%J Forum of Mathematics, Sigma
%D 2025
%P e63
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.21/
%R 10.1017/fms.2025.21
%F 10_1017_fms_2025_21

[AB00] Avramov, L. L. and Buchweitz, R.-O., ‘Homological algebra modulo a regular sequence with special attention to codimension two’, J. Algebra 230(1) (2000), 24–67. MR 1774757 Google Scholar | DOI

[ABIM10] Avramov, L. L., Buchweitz, R.-O., Iyengar, S. B. and Miller, C., ‘Homology of perfect complexes’, Adv. Math. 223(5) (2010), 1731–1781. MR 2592508 Google Scholar | DOI

[AG71] Avramov, L. L. and Golod, E. S., ‘The homology of algebra of the Koszul complex of a local Gorenstein ring’, Mat. Zametki 9 (1971), 53– 58 (Russian). MR 279157 Google Scholar

[AH86] Avramov, L. and Halperin, S., ‘Through the looking glass: a dictionary between rational homotopy theory and local algebra’, in Roos, Jan-Erik (ed.), Algebra, Algebraic Topology and Their Interactions, Proc. of the Conf. (Stockholm, 1983) (Lecture Notes in Math.) vol. 1183 (Springer, Berlin, 1986), 1–27. MR 846435 Google Scholar

[AHŞ13] Avramov, L. L., Dos Anjos Henriques, I. B. and Şega, L. M., ‘Quasi-complete intersection homomorphisms’, Pure Appl. Math. Q. 9(4) (2013), 579–612. MR 3263969 Google Scholar | DOI

[AI03] Avramov, L. L. and Iyengar, S., ‘André-Quillen homology of algebra retracts’, Ann. Sci. Éc. Norm. Supér. (4) 36(3) (2003), 431–462. MR 1977825 Google Scholar | DOI

[AKM88] Avramov, L. L., Kustin, A. R. and Miller, M., ‘Poincaré series of modules over local rings of small embedding codepth or small linking number’, J. Algebra 118(1) (1988), 162–204. MR 961334 Google Scholar | DOI

[Ale17] Alesandroni, G., ‘Minimal resolutions of dominant and semidominant ideals’, J. Pure Appl. Algebra 221(4) (2017), 780–798. MR 3574207 Google Scholar | DOI

[Ame20] Amelotte, S., ‘Connected sums of sphere products and minimally non-Golod complexes’, Preprint, 2020, , 1–9. Google Scholar | arXiv

[And82] André, M., ‘Le caractère additif des déviations des anneaux locaux’, Comment. Math. Helv. 57(4) (1982), 648–675. MR 694609 Google Scholar | DOI

[AP93] Allday, C. and Puppe, V., Cohomological Methods in Transformation Groups (Cambridge Studies in Advanced Mathematics) vol. 32 (Cambridge University Press, Cambridge, 1993). MR 1236839 Google Scholar

[Avr78] Avramov, L. L., ‘Small homomorphisms of local rings’, J. Algebra 50(2) (1978), 400–453. MR 485906 Google Scholar | DOI

[Avr81] Avramov, L. L., ‘Obstructions to the existence of multiplicative structures on minimal free resolutions’, Amer. J. Math. 103(1) (1981), 1–31. MR 601460 Google Scholar | DOI

[Avr86] Avramov, L. L., ‘Golod homomorphisms’, in Roos, Jan-Erik (ed.), Algebra, Algebraic Topology and Their Interactions, Proc. of the Conf. (Stockholm, 1983) (Lecture Notes in Math.) vol. 1183 (Springer, Berlin, 1986), 59–78. MR 846439 Google Scholar | DOI

[Avr98] Avramov, L. L., ‘Infinite free resolutions’, in Elías, J., Giral, J. M., Miró-Roig, R. M. and Zarzuela, S. (eds.), Six Lectures on Commutative Algebra, Papers from the Summer School (Ballaterra, 1996) (Mod. Birkhäuser Class.) (Birkhäuser/Springer, Basel, 1998), 1–118. MR 1648664 Google Scholar

[Avr99] Avramov, L. L., ‘Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology’, Ann. of Math. (2) 150 (2) (1999), 455–487. MR 1726700 Google Scholar | DOI

[BDS23] Brown, M. K., Dao, H. and Sridhar, P., ‘Periodicity of ideals of minors in free resolutions’, Preprint, 2023, , 1–29. Google Scholar | arXiv

[BE77] Buchsbaum, D. A. and Eisenbud, D., ‘Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension ’, Amer. J. Math. 99(3) (1977), 447–485. MR 453723 Google Scholar | DOI

[BEH87] Buchweitz, R.-O., Eisenbud, D. and Herzog, J., ‘Cohen-macaulay modules on quadrics’, in Singularities, Representation of Algebras, and Vector Bundles (Lambrecht, 1985) (Lecture Notes in Math.) vol. 1273 (Springer, Berlin, 1987), 58–116. MR 915169 Google Scholar | DOI

[Ber05] Berglund, A., ‘Poincaré series and homotopy lie algebras of monomial rings’, in Research Reports in Mathematics, no. 6 (Department of Mathematics, Stockholm University, 2005), 1–40, https://www2.math.su.se/reports/2005/6/2005-6.pdf. Google Scholar

[Ber14] Berglund, A., ‘Koszul spaces’, Trans. Amer. Math. Soc. 366(9) (2014), 4551–4569. MR 3217692 Google Scholar

[BF85] Backelin, J. and Fröberg, R., ‘Poincaré series of short Artinian rings’, J. Algebra 96(2) (1985), 495–498. MR 810542 Google Scholar | DOI

[BGP24] Briggs, B., Grifo, E. and Pollitz, J., ‘Bounds on cohomological support varieties’, Trans. Amer. Math. Soc. Ser. B 11 (2024), 703–726. MR 4719765 Google Scholar

[BGS96] Beilinson, A., Ginzburg, V. and Soergel, W., ‘Koszul duality patterns in representation theory’, J. Amer. Math. Soc. 9(2) (1996), 473–527. MR 1322847 Google Scholar

[BH98] Bruns, W. and Herzog, J., Cohen-Macaulay Rings (Cambridge Studies in Advanced Mathematics) vol. 39, revised edn. (Cambridge University Press, Cambridge, 1998). MR 1251956 Google Scholar | DOI

[BJ07] Berglund, A. and Jöllenbeck, M., ‘On the Golod property of Stanley-Reisner rings’, J. Algebra 315(1) (2007), 249–273. MR 2344344 Google Scholar

[Bou81] Bourbaki, N., Éléments de mathématique. Algèbre. Chapitres 4 à 7 (Masson, Paris, 1981) (French). Collection and reprint of the 1950, 1952 originals. MR 643362 Google Scholar

[BP15] Buchstaber, V. M. and Panov, T. E., Topology (Math., Toric Surveys Monogr.) vol. 204 (American Mathematical Society, Providence, RI, 2015). MR 3363157 Google Scholar

[Bur] Burke, J., ‘Koszul duality for represenations of an a-infinty algebra defined over a commutative ring’, https://maths-people.anu.edu.au/burkej/koszul/old-Koszul.pdf, (accessed May 22, 2023), 1–73. Google Scholar

[Bur68] Burch, L., ‘On ideals of finite homological dimension in local rings’, Proc. Cambridge Philos. Soc. 64 (1968), 941– 948. MR 229634 Google Scholar

[Bur15] Burke, J., ‘Higher homotopies and Golod rings’, Preprint, 2015, , 1–26. Google Scholar | arXiv

[Bur18] Burke, J., ‘Transfer of A-infinity structures to projective resolutions’, Preprint, 2018, , 1–20. Google Scholar | arXiv

[Car83] Carlsson, G., ‘On the homology of finite free -complexes’, Invent. Math. 74(1) (1983), 139–147. MR 722729 Google Scholar | DOI

[CDG+20] Croll, A., Dellaca, R., Gupta, A., Hoffmeier, J., Mukundan, V., Şega, L. M., Sosa, G., Thompson, P. and Tracy, D. R., ‘Detecting Koszulness and related homological properties from the algebra structure of Koszul homology’, Nagoya Math. J. 238 (2020), 47–85. MR 4092847 Google Scholar | DOI

[Che17] Cheng, Z., ‘Trivial extension of Koszul algebras’, Front. Math. China 12(5) (2017), 1045–1056. MR 3698413 Google Scholar

[DE22] Dao, H. and Eisenbud, D., ‘Linearity of free resolutions of monomial ideals’, Res. Math. Sci. 9(2) (2022), Paper No. 35, 15. MR 4431293 Google Scholar | DOI

[DJ91] Davis, M. W. and Januszkiewicz, T., ‘Convex polytopes, Coxeter orbifolds and torus actions’, Duke Math. J. 62(2) (1991), 417–451. MR 1104531 Google Scholar | DOI

[DS95] Dwyer, W. G. and Spaliński, J., ‘Homotopy theories and model categories’, in James, I. M. (ed.), Handbook of Algebraic Topology (North-Holland, Amsterdam, 1995), 73–126. MR 1361887 Google Scholar

[DS07] Denham, G. and Suciu, A. I., ‘Moment-angle complexes, monomial ideals and Massey products’, Pure Appl. Math. Q. 3(1) (2007), 25–60. MR 2330154 Google Scholar

[EHU06] Eisenbud, D., Huneke, C. and Ulrich, B., ‘The regularity of Tor and graded Betti numbers’, Amer. J. Math. 128(3) (2006), 573–605. MR 2230917 Google Scholar | DOI

[Eis80] Eisenbud, D., ‘Homological algebra on a complete intersection, with an application to group representations’, Trans. Amer. Math. Soc. 260(1) (1980), 35–64. MR 0570778 Google Scholar | DOI

[FHT01] Félix, Y., Halperin, S. and Thomas, J.-C., Rational Homotopy Theory (Grad. Texts in Math.) vol. 205 (Springer-Verlag, New York, 2001). MR 1802847 Google Scholar | DOI

[Frö75] Fröberg, R., ‘Determination of a class of Poincaré series’, Math. Scand. 37(1) (1975), 29–39. MR 404254 Google Scholar | DOI

[Frö82] Fröberg, R., ‘A study of graded extremal rings and of monomial rings’, Math. Scand. 51(1) (1982), 22–34. MR 681256 Google Scholar

[Frö99] Fröberg, R., ‘Koszul algebras’, in Dobbs, D. E., Fontana, M. and Kabbaj, S.-E. (eds.), Advances in Commutative Ring Theorey, Proc. of the 3rd Intl. Conf. on Commutative Ring Theory (Fez, 1997) (Lecture Notes in Pure Appl. Math.) vol. 205 (Marcel Dekker, Inc., New York, 1999), 337–350. MR 1767430 Google Scholar

[Gem76] Gemeda, D., ‘Multiplicative structure of finite free resolutions of ideals generated by monomials in an -sequence’, ProQuest LLC, Ann Arbor, MI, 1976. MR 2626146 Google Scholar

[GM74] Gugenheim, V. K. A. M. and May, J. P., On the Theory and Applications of Differential Torsion Products (Mem. Amer. Math. Soc.) no. 142 (American Mathematical Society, Providence, RI, 1974). MR 0394720 Google Scholar

[Gol78] Golod, E. S., ‘Homology of some local rings’, Uspekhi Mat. Nauk 5(203) (1978), 177–178. MR 511890 Google Scholar

[GS] Grayson, D. R. and Stillman, M. E., ‘Macaulay2, a software system for research in algebraic geometry’, available at http://www.math.uiuc.edu/Macaulay2/. Google Scholar

[HI05] Herzog, J. and Iyengar, S., ‘Koszul modules’, J. Pure Appl. Algebra 201(1–3) (2005), no. 154–188. MR 2158753 Google Scholar

[HRW98] Herzog, J., Reiner, V. and Welker, V., ‘The Koszul property in affine semigroup rings’, Pacific J. Math. 186(1) (1998), 39–65. MR 1665056 Google Scholar | DOI

[HW08] He, J. W. and Wu, Q. S., ‘Koszul differential graded algebras and BGG correspondence’, J. Algebra 320(7) (2008), 2934–2962. MR 2442004 Google Scholar

[Iar84] Iarrobino, A., ‘Compressed algebras: Artin algebras having given socle degrees and maximal length’, Trans. Amer. Math. Soc. 285(1) (1984), 337–378. MR 748843 Google Scholar

[IW18] Iyengar, S. B. and Walker, M. E., ‘Examples of finite free complexes of small rank and small homology’, Acta Math. 221(1) (2018), 143–158. MR 3877020 Google Scholar | DOI

[Iye97] Iyengar, S., ‘Free resolutions and change of rings’, J. Algebra 190(1) (1997), 195–213. MR 1442152 Google Scholar | DOI

[Iye01] Iyengar, S., ‘Free summands of conormal modules and central elements in homotopy Lie algebras of local rings’, Proc. Amer. Math. Soc. 129(6) (2001), 1563–1572. MR 1707520 Google Scholar | DOI

[Kad82] Kadeishvili, T. V., ‘The algebraic structure in the homology of an -algebra’, Soobshch. Akad. Nauk Gruzin. SSR 108(2) (1982), 249–252 (1983). MR 720689 Google Scholar

[Kat17] Katthän, L., ‘A non-Golod ring with a trivial product on its Koszul homology’, J. Algebra 479 (2017), 244–262. MR 3627285 Google Scholar

[Kel01] Keller, B., ‘Introduction to -infinity algebras and modules’, Homology Homotopy Appl. 3(1) (2001), 1–35. MR 1854636 Google Scholar | DOI

[Kel02] Keller, B., ‘-infinity algebras in representation theory’, in Happel, D. and Zhang, Y. B. (eds.), Representations of algebra. Vol. I, II, Proc. of the Conf. (Beijing, 2000) (Beijing Norm. Univ. Press, Beijing, 2002), 74–86. MR 2067371 Google Scholar

[Kon94] Kontsevich, M., ‘Feynman diagrams and low-dimensional topology’, in A. Joseph, F. Mignot, F. Murat, B. Prum and R. Rentschler (eds.), First European Congress of Mathematics, Vol. II (Paris, 1992) (Progr. Math.) vol. 120 (Birkhäuser, Basel, 1994), 97–121. MR 1341841 Google Scholar | DOI

[LA78] Levin, G. L. and Avramov, L. L., ‘Factoring out the socle of a Gorenstein ring’, J. Algebra 55(1) (1978), 74–83. MR 515760 Google Scholar | DOI

[Les90] Lescot, J., ‘Séries de Poincaré et modules inertes’, J. Algebra 132(1) (1990), 22–49 (French). MR 1060830 Google Scholar | DOI

[Lev76] Levin, G., Lectures on Golod Homomorphisms, Matematiska Institutionen, Stockholms Universitet, no. 15 (Univ. of Stockholm, 1976). Google Scholar

[LH03] Lefèvre-Hasegawa, K., ‘Sur les -catégories’, PhD thesis, Université Paris 7 - Denis Diderot, 2003, 230. Google Scholar

[Lim19] Limonchenko, I. Y., ‘On higher Massey products and rational formality for moment-angle manifolds over multiwedges’, Tr. Mat. Inst. Steklova 305 (2019), 174–196. MR 4017606 Google Scholar | DOI

[Löf86] Löfwall, C., On the subalgebra generated by the one-dimensional elements in the Yoneda Ext-algebra, in Jan-Erik Roos (ed.), Algebra, Algebraic Topology and Their Interactions, Proc. of the Conf. (Stockholm, 1983) (Lecture Notes in Math.) vol. 1183 (Springer, Berlin, 1986), 291–338. MR 0846457 Google Scholar

[Lut17] Lutz, F. H., ‘The manifold page’, https://www3.math.tu-berlin.de/IfM/Nachrufe/Frank_Lutz/stellar/, 2017, accessed June 6, 2024. Google Scholar

[LV12] Loday, J.-L. and Vallette, B., Algebraic Operads (Grundlehren Math. Wiss.) vol. 34 (Springer, Heidelberg, 2012). MR 2954392 Google Scholar | DOI

[Lyu13] Lyubashenko, V. V., ‘Bar and cobar constructions for curved algebras and coalgebras’, Mat. Stud. 40(2) (2013), 115–131. MR 3185246 Google Scholar

[Mar06] Markl, M., ‘Transferring (strongly homotopy associative) structures’, in Čadek, M. (ed.), The Proceedings of the 25th Winter School “Geometry and Physics” (Srní, Czech Republic, 2006) Rend. Circ. Mat. Palermo (2) Suppl., no. 79 (Palermo: Circolo Matemático di Palermo, 2006), 139–151. MR 2287133 Google Scholar

[Mar21] Martin, A. A., ‘Curved BGG Correspondence’, PhD thesis, The University of Nebraska - Lincoln, 2021, 71. MR 4326825 Google Scholar

[May69] May, J. P., ‘Matric Massey products’, J. Algebra 12 (1969), 533–568. MR 238929 Google Scholar

[MM22] Mccullough, J. and Mere, Z., ‘G-quadratic, lg-quadratic, and koszul quotients of exterior algebras’, Communications in Algebra 50(8) (2022), 3284–3300. Google Scholar | DOI

[MR18] Miller, C. and Rahmati, H., ‘Free resolutions of Artinian compressed algebras’, J. Algebra 497 (2018), 270–301. MR 3743182 Google Scholar | DOI

[Mye21] Myers, J., ‘Linear resolutions over Koszul complexes and Koszul homology algebras’, J. Algebra 572 (2021), 163–194. MR 4198196 Google Scholar | DOI

[Nag62] Nagata, M., Local Rings (Interscience Tracts in Pure and Applied Mathematics) no. 13 (Interscience Publishers a division of John Wiley & Sons, New York-London, 1962). MR 0155856 Google Scholar

[NR05] Notbohm, D. and Ray, N., ‘On Davis-Januszkiewicz homotopy types. I. Formality and rationalisation’, Algebr. Geom. Topol. 5 (2005), 31–51. MR 2135544 Google Scholar | DOI

[Pos11] Positselski, L., Two Kinds of Derived Categories, Koszul Duality, and Comodule-Contramodule Correspondence (Mem. Amer. Math. Soc.) no. 996 (Amer. Math. Soc., Providence, RI, 2011). MR 2830562 Google Scholar | DOI

[Pri70] Priddy, S. B., ‘Koszul resolutions’, Trans. Amer. Math. Soc. 152 (1970), 39–60. MR 265437 Google Scholar

[RŞ14] Rossi, M. E. and Şega, L. M., ‘Poincaré series of modules over compressed Gorenstein local rings’, Adv. Math. 259 (2014), 421–447. MR 3197663 Google Scholar | DOI

[Sch80] Schenzel, P., ‘Über die freien Auflösungen extremaler Cohen-Macaulay-Ringe’, J. Algebra 64(1) (1980), 93–101 (German). MR 575785 Google Scholar | DOI

[Sha69] Shamash, J., ‘The Poincaré series of a local ring’, J. Algebra 12 (1969), 453–470. MR 241411 Google Scholar

[Sta63a] Stasheff, J. D., ‘Homotopy associativity of -spaces. I’, Trans. Amer. Math. Soc. 108 (1963), 275–292. MR 0158400 Google Scholar

[Sta63b] Stasheff, J. D., ‘Homotopy associativity of -spaces. II’, Trans. Amer. Math. Soc. 108 (1963), 293–312. MR 0158400 Google Scholar

[Sta83] Stasheff, J., ‘Rational Poincaré duality spaces’, Illinois J. Math. 27(1) (1983), 104–109. MR 684544 Google Scholar | DOI

[Tay66] Taylor, D. K., ‘Ideals generated by monomials in an -sequence’, PhD thesis, The University of Chicago, 1966. MR 2611561 Google Scholar

[Wal17] Walker, M. E., ‘Total Betti numbers of modules of finite projective dimension’, Ann. of Math. (2) 186(2) (2017), 641–646. MR 3702675 Google Scholar

[Wie69] Wiebe, H., ‘Über homologische Invarianten lokaler Ringe’, Math. Ann. 179 (1969), 257–274 (German). MR 255531 Google Scholar | DOI

Cité par Sources :