Multiplicative structures on homotopy spectral sequences II

A Theorem on Multiplicative Cell Attachments with an Application to Ravenel's X(n) Spectra

We show that the homotopy groups of a connective $E_k$-ring spectrum with an $E_k$-cell attached along a class $α$ in degree $n$ are isomorphic to the homotopy groups of the cofiber of the self-map associated to $α$ through degree $2n$. Using this, we prove that the $2n-1^{st}$ homotopy groups of Ravenel's $X(n)$ spectra are cyclic for all $n$. This further implies that, after localizing at a prime, $X(n+1)$ is homotopically unique as the $E_1$-$X(n)$-algebra with homotopy groups in degree $2n-1$ killed by an $E_1$-cell. Lastly, we prove analogous theorems for a sequence of $E_k$-ring Thom spe…

G-symmetric spectra, semistability and the multiplicative norm

In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in between Mandell's equivariant symmetric spectra and the G-orthogonal spectra of Mandell and May and is Quillen equivalent to the two. We further discuss equivariant semistability, construct model structures on module, algebra and commutative algebra categories and describe the homotopical properties of the multiplicative norm in this context.

Multiplicative structure in equivariant cohomology

We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of quotient spaces of group actions. The importance of our enriched version of Moore's theorem lies in its application to the construction of useful cochain algebra models for computing multiplicative structure in equivariant cohomology. In the special cases of homotopy orbits of circle actions on spaces and of group actions on simplicial sets, we obtain small,…

Multiplicative structure on Real Johnson-Wilson theory

We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces.

The Whitehead exact sequence and the classification problem of homotopy types

This paper defines an invariant associated to Whitehead's certain exact sequence of a simply connected CW-complex which is much more elementary - and less powerful - than the boundary invariant of Baues. Nevertheless, in good cases, it classifies the homotopy types of CW-complexes.

A comparison of spectral sequences computing unstable homotopy groups of $p$-complete, nilpotent spaces

The focus of this paper is the comparison of two unstable homotopy spectral sequences-- the unstable mod p Adams spectral sequence that computes the unstable homotopy of a p-complete space, and the Goerss--Hopkins spectral sequence, which computes the unstable homotopy of the space of E-infinity maps between Hk-algebras, where k is the algebraic closure of the field with p elements and p is an odd prime. Using an adjunction between p-complete nilpotent spaces and a subset of Hk-algebras, this paper shows that the unit of this adjunction provides an isomorphism between these spectral sequences.

A-homology, A-homotopy and spectral sequences

