Motivic Homotopy Theory and Applications to Enumerative Geometry

这个项目研究某些方程的解的数量，使用与这些方程相关的空间的形状，以及这种形状本身。有一个新的不变性性质的数量这样的解决方案。这种不变性不仅适用于复数中的解的个数，而且适用于普通分数的解，例如二分之一。它是通过使用A1-同伦理论由于Morel和Voevodsky。此外，数学教育还通过继续为来自不同背景的天才高中生提供为期一周的暑期数学工作计划来支持。在项目期间的每个夏天，大约八名高中生将研究一个重要的数学问题，必要时学习背景材料，并作为一个小组解决它。他们将由两名高中教师陪同。本科生的研究经验，旨在该计划的毕业生提供继续数学培训，并提供研究导师。 A1-同伦理论是由Morel和Voevodksy在20世纪90年代后期提出的，它允许将代数拓扑学的工具成功地引入到多项式方程的解的研究中。PI和合作者正在研究A1-同伦理论与枚举几何中的经典问题之间的相互作用，例如“空间中有多少条线与四条线相交？”“A1-同伦理论在非常一般的基方案上，特别是在任何域上都能很好地发挥作用，从而在双线性形式的非代数闭域上产生枚举结果。该项目搜索与特征类，格罗莫夫-维滕理论，和zeta函数连接的结果，并开发这些应用程序所建议的动机同伦理论的工具。该奖项反映了NSF的法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

This project studies the number of solutions to certain equations, using the shape of spaces associated to these equations, as well as this shape itself. There is a new invariance property of the number of such solutions. This invariance not only applies to the number of solutions in the complex numbers, but also solutions which are ordinary fractions, such as one half. It is obtained by using A1-homotopy theory due to Morel and Voevodsky. Mathematics education is furthermore supported by continuing a program of week-long summer math jobs for gifted high school students from diverse backgrounds. During each of the summers of the project period, approximately eight high school students will work on an important mathematical problem, learning the background material as necessary, and solving it as a group. They will be accompanied by two high school teachers. A Research Experience for Undergraduates aimed at the graduates of the program is provided to continue mathematical training and provide research mentorship. A1-homotopy theory was introduced by Morel and Voevodksy in the late 1990's and allows the successful import of tools from algebraic topology into the study of solutions to polynomial equations. The PI and collaborators are studying the interaction between A1-homotopy theory and classical questions from enumerative geometry such as "How many lines meet four lines in space?" A1-homotopy theory functions well over very general base schemes and in particular over any field, resulting in enumerative results over non-algebraically closed fields valued in bilinear forms. This project searches for such results connected with characteristic classes, Gromov--Witten theory, and zeta functions and develops tools in motivic homotopy theory suggested by these applications.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.