Finite and Urysohn obstructions to Sabok's S-prime simplex questions
Sabok asked whether the compact convex set \(S'(X)\) attached to a separable metric space of diameter at most one is always a simplex, and whether \(S'(\mathbb U_1)\) is the Poulsen simplex. We give negative answers. For finite \(X=\{x_1,\ldots,x_m\}\), \(S'(X)\) is affinely homeomorphic to the convex hull of the rows \(r_i=(d(x_i,x_1),\ldots,d(x_i,x_m))\) of the distance matrix; it is a simplex exactly when these rows are affinely independent. The diameter-one four-cycle gives the minimal finite obstruction. For the Urysohn sphere, using the rational Urysohn sphere \(D\) as coordinates, we…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.27215
curl -X POST /api/v1/records/arxiv/2607.27215/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27215/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'