Puzzles, Quantum K-Theory, and Other Topics in Schubert Calculus

这个研究计画涉及计数几何一般领域的几个开放性问题。本课程的动机目标是确定满足一系列条件的固定类型几何图形的数量。这些条件可能涉及图形包含给定点，满足其他图形，或具有指定属性的切线。令人惊讶的是，虽然确定满足条件的解图的精确列表非常困难，但通常可以预测这样的解的数量。 对计数问题的解的数量公式的研究揭示了许多领域感兴趣的深刻而美丽的组合结构，包括几何学，组合学，表示论，计算机科学中的复杂性理论和物理学中的镜像对称。PI将从事研究生和本科生在他的研究与招聘新的人才的目的是数学一般和枚举几何特别。 PI目前是一名博士生的论文导师，另外两名学生最近在他的指导下完成了博士学位。PI在过去的8个夏天中有7个在罗格斯大学的本科生研究经验（REU）项目中监督项目。 获得的研究补助金将使他能够继续这项活动。PI还将开发计算机软件，以促进他所在领域的研究，他将帮助组织会议和研讨会。旗流形中子簇的枚举几何的许多信息都编码在其上同调环中，以及更一般的上同调理论中。 舒伯特微积分的一个主要目标是得到这个环关于它的舒伯特类的基的乘法结构常数的公式。 PI将尝试证明一个正组合公式，该公式将任何三步旗的上同调结构常数表示为可以使用拼图块列表创建的拼图的数量。旗流形X的Gromov-Witten不变量计算了当X中满足一般舒伯特簇的有理曲线的个数是有限的。 当无穷多条曲线满足舒伯特簇的一般配置时，这些曲线的集合形成称为Gromov-Witten簇的模空间。Gromov-Witten簇反过来定义了编码在X的量子K理论环中的K理论Gromov-Witten不变量。 这一环的研究为我们理解Gromov-Witten簇及其相关空间的奇异性和合理性提供了一个有用的基准。 PI将试图回答几个关于量子K理论的正性和有限性的开放性问题。 在这个项目中使用的方法来自几何学和组合学，计算机实验作为一个中心工具。

This research project concerns several open questions in the general area of enumerative geometry. The motivating goal in this subject is to determine the number of geometric figures of a fixed type that satisfy a list of conditions. These conditions could involve that the figures contain given points, meet other figures, or have tangents with specified properties. Surprisingly, while it can be extremely difficult to determine the precise list of solution figures that satisfy the conditions, it is often possible to predict the number of such solutions. The search for formulas for the number of solutions to enumerative problems has uncovered deep and beautiful combinatorial structures that are of interest in numerous fields, including geometry, combinatorics, representation theory, complexity theory in computer science, and mirror symmetry in physics. The PI will engage both graduate and undergraduate students in his research with the aim of recruiting new talent to mathematics in general and to enumerative geometry in particular. The PI is currently the thesis advisor of one Ph.D student, and two additional students have recently completed their Ph.D degrees under his supervision. The PI has supervised projects in the Research Experience for Undergraduates (REU) program at Rutgers University in 7 out of the past 8 summers. The awarded research grant will enable him to continue this activity. The PI will also develop computer software to facilitate research in his area, and he will help organizing conferences and workshops.Much information about the enumerative geometry of subvarieties in a flag manifold is encoded in its cohomology ring, as well as in more general cohomology theories. A major goal in Schubert calculus is to obtain formulas for the multiplicative structure constants of this ring with respect to its basis of Schubert classes. The PI will attempt to prove a positive combinatorial formula that expresses the cohomological structure constants of any three-step flag variety as the number of puzzles that can be created using a list of puzzle pieces. The Gromov-Witten invariants of a flag manifold X count the number of rational curves that meet general Schubert varieties in X when this number is finite. When infinitely many curves meet a general configuration of Schubert varieties, the collection of these curves form a moduli space called a Gromov-Witten variety. Gromov-Witten varieties in turn define K-theoretic Gromov-Witten invariants that are encoded in the quantum K-theory ring of X. The study of this ring provides a useful benchmark for our understanding of the singularities and rationality properties of Gromov-Witten varieties and related spaces. The PI will attempt to answer several open questions about positivity and finiteness properties of quantum K-theory. The methods to be used in this project come from geometry and combinatorics, with computer experiments as a central tool.