Showing 1–26 of 26 results for author: Chacholski, W

Abelian and model structures on tame functors

Authors: Wojciech Chachólski, Barbara Giunti, Claudia Landi, Francesca Tombari

Abstract: In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain co… ▽ More In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a structure theorem for cofibrant objects in the category of tame functors indexed by realizations of posets of dimension $1$ with values in the category of chain complexes in an abelian category whose all objects are projectives. Moreover, we introduce a general technique to generate indecomposable objects in the abelian category of functors indexed by finite posets. △ Less

Submitted 23 March, 2024; v1 submitted 10 January, 2023; originally announced January 2023.

Comments: 36 pages, 4 figures

Koszul complexes and relative homological algebra of functors over posets

Authors: Wojciech Chacholski, Andrea Guidolin, Isaac Ren, Martina Scolamiero, Francesca Tombari

Abstract: Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological algebra of such functors, free functors are replaced by an arbitrary family of functors. Relative Betti diagrams encode the multiplicities of these functors in… ▽ More Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological algebra of such functors, free functors are replaced by an arbitrary family of functors. Relative Betti diagrams encode the multiplicities of these functors in minimal relative resolutions. In this article we provide conditions under which grading the chosen family of functors leads to explicit Koszul complexes whose homology dimensions are the relative Betti diagrams, thus giving a scheme for the computation of these numerical descriptors. △ Less

Submitted 23 April, 2024; v1 submitted 13 September, 2022; originally announced September 2022.

MSC Class: 18G25; 55N31

Data, geometry and homology

Authors: Jens Agerberg, Wojciech Chacholski, Ryan Ramanujam

Abstract: Homology-based invariants can be used to characterize the geometry of datasets and thereby gain some understanding of the processes generating those datasets. In this work we investigate how the geometry of a dataset changes when it is subsampled in various ways. In our framework the dataset serves as a reference object; we then consider different points in the ambient space and endow them with a… ▽ More Homology-based invariants can be used to characterize the geometry of datasets and thereby gain some understanding of the processes generating those datasets. In this work we investigate how the geometry of a dataset changes when it is subsampled in various ways. In our framework the dataset serves as a reference object; we then consider different points in the ambient space and endow them with a geometry defined in relation to the reference object, for instance by subsampling the dataset proportionally to the distance between its elements and the point under consideration. We illustrate how this process can be used to extract rich geometrical information, allowing for example to classify points coming from different data distributions. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Realisations of posets and tameness

Authors: Wojciech Chacholski, Alvin Jin, Francesca Tombari

Abstract: We introduce a construction called realisation which transforms posets into posets. We show that realisations share several key features with upper semilattices. For example, we define local dimensions of points in a poset and show that these numbers for realisations behave in a similar way as they do for upper semilattices. Furthermore, similarly to upper semilattices, realisations have well-beha… ▽ More We introduce a construction called realisation which transforms posets into posets. We show that realisations share several key features with upper semilattices. For example, we define local dimensions of points in a poset and show that these numbers for realisations behave in a similar way as they do for upper semilattices. Furthermore, similarly to upper semilattices, realisations have well-behaved discrete approximations which are suitable for capturing homological properties of functors indexed by them. These discretisations are convenient and effective for describing tameness of functors. Homotopical and homological properties of tame functors, particularly those indexed by realisations, are discussed, with emphasis on the use of Koszul complexes to compute Betti diagrams of minimal free resolutions of tame functors indexed by upper semilattices and realisations. △ Less

Submitted 16 October, 2024; v1 submitted 22 December, 2021; originally announced December 2021.

MSC Class: Primary: 06Axx; 18Gxx; 18Axx.Secondary: 55N31; 55Pxx

The Shift-Dimension of Multipersistence Modules

Authors: Wojciech Chachólski, René Corbet, Anna-Laura Sattelberger

