Mathematical Sciences: Homotopy Theory and Its Applications

这个项目包含了四位数学家和他们的学生对同伦理论问题的研究。霍普金斯将利用p进数论和局部化的工具研究稳定同伦理论中的分类问题。他将继续研究同伦理论中的基本结构以及不稳定同伦理论中的分类问题。彼得森将研究Dickson代数和其他代数作为Steenrod代数的模。米勒将用上同调方法研究有限环空间的结构。拓扑学最初是作为研究微分方程的一种方法而出现的。在这中间的一个世纪里，它发生了惊人的进化，似乎经常有一个完全独立于它的来源的生命。然而，它已经开始越来越多地偿还债务。关键是，知道一个方程的解是闭环还是打结，通常比精确地、数值地知道它所有点的坐标更重要。此外，尽管前一种定性信息隐含在后一种完整的描述中，但如何提取它却并不明显。拓扑学家开发的复杂机制，比如本项目概述的同伦理论的研究，现在已经发展到一定程度，通常允许以自然的方式处理这些自然问题。

This project encompasses research by four mathematicians and their students on problems in homotopy theory. Hopkins will study classification questions in stable homotopy theory using tools from p-adic number theory and localization. Kan will continue research into fundamental structures in homotopy theory connected with classification questions in unstable homotopy theory. Peterson will study the Dickson algebra and other algebras as modules over the Steenrod algebra. Miller will study the structure of finite loop spaces using cohomological methods. Topology arose originally as an approach to the study of differential equations. Over the intervening century it has evolved prodigiously, often seeming to have a life entirely its own and independent of its source. Increasingly, however, it has begun to repay its debt. The point is that it is often more important to know of the solution of an equation whether it is a closed loop or whether it is knotted, for example, than to know precisely and numerically what are the coordinates of all of its points. Furthermore, although the former qualitative information is implicitly contained in the latter complete description, it is not at all obvious how to extract it. The sophisticated machinery that has been developed by topologists, such things as the investigations in homotopy theory outlined for this project, has now been developed to a degree that often permits these natural problems to be handled in a natural way.