Localization of $(\infty, 1)$-categories and spectral sequences
We describe two types of localization for $(\infty, 1)$-categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.
Researcher profile
David Blanc
David Blanc contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
10 published item(s)
preprint2022arXiv
Symmetric Configuration spaces of linkages
A $configuration$ of a linkage $Γ$ is a possible positioning of $Γ$ in $\mathbb{R}^d$ and the collection of all such forms the configuration space $\mathcal{C}(Γ)$ of $Γ$. We here introduce the notion of the $symmetric configuration space$ 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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Mapping algebras and the Adams spectral sequence
The $E_2$-term of the Adams spectral sequence for $\mathbf{Y}$ may be described in terms of its cohomology $E^\ast \mathbf{Y}$, together with the action of the primary operations $E^\ast \mathbf{E}$ on it, for ring spectra such as $\mathbf{E} = \mathbf{H}\mathbb{F}_p$. We show how the higher terms of the spectral sequence can be similarly described in terms of the higher order truncated $\mathbf{E}$-mapping algebra for $\mathbf{Y}$ $\; - \;$ that is truncations of the function spectra $\operatorname{Fun}(\mathbf{Y}, \mathbf{M})$ for various $\mathbf{E}$-modules $\mathbf{M}$, equipped with the action of $\operatorname{Fun}(\mathbf{M}, \mathbf{M}')$ on them.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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_\bullet$ of $Λ$ by a simplicial space $W_\bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of André-Quillen cohomology classes in $H_{AQ}^{n+2}(Λ;Ω^{n}Λ)$ 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 $Λ$. 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access