首页/论文/0812.1829

arXiv 0812.18292008-12-10math.AT

函数空间中的Whitehead积：Quillen模型公式

Whitehead products in function spaces: Quillen model formulae

Gregory Lupton, Samuel Bruce Smith

备注：: 24 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

研究了函数空间的一般分支的有理同伦群中的Whitehead积。对于任意基映射f：X \to Y的分量，在基或自由函数空间中，我们的主要结果直接用f的Quillen极小模型表示Whitehead积.这些结果遵循从一个纯粹的代数发展的设置链复形的微分分次李代数，这是感兴趣的在其本身的权利。我们应用这些结果研究了函数空间分支的Whitehead长度。

英文摘要：

We study Whitehead products in the rational homotopy groups of a general component of a function space. For the component of any based map f: X \to Y, in either the based or free function space, our main results express the Whitehead product directly in terms of the Quillen minimal model of f. These results follow from a purely algebraic development in the setting of chain complexes of derivations of differential graded Lie algebras, which is of interest in its own right. We apply the results to study the Whitehead length of function space components.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Quillen定理A和双范畴的Whitehead定理

Quillen's Theorem A and the Whitehead theorem for bicategories

我们证明了Quillen定理A的一个双范畴类似物。作为一个应用，我们推导出著名的结果，伪函子是一个双等价的当且仅当它是本质满射的对象，本质上充满1细胞，并完全忠实于2细胞。

2019-10-02math.ATmath.CT

以较高的Whitehead括号表示的形式标准

Formality criteria in terms of higher Whitehead brackets

给出了微分分次李代数在高阶Whitehead括号中的形式性的两个判定准则，高阶Whitehead括号是微分分次结合代数的Massey积的李类比.我们还证明了微分分次李代数的形式不等价于Quillen谱序列的坍缩。最后，我们利用$L_\infty$代数和Quillen的有理同伦理论，恢复和改进了Sullivan极小模型中高阶Whitehead积的一个经典判定定理，并给出了一些应用.

2019-02-08math.AT

有理映射空间中的Whitehead积模型

A model for the Whitehead product in rational mapping spaces

本文利用André-Quillen上同调刻画了映射空间的连通分支的有理同伦群中的Whitehead积.作为结果，给出了映射空间的Whitehead长度的上界。

2011-06-21math.AT

同伦亲幂零结构环谱与拓扑Quillen局部化

Homotopy pro-nilpotent structured ring spectra and topological Quillen localization

本文的目的是证明同伦亲幂零结构环谱是TQ-局部的，其中结构环谱被描述为谱算子O上的代数。这里，TQ是拓扑Quillen同调的缩写，它弱等价于O-代数稳定化。一个O-代数称为同伦pro-nilpotent，如果它等价于幂零O-代数的一个极限。我们的结果为Francis-Gaisgory关于一般算子的Koszul对偶的猜想提供了新的积极证据。作为应用，我们同时将已知的0-连通和幂零TQ-Whitehead定理推广到同伦亲幂零TQ-Whitehead定理。

2022-09-16math.AT

J.H.C. Whitehead猜想的rational与p-adic类比

Rational and $p$-adic analogs of J.H.C. Whitehead's conjecture

本文证明了零特征域上非球面prounipotent表示及非球面pro-p-表示的子表示均保持非球面性，从而给出了J.H.C. Whitehead猜想的rational与p-adic类比的肯定回答。

2021-09-16math.AT

Bousfield-Kuhn函子与拓扑Andre-Quillen上同调

The Bousfield-Kuhn functor and Topological Andre-Quillen cohomology

我们构造了一个从空间上的Bousfield-Kuhn函子到空间的K（n）-局部Spanier-Whitehead对偶的拓扑Andre-Quillen上同调的自然变换，并证明了在空间是球面的情况下该映射是等价的.这导致了一种方法来计算不稳定的v_n-周期同伦群的领域从他们的Morava E-上同调（模上的Dyer-Lashof代数的Morava E-理论）。我们将由此产生的代数计算的代数几何的同构之间的Lubin-Tate形式群。

2019-12-15math.AT

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

结构环谱的同伦完备化和拓扑Quillen同调

Homotopy completion and topological Quillen homology of structured ring spectra

