Symmetric functions arise in many areas of mathematics including combinatorics, topology and algebraic geometry. Using ideals of symmetric functions, we tie these three branches together. This thesis generalizes work of Garsia and Procesi in 1992 that gave a quotient ring presentation for the cohomology ring of Springer varieties.
Let R be the polynomial ring [special characters omitted][x1, …, xn]. We present two different ideals in R. Both are parametrized by a Hessenberg function h, namely a nondecreasing function that satisfies h(i) ≥ i for all i. The first ideal, which we call I h, is generated by modified elementary symmetric functions. The ideal Ih generalizes the work of Tanisaki who gave a combinatorial description of the ideal used in Garsia and Procesi’s quotient ring. Like the Tanisaki ideal, the generating set for I h is redundant. We give a minimal generating set for this ideal. The second ideal, which we call Jh, is generated by modified complete symmetric functions. The generators of this ideal form a Gröbner basis, which is a useful property. Using the Gröbner basis for Jh, we identify a basis for the quotient R/Jh.
We introduce a partial ordering on the Hessenberg functions, and in turn we discover nice nesting properties in both families of ideals. When h > h', we have Ih ⊂ Ih' and Jh ⊂ Jh'. We prove that Ih equals Jh when h is maximal. Since Ih is the ideal generated by the elementary symmetric functions when h is maximal, the generating set for Jh forms a Gröbner basis for the elementary symmetric functions. Moreover, the quotient R/Jh gives another description of the cohomology ring of the full flag variety.
The generators of the ring R/Jh are in bijective correspondence with the Betti numbers of certain Hessenberg varieties. These varieties are a two-parameter generalization of Springer varieties, parametrized by a nilpotent operator X and a Hessenberg function h. These varieties were introduced in 1992 by De Mari, Procesi and Shayman. We provide evidence that as h varies, the quotient R/Jh may be a presentation for the cohomology ring of a subclass of Hessenberg varieties called regular nilpotent varieties.
|Advisor:||Tymoczko, Julianna, Goodman, Frederick|
|Commitee:||Frohman, Charles, Pemmaraju, Sriram, Simon, Jonathan|
|School:||The University of Iowa|
|School Location:||United States -- Iowa|
|Source:||DAI-B 71/10, Dissertation Abstracts International|
|Keywords:||Algebraic geometry, Cohomology, Combinatorics, Commutative ring theory, Grobner basis, Hessenberg varieties, Symmetric functions|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be