Abstract: We present the shift-dimension of multipersistence modules and investigate its algebraic properties. This gives rise to a new invariant of multigraded modules over the multivariate polynomial ring arising from the hierarchical stabilization of the zeroth total multigraded Betti number. We give a fast algorithm for the computation of the shift-dimension of interval modules in the bivariate case. We… ▽ More We present the shift-dimension of multipersistence modules and investigate its algebraic properties. This gives rise to a new invariant of multigraded modules over the multivariate polynomial ring arising from the hierarchical stabilization of the zeroth total multigraded Betti number. We give a fast algorithm for the computation of the shift-dimension of interval modules in the bivariate case. We construct multipersistence contours that are parameterized by multivariate functions and hence provide a large class of feature maps for machine learning tasks. △ Less

Submitted 19 March, 2024; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 20 pages, 4 figures

MSC Class: 55N31; 16W50 (primary); 16G20; 68W30 (secondary)

Journal ref: J Appl. and Comput. Topology 8, 643-667 (2024)

Decomposing filtered chain complexes: geometry behind barcoding algorithms

Authors: Wojciech Chachólski, Barbara Giunti, Alvin Jin, Claudia Landi

Abstract: In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric in… ▽ More In Topological Data Analysis, filtered chain complexes enter the persistence pipeline between the initial filtering of data and the final persistence invariants extraction. It is known that they admit a tame class of indecomposables, called interval spheres. In this paper, we provide an algorithm to decompose filtered chain complexes into such interval spheres. This algorithm provides geometric insights into various aspects of the standard persistence algorithm and two of its run-time optimizations. Moreover, since it works for any filtered chain complexes, our algorithm can be applied in more general cases. As an application, we show how to decompose filtered kernels with it. △ Less

Submitted 9 February, 2022; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: Revised version, decomposition of filtered kernels added

MSC Class: 55N31

Invariants for tame parametrised chain complexes

Authors: Wojciech Chachólski, Barbara Giunti, Claudia Landi

Abstract: We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this categor… ▽ More We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they approximate. △ Less

Submitted 16 November, 2020; v1 submitted 9 March, 2020; originally announced March 2020.

MSC Class: 55PXX; 55N31

Landscapes of data sets and functoriality of persistent homology

Authors: Wojciech Chacholski, Alessandro De Gregorio, Nicola Quercioli, Francesca Tombari

Abstract: The aim of this article is to describe a new perspective on functoriality of persistent homology and explain its intrinsic symmetry that is often overlooked. A data set for us is a finite collection of functions, called measurements, with a finite domain. Such a data set might contain internal symmetries which are effectively captured by the action of a set of the domain endomorphisms. Different c… ▽ More The aim of this article is to describe a new perspective on functoriality of persistent homology and explain its intrinsic symmetry that is often overlooked. A data set for us is a finite collection of functions, called measurements, with a finite domain. Such a data set might contain internal symmetries which are effectively captured by the action of a set of the domain endomorphisms. Different choices of the set of endomorphisms encode different symmetries of the data set. We describe various category structures on such enriched data sets and prove some of their properties such as decompositions and morphism formations. We also describe a data structure, based on coloured directed graphs, which is convenient to encode the mentioned enrichment. We show that persistent homology preserves only some aspects of these landscapes of enriched data sets however not all. In other words persistent homology is not a functor on the entire category of enriched data sets. Nevertheless we show that persistent homology is functorial locally. We use the concept of equivariant operators to capture some of the information missed by persistent homology. △ Less

Submitted 25 May, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

Homotopical decompositions of simplicial and Vietoris Rips complexes

Authors: Wojciech Chacholski, Alvin Jin, Martina Scolamiero, Francesca Tombari

Abstract: Motivated by applications in Topological Data Analysis, we consider decompositions of a simplicial complex induced by a cover of its vertices. We study how the homotopy type of such decompositions approximates the homotopy of the simplicial complex itself. The difference between the simplicial complex and such an approximation is quantitatively measured by means of the so called obstruction comple… ▽ More Motivated by applications in Topological Data Analysis, we consider decompositions of a simplicial complex induced by a cover of its vertices. We study how the homotopy type of such decompositions approximates the homotopy of the simplicial complex itself. The difference between the simplicial complex and such an approximation is quantitatively measured by means of the so called obstruction complexes. Our general machinery is then specialized to clique complexes, Vietoris-Rips complexes and Vietoris-Rips complexes of metric gluings. For the latter we give metric conditions which allow to recover the first and zero-th homology of the gluing from the respective homologies of the components. △ Less

