Projective modules and the homotopy classification of $(G,n)$-complexes
John Nicholson
备注：
28 pages. Minor correction to the definition of the Aut(G)-action in Theorem B. More details added throughout. Final version, to appear in Algebraic & Geometric Topology
A $(G,n)$-complex is an $n$-dimensional CW-complex with fundamental group $G$ and whose universal cover is $(n-1)$-connected. If $G$ has periodic cohomology then, for appropriate $n$, we show that there is a one-to-one correspondence between the homotopy types of finite $(G,n)$-complexes and the orbits of the stable class of a certain projective $\mathbb{Z} G$-module under the action of $\text{Aut}(G)$. We develop techniques to compute this action explicitly and use this to give an example where the action is non-trivial.
In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $Δ$-complexes, respectively. The functors of classifying spaces and face posets are compatible with these homotopy theories. In contrast with the classical settings of finite spaces and simplicial complexes, the universality of morphisms and simplices plays a central role in this paper.
We generalize some homotopy calculation techniques such as splittings and matching trees that are introduced for the computations in the case of the independence complexes of graphs to arbitrary simplicial complexes, and exemplify their efficiency on some simplicial complexes, the devoid complexes of graphs, which are simplicial complexes parametrized by graphs. Additionally, we compute the homotopy type of dominance complexes of chordal graphs.
We study the asymptotic behavior of the homotopy groups of simply connected finite $p$-local complexes, and define a space to be locally hyperbolic if its homotopy groups have exponential growth. Under some certain conditions related to the functorial decomposition of loop suspension, we prove that the suspended finite complexes are locally hyperbolic if suitable but accessible information of the homotopy groups is known. In particular, we prove that Moore spaces are locally hyperbolic, and other candidates are also given.
In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.
This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz homomorphism. Eilenberg-Mac Lane-spaces are constructed explicitly and can then be used to define spectral cohomology. In the end the equivalence to the usual simplicial cohomology is shown.
Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops on certain cell attachments. Key examples are (n-1)-connected Poincare Duality complexes of dimension 2n or 2n+1 with minor cohomological conditions.
Finitely dominated chain complexes over a Laurent polynomial ring in one indeterminate are characterised by vanishing of their Novikov homology. We present an algebro-geometric approach to this result, based on extension of chain complexes to sheaves on the projective line. We also discuss the K-theoretical obstruction to extension.
We construct a functor from the category of $(\mathbb{Z},X)$-modules of Ranicki (cf. \cite{Ra92}) to the category of homotopy cosheaves of chain complexes of Ranicki-Weiss (cf. \cite{RaWei10}) inducing an equivalence on $L$-theory. The $L$-theory of $(\mathbb{Z},X)$-modules is central in the algebraic formulation of the surgery exact sequence and in the construction of the total surgery obstruction by Ranicki, as described in \cite{Ra79}. The symmetric $L$-theory of homotopy cosheaf complexes is used by Ranicki-Weiss in \cite{RaWei10}, to reprove the topological invariance of rational Pontryag…
This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Consequently, $C(*)$ is an algebraic model for integral homotopy types similar to Quillen's model of rational homotopy types. For finite CW complexes, our model is finitely generated. Our result implies …
We define an order relation among oriented $PD_4$-complexes. We show that with respect to this relation, two $PD_4$-complexes over the same complex are homotopy equivalent if and only if there is an isometry between the second homology groups. We also consider minimal objects of this relation.
Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However, the cofibrant objects are not complexes of projectives, but rather all complexes of flat modules. The trivial objects are what Positselski calls contraacyclic complexes and so the homotopy category coincides with his contraderived category. We in fact construct this model on the category of chain complexes of quasi-coherent sheaves on any scheme $X$ admitting…
In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicial sets to induce an equivalence at the level of homotopy categories. We then apply this result to strict $n$-categories and augmented directed complexes, for which the hypothesis of our theorem were e…
We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.
We show that if a graph $G$ involves a certain square grid graph as a full subgraph, then a certain operation on it yields a simplicial suspension of the independence complex of $G$. This generalizes a result of Csorba. As a corollary, we determine the simple homotopy types of the independence complexes of some grid graphs.
We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy…
By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m (X_{p})$ is in general different from $\mathcal{E}_{\#}^m (X)_{p}$. That is the case even when $X=K(G,1)$ is a finite complex and/or $G$ satisfies extra finiteness or nilpotency conditions, for instance, when $G$ is finite or virtually nilpotent.
We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the D-topology, every smooth cell complex is a topological cell complex (cf. Proposition 2). It is paracompact and Hausdorff if it is countable (cf. Proposition 8). (2) Every continuous map between gathered cell complexes is continuously homotopic to a smooth map (cf. Theorem 5). (3) Any topological cell complex is continuously homotopy equivalent to a gathered (hen…
In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then the Morse complex is strongly collapsible and hence has the homotopy type of a point. We also show that the pure Morse complex of a tree is strongly collapsible, thereby recovering as a corollary a result of Ayala et al. In addition, we prove that the Morse complex of a disjoint union $K\sqcup L$ is the Morse complex of the join $K*L$. This result is used to…
In this paper, we study the homotopy groups of a shrinking wedge $X$ of a sequence $\{X_j\}$ of non-simply connected CW-complexes. Using a combination of generalized covering space theory and shape theory, we construct a canonical homomorphism $$Θ:π_n(X)\to\prod_{j\in\mathbb{N}}\bigoplus_{π_1(X)/π_1(X_j)}π_n(X_j),$$ characterize its image, and prove that $Θ$ is injective whenever each universal cover $\widetilde{X}_j$ is $(n-1)$-connected. These results (1) provide a characterization of the $n$-th homotopy group of the shrinking wedge of copies of $\mathbb{RP}^n$, (2) provide a characterizatio…
Combinatorially and stochastically defined simplicial complexes often have the homotopy type of a wedge of spheres. A prominent conjecture of Kahle quantifies this precisely for the case of random flag complexes. We explore whether such properties might extend to graphs arising from nature. We consider the brain network (as reconstructed by Varshney & al.) of the Caenorhabditis elegans nematode, an important model organism in biology. Using an iterative computational procedure based on elementary methods of algebraic topology, namely homology, simplicial collapses and coning operations, we sho…
For $r\geq 1$, the $r$-independence complex of a graph $G$ is a simplicial complex whose faces are subset $I \subseteq V(G)$ such that each component of the induced subgraph $G[I]$ has at most $r$ vertices. In this article, we determine the homotopy type of $r$-independence complexes of certain families of graphs including complete $s$-partite graphs, fully whiskered graphs, cycle graphs and perfect $m$-ary trees. In each case, these complexes are either homotopic to a wedge of equi-dimensional spheres or are contractible. We also give a closed form formula for their homotopy types.
We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is homotopy equivalent to a wedge of suspensions of smashes of the X_i's. This generalises earlier work of the two authors in the special case where each X_i is a loop space. Connections are made to toric topology, combinatorics, and classical homotopy theory.
We show that for the homotopy category K(Ab) of complexes of abelian groups, both Brown representability and Brown representability for the dual fail. We also provide an example of a localizing subcategory of K(Ab) for which the inclusion into K(Ab) does not have a right adjoint.
Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category.
We outline the main features of the definitions and applications of crossed complexes and cubical $ω$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the cohomology of groups, with the ability to obtain some non commutative results and compute some homotopy types.
In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes. To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice ${\mathcal L}$ we describe a formal deformation of the barycentric subdivision of the atom crosscut complex $Γ({\mathcal L})$ to its order complex $Δ(\bar{\mathca…
We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces K(pi,n), where pi is a finitely generated ZG-module. This result will be used in a forthcoming paper to construct equivariant Postnikov towers of simply connected spaces with free actions of a finite group G and further to compute stable equivariant homotopy classes of maps between such spaces. The methods of this paper work for modules over any non-negatively…
For $n \in \mathbb{N}$, let $h(n)$ denote the number of simplicial complexes on $n$ vertices up to homotopy equivalence. Here we prove that $h(n) \geq 2^{2^{0.02n}}$ when $n$ is large enough. Together with the trivial upper bound of $2^{2^n}$ on the number of labeled simplicial complexes on $n$ vertices this proves a conjecture of Kalai that $h(n)$ is doubly exponential in $n$.
For a pair $(H_1,H_2)$ of graphs, Lovász introduced a polytopal complex called the Hom complex $\text{Hom}(H_1,H_2)$, in order to estimate topological lower bounds for chromatic numbers of graphs. The definition is generalized to hypergraphs. Denoted by $K_r^r$ the complete $r$-graph on $r$ vertices. Given an $r$-graph $H$, we compare $\text{Hom}(K_r^r,H)$ with the box complex $\mathsf{B}_{\text{edge}}(H)$, invented by Alon, Frankl and Lovász. We verify that $\text{Hom}(K_r^r,H)$ and $\mathsf{B}_{\text{edge}}(H)$, both are equipped with right actions of the symmetric group on $r$ letters $S_r$…
The classifying space of a crossed complex generalises the construction of Eilenberg-Mac Lane spaces. We show how the theory of fibrations of crossed complexes allows the analysis of homotopy classes of maps from a free crossed complex to such a classifying space. This gives results on the homotopy classification of maps from a CW-complex to the classifying space of a crossed module and also, more generally, of a crossed complex whose homotopy groups vanish in dimensions between 1 and n. The results are analogous to those for the obstruction to an abstract kernel in group extension theory.
In [MZ04] Matousek and Ziegler compared various topological lower bounds for the chromatic number. They proved that Lovasz's original bound [L78] can be restated as $\chr G \geq \ind (\B(G)) +2$. Sarkaria's bound [S90] can be formulated as $\chr G \geq \ind (\B_0(G)) +1$. It is known that these lower bounds are close to each other, namely the difference between them is at most 1. In this paper we study these lower bounds, and the homotopy types of box complexes. Some of the results was announced in [MZ04].
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg-Zilber theory from Tonks' thesis, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equ…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov's notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them -- describing ho…
We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box complexes. The box complex is a $\mathbb{Z}_2$-space associated to a graph, considered in the context of the graph coloring problem. In the proof, we discuss the universality problem of the Hom complex.
If P is a dg-operad acting on a dg-algebra A via algebra homomorphisms, then P acts on the Hochschild complex of A. In the more general case when P is a dg-prop, we show that P still acts on the Hochschild complex, but only up to coherent homotopy. We moreover give a functorial dg-replacement of P that strictifies the action. As an application, we obtain an explicit strictification of the homotopy coherent commutative Hopf algebra structure on the Hochschild complex of a commutative Hopf algebra.
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for deco…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images, e.g. a module category, and we are concerned with the homotopy category of complexes with entries in that additive category. We prove that Brown representability theorem is valid for the dual of the homotopy category if and only if the initial additive category has a product generator.
We show that the homotopy category of complexes K(B) over any finitely accessible additive category B is locally well generated. That is, any localizing subcategory L in K(B) which is generated by a set is well generated in the sense of Neeman. We also show that K(B) itself being well generated is equivalent to B being pure semisimple, a concept which naturally generalizes right pure semisimplicity of a ring R for B = Mod-R.
We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris complex contains all simplices with vertex set contained in some $U \in \mathcal{U}$, and the Vietoris metric thickening is the space of probability measures with support in some $U \in \mathcal{U}$, equipped with an optimal transport metric. We show that the Vietoris metric thickening and the Vietoris complex have isomorphic homotopy groups in all dimensions.…
In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the following two cases: (1) the complexes of sheaves of $\mathcal O$-modules on the Čech nerve of an open cover of a ringed space $(X, \mathcal O)$; (2) the complexes of sheaves on the simplicial nerve of a discrete group $G$ acting on a space. The explicit models we obtain in this way are twisted complexes as well as their $D$-module and $G$-equivariant versions.…
We investigate a notion of $\times$-homotopy of graph maps that is based on the internal hom associated to the categorical product in the category of graphs. It is shown that graph $\times$-homotopy is characterized by the topological properties of the $\Hom$ complex, a functorial way to assign a poset (and hence topological space) to a pair of graphs; $\Hom$ complexes were introduced by Lovász and further studied by Babson and Kozlov to give topological bounds on chromatic number. Along the way, we also establish some structural properties of $\Hom$ complexes involving products and exponentia…
This paper introduces path triangulation of points in a bounded, simply connected surface region, replacing ordinary triangles in a Delaunay triangulation with path triangles from homotopy theory. A {\bf path triangle} has a border that is a sequence of paths $h:I\to X, I=[0,1]$. The main results in this paper are that (1) a cone $D\times I$ collapses to a path triangle $h\bigtriangleup K$, extending E.C. Zeeman's collapsible dunce hat cone theorem, (2) an ordinary path triangle with geometrically realized straight edges generalizes Veech's billiard triangle, (3) a billiard ball $K\times I$ co…
A finitely generated additive submonoid $Λ$ of ${\mathbb N}^d$ has the partial order defined by $λ\le λ+ μ$ for $λ, μ\in Λ$. The Frobenius complex is the order complex of an open interval of $Λ$. In this paper, we express the homotopy type of the Frobenius complex of $Λ[ρ/ r]$ in terms of those of $Λ$, where $Λ[ρ/ r]$ is the additive monoid which is added the $r$-th part of $ρ$ to $Λ$. As applications, we determine the homotopy type of the Frobenius complex of some submonoids of $\mathbb N$, for example, the submonoid generated by a finite geometric sequence. We also state an application to th…
An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $Λ$ has the partial order defined by $λ\le λ+ μ$. The Frobenius complex is the order complex of an open interval of $Λ$ with respect to this partial order. The reduced homology of the Frobenius complex is related to the torsion group of the monoid algebra $K[Λ]$. In this paper, we pay attention to homotopy types of Frobenius complexes, and we express the homotopy types of the Frobenius complexes of $Λ$ in terms of those of $Λ_1$ and $Λ_2$ when $Λ$ is an affine monoid obtained by gluin…
