Combinatorial realisation of cycles and small covers

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteur principal: Gaifullin, Alexander A.
Format: Preprint
Publié: 2012
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866913580365905920
author Gaifullin, Alexander A.
author_facet Gaifullin, Alexander A.
contents In 1940s Steenrod asked if every homology class $z\in H_n(X,\mathbb{Z})$ of every topological space $X$ can be realised by an image of the fundamental class of an oriented closed smooth manifold. Thom found a non-realisable 7-dimensional class and proved that for every $n$, there is a positive integer $k(n)$ such that the class $k(n)z$ is always realisable. The proof was by methods of algebraic topology and gave no information on the topology the manifold which realises the homology class. We give a purely combinatorial construction of a manifold that realises a multiple of a given homology class. For every $n$, this construction yields a manifold $M^n_0$ with the following universality property: For any $X$ and $z\in H_n(X,\mathbb{Z})$, a multiple of $z$ can be realised by an image of a (non-ramified) finite-sheeted covering of $M^n_0$. Manifolds satisfying this property are called URC-manifolds. The manifold $M^n_0$ is a so-called small cover of the permutahedron, i.e., a manifold glued in a special way out of $2^n$ permutahedra. (The permutahedron is a special convex polytope with $(n+1)!$ vertices.) Among small covers over other simple polytopes, we find a broad class of examples of URC-manifolds. In particular, in dimension 4, we find a hyperbolic URC-manifold. Thus we obtain that a multiple of every homology class can be realised by an image of a hyperbolic manifold, which was conjectured by Kotschick and Löh. Finally, we investigate the relationship between URC-manifolds and simplicial volume.
format Preprint
id arxiv_https___arxiv_org_abs_1204_0208
institution arXiv
publishDate 2012
record_format arxiv
spellingShingle Combinatorial realisation of cycles and small covers
Gaifullin, Alexander A.
Algebraic Topology
Metric Geometry
57N65, 53C23 (Primary) 52B70, 32Q45 (Secondary)
In 1940s Steenrod asked if every homology class $z\in H_n(X,\mathbb{Z})$ of every topological space $X$ can be realised by an image of the fundamental class of an oriented closed smooth manifold. Thom found a non-realisable 7-dimensional class and proved that for every $n$, there is a positive integer $k(n)$ such that the class $k(n)z$ is always realisable. The proof was by methods of algebraic topology and gave no information on the topology the manifold which realises the homology class. We give a purely combinatorial construction of a manifold that realises a multiple of a given homology class. For every $n$, this construction yields a manifold $M^n_0$ with the following universality property: For any $X$ and $z\in H_n(X,\mathbb{Z})$, a multiple of $z$ can be realised by an image of a (non-ramified) finite-sheeted covering of $M^n_0$. Manifolds satisfying this property are called URC-manifolds. The manifold $M^n_0$ is a so-called small cover of the permutahedron, i.e., a manifold glued in a special way out of $2^n$ permutahedra. (The permutahedron is a special convex polytope with $(n+1)!$ vertices.) Among small covers over other simple polytopes, we find a broad class of examples of URC-manifolds. In particular, in dimension 4, we find a hyperbolic URC-manifold. Thus we obtain that a multiple of every homology class can be realised by an image of a hyperbolic manifold, which was conjectured by Kotschick and Löh. Finally, we investigate the relationship between URC-manifolds and simplicial volume.
title Combinatorial realisation of cycles and small covers
topic Algebraic Topology
Metric Geometry
57N65, 53C23 (Primary) 52B70, 32Q45 (Secondary)
url https://arxiv.org/abs/1204.0208