Submitted 9 February, 2020; originally announced February 2020.

On the topology of complexes of injective words

Authors: Wojtek Chacholski, Ran Levi, Roy Meshulam

Abstract: An injective word over a finite alphabet $V$ is a sequence $w=v_1v_2\cdots v_t$ of distinct elements of $V$. The set $\mathrm{inj}(V)$ of injective words on $V$ is partially ordered by inclusion. A complex of injective words is the order complex $Δ(W)$ of a subposet $W \subset \mathrm{inj}(V)$. Complexes of injective words arose recently in applications of algebraic topology to neuroscience, and a… ▽ More An injective word over a finite alphabet $V$ is a sequence $w=v_1v_2\cdots v_t$ of distinct elements of $V$. The set $\mathrm{inj}(V)$ of injective words on $V$ is partially ordered by inclusion. A complex of injective words is the order complex $Δ(W)$ of a subposet $W \subset \mathrm{inj}(V)$. Complexes of injective words arose recently in applications of algebraic topology to neuroscience, and are of independent interest in topology and combinatorics. In this article we mainly study Permutation Complexes, i.e. complexes of injective words $Δ(W)$, where $W$ is the downward closed subposet of $\mathrm{inj}(V)$ generated by a set of permutations of $V$. In particular, we determine the homotopy type of $Δ(W)$ when $W$ is generated by two permutations, and prove that any stable homotopy type is realizable by a permutation complex. We describe a homotopy decomposition for the complex of injective words $Γ(K)$ associated with a simplicial complex $K$, and point out a connection to a result of Randal-Williams and Wahl. Finally, we discuss some probabilistic aspects of random permutation complexes. △ Less

Submitted 9 August, 2019; originally announced August 2019.

Comments: 15 pages

MSC Class: 55U10

A topological data analysis based classification method for multiple measurements

Authors: Henri Riihimäki, Wojciech Chachólski, Jakob Theorell, Jan Hillert, Ryan Ramanujam

Abstract: Machine learning models for repeated measurements are limited. Using topological data analysis (TDA), we present a classifier for repeated measurements which samples from the data space and builds a network graph based on the data topology. When applying this to two case studies, accuracy exceeds alternative models with additional benefits such as reporting data subsets with high purity along with… ▽ More Machine learning models for repeated measurements are limited. Using topological data analysis (TDA), we present a classifier for repeated measurements which samples from the data space and builds a network graph based on the data topology. When applying this to two case studies, accuracy exceeds alternative models with additional benefits such as reporting data subsets with high purity along with feature values. For 300 examples of 3 tree species, the accuracy reached 80% after 30 datapoints, which was improved to 90% after increased sampling to 400 datapoints. Using data from 100 examples of each of 6 point processes, the classifier achieved 96.8% accuracy. In both datasets, the TDA classifier outperformed an alternative model. This algorithm and software can be beneficial for repeated measurement data common in biological sciences, as both an accurate classifier and a feature selection tool. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 8 pages, 7 figures

Metrics and stabilization in one parameter persistence

Authors: Wojciech Chachólski, Henri Riihimäki

Abstract: We propose a new way of thinking about one parameter persistence. We believe topological persistence is fundamentally not about decomposition theorems but a central role is played by a choice of metrics. Choosing a pseudometric between persistent vector spaces leads to stabilization of discrete invariants. We develop theory behind this stabilization and stable rank invariant. We give evidence of t… ▽ More We propose a new way of thinking about one parameter persistence. We believe topological persistence is fundamentally not about decomposition theorems but a central role is played by a choice of metrics. Choosing a pseudometric between persistent vector spaces leads to stabilization of discrete invariants. We develop theory behind this stabilization and stable rank invariant. We give evidence of the usefulness of this approach in concrete data analysis. △ Less

Submitted 6 February, 2020; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: 32 pages, 10 figures, appearing in SIAM Journal on Applied Algebra and Geometry 4-1

MSC Class: 55N99

Generalized persistence analysis based on stable rank invariant

Authors: Henri Riihimäki, Wojciech Chacholski

