Showing 1–44 of 44 results for author: Blanc, D

A Model for the André-Quillen Cohomology of an $(\infty,1)$-Category

Authors: David Blanc, Simona Paoli

Abstract: We describe a comonad on $n$-track categories, for each $n\geq 0$ yielding an explicit cosimplicial abelian group model for the André-Quillen cohomology of an $(\infty,1)$-category. We describe a comonad on $n$-track categories, for each $n\geq 0$ yielding an explicit cosimplicial abelian group model for the André-Quillen cohomology of an $(\infty,1)$-category. △ Less

Submitted 14 June, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: updated introduction

MSC Class: 55S45; 18G50; 18B40

Homotopy types of diagrams of chain complexes

Authors: David Blanc, Surojit Ghosh, Aziz Kharoof

Abstract: We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces. We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Human-System Interface Style Guide for ACORN Digital Control System

Authors: Rachael Hill, Madelyn Polzin, Zachary Spielman, Casey Kovesdi, Dr Katya Le Blanc

Abstract: The purpose of this style guide is to assist developers in designing effective and consistent-looking user interfaces for accelerator control rooms. A similar purpose is to help developers avoid the creation of user interfaces that needlessly stray from the accepted standard set forth in this document. This way, all interfaces combined will look congruous. This is especially beneficial for develop… ▽ More The purpose of this style guide is to assist developers in designing effective and consistent-looking user interfaces for accelerator control rooms. A similar purpose is to help developers avoid the creation of user interfaces that needlessly stray from the accepted standard set forth in this document. This way, all interfaces combined will look congruous. This is especially beneficial for development that spans multiple years by many different contributors. This document is intended as a ready reference source for all user interface design for the Fermilab accelerator complex. △ Less

Submitted 22 December, 2023; v1 submitted 19 December, 2023; originally announced December 2023.

Report number: ACORN-doc-1475 FERMILAB-TM-2812-AD

The algebra of higher homotopy operations

Authors: Samik Basu, David Blanc, Debasis Sen

Abstract: We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure. We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure. △ Less

Submitted 22 July, 2023; originally announced July 2023.

André-Quillen Cohomology and $k$-invariants of simplicial categories

Authors: David Blanc, Nicholas Meadows

Abstract: Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the André-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$ take value. Given a map of simplicial categories $φ:\mathcal{Y}\rightarrow P^{(n-1)} \mathcal{X}$ into a Postnikov section of $\mathcal{X}$, we use a homotopy colimit… ▽ More Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the André-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$ take value. Given a map of simplicial categories $φ:\mathcal{Y}\rightarrow P^{(n-1)} \mathcal{X}$ into a Postnikov section of $\mathcal{X}$, we use a homotopy colimit decomposition of $\mathcal{Y}$ to study the obstruction to lifting $φ$ to $P^{(n)}\mathcal{X}$. In particular, an explicit description of this obstruction for the boundary of a cube can be used to recover various higher homotopy invariants of $\mathcal{X}$. △ Less

Submitted 30 April, 2024; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: Final Version (Accepted to Homology, Homotopy and Applications)

MSC Class: 55S35 (primary); 55S45; 18M60

Symmetric Configuration spaces of linkages

Authors: David Blanc, Nir Shvalb

Abstract: 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… ▽ More 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. △ Less

Submitted 17 July, 2022; originally announced July 2022.

Comments: 45 pages, 29 figures

MSC Class: Primary 70G40; Secondary 57R45; 70B15

Localization of $(\infty, 1)$-categories and spectral sequences

Authors: David Blanc, Nicholas Meadows

Abstract: 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. 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. △ Less

Submitted 28 April, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

MSC Class: Primary: 55T05; Secondary: 18N55; 18N60

Spectral Sequences in $(\infty, 1)$-Categories

Authors: David Blanc, Nicholas Meadows

Abstract: We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner. We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner. △ Less

Submitted 30 September, 2021; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: Pre copy-edited post-acceptance version of a paper to appear in Journal of Pure and Applied Algebra

MSC Class: 55T05 (primary); 18N60; 55U40

The higher structure of unstable homotopy groups

