Inequalities on six points in a $\mathrm{CAT}(0)$ space

Tetsu Toyoda
2024-11-21
Abstract:We establish a family of inequalities that hold true on any $6$ points in any $\mathrm{CAT}(0)$ space. We prove that the validity of these inequalities does not follow from any properties of $5$-point subsets of $\mathrm{CAT}(0)$ spaces. In particular, the validity of these inequalities does not follow from the $\mathrm{CAT}(0)$ $4$-point condition.
Metric Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the inequality relationships among six points in a CAT(0) space. Specifically: 1. **Establish new six - point inequalities**: The author attempts to establish a new set of inequalities that are applicable to any six points in any CAT(0) space. These inequalities cannot be derived from the properties of five - point subsets or the four - point conditions of the CAT(0) space. 2. **Verify the validity of the inequalities**: The author has proven that these newly - established six - point inequalities do hold and that they cannot be directly obtained from the known five - point or four - point conditions. This indicates that these inequalities provide new and independent geometric constraints. 3. **Explore the embedding problem**: The author also studies the relationship between these inequalities and isometric embeddability. Specifically, they explore which metric spaces can be embedded into the CAT(0) space and whether these embeddings satisfy specific inequality conditions. 4. **Introduce specific examples**: In order to verify these theoretical results, the author constructs some specific examples of six - point metric spaces that satisfy some known inequalities (such as ⊠ - inequalities) but do not satisfy the newly - proposed six - point inequalities. This further illustrates the independence and importance of the new inequalities. In summary, the main purpose of this paper is to provide a deeper understanding of the geometric properties of the CAT(0) space by introducing and verifying new six - point inequalities and to explore their applications in the metric space embedding problem.