在对称谱的背景下，我们描述和研究了交换环谱上的模范畴中运算上的代数和左模的同伦完备塔（例如，结构环光谱）。证明了一个强收敛定理，即对于0-连通代数和（-1）-连通算子上的模，同伦完备塔在拓扑Quillen同调和单位函子之间具有强插值性.通过系统地利用强收敛性，我们证明了几个关于代数和算子上模的拓扑Quillen同调的定理。这些包括一个定理有关有限性质的拓扑奎伦同调群和同伦群，可以被认为是一个谱代数模拟塞尔的有限性定理的空间和H. R。单纯交换环的Miller有界性结果（但形式相反）.我们还证明了绝对和相对Hurewicz定理和相应的Whitehead定理拓扑Quillen同调。此外，我们证明了一个刚性定理，我们用它来描述完成拓扑Quillen同调（或TQ-完成）。TQ-完备化构造可以被认为是沙利文空间的局部化和完备化、Bousfield-Kan空间关于同调的完备化、Carlsson和Arone-Kankaanrinta空间关于稳定同伦的完备化和空间的局部化的谱代数类似。我们证明了无界链复形中算子上的代数和左模的类似结果。

2013-02-06math.AT

奇正则素数点的光滑Whitehead谱

The smooth Whitehead spectrum of a point at odd regular primes

设p是奇正则素数，并假设对K（Z[1/p]）在p处Lichtenbaum-Quillen猜想成立，则刻画了光滑Whitehead谱Wh（*）的p-准素同伦型. J的cokernel-of-J谱的一个悬置拷贝分裂，剩余部分的挠同伦等于限制的S^1-转移映射t：SigmaCP^infty--> S的纤维的挠同伦。Wh（*）的同伦群是在一定的次数范围内确定的，并且Wh（*）的上同调被表示为在所有次数上的A-模，直到一个扩张。这些结果具有几何拓扑的解释，在空间的协调或同胚的高度连通，高维紧凑的光滑流形。

2003-04-24math.ATmath.GT

关于模型范畴的等变同伦理论

On equivariant homotopy theory for model categories

我们介绍和比较两种方法，等变同伦理论的拓扑或普通的奎伦模型类别。对于空间的拓扑模型范畴，我们推广了Piacenza的结果：由固定拓扑群$G$的轨道范畴和$G$ -空间范畴所标的拓扑预层范畴可以被赋予Quillen等价模型范畴结构.在一定的条件下，对任意协纤维生成的模型范畴和离散群$G$，在$G$的子群的不动点函子上证明了一个类似的结果.这些条件在许多例子中成立，虽然不是在链复形的范畴中，但我们仍然建立并推广到集合的等变Whitehead定理la Kropholler和Wall对于单纯$G$ -集的规范化链复形。

2016-02-16math.AT

对偶与小函子

Duality and small functors

小函子同伦理论是研究同伦理论中各种问题的一个有用工具。本文将小函子的同伦理论从谱发展到谱，并研究了它与Spanier-Whitehead对偶的相互作用以及在谱的对偶范畴中的丰富表示性.我们注意到Spanier-Whitehead对偶函子$D\colon \mathrm{Sp}\rightarrow \mathrm{Sp}^{\mathrm{op}}$通过小函子范畴从谱分解到谱，并在小函子范畴上构造了一个新的模型结构，它是Quillen与$\mathrm{Sp}^{\mathrm{op}}$的等价.在这个新的Spanier-Whitehead对偶框架中，$\mathrm{Sp}$和$\mathrm{Sp}^{\mathrm{op}}$是小函子范畴的满子范畴，对偶化在我们的新模型结构中只是一个简单的替换.

2014-12-22math.ATmath.CT

对偶性和前光谱

Duality and Pro-Spectra

共过滤图的光谱，也称为亲光谱，已经出现在不同的领域，迄今已被处理在一个特设的方式。本文的目的是系统地发展一个前谱同伦理论，并研究它与通常的谱同伦理论的关系，作为未来应用的基础。令人惊讶的结果是，我们的同伦理论的亲谱是Quillen等价的同伦理论的谱。这为所有光谱提供了一个方便的对偶理论，扩展了经典的Spanier-Whitehead对偶概念，它只适用于有限光谱。粗略地说，新的对偶函子需要一个谱到它的有限子复形的Spanier-Whitehead图的共滤图。在另一个方向上，对偶函子将谱的协滤图取为图中谱的Spanier-Whitehead图的滤余极限。我们证明了同伦理论的等价性，表明两者都是等价的ind-spectra（过滤图的频谱）的类别。为了构造我们的新同伦理论，我们证明了一个一般存在定理的共定位模型结构推广已知的结果cofibrantly生成的模型类别。

2004-10-07math.AT

分层同伦理论

Stratified Homotopy Theory

