BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

David Blanc

David Blanc appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ATmath.CTmath.DG

Catalog footprint

What is connected

16works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 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
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.

0 citations0 reviewsNo code linkedOpen 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=\mathbb{F}_p$ or $\mathbb{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.

0 citations0 reviewsNo code linkedOpen 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 $(X_H)_{H\leq G}$ for a $G$-space $X$, together with a pointed homotopy action of the group $N_{G}H/H$ on $X^{H}/(\bigcup_{H<K} X^{K})$. We then describe a procedure for constructing a suitable diagram $\underline{X}:O_G^{op}\to 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\to Y$.

0 citations0 reviewsNo code linkedOpen 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

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

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.

0 citations0 reviewsNo code linkedOpen access