Given a CW-complex A we define an `A-shaped' homology theory which behaves nicely towards A-homotopy groups allowing the generalization of many classical results. We also develop a relative version of the Federer spectral sequence for computing A-homotopy groups. As an application we derive a generalization of the Hopf-Whitney theorem.

The Adams-Novikov Spectral Sequence and the Homotopy Groups of Spheres

These are notes for a five lecture series intended to uncover large-scale phenomena in the homotopy groups of spheres using the Adams-Novikov Spectral Sequence. The lectures were given in Strasbourg, May 7-11, 2007.

A new approach to model categorical homotopy fiber sequences

We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding that the homotopy theory of the model category's arrow category contains all homotopical information about its long fibration sequences.

有向图的同伦群与Puppe序列

Homotopy Groups and Puppe Sequence of Digraphs

本文引入了能直观描述网格结构的有向图同伦群作为GLMY同伦群的变体，并证明了任意基于有向图的映射均存在同伦群长正合序列，即有向图版本的Puppe序列。

Hopf algebras up to homotopy and the Bockstein spectral sequence

Anick proved that every q-mild Hopf algebra up to homotopy is isomorphic to a primitively-generated chain Hopf algebra. We provide a new proof, that involves extensive use of the Bockstein spectral sequence.

Multiplicative 2-cocycles at the prime 2

Using a previous classification result on symmetric additive 2-cocycles, we collect a variety of facts about the Lubin-Tate cohomology of formal groups to compute the 2-primary component of the scheme of symmetric multiplicative 2-cocycles. This scheme classifies certain kinds of highly symmetric multiextensions, as studied in general by Mumford or Breen. A low-order version of this computation has previously found application in homotopy theory through the sigma-orientation of Ando, Hopkins, and Strickland, and the complete computation is reflective of certain structure found in the homotopy …

Cosimplicial resolutions and homotopy spectral sequences in model categories

We develop a general theory of cosimplicial resolutions, homotopy spectral sequences, and completions for objects in model categories, extending work of Bousfield-Kan and Bendersky-Thompson for ordinary spaces. This is based on a generalized cosimplicial version of the Dwyer-Kan-Stover theory of resolution model categories, and we are able to construct our homotopy spectral sequences and completions using very flexible weak resolutions in the spirit of relative homological algebra. We deduce that our completion functors have triple structures and preserve certain fiber squares up to homotopy. …

Motivic stable homotopy groups

We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study.

English translation of chapter 9 of the book "Adams spectral sequence and stable homotopy groups of spheres" by Jijkun Lin (In Chinese)(Sciences Press, Beijing 2007)

This paper is an English translation of chapter nine of the book "Adams spectral sequence and stable homotopy groups of spheres" by Jinkun Lin (in Chinese)(Sciences Press, Beijing 2007). In this paper, a sequence of new indecomposable families in the stable homotopy groups of spheres such as h_0h_n,h_nb_n,h_0h_nh_m,h_0(h_mb_{n-1}-b_{m-1}h_n) families was detected. The proof of all the detections was stated in this paper in based on several published papers by the author.

Rational torus-equivariant stable homotopy V: the torsion Adams spectral sequence

We provide a calculational method for rational stable equivariant homotopy theory for a torus G based on the homology of the Borel construction on fixed points. More precisely we define an abelian torsion model, A_t(G) of finite injective dimension, a homology theory \piAt_* taking values in A_t(G) based on the homology of the Borel construction, and a finite Adams spectral sequence Ext_{A_t(G)}^{*,*}(\piAt_*(X), \piAt_*(Y)) ==> [X,Y]^G_* for rational G-spectra X and Y.

Real topological Hochschild homology

This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably multiplicative. We then calculate its geometric fixed points and its Mackey functor of components, and show a decomposition result for group-algebras. Using these structural results we determine the homotopy type of THR($\mathbb{F}_p$) and show that its bigraded homotopy groups are polynomial on one generator over the bigraded homotopy groups of $H\mathbb{F}_p$. We th…

Growth of homotopy groups of spheres via the Goodwillie-EHP Sequence

We bound the volume of the homotopy groups of the 2-local Goodwillie approximations of a sphere in terms of the amount of $2$-torsion in the stable stems, providing a Goodwillie-theoretic refinement of a result of Burklund and Senger (arXiv:2203.00670). At the $2^k$-excisive approximation, this bound is obtained by `multiplying the stable answer by a polynomial of degree $k$'. The main tool is Behrens' Goodwillie-EHP Long Exact Sequence.

Differentials in the homological homotopy fixed point spectral sequence

We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging conditionally to the continuous homology H^c_{s+t}(R^{hT}; F_p) of the homotopy fixed point spectrum. We show that there are Dyer-Lashof operations beta^epsilon Q^i acting on this algebra spectral sequence, and that its differentials are completely determined by those originating on the vertical axis. More surprisingly, we show that for each class x in the $^{2r}-term …

Rational self-homotopy equivalences and Whitehead exact sequence