一个分层空间是一个拓扑空间连同对应于不同类型奇点的分层分解。这种空间的例子在拓扑学和几何学中随处可见。分层空间的研究涉及不变量，如交上同调，这是唯一的分层保持同伦下的不变量。本文主要研究分层空间关于这些分层同伦的同伦理论。要做到这一点，我们构造模型类别分层空间，我们引入新的不变量来表征他们，过滤同伦群。一个分层空间可以被看作是一个拓扑空间$X$以及一个到层偏序集$X\to P$的连续映射。我们开始我们的研究，限制自己的过滤情况下，其中的偏序集的阶层是固定的。定义了滤单纯集的模型范畴，证明了它有一个“à la Kan”的描述，并利用滤同伦群刻画了它的弱等价性.我们推导出过滤版本的Whitehead定理的证明。然后，我们构造了一个过滤空间的模型范畴。它的弱等价是在所有滤同伦群上诱导同构的态射，它的纤维化满足Serre提升条件的滤版本。我们表明，它是Quillen等价的一类图的单纯集。然后，我们对过滤单纯集和过滤空间的模型类别之间的比较。它们由Quillen-附加词连接，类似于经典的Kan-Quillen附加词。我们猜想它实际上是一个Quillen等价。最后，与奎伦双纤维化的概念，我们表明，有模型范畴的分层空间和分层单纯集。我们表明，这两个是相关的附加保持弱等价。

2019-08-04math.AT

李余代数与有理同伦理论II：Hopf不变量

Lie coalgebras and rational homotopy theory II: Hopf invariants

我们给出了一个新的解决方案的“同伦时期”的问题，突出沙利文，其中明确的几何意义的公式首先追溯到怀特海的背景下，奎伦的形式主义的理性同伦理论和Koszul-Moore对偶。从几何角度来看，我们证明了同伦群是由上链数据的“广义连接/相交不变量”合理给出的。此外，我们给出了一个方法来确定当两个映射从$S^n$到$X$同伦后，允许乘以某个整数。作为应用，我们研究了球楔和齐性空间（其中同伦由经典的环绕数给出），以及构形空间（其中同伦由广义的环绕数给出），并提出了一个推广的Hopf不变量问题.

2011-05-23math.AT

基映射空间的有理分裂

A rational splitting of a based mapping space

设F_*（X，Y）是从连通有限CW复形X到连通空间Y的保基点映射空间。考虑一个CW复形X cup_{alpha} e^{k+1}和一个空间Y，其连通度超过了其伴随空间的维数。利用基映射空间的Quillen-Sullivan混合型模型，证明了：若附着映射α：S^k --> X的括号长度大于Y的Whitehead长度WL（Y），则F *（X cup_{alpha} e^{k+1}，Y）具有积空间F *（X，Y）乘以Omega^{k+1}Y的有理同伦型.这一结果表明，如果构成有限CW复形X的所有附着映射的括号长度都大于WL（Y），且Y的连通度大于或等于dim X，则映射空间F_*（X，Y）可有理分解为迭代闭路空间的乘积.

2009-02-27math.AT

有限复形生成的拓扑模型范畴

Topological model categories generated by finite complexes

我们的主要结果是：对每个有限复形L，拓扑空间的范畴${\bf TOP}$具有一个模型范畴结构（在Quillen意义下），其弱等价恰好是诱导所有[L]-同伦群同构的映射. [L]-同伦的概念早些时候已经介绍了第一作者，是基于Dranishnikov的概念的扩展维度。作为推论，我们得到了[L]-复形之间的[L]-同伦等价的代数刻画.这个结果推广了J. H. C.怀特黑德其中之一--将CW-复形之间的同伦等价描述为诱导所有同伦群同构的映射--是通过令$L = \{{\rm point}\}$得到的。另一种是通过令$L = S^{n+1}$，$n \geq 0$，把至多$(n+1)$维CW-复形之间的n-同伦等价刻画为诱导k-维同伦群与$k \leq n$同构的映射.

2002-07-31math.ATmath.CT

具有相同同伦李代数的有理同伦型的模空间

A Moduli Space for Rational Homotopy Types with the Same Homotopy Lie Algebra

自从奎伦证明了他著名的等价同伦范畴在1969年，大量的工作已经做了分类的理性同伦类型的简单连接拓扑的地方。这项工作的大部分集中在具有相同上同调代数的有理同伦类型上。在这种情况下，模型是微分分次代数，并采取类似的微分形式。然后，这些模型与一些变形理论一起被用来描述一个模空间的所有合理的同伦类型与给定的上同调代数。事实上，这一理论已经发展得很好。然而，还有另一种情况需要考虑。即具有相同同伦李代数（相同的同伦群和Whitehead积结构）的有理同伦类型的集合。可以说，这种情况更接近同伦理论的核心，因为它确定了同伦群本身以及它们如何相互作用。然而，李的情况下，受到较少的关注，是欠发达的上同调。本文的主要目的是完整地发展具有同伦李代数的单连通拓扑空间的有理同伦型理论。它将包括一些理论基础以及一些新的工作。通常，以前已知的结果将被简化，改写或重新证明，使它们与本文的结果直接相关。在文章的最后，我们将发展变形理论，并定义和证明具有固定同伦李代数的有理同伦类型的模空间。

2015-12-14math.AGmath.AT