Related papers: A Guide for Computing Stable Homotopy Groups
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…
We apply our previous work on the relation between groupoid homology and K-theory to Smale spaces. More precisely, we consider the unstable equivalence relation of a Smale space with totally disconnected stable sets, and prove that the…
Classification of homotopy n-types has focused on developing algebraic categories which are equivalent to categories of n-types. We expand this theory by providing algebraic models of homotopy-theoretic constructions for stable one-types.…
We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen…
We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the…
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…
By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that…
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…
We calculate the $\eta$-localization of the motivic stable homotopy ring over the complex numbers, confirming a conjecture of Guillou and Isaksen. Our approach is via the motivic Adams-Novikov spectral sequence. In fact, work of Hu, Kriz,…
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…
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…
This very speculative sketch suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure…
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…
The homotopy groups of the (stabilized) group of invertible pseudodifferential operators of order zero acting on a closed manifold X are computed in terms of the K-theory of the cosphere bundle S*X. At the same time, we show that the…
In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…
Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…
We provide a simplified approach to the the stable Hopf invariant. We provide short elementary proofs of the Cartan Formula, the Composition Formula, and the Transfer formula. In addition, when $\pi$ is a discrete group, we show how to…
We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy…