Localization of -categories and spectral sequences
We describe two types of localization for -categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.
Source author record
David Blanc
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
16works
3topics
4close collaborators
Published work
16 publications
preprint2022arXiv
Symmetric Configuration spaces of linkages
A configuration of a linkage Γ is a possible positioning of Γ in Rd and the collection of all such forms the configuration space C(Γ) of Γ. We here introduce the notion of the symmetricconfigurationspace of a linkage, in which we identify configurations which are geometrically indistinguishable. We show that the symmetric configuration space of a planar polygon has a regular cell structure, provide some principles for calculating this structure, and give a complete description of the symmetric configuration space of all quadrilaterals and of the equilateral pentagon.
Open access
preprint2020arXiv
Mapping algebras and the Adams spectral sequence
The E2-term of the Adams spectral sequence for Y may be described in terms of its cohomology E∗Y, together with the action of the primary operations E∗E on it, for ring spectra such as E=HFp. We show how the higher terms of the spectral sequence can be similarly described in terms of the higher order truncated E-mapping algebra for Y − that is truncations of the function spectra Fun(Y,M) for various E-modules M, equipped with the action of Fun(M,M′) on them.
Open access
preprint2020arXiv
Note on Toda brackets
We provide a general definition of Toda brackets in a pointed model categories, show how they serve as obstructions to rectification, and explain their relation to the classical stable operations.
Open access
preprint2015arXiv
Higher Toda brackets and Massey products
We provide a uniform definition of higher order Toda brackets in a general setting, covering the known cases of long Toda brackets for topological spaces and chain complexes and Massey products for differential graded algebras, among others.
Open access
preprint2014arXiv
Higher order derived functors and the Adams spectral sequence
Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain complexes, resolutions, and derived functors. We show that higher order resolutions exist in higher track categories, and that they determine higher order Ext-groups. In particular, the E_m-term of the Adams spectral sequence (m<n+3) is a higher order Ext-group, which is determined by the track algebra of higher cohomology operations.
Open access
preprint2014arXiv
Mapping spaces and R-completion
We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for R=Fp or Q, in terms of a mapping algebra structure on X (defined in terms of product-preserving simplicial functors out of a certain simplicially-enriched sketch). In addition, when A is a suitable infinite loop space for a suitable connective ring spectrum, we can recover Y from map(Y,A) given such a mapping algebra structure. Most importantly, our methods provide a new way of looking at the classical Bousfield-Kan R-completion.
Open access
preprint2014arXiv
Realizing homotopy group actions
For any finite group G, we define the notion of a Bredon homotopy action of G, modelled on the diagram of fixed point sets (XH)H≤G for a G-space X, together with a pointed homotopy action of the group NGH/H on XH/(⋃H<KXK). We then describe a procedure for constructing a suitable diagram X:OGop→Top from this data, by solving a sequence of elementary lifting problems. If successful, we obtain a G-space X′ realizing the given homotopy information, determined up to Bredon G-homotopy type. Such lifting methods may also be used to understand other homotopy questions about group actions, such as transferring a G-action along a map f:X→Y.
Open access
preprint2014arXiv
Segal-type algebraic models of n-types
For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit algebraic fundamental n-fold groupoid functor. We compare these models to Tamsamani's weak n-groupoids, and extract from them a model for (k-1)connected n-types
Open access
preprint2013arXiv
A spectral sequence in Bredon cohomology
For any finite group G, we construct a spectral sequence for computing the Bredon cohomology of a G-CW complex X, starting with the cohomology of X^H/\cup_{K>H}X^K with suitable local coefficients, for various H \leq G.
Open access
preprint2013arXiv
Recognizing mapping spaces
Given a fixed object A in a suitable pointed simplicial model category $\C$, we study the problem of recovering the target Y from the pointed mapping space \w{\mapa(A,Y)} (up to A-equivalence). We describe a recognition principle, modelled on the classical ones for loop spaces, but using the more general notion of an \emph{\Ama[.]} It has an associated transfinite procedure for recovering \w{\CWA Y} from \w[,]{\mapa(A,Y)} inspired by Dror-Farjoun's construction of \ww{\CWA{}}-approximations.
Open access
preprint2011arXiv
Generic singular configurations of linkages
We study the topological and differentiable singularities of the configuration space C(Γ) of a mechanical linkage Γin d-dimensional Euclidean space, defining an inductive sufficient condition to determine when a configuration is singular. We show that this condition holds for generic singularities, provide a mechanical interpretation, and give an example of a type of mechanism for which this criterion identifies all singularities.
Open access
preprint2011arXiv
Higher homotopy operations and André-Quillen cohomology
There are two main approaches to the problem of realizing a Π-algebra (a graded group Λ 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∙ of Λ by a simplicial space W∙ and proceed by induction on the simplicial dimension. The first provides a sequence of André-Quillen cohomology classes in HAQn+2(Λ;ΩnΛ) for n≥1 as obstructions to the existence of successive Postnikov sections for W∙ 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 Λ. 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.
Open access
preprint2010arXiv
Comparing cohomology obstructions
We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues-Wirsching, the diagram rectifications of Dwyer-Kan-Smith, and the Pi-Algebra realization of Dwyer-Kan-Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.
Open access
preprint2010arXiv
Stems and Spectral Sequences
We introduce the category Pstem[n] of n-stems, with a functor P[n] from spaces to Pstem[n]. This can be thought of as the n-th order homotopy groups of a space. We show how to associate to each simplicial n-stem Q an (n+1)-truncated spectral sequence. Moreover, if Q=P[n]X is the Postnikov n-stem of a simplicial space X, the truncated spectral sequence for Q is the truncation of the usual homotopy spectral sequence of X. Similar results are also proven for cosimplicial n-stems. They are helpful for computations, since n-stems in low degrees have good algebraic models.
Open access
preprint2010arXiv
Two-track categories
We describe a 2-dimensional analogue of track categories, called two-track categories, and show that it can be used to model categories enriched in 2-type mapping spaces. We also define a Baues-Wirsching type cohomology theory for track categories, and explain how it can be used to classify two-track extensions of a track category D by a module over D.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.