Alternative polarizations of Borel fixed ideals, Eliahou-Kervaire type resolution and discrete Morse theory (Q364702): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Eduardo Sáenz-de-Cabezón / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6206944 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Borel fixed ideal | |||
Property / zbMATH Keywords: Borel fixed ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polarization | |||
Property / zbMATH Keywords: polarization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
strongly stable monomial ideal | |||
Property / zbMATH Keywords: strongly stable monomial ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Eliahou-Kervaire resolution | |||
Property / zbMATH Keywords: Eliahou-Kervaire resolution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
discrete Morse theory | |||
Property / zbMATH Keywords: discrete Morse theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
alternative polarization | |||
Property / zbMATH Keywords: alternative polarization / rank | |||
Normal rank |
Revision as of 12:22, 28 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Alternative polarizations of Borel fixed ideals, Eliahou-Kervaire type resolution and discrete Morse theory |
scientific article |
Statements
Alternative polarizations of Borel fixed ideals, Eliahou-Kervaire type resolution and discrete Morse theory (English)
0 references
9 September 2013
0 references
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.
0 references
Borel fixed ideal
0 references
polarization
0 references
strongly stable monomial ideal
0 references
Eliahou-Kervaire resolution
0 references
discrete Morse theory
0 references
alternative polarization
0 references