For a group
(of type
)
acting properly on a coarse Poincaré duality space
,
Kapovich and Kleiner introduced a coarse version of Alexander duality
between and its
complement in
. More
precisely, the cohomology of
with group ring coefficients is dual to a certain Čech
homology group of the family of increasing neighborhoods of a
-orbit in
. This duality
applies more generally to coarse embeddings of certain contractible simplicial complexes
into coarse
spaces. In this paper we introduce a relative version of this Čech homology that
satisfies the Eilenberg–Steenrod exactness axiom, and we prove a relative version of
coarse Alexander duality.
As an application we provide a detailed proof of the
following result, first stated by Kapovich and Kleiner. Given a
-complex formed
by gluing
halfplanes along their boundary lines and a coarse embedding into a contractible
-manifold, the
complement consists of
deep components that are arranged cyclically in a pattern called a
Jordancycle. We use the Jordan cycle as an invariant in proving the existence of a
-manifold
group that is virtually Kleinian but not itself Kleinian.
Keywords
Alexander duality, coarse $\mathrm{PD}(n)$ space, Kleinian
group