首页/论文/1908.09233

arXiv 1908.092332019-08-24math.AT

The Bracket in the Bar Spectral Sequence for an Iterated Loop Space

Xianglong Ni

英文摘要：

When $X$ is an associative H-space, the bar spectral sequence computes the homology of the delooping, $H_{*}(BX)$. If $X$ is an $n$-fold loop space for $n\geq2$ this is a spectral sequence of Hopf algebras. Using machinery by Sugawara and Clark, we show that the spectral sequence filtration respects the Browder bracket structure on $H_{*}(BX)$, and so it is moreover a spectral sequence of Poisson algebras. Through the bracket on the spectral sequence, we establish a connection between the degree $n-1$ bracket on $H_{*}(X)$ and the degree $n-2$ bracket on $H_{*}(BX)$. This generalizes a result of Browder and puts it in a computational context.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Iterated bar complexes and E_n-homology with coefficients

The first author proved in a previous paper that the n-fold bar construction for commutative algebras can be generalized to E_n-algebras, and that one can calculate E_n-homology with trivial coefficients via this iterated bar construction. We extend this result to E_n-homology and E_n-cohomology of a commutative algebra A with coefficients in a symmetric A-bimodule.

2015-02-19math.AT

Iterated bar complexes of E-infinity algebras and homology theories

We proved in a previous article that the bar complex of an E-infinity algebra inherits a natural E-infinity algebra structure. As a consequence, a well-defined iterated bar construction B^n(A) can be associated to any algebra over an E-infinity operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A. The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of E-infinity algebras. We use this effective definition to prove that the n-fold bar complex B^n(A) admits an extension to…

2010-03-31math.AT

Iterated suspensions are coalgebras over the little disks operad

We study the Eckmann-Hilton dual of the little disks algebra structure on iterated loop spaces: With the right definitions, every $n$-fold suspension is a coalgebra over the little $n$-disks operad. This structure induces non-trivial cooperations on the rational homotopy groups of an $n$-fold suspension. We describe the Eckmann-Hilton dual of the Browder bracket, which is a cooperation that forms an obstruction for an $n$-fold suspension to be an $(n+1)$-fold suspension, i.e. if this cooperation is non-zero then the space is not an $(n+1)$-fold suspension. We prove several results in equivaria…

2019-09-24math.AT

球面第24同伦群中的关系

Relations in the 24-th homotopy groups of spheres

Fukuoka University（福冈大学）；Shinshu University（信州大学）

本文证明了Toda括号⟨ν̄,σ,ν̄⟩和⟨ν,η,σ̄⟩非平凡，肯定了Mahowald猜想，并确定了π^6_{30}中ν̄_6ω_{14}和π^7_{31}中ν̄_7ω_{15}的关系。

2026-06-11math.AT

Relations in the 24-th homotopy groups of spheres

The main purpose of this note is to give a proof of the fact that the Toda brackets $<\barν,σ,\barν>$ and $<ν,η, \barσ>$ are not trivial. This is an affirmative answer of the second author's Conjecture (Determination of the $P$-image by Toda brackets, Geometry and Topology Monographs 13(2008), 355-383). The second purpose is to show the relation $\barν_7ω_{15}=ν_7σ_{10}κ_{17}$ in $π^7_{31}$.

2012-07-26math.AT

Modeling bundle-valued forms on the path space with a curved iterated integral

We introduce a new variant of Hochschild's two-sided bar construction for the setting of curved differential graded algebras. One can geometrically think of the classical bar complex as elements from the algebra positioned along different points in the closed interval $[0,1]$. In this paper, we start with a curved differential graded algebra and define a new ``zigzag algebra'' that, informally, consists of algebra elements arranged on a zigzag of intervals going back and forth between $0$ and $1$. We focus on two curved differential graded algebras: the de Rham algebra of differential forms wi…

2021-06-29math.AT

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

Homology of E_n Ring Spectra and Iterated THH

We describe an iterable construction of THH for an E_n ring spectrum. The reduced version is an iterable bar construction and its n-th iterate gives a model for the shifted cotangent complex at the augmentation, representing reduced topological Quillen homology of an augmented E_n algebra.

2010-12-30math.AT

Iterated integral and the loop product

In this article we discuss a relation between the string topology and differential forms based on the theory of Chen's iterated integrals and the cyclic bar complex.

2007-04-01math.ATmath.CA

Graded multiplications on iterated bar constructions

We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need to carefully examine the monoidal properties of the well-known (reduced) simplicial bar construction $B_\bullet(1,A,1)$. We define a geometric realization $|-|$ with respect to the image under $F$ of the canonical cosimplicial simplicial set. This guarantees good monoidal properties of $|-|$: it is monoidal, and given a left adjoint monoidal functor $G:\math…

2017-09-20math.ATmath.CT

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction. We apply our construction to cochain complexes of topol…

2009-08-07math.AT

奇数素数下 $\mathbb{F}_p$ 的迭代拓扑 Hochschild 同调

Iterated Topological Hochschild Homology of $\mathbb{F}_p$ at odd primes

Nankai University（南开大学）

本文计算奇数素数下 $\mathbb{F}_p$ 的迭代拓扑 Hochschild 同调的同伦群，通过 bar 谱序列证明其在 $E^2$ 页坍缩，并确定环结构。

2026-10-06math.AT

On the equivalence between $Θ_{n}$-spaces and iterated Segal spaces

We give a new proof of the equivalence between two of the main models for $(\infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $Θ_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the $\infty$-category of $n$-globular spaces. The proof works for a broad class of $\infty$-categories that includes all $\infty$-topoi.

2020-10-31math.ATmath.CT

单位operad、幺半群、单子与bar构造

Unital operads, monoids, monads, and bar constructions

本文将单位operad刻画为单位Λ-序列幺半范畴中的幺半群，从而统一了迭代环路空间理论与分解同调中的单子bar构造和经典幺半bar构造，并深化了对扫描映射的理解。

2024-11-25math.AT

Equivariant iterated loop space theory and permutative G-categories

We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition principle for infinite loop G-spaces. We then explain what genuine permutative G-categories are and, more generally, what E_{\infty} G-categories are, giving examples showing how they arise. As an application, we prove the equivariant Barratt-Priddy-Quillen theorem as a statement about genuine G-spectra and use it to give a new, categorical, proof of the tom Dieck …

2017-03-24math.ATmath.CT

Higher Hochschild cohomology, Brane topology and centralizers of $E_n$-algebra maps

We use factorization homology and higher Hochschild (co)chains to study various problems in algebraic topology and homotopical algebra, notably brane topology, centralizers of $E_n$-algebras maps and iterated bar constructions. In particular, we obtain an $E_{n+1}$-algebra model on the shifted integral chains of the mapping space of the n-sphere into an orientable closed manifold $M$. We construct and use $E_\infty$-Poincaré duality to identify higher Hochschild cochains, modeled over the $n$-sphere, with the chains on the above mapping space, and then relate Hochschild cochains to the deforma…

2014-04-17math.ATmath.QA