Computational Chromatic Homotopy Theory

获批：DMS 1612020，首席研究员：Agnes beaudry该项目是对代数拓扑中的基本问题之一——球的同伦群的大规模研究的一部分。球体是最简单的几何物体之一，是构建更复杂实体的基石。用于研究这些基本分量之间联系的球的同伦群是考虑到变形的球之间连续函数的集合。其他领域的许多问题，特别是微分拓扑，都被简化为对这些群的研究，这是出了名的困难。然而，在代数几何和代数拓扑之间已经建立了一座桥梁，使我们能够使用复杂的代数理论来计算球的同伦群。这个桥被称为色同伦理论。本课题研究了该领域两个最重要的结构猜想，望远镜猜想和色散猜想。它有一个强大的计算组件，将提供数据来帮助研究这两个基本问题。色同伦理论使用k理论的更高类似物，从而在球的稳定同伦群中产生更高的周期性。色分裂猜想是解释不同周期性之间关系的一种尝试。最近，PI已经推翻了这个猜想的一个特例。在与Goerss和Henn合作的一个项目中，PI旨在解释这一失败并重新表述这一猜想。在与Xu的一个相关项目中，PI计划计算K(2)局部球在素数2处的同伦群。这些计算使用的自对偶分辨率似乎与Brown-Commenetz对偶性和K(2)-局部Picard群的结构有关。PI计划与Bobkova， Goerss和Henn一起研究这种联系。该项目的另一个平行部分是研究与望远镜猜想有关的周期性。在与Behrens， Bhattacharya， Culver和Xu的合作中，PI计划通过拓扑模块形式对球体进行分辨率来检测周期元素。望远镜猜想给出了用这种方法探测到的周期元素与K(2)局域球探测到的周期元素之间的联系。比较这两种计算可以阐明这个猜想。

AbstractAward: DMS 1612020, Principal Investigator: Agnes BeaudryThe project supported by this grant is part of a large scale effort to understand the homotopy groups of spheres, one of the fundamental problems in algebraic topology. The spheres, which are among the simplest geometric objects, are building blocks for more complex entities. The homotopy groups of spheres, which are used to study the connections between these basic components, are collections of continuous functions between spheres considered up to deformations. Many problems in other fields, especially differential topology, have been reduced to the study of these groups, which is notoriously difficult. However, a bridge has been built between algebraic geometry and algebraic topology that allows us to use sophisticated algebraic theory to enable calculations of the homotopy groups of spheres. This bridge is known as chromatic homotopy theory. This project studies two of the most important structural conjectures in this field, the telescope and chromatic splitting conjectures. It has a strong computational component that will provide data to help study these two fundamental problems.Chromatic homotopy theory uses higher analogues of K-theory which give rise to higher periodicity in the stable homotopy groups of spheres. The chromatic splitting conjecture is an attempt at explaining the relationship between different periodicities. Recently, the PI has disproved a special case of this conjecture. In a project with Goerss and Henn, the PI aims to explain this failure and reformulate the conjecture. In a related project with Xu, the PI plans to compute the homotopy groups of the K(2)-local sphere at the prime two. These computations use self-dual resolutions which appear to be related to Brown-Commenetz duality and the structure of the K(2)-local Picard group. The PI plans to study this connection with Bobkova, Goerss and Henn. A parallel part of the project is to study periodicity in relation to the telescope conjecture. In work with Behrens, Bhattacharya, Culver and Xu, the PI plans to detect periodic elements using a resolution of the sphere by topological modular forms. The telescope conjecture gives a connection between periodic elements detected by such methods and those detected by the K(2)-local sphere. Comparing the two computations may shed light on this conjecture.