Free Resolutions

这个项目是关于交换代数的研究。这门学科的一个核心目标是理解多项式方程组的解，可能是在大量变量和大量方程中。与此密切相关的是自由决议的概念。构造这样的解相当于重复求解多项式方程组。多年来，极小自由分解一直是交换代数的中心目标和卓有成效的工具。构造自由归结的思想是由希尔伯特在1890年的一篇著名论文中提出的。对这些物体的研究在20世纪下半叶蓬勃发展，最近取得了令人瞩目的进展。这个领域非常广泛，与其他数学领域有着很强的联系和应用。该项目的广泛影响包括撰写一篇说明性论文，为本科生组织专业发展研讨会，以及组织数学会议。该项目的主要研究目标是在理解最小自由分解及其数值不变量的结构方面取得重大进展。特别是，PI将：与M.Mstroeni和J.McCullough合作研究Koszul代数；继续研究二项式边理想的最小自由分解；研究外部代数上的最小自由分解的渐近结构。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

This project concerns research in Commutative Algebra. A core goal in the subject deals with understanding the solutions of a system of polynomial equations, possibly in a large number of variables and with a large number of equations. Closely related to this is the concept of a free resolution. Constructing such a resolution amounts to repeatedly solving systems of polynomial equations. For many years, minimal free resolutions have been both central objects and fruitful tools in Commutative Algebra. The idea of constructing free resolutions was introduced by Hilbert in a famous paper in 1890. The study of these objects flourished in the second half of the twentieth century and has seen spectacular progress recently. The field is very broad, with strong connections and applications to other mathematical areas. The broader impacts of the project include the writing of an expository paper, organization of professional development workshops for undergraduate students, and organization of mathematical conferences.The main research goal in this project is to make significant progress in understanding the structure of minimal free resolutions and their numerical invariants. In particular, the PI will: work jointly with M. Mastroeni and J. McCullough on Koszul Algebras; continue work on minimal free resolutions of binomial edge ideals; study the asymptotic structure of minimal free resolutions over exterior algebras.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.