Alternative polarizations of Borel fixed ideals, Eliahou-Kervaire type resolution and discrete Morse theory (Q364702): Difference between revisions

The alternative polarization b-pol, which is valid for the important class of Borel-fixed ideals, was defined in [Nagoya Math. J. 207, 79--93 (2012; Zbl 1256.13005)] by the second author of the present paper. In this paper, the authors deepen the reserach on b-pol and construct an Eliahou-Kervaire-like minimal free resolution of the polarization \(\mathrm{b-pol}(I)\) of a Borel fixed ideal \(I\). The main result in the paper is Theorem 2.6, which describes the mentioned resolution. This resolution provides also a minimal free resolution of the original Borel fixed ideal \(I\) (Corollary 4.2) which is different from the \textit{S. Eliahou} and \textit{M. Kervaire} resolution [J. Algebra 129, No. 1, 1--25 (1990; Zbl 0701.13006)]. Sections 4 and 5 of the paper give some features and applications of the resolution given in Theorem 2.6. It is shown that it is a generalization of the construction of \textit{U. Nagel} and \textit{V. Reiner} in [Electron. J. Comb. 16, No. 2, Research Paper R3, 59 p. (2009; Zbl 1186.13022)]. Theorem 5.13 shows that the resolution of Theorem 2.6 is also of the type constructed by \textit{E. Batzies} and \textit{V. Welker} using discrete Morse theory [J. Reine Angew. Math. 543, 147--168 (2002; Zbl 1055.13012)]. It is a cellular resolution supported by a CW complex. The paper finishes considering the question of the regularity of the CW complex supporting the resolution of Theorem 2.6. The question remains open.