For a simply connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalence of $X$ and let $\mathcal{E}_{\sharp}(X)$ be its subgroup of homotopy classes which induce the identity on homotopy groups. As we know, the quotient group $\frac{\mathcal{E}(X)}{\mathcal{E}_{\sharp}(X)}$ can be identified with a subgroup of $Aut(π_{*}(X))$. The aim of this work is to determine this subgroup for rational spaces. We construct the Whitehead exact sequence associated with the minimal Sullivan model of $X$ which allows us to define the subgroup $\mathrm{Coh.A…

Homotopy theory of spectral sequences

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page. We show that this admits a structure close to that of a category of fibrant objects in the sense of Brown and in particular the structure of a partial Brown category with fibrant objects. We use this to compare with related structures on the categories of multicomplexes and filtered complexes.

The homotopy of C-motivic modular forms

A C-motivic modular forms spectrum mmf has recently been constructed. This article presents detailed computational information on the Adams spectral sequence for mmf. This information is essential for computing with the C-motivic and classical Adams spectral sequences that compute the C-motivic and classical stable homotopy groups of spheres.

Stable homotopy groups of spheres: From dimension 0 to 90

Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $Cτ$ and the algebraic Novikov spectral sequence for $BP_*$, we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties.

Algebraic invariants for homotopy types

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.

On the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$

As a step towards understanding the $\mathrm{tmf}$-based Adams spectral sequence, we compute the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$, using a small presentation of $L_{K(1)}\mathrm{tmf}$ due to Hopkins. We also describe the $K(1)$-local $\mathrm{tmf}$-based Adams spectral sequence.

Computation of the homotopy of the spectrum tmf

This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Maho…

高度 2 Morava $E$-理论的 $RO(G)$-分次同伦不动点谱序列

$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory

本文利用现代等变同伦论技术，完全计算了素数 2 处高度 2 Morava E-理论关于四个有限稳定子群的同伦不动点谱序列，并给出附加分次情形。

迈向 $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$ 页。

Rationalized Evaluation Subgroups of a Map and the Rationalized G-Sequence

Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group of X occurs as the special case in which Y = X and f = 1_X. We identify the homomorphism induced on rational homotopy groups by this evaluation map, in terms of a map of complexes of derivations constructed using Sullivan minimal models. Our identification allows for the characterization of the rationalization of the nth evaluation subgroup of f. It also al…

Motivic Stable Homotopy and the Stable 51 and 52 Stems

We establish a differential $d_2(D_1)=h_0^2h_3g_2$ in the $51$-stem of the Adams spectral sequence at the prime $2$, which gives the first correct calculation of the stable 51 and 52 stems. This differential is remarkable since we know of no way to prove it without recourse to the motivic Adams spectral sequence. It is the last undetermined differential in the range of the first author's detailed calculations of the $n$-stems for $n<60$ [6]. This note advertises the use of the motivic Adams spectral sequence to obtain information about classical stable homotopy groups.

乘性谱序列的Toda括号收敛定理

A Toda bracket convergence theorem for multiplicative spectral sequences

该研究在对称幺模稳定拓扑模型范畴中推广了联系Massey乘积与Toda括号的Moss定理，使其适用于幺模相容滤过导出的乘性谱序列，可应用于motivic相关谱序列的计算。

Homotopy Cardinality via Extrapolation of Morava-Euler Characteristics

We answer a question of John Baez, on the relationship between the classical Euler characteristic and the Baez-Dolan homotopy cardinality, by constructing a unique additive common generalization after restriction to an odd prime p. This is achieved by ell-adically extrapolating to height n = -1 the sequence of Euler characteristics associated with the Morava K(n) cohomology theories for (any) ell | p-1. We compute this sequence explicitly in several cases and incorporate in the theory some folklore heuristic comparisons between the Euler characteristic and the homotopy cardinality involving su…

Multiplicative formality of operads and Sinha's spectral sequence for long knots

Lambrechts, Turchin and Volić proved the Bousfield-Kan type rational homology spectral sequence associated to the $d$-th Kontsevich operad collapses at $E^2$-page if $d\geq 4$. The key of their proof is formality of the operad. In this paper, we simplify their proof using a model category of operads. As byproducts we obtain two new consequences. One is collapse of the spectral sequence in the case of $d=3$ (and the coefficients being rational numbers). The other says there is no non-trivial extension for the Gerstenhaber algebra structure on the spectral sequence.

Algebraic EHP sequences

The James fibrations give rise to the geometric EHP sequences of homotopy groups of spheres. Using techniques from the Lambda algebra, \cite{BCKQRS66} shows that there are similar long exact sequences of Ext groups defining the $E_{2}-$page of the Bousfield-Kan spectral sequence (also known as the unstable Adams spectral sequence) computing homotopy groups of spheres. In this paper, we give another proof for this phenomenon.

The 1-line of the K-theory Bousfield-Kan spectral sequence for Spin(2n+1)

For X a simply-connected finite H-space, there is a Bousfield-Kan spectral sequence which converges to the homotopy of its K-completion. When X=Spin(2n+1), we expect that these homotopy groups equal the v1-periodic homotopy groups in dimension greater than n^2. In this paper, we accomplish two things. (1) We prove that, for any X, the 1-line of this spectral sequence is determined in an explicit way from K-theory and Adams operations. (2) For X=Spin(2n+1), we make an explicit computation of this 1-line.

Universal homotopy associative, homotopy commutative H-spaces and the EHP spectral sequence

Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces in the sense that any map f:X->Y to a homotopy associative, homotopy commutative H-space extends to a uniquely determined H-map F: U(X)->Y. Developing a method for recognising certain universal spaces, we show the existence of the universal space F_2(n) of a certain three-cell complex L. Using this specific example, we derive some consequences for the calcula…

Homotopy spectral sequences

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on the existence of kernels and cokernels with respect to an assigned ideal of null morphisms, a generalisation of abelian categories and Puppe-exact categories.

Cofibrant models of diagrams: mixed Hodge structures in rational homotopy

We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is applied to the category of mixed Hodge diagrams of differential graded algebras. Using Sullivan's minimal models, we prove a multiplicative version of Beilinson's Theorem on mixed Hodge complexes. As a consequence, we obtain functoriality for the mixed Hodge structures on the rational homotopy type of complex algebraic varieties. In this context, the mixed Hodge …

Homotopy Fibre Sequences Induced by 2-Functors

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors.

Stable stems

We present a detailed analysis of 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. We use the motivic May spectral sequence to compute the cohomology of the motivic Steenrod algebra over C through the 70-stem. We then use the motivic Adams spectral sequence to obtain motivic stable homotopy groups through the 59-stem. In addition to finding all Adams differentials in this range, we also resolve all hidden extensions by 2, eta, and nu, except for a few carefully enumerated exceptions that remain unknown. The analogous classical stable homotopy …

映射的同伦相似性

Homotopy similarity of maps

本文在带基点胞腔空间（X紧致）的带基点同伦集合上定义了一列愈发精细的等价关系。

The homotopy groups of the η-periodic motivic sphere spectrum

We compute the homotopy groups of the η-periodic motivic sphere spectrum over a finite-dimensional field k with characteristic not 2 and in which -1 a sum of four squares. We also study the general characteristic 0 case and show that the η-periodic slice spectral sequence over Q determines the η-periodic slice spectral sequence over all extensions of Q. This leads to a speculation on the role of a "connective Witt-theoretic J-spectrum" in η-periodic motivic homotopy theory.

The homotopy groups of the spectrum Tmf

We use the structure of the homotopy groups of the connective spectrum tmf of topological modular forms and the elliptic and Adams-Novikov spectral sequences to compute the homotopy groups of the non-connective version, Tmf, of that spectrum. This is done separately for the localizations at 2, 3 and higher primes.

The long exact sequence of homotopy $n$-groups

Working in homotopy type theory, we introduce the notion of $n$-exactness for a short sequence $F\to E\to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E \twoheadrightarrow B$ of arbitrary types induces a short sequence $\|F\|_{n-1} \to \|E\|_{n-1} \to \|B\|_{n-1}$ that is $n$-exact at $\|E\|_{n-1}$. We explain how the indexing makes sense when interpreted in terms of $n$-groups, and we compare our definition to the existing definitions of an exact sequence of $n$-groups for $n=1,2$. As the main application, we obtain the long $n$-exact sequence of homotopy $n$-groups…

同调自接近数与上纤维化序列

Homology self closeness number and cofibration sequence

本文研究了单连通CW复合同调自接近数及同伦上纤维的该数，探讨了同调分解中上纤维化空间自映射，并分析了同调分解与同伦分解间同调自接近数的关系。

Representations up to homotopy and Bott's spectral sequence for Lie groupoids

This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived category, and to show that the adjoint representation is well defined as a representation up to homotopy. As an application, we extend Bott's spectral sequence converging to the cohomology of classifying spaces from Lie groups to Lie groupoids.

Homotopy sequence of a topological groupoid with a basegroup and an obstruction to presentability of proper regular Lie groupoids

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in terms of a long exact sequence. As an application, we give an obstruction to presentability of proper regular Lie groupoids.

The homotopy type of the space of algebraic loops on a toric variety

We investigate the homotopy type of the space of tuples of polynomials inducing base-point preserving algebraic maps from the circle S1 to a toric variety XΣ. In particular, we prove a homotopy stability result for this space by combining the Vassiliev spectral sequence and the scanning map.

Some results in quasitopological homotopy groups

In this paper we show that the nth quasitopological homotopy group of a topological space is isomorphic to (n-1)th quasitopological homotopy group of its loop space and by this fact we obtain some results about quasitopological homotopy groups. Finally, using the long exact sequence of a based pair and a fibration in qTop introduced by Brazas in 2013, we obtain some results in this field.

Some applications for Fadell-Dold theorm in fibration theory by using homotopy groups

The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ π_{n}(S,s_{o}) $ of total spaces of fibrations). In particular, to show the role of homotopy sequence of $n$-th homotopy to get the required fiber map in Fadell-Dold theorem such that the restriction of this fiber map on some fiber spaces is a homotopy equivalence.

