The structure of free resolutions in commutative algebra and algebraic geometry

交换代数和代数几何中自由解析的结构

• 批准号: 1302057
• 负责人: Daniel Erman
• 金额: $ 13.26万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-08-15 至 2016-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1302057&HistoricalAwards=false
• 关键词: structure; free; resolutions; commutative; algebra

The PI's research aims to provide a deeper understanding of the structure of free resolutions and their use algebra and geometry via several specified projects. One such project will continue the systematic development of Boij-Soederberg theory. This theory was recently developed by Eisenbud and Schreyer, and it provides results for understanding free resolutions in terms of specified atomic building blocks. This is a powerful new theory, and there remain many open questions about both the foundations and the reach of the theory. Another project aims to develop a new framework for homological algebra in the context of smooth toric varieties. The work of David Cox and others suggests the potential for a far-reaching algebraic/geometric dictionary that largely parallels the powerful dictionary between the algebra of the graded polynomial ring and the geometry of projective space. Yet many of the results from homological commutative algebra have no satisfying analogue in the context of toric varieties. A more robust homological theory would rely on connections between multigraded commutative algebra, algebraic geometry, and combinatorics. A third project involves the asymptotic structure of the free resolutions of high degree Veronese subrings. This aims to fill a gap in the literature: whereas the study of the free resolutions of high degree Veronese subrings for curves has been fruitful and widely applied, little is known about the free resolutions of higher dimensional varieties under a very positive embedding. Free resolutions are built from matrices of polynomials. They arise naturally in many algebraic contexts, with connections to topics in commutative algebra, algebraic geometry, computational algebra, and more. Matrices of polynomials have a richer structure than the matrices of scalars that arise in linear algebra, and so basic questions about free resolutions remain unresolved. The PI's research projects aim to provide overarching structural results about free resolutions, and to apply these new structural insights to open problems in commutative algebra and algebraic geometry. These research projects all offer potential for explicit computations, providing research opportunities for undergraduate and graduate students, as well as leading to new software packages to be developed for Macaulay2. The PI will also continue his outreach projects on K-12 education, which often involve collaborative efforts between research mathematicians, educators, and public or nonprofit groups.

PI 的研究旨在通过几个特定的​​项目更深入地了解自由分辨率的结构及其在代数和几何中的应用。其中一个项目将继续系统地发展 Boij-Soederberg 理论。 该理论最近由 Eisenbud 和 Schreyer 提出，它为理解指定原子构建块的自由分辨率提供了结果。 这是一个强大的新理论，但关于该理论的基础和范围仍然存在许多悬而未决的问题。另一个项目旨在在光滑复曲面簇的背景下开发同调代数的新框架。 David Cox 等人的工作表明了一种影响深远的代数/几何词典的潜力，该词典在很大程度上与分级多项式环的代数和射影空间几何之间的强大词典相似。 然而，同调交换代数的许多结果在环面簇的背景下没有令人满意的类比。 更稳健的同调理论将依赖于多级交换代数、代数几何和组合学之间的联系。 第三个项目涉及高次维罗内斯子环的自由分辨率的渐近结构。其目的是填补文献中的空白：尽管对曲线的高次维罗内塞子环的自由分辨率的研究已经取得了丰硕的成果并被广泛应用，但对于非常正嵌入下的高维簇的自由分辨率却知之甚少。 自由分辨率是由多项式矩阵构建的。 它们自然地出现在许多代数环境中，与交换代数、代数几何、计算代数等主题相关。 多项式矩阵比线性代数中出现的标量矩阵具有更丰富的结构，因此有关自由分辨率的基本问题仍未解决。 PI 的研究项目旨在提供有关自由分辨率的总体结构结果，并将这些新的结构见解应用于交换代数和代数几何中的开放问题。 这些研究项目都提供了显式计算的潜力，为本科生和研究生提供了研究机会，并导致为Macaulay2开发新的软件包。 PI 还将继续他的 K-12 教育外展项目，该项目通常涉及研究数学家、教育工作者和公共或非营利组织之间的合作。