In this thesis, we analyse certain dynamically interesting measures arising in holomorphic dynamics
beyond the classical framework of maps. We will consider measures associated with semigroups and, more
generally, with meromorphic correspondences, that are invariant in a specific sense. Our results are of
two different flavours. The first type of results deal with potential-theoretic properties of the measures
associated with certain polynomial semigroups, while the second type of results are about recurrence phenomena
in the dynamics of meromorphic correspondences. The unifying features of these results are the use of the
formalism of correspondences in their proofs, and the fact that the measures that we consider are those that
describe the asymptotic distribution of the iterated inverse images of a generic point.
The first class of results involve giving a description of a natural invariant measure associated with a
finitely generated polynomial semigroup (which we shall call the Dinh–Sibony measure) in terms of potential
theory. This requires the theory of logarithmic potentials in the presence of an external field, which we can
describe explicitly given a choice of a set of generators. In particular, we generalize the classical result
of Brolin to certain finitely generated polynomial semigroups. To do so, we establish the continuity of the
logarithmic potential for the Dinh–Sibony measure, which might also be of independent interest. Thereafter,
we use the $F$-functional of Mhaskar and Saff to discuss bounds on the capacity and diameter of the Julia sets
of such semigroups.
The second class of results involves meromorphic correspondences. These are, loosely speaking, multi-valued
analogues of meromorphic maps. We shall present an analogue of the Poincare recurrence theorem for meromorphic
correspondences with respect to the measures alluded to above. Meromorphic correspondences present a significant
measure-theoretic obstacle: the image of a Borel set under a meromorphic correspondence need not be Borel. We
manage this issue using the Measurable Projection Theorem, which is an aspect of descriptive set theory. We also
prove a result on the invariance properties of the supports of the measures mentioned, and, as a corollary, give
a geometric description of the support of such a measure.