
For a countable abelian group $G$ we investigate generic properties of the
space of all invariant metrics on $G$. We prove that for every such an
unbounded group $G$, i.e. group which has elements of arbitrarily high order,
there is a dense set of invariant metrics on $G$ which make $G$ isometric to
the rational Urysohn space, and a comeager set of invariant metrics such that
the completion is isometric to the Urysohn space. This generalizes results of
Cameron and Vershik, Niemiec, and the author.
Then we prove that for every $G$ such that $G\cong \bigoplus_\mathbb{N} G$
there is a comeager set of invariant metrics on $G$ such that all of them give
rise to the same metric group after completion. If moreover $G$ is unbounded,
then using a result of Melleray and Tsankov we get that the completion is
extremely amenable.

We construct a universal action of a countable locally finite group (the
Hall's group) on a separable metric space by isometries. This single action
contains all actions of all countable locally finite groups on all separable
metric spaces as subactions. The main ingredient is the amalgamation of actions
by isometries. We show that an equivalence class of this universal action is
generic.
We show that the restriction to locally finite groups in our results is
necessary as analogous results do not hold for infinite nonlocally finite
groups.
We discuss the problem also for actions by linear isometries on Banach
spaces.

We investigate the complexity and reducibility between analytic pseudometrics
coming from functional analysis and metric geometry, such as GromovHausdorff,
Kadets, and BanachMazur distances. This leads us to introduce the notion of
Borel reducibility between pseudometrics which generalizes the standard Borel
reducibility between definable equivalence relations and is a quantitative
version of it, and orbit pseudometrics, the continuous version of orbit
equivalences. Our results include the mutual bireducibility between
GromovHausdorff, BanachMazur, Kadets, HausdorffLipschitz, net and Lipschitz
distances, and their reducibility to the uniform distance. We show that $E_1$
is not reducible to equivalences given by these pseudometrics. Among our
applications are the proofs that the distancezero classes in these
pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and
Tsankov, and answering their question in negative whether balls in these
distances are Borel. Besides that, we provide many other examples and problem
areas to be looked at, which suggests that there is enough further possible
development in this field.

In this note we study the structure of Lipschitzfree Banach spaces. We show
that every Lipschitzfree Banach space over an infinite metric space contains a
complemented copy of $\ell_1$. This result has many consequences for the
structure of Lipschitzfree Banach spaces. Moreover, we give an example of a
countable compact metric space $K$ such that $F(K)$ is not isomorphic to a
subspace of $L_1$ and we show that whenever $M$ is a subset of $R^n$, then
$F(M)$ is weakly sequentially complete; in particular, $c_0$ does not embed
into $F(M)$.

Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space
by universal and homogeneous closed relations, retractions, closed subsets of
the product of the Urysohn space itself and some fixed compact metric space,
$L$Lipschitz map to a fixed Polish metric space. The latter lifts to a
universal linear operator of norm $L$ on the Lispchitzfree space of the
Urysohn space.
Moreover, we enrich the Gurarij space by a universal and homogeneous closed
subspace and norm one projection onto a $1$complemented subspace. We construct
the Gurarij space by the classical Fra\" iss\' e theoretic approach.

We prove that the Lipschitzfree space over a separable ultrametric space has
a monotone Schauder basis and is isomorphic to $\ell_1$. This extends results
of A. Dalet using an alternative approach.

We prove that for any constant $K>0$ there exists a separable group equipped
with a complete biinvariant metric bounded by $K$, isometric to the Urysohn
sphere of diameter $K$, that is of `almostuniversal disposition'. It is thus
an object in the category of separable groups with biinvariant metric
analogous in its properties to the Gurarij space from the category of separable
Banach spaces. We show that this group contains an isometric copy of any
separable group equipped with biinvariant metric bounded by $K$. As a
consequence, we get that it is a universal Polish group admitting compatible
biinvariant metric, resp. universal second countable SIN group. Moreover, the
almostuniversal disposition shows that the automorphism group of this group is
rich and it characterizes the group uniquely up to isometric isomorphism. We
also show that this group is in a certain sense generic in the class of
separable group with biinvariant metric (bounded by $K$).
On the other hand, we prove there is no metrically universal separable group
with biinvariant metric when there is no restriction on diameter. The same is
true for separable locally compact groups with biinvariant metric.
Assuming the generalized continuum hypothesis, we prove that there exists a
metrically universal (unbounded) group of density $\kappa$ with biinvariant
metric for any uncountable cardinal $\kappa$. We moreover deduce that under GCH
there is a universal SIN group of weight $\kappa$ for any infinite cardinal
$\kappa$.

In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the
generalized Urysohn space of density $\kappa$, for uncountable $\kappa$ such
that $\kappa^{<\kappa}=\kappa$, is not a universal topological group of weight
$\kappa$. We investigate automorphism groups of other uncountable
ultrahomogeneous structures and prove that they are rarely universal
topological groups for the corresponding classes. Our list of uncountable
ultrahomogeneous structures includes random uncountable graph, tournament,
linear order, partial order, group. That is in contrast with similar results
obtained for automorphism groups of countable (separable) ultrahomogeneous
structures.
We also provide a more direct and shorter proof of the MbomboPestov's
result.

Following the continuing interest in the Urysohn space and, more
specifically, the recent problem area of finding and comparing group structures
on the Urysohn space we prove that there exists a nonabelian group structure
on the Urysohn universal metric space. More precisely, we introduce a variant
of the Graev metric that enables us to construct a free group with countably
many generators equipped with a twosided invariant metric that is isometric to
the rational Urysohn space. We provide several open questions and problems
related to this subject.

Following the work of Friedman, Koerwien, Nies and Schlicht we positively
answer their question whether the Scott rank of Polish metric spaces is
countable.

We give a positive answer to the question of Shkarin (\emph{On universal
abelian topological groups}, Mat. Sb. 190 (1999), no. 7, 127144) whether there
exists a metrically universal abelian separable group equipped with invariant
metric.
Our construction also gives an example of a group structure on the Urysohn
universal space that is substantially different from the previously known
examples.
Under some cardinal arithmetic assumptions, our results generalize to higher
cardinalities.

The paper is devoted to a study of generic representations (homomorphisms) of
discrete countable groups $\Gamma$ in Polish groups $G$, i.e. those elements in
the Polish space $\mathrm{Rep}(\Gamma,G)$ of all representations of $\Gamma$ in
$G$, whose orbit under the conjugation action of $G$ on
$\mathrm{Rep}(\Gamma,G)$ is comeager. We investigate finite approximability, a
strictly related notion, for actions on countable structures such as
tournaments, trianglefree graphs, and, more generally, $K_n$free graphs, and
we show how it is related to the RibesZalesskilike properties of the acting
groups. We prove that every finitely generated abelian group has a generic
representation in the automorphism group of the random tournament; in
particular, that there is a comeager conjugacy class in this group. Moreover,
we formulate a general RibesZalesskiilike condition on a group that
guarantees finite approximability of its actions on tournaments. It is left
open if nonabelian free groups satisfy it. We also provide a simpler proof of
a recent result of Glasner, Kitroser and Melleray characterizing groups having
a generic permutation representation.
Then we investigate representations of infinite groups $\Gamma$ in
automorphism groups of metric structures such as the isometry group
$\mathrm{Iso}(\mathbb{U})$ of the Urysohn space, isometry group
$\mathrm{Iso}(\mathbb{U}_1)$ of the Urysohn sphere, or the linear isometry
group $\mbox{LIso}(\mathbb{G})$ of the Gurarii space. We show that the
conjugation action of $\mathrm{Iso}(\mathbb{U})$ on
$\mathrm{Rep}(\Gamma,\mathrm{Iso}(\mathbb{U}))$ is generically turbulent
answering a question of Kechris and Rosendal.

We develop an analogue of the classical Scott analysis for metric structures
and infinitary continuous logic. Among our results are the existence of Scott
sentences for metric structures and a version of the LopezEscobar theorem. We
also derive some descriptive set theoretic consequences: most notably, that
isomorphism on a class of separable structures is a Borel equivalence relation
iff their Scott rank is uniformly bounded below $\omega_1$. Finally, we apply
our methods to study the GromovHausdorff distance between metric spaces and
the Kadets distance between Banach spaces, showing that the set of spaces with
distance $0$ to a fixed space is a Borel set.

We define a metric ultraproduct of topological groups with leftinvariant
metric, and show that there is a countable sequence of finite groups with
leftinvariant metric whose metric ultraproduct contains isometrically as a
subgroup every separable topological group with leftinvariant metric.
In particular, there is a countable sequence of finite groups with
leftinvariant metric such that every finite subset of an arbitrary topological
group with leftinvariant metric may be approximated by all but finitely many
of them.
We compare our results with related concepts such as sofic groups,
hyperlinear groups and weakly sofic groups.

We provide a very short elementary proof that every bounded separable metric
group embeds into a monothetic bounded metric group, in such a way that the
result of Morris and Pestov that every separable abelian topological group
embeds into a monothetic group is an immediate corollary. We show that the
boundedness assumption is essential.

Benyamini and Lindenstrauss mention in their monograph \emph{Geometric
nonlinear functional analysis Vol. 1., American Mathematical Society Colloquium
Publications, 48. American Mathematical Society, Providence, RI, 2000} that
there is no known example of a noncommutative uniform Banach group. Prassidis
and Weston also asked whether there is a noncommutative example. We answer
this problem affirmatively. We construct a noncommutative uniform Banach group
which has the free group of countably many generators as a dense subgroup.
Moreover, we show that our example is a free onegenerated uniform Banach
group whose metric induced by the norm is biinvariant.

We use Fra\" iss\' e theoretic methods to construct a universal and
ultrahomogeneous abelian separable metric group. We show that such a group is a
universal abelian Polish group, thus we provide another proof of a result
already discovered by Shkarin. We then construct universal and ultrahomogeneous
abelian periodic metric groups with bounded exponents; it follows that these
groups are also universal objects for the corresponding classes of abelian
Polish groups.

We use Fra\" iss\'e theoretic methods to construct several universal and
ultrahomogeneous Polish metric structures. Namely, universal and
ultrahomogeneous Polish metric space equipped with countably many closed
subsets of its powers, universal and ultrahomogeneous Polish metric space
equipped with a closed subset of the product of itself and some fixed compact
metric space, and universal and ultrahomogeneous Polish metric space equipped
with an LLipschitz function, for an arbitrary positive L, to some fixed Polish
metric space. These results are direct generalization of the classical result
of P. Urysohn. Possible applications are discussed.

We prove a canonization result for the CarlsonSimpson forcing in the spirit
of \cite{KSZ}. We generalize the weak form of the CarlsonSimpson theorem
(\cite{CaSi}) dealing with partitions without free blocks: instead of dealing
with finite Borel (resp. Baireproperty) colorings we deal with (uncountable)
colorings such that the corresponding equivalence relation (two partitions are
equivalent if they are colored by the same color) is analytic.

Building on previous work of [BPS] we investigate $\sigma$closed partial
orders of size continuum. We provide both an internal and external
characterization of such partial orders by showing that (1) every
$\sigma$closed partial order of size continuum has a base tree and that (2)
$\sigma$closed forcing notions of density $\mathfrak c$ correspond exactly to
regular suborders of the collapsing algebra $Coll(\omega_1, 2^\omega)$.
We further study some naturally ocurring examples of such partial orders.

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by
V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver
trees. Here we prove that equivalence relations Borel reducible to an
equivalence relation on $2^\omega$ given by some $F_\sigma$ $P$ideal on
$\omega$ can be canonized to the full equivalence relation or to the identity
relation.
This has several corollaries, e.g. Silver type dichotomy for the Laver ideal
and equivalences Borel reducible to equivalence relations given by $F_\sigma$
$P$ideals.