Abstract
Let R and S be polynomial rings of positive dimensions over a field k. Let I ⊆ R, J ⊆ S be non-zero homogeneous ideals none of which contains a linear form. Denote by F the fiber product of I and J in T = R ⊗kS. We compute homological invariants of the powers of F using the data of I and J. Under the assumption that either char k = 0 or I and J are monomial ideals, we provide explicit formulas for the depth and regularity of powers of F. In particular, we establish for all s ≥ 2 the intriguing formula depth(T/Fs) = 0. If moreover each of the ideals I and J is generated in a single degree, we show that for all s ≥ 1, reg Fs = maxi∈[1, s]{reg Ii + s − i, reg Ji + s − i}. Finally, we prove that the linearity defect of F is the maximum of the linearity defects of I and J, extending previous work of Conca and Römer. The proofs exploit the so-called Betti splittings of powers of a fiber product.
Similar content being viewed by others
References
Ahangari Maleki, R.: The Golod property for powers of ideals and Koszul ideals. J. Pure Appl. Algebra 223(2), 605–618 (2019)
Alilooee, A., Banerjee, A.: Powers of edge ideals of regularity three bipartite graphs. J. Commut. Algebra 9(4), 441–454 (2017)
Alilooee, A., Beyarslan, S., Selvaraja, S.: Regularity of powers of unicyclic graphs. arXiv:1702.00916 (2017)
Ananthnarayan, H., Avramov, L.L., Frank Moore, W.: Connected sums of Gorenstein local rings. J. Reine Angew. Math. 667, 149–176 (2012)
Avramov, L.L.: Infinite free resolution. Six Lectures on Commutative Algebra (Bellaterra, 1996), 1–118, Progr. Math., 166. Birkhäuser (1998)
Banerjee, A.: The regularity of powers of edge ideals. J. Algebraic Combin. 41 (2), 303–321 (2015)
Banerjee, A., Beyarslan, S., Hà, H.T.: Regularity of edge ideals and their powers. arXiv:1712.00887 (2017)
Beyarslan, S., Hà, H.T., Trung, T.N.: Regularity of powers of forests and cycles. J. Algebraic Combin. 42(4), 1077–1095 (2015)
Brodmann, M.: The asymptotic nature of the analytic spread. Math. Proc. Camb. Philos. Soc. 86(1), 35–39 (1979)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings. Rev. ed. Cambridge Studies in Advanced Mathematics 39. Cambridge University Press, Cambridge (1998)
Caviglia, G., Hà, H.T., Herzog, J., Kummini, M., Terai, N., Trung, N.V.: Depth and regularity modulo a principal ideal. To appear in J. Algebraic Combin. https://doi.org/10.1007/s10801-018-0811-9
Chardin, M.: Powers of ideals and the cohomology of stalks and fibers of morphisms. Algebra Number Theory 7(1), 1–18 (2013)
Chardin, M.: Powers of ideals: Betti numbers, cohomology and regularity. Commutative Algebra, 317–333. Springer, Berlin (2013)
Christensen, L.W., Striuli, J., Veliche, O.: Growth in the minimal injective resolution of a local ring. J. Lond. Math. Soc. (2) 81(1), 24–44 (2010)
Cid-Ruiz, Y., Jafari, S., Nemati, N., Picone, B.: Regularity of bicyclic graphs and their powers. arXiv:1802.07202 (2018)
Conca, A., Römer, T.: Generic initial ideals and fibre products. Osaka J. Math. 47, 17–32 (2010)
Conca, A., De Negri, E., Rossi, M.E.: Koszul Algebra and Regularity. Commutative Algebra, pp 285–315. Springer, Berlin (2013)
Conca, A., Iyengar, S.B., Nguyen, H.D., Römer, T.: Absolutely Koszul algebras and the Backelin-Roos property. Acta Math. Vietnam. 40, 353–374 (2015)
Cutkosky, S.D., Herzog, J., Trung, N.V.: Asymptotic behaviour of the Castelnuovo-Mumford regularity. Compos. Math. 118(3), 243–261 (1999)
Dress, A., Krämer, H.: Bettireihen von Faserprodukten lokaler Ringe. Math. Ann. 215, 79–82 (1975)
Eisenbud, D.: Commutative Algebra. With a view toward algebraic geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)
Eisenbud, D., Harris, J.: Powers of ideals and fibers of morphisms. Math. Res. Lett. 17(2), 267–273 (2010)
Eisenbud, D., Ulrich, B.: Notes on regularity stabilization. Proc. Am. Math. Soc. 140(4), 1221–1232 (2012)
Eisenbud, D., Fløystad, G., Schreyer, F.-O.: Sheaf cohomology and free resolutions over exterior algebras. Trans. Am. Math. Soc. 355, 4397–4426 (2003)
Erey, N.: Powers of edge ideals with linear resolutions. Comm. Algebra 46(9), 4007–4020 (2018)
Erey, N.: Powers of ideals associated to (C 4, 2K 2)-free graphs. To appear in J. Pure Appl. Algebra. https://doi.org/10.1016/j.jpaa.2018.10.009
Francisco, C., Hà, H.T., Van Tuyl, A.: Splittings of monomial ideals. Proc. Am. Math. Soc. 137, 3271–3282 (2009)
Goto, S., Watanabe, K.: On graded rings, I. J. Math. Soc. Japan 30(2), 179–212 (1978)
Grayson, D., Stillman, M.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2
Hà, H.T., Trung, N.V., Trung, T.N.: Depth and regularity of powers of sums of ideals. Math. Z. 282(3–4), 819–838 (2016)
Herzog, J., Hibi, T.: Componentwise linear ideals. Nagoya Math. J. 153, 141–153 (1999)
Herzog, J., Hibi, T., Zheng, X.: Monomial ideals whose powers have a linear resolution. Math. Scand. 95, 23–32 (2004)
Herzog, J., Hibi, T.: The depth of powers of an ideal. J. Algebra 291(2), 534–550 (2005)
Herzog, J., Iyengar, S.B.: Koszul modules. J. Pure Appl. Algebra 201, 154–188 (2005)
Herzog, J., Puthenpurakal, T.J., Verma, J.K.: Hilbert polynomials and powers of ideals. Math. Proc. Camb. Philos. Soc. 145(3), 623–642 (2008)
Iyengar, S.B., Römer, T.: Linearity defects of modules over commutative rings. J. Algebra 322, 3212–3237 (2009)
Jayanthan, A.V., Selvaraja, S.: Asymptotic behavior of Castelnuovo-Mumford regularity of edge ideals of very well-covered graphs. arXiv:1708.06883 (2017)
Jayanthan, A.V., Narayanan, N., Selvaraja, S.: Regularity of powers of bipartite graphs. J. Algebraic Combin. 47(1), 17–38 (2018)
Kodiyalam, V.: Asymptotic behaviour of Castelnuovo-Mumford regularity. Proc. Am. Math. Soc. 128(2), 407–411 (2000)
Lescot, J.: La série de Bass d’un produit fibré d’anneaux locaux. C. R. Acad. Sci. Paris Sér. I Math. 293(12), 569–571 (1981)
Martínez-Bernal, J., Morey, S., Villarreal, R.H., Vivares, C.E.: Depth and regularity of monomial ideals via polarization and combinatorial optimization. arXiv:1803.02017 (2018)
Moghimian, M., Fakhari, S.A., Yassemi, S.: Regularity of powers of edge ideal of whiskered cycles. Comm. Algebra 45(3), 1246–1259 (2017)
Moore, W.F.: Cohomology over fiber products of local rings. J. Algebra 321(3), 758–773 (2009)
Nasseh, S., Sather-Wagstaff, S.: Vanishing of Ext and Tor over fiber products. Proc. Am. Math. Soc. 145(11), 4661–4674 (2017)
Nguyen, H.D.: Notes on the linearity defect and applications. Illinois J. Math. 59(3), 637–662 (2015)
Nguyen, H.D., Vu, T.: Linearity defects of powers are eventually constant. arXiv:1504.04853v1 (2015)
Nguyen, H.D., Vu, T.: Powers of sums and their homological invariants. To appear in J. Pure Appl. Algebra. https://doi.org/10.1016/j.jpaa.2018.10.010
Nguyen, H.D., Vu, T.: Homological invariants of powers of fiber products. arXiv:1803.04016 (2018)
Peeva, I.: Graded Syzygies. Algebra Appl., vol. 14. Springer, London (2011)
Römer, T.: On Minimal Graded Free Resolutions. Ph.D. dissertation, University of Essen (2001)
Şega, L.M.: Homological properties of powers of the maximal ideal of a local ring. J. Algebra 241(2), 827–858 (2001)
Şega, L.M.: On the linearity defect of the residue field. J. Algebra 384, 276–290 (2013)
Yanagawa, K.: Alexander duality for Stanley–Reisner rings and squarefree \(\mathbb {N}^{n}\)-graded modules. J. Algebra 225, 630–645 (2000)
Acknowledgements
The first named author is grateful to the hospitality and support of the Department of Mathematics, Otto von Guericke Universität Magdeburg, where large parts of this work were finished. The second named author is partially supported by the Vietnam National Foundation for Science and Technology Development under grant number 101.04-2016.21.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Lê Tuấn Hoa on the occasion of his sixtieth birthday
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Nguyen, H.D., Vu, T. Homological Invariants of Powers of Fiber Products. Acta Math Vietnam 44, 617–638 (2019). https://doi.org/10.1007/s40306-018-00317-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-018-00317-y