Algebraically independent distances and rigid metrics
Abstract
We study metrics whose distances on distinct two-point subsets are algebraically independent over the rationals. We prove that every compatible metric on a strongly zero-dimensional metrizable space of cardinality at most continuum can be uniformly approximated by compatible metrics with this property. If the space is completely metrizable, the approximating metrics can also be chosen complete. For every σ-compact metrizable space, the metrics with algebraically independent distances form a Gδ set in the uniform topology. We also study rigid metrics, whose only bijective self-isometry is the identity. On every locally compact Polish space, rigid proper metrics form a Gδ set among proper compatible metrics. Using a theorem of Niemiec, we obtain uniform density of rigid metrics on compact metrizable spaces with at least three points. Passing to compact completions then yields rigid approximations of every totally bounded compatible metric on any space with at least three points.
Related
- Complete classification of algebraically primitive Teichmüller curves in Ωℳg(g−1,g−1)hyp
- Algebraically primitive Teichmüller curves in Ω\mathcal M_g(2g-2)^{\mathrm{hyp}}
- Algebraically Integrable Smooth Convex Bodies
- Algebraically and geometrically minimal DG-models of diagrams of spaces
- Meromorphic approximation of holomorphic maps into algebraically elliptic projective varieties
BibTeX
@misc{ishiki2026algebraically,
title = {{Algebraically independent distances and rigid metrics}},
author = {Yoshito Ishiki},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.19773},
eprint = {2609.19773},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.19773},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Algebraically independent distances and rigid metrics
AU - Yoshito Ishiki
PY - 2026
DA - 2026/09/17
PB - arXiv
DO - 10.48550/arxiv.2609.19773
UR - https://arxiv.org/abs/2609.19773
AB - We study metrics whose distances on distinct two-point subsets are algebraically independent over the rationals. We prove that every compatible metric on a strongly zero-dimensional metrizable space of cardinality at most continuum can be uniformly approximated by compatible metrics with this property. If the space is completely metrizable, the approximating metrics can also be chosen complete. For every σ-compact metrizable space, the metrics with algebraically independent distances form a G_δ set in the uniform topology. We also study rigid metrics, whose only bijective self-isometry is the identity. On every locally compact Polish space, rigid proper metrics form a G_δ set among proper compatible metrics. Using a theorem of Niemiec, we obtain uniform density of rigid metrics on compact metrizable spaces with at least three points. Passing to compact completions then yields rigid approximations of every totally bounded compatible metric on any space with at least three points.
ER -