首页/论文/1402.4775

arXiv 1402.47752014-02math.AT

结构环谱的高阶同伦切除与Blakers-Massey定理

Higher homotopy excision and Blakers-Massey theorems for structured ring spectra

Michael Ching, John E. Harper

备注：: To appear in Advances in Mathematics. Final journal version

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在对称谱的背景下，我们证明了交换环谱上的模范畴中运算上的代数和左模的高阶同伦切除定理和高阶Blakers-Massey定理，以及它们的等价性（例如，结构环光谱）。

英文摘要：

Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra).

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

$n$ -立方体上Blakers-Massey定理的纯同伦证明

A purely homotopy theoretic proof of the Blakers-Massey Theorem for $n$-cubes

Goodwillie对$n$ -立方体的Blakers-Massey定理的证明依赖于一个引理，其证明调用了横截性。他的其余证明如下一般事实立方体的空间和连通性的地图。我们提出了一个纯粹的同伦理论证明这个引理。该方法是基本的，使用的推广和修改的一个参数最初由于Puppe用来证明布莱克-梅西定理的平方。

2014-04-07math.AT

等变 Blakers–Massey 定理

An isovariant Blakers--Massey theorem

本文针对有限群 G，为等变稳定同伦理论奠基，证明等变 Blakers–Massey 定理及其 n-立方体推广，定义等变悬挂概念并证明等变 Freudenthal 悬挂定理。

2026-08-04math.AT

一个推广的Blakers-Massey定理

A Generalized Blakers-Massey Theorem

我们证明了一个推广的经典连通性定理的Blakers-Massey，有效的在任意高拓扑和相对于一个任意的模态，即一个因子分解系统（L，R），其中的左类是稳定的基础变化。我们解释如何重新推导经典的结果，以及最近的推广Chachólski-Scherer-Werndli。我们的证明受到同伦类型论中的启发。

2020-08-23math.ATmath.CT

同伦类型论中Blakers-Massey连通性定理的机械化

A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

本文继续调查“合成同伦理论”：使用同伦类型论给机器检查证明的建设从同伦理论我们提出了一个机械化的证明的布莱克斯-梅西连通性定理，一个结果有关高维同伦群的推出型（粗略地说，一个空间构造的两个空间沿一个共享子空间）的组件推出。这个定理给出了关于推出型的重要信息，并有许多有用的推论，包括弗赖登塔尔悬置定理，它在以前的形式化中已经研究过。新的证明比现有的抽象同伦理论设置更基本，机械化是简洁和高层次的，这要归功于同伦理论和类型论思想的新颖组合。

2016-05-10cs.LOmath.AT

空间的等变图

Equivariant diagrams of spaces

对于离散群G，我们将同伦理论的两个经典结果Blakers-Massey定理和Quillen定理B推广到空间的G-等变立体图上。证明了等变置换表示的Freudenthal悬置定理是等变Blakers-Massey定理的直接结果。我们还应用这个定理将嵌入演算中关于构形空间立方的一个结果推广到G-流形上。我们的证明等变定理B涉及到推广的经典定理B高维立方体，以及分类空间的范畴模型的有限同伦极限。

2015-02-19math.AT

同伦切除与细胞性

Homotopy excision and cellularity

考虑空间C <-- A --> B的推出图，构造出忽略始对象A得到的图的同伦推出，然后构造同伦拉回。我们比较A和这个同伦拉回之间的差异。这种差异是衡量的同伦纤维的原始地图。限制我们的注意力，这些地图的连通性，我们恢复经典的Blakers-Massey定理。

2016-03-10math.AT

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

同调空间的同伦与同调

Homotopy and homology of fibred spaces

我们研究了结构范畴$\V$中的纤维空间，证明了胞腔逼近、Blakers-Massey定理、Whitehead定理、阻塞理论、Hurewicz同态、Wall有限阻塞和Whitehead挠定理对纤维空间成立.为此，我们引入了上同调的空间。

2002-08-23math.AT

积分同调群的配置空间线性稳定范围

Linear stable ranges for integral homotopy groups of configuration spaces

Université Sorbonne Paris Nord（索邦巴黎北大学）；Laboratoire Analyse, Géométrie et Applications, CNRS (UMR 7539)（分析与几何应用实验室，法国国家科学研究中心）

研究通过同调方法证明配置空间的FI模块线性稳定范围，利用广义Blakers-Massey定理推导表示稳定性结果，并推广到FI_G模块和轨道配置空间。

2026-03-20math.AT

合成同伦理论

Synthetic Homotopy Theory

本论文基于同伦类型论（HoTT）系统阐述合成同伦理论，通过合成构造 Hopf 纤维化、证明 Blakers--Massey 定理、推导 Freudenthal 悬挂定理并计算 $n$-球面的部分同伦群，为代数拓扑研究提供了新的形式化方法。

2024-09-24math.ATmath.LO

函子的Goodwillie演算与高等拓扑理论

Goodwillie's Calculus of Functors and Higher Topos Theory

我们开发了一种方法Goodwillie的演算函子使用的技术，更高的拓扑理论。我们的方法的核心是引入纤维正交的概念，加强普通的正交性，使我们能够给一些有用的刻画类的$n$ -explicve地图。我们使用这些结果来证明$P_n$ -等价与$P_m$ -等价的推出乘积是$P_{m+n+1}$ -等价。然后，建立在我们以前的工作，我们证明了Blakers-Massey型定理的古德威利塔。我们展示了如何使用由此产生的技术来重新推导一些基本定理的主题，如去环的齐次函子。

2018-09-08math.ATmath.CT