Date
2022-05Author
Orth, MatthiasSubject
510 Mathematics MathematikPolynomringGröbner-BasisBetti-ZahlAlgebra mit InvolutionQuotientenringAlgebraHilbertsches SchemaMetadata
Show full item record
Dissertation
Generalized Involutive Bases and Their Induced Free Resolutions
Abstract
In this thesis, we generalize several types of involutive and marked bases for ideals in quotient rings of commutative polynomial rings. We apply these new types of bases to the analysis of infinite free resolutions and of Hilbert schemes defined over certain types of quotient rings. We are mostly concerned with Pommaret and Janet bases; the marked bases we consider are marked over monomial submodules that are quasi-stable, i.e., that possess finite Pommaret bases.
Involutive bases of the types we consider induce free resolutions of the ideals they generate and hence they yield estimates for homological invariants of these ideals, for example, for their Betti numbers. In the special case of monomial Pommaret bases, one even obtains an explicit formula for the differential of the resolution. However, the induced resolution is not necessarily minimal, because already the involutive bases themselves are in general not minimal generating systems. Moreover, the application of involutive and marked bases was up to now confined to ideals in ordinary polynomial rings.
The thesis addresses both of these problems. Its contributions are split into four parts. In the first part, we introduce involutive-like bases, which are types of Gröbner bases that preserve many of the algorithmic and combinatorial advantages of involutive bases, while needing in general much less generators. We show that Janet-like and Pommaret-like bases induce involutive-like bases of the same types for their syzygy modules, and thus induce free resolutions in the same way that involutive bases do. Moreover, we use involutive-like bases to design new efficient algorithms for the determination of complementary decompositions of monomial ideals and Hilbert functions.
Next, we generalize involutive and involutive-like bases to include also ideals in quotient rings. Our discussion is based on a comprehensive treatment of Gröbner bases for ideals in such rings, together with algorithms for their construction. We establish that Pommaret bases in quotient rings also induce Pommaret bases of their syzygy modules in a natural way.
The third part of contributions treats the application of these new types of bases to the computation and analysis of their induced infinite free resolutions. For the important special case of Clements-Lindström rings, we obtain closed formulas for the Betti numbers of the resolution. We identify several classes of quasi-stable monomial ideals in these quotient rings for which the induced resolution is minimal. Thus, we generalize several well-known resolution constructions, e.g. for stable and for square-free Borel ideals. We obtain explicit formulas for the differential which apply to some classes of quasi-stable ideals and their Pommaret-like bases.
In the final part, we introduce relative marked bases for ideals in quotient rings defined by ideals generated by Pommaret marked bases. We give an algorithm for the construction of relative marked families in case the quotient ring is defined by a monomial ideal. Lastly, we use these bases to obtain information about the lex-points and about quasi-stable open coverings of the Hilbert schemes defined on some quotient rings, e.g., Clements-Lindström rings.
Involutive bases of the types we consider induce free resolutions of the ideals they generate and hence they yield estimates for homological invariants of these ideals, for example, for their Betti numbers. In the special case of monomial Pommaret bases, one even obtains an explicit formula for the differential of the resolution. However, the induced resolution is not necessarily minimal, because already the involutive bases themselves are in general not minimal generating systems. Moreover, the application of involutive and marked bases was up to now confined to ideals in ordinary polynomial rings.
The thesis addresses both of these problems. Its contributions are split into four parts. In the first part, we introduce involutive-like bases, which are types of Gröbner bases that preserve many of the algorithmic and combinatorial advantages of involutive bases, while needing in general much less generators. We show that Janet-like and Pommaret-like bases induce involutive-like bases of the same types for their syzygy modules, and thus induce free resolutions in the same way that involutive bases do. Moreover, we use involutive-like bases to design new efficient algorithms for the determination of complementary decompositions of monomial ideals and Hilbert functions.
Next, we generalize involutive and involutive-like bases to include also ideals in quotient rings. Our discussion is based on a comprehensive treatment of Gröbner bases for ideals in such rings, together with algorithms for their construction. We establish that Pommaret bases in quotient rings also induce Pommaret bases of their syzygy modules in a natural way.
The third part of contributions treats the application of these new types of bases to the computation and analysis of their induced infinite free resolutions. For the important special case of Clements-Lindström rings, we obtain closed formulas for the Betti numbers of the resolution. We identify several classes of quasi-stable monomial ideals in these quotient rings for which the induced resolution is minimal. Thus, we generalize several well-known resolution constructions, e.g. for stable and for square-free Borel ideals. We obtain explicit formulas for the differential which apply to some classes of quasi-stable ideals and their Pommaret-like bases.
In the final part, we introduce relative marked bases for ideals in quotient rings defined by ideals generated by Pommaret marked bases. We give an algorithm for the construction of relative marked families in case the quotient ring is defined by a monomial ideal. Lastly, we use these bases to obtain information about the lex-points and about quasi-stable open coverings of the Hilbert schemes defined on some quotient rings, e.g., Clements-Lindström rings.
Citation
@phdthesis{doi:10.17170/kobra-202208056582,
author={Orth, Matthias},
title={Generalized Involutive Bases and Their Induced Free Resolutions},
school={Kassel, Universität Kassel, Fachbereich Mathematik und Naturwissenschaften, Institut für Mathematik},
month={05},
year={2022}
}
0500 Oax 0501 Text $btxt$2rdacontent 0502 Computermedien $bc$2rdacarrier 1100 2022$n2022 1500 1/eng 2050 ##0##http://hdl.handle.net/123456789/14041 3000 Orth, Matthias 4000 Generalized Involutive Bases and Their Induced Free Resolutions / Orth, Matthias 4030 4060 Online-Ressource 4085 ##0##=u http://nbn-resolving.de/http://hdl.handle.net/123456789/14041=x R 4204 \$dDissertation 4170 5550 {{Mathematik}} 5550 {{Polynomring}} 5550 {{Gröbner-Basis}} 5550 {{Betti-Zahl}} 5550 {{Algebra mit Involution}} 5550 {{Quotientenring}} 5550 {{Algebra}} 5550 {{Hilbertsches Schema}} 7136 ##0##http://hdl.handle.net/123456789/14041
2022-08-09T14:31:29Z 2022-08-09T14:31:29Z 2022-05 doi:10.17170/kobra-202208056582 http://hdl.handle.net/123456789/14041 eng Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International http://creativecommons.org/licenses/by-sa/4.0/ Mathematics Polynomial Rings Gröbner Bases Involutive Bases Marked Bases Free Resolutions Algebra Hilbert Schemes 510 Generalized Involutive Bases and Their Induced Free Resolutions Dissertation In this thesis, we generalize several types of involutive and marked bases for ideals in quotient rings of commutative polynomial rings. We apply these new types of bases to the analysis of infinite free resolutions and of Hilbert schemes defined over certain types of quotient rings. We are mostly concerned with Pommaret and Janet bases; the marked bases we consider are marked over monomial submodules that are quasi-stable, i.e., that possess finite Pommaret bases. Involutive bases of the types we consider induce free resolutions of the ideals they generate and hence they yield estimates for homological invariants of these ideals, for example, for their Betti numbers. In the special case of monomial Pommaret bases, one even obtains an explicit formula for the differential of the resolution. However, the induced resolution is not necessarily minimal, because already the involutive bases themselves are in general not minimal generating systems. Moreover, the application of involutive and marked bases was up to now confined to ideals in ordinary polynomial rings. The thesis addresses both of these problems. Its contributions are split into four parts. In the first part, we introduce involutive-like bases, which are types of Gröbner bases that preserve many of the algorithmic and combinatorial advantages of involutive bases, while needing in general much less generators. We show that Janet-like and Pommaret-like bases induce involutive-like bases of the same types for their syzygy modules, and thus induce free resolutions in the same way that involutive bases do. Moreover, we use involutive-like bases to design new efficient algorithms for the determination of complementary decompositions of monomial ideals and Hilbert functions. Next, we generalize involutive and involutive-like bases to include also ideals in quotient rings. Our discussion is based on a comprehensive treatment of Gröbner bases for ideals in such rings, together with algorithms for their construction. We establish that Pommaret bases in quotient rings also induce Pommaret bases of their syzygy modules in a natural way. The third part of contributions treats the application of these new types of bases to the computation and analysis of their induced infinite free resolutions. For the important special case of Clements-Lindström rings, we obtain closed formulas for the Betti numbers of the resolution. We identify several classes of quasi-stable monomial ideals in these quotient rings for which the induced resolution is minimal. Thus, we generalize several well-known resolution constructions, e.g. for stable and for square-free Borel ideals. We obtain explicit formulas for the differential which apply to some classes of quasi-stable ideals and their Pommaret-like bases. In the final part, we introduce relative marked bases for ideals in quotient rings defined by ideals generated by Pommaret marked bases. We give an algorithm for the construction of relative marked families in case the quotient ring is defined by a monomial ideal. Lastly, we use these bases to obtain information about the lex-points and about quasi-stable open coverings of the Hilbert schemes defined on some quotient rings, e.g., Clements-Lindström rings. open access Orth, Matthias 2022-07-27 185 Seiten Kassel, Universität Kassel, Fachbereich Mathematik und Naturwissenschaften, Institut für Mathematik Seiler, Werner M. (Prof. Dr,) Hashemi, Amir (Prof. Dr.) Mathematik Polynomring Gröbner-Basis Betti-Zahl Algebra mit Involution Quotientenring Algebra Hilbertsches Schema publishedVersion false true
The following license files are associated with this item: