Marcel Bokstedt, Iver Ottosen
We give a particular choice of the higher Eilenberg-MacLane maps by a recursive formula.This choice leads to a simple description of the homotopy operations for simplicial Z/2-algebras.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,α} to the Quillen DGL model for X. The operations lie in suitable cohomology groups H^*{L^{(k,α)}; π_* X\otimes Q} of these DGLs. To facilitate the recovery of an integral version of the operations from the rational description, we also define a differential graded non-associative algebra model for rational spaces.
The algebra of higher homotopy operations
本文阐述了如何复合与相互插入[BBS2]中定义的单纯高阶不稳定同伦运算，从而构建出一种连贯但复杂的代数结构。
In this paper we provide an explicit general construction of higher homotopy operations in model categories, which include classical examples such as (long) Toda brackets and (iterated) Massey products, but also cover unpointed operations not usually considered in this context. We show how such operations, thought of as obstructions to rectifying a homotopy-commutative diagram, can be defined in terms of a double induction, yielding intermediate obstructions as well.
The theory of secondary chomology operations leads to a conjecture concerning the algebra of higher cohomology operations in general. This conjecture is discussed here in detail and its connection with homotopy groups of spheres and the Adams spectral sequence is described.
We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.
We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and permutahedra) arise in this way.
We establish certain smash operations on spaces over operads which are general analogues of the Samelson product on single loop spaces, and obtain a conceptual description of the structure of the homotopy groups of spaces $Y$ over a symmetric $K(π,1)$ operad: $π_*Y$ is a module over the free algebraic symmetric operad generated by operations on homotopy groups induced by these smash operations. In particular the homotopy groups of double loop spaces is a module over the free algebraic symmetric operad generated by the conjugacy classes of Brunnian braids modulo the conjugation action of pure b…
We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of the generalized Whitehead product to these operations. We discuss two classes of binary operations, the Whitehead products and the Torsion products. We introduce a new class of operations called Ext operations and determine some of its properties. We compare the Torsion product to the Whitehead product in a special case. We prove that the smash product of tw…
The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy groups. First, we show how an H-space structure on X can be used to define the action of the primary homotopy operations on the shifted homotopy groups π_{*-1} X (which are isomorphic to π_* Y, if X=Ω\Y. This action will behave properly with respect to composition of operations if X is homotopy-associative, and will lift to a topological action of the monoi…
Building on the work of Martin Stolz, we develop the basics of equivariant stable homotopy theory starting from the simple idea that a G- spectrum should just be a spectrum with an action of G on it, in contrast to the usual approach in which the definition of a G-spectrum depends on a choice of universe.
The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one squares. As an application we obtain new derivations of the homotopy ring.
The homotopy groups of a space are endowed with homotopy operations which define the Π-algebra of the space. An Eilenberg-MacLane space is the realization of a Π-algebra concentrated in one degree. In this paper, we provide necessary and sufficient conditions for the realizability of a Π-algebra concentrated in two degrees. We then specialize to the stable case, and list infinite families of such Π-algebras that are not realizable.
We give an alternative to the stable classification of p-completed homotopy types of classifying spaces of finite groups offered by Martino-Priddy. For a finite group G with Sylow subgroup S, we regard the stable p-completed classifying space of G as an object under the stable p-completed classifying space of S via the canonical inclusion map. Thus we get a classification in terms of induced fusion systems. Applying Oliver's solution to the Martino-Priddy conjecture, we obtain the surprising result that the unstable p-completed homotopy type of BG is determined by the stable p-completed inclus…
There are two main approaches to the problem of realizing a $Π$-algebra (a graded group $Λ$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simplicial resolution $G_\bullet$ of $Λ$ by a simplicial space $W_\bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of André-Quillen cohomology classes in $H_{AQ}^{n+2}(Λ;Ω^{n}Λ)$ for $n \geq 1$ as obstructions to the existence of successive Postnikov sections for $W_\bullet$ by work of Dwyer, Kan and Stover. The se…
String topology operations under Chen's iterated integrals and homotopy transfer
为关联链级\(S^1\)等变弦拓扑与微扰陈 - 西蒙斯理论的构形空间积分建立分析基础，证明陈的迭代积分与同伦转移的复合交织同调上的对合李双代数结构。
We describe the first stem of the stable homotopy groups of spheres by using some Puppe sequences, Thom complexes, K-Theory and Adams operations following the ideas of J. Frank Adams. We also touch upon the second and the third stems in this perspective. Neither spectral squences nor Steenrod operations are used.
Stable Adams operations on $RO(C_2)$-graded homotopy groups
本文针对Atiyah实K理论的$C_2$谱$\boldsymbol{\text{KR}}$与带$Γ_1(3)$层结构的拓扑模形式$C_2$谱$\boldsymbol{\text{TMF}}_1(3)$，计算了其$RO(C_2)$分次同伦群上的$C_2$等变稳定Adams运算。
Bousfield recently gave a formula for the odd-primary v1-periodic homotopy groups of a finite H-space in terms of its K-theory and Adams operations. We apply Bousfield's theorem to give explicit determinations of the v1-periodic homotopy groups of (E8,5) and (E8,3), thus completing the determination of all odd-primary v1-periodic homotopy groups of compact simple Lie groups, a project suggested by Mimura in 1989. The method involves no homotopy theoretic input and no spectral sequences. The input is the second eexterior power operation in the representation ring of E8, which we determine using…
An Alternative to Homotopy Transfer for $A_\infty$-Algebras
本文利用微分分次模结构在第二个复形上构造新的$A_\infty$-代数，给出同伦转移的替代方案，并刻画其与转移代数拟同构或不等价的条件。
We construct a smash product operation on secondary homotopy groups yielding the structure of a lax symmetric monoidal functor. Applications on cup-one products, Toda brackets and Whitehead products are considered. In particular we prove a formula for the crossed effect of the cup-one product operation on unstable homotopy groups of spheres which was claimed by Barratt-Jones-Mahowald.
The higher structure of unstable homotopy groups
该研究构造了由单纯形范畴加标的不稳定高阶同伦运算，并证明球面楔同伦群元素可由 Whitehead 积、群结构及这些运算生成，从而强化了 Cohen 的稳定同伦分解定理。
The six operations in equivariant motivic homotopy theory
本文将母题同伦理论推广到商叠 [X/G] 的等变情形，证明纯度、粘合与双手性定理，并由此建立等变母题谱的六运算形式体系，进而得到绝对母题谱表示的上同调理论满足 cdh 下降。
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute with the contracting homotopy. To solve this problem, we develop the Koszul duality theory of operads in the category of modules over a cocommutative Hopf algebra. This gives rise to a simpler category of homotopy algebras and infinity-morphisms, which allows us to get a new description of the homotopy category of algebras over such operads. The main exampl…
Given a $C_\infty$ coalgebra $C_*$, a strict dg Hopf algebra $H_*$, and a twisting cochain $τ:C_* \rightarrow H_*$ such that $Im(τ) \subset Prim(H_*)$, we describe a procedure for obtaining an $A_\infty$ coalgebra on $C_* \otimes H_*$. This is an extension of Brown's work on twisted tensor products. We apply this procedure to obtain an $A_\infty$ coalgebra model of the chains on the free loop space $LM$ based on the $C_\infty$ coalgebra structure of $H_*(M)$ induced by the diagonal map $M \rightarrow M \times M$ and the Hopf algebra model of the based loop space given by $T(H_*(M)[-1])$. When …
We give a construction of the universal enveloping $A_\infty$ algebra of a given $L_\infty$ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore theorem, proposing a new $A_\infty$ model for simply connected rational homotopy types, and uncovering a relationship between the higher order rational Whitehead products in homotopy groups and the Pontryagin-Massey products in the rational loop space homology algebra.
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the notion of homotopy to Sobolev maps. This is required for applications to variational problems of mathematical physics.
Operations on spectral partition Lie algebras and TAQ cohomology
本文确定了谱分拆 Lie 代数同伦群上的所有自然运算及其关系，构造了一元运算和移位限制 Lie 代数结构，并由此推导出模 $p$ $\mathbb{S}$-线性 TAQ 上同调运算的结构。
This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Consequently, $C(*)$ is an algebraic model for integral homotopy types similar to Quillen's model of rational homotopy types. For finite CW complexes, our model is finitely generated. Our result implies …
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as Hochschild cohomology type invariants in contexts that are not necessarily linear or stable, and we argue that they are more appropriate to higher categorical contexts than the centers of their homotopy or derived categories. Among many other things, we present an obstruction theory for realizing elements in the centers of homotopy categories, and a Bousfield…
By exploring simplicial structure of pure virtual braid groups, we give new connections between the homotopy groups of the 3-sphere and the virtual braid groups that are related to the theory of Brunnian virtual braids. The group structure of VP_n with n > 4 is determined by VP_3, VP_4 and virtual cablings given by iterated degeneracy operations on the generators and defining relations. The complete proofs will be published in the two forthcoming papers.
We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a certain crossed interval extension of an operad T whose homotopy type is known. This completes the investigation of the algebraic structure on the Hochschild cochain complex that has lasted for several decades.
Primary cohomology operations, i.e., elements of the Steenrod algebra, are given by homotopy classes of maps between Eilenberg--MacLane spectra. Such maps (before taking homotopy classes) form the topological version of the Steenrod algebra. Composition of such maps is strictly linear in one variable and linear up to coherent homotopy in the other variable. To describe this structure, we introduce a hierarchy of higher distributivity laws, and prove that the topological Steenrod algebra satisfies all of them. We show that the higher distributivity laws are homotopy invariant in a suitable sens…
For a space X, we define Frobenius and Verschiebung operations on the nil-terms NA^{fd} (X) in the algebraic K-theory of spaces, in three different ways. Two applications are included. Firstly, we obtain that the homotopy groups of NA^{fd} (X) are either trivial or not finitely generated as abelian groups. Secondly, the Verschiebung defines a Z[N_x]-module structure on the homotopy groups of NA^{fd} (X), with N_x the multiplicative monoid. We also we give a calculation of the homotopy groups of the nil-terms NA^{fd} (*) after p-completion for an odd prime p as Z_p[N_x]-modules up to dimension …
A $p$-local compact group is an algebraic object modelled on the homotopy theory associated with $p$-completed classifying spaces of compact Lie groups and p-compact groups. In particular $p$-local compact groups give a unified framework in which one may study $p$-completed classifying spaces from an algebraic and homotopy theoretic point of view. Like connected compact Lie groups and p-compact groups, $p$-local compact groups admit unstable Adams operations - self equivalences that are characterised by their cohomological effect. Unstable Adams operations on $p$-local compact groups were cons…
The Homotopy Types of Suspended Simply-connected $6$-manifolds
本文在 Adem 运算平凡条件下，确定了含 2-挠的单连通闭 6 流形的三重悬垂同伦型。
The purpose of this paper is to describe a general and simple setting for defining $(g,p+q)$-string operations on a Poincaré duality space and more generally on a Gorenstein space. Gorenstein spaces include Poincaré duality spaces as well as classifying spaces or homotopy quotients of connected Lie groups. Our presentation implies directly the homotopy invariance of each $(g,p+q)$-string operation as well as it leads to explicit computations.
Filtered spaces, filtered objects
引入滤过空间充实范畴上的翻页操作将$E_1$-页转为$E_2$-页，借此给出高阶代数结果的同伦版本，并恢复空间同伦理论、导出偶及合成谱范畴。
In this paper we establish the existence of certain structures on the ordinary and equivariant homology of the free loop space on a manifold or, more generally, a formal Poincaré duality space. These structures; namely the loop product, the loop bracket and the string bracket, were introduced and studied by Chas and Sullivan under the general heading `string topology'. Our method is based on obstruction theory for $C_\infty$-algebras and rational homotopy theory. The resulting string topology operations are manifestly homotopy invariant.
Stable homotopy theory of higher categories
本文证明反转自同态范畴操作产生高阶范畴的稳定同伦理论，其中范畴谱表示同调理论，并建立范畴Brown表示定理及Hurewicz和Eilenberg-Zilber定理。
Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an obstruction theory, of somewhat wider application, formulated in terms of generalized Pi-algebras. This extends a program begun in [J. Pure Appl. Alg. 103 (1995) 167-188] and [Topology 43 (2004) 857-892] to study the realization of a single Pi-algebra. In particular, we explicitly analyze the simple case of a single map, and provide a detailed example, illustrating t…
This expository paper introduces several ideas in chromatic homotopy theory around Morava's extraordinary E-theories. In particular, we construct various moduli problems closely related to Lubin-Tate deformation theory and study their symmetries. These symmetries are then used in conjunction with the Hopkins-Kuhn-Ravenel character theory to provide formulas for the power operations and the stabilizer group action on the E-cohomology of a finite group.
We use motivic colimits to construct power operations on the homotopy groups of normed motivic spectra admitting a (normed) map from HF_2. We establish enough of their standard properties to prove that the motivic dual Steenrod algebra is generated by one element under ring and power operations, establishing a motivic analog of Steinberger's theorem.
We classify the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold into its model space in terms of a suitable version of framed cobordism. Our construction is an alternative approach to the classification introduced by Elworthy and Tromba in 1970 and does not make use of further structures on the ambient manifold, such as Fredholm structures. In the special case of index zero, we obtain a complete classification involving the Caccioppoli-Smale mod 2 degree and the absolute value of the oriented degree.
A Real-global equivariant Segal--Becker splitting, explicit Brauer induction, and global Adams operations
本文证明了全局等变同调论中一个分裂结果，同时细化了Segal-Becker分裂及其Real和等变推广，以及Boltje和Symonds的显式Brauer诱导。
We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant ex-spaces (spaces over and under a given space) and of equivariant parametrized spectra. We emphasize several issues of independent interest and include much new material on the general theory of topologically enriched model categories. The essential point is to resolve problems in parametrized homotopy theory that have no nonparametrized counterparts. In cont…
We show that the Chas-Sullivan loop product, a combination of the Pontrjagin product on the fiber and intersection product on the base, makes sense on the total space homology of any fiberwise monoid E over a closed oriented manifold M. More generally the Thom spectrum E^{-TM} is a ring spectrum. Similarly a fiberwise module over E defines a module over E^{-TM}. Fiberwise monoids include adjoint bundles of principal bundles, and the construction is natural with respect to maps of principal bundles. This naturality implies homotopy invariance of the algebra structure on H_*(LM) arising from the…
Uniqueness of real ring spectra up to higher homotopy
本文研究了实环谱在同伦意义下的唯一性，利用 Goerss--Hopkins 障碍理论变体证明了椭圆上同调到拓扑 $K$-理论映射的唯一性，并揭示了拓扑模形式上 Adams 运算的新关系。
Notes on $δ$-algebras and prisms in homotopy theory
本文围绕 $p$-进 $K$-理论中的棱柱结构，梳理其向结构化 Lubin-Tate 谱 Frobenius 提升的推广，并探讨借助 $L$-典型棱柱延伸至 $K(n)$ 局部邻域的可能。
The Steenrod squares via unordered joins
本文在同伦类型论中基于无序连接高阶归纳类型，为布鲁内里定义的斯廷罗德平方运算证明了稳定性、嘉当公式和阿德姆关系，并提供了立方阿格达形式化。
The generalized string topology construction of Gruher and Salvatore assigns to any bundle of $E_n$-algebras $A$ over a closed oriented manifold $M$ a collection of intersection-type operations on the homology of the total space. These operations are realized by an $H_n$-ring structure on the Thom spectrum $A^{-TM}$ under the Thom isomorphism. We rigidify and extend this construction to a functor connecting the homotopy theory of spaces and spectra parametrized by $M$ to the homotopy theory of module spectra over the Atiyah-Milnor-Spanier-Whitehead dual $M^{-TM} \simeq \bbD M$. Then, using an …
The notion of a homotopy flow on a directed space was introduced in \cite{Raussen:07} as a coherent tool for comparing spaces of directed paths between pairs of points in that space with each other. If all parameter directed maps preserve the homotopy type of path spaces, such a flow (and these parameter maps) are called inessential. For a directed space, one may consider various categories whose objects are pairs of reachable points and whose morphisms may be induced by these inessential d-maps. Localization with respect to subcategories with these inessential d-maps as morphisms can be combi…
First we argue that many BV and homotopy BV structures, including both familiar and new examples, arise from a common underlying construction. The input of this construction is a cyclic operad along with a cyclically invariant Maurer-Cartan element in an associated Lie algebra. Using this result we introduce and study the operad of cyclically invariant operations, with instances arising in cyclic cohomology and $S^1$ equivariant homology. We compute the homology of the cyclically invariant operations; the result being the homology operad of $\mathcal{M}_{0,n+1}$, the uncompactified moduli spac…
Higher structures in rational homotopy theory
本文通过三场讲座从高阶结构视角介绍有理同伦论，核心是用$C_\infty$-代数与$L_\infty$-代数建模有理同伦型，并建立形式性、余形式性与Koszul代数之间的对偶关系，同时讨论高维流形自同构中的Lie图复形高阶结构。
This paper shows that the operad encoding modular operads is Koszul. Using this result we construct higher composition operations on (hairy) graph homology which characterize its rational homotopy type.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。