Towards a classification of transitive group actions on finite metric spaces
finite metric spacesG- invariant metricinjective hullinvariant under left multiplicationquasi-isometrysets of maximal dimension facetstransitive groups of isometries
Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Geometric group theory (20F65) Other problems of combinatorial convexity (52A37) Polytopes and polyhedra (52Bxx) Special maps on metric spaces (54E40) Transformation groups and semigroups (topological aspects) (54H15)
The author investigates finite metric spaces \(X\) together with transitive groups G of isometries of \(X\). The main tool in the injective hull \(T_ X\) of \(X\)constructed by \textit{J. R. Isbell} [Comment. Math. Helv. 39, 65-74 (1964; Zbl 0149.015)], which can be viewed as a certain compact polyhedron in \({\mathbb{R}}^ X\). It is shown that the dimension of \(T_ X\) is at most \([{\#}X/2]\). In what follows, assume throughout that equality holds. Then the number of facets of maximal dimension \(n\) in \(T_ X\) is 1 if \({\#}X=2n\), and is at most if \({\#} X=2n+1\). These are the basic ingredients for the rather involved proof of Theorem 1: Let \(G\) act transitively on a set \(X\). Then a \(G\)-invariant metric on \(X\) satisfying the above assumptions exist if and only if either \({\#}X\) is even and there is a fixed point free involution \(\sigma\) on \(X\) centralizing the action of \(G\), or \({\#}X\) is odd and \(G\) is cyclic or dihedral. So by the Feit-Thompson theorem, every finite simple group admits a metric of this kind invariant under left multiplication, \(\sigma\) being right multiplication by an involution in \(C\). In the even case, the involution is obtained from the unique maximal dimensional facet of \(T_ X\), that has to be \(G\)-invariant. The complicated part of the proof concerns the odd case. The author calls a bijection between metric spaces a quasi-isometry if it induces a bijection of the sets of maximal dimension facets of their injective hulls. Clearly an isometry is an quasi-isometry. An essential step in the proof of Theorem 1 is Theorem 2 which associates to every odd \(X\) a graph \(E\) with vertex set \(X\) and \({\#}X\) edges, and an involution \(\tau\) of \(E\), such that the quasi-isometries of \(X\) onto \(X'\) are precisely the bijectionsmapping \((E,\tau)\) onto \((E',\tau').\) The reviewer thinks that in the even case, Theorem 1 indicates that classification is hopeless, since any finite transitive action can be ``doubled \((G\times 4Z_ 2\) on \(X\times 3(0,1\})\) so that a transitive action centralized by a free involution results.
- Chemical algebra. VI: \(G\)-weighted metrics of non-compact groups: Group of translations in the Euclidean space
- Injective envelope of graphs and transition systems
- The coherency index
- The polytopal structure of the tight-span of a totally split-decomposable metric
- Computations in isometry groups of finite metric spaces
- On classification of finite metric spaces
- The classification of transversal multiplicity-free group actions
- Optimal realizations and the block decomposition of a finite metric space
- Transitive actions of locally compact groups on locally contractible spaces
- The tight span of an antipodal metric space. I: combinatorial properties
- Injective hulls of certain discrete metric spaces and groups.
- Injective envelopes of transition systems and Ferrers languages
- Dimension groups for interval maps II: the transitive case
- scientific article; zbMATH DE number 66114 (Why is no real title available?)
- Injective metrics on buildings and symmetric spaces
- An explicit computation of the injective hull of certain finite metric spaces in terms of their associated Buneman complex
- A note on compact groups, acting on \({\mathbb{R}}\)-trees
- Transitive actions of finite Abelian groups of sup-norm isometries
This page was built for publication: Towards a classification of transitive group actions on finite metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1824899)
