Higher homotopy algebras in transformation groups

该计划的长期目标是研究同伦Gertenhaber代数和直到更高同伦的其他结构，以及它们在拓扑学特别是变换群中出现的问题上的应用。 程序的起点是最近在我的预印本《齐次空间的上同调环》(arxiv：1907.04777)和《光滑环簇的上同调环和矩-角复形的商》(arxiv：1907.04791)中取得的突破。通过确定这些上同调环，我回答了一个50年来一直悬而未决的问题(齐次空间)，并纠正了20年来文献中的一个错误(矩-角复形的偏商)。证明中的一个关键成分是同伦Gertenhaber代数(HGA)的概念。 到目前为止，齐次空间的上同调中的杯积仅在2在给定的系数环上可逆的假设下建立。我的第一个目标是将其扩展，理想情况下扩展到任意系数。另一个困难的问题是将迄今为止从群的空间分类到具有多项式上同调的任意空间的证明推广到任意空间。这两个目标将成为该方案的指导性问题。 到目前为止所取得的进展是基于对同伦Gertenhaber代数和所谓的强同伦交换(SHC)代数的精细研究。我有一些“平淡无奇”的证明，需要非常长的时间，但不是很有启发性的计算。然而，解决方案的形式表明，公式背后可能潜藏着更深层次的结构。在这个方向上获得更好的理解是另一个目标。 到目前为止，另一个关键因素是环面空间分类的HGA形式化结果。它已经扩展到Davis-Januszkiewicz空间。我想研究HGA形式的进一步扩展，或可能更弱的概念，以分类其他群的空间或更一般的空间类。 在群体行动的研究中，也有出现或预期出现同伦结构的其他情况，解决这些问题是进一步的目标。让我们来提一下实环空间的情况，算数秩猜想以及在自由环空间和弦拓扑中的应用。与J.Minc教授一起，我想将我最近的结果应用于伽罗瓦理论中的问题。 由于公式的规模增长非常快，具有最大同伦结构的手工计算很快变得单调乏味。该方案的第二个目标是开发促进这些计算的软件工具(并确定适当的计算机代数系统来实施这些工具)。

The long-term goal of the programme is to study homotopy Gerstenhaber algebras and other structures up to higher homotopies as well as their applications to problems arising in topology and in transformation groups in particular. Starting point of the programme is the recent breakthrough achieved in my preprints "The cohomology rings of homogeneous spaces" (arxiv:1907.04777) and "The cohomology rings of smooth toric varieties and quotients of moment-angle complexes" (arxiv:1907.04791). By determining these cohomology rings, I answer a question that has been open for 50 years (homogeneous spaces) and correct a mistake that has been in the literature for 20 years (partial quotients of moment-angle complexes). A key ingredient in the proofs is the notion of a homotopy Gerstenhaber algebra (hga). So far, the cup product in the cohomology of a homogeneous space is only established under the assumption that 2 is invertible in the given coefficient ring. My first objective is to extend this, ideally to arbitrary coefficients. Another hard problem is to generalize the proof obtained so far from classifying spaces of groups to arbitrary spaces with polynomial cohomology. These two objectives will serve as a guiding problems for the programme. The progress obtained so far rests on a refined study of homotopy Gerstenhaber algebras and also of so-called strongly homotopy commutative (shc) algebras. I have "pedestrian" proofs that require extremely long, but not very illuminating calculations. However, the form of the solutions suggest that there might be a deeper structure lurking behind the formulas. Obtaining a better understanding in this direction is another objective. Another crucial ingredient so far is an hga formality result for classifying spaces of tori. It has already been extended to Davis-Januszkiewicz spaces. I want to study further extensions of hga formality or possibly weaker notions to classifying spaces of other groups or more general classes of spaces. There are also other instances where up-to-homotopy structures appear or are expected to appear in the study of group actions, and addressing them are further objectives. Let us mention the case of real toric spaces, the toral rank conjecture and applications to free loop spaces and string topology. With Prof. J. Minc I want to apply my recent results to problems in Galois theory. Manual calculations with up-to-homotopy structures soon become tedious because the size of the formulas increases very quickly. A secondary objective of the programme is to develop software tools to facilitate these computations (and to identify suitable computer algebra systems to implement the tools).