Structure Constants for Bases of the Polynomial Ring

舒伯特微积分开始于1879年左右与赫尔曼舒伯特要求，并在特殊情况下回答，枚举问题的几何。例如，平面上有多少点同时与两条给定的直线相交，或者空间中有多少条直线与四条给定的直线相交？为了回答后者，舒伯特考虑了第一条线与第二条线相交，第三条线与第四条线相交的情况，在这种情况下，答案是2（连接两个交点的线和由两对相交线跨越的两个平面的相交线）。然后，他根据他的数守恒原理断言，如果是有限的，一般的答案也必定是2。大卫希尔伯特，在他的第15个问题，为二十世纪，提出了严格的舒伯特的原则，保持数量的任务。上同调解决了这个问题，并把我们带到了现代舒伯特微积分和交集理论，它在几何学、拓扑学、组合学中有分支，甚至在弦理论中发挥了核心作用。然而今天，舒伯特最初的问题仍然没有答案：如何有效地计算线性子空间的交集数？Lascoux和Schutzenberger在1985年定义了完备旗簇的上同调环中舒伯特类的多项式表示。这些舒伯特多项式给出了舒伯特类的显式多项式表示，舒伯特类的结构常数枚举了舒伯特簇的适当三重交集中的标志（嵌套线性子空间的序列），这些标志正是舒伯特演算旨在计算的非负整数。首席研究员将把强大的工具和技术从对称函数理论提升到完整的多项式环，并将其应用于舒伯特多项式，最终目标是找到这些交集数的组合公式。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

Schubert calculus began around 1879 with Herman Schubert asking, and in special cases answering, enumerative questions in geometry. For example, how many points in the plane meet two given lines simultaneously or how many lines in space meet four given lines? To answer the latter, Schubert considered the case where the first line intersects the second and the third intersects the fourth, in which case the answer is 2 (the line connecting the two points of intersection and the line of intersection of the two planes spanned by the two pairs of intersecting lines). He then asserted, by his principle of conservation of number, that the general answer, if finite, must also be 2. David Hilbert, in his 15th problem for the twentieth century, set out the task of making rigorous Schubert's principle of conservation of number. Cohomology resolved this and lead us to modern Schubert calculus and intersection theory, which has ramifications in geometry, topology, combinatorics, and even plays a central role in string theory. Yet today, Schubert's original question remains unanswered: how can one effectively compute intersection numbers for linear subspaces?Lascoux and Schutzenberger in 1985 defined polynomial representatives for the Schubert classes in the cohomology ring of the complete flag variety. These Schubert polynomials give explicit polynomial representations of the Schubert classes whose structure constants enumerate flags (sequences of nested linear subspaces) in a suitable triple intersection of Schubert varieties, which are precisely the nonnegative integers Schubert calculus aims to compute. The principal investigator will lift powerful tools and techniques from symmetric function theory to the full polynomial ring and apply them to Schubert polynomials with the ultimate goal of finding a combinatorial formula for these intersection numbers.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.