Related papers: Bures--Kuratowski metrics and simplicial complexes…
Bounded symmetric domains carry several natural invariant metrics, for example the Carath\'eodory, Kobayashi or the Bergman metric. We define another natural metric, from generalized Hilbert metric defined in [FGW20], by considering the…
We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Associated with a symmetric Clifford system $\{P_0, P_1,\cdots, P_{m}\}$ on $\mathbb{R}^{2l}$, there is a canonical vector bundle $\eta$ over $S^{l-1}$. For $m=4$ and $8$, we construct explicitly its characteristic map, and determine…
This book offers to study locally compact groups from the point of view of appropriate metrics that can be defined on them, in other words to study "Infinite groups as geometric objects", as Gromov writes it in the title of a famous…
This manuscript extends the Cantor-Kuratowski intersection theorem from the setting of metric spaces to the setting of uniformizable spaces. Complete uniformizable spaces are revisited.
Kuratowski proved that a finite graph embeds in the plane if it does not contain a subdivision of either K_5 or K_{3,3}, called Kuratowski subgraphs. A conjectured generalization of this result to all nonorientable surfaces says that a…
Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point…
Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…
Let L be a holomorphic line bundle over a compact complex projective Hermitian manifold X. Any fixed smooth hermitian metric h on L induces a Hilbert space structure on the space of global holomorphic sections with values in the k th tensor…
We will see how to define the metric $\beta$, which turns the topological space of continuous functions whose domains are open subsets of a locally compact and second countable space $X$ to values in a polish space $Y$, called…
We consider the notion of Borel reducibility between pseudometrics on standard Borel spaces introduced and studied recently by C\'{u}th, Doucha and Kurka, as well as the notion of an orbit pseudometric, a continuous version of the notion of…
We show that if $X$ is a finite-dimensional Polish metric space, then the natural bijection $\mathrm{VR}(X;r)\to \mathrm{VR^m}(X;r)$ from the (open) Vietoris-Rips complex to the Vietoris-Rips metric thickening is a homotopy equivalence.…
Let (X,L) be a polarized compact manifold, i.e. L is an ample line bundle over X and denote by H the infinite dimensional space of all positively curved Hermitian metrics on L equipped with the Mabuchi metric. In this short note we show,…
Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces:…
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…
In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is…
We prove that the topology on the density space with respect to a unital C*-algebra and a faithful induced by the C*-norm is finer than the Bures metric topology. We also provide an example when this containment is strict. Next, we provide…
One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincar\'e…
We investigate the geometry of Hermitian manifolds endowed with a compact Lie group action by holomorphic isometries with principal orbits of codimension one. In particular, we focus on a special class of these manifolds constructed by…