Authors: Samik Basu, David Blanc, Debasis Sen

Abstract: We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $Δ^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by Whitehead products and the group structure. This provides a stronger unstable analogue of Cohen's theorem on the decomposition of stable homotopy. We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $Δ^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by Whitehead products and the group structure. This provides a stronger unstable analogue of Cohen's theorem on the decomposition of stable homotopy. △ Less

Submitted 4 October, 2023; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: The articles 'The higher structure of unstable homotopy groups' and 'Note on Toda brackets' subsume the submission 1810-06005

Map** algebras and the Adams spectral sequence

Authors: David Blanc, Surojit Ghosh

Abstract: 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… ▽ More 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}$-map** 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. △ Less

Submitted 3 July, 2020; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: To appear in "Homology, Homotopy and Applications"

MSC Class: 55T15

Higher homotopy invariants for spaces and maps

Authors: David Blanc, Mark W. Johnson, James M. Turner

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 differ… ▽ More 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 $π_* X$ to $π_* Y$. △ Less

Submitted 20 November, 2020; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 51 pages

MSC Class: 55Q35 (Primary); 55P15; 18G30; 55U35

Journal ref: Algebr. Geom. Topol. 21 (2021) 2425-2488

Representability theorems, up to homotopy

Authors: David Blanc, Boris Chorny

Abstract: We prove two representability theorems, up to homotopy, for presheaves taking values in a closed symmetric combinatorial model category \cat V. The first theorem resembles the Freyd representability theorem, the second theorem is closer to the Brown representability theorem. As an application we discuss a recognition principle for map** spaces. We prove two representability theorems, up to homotopy, for presheaves taking values in a closed symmetric combinatorial model category \cat V. The first theorem resembles the Freyd representability theorem, the second theorem is closer to the Brown representability theorem. As an application we discuss a recognition principle for map** spaces. △ Less

Submitted 23 July, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

Comments: V2: minor improvements suggested by the referee; 10 pages

MSC Class: 55U35 (Primary); 55P99; 18D20 (Secondary)

Note on Toda brackets

Authors: Samik Basu, David Blanc, Debasis Sen

Abstract: 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. 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. △ Less

Submitted 1 April, 2020; v1 submitted 14 October, 2018; originally announced October 2018.

MSC Class: Primary: 55Q35; secondary: 55P99; 55Q40

A constructive approach to higher homotopy operations

Authors: David Blanc, Mark W. Johnson, James M. Turner

Abstract: In this paper we provide an explicit general construction of higher homotopy operations in model categories, which include classical examples such as (long) Toda brackets and (iterated) Massey products, but also cover unpointed operations not usually considered in this context. We show how such operations, thought of as obstructions to rectifying a homotopy-commutative diagram, can be defined in t… ▽ More In this paper we provide an explicit general construction of higher homotopy operations in model categories, which include classical examples such as (long) Toda brackets and (iterated) Massey products, but also cover unpointed operations not usually considered in this context. We show how such operations, thought of as obstructions to rectifying a homotopy-commutative diagram, can be defined in terms of a double induction, yielding intermediate obstructions as well. △ Less

Submitted 20 September, 2018; originally announced September 2018.

MSC Class: 55; 18

Comonad Cohomology of Track Categories

Authors: David Blanc, Simona Paoli

Abstract: We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where th… ▽ More We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where the track category is a $2$-groupoid. △ Less

Submitted 14 April, 2019; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: The paper has been re-written more concisely to improve readability. To appear in Journal of Homotopy and Related Structures

MSC Class: 55S45; 18G50; 18B40

Higher structure in the unstable Adams spectral sequence

Authors: Samik Basu, David Blanc, Debasis Sen

Abstract: We describe a variant construction of the unstable Adams spectral the sequence for a space $Y$, associated to any free simplicial resolution of $H^*(Y;R)$ for $R=\mathbb{F}_p$ or $\mathbb{Q}$. We use this construction to describe the differentials and filtration in the spectral sequence in terms of appropriate systems of higher cohomology operations. We describe a variant construction of the unstable Adams spectral the sequence for a space $Y$, associated to any free simplicial resolution of $H^*(Y;R)$ for $R=\mathbb{F}_p$ or $\mathbb{Q}$. We use this construction to describe the differentials and filtration in the spectral sequence in terms of appropriate systems of higher cohomology operations. △ Less

