Extending partial isometries of generalized metric spaces

DOI10.4064/FM484-9-2018MaRDI QIDQ4615013zbMATH OpenOpenAlexWikidataFDO

Authors Gabriel Conant

Publication date 1 February 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

isometry groupsuniversal graphshrushovski property

Mathematics Subject Classification ID

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

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$.

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

Cites work

• Divisibility of countable metric spaces
• Extending partial automorphisms and the profinite topology on free groups
• Extending partial isometries
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Extending partial isomorphisms of graphs
• Extending partial isomorphisms on finite structures
• Generic elements in isometry groups of Polish ultrametric spaces
• Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Volume 1. Ordered graphs and distanced graphs
• Relational quotients
• Some remarks on universal graphs
• Some universal graphs
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures
• Two problems on homogeneous structures, revisited

Cited in

(13)

• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Extending partial isometries of antipodal graphs
• EPPA for two-graphs and antipodal metric spaces
• Extensions of the Zamfirescu theorem to partial metric spaces
• Conant's generalised metric spaces are Ramsey
• Extending partial isometries
• scientific article; zbMATH DE number 2110393 (Why is no real title available?)
• Simplicity of the automorphism groups of generalised metric spaces
• Ramsey properties of edge-labelled graphs via completions
• The generalized Pompeiu metric in the isometry problem for hyperspaces
• scientific article; zbMATH DE number 7406821 (Why is no real title available?)
• 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)