Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHigher homotopy invariants for spaces and maps
84
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a higher homotopy structure for $X$ (in terms of chain complexes of spaces). This structure is then used to define a collection of higher homotopy invariants which suffice to recover $X$ up to weak equivalence. It can also be used to distinguish between different maps $f$ from $X$ to $Y$ which induce the same morphism on homotopy groups $f_*$ from $pi_* X$ to $pi_* Y$.
rate research
Read More
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.
This paper explores the relation between the structure of fibre bundles akin to those associated to a closed almost nonnegatively sectionally curved manifold and rational homotopy theory.
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.
There are two main approaches to the problem of realizing a $Pi$-algebra (a graded group $Lambda$ 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 $Lambda$ by a simplicial space $W_bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of Andr{e}-Quillen cohomology classes in $H_{AQ}^{n+2}(Lambda;Omega^{n}Lambda)$ for $n geq 1$ as obstructions to the existence of successive Postnikov sections for $W_bullet$ by work of Dwyer, Kan and Stover. The second gives a sequence of geometrically defined higher homotopy operations as the obstructions by earlier work of Blanc; these were identified with the obstruction theory of Dwyer, Kan and Smith in earlier work of the current authors. There are also (algebraic and geometric) obstructions for distinguishing between different realizations of $Lambda$. In this paper we 1) provide an explicit construction of the cocycles representing the cohomology obstructions; 2) provide a similar explicit construction of certain minimal values of the higher homotopy operations (which reduce to long Toda brackets), and 3) show that these two constructions correspond under an evident map.
We develop foundations for the category theory of $infty$-categories parametrized by a base $infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
