Daniel Dugger
This mostly expository paper records some basic facts about towers of homotopy fiber sequences. We give a proof that a pairing of towers induces a pairing of associated spectral sequences, for towers of spaces and towers of spectra.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The paper summarizes the construction of pairings on some standard spectral sequences in algebraic topology.
The semigroup of the homotopy classes of the self-homotopy maps of a finite complex which induce the trivial homomorphism on homotopy groups is nilpotent. We determine the nilpotency of these semigroups of compact Lie groups and finite Hopf spaces of rank 2. We also study the nilpotency of semigroups for Lie groups of higher rank. Especially, we give Lie groups with the nilpotency of the semigroups arbitrarily large.
This paper describes an issue that arises when inverting elements of the homotopy groups of an equivariant commutative ring. Equivariant commutative rings possess an enhanced multiplicative structure arising from the presence of "indexed products" (products indexed by a set with a non-trivial action of the group). The formation of the "multiplicative closure" of a set must be altered in order to accomodate this structure, and the result of localizing an equivariant commutative ring can have an unexpected homotopy type.
On the equivalence of two approaches to multiplicative homotopy theories
本文探讨了两种乘法同调理论框架的等价性，解决了Pavlov猜想并解答了Hovey第十问题的特殊情况，同时证明了多个主定理的变体。
In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding infinity-categorical product and allows for convenient constructions of commutative parametrized ring spectra. As an immediate application, we compare various models for generalized Thom spectra. In a companion paper, this approach is used to compare homotopical and operator algebraic models for twisted K-theory.
The Multiplicative Structures on Motivic Homotopy Groups
该研究调和了Voevodsky与Dugger所用动机环谱同伦环上的乘法定义，指出二者关联虽初等且类似现象见于超对称领域，但学界此前未察觉该定义冲突及潜在影响，故以短注阐明。
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…
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.
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,…
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.
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.
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.
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.
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.
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.
Homotopy Groups and Puppe Sequence of Digraphs
本文引入了能直观描述网格结构的有向图同伦群作为GLMY同伦群的变体，并证明了任意基于有向图的映射均存在同伦群长正合序列，即有向图版本的Puppe序列。
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.
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 …
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. …
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.
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.
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.
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…
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.
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 …
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…
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.
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.
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.
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.
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.
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…
$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory
本文利用现代等变同伦论技术，完全计算了素数 2 处高度 2 Morava E-理论关于四个有限稳定子群的同伦不动点谱序列，并给出附加分次情形。
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$ 页。
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…
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.
A Toda bracket convergence theorem for multiplicative spectral sequences
该研究在对称幺模稳定拓扑模型范畴中推广了联系Massey乘积与Toda括号的Moss定理，使其适用于幺模相容滤过导出的乘性谱序列，可应用于motivic相关谱序列的计算。
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…
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.
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.
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.
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…
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.
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 …
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 …
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.
Homotopy similarity of maps
本文在带基点胞腔空间（X紧致）的带基点同伦集合上定义了一列愈发精细的等价关系。
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.
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.
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复合同调自接近数及同伦上纤维的该数，探讨了同调分解中上纤维化空间自映射，并分析了同调分解与同伦分解间同调自接近数的关系。
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.
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.
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.
A multiplicative Tate spectral sequence for compact Lie group actions
本文在紧致李群与交换正交环谱的框架下，为正交$G$-谱中的$R$-模构造了乘性$G$-Tate谱序列，并证明在温和假设下强收敛至$G$-Tate构造的同伦群。
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.
Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods
本文利用$\mathbb{F}_2$-合成Adams谱序列，获得了$\mathbb{C}$-动机与经典稳定同伦群的新计算信息。
A deformation of Borel equivariant homotopy
该研究描述了有限群G的Borel G-谱∞-范畴的形变，当G=C₂时为a-完备实Artin-Tate motivic稳定同伦范畴提供新表示，给出a-完备C₂-有效切片谱序列新解释，并提出修正的Adams-Novikov谱序列作为计算工具。
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.
In 2002, Biss investigated on a kind of fibration which is called rigid covering fibration (we rename it by rigid fibration) with properties similar to covering spaces. In this paper, we obtain a relation between arbitrary topological spaces and its rigid fibrations. Using this relation we obtain a commutative diagram of homotopy groups and quasitopological homotopy groups and deduce some results in this field.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。