AMS :: Transactions of the American Mathematical Society, Series B

Cohomology operations for moment-angle complexes and resolutions of Stanley–Reisner rings
HTML articles powered by AMS MathViewer

Trans. Amer. Math. Soc. Ser. B 11 (2024), 826-862

DOI: https://doi.org/10.1090/btran/181

Published electronically: April 26, 2024

HTML | PDF

Abstract:

A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal {Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley–Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the Stanley–Reisner ring. The exterior algebra module structure in cohomology induced by the torus action recovers the linear part of the minimal free resolution, and we show that higher cohomology operations induced by the action (in the sense of Goresky–Kottwitz–MacPherson [Invent. Math. 131 (1998), pp. 25–83]) can be assembled into an explicit differential on the resolution. Describing these operations in terms of Hochster’s formula, we recover and extend a result due to Katthän [Mathematics 7 (2019), no. 7, p. 605]. We then apply all of this to study the equivariant formality of torus actions on moment-angle complexes. For these spaces, we obtain complete algebraic and combinatorial characterisations of which subtori of the naturally acting torus act equivariantly formally.

References

Christopher Allday and Volker Puppe, The minimal Hirsch-Brown model via classical Hodge theory, Pacific J. Math. 226 (2006), no. 1, 41–51. MR 2247870, DOI 10.2140/pjm.2006.226.41
Manuel Amann and Leopold Zoller, The toral rank conjecture and variants of equivariant formality, J. Math. Pures Appl. (9) 173 (2023), 43–95 (English, with English and French summaries). MR 4572450, DOI 10.1016/j.matpur.2023.02.002
I. V. Baskakov, V. M. Bukhshtaber, and T. E. Panov, Algebras of cellular cochains, and torus actions, Uspekhi Mat. Nauk 59 (2004), no. 3(357), 159–160 (Russian); English transl., Russian Math. Surveys 59 (2004), no. 3, 562–563. MR 2117435, DOI 10.1070/RM2004v059n03ABEH000743
I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand, Algebraic vector bundles on $\textbf {P}^{n}$ and problems of linear algebra, Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 66–67 (Russian). MR 509387
Christoph Bock, On low-dimensional solvmanifolds, Asian J. Math. 20 (2016), no. 2, 199–262. MR 3480018, DOI 10.4310/AJM.2016.v20.n2.a1
V. M. Bukhshtaber and T. E. Panov, Actions of tori, combinatorial topology and homological algebra, Uspekhi Mat. Nauk 55 (2000), no. 5(335), 3–106 (Russian, with Russian summary); English transl., Russian Math. Surveys 55 (2000), no. 5, 825–921. MR 1799011, DOI 10.1070/rm2000v055n05ABEH000320
Victor M. Buchstaber and Taras E. Panov, Toric topology, Mathematical Surveys and Monographs, vol. 204, American Mathematical Society, Providence, RI, 2015. MR 3363157, DOI 10.1090/surv/204
Grant Cairns and Barry Jessup, Cohomology operations for Lie algebras, Trans. Amer. Math. Soc. 356 (2004), no. 4, 1569–1583. MR 2034319, DOI 10.1090/S0002-9947-03-03392-0
Theodore Chang and Tor Skjelbred, The topological Schur lemma and related results, Ann. of Math. (2) 100 (1974), 307–321. MR 375357, DOI 10.2307/1971074
M. Crainic, On the perturbation lemma, and deformations, Preprint, arXiv:math/0403266 [math.AT], 2024.
Rachel N. Diethorn, Generators of Koszul homology with coefficients in a $J$-closed module, J. Pure Appl. Algebra 224 (2020), no. 10, 106387, 20. MR 4093074, DOI 10.1016/j.jpaa.2020.106387
David Eisenbud, Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260 (1980), no. 1, 35–64. MR 570778, DOI 10.1090/S0002-9947-1980-0570778-7
Matthias Franz, Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces, Homology Homotopy Appl. 23 (2021), no. 2, 325–347. MR 4317573, DOI 10.4310/hha.2021.v23.n2.a17
Matthias Franz, The cohomology rings of smooth toric varieties and quotients of moment-angle complexes, Geom. Topol. 25 (2021), no. 4, 2109–2144. MR 4286370, DOI 10.2140/gt.2021.25.2109
Matthias Franz and Xin Fu, Cohomology of smooth toric varieties: naturality, J. Pure Appl. Algebra 228 (2024), no. 6, Paper No. 107590, 38. MR 4687383, DOI 10.1016/j.jpaa.2023.107590
Matthias Franz and Volker Puppe, Exact sequences for equivariantly formal spaces, C. R. Math. Acad. Sci. Soc. R. Can. 33 (2011), no. 1, 1–10 (English, with English and French summaries). MR 2790824
X. Fu, Homotopy types of partial quotients for a certain case, Preprint, arXiv:1912.03574 [math.AT], 2019.
Mark Goresky, Robert Kottwitz, and Robert MacPherson, Equivariant cohomology, Koszul duality, and the localization theorem, Invent. Math. 131 (1998), no. 1, 25–83. MR 1489894, DOI 10.1007/s002220050197
Jelena Grbić, Taras Panov, Stephen Theriault, and Jie Wu, The homotopy types of moment-angle complexes for flag complexes, Trans. Amer. Math. Soc. 368 (2016), no. 9, 6663–6682. MR 3461047, DOI 10.1090/tran/6578
D. R. Grayson and M. E. Stillman, Macaulay2, a software system for research in algebraic geometry, available at https://math.uiuc.edu/Macaulay2/.
V. K. A. M. Gugenheim, On the chain-complex of a fibration, Illinois J. Math. 16 (1972), 398–414. MR 301736
Akio Hattori, Spectral sequence in the de Rham cohomology of fibre bundles, J. Fac. Sci. Univ. Tokyo Sect. I 8 (1960), 289–331 (1960). MR 124918
Melvin Hochster, Cohen-Macaulay rings, combinatorics, and simplicial complexes, Ring theory, II (Proc. Second Conf., Univ. Oklahoma, Norman, Okla., 1975) Lect. Notes Pure Appl. Math., Vol. 26, Dekker, New York-Basel, 1977, pp. 171–223. MR 441987
L. Katthän, Linear maps in minimal free resolutions of Stanley–Reisner rings, Mathematics 7 (2019), no. 7, 605.
Bernhard Keller, Deriving DG categories, Ann. Sci. École Norm. Sup. (4) 27 (1994), no. 1, 63–102. MR 1258406, DOI 10.24033/asens.1689
Bernhard Keller, Introduction to $A$-infinity algebras and modules, Homology Homotopy Appl. 3 (2001), no. 1, 1–35. MR 1854636, DOI 10.4310/hha.2001.v3.n1.a1
Li Yu, On Hochster’s formula for a class of quotient spaces of moment-angle complexes, Osaka J. Math. 56 (2019), no. 1, 33–50. MR 3908775
Ivan Limonchenko, Taras Panov, Jongbaek Song, and Donald Stanley, Double cohomology of moment-angle complexes, Adv. Math. 432 (2023), Paper No. 109274, 34. MR 4635480, DOI 10.1016/j.aim.2023.109274
Ivan Yu. Limonchenko and Grigory D. Solomadin, On the homotopy decomposition for the quotient of a moment-angle complex and its applications, Tr. Mat. Inst. Steklova 317 (2022), no. Toricheskaya Topologiya Deıtviya Grupp, Geometriya i Kombinatorika. Chast′1, 132–156 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 317 (2022), no. 1, 117–140. MR 4538826, DOI 10.4213/tm4294
Jean-Louis Loday and Bruno Vallette, Algebraic operads, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 346, Springer, Heidelberg, 2012. MR 2954392, DOI 10.1007/978-3-642-30362-3
Shisen Luo, Tomoo Matsumura, and W. Frank Moore, Moment angle complexes and big Cohen-Macaulayness, Algebr. Geom. Topol. 14 (2014), no. 1, 379–406. MR 3158763, DOI 10.2140/agt.2014.14.379
Dietrich Notbohm and Nigel Ray, On Davis-Januszkiewicz homotopy types. I. Formality and rationalisation, Algebr. Geom. Topol. 5 (2005), 31–51. MR 2135544, DOI 10.2140/agt.2005.5.31
Taras E. Panov and I. K. Zeinikesheva, Equivariant cohomology of moment-angle complexes with respect to coordinate subtori, Tr. Mat. Inst. Steklova 317 (2022), no. Toricheskaya Topologiya Deıtviya Grupp, Geometriya i Kombinatorika. Chast′1, 157–167 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 317 (2022), no. 1, 141–150. MR 4538827, DOI 10.4213/tm4282