Problems in Differential and Algebraic Topology

为了更好地理解后三种理论，琼斯(与F·T·法雷尔合作)为这三种理论中的每一种都建立了一个“同构猜想”。例如，代数K-理论的同构猜想给出了利用群G的所有次循环子群的整群环的代数K-群来计算群G的整群环的代数K-群的一个简单公式(如果群是循环群的有限扩张，则群是“次循环”的)。关于亚循环群的整群环的代数K-群已有相当多的知识，因此上述猜想的真实性将对理解所有整数群环的代数K-理论有很大的帮助。作为这一提议的一部分，Jones打算继续致力于验证代数K-理论的同构猜想，条件是群G在处处具有非正截面曲率值的完备黎曼流形上以等距不连续地适当地作用。数学家通过试图找到每个空间的“遗传密码”来研究空间的结构。空间的“遗传密码”通常以与空间相关的代数小工具的形式出现；通常有一个简单的配方来从空间构造代数小工具。人们希望，两个具有相同或相同的“遗传密码”的空间应该与空间相同或相同。最早与空间联系在一起的代数小工具之一被称为空间的“基本群”。法国数学家亨利·庞加莱在大约100年前提出了这个概念。空间的基本群当然是其“遗传密码”的重要组成部分，但有许多不同的空间具有相同的基本群的例子；在这些情况下，基本群并不是空间的完整“遗传密码”。大约50年前，数学家阿曼德·博雷尔(位于新泽西州普林斯顿的高级研究所)猜想，对于一类重要的空间(称为“非球面空间”)，基本群确实给出了该空间的完整的“遗传密码”；即，具有相同基本群的两个非球面空间被强迫为同一空间。琼斯在证明博雷尔猜想方面取得了一些进展，并将继续朝着这个方向努力。

DMS-0306616Lowell E. JonesMany problems in "higher dimensional" topology have been reformulated in terms of one or more of the following theories: homotopy theory; algebraic K-theory; surgery L-theory; stable pseudoisotopy theory.In an effort to better understand the latter three theories, Jones (in collaboration with F.T. Farrell) has formulated an "Isomorphism Conjecture" for each of these three theories. For example, the Isomorphism Conjecture for algebraic K-theory gives a simple recipe for computing the algebraic K-groups for the integral group ring of a group G in terms of the algebraic K-groups for the integral group rings of all the infracyclic subgroups of G. (A group is "infracyclic" if it is a finite extension of a cyclic group.) Quite a bit is know about the algebraic K-groups for integral group rings of infracyclic groups; so the truth of the preceeding conjecture would help considerably in understanding the algebraic K-theory of all integral group rings. As part of this proposal, Jones intends to continue working towards verifying the Isomorphism Conjecture for algebraic K-theory of the integral group ring of G, under the condition that the group G acts properly, discontinuously by isometries on a complete, Riemannian manifold which has non-positive sectional curvature values everywhere.Mathematicians study the structure of spaces by trying to find the "genetic code" for each space. The "genetic code" for a space usually comes in the form of an algebraic gadget associated to the space; typically there is a simple recipe for constructing the algebraic gadget from the space. The hope is that two spaces having equal or congruent "genetic codes" should be equal or congruent as spaces. One of the first algebraic gadgets to be associated to a space is called the "fundamental group" of the space. The French mathematician Henri Poincare introduced this idea about a 100 years ago. The fundamental group of a space is certainly an important ingredient in its "genetic code", but there are examples of many different spaces which have the same fundamental group; in these cases the fundamental group is not a complete "genetic code" for the space. About 50 years ago the mathematician Armand Borel (of the Institute for Advanced Study in Princeton, N.J.) conjectured that for an important class of spaces (called "aspherical spaces") the fundamental group does give the complete "genetic code" for the space; that is, two aspherical spaces with the same fundamental group are forced to be the same space. Jones has made some progress towards proving Borel's Conjecture, and will continue his work in that direction.