Principal bundles on two-dimensional CW-complexes with disconnected structure group

Given any topological group G, the topological classification of principal G-bundles over a finite CW-complex X is long known to be given by the set of free homotopy classes of maps from X to the corresponding classifying space BG. This classical result has been long-used to provide such classification in terms of explicit characteristic classes. However, even when X has dimension 2, there is a case in which such explicit classification has not been explicitly considered. This is the case where G is a Lie group, whose group of components acts nontrivially on its fundamental group $\pi_1G$ . Here, we deal with this case and obtain the classification, in terms of characteristic classes, of principal G-bundles over a finite CW-complex of dimension 2, with G is a Lie group such that $\pi_0G$ is abelian.

The homotopy classification of four-dimensional toric orbifolds

Let X be a 4-dimensional toric orbifold. If $H^{3}(X)$ has a non-trivial odd primary torsion, then we show that X is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.

Homotopy Groups and CW Complexes

This chapter discusses some results about homotopy groups and CW complexes. Throughout this book, one needs to assume a certain amount of algebraic topology. A CW complex is a topological space built up from a discrete set of points by successively attaching cells one dimension at a time. The name CW complex refers to the two properties satisfied by a CW complex: closure-finiteness and weak topology. With continuous maps as morphisms, the CW complexes form a category. It turns out that this is the most appropriate category in which to do homotopy theory. The chapter also looks at fiber bundles.

Homological codes and abelian anyons

We study a generalization of Kitaev’s abelian toric code model defined on CW complexes. In this model, qudits are attached to [Formula: see text]-dimensional cells and the interaction is given by generalized star and plaquette operators. These are defined in terms of coboundary and boundary maps in the locally finite cellular cochain complex and the cellular chain complex. We find that the set of energy-minimizing ground states and the types of charges carried by certain localized excitations depends only on the proper homotopy type of the CW complex. As an application, we show that the homological product of a CSS code with the infinite toric code has excitations with abelian anyonic statistics.

Cohomology of Homotopy 2-types

This chapter introduces some of the basic ingredients in the classification of homotopy 2-types and describes datatypes and algorithms for implementing them on a computer. These are illustrated using computer examples involving: the fundamental crossed modules of a CW-complex, cat-1-groups, simplicial groups, Moore complexes, the Dold-Kan correspondence, integral homology of simplicial groups, homological perturbation theory. A manual classification of homotopy classes of maps from a surface to the projective plane is also included.

Path Components and the Fundamental Group

This chapter introduces some of the basic concepts of algebraic topology and describes datatypes and algorithms for implementing them on a computer. The basic concepts include: regular CW-complex, non-regular CW-complex, simplicial complex, cubical complex, permutahedral complex, simple homotopy, set of path-components, fundamental group, van Kampen’s theorem, knot quandle, Alexander polynomial of a knot, covering space. These are illustrated using computer examples involving digital images, protein backbones, high-dimensional point cloud data, knot complements, discrete groups, and random simplicial complexes.

Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions

After recent work of Hill, Hopkins and Ravenel on the Kervaire invariant one problem [M. A. Hill, M. J. Hopkins and D. C. Ravenel, On the non-existence of elements of Kervaire invariant one, Ann. Math. (2), 184 (2016), 1–262], as well as Adams’ solution of the Hopf invariant one problem [J. F. Adams, On the non-existence of elements of Hopf invariant one, Ann. Math. (2), 72 (1960), 20–104], an immediate consequence of Curtis conjecture is that the set of spherical classes in H∗Q0S0 is finite. Similarly, Eccles conjecture, when specialized to X=Sn with n> 0, together with Adams’ Hopf invariant one theorem, implies that the set of spherical classes in H∗QSn is finite. We prove a filtered version of the above finiteness properties. We show that if X is an arbitrary CW-complex of finite type such that for some n, HiX≃0 for any i>n, then the image of the composition π∗ΩlΣl+2X→π∗QΣ2X→H∗QΣ2X is finite; the finiteness remains valid if we formally replace X with S−1. As an application, we provide a lower bound on the dimension of the sphere of origin on the potential classes of π∗QSn which are detected by homology. We derive a filtered finiteness property for the image of certain transfer maps ΣdimgBG+→QS0 in homology. As an application to bordism theory, we show that for any codimension k framed immersion f:M↬ℝn+k which extends to an embedding M→ℝd×ℝn+k, if n is very large with respect to d and k then the manifold M as well as its self-intersection manifolds are boundaries. Some results of this paper extend results of Hadi [Spherical classes in some finite loop spaces of spheres. Topol. Appl., 224 (2017), 1–18] and offer corrections to some minor computational mistakes, hence providing corrected upper bounds on the dimension of spherical classes H∗ΩlSn+l. All of our results are obtained at the prime p = 2.

Spaces which Invert Weak Homotopy Equivalences

It is well known that if X is a CW-complex, then for every weak homotopy equivalence f : A → B, the map f* : [X, A] → [X, B] induced in homotopy classes is a bijection. In fact, up to homotopy equivalence, only CW-complexes have that property. Now, for which spaces X is f* : [B, X] → [A, X] a bijection for every weak equivalence f? This question was considered by J. Strom and T. Goodwillie. In this note we prove that a non-empty space inverts weak equivalences if and only if it is contractible.