N. P. Strickland
We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We focus mainly on representability theorems, localisation, Bousfield classes, and nilpotence.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We describe generators of universal Lefschetz groups consisting of self-maps of equivariant 1-spheres. This allows to formulate a normalization axiom which, together with the usual axioms, determines an equivariant Lefschetz number uniquely. We apply this technique to identify the fixed orbit detecting equivariant Lefschetz number of Chorny with the fixed orbit index of Dzedzej.
We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.
We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it …
We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and the construction of examples. We show that if a transformation between coarse homology theories induces an equivalence on all discrete bornological coarse spaces, then it is an equivalence on bornological coarse spaces of finite asymptotic dimension. The example of coarse K-homology will be discussed in detail.
In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of spectra. One sufficient condition is that the associated homotopy category is equivalent to the stable homotopy category as a triangulated category with an action of the ring of stable homotopy groups of spheres. In other words, the classical stable homotopy theory, with all of its higher order information, is determined by the homotopy category as a triangulated c…
We study a certain monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava $K$-theories. We work in an axiomatic framework that can also be applied to analogous questions in equivariant stable homotopy theory. Our results should be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture. The combinatorial parts of this work have been formalised in the Lean proof assistant.
We show the "non-existence" results are essential for all the previous known applications of the Bauer-Furuta stable homotopy Seiberg-Witten invariants. As an example, we present a unified proof of the adjunction inequalities. We also show that the nilpotency phenomenon explains why the Bauer-Furuta stable homotopy Seiberg-Witten invariants are not enough to prove 11/8-conjecture.
The purpose of this note is to give a description of the stable homotopy group of some $2$-stage Postnikov systems for a range of dimensions. The considered $2$-stage Postnikov systems has the (weak) homotopy type of a generalized Eilenberg-Mac lane space, then their stable homotopy groups can be calculated by the stable homotopy groups of generalized Eilenberg-Mac lane spaces.
We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a new computational method that yields a streamlined computation of the first 61 stable homotopy groups, and gives new information about the stable homotopy groups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence.
Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor, homotopy cofiber sequences and the stable Burnside category determine all "higher order structure" of the 2-local G-equivariant stable homotopy category, such as the equivariant homotopy types of function G-spaces. The theorem can be seen as an equivariant version of Schwede's rigidity theorem at the prime 2.
This paper contains an overview of background from stable homotopy theory used by Freed--Hopkins in their work on invertible extended topological field theories. We provide a working guide to the stable homotopy category, to the Steenrod algebra and to computations using the Adams spectral sequence. Many examples are worked out in detail to illustrate the techniques.
We investigate a new case of rigidity in stable homotopy theory which is the rigidity of the $K(1)$-local stable homotopy category $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ at $p=2$. In other words, we show that recovering higher homotopy information by just looking at the triangulated structure of $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ is possible, which is a property that only few interesting stable model categories are known to possess.
We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$.
In this article we study thick ideals defined by periodic self maps in the stable motivic homotopy category over $\mathbb{C}$. In addition, we extend some results of Ruth Joachimi about the relation between thick ideals defined by motivic Morava K-theories and the preimages of the thick ideals in the stable homotopy category under Betti realization.
We generalize Berger and Moerdijk's results on axiomatic homotopy theory for operads to the setting of enriched symmetric monoidal model categories, and show how this theory applies to orthogonal spectra. In particular, we provide a symmetric fibrant replacement functor for the positive stable model structure.
This expository article gives a thorough and well-motivated account of the proof of the nilpotence theorem by Devinatz-Hopkins-Smith.
We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.
In this survey, we review how the global structure of the stable homotopy category gives rise to the chromatic filtration. We then discuss computational tools used in the study of local chromatic homotopy theory, leading up to recent developments in the field. Along the way, we illustrate the key methods and results with explicit examples.
It is a survey of the results on the classification of stable homotopy types of polyhedra of small dimensions, mainly obtained by H.-J. Baues and the author. The proofs are based on the technique of matrix problems (bimodule categories).
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 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.
We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlying model structures Margolis' axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (S-modules, \W-spaces, orthogonal sp…
Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods
本文利用$\mathbb{F}_2$-合成Adams谱序列，获得了$\mathbb{C}$-动机与经典稳定同伦群的新计算信息。
Collection of (equivariant) $\rm{PL}$-mappings admitting a relative abelian, cyclic, quaternionic, bicyclic, and quaternionic-cyclic structures are constructed.
A stable framework for proper and exterior homotopy and cohomology theories
该研究构建了外同伦理论的稳定框架，将其应用于恰当同伦理论，建立了约化外上同调理论的Brown可表示性定理，为恰当同伦理论的稳定理论发展提供了关键基础。
Stable Homotopy Groups of Moore Spaces
本文利用范畴等价将 Moore 空间视为 Z-模正合偶，显式确定了其在 7 以内的稳定同伦群。
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.
This paper is a survey of the stable homotopy theory of BG for G a finite group. It is based on a series of lectures given at the Summer School associated with the Topology Conference at the Vietnam National University, Hanoi, August 2004.
The Kervaire Problem is an unsolved problem in Stable Homotopy Theory. The first interesting example is in dimension $30$. There exists a closed stably-parallelizable manifold $\tilde{M}^{30}$ with Arf-Kervaire invariant 1. It is unknown, if such a manifold exists in dimension $126$? The goal of the paper is to recall the construction of the manifold $M^{30}$ and investigate its properties.
In this paper, we study the stable homotopy types of $\mathbf{F}^4_{n(2)}$-polyhedra, i.e., $(n-1)$-connected, at most $(n+4)$-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable $\mathbf{F}^4_{n(2)}$-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representaions of algebras and applied to homotopy theory by Baues and Drozd.
We use the $C_2$-equivariant Adams spectral sequence to compute part of the $C_2$-equivariant stable homotopy groups $π^{C_2}_{n,n}$. This allows us to recover results of Bredon and Landweber on the image of the geometric fixed-points map from the equivariant homotopy group $π^{C_2}_{n,n}$ to the classical $π_0$. We also recover results of Mahowald and Ravenel on the Mahowald root invariants of the elements $2^k$.
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.
Homotopy Representations and the Picard Group of the Equivariant Stable Homotopy Category
本文证明了当$G$是分量群满足特定条件的紧Lie群时，其同伦表示与广义同伦表示的Grothendieck群同构，解决了Fausk、Lewis和May的猜想，并更好地刻画了$G$-谱同伦范畴的Picard群。
A generalized Kervaire Problem in stable homotopy groups of spheres
本文给出了球面稳定同伦群中 Mahowald 元素的初等自包含描述，并以此构造证明了作者此前提出的广义 Kervaire 问题得到了肯定的解决。
A geometrical approach toward stable homotopy groups of spheres. A Desuspension Theorem (revisited)
该研究采用几何方法研究球面稳定同伦群，阐述并证明了$Π_{2^l-2}$族的去悬垂定理，证明是对作者2010年预印本中定理的小幅修订。
In these lectures we give an exposition of the seminal work of Devinatz, Hopkins and Smith which is surrounding the classification of the thick subcategories of finite spectra in stable homotopy theory. The lectures are expository and are aimed primarily at non-homotopy theorists. We begin with an introduction to the stable homotopy category of spectra, and then talk about the celebrated thick subcategory theorem and discuss a few applications to the structure of the Bousfield lattice. Most of the results that we discuss here were conjectured by Ravenel \cite{rav} and were proved by Devinatz, …
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.
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 study thick ideals in the stable motivic homotopy category SH(k) and in its subcategories of compact and of finite cellular objects. If k is a subfield of the complex or even the real numbers, then using comparison functors we find thick ideals corresponding to thick ideals in classical or Z/2-equivariant stable homotopy theory, respectively. We also study motivic Morava K-theories AK(n), for which we prove the motivic analogue of the decomposition of the Bousfield class of E(n) into Bousfield classes of K(i)'s over the complex numbers if p>2. In that case we also prove that AK(n)-acyclicit…
Greenlees defined an abelian category A whose derived category is equivalent to the rational S^1-equivariant stable homotopy category whose objects represent rational S^1-equivariant cohomology theories. We show that in fact the model category of differential graded objects in A (dgA) models the whole rational S^1-equivariant stable homotopy theory. That is, we show that there is a Quillen equivalence between dgA and the model category of rational S^1-equivariant spectra, before the quasi-isomorphisms or stable equivalences have been inverted. This implies that all of the higher order structur…
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.
We study $p$-localizations, where $p$ is an odd prime, of the full subcategories $S^n$ of stable homotopy category consisting of CW-complexes having cells in $n$ successive dimensions. Using the technique of triangulated categories and matrix problems we classify atoms (indecomposable objects) in $S_p^n$ for $n\le 4(p-1)$ and show that for $n>4(p-1)$ such classification is wild in the sense of the representation theory.
Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we study the first four cohomology groups. Also, we compute the first few steps of the Postnikov tower of $B \gaminf^+$, the Quillen plus construction applied to $B \gaminf$. Our method relies on the Madsen-Weiss theorem, a few known computations of stable homotopy groups of spheres and projective spaces and on a certain action of the binary icosahedral group on…
A geometric approach to the stable homotopy groups of spheres is developed in this paper, based on the Pontryagin-Thom construction. The task of this approach is to obtain an alternative proof of the Hill-Hopkins-Ravenel theorem [H-H-R] on Kervaire invariants in all dimensions, except, possibly, a finite number of dimensions. In the framework of this approach, the Adams theorem on the Hopf invariant is studied, for all dimensions with the exception of 15, 31, 63, 127. The new approach is based on the methods of geometric topology.
New infinite families in the stable homotopy groups of spheres
该研究识别出球面稳定同调群中七个新的192周期无限族元素，并揭示了其在局部化后的非平凡性质及2- torsion和2-可除性的新信息。
We classify thick tensor ideals of finite objects in the category of rational torus-equivariant spectra, showing that they are completely determined by geometric isotropy. This is essentially equivalent to showing that the Balmer spectrum is the set of closed subgroups under cotoral inclusion. Corresponding statements are deduced for toral spectra for general groups.
The symmetric spectra introduced by Hovey, Shipley and Smith are a convenient model for the stable homotopy category with a nice associative and commutative smash product on the point set level and a compatible Quillen closed model structure. About the only disadvantage of this model is that the stable equivalences cannot be defined by inverting those morphisms which induce isomorphisms on homotopy groups, because this would leave too many homotopy types. In this sense the naively defined homotopy groups are often `wrong`, and then their precise relationship to the `true` homotopy groups (i.e.…
Stabilizations of $\mathbb{E}_\infty$ Operads and $p$-Adic Stable Homotopy Theory
该研究构造了作为 $\u211e_\u221e$ 操作子稳定化版本的稳定操作子，建立其代数同伦与上同调运算理论，并证明谱上链赋予其结构后可作为 $p$ 进稳定同伦型的代数模型。
This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all groups in a specific class. Prominent examples are equivariant stable homotopy, equivariant $K$-theory or equivariant bordism. Global equivariant homotopy theory studies such uniform phenomena, i.e., the adjective `global' refers to simultaneous and compatible actions of all compact Lie groups. We give a self-contained treatment of unstable and stable global h…
Let X and Y be CW-complexes, U be an abelian group, and f:[X,Y]->U be a map (a homotopy invariant). We say that f has order at most r if the characteristic function of the r'th Cartesian power of the graph of a continuous map a:X->Y Z-linearly determines f([a]). Suppose that the CW-complex X is finite and we are in the stable case: dim X<2n-1 and Y is (n-1)-connected. We prove that then the order of f equals its degree with respect to the Curtis filtration of the group [X,Y].
We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module category. As an application, we carry out a complete analysis of invertible G-spectra in the case $G=A_5$. A further application is given by showing that the Picard groups of $\mathrm{Sp}^G$ and a category of derived Mackey functors agree.
We raise the problem of realisability of rings as $\{X,X\}$ the ring of stable homotopy classes of self-maps of a space $X$. By focusing on $A_n^2$-polyhedra, we show that the direct sum of three endomorphism rings of abelian groups, one of which must be free, is realisable as $\{X,X\}$ modulo the acyclic maps. We also show that $\mathbb{F}_p^3$ is not realisable in the setting of finite type $A_n^2$-polyhedra, for $p$ any prime.
The zeroth stable homotopy groups of motivic spheres over the integers
本文确定了整数上动机球面谱的第零积分Milnor-Witt茎，并建立了多种动机谱的细胞性及混合特征Dedekind域上的绝对纯性结果。
This paper is a continuation of the version I of the same title, which intends to clarify and expand the results in the last chapter of `the green book' by the second author. In particular, we give the stable homotopy groups of $p$-local spectra $T(m)_{(1)}$ for $m>0$. This is a part of a program to compute the $p$-components of $π_{*}(S^{0})$ through dimension $2p^{4}(p-1)$ for $p>2$. We will refer to the results from the version I freely as if they were in the first four sections of this paper, which begins with section 5.
By considering labeled configurations of ``bounded multiplicity'', one can construct a functor that fits between homology and stable homotopy. Based on previous work, we are able to give an equivalent description of this labeled construction in terms of loop space functors and symmetric products. This yields a direct generalization of the May-Milgram model for iterated loop spaces, and answers questions of Carlsson and Milgram posed in the handbook. We give a classifying space formulation of our results hence extending an older result of Segal. We finally relate our labeled construction to a t…
An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an E_4 structure then the braided monoidal product is symmetric monoidal.
In this paper, we study the cohomology of the Morava stabilizer algebra $S(3)$. As an application, we show that for $p \geq 7$, if $s\not \equiv 0, \pm 1 \,\, mod \,p $, $n\not \equiv 1 \,\, mod\, 3$, $n>1$, then $ζ_nγ_s$ is a nontrivial product in $π_*(S)$ by Adams-Novikov spectral sequence, where $ζ_n$ is created by R. Cohen \cite{Co}, $γ_s$ is a third periodic homotopy elements.
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.
We explain a new relationship between formal group laws and ring spectra in stable homotopy theory. We study a ring spectrum denoted DB which depends on a commutative ring B and is closely related to the topological Andre-Quillen homology of B. We present an explicit construction which to every 1-dimensional and commutative formal group law F over B associates a morphism of ring spectra F_*: HZ --> DB from the Eilenberg-MacLane ring spectrum of the integers. We show that formal group laws account for all such ring spectrum maps, and we identify the space of ring spectrum maps between HZ and DB…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。