Extending partial isometries of generalized metric spaces

DOI10.4064/FM484-9-2018zbMATH Open1506.03079arXiv1509.04950OpenAlexW2963908878WikidataQ129033299 ScholiaQ129033299MaRDI QIDQ4615013FDOQ4615013

Gabriel Conant

Publication date: 1 February 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $mathcalK$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any $AinmathcalK$ there is some $BinmathcalK$ such that $A$ is a subspace of $B$ and any partial isometry of $A$ extends to a total isometry of $B$. Our main result is the Hrushovski property for the class of finite generalized metric spaces over a semi-archimedean monoid $mathcalR$. When $mathcalR$ is also countable, this can be used to show that the isometry group of the Urysohn space over $mathcalR$ has ample generics. Finally, we prove the Hrushovski property for classes of integer distance metric spaces omitting triangles of uniformly bounded odd perimeter. As a corollary, given odd $ngeq3$, we obtain ample generics for the automorphism group of the universal, existentially closed graph omitting cycles of odd length bounded by $n$.

Full work available at URL: https://arxiv.org/abs/1509.04950

Recommendations

• Extending partial isometries
• Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space
• Distance sets of Urysohn metric spaces
• Extendability of automorphisms of generic substructures
• Polish ultrametric Urysohn spaces and their isometry groups

zbMATH Keywords

isometry groupsuniversal graphshrushovski property

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Distance in graphs (05C12) Paths and cycles (05C38)

Cites Work

• Turbulence, amalgamation, and generic automorphisms of homogeneous structures
• Some remarks on universal graphs
• Extending partial isometries
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Extending partial isomorphisms of graphs
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Extending partial isomorphisms on finite structures
• Extending partial automorphisms and the profinite topology on free groups
• Divisibility of countable metric spaces
• Some universal graphs
• Title not available (Why is that?)
• Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
• Generic elements in isometry groups of Polish ultrametric spaces
• Relational quotients

Cited In (12)

• EPPA for two-graphs and antipodal metric spaces
• Extending partial isometries of antipodal graphs
• Extensions of the Zamfirescu theorem to partial metric spaces
• Conant's generalised metric spaces are Ramsey
• Title not available (Why is that?)
• Simplicity of the automorphism groups of generalised metric spaces
• Ramsey properties of edge-labelled graphs via completions
• All those EPPA classes (strengthenings of the Herwig–Lascar theorem)
• The generalized Pompeiu metric in the isometry problem for hyperspaces
• Title not available (Why is that?)
• EPPA numbers of graphs
• The Hrushovski property for compact special cube complexes

This page was built for publication: Extending partial isometries of generalized metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4615013)