Related papers: Postnikov Invariants of Crossed Complexes
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of…
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some…
Every $(\infty, n)$-category can be approximated by its tower of homotopy $(m, n)$-categories. In this paper, we prove that the successive stages of this tower are classified by k-invariants, analogously to the classical Postnikov tower for…
We give a functorial construction of k-invariants for ring spectra and use these to classify extensions in the Postnikov tower of a ring spectrum.
We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…
We outline the main features of the definitions and applications of crossed complexes and cubical $\omega$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the…
We explore finitely generated groups by studying the nilpotent towers and the various Lie algebras attached to such groups. Our main goal is to relate an isomorphism extension problem in the Postnikov tower to the existence of certain…
We show that the wall crossing bijections between simples of the category O of the rational Cherednik algebras reduce to particular crystal isomorphisms which can be computed by a simple combinatorial procedure on multipartitions of fixed…
A generalised Postnikov tower for a space $X$ is a tower of principal fibrations with fibres generalised Eilenberg-MacLane spaces, whose inverse limit is weakly homotopy equivalent to $X$. In this paper we give a characterisation of a…
We define a "mirror version" of Brzezinski's crossed product and we prove that, under certain circumstances, a Brzezinski crossed product D\otimes_{R, \sigma}V and a mirror version W\bar{\otimes}_{P, \nu}D may be iterated, obtaining an…
We extend the crossing-change maps between grid complexes, defined by Ozsv\'ath-Szab\'o-Stipsicz, to filtered grid complexes and give a combinatorial formulation of the Alishahi-Eftekhary $\mathfrak{l}(K)$ knot invariant.
Postnikov gave a combinatorial description of the cells in a totally-nonnegative Grassmannian. These cells correspond to a special class of matroids called positroid. We prove his conjecture that a positroid is exactly an intersection of…
This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…
We provide the set of filters (saturated submonoids) in a commutative monoid with a topology (like the spectrum of a ring) and study the resulting spaces.
Standard results from non-abelian cohomology theory specialize to a theory of torsors and stacks for cosimplicial groupoids. The space of global sections of the stack completion of a cosimplicial groupoid $G$ is weakly equivalent to the…
By inspiring ourselves in Drinfeld's DG quotient, we develop Postnikov towers, k-invariants and an obstruction theory for dg categories. As an application, we obtain the following `rigidification' theorem: let A be a homologically…
Complexification, from real connective K-theory to complex connective K-theory, sits in a well-known cofiber sequence between multiplication by eta and a map related to realification. We show how this cofiber sequence factors as one goes up…
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…
This paper proposes an algorithm that decides if two simply connected spaces represented by finite simplicial sets of finite $k$-type and finite dimension $d$ are homotopy equivalent. If the spaces are homotopy equivalent, the algorithm…
Following the general strategy proposed by G.Rybnikov, we present a proof of his well-known result, that is, the existence of two arrangements of lines having the same combinatorial type, but non-isomorphic fundamental groups. To do so, the…