RUI: Koszul duality of operads and the calculus of functors

这个项目结合了当前同伦理论研究的两个主要领域：古德威利的同伦函子演算和算符理论。总的目标是了解函子的古德威利导数所具有的普遍结构，由此可以重建函子的泰勒塔。PI和Greg Arone已经证明了这样一个结构的存在，其形式为某一并集上的余代数。在谱值函子的情况下，在各种歌剧，包括小的光盘歌剧上，这个联合体和那些与右模相关联的联合体之间存在着密切的关系。我们现在研究空间值函子的相应并集，以及任意基对象上的导数。我们还将以前的理论应用于计算，如代数K-理论的泰勒塔。谱曲的Koszul对偶性在这一理论中起着关键作用，我们在Pi和John E.Harper以前的工作的基础上研究了这种对偶性。这里的主要目的是得到一个算子上的代数范畴与Koszul对偶上的除次余代数范畴之间的等价性。拓扑学是研究任意维上的形状和空间的性质。一个特别的目标是开发方法来衡量这些空间通常被认为是定性的方面。例如，一个基本问题是精确地描述由地球表面(球体)和百吉饼表面(环面)形成的形状之间的差异。直观上的区别是显而易见的--百吉饼上有一个洞--但给出一个形状上的“洞”的准确定义，可以让我们在更高的维度上进行计算，因为在那里，直觉不那么可靠。其中一些计算(所谓的球面同伦群)被证明是极其复杂的，并得到了广泛的研究。这个项目涉及对这些计算的系统近似，类似于本科生微积分的泰勒级数。我们的中心目标是了解如何以自然的方式从较简单的部分构建更复杂的计算。然后，对这些部分的良好理解将为我们提供更好的工具来进行困难的计算。除了拓扑学之外，我们的方法的基础性质还适用于数学的一系列领域，包括同调代数和表示论。

This project combines two principal areas of current research in homotopy theory: Goodwillie's calculus of homotopy functors and operad theory. The overall goal is to understand the universal structure possessed by the Goodwillie derivatives of a functor, from which the Taylor tower of the functor can be reconstructed. The PI and Greg Arone have proved the existence of such a structure in the form of a coalgebra over a certain comonad. In the case of spectrum-valued functors, there is a close relationship between this comonad and those associated to right modules over various operads, including the little disc operads. We now study the corresponding comonads for space-valued functors, as well as for derivatives at arbitrary base objects. We also apply our previous theory to calculations such as the Taylor tower of algebraic K-theory. The Koszul duality of operads of spectra plays a key role in this theory, and we study this duality in its own right, building on previous work of the PI and John E. Harper. The main goal here is to get an equivalence between the categories of algebras over one operad and of divided power coalgebras over the Koszul dual operad.Topology is the study of properties of shapes and spaces in any number of dimensions. One particular goal is to develop ways to measure aspects of these spaces that are usually considered qualitative. For example, a basic problem is to give a precise description of the difference between the shapes formed by the surface of the Earth (a sphere), and the surface of a bagel (a torus). The difference is intuitively clear - the bagel has a hole - but giving a precise definition of what we mean by a 'hole' in a shape allows us to make calculations in higher dimensions, where intuition is less reliable. Some of these calculations (the so-called 'homotopy groups of spheres') turn out to be extremely complicated and have been studied extensively. This project is concerned with systematic approximations to these calculations that are analogous to the Taylor series of undergraduate calculus. Our central goal is to understand how more complex calculations can be built, in a natural way, from simpler pieces. A good understanding of the pieces should then provide us with better tools for making the hard computations. The foundational nature of our approach lends itself to applications in a range of areas of mathematics, including homological algebra and representation theory, in addition to topology.