Mathematical Sciences: Topology of 4-Manifolds

9703996 Teichner这个项目处理与四维流形相关的拓扑问题。要回答的主要问题是，高维的外科技术和s-协定理对哪些基本群有效。现有的技术包括复杂的卡森手柄结构，可以肯定地回答大量群体的问题。此外，还提出了一种定位自由基群障碍物的幂零群论方法。这两种方法也将应用于4空间中不相交2球的连杆同伦分类以及3空间中结点和连杆的协调类问题。过去十年中最令人兴奋的数学发现之一是欧几里得n空间的表现非常不同，这取决于维度n是否等于4（这是我们生活的维度，允许时间作为第四个维度）。更准确地说，我们都学过一个实变量的微积分，我们中的一些人继续学习n变量的微积分，即欧几里得n空间上的光滑函数理论。但很少有人告诉我们，对于n=4，有（无数！）许多这样的理论，而对于所有其他维度，都有一个独特的理论，即我们所教的那个。用数学术语来说，我说的是欧几里得4空间上的“奇异”结构，由唐纳森、弗里德曼等人在1983年左右发现。这个项目处理更复杂的四维流形上的类似问题（技术上，那些具有非平凡基本群的流形）。与欧几里得4-空间的一个具体区别是，在一般的4-流形中，不是每个向量场都对应于一个势能函数。＊＊＊

9703996 Teichner This project deals with topological problems related to 4-dimensional manifolds. The main question to be answered is for which fundamental groups the higher dimensional techniques of surgery and s-cobordism theorems work. The existing techniques include sophisticated constructions of Casson-handles that answer the question in the affirmative for a large class of groups. In addition, there is a proposed nilpotent group theory method for locating obstructions for free fundamental groups. Both methods will also be applied to the link homotopy classification of disjoint 2-spheres in 4-space as well as to questions concerning concordance classes of knots and links in 3-space. One of the most exciting mathematical discoveries in the last decade is the fact that Euclidean n-space behaves very differently depending on whether the dimension n equals or doesn't equal 4 (which is the dimension we live in, allowing time as the fourth dimension). More precisely, we have all learned calculus in one real variable, and some of us went on to learn calculus in n variables, i.e., the theory of smooth functions on Euclidean n-space. But very few of us were told that for n=4 there are (uncountably!) many such theories, whereas for all other dimensions there is a unique one, namely the one we were taught. In mathematical terms, I am talking about the "exotic" structures on Euclidean 4-space, discovered by Donaldson, Freedman and others around 1983. This project deals with similar questions on more complicated 4-dimensional manifolds (technically, those which have nontrivial fundamental group). One concrete difference from Euclidean 4-space is that in a general 4-manifold, not every vector-field corresponds to a potential energy function. ***