Abstract: We believe three ingredients are needed for further progress in persistence and its use: invariants not relying on decomposition theorems to go beyond 1-dimension, outcomes suitable for statistical analysis and a setup adopted for supervised and machine learning. Stable rank, a continuous invariant for multidimensional persistence, was introduced in W. Chacholski et al. - Multidimensional persiste… ▽ More We believe three ingredients are needed for further progress in persistence and its use: invariants not relying on decomposition theorems to go beyond 1-dimension, outcomes suitable for statistical analysis and a setup adopted for supervised and machine learning. Stable rank, a continuous invariant for multidimensional persistence, was introduced in W. Chacholski et al. - Multidimensional persistence and noise, 2017. In the current paper we continue this work by demonstrating how one builds an efficient computational pipeline around this invariant and uses it in inference in case of one parameter. We demonstrate some computational evidence of the statistical stability of stable rank. We also show how our framework can be used in supervised learning. △ Less

Submitted 13 June, 2018; originally announced July 2018.

Comments: 17 pages

Stable Invariants for Multiparameter Persistence

Authors: Oliver Gäfvert, Wojciech Chachólski

Abstract: In this paper we explain how to convert discrete invariants into stable ones via what we call hierarchical stabilization. We illustrate this process by constructing stable invariants for multi-parameter persistence modules with respect to the interleaving distance and so called simple noise systems. For one parameter, we recover the standard barcode information. For more than one parameter we prov… ▽ More In this paper we explain how to convert discrete invariants into stable ones via what we call hierarchical stabilization. We illustrate this process by constructing stable invariants for multi-parameter persistence modules with respect to the interleaving distance and so called simple noise systems. For one parameter, we recover the standard barcode information. For more than one parameter we prove that the constructed invariants are in general NP-hard to calculate. A consequence is that computing the feature counting function, proposed by Scolamiero et. al. (2016), is NP-hard. △ Less

Submitted 14 April, 2021; v1 submitted 10 March, 2017; originally announced March 2017.

Relative homological algebra via truncations

Authors: Wojciech Chacholski, Amnon Neeman, Wolfgang Pitsch, Jerome Scherer

Abstract: To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and gluing back the partial resolutions. Our aim is to give a homotopy theoretical interpretation of this procedure, which may be extended to a relat… ▽ More To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and gluing back the partial resolutions. Our aim is to give a homotopy theoretical interpretation of this procedure, which may be extended to a relative setting. We work in an arbitrary abelian category A and fix a class I of "injective objects". We show that Spaltenstein's construction can be captured by a pair of adjoint functors between unbounded chain complexes and towers of non-positively graded ones. This pair of adjoint functors forms what we call a Quillen pair and the above process of truncations, partial resolutions, and gluing, gives a meaningful way to resolve complexes in a relative setting up to a split error term. In order to do homotopy theory, and in particular to construct a well behaved relative derived category D(A; I), we need more: the split error term must vanish. This is the case when I is the class of all injective R-modules but not in general, not even for certain classes of injectives modules over a Noetherian ring. The key property is a relative analogue of Roos's AB4*-n axiom for abelian categories. Various concrete examples such as Gorenstein homological algebra and purity are also discussed. △ Less

Submitted 17 February, 2017; originally announced February 2017.

Comments: 42 pages (including a 10 page long appendix)

MSC Class: 55S45; 55R15; 55R70; 55P20; 22F50

Multidimensional Persistence and Noise

Authors: Martina Scolamiero, Wojciech Chachólski, Anders Lundman, Ryan Ramanujam, Sebastian Öberg

Abstract: In this paper we study multidimensional persistence modules [5,13] via what we call tame functors and noise systems. A noise system leads to a pseudo-metric topology on the category of tame functors. We show how this pseudo-metric can be used to identify persistent features of compact multidimensional persistence modules. To count such features we introduce the feature counting invariant and prove… ▽ More In this paper we study multidimensional persistence modules [5,13] via what we call tame functors and noise systems. A noise system leads to a pseudo-metric topology on the category of tame functors. We show how this pseudo-metric can be used to identify persistent features of compact multidimensional persistence modules. To count such features we introduce the feature counting invariant and prove that assigning this invariant to compact tame functors is a 1-Lipschitz operation. For 1-dimensional persistence, we explain how, by choosing an appropriate noise system, the feature counting invariant identifies the same persistent features as the classical barcode construction. △ Less

