Collaborative Research: Differential Methods, Implicitization, and Multiplicities with a View Towards Equisingularity Theory

协作研究：以等奇性理论为视角的微分方法、隐式化和多重性

• 批准号: 2201149
• 负责人: Bernd Ulrich
• 金额: $ 20.5万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-07-15 至 2025-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2201149&HistoricalAwards=false
• 关键词: Collaborative; Research; Differential; Methods; Implicitization

This research project concerns the structure of geometric objects that arise as solution sets of systems of polynomial equations in several variables. Such objects, called varieties, play a fundamental role throughout mathematics as well as in applications in science and engineering. Motivated by a question that originates with mathematician Henri Poincaré in 1891, the investigators will study the relationship between local properties of a variety and global features of tangents at points of the variety, as these points vary. They will also work on implicitization, a classical question in pure mathematics that is of much interest to scientists in geometric modelling and computer aided design. Given any geometric object, such as a curve or surface, the goal is to find the system of polynomial equations that has the geometric object as a solution set; knowing these 'implicit' equations provides insight into the geometric object. The PIs will involve graduate students and postdoctoral visitors in the project, and they will facilitate scientific exchange by organizing international programs, conferences, and national online seminars.The investigators will work on projects pertaining to algebraic vector fields, the implicitization problem for Rees rings, equisingularity theory, and residual intersections. The PIs will use tools from commutative algebra to investigate how the types of singularities and the global invariants of a variety are reflected in properties of the vector fields that are tangent to the variety. In particular, they wish to establish a correspondence between the types and constellation of the singularities of a projective plane curve on the one hand and the graded Betti numbers of the module of derivations of its homogeneous coordinate ring on the other. Determining the implicit equations defining the graph and image of a rational map between projective spaces is a classical problem in elimination theory. The PIs will concentrate on the case of Cremona maps, where the implicit equations of the graph also provide a parametrization of the inverse map. For dominant rational maps they will investigate the relationship between the projective degrees of the rational map and the number and bidegrees of the equations defining the graph. In equisingularity theory, one seeks fiberwise multiplicity-based criteria for a family of analytic spaces to be Whitney equisingular and hence topologically trivial. The PIs plan to devise such a criterion for analytic spaces with arbitrary singularities by using a new notion of multiplicity inspired by intersection theory. Graduate students will be supported as part of the project.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.

这项研究项目涉及在1891年与数学家亨利·庞加莱（HenriPoincaré）的问题相关的多项式方程的解决方案集合的结构对象。对科学建模和计算机很感兴趣。研讨会。研究人员与代数矢量场有关，REES环的无关，术理论和残留的相互作用。对于多种多样，他们希望在手上建立一个投射平面的类型和星座，并分级的贝蒂数字的均匀坐标环的模块。消除理论的经典问题。对于一个分析空间，惠特尼的奇异拓扑是通过使用新的ITY概念来设计出受相交理论的启发的新概念，以设计任意奇异的分析空间。 NSF's Fly Mission and est est home est home home toundation的知识分子优点和更广泛的影响标准值得通过评估获得支持。