Hitchin systems: tame, twisted, and wild

数学一直被用来解决物理问题。但是物理能解决数学问题吗？答案是肯定的。在过去的四十年里，对物理方程的严格的几何研究打开了我们的眼界，让我们看到了奇妙的新思想，以前未解决问题的解决方案，以及曾经基本上被隐藏的数学学科之间的联系。例如，正是通过20世纪80年代早期对杨-米尔斯方程的研究，在四维平坦空间上发现了奇异的新几何结构。几年后，对杨-米尔斯方程的进一步研究导致了希钦系统的发现，希钦系统是方程的一个特定版本的所有解的空间。虽然它是一个数学对象，但希钦系统在许多方面与大约200年前发现的罗塞塔石碑相似。这块石头上有三种文字：古埃及文、通俗文和希腊文，这使得商博良和杨第一次破译了埃及的象形文字。同样，Hitchin系统允许几何学家几乎毫不费力地在拓扑、光滑几何和复杂几何之间转换。******理解希钦系统及其变体是一个优先事项，因为几何、表示理论和数学物理中的许多问题现在都用它来重新表述。一个最好的例子是最近对朗兰兹纲领基本引理的证明。这个问题最终得到了解决，方法是将这个声明改写为一个关于希钦系统的声明，然后利用希钦系统的几何性质来完成证明。这是另一个例子，一个来自物理学的物体处于数学突破的核心。******与此同时，hitchin类型的系统开始在不同的行业中得到应用。普通希钦系统中的“希格斯束”最近被应用于现代医学成像核心的逆问题。存在于另一种希金系统中的“超多边形”出现在DNA动力学的新观点中。******寻求更好地理解希钦系统的时机已经成熟。我计划用莫尔斯理论来检测低格黎曼曲面（即球体和环面）的某种“扭曲”变体的Hitchin系统的拓扑或“形状”。同时，我计划探索超多边形空间的渐近几何，将超多边形的概念推向无穷大。最后，我计划找到不同类型的超多边形之间的关系，这些关系呼应了物理学中“镜像对称”的概念，即一个空间可以交换为另一个空间，其中物理是相同的，但数学更容易。

Mathematics has always been used to solve problems in physics. But can physics solve problems in mathematics? The answer is yes. The rigorous geometric study of equations from physics over the last forty years has opened our eyes to fantastic new ideas, solutions to previously unsolved problems, and connections between mathematical disciplines that were once largely hidden. For example, it was through the study of the Yang-Mills equations in the early 1980s that exotic new geometric structures on four-dimensional flat space were discovered. Several years later, a further investigation of the Yang-Mills equations led to the discovery of the Hitchin system, which is the space of all solutions of a particular version of the equations. While it is a mathematical object, the Hitchin system is in many ways akin to the Rosetta stone discovered some two hundred years earlier. On the stone were three scripts: ancient Egyptian, Demotic, and Greek, allowing Champollion and Young to decipher Egyptian hieroglyphics for the first time. Likewise, the Hitchin system allows geometers to translate almost effortlessly between topology, smooth geometry, and complex geometry.******Understanding the Hitchin system and its variants is a priority because of the number of problems in geometry, representation theory, and mathematical physics that have now been rephrased in terms of it. A prime example is the recent proof of the Fundamental Lemma of the Langlands Program. It was finally settled by rewriting the claim as one about the Hitchin system and then using geometric properties of the Hitchin system to complete the proof. This is yet another example of an object from physics lying at the heart of a breakthrough in mathematics.******At the same time, Hitchin-type systems are beginning to see applications in diverse industries. The "Higgs bundles" that populate the ordinary Hitchin system have recently been applied to inverse problems at the core of modern medical imaging. The "hyperpolygons" that populate another kind of Hitchin system show up in a new point of view on the dynamics of DNA. ******The time is ripe to seek a better understanding of the Hitchin system. I plan to use Morse theory to detect the topology or "shape" of a certain "twisted" variant of the Hitchin system for low-genus Riemann surfaces, namely spheres and tori. At the same time, I plan to probe the asymptotic geometry of spaces of hyperpolygons, by literally pushing the notion of hyperpolygon to infinity. Finally, I plan to find relationships between different kinds of hyperpolygons that echo the notion of "mirror symmetry" in physics, where one space can be swapped for another for which the physics is the same but the mathematics is easier.