首页/论文/1104.4523

arXiv 1104.45232011-04math.AT

Kervaire Invariant One [M. A. Hill，M. J. Hopkins和D. C. Ravenel]

Kervaire Invariant One [after M. A. Hill, M. J. Hopkins, and D. C. Ravenel]

Haynes Miller

备注：: This is a the submitted Seminaire Bourbaki report. 30 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

问题时的Kervaire不变量是非平凡的是唯一的问题留下未解决的Kervaire和米尔诺在1963年的研究之间的关系群体的同伦球面和稳定同伦群。2009年，迈克·希尔（Mike Hill）、迈克·霍普金斯（Mike Hopkins）和道格·拉文埃尔（Doug Ravenel）通过一个高度创新的攻击解决了这个问题，除了一维之外，这个攻击使用了大量的等变稳定同伦理论和少量的计算。本文件是布尔巴基研讨会关于这项工作的报告。

英文摘要：

The question of when the Kervaire invariant is nontrivial was the only question left unresolved by Kervaire and Milnor in their 1963 study of the relationship between groups of homotopy spheres and stable homotopy groups. In 2009, Mike Hill, Mike Hopkins, and Doug Ravenel resolved this question except in one dimension, by a highly innovative attack using large amounts of equivariant stable homotopy theory and small amounts of computation. The present paper is a Seminaire Bourbaki report on this work.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

球面稳定同调群的几何方法 II；阿夫-凯瓦里不变量

Geometric approach to stable homotopy groups of spheres II; Arf-Kervaire Invariants

本文通过几何方法解决球面稳定同调群中的凯瓦里不变量问题，引入了新的对称结构并证明了相关定理。

2025-12-16math.AT

关于Hopkins色分裂猜想的注记

A remark on Hopkins' chromatic splitting conjecture

Ravenel证明了球谱的$K$理论定域$L_K S^0$在-2维上有$\mathbb{Q}/\mathbb{Z}$作为同伦群的显著事实。迈克·霍普金斯的色分裂猜想更普遍地暗示了在$S^0$的$E(n)$ -局部化的同伦群中存在$(\mathbb{Q}/\mathbb{Z})_p$的$3^{n-1}$拷贝;但是这些拷贝出现的地方可能会令人困惑。我们在这里试图简化这种簿记。

2015-03-29math.AT

迈向 $p=3$ Kervaire 不变量问题：计算 $π_*({E_6}^{hC_9})$ 的同伦不动点谱序列的 $E_2$-页

Towards the $p=3$ Kervaire Invariant Problem: The $E_2$-page for the homotopy fixed points spectral sequence computing $π_*({E_6}^{hC_9})$

针对 $p=3$ 的 Kervaire 不变量问题，本文证明了相关检测定理，并利用 $E_6$ 上 $C_9$ 作用的猜想形式，计算了 $π_* E_6^{hC_9}$ 同伦不动点谱序列在非零同调度处的 $E_2$ 页。

2025-07-14math.AT

关于最后一个Kervaire不变量问题

On the Last Kervaire Invariant Problem

本研究证明$h_6^2$是Adams谱序列的永久循环，确立126维具Kervaire不变量1的光滑配边流形的存在性，解决Kervaire不变量问题的最后情形，结合已有定理明确该类流形仅存在于6个特定维度。

2025-02-22math.ATmath.DGmath.GT

对角作用下C_p的好群积扩张的Moravak（s）^* -环

Morava k(s)^* -rings of the extensions of C_p by the products of good groups under diagonal action

本文给出了Hopkins-Kuhn-Ravenel意义下的好群的一个定理及相关的例子。

2014-12-06math.AT

拓扑Hermitian余论

Topological Hermitian Cobordism

扩展我们的方法调查真正的协边（这是最近使用的希尔，霍普金斯和Ravenel在他们的解决方案的Kervaire不变1问题），我们调查的$RO(G)$ -分次同伦群的（不完全）$\Z/2\times \Z/2$ -等变谱称为拓扑厄米特协边。本文的方法对于计算其它的$G$ -等变谱的同伦群也是有用的，其中$G\neq \Z/2$。

2011-10-25math.AT

更多相关论文收起更多论文

HKR character理论简介

An introduction to HKR character theory

Hopkins、Kuhn和Ravenel的广义特征标理论是研究Morava E-理论和色同伦理论中更高高度现象的重要工具。在本文中，我们提供了一个介绍HKR字符理论的许多例子，应用程序和替代的观点。

2013-08-06math.AT

远离群序的真正等变交换环谱模型