Submitted 4 September, 2017; originally announced September 2017.

MSC Class: Primary: 55T15; Secondary: 55S20; 55P60

Configuration spaces of spatial linkages: Taking Collisions Into Account

Authors: David Blanc, Nir Shvalb

Abstract: We construct a completed version C(Gamma) of the configuration space of a linkage Gamma in R^3 which takes into account the ways one link can touch another. We also describe a simplified version of C(Gamma) which is a blow-up of the space of immersions of Gamma in R^3 A number of simple detailed examples are given. We construct a completed version C(Gamma) of the configuration space of a linkage Gamma in R^3 which takes into account the ways one link can touch another. We also describe a simplified version of C(Gamma) which is a blow-up of the space of immersions of Gamma in R^3 A number of simple detailed examples are given. △ Less

Submitted 25 May, 2017; originally announced May 2017.

Higher cohomology operations and R-completion

Authors: David Blanc, Debasis Sen

Abstract: Let $R=\mathbb{F}_p$ or a field of characteristic $0$. For each $R$-good topological space $Y$, we define a collection of higher cohomology operations which, together with the cohomology algebra $H^*(Y;R)$ suffice to determine $Y$ up to $R$-completion. We also provide a similar collection of higher cohomology operations which determine when two maps $f_0,f_1: Z\to Y$ between $R$-good spaces(induci… ▽ More Let $R=\mathbb{F}_p$ or a field of characteristic $0$. For each $R$-good topological space $Y$, we define a collection of higher cohomology operations which, together with the cohomology algebra $H^*(Y;R)$ suffice to determine $Y$ up to $R$-completion. We also provide a similar collection of higher cohomology operations which determine when two maps $f_0,f_1: Z\to Y$ between $R$-good spaces(inducing the same algebraic homomorphism $H^*(Y;R)\to H^*(Z;R)$) are $R$-equivalent. △ Less

Submitted 10 December, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: Final version, to appear in Algebraic and Geometric Topology

MSC Class: 55P60 (Primary) 55P20; 55N99; 55P15 (Secondary)

Higher Toda brackets and Massey products

Authors: Hans-Joachim Baues, David Blanc, Shilpa Gondhali

Abstract: 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. 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. △ Less

Submitted 8 March, 2015; originally announced March 2015.

MSC Class: 18G55; 55S20; 55S30; 55Q35; 18D20

Map** spaces and R-completion

Authors: David Blanc, Debasis Sen

Abstract: 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 map** algebra structure on X (defined in terms of product-preserving simplicial functors out of a certain simplicially-enriched sketch). In addition, when… ▽ More 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 map** 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 map** algebra structure. Most importantly, our methods provide a new way of looking at the classical Bousfield-Kan R-completion. △ Less

Submitted 14 January, 2014; v1 submitted 22 April, 2013; originally announced April 2013.

Comments: 38 pages, revised version

MSC Class: Primary: 55P48; Secondary: 55P20; 55P60; 55U35

Recognizing map** spaces

Authors: Bernard Badzioch, David Blanc, Wojciech Dorabiala

Abstract: 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 map** 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… ▽ More 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 map** 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. △ Less

Submitted 23 May, 2013; v1 submitted 27 March, 2013; originally announced March 2013.

Comments: 24 pages, incorporated corrections based on referee's report, to appear in Journal of Pure and Applied Algebra

MSC Class: 55Q35 (Primary) 55N99; 55S20; 18G55 (Secondary)

Truncated Derived Functors and Spectral Sequences

Authors: Hans-Joachim Baues, David Blanc, Boris Chorny

Abstract: The $E_2$ term of the Adams spectral sequence may be identified with certain derived functors, and this also holds for a number of other spectral sequences. Our goal is to show how the higher terms of such spectral sequences are determined by truncations of relative derived functors, defined in terms of certain simplicial functors called map** algebras The $E_2$ term of the Adams spectral sequence may be identified with certain derived functors, and this also holds for a number of other spectral sequences. Our goal is to show how the higher terms of such spectral sequences are determined by truncations of relative derived functors, defined in terms of certain simplicial functors called map** algebras △ Less

Submitted 26 August, 2019; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: Major revision - new coauthor and title

MSC Class: 55T05; 18G55; 18G10; 55S45

Realizing homotopy group actions

Authors: David Blanc, Debasis Sen

Abstract: 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 o… ▽ More 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$. △ Less

Submitted 13 February, 2014; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: 23 pages

MSC Class: 55P91 (Primary) 55S35; 55R35; 58E40 (Secondary)

Segal-type algebraic models of n-types

Authors: David Blanc, Simona Paoli

Abstract: 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-type… ▽ More 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 △ Less

Submitted 17 June, 2014; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: Added index of terminology and notation. Minor amendments and added details is some definitions and proofs. Some typos corrected

MSC Class: 55S45; 18G50; 18B40

Journal ref: Algebr. Geom. Topol. 14 (2014) 3419-3491

A spectral sequence in Bredon cohomology

Authors: David Blanc, Debasis Sen

Abstract: 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. 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. △ Less

Submitted 7 January, 2013; v1 submitted 16 April, 2012; originally announced April 2012.

Comments: 23 pages, final version, To appear in JHRS

MSC Class: 55N25 (Primary) 55P91; 55N91; 55T99 (Secondary)

Generic singular configurations of linkages

Authors: David Blanc, Nir Shvalb

Abstract: 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 crite… ▽ More 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. △ Less

Submitted 11 December, 2011; originally announced December 2011.

MSC Class: 70G40 (Primary) 57R45; 70B15 (Secondary)

Higher order derived functors and the Adams spectral sequence

Authors: Hans-Joachim Baues, David Blanc

Abstract: 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… ▽ More 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. △ Less

Submitted 1 May, 2014; v1 submitted 16 August, 2011; originally announced August 2011.

Comments: To appear in J. Pure & Appl. Algebra

MSC Class: Primary: 18G10; secondary: 55T15; 55S20

Higher homotopy operations and André-Quillen cohomology

Authors: David Blanc, Mark W. Johnson, James M. Turner

Abstract: 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 o… ▽ More 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. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 39 pages, 3 figures

Stems and Spectral Sequences

Authors: Hans-Joachim Baues, David Blanc

Abstract: 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… ▽ More 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. △ Less

Submitted 25 August, 2010; originally announced August 2010.

MSC Class: Primary: 55T05. Secondary: 18G55; 18G10; 55S45

Journal ref: Algebr. Geom. Topol. 10 (2010) 2061-2078

Comparing cohomology obstructions

Authors: Hans-Joachim Baues, David Blanc

Abstract: 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… ▽ More 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 map** algebra: a simplicially enriched version of an algebra over a theory. △ Less

Submitted 10 August, 2010; originally announced August 2010.

MSC Class: Primary: 55S35; Secondary: 55Q05; 18G55; 55T25

Two-track categories

Authors: David Blanc, Simona Paoli

Abstract: 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 map** 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. 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 map** 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. △ Less

Submitted 17 February, 2010; originally announced February 2010.

MSC Class: 18G55

Higher homotopy operations and cohomology

Authors: David Blanc, Mark W. Johnson, James M. Turner

Abstract: 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. 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. △ Less

Submitted 29 May, 2009; originally announced June 2009.

Comments: 28 pages

MSC Class: 55Q35; 55N99; 55S20; 18G55

On local-to-global spectral sequences for the cohomology of diagrams

Authors: David Blanc, Mark W. Johnson, James M. Turner

Abstract: The aim of this paper is to construct and examine three candidates for local-to-global spectral sequences for the cohomology of diagrams of algebras with directed indexing. In each case, the $E^2$ -terms can be viewed as a type of local cohomology relative to a map or an object in the diagram. The aim of this paper is to construct and examine three candidates for local-to-global spectral sequences for the cohomology of diagrams of algebras with directed indexing. In each case, the $E^2$ -terms can be viewed as a type of local cohomology relative to a map or an object in the diagram. △ Less

Submitted 29 May, 2008; v1 submitted 27 February, 2008; originally announced February 2008.

Comments: 27 pages; incorporated corrections based on referee's report and added a few references

Journal ref: J. Pure & Appl. Alg. 213 (2009) 34-53

Generalized André-Quillen Cohomology

Authors: David Blanc

Abstract: We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them. As a side benefit, we clarify exactly what assumptions on an (algebraic) category are needed in order for the approach of Beck and Andre-Quillen to work.… ▽ More We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them. As a side benefit, we clarify exactly what assumptions on an (algebraic) category are needed in order for the approach of Beck and Andre-Quillen to work. We also show how the description may be applied to construct universal coefficient and reverse Adams spectral sequences. △ Less

Submitted 14 February, 2008; originally announced February 2008.

Comments: 27 pages

MSC Class: 55N20; 18G55

Towards Low Cost Coupling Structures for Short-Distance Optical Interconnections

Authors: N. Hendrickx, J. Van Erps, T. Alajoki, N. Destouches, D. Blanc, J. Franc, P. Karioja, H. Thienpont, P. Van Daele

Abstract: The performance of short distance optical interconnections in general relies very strongly on coupling structures, since they will determine the overall efficiency of the system to a large extent. Different configurations can be considered and a variety of manufacturing technologies can be used. We present two different discrete and two different integrated coupling components which can be used… ▽ More The performance of short distance optical interconnections in general relies very strongly on coupling structures, since they will determine the overall efficiency of the system to a large extent. Different configurations can be considered and a variety of manufacturing technologies can be used. We present two different discrete and two different integrated coupling components which can be used to deflect the light beam over 90 degrees and can play a crucial role when integrating optical interconnections in printed circuit boards. The fabrication process of the different coupling structures is discussed and experimental results are shown. The main characteristics of the coupling structures are given. The main advantages and disadvantages of the different components are discussed. △ Less

Submitted 2 September, 2007; originally announced September 2007.

Journal ref: Dans Proceedings of the 16th European Microelectronics and Packaging Conference - 16th European Microelectronics and Packaging Conference, Finlande (2007)

Comparing homotopy categories

Authors: David Blanc

Abstract: Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C. Examples include finding spaces with given homology or homotopy groups. Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C. Examples include finding spaces with given homology or homotopy groups. △ Less

Submitted 19 June, 2006; originally announced June 2006.

Comments: 28 pages

MSC Class: 55U35; 55P65; 55Q35; 18G55

On realizing diagrams of Pi-algebras

Authors: David Blanc, Mark W Johnson, James M Turner

Abstract: Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an obstruction theory, of somewhat wider application, formulated in terms of generalized Pi-algebras. This extends a program begun in [J. Pure Appl. Alg. 103 (1995) 167-1… ▽ More Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an obstruction theory, of somewhat wider application, formulated in terms of generalized Pi-algebras. This extends a program begun in [J. Pure Appl. Alg. 103 (1995) 167-188] and [Topology 43 (2004) 857-892] to study the realization of a single Pi-algebra. In particular, we explicitly analyze the simple case of a single map, and provide a detailed example, illustrating the connections to higher homotopy operations. △ Less

Submitted 3 April, 2009; v1 submitted 7 April, 2006; originally announced April 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 21 June 2006

MSC Class: 18G55; 55P65; 55Q05

Journal ref: Algebr. Geom. Topol. 6 (2006) 763-807

Moduli spaces of homotopy theory

Authors: David Blanc

Abstract: The moduli spaces refered to are topological spaces whose path components parametrize homotopy types. Such objects have been studied in two separate contexts: rational homotopy types, in the work of several authors in the late 1970's; and general homotopy types, in the work of Dwyer-Kan and their collaborators. We here explain the two approaches, and show how they may be related to each other. The moduli spaces refered to are topological spaces whose path components parametrize homotopy types. Such objects have been studied in two separate contexts: rational homotopy types, in the work of several authors in the late 1970's; and general homotopy types, in the work of Dwyer-Kan and their collaborators. We here explain the two approaches, and show how they may be related to each other. △ Less

Submitted 5 October, 2004; originally announced October 2004.

Comments: 25 pages

MSC Class: 55P15; 55Q99.55P62; 18G30

Homotopy operations and rational homotopy type

Authors: David Blanc

Abstract: We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,α} to the Quillen DGL model for X. The operations lie in suitable cohomology groups H^*{L^{(k,α)}; π_* X\otimes Q} of these DGLs. To facilitate the recovery of an integral version… ▽ More We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,α} to the Quillen DGL model for X. The operations lie in suitable cohomology groups H^*{L^{(k,α)}; π_* X\otimes Q} of these DGLs. To facilitate the recovery of an integral version of the operations from the rational description, we also define a differential graded non-associative algebra model for rational spaces. △ Less

