Automorphism groups of universal diversities (Q2216662)

Diversities were introduced in [\textit{D. Bryant} and \textit{P. F. Tupper}, Adv. Math. 231, No. 6, 3172--3198 (2012; Zbl 1256.54055)] as functions defined on the family of finite subsets of a set that behave like a diameter: \(\delta(A)\ge0\), \(\delta(A)=0\) iff \(|A|\le1\), and \(\delta(A\cup C)\le\delta(A\cup B)+\delta(B\cup C)\) whenever \(B\)~is nonempty. Indeed the diameter function on a metric space is a diversity and a diversity induces a metric: \(d(x,y)=\delta(\{x,y\})\).\par The author studies properties of the diversity analogue of Urysohn's universal separable metric space, developed in [\textit{D. Bryant} et al., Anal. Geom. Metr. Spaces 5, 138--151 (2017; Zbl 1402.54030)]. The main results are: its automorphism group is a universal Polish group; it has a dense conjugacy class; and the automorphism group of the rational version of the Urysohn diversity has ample generics.