Related papers: A metric Kan-Thurston theorem

An expansion set is a set $\mathcal{B}$ such that each $b \in \mathcal{B}$ is equipped with a set of expansions $\mathcal{E}(b)$. The theory of expansion sets offers a systematic approach to the construction of classifying spaces for…

In this note, we provide a description of the structure of homomorphisms from a finitely generated group to any torsion-free (3-dimensional) Kleinian group with uniformly bounded finite covolume. This is analogous to the Jorgensen-Thurston…

An equivariant Thom isomorphism theorem in operator K-theory is formulated and proven for infinite rank Euclidean vector bundles over finite dimensional Riemannian manifolds. The main ingredient in the argument is the construction of a…

We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are…

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

Let $T$ be a compact torus. We prove that, up to equivariant rational equivalence, the category of $T$-simply connected, $T$-finite type $T$-spaces with finitely many isotropy types is completely described by certain finite systems of…

Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…

A finite-dimensional CAT(0) cube complex $X$ is equipped with several well-studied boundaries. These include the Tits boundary (which depends on the CAT(0) metric), the Roller boundary (which depends only on the combinatorial structure),…

We provide a necessary and sufficient condition on a finite flag simplicial complex, L, for which there exists a unique CAT(0) cube complex whose vertex links are all isomorphic to L. We then find new examples of such CAT(0) cube complexes…

Let X be a proper CAT(0) space. A halfspace system (or cubulation) of X is a set H of open halfspaces closed under closure-complementation and such that every point in X has a neighbourhood intersecting only finitely many walls of H. Given…

We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a…

Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a…

Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $\Sigma_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover,…

We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…

Following his discovery that finite metric spaces have injective envelopes naturally admitting a polyhedral structure, Isbell, in his pioneering work on injective metric spaces, attempted a characterization of cellular complexes admitting…

We examine a condition on a simply connected 2-complex X ensuring that groups acting properly on X are coherent. This extends earlier work on 2-complexes with negative sectional curvature which covers the case that G acts freely. Our…

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture…

We give a proof to the following theorem, which is well-known among experts: A connected subcomplex $W$ of a finite dimensional CAT(0) cubed complex $X$ is convex if and only if Lk$(v, W)$ is a full subcomplex of Lk$(v, X)$ for every vertex…

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making…

For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model…