A model for genuine equivariant commutative ring spectra away from the group order

我们利用几何不动点来描述真等变交换环谱的同伦理论。主要的创新是使用额外的结构所提供的希尔-霍普金斯-Ravenel规范的形式额外的规范地图上的几何不动点图，这原来是计算管理。

2019-05-29math.AT

球面稳定同伦群的几何方法。I.霍普夫不变量

Geometric approach to stable homotopy groups of spheres. I. The Hopf invariant

基于Pontryagin-Thom构造，给出了球面的稳定同伦群的一种几何方法.这种方法的任务是获得另一种证明的希尔-霍普金斯-拉弗内尔定理[H-H-R]的Kervaire不变量在所有方面，除了可能的，有限数量的维度。在这种方法的框架下，亚当斯定理的霍普夫不变量进行了研究，为所有的尺寸与例外的15，31，63，127。该方法基于几何拓扑方法。

2014-04-11math.AT

Ravenel谱拓扑霍赫希尔德同调的Segal猜想

The Segal Conjecture for topological Hochschild homology of the Ravenel spectra

在20世纪80年代，Ravenel引入了谱序列$X(n)$和$T(n)$，它们在Devinatz-Hopkins-Smith的零阶定理的证明中发挥了重要作用。本文解决了$X(n)$的拓扑霍赫希尔德同调的同伦极限问题，它是素数阶循环群的Segal猜想的推广.这一结果是第一步计算代数K理论的$X(n)$使用跟踪方法，它近似的代数K理论的球谱在精确的意义。在同伦交换环谱的正则映射$T(n)\to BP$可刚性化为$E_2$环谱的映射的前提下，解决了$T(n)$的拓扑霍赫希尔德同调的同伦极限问题.我们表明，我们的假设举行的障碍，可以描述在一个明确的类Atiyah-Hirzebruch谱序列。

2021-01-03math.ATmath.KT

稳定同伦理论中的厚子范畴

Thick subcategories in stable homotopy theory

在这些讲座中，我们给出了一个阐述的开创性工作的Devinatz，霍普金斯和史密斯这是周围的分类厚子类别的有限谱稳定同伦理论。讲座是暂时的，主要针对非同伦理论家。首先介绍谱的稳定同伦范畴，然后讨论著名的厚子范畴定理，并讨论它在Bousfield格结构中的一些应用。我们在这里讨论的大多数结果都是由Ravenel \cite{rav}证明的，并由Devinatz、Hopkins和Smith在\cite{dhs, hs}中证明。

2006-07-10math.AT

通过Gross-Hopkins对偶性研究奇异Picard群与色消失现象

Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality

本文利用Gross-Hopkins对偶性研究奇异K(h)-局部Picard群与色消失猜想，证明高度3素数5下奇异元素不可被V(1)检测、同调消失猜想在I_{h-1}模下成立且κₕ为零，为κ₃消失证明奠基。

2023-09-30math.AT

Lubin-Tate理论、character理论和幂运算

Lubin-Tate theory, character theory, and power operations

本文围绕Morava的E-理论，介绍了色同伦理论中的几个观点。特别地，我们构造了与Lubin-Tate形变理论密切相关的各种模量问题，并研究了它们的对称性。这些对称性，然后结合Hopkins-Kuhn-Ravenel特征标理论，提供公式的幂运算和稳定器群作用的E-上同调的有限群。

2018-10-29math.AT

等变切片谱序列中的跨色现象

Transchromatic phenomena in the equivariant slice spectral sequence

该研究证明 Hill–Hopkins–Ravenel 与 Lubin–Tate 理论中的跨色现象，建立不同高度理论的等变切片谱序列联系，并推出周期性与消失线结论。

2024-03-01math.AT

有限一般线性群的Morava E-理论

The Morava E-theories of finite general linear groups

通过研究某个无限$p$ -群的表示论，并利用Hopkins，Kuhn和Ravenel的广义特征，我们找到了理解有限域上一般线性群的分类空间的有理$E$ -理论的有用途径.利用形式群定律的理论，我们在Tanabe的相关工作的基础上，完整地建立了更精细的结果。特别是，我们详细研究的情况下，该组的维数小于或等于总理$p$的$E$理论是本地化的。

2010-01-12math.AT

等变稳定同伦理论中紧李群的范数

Norms for compact Lie groups in equivariant stable homotopy theory

