6e76ffaf95ae96e5.tex
1: \begin{abstract}
2:   In this paper we define the Gromov-vague topology and the
3:   Gromov-Hausdorff-vague topology on the space of metric boundedly
4:   finite measure spaces. These are derived from the Gromov-weak topology
5:   and the Gromov-Hausdorff topology. We explain the necessity of and gap
6:   between the two topologies via examples from the literature.  Our
7:   main result is (in Theorem~\ref{T:mGH} and Corollary~\ref{C:mGH}) that the
8:   convergence in Gromov-weak topology or Gromov-vague topology implies
9:   convergence in Gromov-Hausdorff-weak topology or
10:   Gromov-Hausdorff-vague topology respectively if and only if the
11:   so-called (global) lower mass-bound property is satisfied (see
12:   Definition~\ref{Deef:001}).
13:   Furthermore, we prove and disprove Polishness of several spaces of
14:   metric measure spaces in the topologies mentioned above (summarized in
15:   Figure~\ref{fig:Poltable}) and compare to the
16:   Gromov-Hausdorff-Prohorov metric, which is closely related but defined
17:   on different equivalence classes of metric measure spaces.
18: 
19:   As an application, we consider trees encoded via continuous transient
20:   excursions and show that the ensuing map is continuous in
21:   Gromov-Hausdorff-vague topology and also establish that rescaled
22:   finite variance critical Galton Watson trees conditioned to survive
23:   converge in the Gromov-Hausdorff-vague topology to the continuum
24:   Kallenberg tree.
25: \end{abstract}
26: