In this paper we address the classification problem for locally compact (n-1)-connected CW-complexes with dimension less or equal than n+2 up to proper homotopy type. We obtain complete classification theorems in terms of purely algebraic data in those cases where the representation type of the involved algebra is finite. For this we define new quadratic functors in controlled algebra and new homotopy and cohomology invariants in proper homotopy theory.
In this paper, we study the stable homotopy types of $\mathbf{F}^4_{n(2)}$-polyhedra, i.e., $(n-1)$-connected, at most $(n+4)$-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable $\mathbf{F}^4_{n(2)}$-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representaions of algebras and applied to homotopy theory by Baues and Drozd.
It is a survey of the results on the classification of stable homotopy types of polyhedra of small dimensions, mainly obtained by H.-J. Baues and the author. The proofs are based on the technique of matrix problems (bimodule categories).
We raise the problem of realisability of rings as $\{X,X\}$ the ring of stable homotopy classes of self-maps of a space $X$. By focusing on $A_n^2$-polyhedra, we show that the direct sum of three endomorphism rings of abelian groups, one of which must be free, is realisable as $\{X,X\}$ modulo the acyclic maps. We also show that $\mathbb{F}_p^3$ is not realisable in the setting of finite type $A_n^2$-polyhedra, for $p$ any prime.
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.
Let $X$ be a finite type $A_n^2$-polyhedron, $n \geq 2$. In this paper we study the quotient group $\mathcal{E}(X)/\mathcal{E}_*(X)$, where $\mathcal{E}(X)$ is the group of self-homotopy equivalences of $X$ and $\mathcal{E}_*(X)$ the subgroup of self-homotopy equivalences inducing the identity on the homology groups of $X$. We show that not every group can be realised as $\mathcal{E}(X)$ or $\mathcal{E}(X)/\mathcal{E}_*(X)$ for $X$ an $A_n^2$-polyhedron, $n\ge 3$, and specific results are obtained for $n=2$.
In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into commutative algebra and show that the homotopy types of polyhedral product spaces depend on not only the homotopy type of each summand pair but also on the character coproduct of the pair.
We consider genera of polyhedra (finite cell complexes) in the stable homotopy category. Namely, the genus of a polyhedron X is the class of polyhedra Y such that all localizations of Y are stably isomorphic to the corresponding localizations of X. We prove that Y is in the genus of X if and only if the wedge XvB is stably isomorphic to YvB, where B is the wedge of all spheres S^n such that the n-th stable homotopy group of X is not torsion. We also prove that if XvX and XvY are stably isomorphic, so are also X and Y. Several examples of calculations of genera are considered.
We obtain complete topological classification of states of nematic liquid crystal in the geometry of periodic array of rectangular posts between two parallel slabs, with tangent or normal boundary conditions. This classification has applications in bi-stable pos-aligned liquid crystal display design and have technological significance. Methods used in classification are those of algebraic topology and go beyond relative homotopy groups.
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over …
Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$ having fixed number of critical points of each index, moreover at least $χ(M)+1$ critical points are labeled by different labels (enumerated). A notion of a skew cylindric-polyhedral complex, which generalizes the notion of a polyhedral complex, is introduced. The skew cylindric-polyhedral complex $\mathbb{\widetilde K}$ (the "complex of framed Morse functions"), associated with the space $F$, is defined. In the case when $M=S^2$, the polyhedron $\mathbb{\widetilde K}$ is finite; its Euler characteris…
In this paper, we define homeology group, reduced homeology group, cohomeology group and reduced cohomeology group on finite simpicial complexes and prove that these groups are homeomorphism invariants of polyhedra. We also define homeotopy type of polyhedra which is finer than homotopy type but coarser than homeomorphism class.
We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as an application, we treat the case of ordered configuration spaces of elliptic curves. Our models are finite polyhedral CW complexes, and our combinatorial tools of choice are acyclic categories (small categories without loops). As a stepping stone, we give a characterization of which acyclic categories arise as face categories of polyhedral CW complexes.
We show how matrix problems (bimodule categories) can be used in studying triangulated categories. Then we apply the general technique to the classification of stable homotopy types of polyhedra, find out the "representation types" of such problems and give a description of stable homotopy types in finite and tame cases.
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse of finite spaces induces a simplicial collapse of their associated simplicial complexes. Moreover, a simplicial collapse induces a collapse of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finit…
In this paper, we classify the congruence classes of $\mathbf{F}^5_{n(2)}$-polyhedra, i.e. $(n-1)$-connected, at most $(n+5)$-dimensional polyhedra with 2-torsion free homology. The proof relies on the matrix problem technique which was developed in the classification of representations of algebras and applied to homotopy theory by Baues and Drozd.
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…
In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(ΩΣX; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(ΩΣX; \coefZ)$. This invariant is trivial if and only if the Hopf algebra $H_*(ΩΣX; \coefZ)$ is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given $X$ these invariants are obstructions to t…
Locally compact separable metrizable spaces are characterized among all metrizable spaces as those that admit a cofinal sequence $K_1\subset K_2\subset\cdots$ of compact subsets. Their Čech cohomology is well-understood due to Petkova's short exact sequence $0\to\lim^1 H^{n-1}(K_i)\to H^n(X)\to\lim H^n(K_i)\to 0$. We study a dual class of spaces. We call a metrizable space $X$ a "coronated polyhedron" if it contains a compactum $K$ such that $X\setminus K$ is a polyhedron. These include, apart from compacta and polyhedra, spaces such as the topologist's sine curve (or the Warsaw circle) and th…
In 1969 R.H. Bing asked the following question: Is there a compact two-dimensional polyhedron with the fixed point property which has even Euler characteristic? In this paper we prove that there are no spaces with these properties and abelian fundamental group. We also show that the fundamental group of an example cannot have trivial Schur multiplier.
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions …
In this paper we classify the homotopy classes of proper maps $E\rightarrow \mathbb R^k$, where $E$ is a vector bundle over a compact Hausdorff space. As a corollary we compute the homotopy classes of proper maps $\mathbb R^n\rightarrow \mathbb R^k$. We find a stability range of such maps. We conclude with some remarks on framed submanifolds of non-compact manifolds, the relationship with proper homotopy classes of maps and the Pontryagin-Thom construction.
A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in terms of a long exact sequence. As an application, we give an obstruction to presentability of proper regular Lie groupoids.
Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as homological differential operators, are explained from the properadic point of view. This is parallel to the Barannikov's theory for modular operads. In addition to well known IBL-homotopy algebras, the examples include their associative analogues, which we call $IBA$-homotopy algebras, and a combination of the above two.