Submitted 15 August, 2016; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: Found Comput Math (2016)

Combinatorial presentation of multidimensional persistent homology

Authors: Wojciech Chacholski, Martina Scolamiero, Francesco Vaccarino

Abstract: A multifiltration is a functor indexed by $\mathbb{N}^r$ that maps any morphism to a monomorphism. The goal of this paper is to describe in an explicit and combinatorial way the natural $\mathbb{N}^r$-graded $R[x_1,\ldots, x_r]$-module structure on the homology of a multifiltration of simplicial complexes. To do that we study multifiltrations of sets and vector spaces. We prove in particular that… ▽ More A multifiltration is a functor indexed by $\mathbb{N}^r$ that maps any morphism to a monomorphism. The goal of this paper is to describe in an explicit and combinatorial way the natural $\mathbb{N}^r$-graded $R[x_1,\ldots, x_r]$-module structure on the homology of a multifiltration of simplicial complexes. To do that we study multifiltrations of sets and vector spaces. We prove in particular that the $\mathbb{N}^r$-graded $R[x_1,\ldots, x_r]$-modules that can occur as $R$-spans of multifiltrations of sets are the direct sums of monomial ideals. △ Less

Submitted 28 September, 2014; originally announced September 2014.

Comments: 21 pages, 3 figures

Homotopy excision and cellularity

Authors: Wojciech Chacholski, Jerome Scherer, Kay Werndli

Abstract: Consider a push-out diagram of spaces C <-- A --> B, construct the homotopy push-out, and then the homotopy pull-back of the diagram one gets by forgetting the initial object A. We compare the difference between A and this homotopy pull-back. This difference is measured in terms of the homotopy fibers of the original maps. Restricting our attention to the connectivity of these maps, we recover the… ▽ More Consider a push-out diagram of spaces C <-- A --> B, construct the homotopy push-out, and then the homotopy pull-back of the diagram one gets by forgetting the initial object A. We compare the difference between A and this homotopy pull-back. This difference is measured in terms of the homotopy fibers of the original maps. Restricting our attention to the connectivity of these maps, we recover the classical Blakers-Massey Theorem. △ Less

Submitted 10 March, 2016; v1 submitted 14 August, 2014; originally announced August 2014.

Comments: 22 pages, we took special care in this revised version in distinguishing fiber sets from single fibers, in indicating what we mean by the loop space on a possibly non-connected and unpointed space, thus smoothing the exposition

MSC Class: 55P65 (Primary); 55U35; 55P35; 55P40; 18A30 (Secondary)

Homotopy colimits of nilpotent spaces

Authors: Wojciech Chacholski, Emmanuel Dror Farjoun, Ramon Flores, Jerome Scherer

Abstract: We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified Bousfield-Kan homology completion tower z_k X whose terms we prove are all X-cellular for any X. As straightforward consequences, we show that if X is K-acyclic and ni… ▽ More We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified Bousfield-Kan homology completion tower z_k X whose terms we prove are all X-cellular for any X. As straightforward consequences, we show that if X is K-acyclic and nilpotent for a given homology theory K, then so are all its Postnikov sections, and that any nilpotent space for which the space of pointed self-maps map_*(X,X) is "canonically" discrete must be aspherical. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: Primary 55P60; Secondary 20F18; 55N20; 55R35; 55P20

Journal ref: Geom. Topol. 19 (2015) 2741-2766

On the classification of fibrations

Authors: Martin Blomgren, Wojciech Chacholski

Abstract: Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we prove that this is possible for the category of functors indexed a small category I which assign to any morphism in I a weak equivalence in a given model categor… ▽ More Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we prove that this is possible for the category of functors indexed a small category I which assign to any morphism in I a weak equivalence in a given model category. We identify the homotopy type of this category with the mapping space out of the nerve of I into the classifying space of the space of weak equivalences of values of these functors. We use it to reprove the classical classification of fibration theorem of Stasheff and its generalizations by Dwyer-Kan. △ Less

