  Our monograph presents the foundations of the theory of groups and semigroups
acting isometrically on Gromov hyperbolic metric spaces. Our work unifies and
extends a long list of results by many authors. We make it a point to avoid any
assumption of properness/compactness, keeping in mind the motivating example of
$\mathbb H^\infty$, the infinite-dimensional rank-one symmetric space of
noncompact type over the reals. The monograph provides a number of examples of
groups acting on $\mathbb H^\infty$ which exhibit a wide range of phenomena not
to be found in the finite-dimensional theory. Such examples often demonstrate
the optimality of our theorems. We introduce a modification of the Poincar\'e
exponent, an invariant of a group which gives more information than the usual
Poincar\'e exponent, which we then use to vastly generalize the Bishop--Jones
theorem relating the Hausdorff dimension of the radial limit set to the
Poincar\'e exponent of the underlying semigroup. We give some examples based on
our results which illustrate the connection between Hausdorff dimension and
various notions of discreteness which show up in non-proper settings. We
construct Patterson--Sullivan measures for groups of divergence type without
any compactness assumption. This is carried out by first constructing such
measures on the Samuel--Smirnov compactification of the bordification of the
underlying hyperbolic space, and then showing that the measures are supported
on the bordification. We study quasiconformal measures of geometrically finite
groups in terms of (a) doubling and (b) exact dimensionality. Our analysis
characterizes exact dimensionality in terms of Diophantine approximation on the
boundary. We demonstrate that some Patterson--Sullivan measures are neither
doubling nor exact dimensional, and some are exact dimensional but not
doubling, but all doubling measures are exact dimensional.