Submitted 5 October, 2004; originally announced October 2004.

Comments: 28 pages

MSC Class: 55P62; 55Q35; 55P15; 18G50

Journal ref: "Algebraic Topology: categorical decomposition techniques", Progress in Mathematics 215 (2003), pp. 47-75

Higher Homotopy Operations

Authors: David Blanc, Martin Markl

Abstract: We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and perm… ▽ More We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and permutahedra) arise in this way. △ Less

Submitted 10 July, 2002; originally announced July 2002.

Comments: LaTeX, 29 pages

CW simplicial resolutions of spaces, with an application to loop spaces

Authors: David Blanc

Abstract: We show how a certain type of CW simplicial resolutions of space by wedges of spheres may be constructed for any topological space, and how such resolutions yield an obstruction theory for a given space X to be a loop space. We show how a certain type of CW simplicial resolutions of space by wedges of spheres may be constructed for any topological space, and how such resolutions yield an obstruction theory for a given space X to be a loop space. △ Less

Submitted 22 December, 1999; originally announced December 1999.

Comments: AMSLATEX, 20 pages

MSC Class: 55Q05 (Primary) 55P35; 18G55; 55Q35 (Secondary)

Journal ref: Topology & Applic. 100 (1999), 151-175

Realizing coalgebras over the Steenrod algebra

