Structured Ring Spectra and Chromatic Stable Homotopy Theory

DMS-0204129 Paul G. Goerss同伦理论是研究在相当灵活的连续变形下保持不变的拓扑现象。 最基本的，我们试图计算和理解同伦类的映射之间的有限单纯或CW复合，也许在某种稳定。计算和理解是不一样的：我们有40多年的计算，但直到最近，我们才开始有语言，用它来从我们所拥有的数据中建立一个连贯的理论。因此，这个项目既是关于计算的，也是关于探索和改进语言的--尽管两者都有。 切入点是观察到，任何上同调理论与一个好的理论陈类产生了一个正式的群律，因此，一个正式的组。相反，给定一个形式群，我们可以问是否有一个相关的上同调理论。这些上同调理论然后描绘了稳定同伦理论的更精细的结构。这是稳定同伦的色图：我们寻求使用形式群的代数几何来组织和指导对计算和理论的更深层次结构的研究。 该项目力求从两个方向发展这一观点，一个是地方的，一个是全球的。 第一个方向，或局部方向，是一般的K（n）-局部同伦理论的研究，特别是K（n）-局部球面。第二，或更全球性的方向，将是使我们的知识结构环光谱使用堆栈和模堆栈的形式群作为基本parametrizingdevice。

DMS-0204129Paul G. GoerssHomotopy theory is the study of topological phenomena that remain invariant under fairly flexible sorts of continuous deformations. Most basically, we seek to compute and to understand homotopy classes of maps between finite simplicial or CW complexes, perhaps after some sort of stabilization. Computation and understanding are not the same: we have forty or more years of computations, but only lately have we begun to have the language to in which to make a coherent theory out of the data we have. This project is, therefore, as much about exploring and refining the language as it is about calculations -- although there will be a mixture of both. The entry point is the observation that any cohomology theory with a good theory of Chern classes gives rise to a formal group lawand, hence, a formal group. Conversely, given a formal groupwe can ask whether there is an associated cohomology theory.These cohomology theories then delineate the finer structureof stable homotopy theory.This is the chromatic picture of stable homotopy: we seekto use the algebraic geometry of formal groups to organize and direct investigations into the deeper structure of computations and theory. This project seeks to develop this point of view in two directions, one local and one global. The first, or local, direction is an investigation into K(n)-local homotopy theory in general and into the K(n)-local sphere in particular. The second, or more global, direction, would be to make systematicour knowledge of structured ring spectra using stacks and the moduli stack of formal groups as the basic parametrizingdevice.