Mason Archival Repository Service

# Calculating the Minimal Free Resolution of the Stanley-Reisner Ideal of a Self-dual Simplicial Complex

 dc.contributor.advisor Morris, Walter dc.contributor.author Dang, Phuong T dc.creator Dang, Phuong T dc.date 2021-04-25 dc.date.accessioned 2021-10-04T23:20:22Z dc.date.available 2021-10-04T23:20:22Z dc.identifier.uri http://hdl.handle.net/1920/12102 dc.description.abstract Combinatorial Commutative Algebra is a popular subject for investigation and for application. en_US It has various types of benefits widely acknowledged in some other branches of Mathematics and other Sciences. One of those is calculating the minimal free resolution of a Stanley-Reisner ring, the main purpose for this project. To be convenient for readers, this thesis is divided into two parts, the theory part and the example part. In the theory, we concentrate building the process in two ways, the Gröb nerbasis way and the Hochster's theorem way. However, to understand both of them, we need to cover the basic knowledge about abstract simplicial complex, minimal non-faces, Stanley-Reisner ring and etc. After defining these, the two ways can be accessed. For the Gröbner basis way, we assume that the readers know the concepts of an ideal over a polynomial ring, especially in this case the Noetherian domain (because, the polynomial ring is over a field), and have some intuition for divisibility from Number theory. Then we have a foundation to comprehend the definitions of syzygy, Gröbner basis, S-polynomial etc. From those, the algorithm is displayed effectively. Schreyer's theorem and the Macaulay matrix help a lot for doing the computation. However, the second way is more direct. Observing instead directly the bases of the modules, we can go through the computation of Betti numbers by using the reduced homology. This is acomplished through several concepts of upper Koszul complex and link to determine the Betti number of the grade that we are looking at. Then, gradually, both are enough to detect the resolution. Gaining these theories is sufficient for the second part. In this, we process some problems for self-dual simplicial complexes to identify their minimal free resolutions, using the two ways above. With the solution I for the Gröbner basis way and solution II for Hochster's theorem way, we can distinguish and analyze the interaction between them. This is a good thing to better understand and obtain a good orientation for the new application in computer science and maybe in the real life. In conclusion, this topic is very useful and realistic for several new approaches. Hence, this thesis is written to clarify the computation and serve as material for advanced investigations. I hope through this work, we can obtain enough ingredients to continue on the research and to develop the skills for interesting areas like this, especially Combinatorial Commutative Algebra and Computational Algebra. dc.language.iso en en_US dc.subject free resolution en_US dc.subject simplicial complex en_US dc.subject Stanley-Reisner ideal en_US dc.subject Gröbner basis en_US dc.title Calculating the Minimal Free Resolution of the Stanley-Reisner Ideal of a Self-dual Simplicial Complex en_US dc.type Thesis en_US thesis.degree.name Master of Science in Mathematics en_US thesis.degree.level Master's en_US thesis.degree.discipline Mathematics en_US thesis.degree.grantor George Mason University en_US
﻿