Abstract
Median spaces are spaces in which for every three points the three intervals between them intersect at a single point. It is well known that rank-1 affine buildings are median spaces, but by a result of Haettel, higher rank buildings are not even coarse median. We define the notion of “2-median space”, which roughly says that for every four points the minimal discs filling the four geodesic triangles they span intersect in a point or a geodesic segment. We show that CAT(0) Euclidean polygonal complexes, and in particular rank-2 affine buildings, are 2-median. In the appendix, we recover a special case of a result of Stadler of a Fary–Milnor type theorem and show in elementary tools that a minimal disc filling a geodesic triangle is injective.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is a well known fact that \(\mathbb {R}\) and metric trees have the property that for any three points, the intersection of the geodesic segments between them is a single point. That is, metric trees are median in the following sense:
Definition 1.1
Let (X, d) be a metric space
-
For \(x,y\in X\) we define the interval between x, y to be
$$\begin{aligned}{}[x,y] = \left\{ z\;\mid \;d(x,z)+d(z,y) = d(x,y) \right\} . \end{aligned}$$ -
The space X is median if for any \(x,y,z\in X\), we have that \([x,y]\cap [x,z]\cap [y,z]=\left\{ m(x,y,z) \right\} \) is a unique point.
Examples of median spaces include: metric trees, \(\ell ^1\) products of median spaces, \(\ell ^1(X)\) and \(L^1(X,\mu )\), the vertices of a CAT(0) cube complexes with the induced graph metric, see Roller [18]. In fact, by a result of Chepoi [6] the class of 1-skeleta of CAT(0) cube complexes coincides with the class of median graphs.
Median spaces have been extensively studied: Niblo and Reeves [15] proved that any action of a Property (T) group on a finite-dimensional CAT(0) cube complex has a global fixed point. In fact, Chatterji, Drutu and Haglund [5] prove that a locally compact second countable group has Property (T) if and only if any continuous action of it on a median space has bounded orbits. Sapir [19] proved that acting on a median space implies the Rapid Decay Property.
Median algebras, which are spaces equipped with a map satisfying algebraic properties that the geometric median satisfies, are studied as well, see the work of Fiovaranti [8, 7] and Bader and Taller [2]. In 2013 Bowditch defined a generalisation of a median space, called coarse median, and showed that the mapping class group of a surface is a coarse median space. Niblo et al. [16] further simplified this definition and gave a definition of a coarse median algebra.
In view of the above, we would like to have a higher-rank analogue. However, Haettel [10] proved that higher rank symmetric spaces and thick affine buildings which are not products of trees are not even coarse median spaces. This shows that one needs to modify the definition of median to fit the higher rank setting. We will focus on dimension two.
As a first step, let us examine the case of the Euclidean plane \(\mathbb {E}^2\). Clearly, \(\mathbb {E}^2\) is not a median space as for a triple of non-collinear points the geodesic segments between them do not intersect. Instead, let us consider four points \(x_1,x_2,x_3,x_4\in \mathbb {E}^2\) and the four full triangles they span \(\left\{ \blacktriangle \left( x_i,x_j,x_k \right) \right\} _{1\le i<j<k\le 4}\). Note that if \(x_1,x_2,x_3,x_4\) are non-collinear then the intersection of those triangles is a single point, as in Fig. 1, where in the figure we see the two different possible arrangements (the top and bottom of the figure) of the points in the plane and the four full triangles are coloured. We can see that o is the unique point in the intersection of the four full triangles. We note that the Helly property for the intersection of convex sets gives us that the intersection exists in this case.
In the degenerate case, in which all four points are on a common line, we have that the intersection is an interval, it is exactly the interval \(\overline{x_ix_j}\cap \overline{x_kx_l}\) for \(\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} \) for which that intersection is non-empty.
We prove that a similar phenomenon, which we call 2-median, holds in 2-dimensional CAT(0) Euclidean polygonal complexes. It is not clear to us what should ultimately be the general definition of a 2-median space, and we therefore refrain from giving such. Instead, we give an ad hoc definition in our restricted setting of 2-dimensional CAT(0) Euclidean polygonal complexes, and show that it always holds.
Let X be a 2-dimensional CAT(0) Euclidean polygonal complexes, and let \(x,y,z\in X\). In Definition 4.1, we define the full triangle \(\blacktriangle \left( x,y,z \right) \) as the minimal subset of X necessary in order to fill the geodesic triangle \(\triangle (x,y,z)\) by a disc. If \(\triangle (x,y,z)\) is a Jordan curve, the full triangle \(\blacktriangle \left( x,y,z \right) \) coincides with the image of the (unique) minimal disc in the sense of Lytchak and Wenger [13]. In this case, it was shown by Stadler [20] that \(\blacktriangle \left( x,y,z \right) \) is homeomorphic to a disc.
Definition 1.2
The space X is a 2-median space if for any \(x_1,x_2,x_3,x_4\in X\) either there exists \(\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} \) such that \(\overline{x_ix_j}\cap \overline{x_kx_l}\) is an interval, in which case \(\bigcap _{1\le i<j<k\le 4}{\blacktriangle \left( x_i,x_j,x_k \right) }=\overline{x_ix_j}\cap \overline{x_kx_l}\), or \(\bigcap _{1\le i<j<k\le 4}{\blacktriangle \left( x_i,x_j,x_k \right) }\) is a single point.
Our main result is the following:
Theorem A
2-dimensional CAT(0) polygonal complexes are 2-median.
In [12], Kleiner and Lang define and prove higher rank hyperbolicity properties in a general setting. In particular, they prove that 2-dimensional CAT(0) polygonal complexes have slim simplices; that is, if f maps the boundary of the 3-simplex to a 2-dimensional CAT(0) polygonal complex X, such that f is a (L, a) quasi isometry on each facet, then the image of each facet is contained in the \(D=D(X,L,a)\) neighbourhood of the image of the other facets.
As we said, we refrain from giving a general definition of 2-median spaces. However, speculating that such a definition will resemble Definition 1.2 (after the appropriate notions of intervals and full triangles are defined), we expect the following: the 2-median property should essentially be a rank-two phenomenon—e.g. the intersection of the triangles spanned by four generic points in the 3-dimensional Euclidean space \(\mathbb {E}^3\) is empty; it should be a non-positive curvature phenomenon—e.g. the intersection of the triangles of the regular tetrahedron in the sphere \(\mathbb {S}^2\) is empty; full triangles should be minimal discs and not convex hulls—cf. Example 4.2.
The outline of the paper is as follows:
Sections 2 and 3 are introductory: in Sect. 2 we review some properties of CAT(0) Euclidean polygonal complexes and their links and in Sect. 3 we define a generalized disc and a generalized annulus which we will use throughout the text.
In Sect. 4 we give an ad hoc topological definition of \(\blacktriangle \left( x,y,z \right) \) for a CAT(0) polygonal complex and characterize it.
In Sect. 5 we prove using a special case of a result by Stadler [20], that in this setting our ad hoc definition coincides with the definition above.
In Sect. 6 we show that the intersection of the four full triangles is non-empty by showing that \(\blacktriangle \left( x_1,x_2,x_3 \right) \subseteq \bigcup _{(i,j,k)\ne (1,2,3)}\blacktriangle \left( x_i,x_j,x_k \right) \), and using Sperner’s Lemma.
In Sect. 7 we discuss the discreteness of the intersection. We show that the intersection of the four full triangles is discrete while the intersection of two of the triangles does not have isolated points.
In Sect. 8 we prove the theorem in the degenerate case.
In Sect. 9 we prove that a near-immersion from a disc filling an embedded polygonal curve is injective:
Definition 1.3
(See [14] Definition 2.13) A cellular map \(Y\rightarrow X\) between two CW-complexes is a near-immersion if the restriction \(Y-Y^{(0)}\rightarrow X\) is locally injective.
Theorem 1.4
Let X be a CAT(0) polygonal complex, and let \(\Gamma \) be an embedded polygonal curve with ordered vertices \(x_1,\ldots ,x_n\) such that \(\kappa (\Gamma )<4\pi \). Assume \(f:\Delta \rightarrow X\) is a near-immersion, where \(\Delta \) is a finite \(\Delta \)-complex homeomorphic to a disc and \(f|_{\partial \Delta }: \partial \Delta \rightarrow \Gamma \) is a homeomorphism, then f is injective.
In Sect. 10 we prove the theorem in the general case. The idea is to obtain a near-immersion from a deflated tetrahedron (see Fig. 2) to our space and show that it is actually injective. We obtain a near-immersion by taking any cellular map from a deflated tetrahedron to our space and folding, and showing that when the procedure terminates we remain with a deflated tetrahedron.
Injectivity will follow using Theorem 1.4 and the two facts we prove in Sect. 7 about intersections of two and four full triangles.
In Sect. 11 we discuss further directions and in “Appendix A” we give an elementary proof of Stadler’s result for CAT(0) polygonal complexes.
2 CAT(0) polygonal complexes and their links
We assume that the reader is familiar with CAT(0) spaces. Specifically, we will focus on Euclidean CAT(0) polygonal complexes i.e. CAT(0) polygonal complexes whose cells are convex Euclidean polygons (not assumed to be regular). The relevant definitions can be found in parts I and II of [4].
Notation 2.1
-
If \(\xi ,\zeta \) are points in \({{\,\textrm{lk}\,}}(p)\), we denote by \(\angle _p(\xi ,\zeta )\) the angle between \(\xi \) and \(\zeta \) in X (as defined in [4, Definition I.1.12]). This defines a metric \(\angle _p\) on \({{\,\textrm{lk}\,}}(x)\). We denote the length of a path \(\alpha \) in \({{\,\textrm{lk}\,}}(p)\) by \(\measuredangle _p \alpha \), and by \(\measuredangle _p(\xi ,\zeta )\) the induced length metric, i.e. the length of the shortest path connecting them in \({{\,\textrm{lk}\,}}(p)\). Note that \(\angle _p\) does not necessarily equal the metric \(\measuredangle _p\). We will abuse notation and for \(x,y\in X\) and \(\gamma \) a path in X we denote by \(\angle _p(x,y),\measuredangle _p(\alpha ),\measuredangle _p(x,y)\) the angle, length and distance of the projections of x, y and \(\gamma \) to \({{\,\textrm{lk}\,}}(p)\). In cases in which the point referred to is clear, we will sometimes omit the subscript p,
-
Let Y be a geodesic space, \(x,y\in Y\). When there exists a unique geodesic between x, y (as is the case in CAT(0) spaces and when \(x,y\in {{\,\textrm{lk}\,}}(q)\) and \(\angle _q(x,y)<\pi \) for q in a CAT(0) space), we denote it by \(\overline{xy}\).
The CAT(0) condition for CAT(0) polygonal complexes takes a simple form:
Claim 2.2
(Link condition [4, Theorem II.5.2]) A Euclidean polygonal complex is CAT(0) if and only if it is simply connected and for each 0-cell v we have that the length of every injective loop in \({{\,\textrm{lk}\,}}(v)\) (i.e. the girth of \({{\,\textrm{lk}\,}}(v)\)) has length at least \(2\pi \).
In the remainder of this section, we discuss the connection between the link of point \(p\in X\) and \(X-p\).
Recall that there exists \(\epsilon >0\) such that the sphere around p of radius \(\epsilon \), S, can be identified with \({{\,\textrm{lk}\,}}(p)\), and the closest point projection, \(\pi _p:X-p\rightarrow S\), is a deformation retraction of \(X-p\) (see [4, Proposition II.2.4]).
When it is clear which point we are referring to, we will denote \(\pi _p(x)\) by \(\hat{x}\).
Proposition 2.3
Let X be a CAT(0) polygonal complex, \(p\in X\). Let \(x,y\in X\), then \(\angle _p(x,y)=\min \left\{ \measuredangle _p(\hat{x},\hat{y}),\pi \right\} \).
In particular, if \(p\notin \overline{xy}\), then \(\angle _p(x,y)<\pi \), so \(\angle _p(x,y)=\measuredangle _p(\hat{x},\hat{y})\) and there exists a unique path in \({{\,\textrm{lk}\,}}(p)\) between \(\hat{x},\hat{y}\) of length \(\angle _p (x,y)\).
Proof
By [4, Theorem I.7.16] there exists \(r>0\) such that S, the sphere or radius r around p, is homeomorphic to \({{\,\textrm{lk}\,}}(p)\) and the ball or radius r around p is isometric to \(C({{\,\textrm{lk}\,}}(p))\); where \(C({{\,\textrm{lk}\,}}(p))\) is the cone over \({{\,\textrm{lk}\,}}(p)\) with the metric defined such that for \(u,v\in {{\,\textrm{lk}\,}}(p)\) the angle between \(\overline{pu},\overline{pv}\) in \({{\,\textrm{lk}\,}}(p)\) is \(\min \left\{ \measuredangle _p(x,y),\pi \right\} \).
We can assume \(x,y\in S\). As isometries preserve angles, we have that \(\angle _p(x,y)=\min \left\{ \measuredangle _p(x,y),\pi \right\} \). Hence, if \(\angle _p(x,y)<\pi \), it must be that \(\measuredangle _p(x,y)=\angle _p(x,y)\). \(\square \)
As the next example shows, in general if X is a CAT(0) polygonal complex, \(p\in X\) and \(q,r\in X\) such that \(p\notin \overline{qr}\), it might be that \(\pi _p(\overline{qr})\ne \overline{\pi _p(q)\pi _p(r)}\). However, we will see in Claim 2.5 that \(\pi _p(\overline{qr}),\overline{\pi _p(q)\pi _p(r)}\) are homotopic relative to endpoints in \({{\,\textrm{lk}\,}}(p)\).
Example 2.4
Let T be the metric graph with one vertex o of degree three and three 1-cells of length 1 with vertices a, b, c. Consider \(T\times [0,1]\) with its CAT(0) metric, that is the \(\ell ^2\) metric, and the points \(p=(a,1),q=(b,0),r=(c,0)\), as in Fig. 3. Let s be the intersection of \(\overline{qr}\) with \(\left\{ o \right\} \times [0,1]\), that is, \(s=(o,0)\). Note that \(\pi _p(s)\notin \overline{\pi _p(q)\pi _p(r)}=\left\{ \pi _p(q) \right\} \).
Claim 2.5
Let X be a CAT(0) polygonal complex and \(p\in X\). Given \(q,r\in X\) such that \(p\notin \overline{qr}\) we have that \(\pi _p(\overline{qr})\) is homotopic relative to endpoints in \({{\,\textrm{lk}\,}}(p)\) to the geodesic between \(\pi _p(q),\pi _p(r)\). In particular, there exists a unique geodesic between \(\pi _p(q),\pi _p(r)\).
Proof
Let S be as in Proposition 2.3 and identify \({{\,\textrm{lk}\,}}(p)\) with S. Let \(\alpha _q:[0,1]\rightarrow X\) be a parametrisation of \(\overline{q\hat{q}}\) where \(\hat{q}\in S={{\,\textrm{lk}\,}}(p)\), such that \(\alpha _q(0)=q\) and \(\alpha _q(1)=\hat{q}\). Similarly consider \(\alpha _r\). Let \(\gamma _t:[0,1]\rightarrow X\) be a parametrisation of \(\overline{\alpha _q(t)\alpha _r(t)}\). Let \(G:[0,1]\times [0,1]\rightarrow X-p\) be \(G(s,t)=\gamma _t(s)\).
We have that G is continuous and well defined into \(X-p\), so \(\pi _p\circ G\) gives a homotopy between \(\pi _p\circ \gamma _0\) and \(\pi _p\circ \gamma _1\).
As in Proposition 2.3, the ball bounded by S is isometric to the cone over S. The cone over \(\overline{\hat{q}\hat{r}}\) is convex and contains \(\gamma _1\), so \(\pi _p\circ \gamma _1=\overline{\hat{q}\hat{r}}\). We get that \(\pi _p\circ G\) is a homotopy relative to \(\left\{ \hat{q},\hat{r} \right\} \) between \(\pi _p(\overline{qr})\) and \(\overline{\hat{q}\hat{r}}=\overline{\pi _p(q)\pi _p(r)}\). \(\square \)
As an immediate corollary, we get the following.
Corollary 2.6
Let X be a CAT(0) polygonal complex, let \(\Delta \) be a geodesic triangle with vertices \(x,y,z\in X\), and let \(p\in X\).
-
If \(p\in X-\Delta \), then \(\pi _p(\Delta )\) is homotopic to the geodesic triangle in \({{\,\textrm{lk}\,}}(p)\) with vertices \(\hat{x},\hat{y},\hat{z}\).
-
If \(p\in \overline{xy}-(\overline{xz}\cup \overline{yz})\) then \(\pi _p(\Delta -p)\) is homotopic to \(\overline{\hat{x}\hat{z}}\cup \overline{\hat{y}\hat{z}}\).
-
If \(p\in \overline{xy}\cap \overline{xz} - \overline{yz}\) then \(\pi _p(\Delta -p)\) is homotopic to \(\left\{ \hat{x} \right\} \cup \overline{\hat{y}\hat{z}}\) if \(p\ne x\) and to \(\overline{\hat{y}\hat{z}}\) if \(p=x\).
-
If \(p\in \overline{xy}\cap \overline{xz}\cap \overline{yz}\) then \(\pi _p(\Delta -p)=\left\{ \hat{u}\mid u\in \left\{ x,y,z \right\} -p \right\} \).
where all homotopies are relative to \(\left\{ \hat{x},\hat{y},\hat{z} \right\} \) when they are defined. See Fig. 4 for an illustration of the four cases.
3 Some planar complexes
In what follows we will need to discuss complexes which are similar to discs and annuli. We will record in this section the technicalities of the definitions.
Definition 3.1
-
A generalized disc D is a contractible finite \(\Delta \)-complex (see [11] Chapter 2 for definition of \(\Delta \)-complex) with a piecewise linear embedding to \(\mathbb {R}^2\), see Fig. 5. A boundary cycle is a map \(\alpha : C \rightarrow D^{(1)}\) such that \(\alpha (C)\) is contained in the topological boundary, contains all 1-cells that are contained in the topological boundary and does not cross itself, that is, if \(e_i,e_{i+1}\) are consecutive 1-cells in \(\alpha \) then \(e_i^{-1},e_{i+1}\) are consecutive in the cyclic order coming from the planar embedding of all 1-cells emanating from \(t(e_i)\), and where C is cycle graph which is of minimal length among all such graphs for which there exists such a map. The boundary cycle can be thought of as the boundary of an epsilon-neighbourhood of the embedded generalized disk. As complexes, they are just a connected and simply connected union of disks and trees. But it is important to note that generalized disks come with their embedding into \(\mathbb {R}^2\). Any two parametrized boundary cycles of D differ by precomposition by an automorphism of C. By abuse of language, we call \(\alpha \) the boundary cycle of D.
-
A generalized triangle is a generalized disc D with boundary cycle \(\alpha : C\rightarrow D\) together with 3 vertices \(x,y,z\in C\) on its boundary. We denote \(\overline{xy}^{D} = \alpha |_{\overline{xy}}\) where \(\overline{xy}\) is the path in C connecting x and y and not passing through z. The images of x, y, z and the arcs \(\overline{xy},\overline{xz},\overline{yz}\) under \(\alpha \) are well-defined and by abuse of notation we regard the points x, y, z as the corresponding points in D.
-
Given a generalized disc D, points in D that are the image of two points in the boundary cycle of D are referred to as skinny parts of D.
Definition 3.2
A generalized annulus is a finite \(\Delta \)-complex with a piecewise linear embedding to \(\mathbb {R}^2\) which is homotopy equivalent to \(\mathbb {S}^1\) and has no separating points. For example see Fig. 6.
Given a generalized annulus A, it separates \(\mathbb {R}^2\) into a bounded and an unbounded component where the bounded component is a generalized disc D. Let the inner boundary of A be the boundary cycle of D and similarly \(A\cup D\) is a generalized disc and we define the outer boundary of A to be the boundary cycle of \(A\cup D\).
Note that the inner boundary of a generalized annulus is a circle, as it has no separating points.
Definition 3.3
Let A be a generalized annulus and let \(\alpha :C\rightarrow A^{(1)}\) be the inner boundary of A where C is a cycle graph. The equivalence relation \(\sim \) on \(\alpha (C)\) is a good gluing if the relation \(\sim \) identifies \(\alpha (e_{i})\) with \(\alpha (j_i)\) where \(e_1,\ldots ,e_k,j_k^{-1},\ldots ,j_1^{-1}\) are the edges of C in this order, and at most one of \({{\,\textrm{int}\,}}(e_i),{{\,\textrm{int}\,}}(j_i)\) is on the outer boundary of A. For example see Fig. 6.
Claim 3.4
If A is a generalized annulus and \(\sim \) is a good gluing of A, then \(A/\sim \) is homeomorphic to a disc.
Proof
Assume A is a generalized annulus and \(\sim \) is a good gluing of A. The quotient \(A/\sim \) is a surface: indeed, consider the links of vertices in A—they are subsets of the circle that have at most two components (as otherwise either the vertex would be a cut vertex or A would not be homotopy equivalent to \(\mathbb {S}^1\)), the good gluing ensures that they glue up to have one component which is either a circle or a non-trivial arc. In fact, we see that the image of the outer boundary of A is the only boundary component of the surface \(A/\sim \).
The generalized annulus A is homotopic to a circle and so \(\chi (A)=0\). The CW complex \(A/\sim \) has the same number of 2-cells as A, k fewer 1-cells, and \(k-1\) fewer 0-cells where k is as in Definition 3.3. It follows that \(\chi (A/\sim )=\chi (A)+1=1\). Since the compact surface \(A/\sim \) has one boundary component and \(\chi (A/\sim )=1\) it must be a disc. \(\square \)
4 Triangles in CAT(0) polygonal complexes
Throughout let X be a CAT(0) polygonal complex. E.g. a rank two affine building. Note that a polygonal complex can be subdivided to be a triangle complex, so without loss of generality, we assume that X is a CAT(0) triangle complex, i.e. each 2-cell is a Euclidean triangle, which is not assumed to be regular.
Definition 4.1
Let \(x,y,z\in X\).
-
1.
Denote by \(\triangle (x,y,z)=\overline{xy}\cup \overline{yz}\cup \overline{zx}\) the geodesic triangle spanned by x, y, z.
-
2.
Define the full triangle \(\blacktriangle \left( x,y,z \right) \) to be the union of \(\triangle (x,y,z)\) and the set of points p in \(X-\triangle (x,y,z)\) for which \(\triangle (x,y,z)\) is not trivial in \(\pi _1(X-p)\).
Example 4.2
In Fig. 3 we see \(\triangle (p,q,r)\) in green in the space \(T\times [0,1]\) and its corresponding full triangle in yellow. Note that \(\blacktriangle \left( p,q,r \right) \) is not convex—the geodesic between s and p does not lie inside of it.
Our uniqueness result would be false if we had considered the convex hull of the three points to be the full triangle, as one could see from Fig. 7: the purple line is not in the intersection of the four triangles, but is in the intersection of the four convex hulls, as it is not in \(\blacktriangle (x,y,w)\), but is in \({{\,\textrm{conv}\,}}(x,y,w)\), and it is in \(\blacktriangle (x,z,w)={{\,\textrm{conv}\,}}(x,z,w)\) and in \(\overline{zy}\subseteq \blacktriangle (x,y,z)\cap \blacktriangle (y,z,w)\). So the intersection of the four convex hulls is not a single point.
In Fig. 3 the full triangle is not a disc, but rather a disc with a “spike” attached to it. This leads us to the following definition.
Definition 4.3
A spiky triangle (resp. full spiky triangle) is the topological space obtained from gluing a possibly degenerate interval to each of the vertices of a possibly degenerate Euclidean triangle (resp. full Euclidean triangle), as in Fig. 8.
Lemma 4.4
Let \(x,y,z\in X\). Then the geodesic triangle \(\triangle (x,y,z)\) is a spiky triangle.
Proof
The intersection of any two geodesics in a CAT(0) space is either empty or a (possibly degenerate) segment. Consider \(\overline{xy}\cap \overline{xz}\), this is a (possibly degenerate) segment, as it is non-empty. Let \(x'\) be the point furthest away from x on that interval and define \(y',z'\) similarly. We get \(\triangle (x,y,z)=\triangle (x',y',z')\cup \overline{xx'}\cup \overline{yy'}\cup \overline{zz'}\), as in Fig. 8.
It is easy to see that unless \(\triangle (x,y,z)\) is a tripod, \(\overline{xx'}\cap \overline{yz}=\emptyset , \overline{yy'}\cap \overline{xz}=\emptyset , \overline{zz'}\cap \overline{xy}=\emptyset \). It follows that \(\triangle (x,y,z)\) is a spiky triangle. \(\square \)
A similar phenomenon occurs in the link of a point in X. That is
Lemma 4.5
Let G be a metric graph with girth at least \(2\pi \) and let \(x,y,z\in X\) be such that \(d(x,y),d(y,z),d(x,z)<\pi \), then the geodesic triangle \(\triangle (x,y,z)\) (which is well defined by assumption on the distances between the points and the girth) is a spiky triangle.
The proof of this lemma is the same as the proof of Lemma 4.4 where the sentence “The intersection of any two geodesics in a CAT(0) space is either empty or a (possibly degenerate) segment” is replaced with “The intersection of any two geodesics of length \(<\pi \) in G is either empty or a (possibly degenerate) segment by assumption on the girth”.
We want to understand how \(\blacktriangle \left( x,y,z \right) \) looks locally. Consider \(x,y,z\in X\) and \(q\in \blacktriangle \left( x,y,z \right) \). Let B be a small enough ball around q. We want to describe \(B\cap \blacktriangle \left( x,y,z \right) \).
We start by analyzing points q in \(\blacktriangle \left( x,y,z \right) - \triangle (x,y,z)\). By Proposition 2.3, \(q\in \blacktriangle \left( x,y,z \right) -\triangle (x,y,z)\) if and only if \(c=\pi _q(\triangle (x,y,z))\) is a homotopically non-trivial cycle in \({{\,\textrm{lk}\,}}(q)\) or \(q\in \triangle (x,y,z)\). We claim that for a small enough ball B around q the points of \(B\cap \blacktriangle \left( x,y,z \right) \) are the cone over the “essential part” C of c which is defined below:
Definition 4.6
Let G be a graph. Given a cycle c in G which is not trivial in homotopy (resp. a path), the essential part of c is the unique closed non-backtracking cycle (resp. path) which is homotopic (resp. homotopic relative to end points) to c. Given c a disjoint union of cycles and paths in G, the essential part of c is the union of the essential parts of the connected components of c.
Claim 4.7
Let \(q\in \blacktriangle \left( x,y,z \right) -\triangle (x,y,z)\) and let B be a small enough ball around q such that \(\partial B\cong {{\,\textrm{lk}\,}}(q)\) and \(B\cap \triangle (x,y,z)=\emptyset \). Let C be the essential part of \(\pi _q(\triangle (x,y,z))\). Then for \(p\in B\), \(\hat{p}\in C\) if and only if \(p\in \blacktriangle \left( x,y,z \right) \).
Proof
By Corollary 2.6, \(\triangle (x,y,z)\) is homotopic to \(\triangle (\hat{x},\hat{y},\hat{z})\subseteq {{\,\textrm{lk}\,}}(q)\cong \partial B\) and \(\measuredangle (\hat{x},\hat{y}),\measuredangle (\hat{x},\hat{z}),\measuredangle (\hat{y},\hat{z})<\pi \) by assumption that \(q\notin \triangle (x,y,z)\). By Lemma 4.5, \(\triangle (\hat{x},\hat{y},\hat{z})\) is a spiky triangle, and since \(q\in \blacktriangle \left( x,y,z \right) \), it is non-degenerate. The essential part of \(\triangle (\hat{x},\hat{y},\hat{z})\), C, is thus an embedded circle in \(\partial B\). In conclusion, we got a homotopy in \(X-p\) of \(\triangle (x,y,z)\rightarrow C\).
Let \(\hat{C}\) be the cone over C with respect to q. It is a convex disc and \(\hat{p}\in C\) if and only if p is in the cone. If \(p \notin \hat{C}\) then C is filled with a disk \(\hat{C}\) in \(X-p\), and so \(p\notin \blacktriangle (x,y,z)\). If \(p \in \hat{C}\) then C projects to a non-trivial loop in \({{\,\textrm{lk}\,}}(p)\) (since \(\hat{C}\) is convex). It follows that C is non trivial in \(\pi _1(X-p)\), whence \(p\in \blacktriangle (x,y,z)\). \(\square \)
Similarly one proves the following claim
Claim 4.8
Let \(q\in \triangle (x,y,z)\) and let B be a small enough ball around q such that \(\partial B\cong {{\,\textrm{lk}\,}}(q)\) and B does not intersect any side of \(\triangle (x,y,z)\) not containing q. Let C be the essential part of \(\pi _q(\triangle (x,y,z)-q)\). Then for \(p\in B\), \(\hat{p}\in C\) if and only if \(p\in \blacktriangle \left( x,y,z \right) \).
Proof
We argue similarly to the proof of Claim 4.7, by analysing \(\hat{C}\) (in the notations of the proof of Claim 4.7) for the different cases in Corollary 2.6. \(\square \)
We remind that Corollary 2.6 characterizes the connected components of \(\pi _q(\triangle (x,y,z)-q)\).
In Theorem 5.1 we will show that full triangles in X are homeomorphic to full spiky triangles.
Definition 4.9
We say \(x_1,x_2,x_3\in X\) are strongly non-collinear if they are distinct and for any \(\left\{ i,j,k \right\} =\left\{ 1,2,3 \right\} \) we have \(\overline{x_ix_j}\cap \overline{x_ix_k}=\left\{ x_i \right\} \).
Definition 4.10
The points \(x_1,x_2,x_3,x_4\in X\) form a lanky quadrilateral if \(\overline{x_ix_j}\cap \overline{x_kx_l}\) is a non-degenerate segment for some \(\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} \). E.g. see Fig. 9. Note that this does not imply that the four points lie on a geodesic.
In the definition of 2-median, Definition 1.2, there are two cases to consider: either the four points form a lanky quadrilateral, in which case the intersection of the four full triangles is an interval, or not and then the intersection is a point.
5 Minimal triangles
In Lemma 4.4 we showed that geodesic triangles in X are homeomorphic to spiky triangles. In this section, we prove that full triangles in X are homeomorphic to full spiky triangles.
Theorem 5.1
Let \(x,y,z\in X\) and let T be an (abstract) full spiky triangle with \(\partial T\cong \triangle (x,y,z)\). Then there exists an embedding \(f:T\hookrightarrow X\) such that \(f|_{\partial T}\) maps \(\partial T\) homeomorphically onto \(\triangle (x,y,z)\).
Any such map has image \(\blacktriangle \left( x,y,z \right) \).
We will prove the theorem first in the strongly non-collinear case and then deduce it to the general case. The existence of an embedding in the strongly non-collinear case is a special case of Theorem 78 in [20]. We give a more elementary proof in our case in the “Appendix”, see Theorem A.1.
The uniqueness of the image in the strongly non-collinear case follows from the following lemma.
Lemma 5.2
Assume \(\Gamma \) is a piecewise linear curve in a CAT(0) polygonal complex X and assume there exists a \(\Delta \)-complex homeomorphic to \(\mathbb {D}^2\) and a cellular and injective map \(f:D\rightarrow X\) such that \(f(\partial D)=\Gamma \), then f(D) equals the union of \(\Gamma \) with the set of points \(p\in X-\Gamma \) such that \(\Gamma \) is not trivial in \(\pi _1(X-p)\).
In particular, for any \(g:\mathbb {D}^2\rightarrow X\) cellular with respect to some \(\Delta \)-complex structure on \(\mathbb {D}^2\) and injective such that \(g(\partial \mathbb {D})=\Gamma \), we have \(g(\mathbb {D}^2)=f(D)\).
Proof
Denote by M the union of \(\Gamma \) with the set of points \(p\in X\) such that \(\Gamma \) is not trivial in \(\pi _1(X-p)\). Clearly \(M\subseteq f(D)\), as if \(p\notin f(D)\) then f provides a null homotopy of \(\Gamma \) in \(X-p\) and thus \(p\notin M\).
For the other direction, let \(p\in D\). There are projections, as in Claim 2.5, \(\pi _p:\partial D\rightarrow {{\,\textrm{lk}\,}}(p)\) and \(\pi _{f(p)}:X-f(p)\rightarrow {{\,\textrm{lk}\,}}(f(p))\) and as f is injective, we have \(f_p\circ \pi _p\) is homotopic equivalent to \(\pi _{f(p)}\circ f\).
As \(\pi _p(\partial D)\) is a cycle, so is \(f_p(\pi _p(\partial D))\), hence it is not null homotopic in \({{\,\textrm{lk}\,}}(f(p))\) which is a graph. By the equality above \(\pi _{f(p)}\circ f(\partial D)=\pi _{f(p)}(\Gamma )\) is not trivial, so \(\Gamma \) is not trivial in \(\pi _1(X-p)\). \(\square \)
Now for the general case.
Proof of Theorem 5.1
The existence of such a map follows from the strongly non-collinear case using the following lemma.
Lemma 5.3
If f is a map from an abstract spiky triangle T to X such that it maps \(\partial T\) homeomorphically onto \(\triangle (x,y,z)\) and the triangle part of T is mapped injectively, then f is injective.
Proof
Let \(x,y,z\in X\) and denote by \(x'\in X\) the point in which \(\overline{xy},\overline{xz}\) diverge and similarly denote \(y',z'\), as in Fig. 8. By Lemma 4.4, \(\triangle (x,y,z)\) is homeomorphic to a spiky triangle and \(\triangle (x',y',z')\) is homeomorphic to a triangle.
By Theorem 78 in [20], there exists a full triangle D and \(f:D\rightarrow X\) an embedding such that \(f|_{\partial D}:\partial D\rightarrow \triangle (x',y',z')\) is a homeomorphism.
By Lemma 5.2\(f(D)=\blacktriangle \left( x',y',z' \right) \).
Glue to D the three spikes, i.e. let \(I_1,I_2,I_3\) be three intervals homeomorphic to \(\overline{xx'}, \overline{yy'}, \overline{zz'}\) respectively and let \(a_j\in I_j\) be one of their endpoints. Consider \(T=D\sqcup I_1\sqcup I_2\sqcup I_3/\sim \) where \(a_1\sim f^{-1}(x'),a_2\sim f^{-1}(y'),a_3\sim f^{-1}(z')\) and consider the map \(\bar{f}:T\rightarrow X\), induced from f and the homeomorphisms of \(I_j\) to the geodesic segments.
In order to show \(\bar{f}\) is injective it is enough to show that for \(p\in \partial T-D\) we have \(\bar{f}(p)\notin \bar{f}(D)=\blacktriangle \left( x',y',z' \right) \). Indeed as \(\bar{f}|_{\partial T}\) is a homeomoprhism, we have that \(\bar{f}(p)\notin \triangle (x',y',z')\), hence, by Claim 4.7, \(\bar{f}(p)\in \blacktriangle \left( x',y',z' \right) \) if and only if the concatenation of \(\overline{\hat{x'}\hat{y'}}, \overline{\hat{y'}\hat{z'}}, \overline{\hat{z'}\hat{x'}}\) in \({{\,\textrm{lk}\,}}(p)\) is not null homotopic. But two out of the three segments are constant in \({{\,\textrm{lk}\,}}(p)\), as they are continuations of geodesics emanating from p, so the union of the three is null homotopic. \(\square \)
In conclusion, we found an injective map from an abstract full spiky triangle to X mapping the boundary of the triangle homeomorphically onto \(\triangle (x,y,z)\). We are left to prove that any such map \(f:T\rightarrow X\) has image \(\blacktriangle \left( x,y,z \right) \).
Let D be the triangle part of T and let \(x',y',z'\) as above. We have that f maps \(\partial D\) homeomorphically onto \(\triangle (x,y,z)\), hence \(f(D)=\blacktriangle \left( x',y',z' \right) \) by Lemma 5.2. We get \(f(T)=f(\partial T)\cup f(D)=\triangle (x,y,z)\cup \blacktriangle \left( x',y',z' \right) =\blacktriangle \left( x,y,z \right) \). \(\square \)
Remark 5.4
We have shown that in the strongly non-collinear case, our ad hoc definition coincides with the definition of the image of a minimal disc as in Lytchak and Wenger [13].
6 Existence of intersection
For \(x_1,x_2,x_3,x_4\in X\) let \(W_1,W_2,W_3,W_4\) be the four full triangles they define, where \(W_i\), \(1\le i \le 4\), is the full triangle of the three points \(\{x_1,x_2,x_3,x_4\} - \{x_i\}\). In Proposition 6.2 we will show \(\bigcap _{i=1}^4 W_i \ne \emptyset \). If one of the \(W_i\)’s is a tripod or interval (i.e. the triangle part of the spiky triangle is degenerate), the claim is clear - the branching point of the tripod would be in the intersection. So we may assume this is not the case.
By Theorem 5.1 there exists \(F_1,F_2,F_3,F_4\) full spiky triangles, \(f_i:F_i \rightarrow W_i\) homeomorphism such that each side of \(F_i\) maps to a side of \(W_i\). The maps glue along the boundaries of the \(F_i\)’s and descend to a map f. That is, consider
Claim 6.1
If \(p \in W_i\) then there exists \(j\ne i\) such that \(p\in W_j\).
Proof
Without loss of generality \(p\in W_4\). Assume towards contradiction that \(p\notin \bigcup _{i=1}^3 W_i\). By assumption, \(f( S - F_4)\subseteq X-p\). Since \(S - F_4\) is contractible, \(f|_{\partial F_4}: \partial F_4 \rightarrow \triangle (x_1,x_2,x_3)\) is null homotopic in \(X-p\), in contradiction to the definition of \(W_4\). \(\square \)
Proposition 6.2
\(\bigcap _{1\le i \le 4} W_i \ne \emptyset \).
We will make use of Sperner’s lemma, see [9] for the proof.
Lemma 6.3
(Sperner’s lemma) Consider a triangulation of a triangle with vertices p, q, r. Let there be a colouring of the 0-cells by three colours such that each of the three vertices p, q, r has a distinct colour and the 0-cells that lie on any side of the triangle have only two colours - the two colours at the endpoints of that side. Then there exists at least one “rainbow triangle” - a 2-cell with vertices coloured with all three colours. More precisely, there must be an odd number of rainbow triangles.
Proof of Proposition 6.2
Consider a sequence of triangulations of the triangle part of \(F_4\) such that the supremum of diameters of the 2-cells goes to 0. We define a colouring of the 0-cells of the triangulation by three colours 1, 2, 3. On \(\partial F_4\) we define it as in Fig. 10, i.e. for a 0-cell \(v\in f^{-1}(\overline{x_2x_3})-f^{-1}(x_3)\) we let its colour be 1, the colours of 0-cells in \(f^{-1}(\overline{x_1x_3})-f^{-1}(x_1)\) and \(f^{-1}(\overline{x_1x_2})-f^{-1}(x_2)\) are 2 and 3 respectively. For v a 0-cell in the interior of \(F_4\) we define its colour to be \(\min \left\{ j \mid f\left( v \right) \in W_j \right\} \) which is well defined from the previous claim.
By Sperner’s lemma, Lemma 6.3, in each coloured triangulation there exists a rainbow triangle \(T_n\). Let \(p'_n\) be the barycenter of \(T_n\), by compactness (up to passing to a subsequence) \(p'_n\) converges to \(p'\in F_4\). We now claim that \(p=f\left( p' \right) \) is in \(\bigcap _{1\le i\le 4} W_i\).
Note that for \(j\in \left\{ 1,2,3 \right\} \) the sequence of vertices of \(T_n\) coloured j also converges to \(p'\), as the bound on the diameter of 2-cells goes to 0, hence \(p'\) is arbitrarily close to \(W_j\) for all \(j\in \left\{ 1,2,3 \right\} \), hence \(p\in W_j\), and of course \(p\in W_4\), as \(p'\in F_4\), so we are done. \(\square \)
7 Discreteness of intersection
In this section we will prove the following theorem.
Theorem 7.1
Let \(x_1,x_2,x_3,x_4\in X\), denote \(W_1,W_2,W_3,W_4\) the four full triangles they define, then
-
If \(x_1,x_2,x_3,x_4\) do not form a lanky quadrilateral, then \(\bigcap _{i=1}^4 W_i\) is a finite set of points.
-
If \(x_1,x_2,x_3,x_4\) form a lanky quadrilateral, then \(\bigcap _{i=1}^4 W_i\) is the union of a finite set and \(\bigcup _{\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} }(\overline{x_ix_j}\cap \overline{x_kx_l})\), in particular it is 1-dimensional.
Let \(x_1,x_2,x_3,x_4\in X\), we will refer to them as vertices and to the geodesic segments between them as sides. By opposite sides we mean \(\overline{x_ix_j},\overline{x_kx_l}\) for \(\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} \). Denote \(W_1,W_2,W_3,W_4\) the four full triangles in X. Assume throughout this section that \(p\in \bigcap _{i=1}^4 W_i\).
We will study the link of p and show that the case \(p\in \bigcap _{i=1}^4 W_i\) is very restricted. Indeed, denoting \(\hat{x}_1,\hat{x}_2,\hat{x}_3,\hat{x}_4\) the image of \(x_1,x_2,x_3,x_4\) in \({{\,\textrm{lk}\,}}(p)\), we have from Claims 4.7 and 4.8 that either two are antipodal, that is p is on a side; or \(\triangle (\hat{x}_i,\hat{x}_j,\hat{x}_k)\subseteq {{\,\textrm{lk}\,}}(p)\) are well defined for all \(i,j,k\in \left\{ 1,2,3,4 \right\} \), distinct and, by Corollary 2.6, not trivial in homotopy.
Claim 7.2
If \(p\in \bigcap _{i=1}^4 W_i- X^{(1)}\), then p is in the intersection of two opposite sides.
Proof
The link of p is a circle of length \(2\pi \), as in Fig. 11. Assume by contradiction that p is not on a side containing \(x_i\), that is, the antipodal point to \(\hat{x}_i\) is not \(\hat{x}_j\) for all \(j\in \left\{ 1,2,3,4 \right\} \). The points \(\hat{x}_i\) and its antipodal separate \({{\,\textrm{lk}\,}}(p)\) into two arcs. By the pigeonhole principle, one of the arcs contains at least two out of \(\left\{ \hat{x}_j \right\} _{j\ne i}\), say \(\hat{x}_k,\hat{x}_l\), so \(\triangle (\hat{x}_i,\hat{x}_k,\hat{x}_l)\) is null homotopic in \({{\,\textrm{lk}\,}}(p)\) which is a contradiction to \(p\in \blacktriangle \left( x_i,x_k,x_l \right) \) and Corollary 2.6, which states that \(\triangle (\hat{x}_i,\hat{x}_k,\hat{x}_l)\) is homotopic to \(\pi _p(\triangle (x_i,x_k,x_l))\).
In conclusion, p is on a side emanating from each vertex. If p is not in the intersection of two opposite sides, then up to permutation of the vertices, \(p\in \bigcap _{j=2,3,4} \overline{x_1x_j}\) and in particular \(\hat{x}_2=\hat{x}_3=\hat{x}_4\). That cannot be, as then \(\triangle (\hat{x}_2,\hat{x}_3,\hat{x}_4)\) is null homotopic in \({{\,\textrm{lk}\,}}(p)\) which is again a contradiction to Corollary 2.6. \(\square \)
Claim 7.3
If \(p\in \bigcap _{i=1}^4 W_i\) and \(p\in X^{(1)}-X^{(0)}\) is contained in the interior of a 1-cell e, then either p is on the intersection of two opposite sides or p is on a side that intersects e transversely.
Proof
The link \({{\,\textrm{lk}\,}}(p)\) is a graph with two vertices, which we will refer to as poles and denote S, N, and no loops. For the purpose of this proof, we will refer to the 1-cells in \({{\,\textrm{lk}\,}}(p)\) as longitudes in order to differentiate from the 1-cells in X. We may consider only the longitudes on which \(\hat{x}_1,\hat{x}_2,\hat{x}_3,\hat{x}_4\) lie, as the geodesics between them will be included in the union of those longitudes. There are at most four such longitudes. Note that if there are only two such longitudes, then the same proof as in the previous claim will give us that p is in the intersection of two opposite sides. Also note that if p is on a side that does not intersect e transversely, then there are only two such longitudes and we are done.
Remember that each longitude is of length \(\pi \) and if \(p\notin \overline{x_ix_j}\) then by Proposition 2.3\(\measuredangle _p(\hat{x}_i,\hat{x}_j)<\pi \). Hence if \(p\notin \triangle (x_i,x_j,x_k)\), then \(\triangle (\hat{x}_i,\hat{x}_j,\hat{x}_k)\) is of length \(<3\pi \), so the non-backtracking representative of \(\triangle (\hat{x}_i,\hat{x}_j,\hat{x}_k)\) passes through each of the poles at most once.
Case 1 \(\hat{x}_1,\hat{x}_2,\hat{x}_3,\hat{x}_4\) lie on three longitudes. without loss of generality \(\hat{x}_1,\hat{x}_2\) lie on the same longitudes and \(\hat{x}_1\) is closer to S than \(\hat{x}_2\), as in Fig. 12.
Assume towards contradiction that p is not on any side, so the triangles \(\left\{ \triangle (\hat{x}_i,\hat{x}_j,\hat{x}_k) \right\} _{1\le i<j<k\le 4}\) are well defined in \({{\,\textrm{lk}\,}}(p)\). They are not null-homotopic, by assumption on p.
We have that \(S\in \overline{\hat{x}_1\hat{x}_3}\), as if not, \(N\in \overline{\hat{x}_1\hat{x}_3}\). Hence \(N\in \overline{\hat{x}_2\hat{x}_3}\), as a subset of a geodesic is a geodesic. It follows that \(\triangle (\hat{x}_1,\hat{x}_2,\hat{x}_3)\) is null homotopic which is a contradiction to \(p\in \blacktriangle \left( x_1,x_2,x_3 \right) \).
Similar reasoning replacing 3 by 4 gives \(S\in \overline{\hat{x}_1\hat{x}_4}\). Similar reasoning replacing 1 by 2 and S by N gives \(N\in \overline{\hat{x}_2\hat{x}_3},\overline{\hat{x}_2\hat{x}_4}\).
We arrive to a contradiction, as the geodesic between \(\hat{x}_3,\hat{x}_4\) does not pass through one of the poles, say S, hence the triangle \(\triangle (\hat{x}_2,\hat{x}_3,\hat{x}_4)\) is null homotopic - does not pass through S.
Case 2 \(\hat{x}_1,\hat{x}_2,\hat{x}_3,\hat{x}_4\) lie on four longitudes. It cannot be that in \({{\,\textrm{lk}\,}}(p)\) all geodesics emanating from a vertex pass through the same pole. Indeed, assume towards contradiction and without loss of generality that all geodesics emanating from \(\hat{x}_1\) pass through S. We get that all other geodesics pass through N because \(\triangle (\hat{x}_1,\hat{x}_i,\hat{x}_j)\) is not null homotopic for \(2\le i<j\le 4\). But then \(\triangle (\hat{x}_2,\hat{x}_3,\hat{x}_4)\) is null homotopic, as all the geodesic segments in it pass through N, so do not pass through S. This is a contradiction to \(p\in \blacktriangle \left( x_2,x_3,x_4 \right) \).
Assume without loss of generality that \(\hat{x}_1\) is the closest to S and \(\hat{x}_4\) is the closest to N (need not be unique), as in Fig. 13. If the geodesic between \(\hat{x}_1,\hat{x}_4\) passes through S (respectively N) then all geodesics emanating from \(\hat{x}_1\) (respectively \(\hat{x}_4\)) pass through S (respectively N). So all geodesics emanating from \(\hat{x}_1\) or \(\hat{x}_4\) pass through the same pole which is a contradiction by the previous paragraph. \(\square \)
Proof of Theorem 7.1
By Claims 7.2 and 7.3, every point of \(\bigcap _{i=1}^4 W_i\) is either in \(X^{(0)}\), in the transverse intersection of \(X^{(1)}\) with sides, or in the intersection of sides.
We have that each side crosses transversely a finite amount of 1-cells in X, \(X^{(0)} \cap \bigcup _{i=1}^4 W_i\) is finite, and if \(x_1,x_2,x_3,x_4\) do not form a lanky quadrilateral, two sides intersect at most at a point, so \(\bigcap _{i=1}^4 W_i\) is finite. If they do, we have that \(\bigcap _{i=1}^4 W_i\) is a union of a finite set of points with all intersections of opposite sides. \(\square \)
This theorem is essential to the proof, it will be used together with the following lemma, regarding the intersection of two triangles sharing a side.
Lemma 7.4
Assume \(x_1,x_2,x_3,x_4\in X\), \(x_1\ne x_2\) and \(q\in \blacktriangle \left( x_1,x_2,x_3 \right) \cap \blacktriangle \left( x_1,x_2,x_4 \right) \), then q is not an isolated point in the intersection.
Proof
Let \(\hat{x}_1,\hat{x}_2,\hat{x}_3,\hat{x}_4\) be the images of \(x_1,x_2,x_3,x_4\) in \({{\,\textrm{lk}\,}}(q)\).
Note that if \(q\in \overline{x_1x_2}\) we are done, as \(\overline{x_1x_2}\subseteq \blacktriangle \left( x_1,x_2,x_3 \right) \cap \blacktriangle \left( x_1,x_2,x_4 \right) \) so q is not an isolated point in the intersection. Assume this is not the case.
By Claims 4.7 and 4.8 it is enough to show that \(C_3,C_4\), the essential parts of \(\pi _q(\triangle (x_1,x_2,x_3)-q),\pi _q(\triangle (x_1,x_2,x_4)-q)\) in \({{\,\textrm{lk}\,}}(q)\) respectively, intersect. We will actually show that they intersect on \(\overline{\hat{x}_1\hat{x}_2}\).
Clearly \(C_3,C_4\) intersect \(\overline{\hat{x}_1\hat{x}_2}\). If for some \(i\in \left\{ 3,4 \right\} \), \(q\in \overline{x_1x_i}\cap \overline{x_2x_i}\) we have by Corollary 2.6 that \(\overline{\hat{x}_1\hat{x}_2}\subseteq C_i\) and so \(C_3\cap C_4\ne \emptyset \) and we are done. So assume \(q\notin \overline{\hat{x}_1\hat{x}_3}\cap \overline{\hat{x}_2\hat{x}_3}, \overline{\hat{x}_1\hat{x}_4}\cap \overline{\hat{x}_2\hat{x}_4}\). In this case, again by Corollary 2.6, each of \(C_3,C_4\) is a cycle or an arc depending on whether \(q\in \triangle (x_1,x_2,x_i)\) or not.
If \(C_3\) is a cycle, then from Lemma 4.5\(C_3=\triangle (\hat{z}_1,\hat{z}_2,\hat{z}_3)\) where \(\hat{z}_i\) is the point closest to \(\hat{x}_i\) on \(C_3\), that is it is the point furthest away from \(\hat{x}_i\) on \(\overline{\hat{x}_i\hat{x}_j}\cap \overline{\hat{x}_i\hat{x}_k}\) where \(\left\{ i,j,k \right\} =\left\{ 1,2,3 \right\} \).
Similarly if \(C_4\) is a cycle then \(C_4=\triangle (\hat{w}_1,\hat{w}_2,\hat{w}_4)\) where \(\hat{w}_i\) is the point closest to \(\hat{x}_i\) on \(C_4\), that is it is the point furthest away from \(\hat{x}_i\) on \(\overline{\hat{x}_i\hat{x}_j}\cap \overline{\hat{x}_i\hat{x}_k}\) where \(\left\{ i,j,k \right\} =\left\{ 1,2,4 \right\} \).
If \(C_3\) is an arc then \(q\in \overline{x_1x_3}\) or \(\overline{x_2x_3}\) and \(C_3=\overline{\hat{x}_1\hat{z}_3}\cup \overline{\hat{x}_1\hat{z}_3}\) where \(\hat{z}_3\) is defined as above. Similarly if \(C_4\) is an arc \(C_4=\overline{\hat{x}_1\hat{w}_4}\cup \overline{\hat{x}_1\hat{w}_4}\)
In all cases \(C_i\cap \overline{\hat{x_1}\hat{x_2}}\) is non-trivial and connected, hence an arc (perhaps degenerate, i.e. a point).
Assume towards contradiction that \(C_3,C_4\) do not intersect on \(\overline{\hat{x}_1\hat{x}_2}\), that is \(C_3\cap \overline{\hat{x}_1\hat{x}_2},C_4\cap \overline{\hat{x}_1\hat{x}_2}\) are two disjoint arcs. Without loss of generality \(C_3\cap \overline{\hat{x}_1\hat{x}_2}\) is closer to \(\hat{x}_1\) than \(C_4\cap \overline{\hat{x}_1\hat{x}_2}\). The endpoint of \(C_3\cap \overline{\hat{x}_1\hat{x}_2}\) furthest from \(\hat{x}_1\) is \(\hat{z}_2\) and the endpoint of \(C_4\cap \overline{\hat{x}_1\hat{x}_2}\) furthest from \(\hat{x}_2\) is \(\hat{w}_1\), as in Fig. 14. By assumption \(\overline{\hat{x}_1\hat{z}_2}\cap \overline{\hat{w}_1\hat{x}_2}=\emptyset \).
Let \(\alpha =d(\hat{w}_1,\hat{x_2})\) and \(\beta =d(\hat{z}_2,\hat{x_1})\).
Note that:
-
\(d(\hat{w}_1,\hat{x}_4)\ge \pi -\alpha \). This is because:
-
If \(q\notin \overline{x_2x_4}\) then the concatenation of \(\overline{\hat{x_2}\hat{w}_1},\overline{\hat{w}_1\hat{x_4}},\overline{\hat{x_4}\hat{x_2}}\) includes an essential cycle, so is of length \(\ge 2\pi \), but \(\overline{\hat{x}_2\hat{x}_4}\) is of length \(<\pi \) by Proposition 2.3, so \(\alpha +d(\hat{w}_1,\hat{x}_4)\ge 2\pi -d(\hat{x}_2,\hat{x}_4)>\pi \) and this gives us what we want.
-
If \(q\in \overline{x_2x_4}\) we can choose a path \(\hat{\pi }\) of length \(\pi \) between \(\hat{x}_4,\hat{x}_2\) and the concatenation of \(\overline{\hat{x}_2\hat{w}_1},\overline{\hat{w}_1\hat{x}_4},\hat{\pi }\) either contains a cycle and then, as in the previous case, we get what we want or is fully backtracking and then \(\alpha +d(\hat{w}_1,\hat{x}_4)\ge \pi \).
-
-
\(d(\hat{x}_1,\hat{w}_1) + d(\hat{w}_1,\hat{x}_4) < \pi \). This is because the concatenation of \(\overline{\hat{x}_1\hat{w}_1},\overline{\hat{w}_1\hat{x}_4}\) is exactly \(\overline{\hat{x}_1\hat{x}_4}\), by choice of \(\hat{w}_1\), so we are done by Proposition 2.3.
From the second point we have \(\beta =d(\hat{x}_1,\hat{z}_2) \le d(\hat{x}_1,\hat{w}_1) < \pi -d(\hat{w}_1,\hat{x}_4)\), and then from the first point \(\beta <\alpha \). But of course, this argument was symmetric so we also have \(\alpha <\beta \) which is a contradiction. \(\square \)
8 Proof of Theorem for lanky quadrilateral case
The statement we will prove in this section is the second part of Theorem A:
Theorem 8.1
Assume \(x_1,x_2,x_3,x_4\in X\) such that \(\overline{x_1x_2}\cap \overline{x_3x_4}\) is a segment, then \(\bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) =\overline{x_1x_2}\cap \overline{x_3x_4}\)
The situation described in the theorem corresponds to triangles whose union is as in Fig. 15.
Lemma 8.2
Given \(x_1,x_2,x_3,x_4\in X\), if \(\overline{x_1x_2}\cap \overline{x_3x_4}\ne \emptyset \) then
hence \(\overline{x_ix_j}\cap \overline{x_kx_l}= \overline{x_{i'}x_{j'}}\cap \overline{x_{k'}x_{l'}}\) for \(\left\{ i,j,k,l \right\} =\left\{ i',j',k',l' \right\} =\left\{ 1,2,3,4 \right\} \), when both intersections are non-empty.
Proof
We will prove \(\overline{x_1x_3}\cap \overline{x_2x_4}\subseteq \overline{x_1x_2}\cap \overline{x_3x_4}\), the proof of the other inclusion is the same up to renaming.
By assumption there exists \(p\in \overline{x_1x_2}\cap \overline{x_3x_4}\). Let \(q\in \overline{x_1x_3}\cap \overline{x_2x_4}\).
Things are now as in Fig. 16, where lines of the same colour are geodesics and the letters in gray are the lengths of each part of the geodesic.
By the triangle inequality, we have the following
Summing up these inequalities we get \(l_1+l_2+k_1+k_2+m_1+m_2+j_1+j_2\le l_1+l_2+k_1+k_2+m_1+m_2+j_1+j_2\), so all inequalities are equalities.
Geodesics are unique in a CAT(0) space so we get
In particular \(q\in \overline{x_1x_2}\cap \overline{x_3x_4}\). \(\square \)
Lemma 8.3
In the conditions of Theorem 8.1, \(\blacktriangle \left( x_1,x_3,x_4 \right) \cap \blacktriangle \left( x_2,x_3,x_4 \right) \) is equal to \(\bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) \).
Proof
It suffices to show \(\blacktriangle \left( x_1,x_3,x_4 \right) \cap \blacktriangle \left( x_2,x_3,x_4 \right) \subseteq \bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) \).
Denote by \(y_1,y_2\) the two endpoints of \(\overline{x_1x_2}\cap \overline{x_3x_4}\) such that \(y_1\) is closer to \(x_1\) than to \(x_2\) and. Without loss of generality, \(y_1\) is also closer to \(x_3\) than to \(x_4\), as in Fig. 17.
Note that \(\overline{x_4x_1}=\overline{x_4y_1}\cup \overline{y_1x_1}\) because \(\overline{x_4y_1},\overline{y_2x_1}\) are both geodesics that intersect on an interval. Similarly \(\overline{x_2x_3}=\overline{x_2y_1}\cup \overline{y_1x_3}\). Hence for \(i\in \left\{ 2,4 \right\} \) we have \(\blacktriangle \left( x_1,x_i,x_3 \right) =\overline{x_iy_1}\cup \blacktriangle \left( y_1,x_1,x_3 \right) \) and similarly for \(j\in \left\{ 1,3 \right\} \) we have \(\blacktriangle \left( x_2,x_j,x_4 \right) =\overline{x_jy_2}\cup \blacktriangle \left( y_2,x_2,x_4 \right) \). So
It is enough to show \(\blacktriangle \left( y_1,x_1,x_3 \right) )\cap \blacktriangle \left( y_2,x_2,x_4 \right) )\subseteq \overline{x_1x_2}\cap \overline{x_3x_4}\). If \(p\in \blacktriangle \left( x_1,y_1,x_3 \right) \), then \(\pi _p(x_2)=\pi _p(x_4)\), so \(p\notin \blacktriangle \left( y_2,x_1,x_4 \right) -\triangle (y_2,x_1,x_4)\). Similarly interchanging the roles of the triangles. So
which is in \(\subseteq \overline{x_1x_2}\cap \overline{x_3x_4}\) by Lemma 8.2. \(\square \)
Now for the proof of the theorem.
Proof of Theorem 8.1
Denote \(T_1=\blacktriangle \left( x_1,x_3,x_4 \right) ,T_2=\blacktriangle \left( x_2,x_3,x_4 \right) \). By Lemma 8.3\(T_1\cap T_2=\bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) \), which by Theorem 7.1 is equal to \(\bigcup _{\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} } (\overline{x_ix_j}\cap \overline{x_kx_l})\) union a finite set of points. By Lemma 7.4\(T_1\cap T_2\) has no isolated points, thus \(T_1\cap T_2=\bigcup _{\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} } (\overline{x_ix_j}\cap \overline{x_kx_l})\) and by Lemma 8.2, all none empty segments among these coincide. \(\square \)
9 Near-immersions
Recall Definition 1.3. We rewrite the definition for 2-dimensional complexes.
Definition 9.1
A cellular map \(f:A\rightarrow B\) between 2-dimensional polygonal complexes is a near-immersion if it is injective on each cell and there are no twin cells - different 2-cells \(t,t'\) sharing a 1-cell such that \(f(t)=f(t')\).
Theorem 9.2
Let X be a CAT(0) polygonal complex, and let \(\Gamma \) be an embedded polygonal curve with ordered vertices \(x_1,\ldots ,x_n\) such that \(\kappa (\Gamma )<4\pi \). Assume \(f:\Delta \rightarrow X\) is a near-immersion, where \(\Delta \) is a finite \(\Delta \)-complex homeomorphic to a disc and \(f|_{\partial \Delta }: \partial \Delta \rightarrow \Gamma \) is a homeomorphism, then f is injective.
In particular, \(\Gamma =\triangle (x,y,z)\) satisfies the conclusion of the theorem when \(x,y,z\in X\) are strongly non-collinear, as in this case \(\kappa (\Gamma )<4\pi \).
We get the following corollary using Lemma 5.3.
Corollary 9.3
Let X be a CAT(0) polygonal complex, \(x,y,z\in X\) and \(f:T \rightarrow X\) a near-immersion such that T is a full (abstract) spiky triangle and \(f|_{\partial T}: \partial T \rightarrow \triangle (x,y,z)\) is a homeomorphism. Then f is injective and its image is \(\blacktriangle \left( x,y,z \right) \).
Proof
By Theorem 9.2, f is injective on the triangle part of T, hence by Lemma 5.3f is injective. By Theorem 5.1\(f(T)=\blacktriangle \left( x,y,z \right) \). \(\square \)
We will prove Theorem 9.2 by arguing that if f is not injective we get a contradiction to Gauss-Bonnet Theorem.
We will remind the reader of the statement of Gauss-Bonnet.
Definition 9.4
A pseudo-surface with boundary is a 2-dimensional simplicial complex S such that every 1-cell is contained in one or two 2-cells. Its boundary, \(\partial S\), is the union of the 1-cells which are incident to only one 2-cell. Its interior, \({{\,\textrm{int}\,}}(S)\), is defined to be \(S-\partial S\).
Notation 9.5
Let S be a piecewise Euclidean pseudo-surface. For \(v\in {{\,\textrm{int}\,}}(S)\) we denote \(K_v=2\pi - \sum \alpha \) where the sums run over all angles around v in the 2-cells containing v. For \(v\in \partial S\), let i be the number of connected component of \({{\,\textrm{lk}\,}}(v)\); we denote \(k_v = (2-i)\pi - \sum \alpha \) where the sums run over all angles around v in the 2-cells containing v.
Theorem 9.6
[14, Theorem 4.6] Let S be a piecewise Euclidean pseudo-surface. Then,
where \(\chi (S)\) is the Euler characteristic of S.
Note that the sums are finite, as for \(v\notin S^{(0)}\) we have that the appropriate summand is 0.
In the rest of this section we will prove Theorem 9.2.
Assume \(\Delta \) is a finite \(\Delta \)-complex homeomorphic to a disc and \(f:\Delta \rightarrow X\) is a near-immersion mapping the boundary of \(\Delta \) homeomorphically onto \(\Gamma \). We endow \(\Delta \) with a piecewise Euclidean structure by endowing each 2-cell \(\sigma \) of \(\Delta \) with the Euclidean metric of its image in X under f. Let \(p\in \Delta \), since f is a near-immersion, each arc \(\alpha \) in \({{\,\textrm{lk}\,}}(p)\) is sent to an arc \(f_p(\alpha )\) in \({{\,\textrm{lk}\,}}(f(p))\) which has the same length. It follows that the girth of \({{\,\textrm{lk}\,}}(p)\) is at least that of \({{\,\textrm{lk}\,}}(f(p))\), which is at least \(2\pi \) since X is CAT(0). By the link condition, Claim 2.2, \(\Delta \) is CAT(0).
Denote abusively by \(x_i\in \Delta \) the unique point in \(\partial \Delta \) with image \(x_i\in X\).
We collect a few important facts about \(\Delta \) in the following claims.
Claim 9.7
We have,
-
(1)
for all \(v\in {{\,\textrm{int}\,}}(\Delta )\), \(K_v\le 0\),
-
(2)
for all \(v\in \partial \Delta -\left\{ x_1,\ldots ,x_n \right\} \), \(k_v\le 0\),
Proof
Proof of (1): Since \(\Delta \) is CAT(0), the girth of \({{\,\textrm{lk}\,}}(v)\) is at least \(2\pi \). If \(v\in {{\,\textrm{int}\,}}\Delta \) then \({{\,\textrm{lk}\,}}(v)\) is a circle, and \(K_v = 2\pi - {{\,\textrm{girth}\,}}({{\,\textrm{lk}\,}}(v)) \le 0\), as claimed.
Proof of (2): If \(v\in {{\,\textrm{int}\,}}(\gamma ) \cap \partial \Delta -\left\{ x_1,\ldots ,x_n \right\} \), then f(v) is on the geodesic segment connecting \(x_i,x_{i+1}\) or \(x_n,x_1\). By the triangle inequality for angles, the sum of the angles of v in 2-cells containing v is at least \(\angle _v(x_i,x_{i+1})=\pi \) (or, in the latter case, \(\angle _v(x_n,x_1)=\pi \)), hence \(k_v \le 0\). \(\square \)
Let \(\gamma \) be a geodesic in \(\Delta \) connecting the points p, q. For \(v\in {{\,\textrm{int}\,}}(\gamma )\) define
where \(\angle _{f(v)}(f\circ \gamma )\) is the angle that \(f\circ \gamma \) makes at f(v) in X . By definition, \(0\le T_v\le \pi \).
Claim 9.8
Assume \(\gamma \) is a geodesic in \(\Delta \) such that \(f\circ \gamma \) is a closed loop in X Then:
-
(i)
\(\sum _{v\in {{\,\textrm{int}\,}}(\gamma )} T_v \ge \pi \).
-
(ii)
If \(v\in {{\,\textrm{int}\,}}(\gamma ) \cap {{\,\textrm{int}\,}}(\Delta )\) then \(K_v\le -2 T_v\).
-
(iii)
If \(v\in {{\,\textrm{int}\,}}(\gamma )\cap \left\{ x_1,\dots ,x_n \right\} \) then \(k_v\le -2T_v+\pi -\angle _{x_i}\Gamma \), where \(T_v = \pi -\angle _{f(v)}f\circ \gamma \).
Proof
To prove (i), we will use the following lemma.
Lemma 9.9
Let P be a geodesic polygon in a CAT(0) space with ordered vertices \(v_1,\dots ,v_n\) then \(\sum _{i=1}^n (\pi -\angle _{v_i}P)\ge 2\pi \). \(\square \)
The proof of Lemma 9.9 is standard and is obtained by cutting the polygon into triangles by erecting geodesic segments between \(v_i\) for \(2\le i\le n-2\) and \(v_n\) and using the fact that the sum of angles in a triangle in a CAT(0) space is less than or equal to \(\pi \) ( [4] Proposition II.1.7). See for example Theorem 2.4 in [3] and Corollary 2.4 in [1].
Consider the geodesic polygon P which is the image of \(f\circ \gamma \). We have \(\sum _{v\in {{\,\textrm{int}\,}}(\gamma )} T_v = \sum _{w\in P} (\pi - \angle _{w} P) - (\pi - \angle _{f(\gamma (0))} P) \ge 2\pi - \pi =\pi \) where the last inequality follows from Lemma 9.9. This proves (i)
To prove (ii), let \(v\in {{\,\textrm{int}\,}}(\gamma ) \cap {{\,\textrm{int}\,}}(\Delta )\). If \(T_v =0\) then by Claim 9.7(1) \(K_v \le 0 = T_v\), therefore we may assume that \(T_v>0\), i.e. the angle that the path \(f\circ \gamma \) makes at f(v) in X is strictly less than \(\pi \).
Let \(\gamma _+\) and \(\gamma _-\) be the two points in \({{\,\textrm{lk}\,}}(v)\) corresponding to the geodesic \(\gamma \) passing through v. The points \(\gamma _+,\gamma _-\) break the circle \({{\,\textrm{lk}\,}}(v)\) into two arcs \(\alpha _1,\alpha _2\), as in the left hand side of Fig. 18. As the girth of \({{\,\textrm{lk}\,}}(v)\) is greater than \(2\pi \), it follows that \(\measuredangle \alpha _1+\measuredangle \alpha _2\ge 2\pi \). Since f is a near-immersion, the paths \(f_v\circ \alpha _i\) are non-backtracking in \({{\,\textrm{lk}\,}}(f(v))\) and \(\measuredangle \alpha _i = \measuredangle (f_v\circ \alpha _i)\).
From Proposition 2.3 there is a path \(\beta \) in \({{\,\textrm{lk}\,}}(f(v))\) whose length realizes the angle that \(f\circ \gamma \) makes at f(v). In \({{\,\textrm{lk}\,}}(f(v))\), all three paths \(\beta , f_v \circ \alpha _1, f_v \circ \alpha _2\) are non-backtracking and connect \(f_v(\gamma _+),f_v(\gamma _-)\), as in the right hand side of Fig. 18.
For \(i\in \left\{ 1,2 \right\} \), \(\measuredangle \alpha _i \ge \angle (\gamma _-,\gamma _+) = \pi \), since \(\gamma \) is a geodesic in \(\Delta \), hence in particular \(\measuredangle (f_v \circ \alpha _i) = \measuredangle \alpha _i \ge \pi >\measuredangle \beta \), so the concatenation of \(f_v\circ \alpha _i\) and \(\beta \) forms an essential cycle in \({{\,\textrm{lk}\,}}(f(v))\). Hence \(\measuredangle (f_v \circ \alpha _i)+\measuredangle \beta \ge 2\pi \) which implies \(\measuredangle \alpha _i\ge 2\pi -\measuredangle \beta \).
In conclusion
as claimed.
To prove (iii), let \(v\in {{\,\textrm{int}\,}}(\gamma ) \cap \left\{ x_1,\dots ,x_n \right\} \). We must have \(k_v\le 0\), because otherwise, we could find a shortcut of \(\gamma \) not passing through v, in contradiction to \(\gamma \) being a geodesic. Hence if \(T_v=0\), then \(k_v\le 0 = T_v\), as claimed. Therefore, we may assume that \(T_v >0\), i.e. that the angle that the path \(f\circ \gamma \) makes at f(v) in X is less than \(\pi \).
As in the proof of Claim 9.8 (iii), let \(\gamma _+,\gamma _-\) be the two points in \({{\,\textrm{lk}\,}}(v)\) corresponding to \(\gamma \). They break the arc \({{\,\textrm{lk}\,}}(v)\) into three arcs \(\alpha _1,\alpha _2,\alpha _3\) where \(\alpha _2\) is the middle arc and \(\alpha _1,\alpha _3\) may be degenerate, as in the left-hand side of Fig. 19. Since f is a near-immersion, the paths \(f_v\circ \alpha _i\) are non-backtracking in \({{\,\textrm{lk}\,}}(f(v))\) and \(\measuredangle \alpha _i = \measuredangle (f_v\circ \alpha _i)\).
From Proposition 2.3 there is a path \(\beta \) in \({{\,\textrm{lk}\,}}(f(v))\) whose length realizes the angle that the path \(f\circ \gamma \) makes at f(v). We have that \(\beta ,f_v\circ \alpha _2\) connect \(f_v(\gamma _+),f_v(\gamma _-)\) while \(f_v\circ \alpha _1,f_v\circ \alpha _3\) connect to \(f_v(\gamma _+),f_v(\gamma _-)\) respectively, as in the right hand side of Fig. 19.
We have \(\measuredangle \alpha _2\ge \angle (\gamma _-,\gamma _+)=\pi \) where the last equality follows, since \(\gamma \) is a geodesic, hence in particular \(\measuredangle (f_v \circ \alpha _2)=\measuredangle \alpha _2\ge \pi > \measuredangle \beta \), so the concatenation of \(f_v\circ \alpha _2\) and \(\beta \) forms an essential cycle in \({{\,\textrm{lk}\,}}(f(v))\). We get \(\measuredangle (f_v \circ \alpha _2)+\measuredangle \beta \ge 2\pi \) which implies \(\measuredangle \alpha _2\ge 2\pi -\measuredangle \beta \).
So \(k_v=\pi - (\measuredangle \alpha _1+\measuredangle \alpha _2+\measuredangle \alpha _3)\le \pi -(2\pi -\measuredangle \beta )-(\measuredangle \alpha _1+\measuredangle \alpha _3)=-T_v-(\measuredangle \alpha _1+\measuredangle \alpha _3)=-2T_v+(\pi -(\measuredangle \alpha _1+\measuredangle \beta +\measuredangle \alpha _3)\le -2T_v + (\pi -\angle _v \Gamma )\)
where the last inequality is from the triangle inequality for angles.
This completes the proof of the claim. \(\square \)
We are now ready to prove Theorem 9.2.
Proof of Theorem 9.2
Let us assume towards contradiction that f is not injective. Therefore there are \(p\ne q\in \Delta \) such that \(f(p)=f(q)\) and consider \(\gamma :\left[ 0,1 \right] \rightarrow \Delta \) a geodesic between them in \(\Delta \). Then \(f\circ \gamma :\left[ 0,1 \right] \rightarrow X\) is a non-trivial, piecewise linear loop. We choose p, q closest such points, which ensures that \(f\circ \gamma \) is a simple closed curve.
Where (1) is Theorem 9.6, (2) from Claims 9.8(ii), 9.8(iii), (3) from the fact that \(K_v\le 0\) and \(k_v\le 0\) for \(v\notin \left\{ x_1,\dots ,x_n \right\} \), (4) from \(\sum T_v\ge \pi \) (Claim 9.8(i)) and \(\kappa (\Gamma )<4\pi \), and finally (5) follows from \(k_{x_i}+\pi -\angle _{x_i}\Gamma \le 0\). This is a contradiction. \(\square \)
10 Minimal tetrahedron
The idea of the proof of the main theorem is to show that there is an embedding of a “deflated tetrahedron”, as in Fig. 20, to X, such that the sides are mapped to \(\overline{x_ix_j}\), because then the “faces” of the deflated tetrahedron must be mapped to \(\blacktriangle \left( x_i,x_j,x_k \right) \), and they intersect in a unique point.
In our minds, we start with a finite \(\Delta \)-complex, as in Fig. 20, and a map to X, and we modify those until we get an embedding. This leads us to our next definition, keeping in mind that in Fig. 20 we have six spiky triangles, \(\left\{ \blacktriangle \left( y_i,y_j,\omega \right) \right\} _{i\le i<j\le 4}\), glued on their boundaries.
Definition 10.1
-
A deflated tetrahedron is a collection of:
-
six generalized triangles (which are allowed to be degenerate, recall Definition 3.1) \(\left\{ D_{ij} \right\} _{1\le i<j\le 4}\) with the marked points on \(D_{ij}\) denoted \(y_i,y_j,\omega \), (denoting \(D_{ji} = D_{ij}\) when \(i<j\)),
-
bijections between \(\overline{y_i\omega }\) in \(D_{ij}\) and \(\overline{y_i\omega }\) in \(D_{ik}\),
such that the complex \(T_{ijk}\), obtained by gluing \(D_{ij}, D_{jk},D_{ik}\) along their boundaries via the bijections above, is homeomorphic to a spiky triangle. For a deflated tetrahedron \(\left\{ D_{ij} \right\} _{1\le i<j\le 4}\) let Z be the complex obtained by gluing \(\left\{ D_{ij} \right\} _{1\le i<j\le 4}\) along their boundaries, that is, \( Z=\coprod _{1\le i<j\le 4}D_{ij}/\sim \) where \(\sim \) is generated by the given bijections.
-
-
\(f:\coprod _{1\le i<j\le 4} D_{ij}\rightarrow X\) is a filling map of \(x_1,x_2,x_3,x_4\) through o where \(\left\{ D_{ij} \right\} _{1\le i<j\le 4}\) is a deflated tetrahedron, \(x_1,x_2,x_3,x_4,o\in X\), if
-
f is a cellular map, up to a refinement of the cellular structure on X, and injective on every cell,
-
\(f(y_i)=x_i\),
-
\(f|_{D_{ij}}{^{-1}}(\left\{ o \right\} )=\left\{ \omega \right\} \),
-
\(f|_{\overline{y_iy_j}}\) from \(\overline{y_iy_j}\) to the geodesic segment \(\overline{x_ix_j}\) in X is a homeomorphism and descends to a map from Z.
-
-
A pair \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) of a deflated tetrahedron and a filling map of \(x_1,x_2,x_3,x_4\) through o will be referred to as a deflated tetrahedron filling \(x_1,x_2,x_3,x_4\) through o.
We note that we do not require \(f|_{D_{ij}}\) to be injective, but we will see that, under an appropriate minimality assumption (Definition 10.3), f is injective on \(D_{ij}\) and so is its induced map on Z (Proposition 10.2), and that Z is a deformation retract of what one will imagine a deflated tetrahedron to be—a shape like in Fig. 20.
Proposition 10.2
For any \(x_1,x_2,x_3,x_4\in X\) and \(o\in \bigcap _{1\le i<j<k\le 4} \blacktriangle \left( x_i,x_j,x_k \right) \) there exists a deflated tetrahedron filling \(x_1,x_2,x_3,x_4\) through o.
Proof
By Theorem 5.1, \(\left\{ \blacktriangle \left( x_i,x_j,o \right) \right\} _{1\le i<j\le 4}\) are spiky triangles. As in the proof of Theorem 5.1, by [21] for each (i, j) we may refine the cellular structure of X and get finite \(\Delta \)-complexes \(D_{ij}\cong \blacktriangle \left( x_i,x_j,o \right) \) and cellular, injective maps \(f_{ij}:D_{ij}\rightarrow X\).
Define \(f:\coprod _{1\le i<j\le 4}D_{ij}\rightarrow X\) to be the function induced from \(\left\{ f_{ij} \right\} _{1\le i <j\le 4}\). There is a refinement of the triangulation of X and of \(D_{ij}\) such that f is cellular.
The spiky triangles \(D_{ij}\) are in particular generalized discs with three marked points
We claim \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) is a deflated tetrahedron filling \(x_1,x_2,x_3,x_4\) through o. To establish that \(\left\{ D_{ij} \right\} _{1\le i<j\le 4}\) is a deflated tetrahedron we need to show that \(\left\{ T_{ijk} \right\} _{1\le i<j<k\le 4}\) are spiky triangles, the other parts of the definition are clear from the construction. Define \(a_{ij}\) to be the point in \(D_{ij}\) in which \(\overline{\omega y_i},\overline{\omega y_j}\) diverge, as in Fig. 21.
We will argue without loss of generality for \(T_{123}\). If \(a_{12}=a_{13}=a_{23}=\omega \) then clearly \(\left\{ T_{ijk} \right\} _{1\le i<j<k\le 4}\) are spiky triangles, as we are gluing three triangles with no spike at \(\omega \).
Suppose instead \(a_{12}\ne \omega \).
Denote by \(\hat{x}_i\) the projection of \(x_i\) to \({{\,\textrm{lk}\,}}(o)\). As \(a_{12}\ne \omega \) we have that \(\hat{x}_1=\hat{x}_2\), hence \(\triangle (\hat{x}_1,\hat{x}_2,\hat{x}_3)=\overline{\hat{x}_1\hat{x}_3}=\overline{\hat{x}_2\hat{x}_3}\). As \(o\in \blacktriangle \left( x_1,x_2,x_3 \right) \) we have by Corollary 2.6 that \(o\in \overline{x_1x_3},\overline{x_2x_3}\). In this case \(\blacktriangle \left( x_1,x_3,o \right) =\overline{x_1x_3}\) and \(\blacktriangle \left( x_2,x_3,o \right) =\overline{x_2x_3}\), so the gluing of \(T_{123}\cong \blacktriangle \left( x_2,x_3,o \right) \) which is of course a spiky triangle.
We have that f is a filling map of \(x_1,x_2,x_3,x_4\) through o. It is piecewise linear and injective on every 2-cell, as it is injective on \(D_{ij}\), also from that follows that \(f_{ij}^{-1}(\left\{ (o) \right\} )=\left\{ \omega \right\} \) and by construction f is a homeomorphism of the relevant boundary part to \(\overline{x_ix_j}\). \(\square \)
Definition 10.3
A deflated tetrahedron \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) filling \(x_1,x_2,x_3,x_4\) through some \(o\in \bigcap _{1\le i<j<k\le 4} \blacktriangle \left( x_i,x_j,x_k \right) \) with a minimal number of cells will be referred to as a minimal tetrahedron filling \(x_1,x_2,x_3,x_4\).
Proposition 10.4
Consider \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) a minimal tetrahedron filling \(x_1,x_2,x_3,x_4\), then for all \(1\le i<j<k\le 4\) the induced map \(f:T_{ijk}\rightarrow X\) is near-immersion and hence from Corollary 9.3 it is injective. In particular \(\left\{ T_{ijk} \right\} _{1\le I<j<k\le 4}\) embed in Z.
Proof
Assume towards contradiction that f is not near-immersion. Then, as f is injective on 2-cells, there are twin cells in \(T_{ijk}\), i.e. 2-cells \(t,t'\) that share a 1-cell and such that \(f(t)=f(t')\).
If \(t,t'\subseteq D_{ij}\) for some i, j we will commence as in the proof of Theorem 5.1, that is, define \(C_{ij}\) the connected component of \(\omega \) in \(D_{ij}-{{\,\textrm{int}\,}}(t\cup t')/\sim \), where \(\sim \) is the cellular equivalence relation defined by \(u\sim v\) if u a 1-cell in \(\partial t\) and v a 1-cell in \(\partial t'\) and \(f(u)=f(v)\), as in Theorem 5.1. Define \(C_{jk}=D_{jk}\) for \((j,k)\ne (i,j)\). We get \(\left\{ C_{ij} \right\} _{1\le i<j\le 4}\) is a new deflated tetrahedron with fewer cells, as all is still satisfied (\(T_{123}\) is still a spiky triangle as explained in the proof of Theorem 5.1), and the induced map from f is a filling map, so we get a contradiction.
Hence \(t,t'\) must be in different cell complexes. Without loss of generality assume that \(t\subseteq D_{12},t'\subseteq D_{13}\).
We would like to “fold” \(t,t'\) and insert the folded copy to \(D_{14}\), as in Fig. 22.
We divide into cases depending on \(t\cap t'\):
Case 1. The intersection \(t\cap t'\) is an interval (one or two 1-cells).
Define \(C_{12}\) to be a complex obtained from \(D_{12}\) removing \({{\,\textrm{int}\,}}(t)\) and the open interval of \(t\cap t'\). Similarly, define \(C_{13}\) to be the complex obtained from \(D_{12}\) removing \({{\,\textrm{int}\,}}(t')\) and the open interval of \(t\cap t'\). Set \(C_{14}=D_{14}\cup t\) and \(C_{ij}=D_{ij}\) for \(2\le i<j\). For notation purposes \(C_{ij}=C_{ji}\).
Denote by \(f':\coprod _{1\le i<j\le 4} C_{ij}\rightarrow X\) the induced map from \(f:\coprod _{1\le i<j\le 4} D_{ij}\rightarrow X\). We claim that \((\left\{ C_{ij} \right\} _{1\le i<j\le 4},f)\) is a deflated tetrahedron filling \(x_1,x_2,x_3,x_4\) through o and that will give us contradiction to minimality of \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\).
We have that \(C_{12}\) and \(C_{13}\) are deformation retracts of \(D_{12}\) and \(D_{13}\) respectively and \(D_{14}\) is a deformation retract of \(C_{14}\), hence they are planar, finite, contractible \(\Delta \)-complexes. Choose \(y_i,y_j,\omega \) to be the same marked points as in \(D_{ij}\) and get that \(\left\{ C_{ij} \right\} _{1\le i<j\le 4}\) are generalized triangles.
The induced map between \(\overline{y_io}^{C_{ij}}\) to \(\overline{y_io}^{C_{ik}}\) is a bijection.
Denote by \(T'_{ijk}\) the gluing induced by the bijections on the boundary parts of \(C_{ij},C_{jk},C_{ik}\). \(T'_{ijk}\) are spiky triangles for \(1\le i<j<k\le 4\): indeed, \(T'_{124}=T_{124}\) by working out the definitions of \(C_{ij}\). We have \(T'_{234}=T_{234}\) as \(C_{ij}=D_{ij}\) for the relevant cell complexes. As in the proof of Theorem 5.1, \(T'_{123} = T_{123}-({{\,\textrm{int}\,}}(t\cup t')/\sim \) where \(\sim \) identifies the boundary of \(t\cup t'\) to an interval, so \(T'_{123}\) is a spiky triangle. Lastly, \(T'_{134}=(T_{134}-t') \cup t/\sim \) is a spiky triangle, as topologically we deleted a disc and glued another disc instead.
Clearly, \(f'\) is a filling map. This gives a contradiction to minimality.
Case 2. The intersection \(t\cap t'\) is a disjoint union of a 1-cell and 0-cell v.
There are two further cases, either \(v\in \overline{y_1\omega }\), as in Fig. 23, or \(v\in \overline{y_2\omega }\), as in Fig. 24 (where in this case it happens to be that \(D_{23}\) has a skinny part).
Case 2.1. \(v\in \overline{y_1\omega }\).
We have that \(D_{12}-t\) has two connected components. Denote by \(C_{12}\) the closure of the connected component containing \(\omega \) and by S the closure of the other connected component and let \(T=S\cup t\). Define \(C_{13},S'\) similarly to be the connected components of \(D_{13}-t'\) containing \(\omega \) and not containing \(\omega \) respectively and let \(T'=S'\cup t'\). Set \(C_{14}= D_{14}\cup T\) and \(C_{ij}=D_{ij}\) for \(2\le i<j\). Let \(f'\) be the induced map.
We argue identically to case 1, with \(T,T'\) instead of \(t,t'\), to show that \((\left\{ C_{ij} \right\} _{1\le i<j\le 4},f')\) is a deflated tetrahedron filling \(x_1,x_2,x_3,x_4\) through o. This is again a contradiction to minimality.
Case 2.2. \(v\in \overline{y_2\omega }\).
Let A be the connected component of \(y_1\) in \(T_{123}-(t\cup t')\). It is a generalized annulus with spikes and \(\omega \notin A\), as in Theorem 5.1. Consider \(\sim \) the cellular equivalence relation defined by \(u\sim v\) if u a 1-cell in \(\partial t\) and v a 1-cell in \(\partial t'\) and \(f(u)=f(v)\), as in Theorem 5.1. It is a good gluing on A and so from Claim 3.4, \(A/\sim \) is a spiky triangle, in particular, it is simply connected. The map \(\bar{f}\) induced from f maps the boundary of A homeomorphically onto \(\triangle (x_1,x_2,x_3)\), hence \(\blacktriangle \left( x_1,x_2,x_3 \right) \subseteq \bar{f}(T)\) which is a contradiction to f being a filling map and satisfying \(f|_{C_{ij}}^{-1}(\left\{ o \right\} )=\left\{ \omega \right\} \) and the fact that \(\omega \notin A\) while \(f(\omega )=o\in \blacktriangle \left( x_1,x_2,x_3 \right) \). \(\square \)
Corollary 10.5
For \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) a minimal tetrahedron filling \(x_1,x_2,x_3,\) \(x_4\), the map \(f:Z\rightarrow X\) is a near-immersion.
Proof
f is injective on cells by assumption. Assume towards contradiction that there are \(t,t' \subseteq Z\) twin cells. As \(f|_{T_{ijk}}\) is injective, by Proposition 10.4 we have that \(t\subseteq D_{ij},t'\subseteq D_{kl}\) for \(\left\{ i,j,k,l \right\} =\left\{ 1,2,3,4 \right\} \). From this, we have \(f(t)=f(t')\subseteq \bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) \), but f(t) is a 2-cell in X and this is a contradiction to the fact that the intersection is a 1-dimensional complex, by Theorem 7.1. \(\square \)
Corollary 10.6
Assume \(x_1,x_2,x_3,x_4\in X\) do not form a lanky quadrilateral. If \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) is a minimal tetrahedron filling \(x_1,x_2,x_3,x_4\), then each \(f|_{D_{ij}}:D_{ij}\rightarrow X\) is injective.
Proof
Without loss of generality \((i,j)=(1,2)\). As \(f|_{T_{123}}\) is injective we have that if \(f|_{D_{12}}\) is not injective then it must be that there are two points on the boundary which are identified, that is, \(D_{23},D_{13}\) have a skinny part, as in Fig. 25.
There are two cases, either \(e_1,e_2\), the two 1-cells adjacent to \(\omega \) in the boundary of \(D_{12}\), are identified in \(T_{123}\), or not. In the latter case, we consider the pair of points in \(D_{12}\) which are identified and are closest to \(\omega \) and get that \(D_{12}\) bounds a disc in \(T_{123}\).
Case 1 \(e_1,e_2\) are identified in \(T_{123}\).
Assume \(e_1\subseteq \overline{y_1\omega }^{12},e_2\subseteq \overline{y_2\omega }^{12}\). Note that \(e_1\subseteq T_{124}, T_{123},T_{134}\) and \(e_2\subseteq T_{234}\) so \(f(e_1)=f(e_2)\subseteq \bigcap _{1\le i<j<k\le 4} f(T_{ijk})= \bigcap _{1\le i<j<k\le 4} \blacktriangle \left( x_i,x_j,x_k \right) \). By Theorem 7.1, we have that \(f(e_1)\) is discrete, which is a contradiction to \(f|_{e_1}\) is injective.
Case 2 \(D_{12}\) bounds a disc in \(T_{123}\).
The disc \(D_{12}\) bounds in \(T_{123}\) is a subset of \(D_{13}\cup D_{23}\). As \(f|_{T_{124}}\) is injective we must have that under gluing the boundaries the same points are identified in \(T_{124}\) which gives us a disc in \(D_{14}\cup D_{24}\subseteq T_{124}\). In Z these two discs glue to a sphere. By Corollary 10.5, f restricted to that sphere is a near-immersion which is a contradiction, as we can pull back the CAT(0) structure from X to the sphere. \(\square \)
Proposition 10.7
Assume \(x_1,x_2,x_3,x_4\in X\) do not form a lanky quadrilateral and \((\left\{ D_{ij} \right\} _{1\le i<j\le 4},f)\) a minimal deflated tetrahedron filling \(x_1,x_2,x_3,x_4\), then \(f:Z\rightarrow X\) is injective.
Proof
By Corollary 10.5 and Corollary 10.6, \(f|_Z\) is a near-immersion and \(f|_{D_{ij}}\) is injective.
Assume towards contradiction \(p,q\in Z\) distinct and \(f(p)=f(q)\). Without loss of generality \(p\in D_{12}\). If \(q\in \bigcup _{(i,j)\ne (3,4)}D_{ij}\) there exists \(i<j<k\) such that \(p,q\in T_{ijk}\) are distinct. That is a contradiction by Proposition 10.4 that states that \(f|_{T_{ijk}}\) is injective.
So it must be that \(q\in {{\,\textrm{int}\,}}(D_{34})\cup \overline{y_3y_4}\) and similarly \(p\in {{\,\textrm{int}\,}}(D_{12})\cup \overline{y_1y_2}\). We get \(f(p)=f(q)\in \blacktriangle \left( x_1,x_2,x_4 \right) \cap \blacktriangle \left( x_1,x_3,x_4 \right) \), so by Lemma 7.4 we have that the connected component of f(p) in \(\blacktriangle \left( x_1,x_2,x_4 \right) \cap \blacktriangle \left( x_1,x_3,x_4 \right) \) is more than a point, i.e. there is a 1-cell or 2-cell \(s\subseteq D_{12}\) containing p such that \(f(s)\subseteq \blacktriangle \left( x_1,x_3,x_4 \right) \). But from the injectivity of \(f|_{T_{123}},f|_{T_{124}}\) we get that \(f(s)\subseteq f(D_{34})\), hence \(f(s)\subseteq \bigcap _{1\le i<j<k\le 4} \blacktriangle \left( x_i,x_j,x_k \right) \). This is a contradiction to Theorem 7.1 that states that the intersection is discrete, as \(f|_s\) is injective. Hence \(f:Z\rightarrow X\) is injective. \(\square \)
Now we can complete the proof of Theorem A in the case where \(x_1,x_2,x_3,x_4\in X\) do not form a lanky quadrilateral,:
Theorem
Assume \(x_1,x_2,x_3,x_4\in X\) do not form a lanky quadrilateral, then the intersection of \(\blacktriangle \left( x_i,x_j,x_k \right) \) for \({1\le i<j<k\le 4}\) is a single point.
Proof
We will show that in a minimal deflated tetrahedron filling \(x_1,x_2,x_3,x_4\), we have \(\bigcap _{1\le i<j<k\le 4} T_{ijk}=\left\{ \omega \right\} \). As \(f:Z\rightarrow X\) is injective, \(f(T_{ijk})=\blacktriangle \left( x_i,x_j,x_k \right) \), which will show that \(\bigcap _{1\le i<j<k\le 4}\blacktriangle \left( x_i,x_j,x_k \right) =\left\{ f(\omega ) \right\} =\left\{ o \right\} \).
Assume \(q\in \bigcap _{1\le i<j<k\le 4} T_{ijk}\). Without loss of generality \(q\in D_{12}\). We get \(q\in D_{12}\cap T_{134}= \overline{y_1\omega },q\in D_{12}\cap T_{234}= \overline{y_2\omega }\). It suffices to show that \(\omega \) is the only point that satisfies this, i.e. that \(D_{ij}\) are actually discs with two spikes where \(y_i,y_j\) are the endpoints of each spike.
Assume towards contradiction \(q\ne \omega \).
Note \(f(q)\in \blacktriangle \left( x_1,x_3,x_4 \right) \cap \blacktriangle \left( x_2,x_3,x_4 \right) \). By Lemma 7.4, there is a 1-cell e in Z containing q such that \(f(e)\subseteq \blacktriangle \left( x_1,x_3,x_4 \right) \cap \blacktriangle \left( x_2,x_3,x_4 \right) \).
From injectivity of f on Z, the 1-cell e must be in \(D_{34}\) or in \(\overline{y_1\omega }\cap \overline{y_2\omega }\).
Case 1 e in \(D_{34}\).
In this case \(q\in D_{34}\), that is \(q\in \overline{y_i\omega }\) for \(i=3\) or 4. Without loss of generality \(q\in \overline{y_3\omega }\). For \(i,j\in \left\{ 1,2,3 \right\} \) different \(f|_{D_{ij}}\) is injective by Corollary 10.6 hence there exists a unique point \(q_{ij}\in D_{ij}\) such that its image in \(T_{123}\) is q.
Note \(q_{ij}\) separates \(D_{ij}\) for every \(1\le i<j\le 4\). Consider \(C_{ij}\) the connected component of \(y_i\) in \(D_{ij}-\left\{ q_{ij} \right\} \). Their image in \(T_{123}\) is simply connected by Van Kampen. This is a contradiction to \(o\in \blacktriangle \left( x_1,x_2,x_3 \right) \).
Case 2 e in \(\overline{y_1\omega }\cap \overline{y_2\omega }\).
By choice of e, \(f(e)\subseteq \blacktriangle \left( x_1,x_3,x_4 \right) \cap \blacktriangle \left( x_2,x_3,x_4 \right) \) and by the assumption in this case, \(f(e)\subseteq \blacktriangle \left( x_1,x_2,x_3 \right) \cap \blacktriangle \left( x_1,x_2,x_4 \right) \), so \(f(e)\subseteq \bigcap _{1\le i<j<k\le 4} \blacktriangle \left( x_i,x_j,x_k \right) \). This is a contradiction to the fact that the intersection is discrete, stated in Theorem 7.1 and the fact that \(f|_e\) is injective. \(\square \)
11 Future directions
Higher dimensions It is natural to try and generalize this work to higher dimensions. To do this, one needs to generalize triangles and n-median spaces. We suggest the following inductive definition for the generalisation of triangles.
Definition 1
Let \(\blacktriangle ^2(x_1,x_2,x_3)=\blacktriangle \left( x_1,x_2,x_3 \right) \). Let \(x_1,\dots ,x_{n+1}\in X\) where X is a CAT(0) complex and define \(\blacktriangle ^n(x_1,\dots ,x_{n+1})\) to be the minimal ball filling \(\bigcup _{i=1}^{n+1}\blacktriangle ^{n-1}(x_1,\dots ,\hat{x}_i,\dots ,x_{n+1})\).
One can study intersections of \(\blacktriangle ^n(x_1,\dots ,x_{n+1})\) for all \(x_1,\dots ,x_{n+1}\) in a set of \(n+2\) points.
Median algebras We recall that for a set M and a map \(\mu :M^3\rightarrow M\) the pair \((M,\mu )\) is a median algebra if for any \(a,b,c,d,e\in M\) we have \(\mu (a,b,c)=\mu (b,c,a)=\mu (b,a,c)\), \(\mu (a,a,b)=a\) and \(\mu (a,b,\mu (c,d,e))=\mu (\mu (a,b,c),\mu (a,b,d),e)\). A median space with the median map is clearly a median algebra. A natural question to ask is if there is a meaningful definition of “2-median algebras”, such that 2-median spaces will satisfy this definition, and characterize them.
Coarse median A geodesic metric space (x, d) is coarse median if
-
there is a map \(\mu :X^3\rightarrow X\) and \(k,l>0\) such that for any \(a,b,c,a',b',c'\in X\) we have \(d(\mu (a,b,c),\mu (a',b',c')<k(d(a,a')+d(b,b')+d(c,c'))+l\),
-
there is a map \(h:\mathbb {N}\rightarrow [0,\infty )\) such that if \(A\subseteq X\) such that \(|{A}|\le p\) then there exists a finite median algebra (M, m) and maps \(\pi :A\rightarrow M,\lambda :M\rightarrow A\) such that for all \(a\in A\) \(d(a,\lambda (\pi (a)))<h(p)\) and for all \(a,b,c\in M\) \(d(\mu (\lambda (a),\lambda (b),\lambda (c)),\lambda (m(a,b,c)))<h(p)\).
It is natural to try to define coarse 2-median spaces and study which spaces are coarse 2-median. In particular, are rank-2 symmetric spaces coarse 2-median?
References
Alexander, S., Bishop, R.: The Fary–Milnor theorem in Hadamard manifolds. Proc. Am. Math. Soc. 126, 3427–3436 (1998). https://doi.org/10.1090/S0002-9939-98-04423-2
Bader, U., Taller, A.: Balanced measures on compact median algebras (2021)
Bobenko, A.I., et al.: Discrete Differential Geometry. Birkhäuser, Basel (2008). https://doi.org/10.1007/978-3-7643-8621-4
Bridson, M.R., Häfliger, A.: Metric Spaces of Non-positive Curvature. Springer, Berlin (1999). https://doi.org/10.1007/978-3-662-12494-9
Chatterji, I., Drutu, C., Haglund, F.: Kazhdan and Haagerup properties from the median viewpoint. Adv. Math. 225, 882–921 (2007)
Chepoi, V.: Graphs of some CAT(0) complexes. Adv. Appl. Math. 24, 125–179 (2000). https://doi.org/10.1006/aama.1999.0677
Fioravanti, E.: Convex cores for actions on finite-rank median algebras (2021)
Fioravanti, E.: Roller boundaries for median spaces and algebras. Algebraic Geom. Topol. 20, 1325–1370 (2017). https://doi.org/10.2140/agt.2020.20.1325
Graham, F.H.: From Geometry to Topology. Dover Publications, Mineola (2001)
Haettel, T.: Higher rank lattices are not coarse median. In: Algebraic and Geometric Topology (2016)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2000)
Kleiner, B., Lang, U.: Higher rank hyperbolicity. Invent. Math. 221, 597–664 (2020). https://doi.org/10.1007/s00222-020-00955-w
Lytchak, A., Wenger, S.: Area minimizing discs in metric spaces. Arch. Ration. Mech. Anal. 223, 1123–1182 (2017). https://doi.org/10.1007/s00205-016-1054-3
McCammond, J., Wise, D.T.: Fans and ladders in small cancellation theory. Proc. Lond. Math. Soc. 84, 599–644 (2002)
Niblo, G.A., Reeves, L.: Groups acting on CAT (0) cube complexes. Geom. Topol. 1(1), 1–7 (1997)
Niblo, G.A., Wright, N.J., Zhang, J.: A four point characterisation for coarse median spaces. Groups Geom. Dyn. 13, 939–980 (2019)
Norin, S., Osajda, D., Przytycki, P.: Torsion groups do not act on 2-dimensional CAT(0) complexes. Duke Math. J. 171(6), 1379–1415 (2022). https://doi.org/10.1215/00127094-2021-0069
Roller, M.A.: Poc sets, median algebras and group actions. General Topology (2016)
Sapir, M.: The rapid Decay property and centroids in groups. J. Topol. Anal. 7, 513–541 (2014)
Stadler, S.: The structure of minimal surfaces in CAT(0) spaces. J. Eur. Math. Soc. 23, 3521–3554 (2021)
Zeeman, E.C.: Relative simplicial approximation. Math. Proc. Camb. Philos. Soc. 60(1), 39–43 (1964). https://doi.org/10.1017/S0305004100037415
Acknowledgements
The authors would like to thank Tobias Hartnick and Nima Hoda for fruitful discussions at an early stage of this project, and Michah Sageev for numerous helpful suggestions and corrections of this manuscript. The authors are indebted to the anonymous referee for the careful reading of this manuscript and the valuable suggested improvements. Both authors were partially supported by the Israel Science Foundation (grant no. 1562/19).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Appendix: Fary–Milnor for CAT(0) polygonal complexes
A Appendix: Fary–Milnor for CAT(0) polygonal complexes
In this appendix we will recover a special case of a result of Stadler [20], proving a Fary–Milnor type theorem for CAT(0) polygonal complexes. Moreover, in this case, the image of the embedded disc is unique.
Recall that for a polygonal curve \(\Gamma \) we define its total curvature to be
where \(x_1,\ldots ,x_k\) are the vertices of \(\Gamma \).
Theorem A.1
(Fary–Milnor for CAT(0) polygonal complexes) Let X be a CAT(0) polygonal complex, and let \(\Gamma \) be an embedded polygonal curve. If \(\kappa (\Gamma )<4\pi \) then \(\Gamma \) bounds an embedded disc in X.
The image of the disc is unique, by Lemma 5.2.
We note that \(\kappa (\triangle (x,y,z))<4\pi \).
Theorem A.1 follows from Theorem 9.2, if we show that there exists a near-immersion \(f:\mathbb {D}^2\rightarrow X\) filling \(\Gamma \). This is similar to Lemma 3.3 in [17].
Proof
By subdividing the cells of X, we may assume X is a triangle complex, i.e. it has a simplicial structure.
As X is simply connected, there exists a map \(f:\mathbb {D}^2\rightarrow X\) such that \(f|_{\partial \mathbb {D}^2}\) maps \({\partial \mathbb {D}^2}\) homeomorphically onto \(\Gamma \). The homeomorphism \(f|_{\partial \mathbb {D}^2}: \partial \mathbb {D}^2 \rightarrow \Gamma \) can be made cellular by subdividing \(\partial \mathbb {D}^2\) and X. By the simplicial approximation theorem (see e.g. [21]), there exists T, a triangulation of \(\mathbb {D}^2\), and a map \(f':T \rightarrow X\) that is cellular with respect to some simplicial structure of X and that maps \(\partial T\) homeomorphically onto \(\Gamma \).
Fix the simplicial structure on X from above and consider the collection of all pairs (h, D) where D is a disc with some finite \(\Delta \)-complex structure and \(h:D\rightarrow X\) is a cellular map, such that \(h|_{\partial D}:\partial D \rightarrow \Gamma \) is a homeomorphism. Consider (f, T) in this collection such that the number of cells in T is minimal among all pairs in the collection. We claim f is a near-immersion.
To simplify future arguments we show first that T has a simple structure - all 1-cells in \(T^{(1)}\) are intervals (not loops) and there are no double 1-cells.
clm A.2
The 1-skeleton of T is a simple graph.
Proof
\(T^{(1)}\) contains no loops. As X is a simplicial complex, if e is a 1-cell in \(T^{(1)}\) then f(e) is either a point or a segment in \(X^{(1)}\), so if e is a loop in T then f(e) is a point. Such e must be in the interior of T, as the boundary of T is mapped injectively.
Consider e an outermost such loop in T. We have that e separates T into a generalized annulus and a disc, as in Fig. 26, and it is on the boundary of two 2-cells \(t,t'\), where t is in the generalized annulus. Consider the closure A of the connected component of \(\partial T\) in \(T-t\). Let \(e_1,e_2\) be the two 1-cells on the boundary of t other than e oriented such that \(t(e_1)=o(e_2)\). Since e is an outermost loop, \(e_1,e_2\) are not loops, hence their concatenation forms a simple loop which is the inner boundary of A.
As f is cellular and not injective on t we have \(f(t)=f(\partial t)\), which is a 0-cell or 1-cell in X, so \(f(e_1)=f(e_2)\). Let \(\sim \) be the cellular equivalence relation defined by \(e_1\sim e_2^{-1}\). The relation \(\sim \) is a good gluing, as it identifies the two 1-cells on the inner boundary of A in the correct orientation, hence by Claim 3.4, \(A/\sim \) is a disc.
The induced \(\Delta \)-complex structure on the disc \(A/\sim \) has fewer cells than the number of cells in T and the map induced from f is still a filling map. This is a contradiction to the minimality of (f, T).
\(T^{(1)}\) contains no double 1-cells. Assume \(e_1,e_2\) are oriented 1-cells with \(o(e_1)=o(e_2),t(e_1)=t(e_2)\), then as X is a simplicial complex \(f(e_1)=f(e_2)\). The concatenation of \(e_1\) and \(e_2\) separates T into a generalized annulus A and a disc, as in Fig. 27. The inner boundary of A is the cycle \(e_1,e_2 ^{-1}\). Let \(\sim \) be the cellular equivalence relation \(e_1\sim e_2\). As in the loop case, \(\sim \) is a good gluing, as it identifies the two 1-cells on the inner boundary of A in the correct orientation, hence by Claim 3.4, \(A/\sim \) is a disc.
The induced \(\Delta \)-complex structure on the disc \(A/\sim \) has less cells than the number of cells in T and the map induced from f is still a filling map. This is a contradiction to the minimality of (f, T). \(\square \)
If \(f|_T\) is not a near-immersion then either there is a cell t such that \(f(t)=f(\partial t)\) or there are 2-cells \(t,t'\) which share at least one 1-cell on their boundary and such that \(f(t)=f(t')\). We will show both cases cannot happen.
Case 1. Assume \(f(t)=f(\partial t)\). In this case, there exists a 1-cell, e, in \(\partial t\) that is mapped to a point. As \(f|_{\partial T}\) is injective, e must be in the interior of T. Let \(t'\) be the other 2-cell incident to e. Let \(e,e_1,e_2\) and \(e,d_1,d_2\) be the 1-cells in \(\partial t\) and \(\partial t'\) respectively, oriented as a cycle, as in Fig. 13.
Let A be the closure of the connected component of \(\partial T\) in \(T-(\bar{t}\cup \bar{t'})\). The subcomplex A is the closure of the complement of a closed disc in T, hence it is a generalized annulus. By the claim above, Claim A.2, the inner boundary of A is a path consisting of four oriented 1-cells \(e_1,e_2,d_2^{-1},d_1^{-1}\) in this order, see Fig. 28.
We have that \(f(e_1)\) is the inverse of \(f(e_2)\) and \(f(d_1)\) is the inverse of \(f(d_2)\). Let \(\sim \) be the cellular equivalence relation defined by \(e_1\sim e_2^{-1},d_1\sim d_2^{-1}\). It is a good gluing, as f is injective on the boundary of T, from strongly non-collinearity of x, y, z. From Claim 3.4, \(A/\sim \) is a disc which is a finite \(\Delta \)-complex. The map induced from f, denoted \(\bar{f}:A/\sim \rightarrow X\), is well defined, cellular and \(\bar{f}|_{\partial A}:\partial A\rightarrow \triangle (x,y,z)\) is a homeomorphism. But \(A/\sim \) has fewer cells than T, this is a contradiction to the minimality of (f, T).
Case 2 Assume \(f(t)=f(t')\) for \(t,t'\) sharing a 1-cell e. Let \(e,e_1,e_2\) and \(e,d_1,d_2\) be the 1-cells in \(\partial t\) and \(\partial t'\) respectively, oriented as a cycle, as in Fig. 29.
Let A be the closure of the connected component of \(\partial T\) in \(T-(\bar{t}\cup \bar{t'})\). As above, A is a generalized annulus and the inner boundary of A is a path consisting of four oriented 1-cells \(e_1,e_2,d_2^{-1},d_1^{-1}\) in this order, as in Fig. 29. Because \(f(t)=f(t')\), we have that \(f(e_1)\) is the inverse of \(f(d_2)\) and \(f(e_2)\) is the inverse of \(f(d_1)\).
Let \(\sim \) be the cellular equivalence relation defined by \(e_1\sim d_2^{-1},d_1\sim e_2^{-1}\). It is a good gluing, as before, as x, y, z are strongly non-collinear. By Claim 3.4, we have that \(A/\sim \) is homeomorphic to a disc. It is a finite \(\Delta \)-complex with fewer cells than T, and the induced map \(\bar{f}:A/\sim \rightarrow X\) is still cellular. This contradicts the minimality of (f, T).
Hence f is a near-immersion.
By Theorem 9.2, we get that f is injective and this concludes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bader, S., Lazarovich, N. Cat(0) polygonal complexes are 2-median. Geom Dedicata 218, 5 (2024). https://doi.org/10.1007/s10711-023-00841-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10711-023-00841-8