紧致李群作用的乘性Tate谱序列

A multiplicative Tate spectral sequence for compact Lie group actions

本文在紧致李群与交换正交环谱的框架下，为正交$G$-谱中的$R$-模构造了乘性$G$-Tate谱序列，并证明在温和假设下强收敛至$G$-Tate构造的同伦群。

通过$\mathbb{F}_2$-合成方法研究球面的经典稳定同伦群

Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods

本文利用$\mathbb{F}_2$-合成Adams谱序列，获得了$\mathbb{C}$-动机与经典稳定同伦群的新计算信息。

Borel等变同伦的一个形变

A deformation of Borel equivariant homotopy

该研究描述了有限群G的Borel G-谱∞-范畴的形变，当G=C₂时为a-完备实Artin-Tate motivic稳定同伦范畴提供新表示，给出a-完备C₂-有效切片谱序列新解释，并提出修正的Adams-Novikov谱序列作为计算工具。

Detection of some elements in the stable homotopy groups of spheres

In this paper we constructs a new nontrivial family in the stable homotopy groups of spheres $π_{p^nq+2pq+q-3}S$ which is of order $p$ and is represented by $k_0h_{n} \in Ext_A^{3,p^nq+2pq+q}(\mathbb{Z}_p,\mathbb{Z}_p)$ in the Adams spectral sequence, where $p\geq 5$ is an odd prime, $n\geq 3$ and $q=2(p-1)$. In the course of the proof, a new family of homotopy elements in $π_{\ast}V(1)$ which is represented by $β_{\ast}{i^{\prime}}_{\ast}i_{\ast}({h}_n)\in Ext_A^{2,p^nq+(p+1)q+1}(H^{\ast}V(1),\mathbb{Z}_p)$ in the Adams sequence is detected.