Authors: David Blanc

Abstract: We describe algebraic obstruction theories for realizing an abstract coalgebra K_* over the mod p Steenrod algebra as the homology of a topological space, and for distinguishing between the p-homotopy types of different realizations. The theories are expressed in terms of the Quillen cohomology of K_*. We describe algebraic obstruction theories for realizing an abstract coalgebra K_* over the mod p Steenrod algebra as the homology of a topological space, and for distinguishing between the p-homotopy types of different realizations. The theories are expressed in terms of the Quillen cohomology of K_*. △ Less

Submitted 22 December, 1999; originally announced December 1999.

Comments: AMSLATEX, 24 pages

MSC Class: 55S10 (Primary) 18G55 (Secondary)

Algebraic invariants for homotopy types

Authors: David Blanc

Abstract: We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for… ▽ More We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types. △ Less

Submitted 7 December, 1998; originally announced December 1998.

MSC Class: 55S45; 55Q35; 55P15; 18G10; 18G55

Loop spaces and homotopy operations

Authors: David Blanc

Abstract: The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy groups. First, we show how an H-space structure on X can be used to define the action of the primary homotopy operations on the shifted homotopy groups π_{… ▽ More The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy groups. First, we show how an H-space structure on X can be used to define the action of the primary homotopy operations on the shifted homotopy groups π_{*-1} X (which are isomorphic to π_* Y, if X=Ω\Y. This action will behave properly with respect to composition of operations if X is homotopy-associative, and will lift to a topological action of the monoid of all maps between spheres if and only if X is a loop space. The obstructions to having such a topological action may be formulated in the framework of an obstruction theory for realizing Π-algebras, which is simplified here by showing that any (suitable) Δ-simplicial space may be made into a full simplicial space (a result which may be useful in other contexts). △ Less

Submitted 13 March, 1998; originally announced March 1998.

MSC Class: 55P45 (Primary); 55Q35 (Secondary)

Journal ref: Fundamenta Mathematicae 154 (1997), 75-95