在正维紧李群$G$和闭子群$H$的背景下，我们提出了Hill-Hopkins-Ravenel相对范数$N_{H}^{G}$的一个类似物的构造.我们探讨了结构的预期特性。我们证明了当$G$是循环群（单位复数）时，本文提出的构造与Angeltveit，Gerhardt，Lawson和作者利用循环棒构造的相对范数是一致的.我们的建设是基于一个新的视角等变分解同源性，使用框架转换从一个组的行动到另一个。

2022-12-21math.AT

HKR字符和更高的扭曲扇区

HKR characters and higher twisted sectors

这是一篇简短的谈话的总结。它的目的是作为一个介绍工作的霍普金斯，库恩，和拉文埃尔对广义群字符，这似乎非常符合理论的物理学家所谓的更高扭曲部门的理论orbifolds。

2004-05-26math-phmath.ATmath.MP

四元数实 bordism 的零切片

The Zero Slice of Quaternionic Real Bordism

University of Kentucky（肯塔基大学）

本文利用 Hill-Hopkins-Ravenel 规范计算四元群作用下的实 bordism 谱，确定其零切片及相应的大格子子环。

2026-05-02math.AT

自由性与等变稳定同伦

Freeness and equivariant stable homotopy

我们引入一个自由度的概念，$RO$ -分次等变广义同调论，考虑空间或频谱$E$，使$R$ -同调的$E$分裂作为一个楔子的$R$ -同调的诱导虚表示领域。这些谱的满子范畴在所有的基本等变运算下都是封闭的，这大大简化了计算。光谱和同调论的许多例子都包括在沿途。我们完善这一收集的光谱类似的纯和各向同性的光谱考虑希尔-霍普金斯-拉文埃尔。对于这些谱，$RO$ -分次Bredon同调是非常容易计算的，如果这些空间有额外的结构，那么这也可以很容易地确定。特别地，具有这种性质的空间的同调自然具有余坦巴拉函子的结构（并且与任何附加的乘积结构相容）。我们在$BU_{\mathbb R}$及其共诱导版本的例子中解决了这个问题。我们完成了描述一个容易计算的酒吧和扭曲的酒吧谱序列，给Bredon的同源性为各种$E_{\infty}$推出，我们应用这一点来描述的同源性$BBU_{\mathbb R}$。

2022-02-01math.AT

类$h_j^3$上的Adams微分

The Adams differentials on the classes $h_j^3$

本文在Adams过滤3中证明了类$h_j^3$（$j \geq 6$）上存在无穷多个非平凡$d_4$-微分，证实Mahowald猜想，并利用$\mathbb{C}$-motivic与$\mathbb{F}_2$-合成同伦理论，同时确定了$h_j^2$和$h_6^2$的存活页。

2024-11-09math.AT

等变稳定同伦理论中的周期现象

Periodic phenomena in equivariant stable homotopy theory

本文基于前人研究，构建了有限阿贝尔 p-群上的 A-等变色同伦理论框架，引入了 v_n-自映射与色塔的等变类比，并在 A = C_2 情况下将其与 Mahowald 不变量中的红移现象相联系。

2025-05-04math.AT

不稳定Hurewicz同态象的过滤有限性及其在浸入边数中的应用

Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions

在最近的工作希尔，霍普金斯，和Ravenel对Kervaire不变的一个问题，以及亚当斯的解决方案的霍普夫不变的一个问题，一个直接的后果柯蒂斯猜想是，集的球面类在$H_*Q_0S^0$是有限的。同样，埃克尔斯猜想，当专门用于$X=S^n$与$n>0$，连同亚当斯的霍普夫不变一定理，意味着集的球形类在$H_*QS^n$是有限的。我们证明了上述有限性性质的过滤版本。我们表明，如果$X$是一个任意的$CW$ -复杂的$H_*X$是有限维的，那么图像的组合${_2π_*}Ω^lΣ^{l+2}X\to{_2π_*}QΣ^2X\to H_*QΣ^2X$是有限的，有限性仍然有效，如果我们正式取代$X$与$S^{-1}$。作为一个直接和有趣的应用，我们观察到，对于任何紧李群$G$与$\dim\mathfrak{g}>1$和任何$n>0$的图像的组成${_2π_*}QΣ^{\dim\mathfrak{g}}BG_+^{[n]}\to{_2π_*}QΣ^{\dim\mathfrak{g}}BG_+\to {_2π_*}Q_0S^0\to H_*Q_0S^0$是有限的，其中$Σ^{\dim\mathfrak{g}}BG_+\to S^0$是一个适当扭曲的转移映射。接下来，我们考虑Koschorke和Sanderson的工作，其中使用P-Pontrjagin构造提供了$1$ - $1$对应（如果$m+d>…

2018-01-03math.AT