Differential Equations and the Geometry of Manifolds

这个项目研究的一个重要动机是了解空间几何和拓扑之间的关系。后者，拓扑学，是研究空间在连续拉伸或弯曲下不变的性质，而前者，几何学，涉及到距离的理解，更严格。例如，我们星球的表面是一个球体，人们通过计算沿大圆路径的长度来测量其上各点之间的距离。(地球实际上是一个扁球体，但它非常接近完美的球体。)人们可以想象通过推入或拉动小区域或大区域来扭曲几何图形来使地球变形。这种变形的形状不知何故没有人们熟悉的圆形地球那么有吸引力，有很多方法可以让这种“弯曲变形”的概念在最小化某种总能量测量方面非常精确。这与物理原理直接相关，物理原理认为，物理系统的状态将趋向于使总能量最小的最终构型。这个想法也可以推广到称为流形的更高维的物体上，流形是我们星球表面的广义版本。(例如，我们生活的空间是三维的，如果包括时间，我们就处于一个四维的宇宙中。)为了理解这些类型的高维物体，人们试图找到最好的方法来测量它们上的距离，使用最少的能量，并最大化空间的对称性。在这个方案中的项目是在这样的空间上定义适当的能量，并寻找使总能量最小的重要的最优几何。更专业地说，PI的研究是广义地使用起源于几何的偏微分方程解来研究可微流形的性质。PI的主要研究领域是：爱因斯坦OBORBORBOLD的去单值化，K3曲面上折叠Ricci-平坦度量序列的构造，标量-平坦Kahler ALE度量的整体模空间的构造，以及OBORBORLD Yamabe问题的研究。在与Morteza的合作中，证明了渐近双曲爱因斯坦集上的一个爱因斯坦度规的存在定理，推广了Biquard在四维空间的一个结果，PI提出了这一工作的几个推广和推广。在与Hein，Sun和Zhang正在进行的工作中，PI构造了K3曲面上的Ricci平坦度量的新例子，K3曲面收缩成区间，Heisenberg零流形作为纤维出现在规则的收缩区域中。这项工作产生了许多有趣的问题，特别是将这些简并与K3表面的极化简并联系起来。在与韩的合作中，PI提出了一个计划，旨在为某些无穷大的群构造一个标量平坦的Kahler ALE度量的全局模空间。此外，在与陶菊的合作中，PI已经证明了Orbiold Yamabe问题的一些不存在的结果，并计划进一步推广这一结果。最后，PI致力于将研究和教育相结合，从多个层面培养智力发展。该奖项反映了NSF的法定使命，通过使用基金会的学术价值和更广泛的影响审查标准进行评估，被认为是值得支持的。

An important motivation for the research in this project is to understand the relationship between the geometry and the topology of a space. The latter, topology, is the study of properties of a space which are invariant under continuous stretching or bendings of a space, while the former, geometry, involves understanding distances and is more rigid. For example, the surface of our planet is a sphere, and one measures distances between points on it by computing lengths along great circle paths. (The Earth is actually an oblate spheroid, but it is very close to being perfectly spherical.) One can imagine deforming the Earth by pushing in or pulling on small or large regions to warp the geometry. Such a deformed shape is somehow less appealing than the familiar round Earth, and there are many ways to make this notion of being "bent out of shape" very precise in terms of minimizing some sort of total energy measurement. This is directly related to physical principles which say that the state of a physical system will tend towards a final configuration which minimizes the total energy. This idea can also be generalized to higher-dimensional objects called manifolds, which are generalized versions of the surface of our planet. (For example, the space that we live in is three-dimensional, and if one includes time, we are in a four-dimensional universe.) In order to understand these types of higher-dimensional objects, one attempts to find the best way to measure distances on them which use the least amount of energy, and maximize the symmetries of the space. The projects in this proposal are to define appropriate energies on such spaces, and to seek out the important optimal geometries which minimize the total energy.In more technical terms, the research of the PI is, broadly speaking, to use solutions of partial differential equations which are geometric in origin to study properties of differentiable manifolds. The main areas of concentration of the PI's research are the desingularization of Einstein orbifolds, the construction of sequences of collapsing Ricci-flat metrics on K3 surfaces, the construction of a global moduli space of scalar-flat Kahler ALE metrics, and the study of the orbifold Yamabe problem. In joint work with Morteza, an existence theorem for Einstein metrics was proved in the asymptotically hyperbolic Einstein setting, which generalized a result of Biquard in dimension four, and the PI proposes several extensions and generalizations of this work. In ongoing work with Hein, Sun, and Zhang, the PI has constructed new examples of Ricci-flat metrics on K3 surfaces which collapse to an interval, with Heisenberg nilmanifolds occurring as fibers in the regular collapsing regions. There are many interesting questions resulting from this work, especially to relate these degenerations to polarized degenerations of K3 surfaces. In joint work with Han, the PI proposes a plan towards constructing a global moduli space of scalar-flat Kahler ALE metrics for certain groups at infinity. Also, in joint work with Tao Ju, the PI has proved some nonexistence results for the orbifold Yamabe problem, and plans to generalize this further. Finally, the PI is committed to integrating research and education and cultivating intellectual development on many levels. The PI has been active in outreach and organization of conferences in the mathematics community.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.