RUI: Higher Structures in Stable, Equivariant, and Motivic Homotopy Theory

本研究探讨当代数学的三个分支之间的接口：高等范畴，同伦理论和代数几何。 不严格地说，这些科目分别研究结构、变形和多项式。 通过该奖项进行的项目以新颖的方式将这些概念联系起来，寻求揭示新的定理。 首席研究员还将通过组织夏季研究小组和领导与这些项目相关的高级论文，支持不同群体的本科生参与研究。首席研究员的研究计划包括五个方面。 首先，他们将共同研究绝对伽罗瓦群的谱麦基函子映射到“谱Gysin函子”（从Garkusha-Panin-Voevodksy的框架对应理论构建）的方式，这些函子是motivic谱的模型。 第二，他们将研究η-周期motivic球谱通过连接Witt K-理论。 第三，他们将通过Lazard Hopf代数胚上的余模进一步解释稳定动机同伦范畴的Balmer谱的结构。 第四，他们将构造处理真正G-置换范畴配对的等变无限循环空间机。 最后，他们将研究Picard 2-群胚和稳定2-型的同伦理论，以及两者之间的相互作用。

This research investigates the interface between three branches of contemporary mathematics: higher categories, homotopy theory, and algebraic geometry. Loosely speaking, these subjects study structure, deformations, and polynomials, respectively. The projects undertaken via this award link these concepts in novel ways, seeking to expose new theorems. The Principal Investigors will also support the participation of a diverse group of undergraduate students in their research by organizing summer research groups and leading senior theses related to these projects.The PIs' approach to their research program is five-fold. First, they will jointly study the fashion in which spectral Mackey functors of an absolute Galois group map to "spectral Gysin functors" (constructed from Garkusha-Panin-Voevodksy's theory of framed correspondences) which model motivic spectra. Second, they will study the eta-periodic motivic sphere spectrum via connective Witt K-theory. Third, they will explicate further structure in the Balmer spectrum of the stable motivic homotopy category via comodules over the Lazard Hopf algebroid. Fourth, they will construct equivariant infinite loop space machines which handle pairings of genuine G-permutative categories. And finally, they will study the homotopy theory of Picard 2-groupoids and stable 2-types, and the interaction between the two.