Computational Chromatic Homotopy Theory

计算色同伦理论

• 批准号: 1612020
• 负责人: Agnes Beaudry
• 金额: $ 16.38万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-06-01 至 2017-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1612020&HistoricalAwards=false
• 关键词: Computational; Chromatic; Homotopy; Theory

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.

AbstractAward：DMS 1612020，首席研究员：艾格尼丝Beaudry该项目支持的这笔赠款是一个大规模的努力，以了解同伦群的领域，在代数拓扑的基本问题之一的一部分。球体是最简单的几何对象之一，是更复杂实体的构建块。球面的同伦群，用来研究这些基本成分之间的联系，是考虑到变形的球面之间的连续函数的集合。其他领域的许多问题，特别是微分拓扑学，都归结为对这些群的研究，这是出了名的困难。然而，代数几何和代数拓扑之间已经建立了一座桥梁，使我们能够使用复杂的代数理论来计算球面的同伦群。这座桥被称为色同伦理论。该项目研究了该领域中两个最重要的结构，望远镜和色分裂结构。它有一个强大的计算组件，将提供数据，以帮助研究这两个基本问题。色同伦理论使用更高的类似物的K-理论，从而产生更高的周期性稳定同伦群的领域。色分裂猜想试图解释不同周期之间的关系。最近，PI反驳了这个猜想的一个特例。在Goerss和Henn的一个项目中，PI旨在解释这一失败并重新制定猜想。在一个与Xu合作的相关项目中，PI计划计算K（2）-局部球面在素数2处的同伦群。这些计算使用自对偶解析，这似乎与布朗-科门内茨对偶和K（2）-局部皮卡德群的结构有关。PI计划与Bobkova，Goerss和Henn一起研究这种联系。该项目的一个平行部分是研究与望远镜猜想有关的周期性。在与Behrens，Bhattacharya，Culver和Xu的合作中，PI计划通过拓扑模块形式使用球体的分辨率来检测周期元素。望远镜猜想给出了用这种方法探测到的周期元素和用K（2）局域球探测到的周期元素之间的联系。比较这两种计算方法可能有助于阐明这一猜想。