Submitted 20 June, 2012; originally announced June 2012.

Combinatorial resolutions of multigraded modules and multipersistent homology

Authors: Wojciech Chacholski, Martina Scolamiero, Francesco Vaccarino

Abstract: Let $ R=k[x_1...x_r]$ and $M$ a multigraded $R-$module. In this work we interpret $M$ as a multipersistent homology module and give a multigraded resolution of it. The construction involves cellular resolutions of monomial ideals and reflects the combinatorial structure of multipersistence homology modules. In the one critical case, a multifiltration is represented by a labelled cellular complex.… ▽ More Let $ R=k[x_1...x_r]$ and $M$ a multigraded $R-$module. In this work we interpret $M$ as a multipersistent homology module and give a multigraded resolution of it. The construction involves cellular resolutions of monomial ideals and reflects the combinatorial structure of multipersistence homology modules. In the one critical case, a multifiltration is represented by a labelled cellular complex. A multipersistence homology module measures the defect of acyclicity of the associated multigraded cellular chain complex. △ Less

Submitted 21 December, 2015; v1 submitted 8 June, 2012; originally announced June 2012.

Comments: This paper has been overcome by Combinatorial presentation of multidimensional persistent homology. Wojciech Chacholski, Martina Scolamiero, Francesco Vaccarino. arXiv:1409.7936

MSC Class: 55Nxx (Primary) 13D02 (Secondary)

Idempotent deformations of finite groups

Authors: Martin Blomgren, Wojciech Chachólski, Emannuel Dror Farjoun, Yoav Segev

Abstract: The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined. The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined. △ Less

Submitted 3 May, 2012; v1 submitted 30 April, 2012; originally announced April 2012.

Homotopy exponents for large H-spaces

Authors: Wojciech Chacholski, Wolfgang Pitsch, Jerome Scherer, Don Stanley

Abstract: We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley. We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley. △ Less

Submitted 9 April, 2008; originally announced April 2008.

Comments: 4 pages

MSC Class: 55P45 (Primary); 55Q99; 55S10; 55U20 (Secondary)

Representations of Spaces

Authors: W. Chacholski, J. Scherer

Abstract: We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be able to construct resolutions. We prove that the homotopy category of any monoidal model category is always a central algebra over the homotopy category of Spa… ▽ More We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be able to construct resolutions. We prove that the homotopy category of any monoidal model category is always a central algebra over the homotopy category of Spaces. △ Less

Submitted 5 February, 2008; v1 submitted 23 November, 2005; originally announced November 2005.

Comments: Final version, almost as it will appear in "Algebraic and Geometric Topology"; 30 pages

MSC Class: 55U35; 18G55 (Primary); 18G10 (Secondary)

Journal ref: Algebr. Geom. Topol. 8 (2008) 245-278

Homotopy pull-back squares up to localization

Authors: W. Chacholski, W. Pitsch, J. Scherer

Abstract: We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward consequence. Likewise we characterize the class of squares which are homotopy pull-backs "up to Bousfield localization". This yields a generalization of Puppe's theo… ▽ More We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward consequence. Likewise we characterize the class of squares which are homotopy pull-backs "up to Bousfield localization". This yields a generalization of Puppe's theorem which allows to identify the homotopy type of the localized homotopy fiber. When the localization functor is homological localization this is one of the key ingredients in the group completion theorem. △ Less

Submitted 17 January, 2005; originally announced January 2005.

Comments: 18 pages

MSC Class: 55P60; 55R70 (Primary) 55U35; 18G55 (Secondary)

Homotopy theory of diagrams

Authors: Wojciech Chacholski, Jerome Scherer

Abstract: In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. Our key result says that if a category admits a model approximation then so does any diagram category with values in this category. From the homotopy the… ▽ More In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. Our key result says that if a category admits a model approximation then so does any diagram category with values in this category. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors "indexed by spaces", the key role in all our arguments is played by the geometric nature of the indexing categories. △ Less

Submitted 30 October, 2001; originally announced October 2001.

Comments: 95 pages with index

MSC Class: Primary 55U35; 18G55; Secondary 18G10; 18F05; 55U30; 55P65