Abstract
We investigate the class of geodesic metric discs satisfying a uniform quadratic isoperimetric inequality and uniform bounds on the length of the boundary circle. We show that the closure of this class as a subset of GromovHausdorff space is intimately related to the class of geodesic metric disc retracts satisfying comparable bounds. This kind of discs naturally come up in the context of the solution of Plateau’s problem in metric spaces by Lytchak and Wenger as generalizations of minimal surfaces.
1 Introduction
1.1 Main result
Since Gromov stated his precompactness criterion in [7] the study of compact and precompact subsets of GromovHausdorff space of metric spaces became a vivid field. Given a precompact class of metric spaces it is a natural but usually very hard question to determine its closure with respect to GromovHausdorff distance. Various partial results have been obtained in the situation where one considers classes of Riemannian manifolds satisfying uniform bounds on parameters such as curvature, volume and diameter. See for example [6, 8, 2] and [3] for some of the most important ones. In this article we investigate the class of geodesic metric discs satisfying a uniform quadratic isoperimetric inequality and upper bound on the length of the boundary circle. Such discs come up in [15] as a replacement for minimal surfaces in a quite general metric space setting. The main result of this paper shows that the closure of this class is intimately related to the space of geodesic metric disc retracts in the sense of [19] satisfying comparable bounds. One should note that even without further geometric assumptions it should be possible to understand the topology of GromovHausdorff limits of geodesic metric discs. Compare for example the 2dimensional results in [24, 22] and [8]. However the arising spaces will be topologically more complicated than disc retracts in general.
We say that a geodesic metric disc Z satisfies a Cquadratic isoperimetric inequality if for every Jordan domain \(U\subset Z\) one has
We call a metric space Z a disc retract if there exists a closed curve \(\gamma :{S^1}\rightarrow Z\) such that the mapping cylinder \(Z_\gamma \) is a topological disc. We write \(l(\partial Z)\le L\) if there exists such \(\gamma \) satisfying \(l(\gamma )\le L\).
Theorem 1.1
Let \(C,L\in (0,\infty )\). Denote by \(\mathcal {D}(L,C)\) the set of geodesic metric discs Z satisfying a Cquadratic isoperimetric inequality and \(l(\partial Z)\le L\). And by \(\mathcal {E}(L,C)\) the set of geodesic metric disc retracts satisfying the same two properties.
Then \(\mathcal {E}(L,C)\) is compact and
where \(\overline{\mathcal {D}(L,C)}\) denotes the closure of \(\mathcal {D}(L,C)\) with respect to GromovHausdorff distance.
It has been shown in [16] that a proper geodesic metric space X satisfies a \((4\pi )^{1}\)quadratic isoperimetric inequality iff it is a \(\text {CAT}(0)\)space. In this light our Theorem 1.1 covers as a special case the compactness lemma in [19] which states that the class of \(\text {CAT}(0)\) disc retracts Z satisfying \(l(\partial Z)\le L\) is compact.
Note that a proper geodesic metric space which satisfies a Cquadratic isoperimetric inequality where \(C<({4\pi })^{1}\) is a metric tree and hence not a metric disc, see [18, 23]. So at least in general one cannot have \(\overline{\mathcal {D}(L,C)}= \mathcal {E}(L,C)\).
1.2 Byproducts
The classical problem of Plateau formulated in the metric space setting asks whether for a given Jordan curve \(\Gamma \) in a metric space X there exists a Sobolev disc \(u \in W^{1,2}(D,X)\) of least area spanning \(\Gamma \). Lytchak and Wenger solved Plateau’s problem for proper metric spaces in [13]. Similar to the intrinsic metric on an immersed submanifold one may associate to a solution u of Plateau’s problem a geodesic metric space \(Z_u\). If X satisfies a Cquadratic isoperimetric inequality, then \(Z_u\) is a geodesic metric disc satisfying a Cquadratic isoperimetric inequality and \(l(\partial Z_u)=l(\Gamma )\), see [15]. Here we say that X satisfies a Cquadratic isoperimetric inequality if every closed Lipschitz curve \(\gamma :{S^1}\rightarrow X\) admits a Sobolev disc \(v\in W^{1,2}(D,X)\) spanning \(\gamma \) such that
This definition is in consistent with (1) if \(X=Z\) is a geodesic metric disc, see [5, 17]. In Sect. 2.3 we prove the following.
Theorem 1.2
Let \(Z\in \mathcal {D}(L,C)\) and \(u\in W^{1,2}(D,Z)\) be a solution of Plateau’s problem for the curve \(\partial Z\) in Z. Then \(Z_u\) is isometric to Z.
So it is natural to think of elements of \(\mathcal {D}(L,C)\) as intrinsic minimal discs. In particular Theorem 1.2 allows to apply the structural results of [15] to elements of \(\mathcal {D}(L,C)\). One consequence of this is that \(\mathcal {D}(L,C)\) is precompact in GromovHausdorff space.
If additionally one imposes a uniform condition avoiding degeneration of the boundary curve, then one only needs to adjoin the trivial metric space \(\{*\}\) to compactify. A Jordan curve \(\Gamma \) in a metric space X is said to be \(\lambda \)chordarc where \(\lambda \ge 1\) if for all \(x,y \in \Gamma \) the length of the shorter of the two arcs connecting x and y in \(\Gamma \) is bounded above by \(\lambda \cdot d(x,y)\).
Theorem 1.3
Let \(C,L \in (0,\infty )\), \(\lambda \in [1,\infty )\) and \(\mathcal {D}^\lambda (L,C)\) be the set of those \(Z\in \mathcal {D}(L,C)\) such that \(\partial Z\) is \(\lambda \)chordarc. Then \(\mathcal {D}^\lambda (L,C)\cup \{*\}\) is compact.
The proof is based on a result from [24] which shows that under certain uniform local contractibility conditions Hausdorff limits of discs are again discs.
In Sect. 3 we discuss how to associate to a disc retract \(Z\in \mathcal {E}(L,C)\) a metric on the mapping cylinder \(Z_\gamma \) such that \(Z_\gamma \in \mathcal {D}^1(L,C+1)\). This general construction might be of independent interest and is also applied in [5]. Using this observation it is not hard to derive Theorem 1.1 from Theorem 1.3.
We call a monotone increasing function \(\rho :(0,R_0)\rightarrow \mathbb {R}\) a contractibilty function if \(\lim _{r\rightarrow 0}\rho (r)=0\). We say that a metric space X is in \(\text {LGC}(\rho )\) if for every \(x\in X\) and \(r\in (0,R_0)\) the ball B(x, r) is contractible inside \(B(x,\rho (r))\). Using Whyburn’s result in [24] instead of Theorem 1.3 and the same construction we also obtain.
Theorem 1.4
Let \(\rho \) be a contractibility function, \(L \in (0,\infty )\) and \((Z_n)\) be a sequence of disc retracts such that \(Z_n\in \text {LGC}(\rho )\) and \(l(\partial Z_n)\le L\). If \((Z_n)\) GHconverges to a compact metric space Z, then Z is a disc retract and \(l(\partial Z)\le L\).
1.3 Local versions
Let \(C\in (0,\infty )\) and \(l_0\in (0,\infty ]\). A metric space X is said to satisfy a \((C,l_0)\)(local) quadratic isoperimetric inequality if for every closed Lipschitz curve \(\gamma :{S^1}\rightarrow X\) such that \(l(\gamma )<l_0\) there exists a disc \(u\in W^{1,2}(D,X)\) such that \(\text {tr}(u)=\gamma \) and \(\text {Area}(u)\le C \cdot l(\gamma )^2\). Easy examples show that the class of geodesic metric discs Z satisfying a \((C,l_0)\)quadratic isoperimetric inequality and \(l(\partial Z)\le L\) is not precompact in GromovHausdorff space. Think for example of cylinders \({S^1}\times [0,R]\) with a spherical cap attached at one end. However this may be fixed by bounding also the two dimensional Hausdorff measure of Z.
Let \(\mathcal {D}(L,A,C,l_0)\) be the class of geodesic metric discs Z satisfying a \((C,l_0)\)quadratic isoperimetric inequality, \(l(\partial Z)\le L\) and \(\mathcal {H}^2(Z)\le A\). Let \(\mathcal {E}(L,A,C,l_0)\) be the class of geodesic metric disc retracts satisfying the same bounds. Then we prove that \(\mathcal {D}(L,A,C,l_0)\) is precompact and adequately adjusted variants of Theorems. 1.1, 1.2 and 1.3 hold for this class replacing \(\mathcal {E}(L,C)\) by \(\mathcal {E}(L,A,C,l_0)\) and alike. We will only prove the more general versions below which cover the ones stated above for the special case \(l_0=\infty \) and \(A=C\cdot L^2\).
2 Plateau’s problem and intrinsic minimal discs
2.1 Reminder: Metric space valued Sobolev maps
We give a short reminder on metric space valued Sobolev maps. For more details see for example [11, 13] and [21].
Let \(D:=\{v\in \mathbb {R}^2  \ v< 1\}\) and \({S^1}:=\{v \in \mathbb {R}^2 \ v=1 \}\), X a complete separable metric space and \(p\in (1,\infty )\). A measurable map \(u: D\rightarrow X\) belongs to \(L^p(D,X)\) if for every 1Lipschitz map \(f:X\rightarrow \mathbb {R}\) the composition \(f\circ u\) belongs to \(L^p(D)\). A map \(u\in L^p(D,X)\) belongs to \(W^{1,p}(D,X)\) if for every 1Lipschitz map \(f:X\rightarrow \mathbb {R}\) the composition \(f\circ u\) lies in the classical Sobolev space \(W^{1,p}(D)\) and the Reshetnyak penergy of u
is finite.
We say that a map \(u:D\rightarrow X\) satisfies (Lusin’s) property (N) if for every \(N\subset D\) with \(\mathcal {L}^2(N)=0\) one has \(\mathcal {H}^2(u(N))=0\). For \(p>2\) the following Sobolev embedding theorem holds, see for example [13].
Theorem 2.1
Let \(p>2\) and \(\alpha :=1\frac{2}{p}\). If \(u \in W^{1,p}(D,X)\), then u has a representative \(\bar{u} \in C^\alpha (\bar{D},X)\) satisfying Lusin’s property (N). Furthermore there is a constant \(M=M(p)\) such that
If \(u\in W^{1,2}(D,X)\), then u is approximately metrically differentiable almost everywhere. That is for almost every \(x \in D\) there exists a seminorm \(\text {apmd}_x u\) on \(\mathbb {R}^2\) such that
Define the (Busemann) area \(\text {Area}(u)\in [0, \infty )\) of \(u \in W^{1,2}(D,X)\) by
where for a seminorm \(\sigma \) on \(\mathbb {R}^2\) one sets its (Busemann) Jacobian \(J(\sigma )\) to be
It follows from the definition that for a Möbius transformation \(m:D\rightarrow D\) one has \(\text {Area}(u\circ m)=\text {Area}(u)\) and \(E^2_+(u\circ m)=E^2_+(u)\). We have the following variant of the area formula which in particular shows, that our definition extends the one used in Riemannian geometry.
Theorem 2.2
([9]) If \(u\in W^{1,2}(D,X)\) satisfies Lusin’s property (N), then
For \(u\in W^{1,2}(D,X)\) there is a canonical almost everywhere defined trace map \(\text {tr}(u)\in L^2({S^1}, X)\). We write \(u\in C^0(\bar{D},X)\) if u extends to a continuous map \(\bar{u}:\bar{D}\rightarrow X\). In this case one may simply take \(\text {tr}(u)=u_{{S^1}}\).
Let \(I=[a,b]\) or \(I={S^1}\). Let \(\alpha ,\beta :I\rightarrow X\) and \(h:I\times [0,1] \rightarrow X\) be Lipschitz maps. We say that h is a Lipschitz homotopy from \(\alpha \) to \(\beta \) if \(h(\cdot ,0)=\alpha \) and \(h(\cdot ,1)=\beta \). In this case we write \(h:\alpha \rightarrow \beta \). The area of such a Lipschitz homotopy h may be defined similarly as discussed here for Sobolev maps on the disc, see [10]. The following glueing lemma is very useful and will be used repeatedly, see for example Section 2.2 in [12].
Lemma 2.3
Let \(\gamma ,\eta :{S^1}\rightarrow X\) be closed Lipschitz curves and \(h:\gamma \rightarrow \eta \) a Lipschitz homotopy. For \(u \in W^{1,2}(D,X)\) such that \(\text {tr}(u)=\gamma \), there exists \(v\in W^{1,2}(D,X)\) such that \(\text {tr}(v)=\eta \) and
Also the following lower semicontinuouity result will be needed at some point.
Theorem 2.4
([13, 21]) Let \(p\ge 2\), \(E \ge 0\) and \((u_j)\subset W^{1,p}(D,X)\). If \(E^p_+(u_j)\le E\) for all j and \(u_j\rightarrow _{L^p} u\), then \(u \in W^{1,p}(D,X)\) and
2.2 Plateau’s problem in metric spaces
Call a continuous map \(f:X\rightarrow Y\) between metric spaces X, Y monotone if f is continuous, surjective and \(f^{1}(y)\) is connected for every \(y \in Y\).
Let X be a complete metric space and \(\Gamma \) a closed Jordan curve in X. Let \(\Lambda (\Gamma ,X)\) be the set of those \(u \in W^{1,2}(D,X)\) such that \(\text {tr}(u)\in L^2({S^1},X)\) has a representative which is a monotone map \({S^1}\rightarrow \Gamma \). Following [15] we call \(u \in \Lambda (\Gamma ,X)\) a solution of Plateau’s problem for \(\Gamma \) in X if
and u minimizes \(E^2_+(u)\) among all \(u \in \Lambda (\Gamma ,X)\) satisfying (11).
Theorem 2.5
([13]) Let X be a proper metric space and \(\Gamma \) a closed Jordan curve in X. If \(\Lambda (\Gamma ,X)\ne \emptyset \), then there exists a solution u of Plateau’s problem for \(\Gamma \) in X. Every such u satisfies
Here a metric space X is called proper if closed and bounded subsets of X are compact. To gain higher regularity of u one has to impose additional conditions on X and \(\Gamma \).
Let \(C \in (0,\infty )\) and \(l_0\in (0,\infty ]\). We say that X satisfies a \((C,l_0)\)quadratic isoperimetric inequality if for every Lipschitz curve \(\gamma :{S^1}\rightarrow X\) satisfying \(l(\gamma )<l_0\) there exists \(u\in W^{1,2}(D,X)\) such that \(\text {tr}(u)=\gamma \) and
If \(l_0=\infty \), we also simply say that X satisfies a Cquadratic isoperimetric inequality. It turns out that a geodesic metric disc Z satisfies a Cquadratic isoperimetric inequality iff every Jordan domain \(U\subset Z\) satisfies \(\mathcal {H}^2(U)\le C \cdot l(\partial U)^2\), see [5, 17]. For example compact Riemannian and more generally Finsler manifolds, \(\text {CAT}(\kappa )\)spaces and Banach spaces satisfy some quadratic isoperimetric inequality, see [4, 13].
Theorem 2.6
([12, 13]) Let X be a complete metric space satisfying a \((C,l_0)\)quadratic isoperimetric inequality, \(\Gamma \) a closed rectifiable Jordan curve in X and u a solution of Plateau’s problem for \(\Gamma \) in X.
Then u has a representative \(\bar{u}\) such that \(\bar{u} \in C^0(\bar{D},X)\) and \(\bar{u}\) satisfies Lusin’s property (N). If furthermore \(\Gamma \) is \(\lambda \)chordarc and \(l(\Gamma )<l_0\), then one may find \(p=p(C,\lambda )>2\) such that \(\bar{u} \in W^{1,p}(D,X)\) and a Möbius transformation \(m:D\rightarrow D\) such that
where \(M=M(C,\lambda )\).
So if the target space satisfies some quadratic isoperimetric inequality we may always without loss of generality assume that a solution of Plateau’s problem u is in \(C^0(\bar{D},X)\) and satisfies Lusin’s property (N). For disc targets one obtains the following improvement.
Theorem 2.7
([17]) Let Z be a geodesic metric disc of finite area and boundary length which satisfies a \((C,l_0)\)quadratic isoperimetric inequality. Then there exists a solution u of Plateau’s problem for \(\partial Z\) in Z. Every such u is monotone and furthermore satisfies \(\text {Area}(u)=\mathcal {H}^2(Z)\).
This formulation of Theorem 2.7 is contained only implicitly in [17]. So for the convenience of the reader we reproduce the proof.
Proof
Every Jordan domain \(U\subset Z\) satisfies
where \(C'=\max \left\{ C,\frac{\mathcal {H}^2(Z)}{l_0^2}\right\} \). So Z satisfies a \(C'\)quadratic isoperimetric inequality. As \(l(\partial Z)<\infty \) the boundary curve admits a Lipschitz parametrization and hence by the global quadratic isoperimetric inequality one has \(\Lambda (\partial Z,Z)\ne \emptyset \). So by Theorem 2.5 there is a solution of Plateau’s problem for \(\partial Z\) in Z.
We prove that u is a solution of Plateau’s problem for \(\partial Z\) in Z iff
Let u be a solution of Plateau’s problem for \(\partial Z\) in Z and \(v \in \Lambda (\partial Z,Z)\) be such that \(E^2_+(v)=\inf _{w \in \Lambda (\partial Z,Z)} E^2_+(w)\). By [14, Theorem 4.4] such v exists and may be chosen in \(C^0(\bar{D},X)\) and satisfying Lusin’s property (N). So by Theorem 2.2
So \(\text {card}(v^{1}(z))\) is finite \(\mathcal {H}^2\) almost everywhere in Z. But by [17, Theorem 1.2] v is monotone and hence \(\text {card}(v^{1}(z))=1\) for \(\mathcal {H}^2\)almost every \(z\in Z\). Using that u satisfies Lusin’s property (N) and applying Theorem 2.2 again we obtain
So v is a solution of Plateau’s problem. As u minimizes \(E^2_+\) among all area minimizers vice versa one has that
As minimizers of \(E^2_+\) are monotone and have area equal to \(\mathcal {H}^2(Z)\) this completes the proof. \(\square \)
2.3 Intrinsic minimal discs
In the following let X be a complete metric space and \(u \in C^0(\bar{D},X)\). Define a semimetric \(d_u:\bar{D}\times \bar{D}\rightarrow [0,\infty ]\) on \(\bar{D}\) by setting
We call the metric space \(Z_u\) corresponding to \((\bar{D},d_u)\) the intrinsic disc associated to u. By definition one gets canonical maps \(P_u:\bar{D}\rightarrow Z_u\) and \({\hat{u}}:Z_u \rightarrow X\) such that \({\hat{u}}\circ P_u=u\). For solutions of Plateau’s problem u this construction has been studied in detail in [15].
Theorem 2.8
([15]) Let X be a complete metric space satisfying a \((C,l_0)\)quadratic isoperimetric inequality, \(\Gamma \) a rectifiable Jordan curve in X and u a solution of Plateau’s problem for \(\Gamma \) in X. Then we have the following list of properties.

(1)
\(Z_u\) is a geodesic metric disc satisfying \(\mathcal {H}^2(U)\le C \cdot l(\partial U)^2\) for every Jordan domain \(U \subset Z_u\) such that \(l(\partial U)<l_0\).

(2)
\(P_u\in \Lambda (\partial Z_u,Z_u)\) is a solution of Plateau’s problem for \(\partial Z_u\) in \(Z_u\).

(3)
For every curve \(\gamma \) in \(\bar{D}\) one has \(l(u \circ \gamma )=l(P_u\circ \gamma )\) and for every \(V \subset \bar{D}\) open \(\text {Area}(u_{V})=\mathcal {H}^2(P_u(V))\). In particular it holds that \(l(\Gamma )=l(\partial Z_u)\) and \(\text {Area}(u)=\mathcal {H}^2(Z_u)\).

(4)
\({\hat{u}}\) is 1Lipschitz.

(5)
\(Z_u \in \text {LGC}(\rho )\) where \(\rho :\left( 0,\frac{l_0}{2}\right) \rightarrow \mathbb {R}\), \(\rho (r):=(8C+1)\cdot r\).

(6)
Let \(l(\Gamma )\le L\) and \(\text {Area}(u)\le A\). Then for every \(\epsilon >0\) there exists an \(\epsilon \)net in \(Z_u\) with at most K elements where \(K=K(\epsilon ,L,A,C,l_0)\).
We prove the following more precise version of Theorem 1.2.
Theorem 2.9
Let \(Z\in \mathcal {D}(L,A,C,l_0)\). If u is a solution of Plateau’s problem for \(\partial Z\) in Z, then \({\hat{u}}:Z_u\rightarrow Z\) is an isometry.
For \(u \in C^0(\bar{D},X)\) two variants of the intrinsic disc metric have been investigated in [19]. Define a semimetric \(d_u:\bar{D}\times \bar{D}\rightarrow \mathbb {R}\) by setting
Let \(Z_u\) be the metric space corresponding to \((\bar{D},d_u)\). Let \(\langle Z_u\rangle \) be the metric space obtained by taking the path metric on \(Z_u\). As \(Z_u\) is a length space we get the following canonical factorization of \({\hat{u}}\) by 1Lipschitz maps
Proof
The aim is to show that if \(X=Z\) is as in Theorem 2.9 then all the maps \(u_i\) in (22) are isometries and hence so is \({\hat{u}}\).
\(u_3\) is an isometry: Let \(x,y \in \bar{D}\). Let \(\gamma :[0,1]\rightarrow X\) be a geodesic in Z connecting u(x) and u(y). As \(\bar{D}\) is compact and u is monotone the set \(u^{1}(\text {im}(\gamma ))\) is connected. So
As \(u_3\) is 1Lipschitz this proves that \(u_3\) is an isometry.
\(u_2\) is an isometry: As \(Z_u\) is isometric to Z also \(Z_u\) is geodesic. So \(u_2\) is an isometry.
\(u_1\) is an isometry: We say that u has no bubbles if for every \(z \in Z\) every connected component of \(\bar{D}\setminus u^{1}(z)\) contains a point in \({S^1}\). By Theorem 2.8.2 the map \(P_u\) is continuous and it thus follows from [19, Proposition 9.3] that if u has no bubbles, then \(u_1:Z_u\rightarrow \langle  Z_u\rangle \) is an isometry. So it suffices to prove that u has no bubbles. A proof of this fact is implicitly contained in [15]. In our situation one can also conclude this by the following simple argument.
Assume U was a connected component of \(\bar{D}\setminus u ^{1}(z)\) disjoint to \({S^1}\). Then U is open. Define \({\tilde{u}}:\bar{D}\rightarrow Z\) by setting \({\tilde{u}}(q):=z\) for \(q \in U\) and \({\tilde{u}}(q):=u(q)\) otherwise. Then \({\tilde{u}}\) is continuous and restricts to a monotone parametrization of \(\partial Z\) on \({S^1}\). So by topological reasons \({\tilde{u}}\) is surjective. Let \(q \in U\) and \(w:=u(q)\). Then there is \(p \in \bar{D}\setminus {\overline{U}}\) such that \(u(p)={\tilde{u}}(p)=w\). As \(\partial U \cap u^{1}(w)=\emptyset \) this proves that \(u^{1}(w)\) is disconnected. A contradiction to u being monotone. \(\square \)
Corollary 2.10
For \(L,A,C \in (0,\infty )\) and \(l_0\in (0,\infty ]\) let \(\mathcal {D}(L,A,C,l_0)\) be the class of all geodesic metric discs Z satisfying \(l(\partial Z)\le L\), \(\mathcal {H}^2(Z)\le A\) and a \((C,l_0)\)quadratic isoperimetric inequality. Then \(\mathcal {D}(L,A,C,l_0)\) is precompact in GromovHausdorff space.
Proof
Let \(\epsilon >0\). By Theorems. 2.9 and 2.8.6 there is a universal constant K such that every \(Z \in \mathcal {D}(L,A,C,l_0)\) admits an \(\epsilon \)net with at most K elements. So by Gromov’s compactness criterion, see [7], \(\mathcal {D}(L,A,C,l_0)\) is precompact in GromovHausdorff space. Note here that the uniform diameter bound needed in the criterion is automatic for classes consisting of geodesic spaces, see for example [1, Exercise 7.4.14]. \(\square \)
3 Mapping cylinders
Let X be a compact topological space, \(\gamma :{S^1}\rightarrow X\) a closed continuous curve and \(I=[0,1]\). The mapping cylinder \(X_\gamma \) of \(\gamma \) is the topological space obtained by glueing \(Y:={S^1}\times I\) to X along the equivalence relation generated by \((t,0)\sim \gamma (t)\).
Now assume X is a metric space, \(\gamma :{S^1}\rightarrow X\) is Lipschitz and \(L,R\in (0,\infty )\). Let \(d_Y\) be the product metric on Y obtained by scaling the standard metric on I by the factor R and the angular distance on \({S^1}\) by the factor \(\frac{L}{2\pi }\). Let d be the maximal semimetric on \(X_\gamma \) subject to \(d(x,y)\le d_X(x,y)\) for \(x,y \in X\) and \(d(x,y)\le d_Y(x,y)\) for \(x,y \in Y\).
Lemma 3.1
If \(L \ge 2\pi \cdot \text {Lip}(\gamma )\), then d is a metric and metrizes the topology of \(X_\gamma \). We denote \(X_{\gamma ,L,R}:=(X_\gamma ,d)\).
In Lemma 3.1 we measure \(\text {Lip}(\gamma )\) with respect to the angular distance on \({S^1}\).
Proof
For \(x,y \in X_\gamma \) set
We claim that \(d'\) is a metric. It is clear that \(d'\) is well defined, positive definite and symmetric. It remains to check the triangle inequality. Let \(x,y,z \in X_\gamma \). We treat the case \(x,z\in X\) and \(y\in Y\) only. All other ones are similar. There exist \(t,s \in {S^1}\) such that
So \(d'\) is a metric and hence \(d'\le d\). But due to the triangle inequality also \(d\ge d'\) and hence \(d=d'\). As d is a metric and \(X\sqcup Y\) is compact the topology generated by d agrees with the quotient topology on Z, see for example Exercise 3.1.14 in [1]. \(\square \)
Theorem 3.2
In the situation of Lemma 3.1 we have the following list of geometric properties.

1.
The inlcusion \(X\rightarrow X_{\gamma ,L,R}\) is an isometric embedding and X is an Rnet in \(X_{\gamma ,L,R}\). There is a strong deformation retraction H of \(X_{\gamma ,L,R}\) onto X by 1Lipschitz maps \(H_t:X_{\gamma ,L,R}\rightarrow X_{\gamma ,L,R}\).

2.
If X is geodesic, then \(X_{\gamma ,L,R}\) is geodesic.

3.
\(\mathcal {H}^2(X_{\gamma ,L,R})=\mathcal {H}^2(X)+LR\).

4.
If \(R\ge L\), then the curve \(\gamma _R:{S^1}\rightarrow X_{\gamma ,L,R},\gamma _R(p):=(p,1)\) is a 1chordarc curve of length L.

5.
If X is \(\text {LGC}(\rho )\) where \(\rho :(0,R_0)\rightarrow \mathbb {R}\) is a contractibility function, then \(X_{\gamma ,L,R}\) is \(\text {LGC}({\bar{\rho }})\) where \(R_0':=\min \left\{ \frac{R_0}{2},\frac{L}{2}\right\} \), \({\bar{\rho }}:\left( 0,R_0'\right) \rightarrow \mathbb {R}, {\bar{\rho }}(r)=\rho (2r)+r\).

6.
If X satisfies a \((C,l_0)\)quadratic isoperimetric inequality, then \(X_{\gamma ,L,R}\) satisfies a \((C',l_0)\)quadratic isoperimetric inequality where \(C'=C+\max \left\{ \frac{1}{2\pi }, \frac{R}{L}\right\} \).
Proof
1. Define the strong deformation retraction H by setting \(H_t(p,s):=(p,ts)\) for \((p,s)\in Y\) and \(H_t(x):=x\) for \(x\in X\). The claim follows by the representation (23).
2. This is an immediate consequence of the fact that X and Y are geodesic and the representation (23).
3. By the representation (23) the subset \(X_{\gamma ,L,R}\setminus X\) is locally isometric to \(Y\setminus ({S^1}\times \{0\})\). So
4. For \(p,q \in {S^1}\) one has \(d(\gamma _R(p),\gamma _R(q))=d_Y((p,R),(q,R))\). So \(l(\gamma _R)=L\) and \(\gamma _R\) is 1chordarc.
5. Let \(x \in X\subset X_{\gamma ,L,R}\) and \(r\in (0,R_0)\) be arbitrary. Then for \(y \in X_{\gamma ,L,R}\) and \(t\in [0,1]\) one has
So for \(r\in (0,R_0)\) the homotopy H restricts to a strong deformation retraction of \(B^d(x,r)\) onto \(B^{d_X}(x,r)\) and by assumption \(B^{d_X}(x,r)\) is contractible inside \(B^{d_X}(x,\rho (r))\subset B^d(x,\rho (r))\).
Now let \(x \in X_{\gamma ,L,R}\) arbitrary and \(0< r <R_0'\). If \(B^d(x,r)\cap X=\emptyset \), then \(B^d(x,r)=B^{d_Y}(x,r)\) is homeomorphic to a ball in \(\mathbb {R}^2\) or the halfplane and hence contractible inside itself. So assume \(y \in X \cap B^d(x,r)\). Then \(B^d(x,r)\subset B^d(y,2r)\). By our previous observation \(B^d(y,2r)\) is contractible inside \(B^d(y,\rho (2r))\). But \(B^d(y,\rho (2r))\subset B^d(x,{\bar{\rho }}(r))\). This proofs 11.
6. Let \(\eta :{S^1}\rightarrow X_{\gamma ,L,R}\) be a closed Lipschitz curve of length \(l(\eta )<l_0\) and \(D=\max \left\{ (2\pi )^{1},L^{1}R\right\} \).
Claim 3.3
For every \(D'>D\) there exists a Lipschitz homotopy \(h:\eta \rightarrow \nu \) such that \(l(\nu )\le l(\eta )\), \(\text {Area}(h)\le D'\cdot l(\eta )^2\) and either \(\nu \) is constant or \(\text {im}(\nu )\subset X\).
Assume the claim holds. By assumption there exists \(v \in W^{1,2}(D,X_{\gamma ,L,R})\) such that \(\text {tr}(v)=\nu \) and \(\text {Area}(v)\le C \cdot l(\nu )^2\). So by Lemma 2.3 and Claim 3.3 for every \(D'>D\) there exists \(u \in W^{1,2}(D,X_{\gamma ,L,R})\) such that \( \text {tr}(u)=\eta \) and
So \(X_{\gamma ,L,R}\) satisfies a \((C'',l_0)\)quadratic isoperimetric inequality for every \(C''>C'\). Hence by [5] \(X_{\gamma ,L,R}\) satisfies a \(C'\)quadratic isoperimetric inequality. \(\square \)
Proof of Claim 3.3
Let \(U:=\eta ^{1}(X_{\gamma }\setminus X)\). Set \(h^\eta _t(s):=H_t(\eta (s))\). Then one has \(h^\eta :\eta \rightarrow \nu \) where \(l(\nu )\le l(\eta )\), \(\text {im}(\nu )\subset X\) and
We consider three cases.
I. \(l(\eta )\ge L\): In this case setting \(h=h^\eta \) gives the desired homotopy as
II. \(l(\eta )< L\) and \(U ={S^1}\): As \(l(\eta )<L\) one may fill \(\eta \) as good as a planar curve. So there exists a Lipschitz homotopy \(h:\eta \rightarrow \nu \) such that \(\nu \) is constant and
III. \(l(\eta )< L\) and \(U \ne {S^1}\): Taking \(h=h^\eta \) would prove Theorem 3.2.12 upon replacing the constant \(\frac{1}{2\pi }\) by 1. For the finer result one has to homotope each piece of \(\eta \) contained in \(X_{\gamma }\setminus X\) to X in a more optimal way.
First note that by Reshetnyak’s majorization theorem, see [20], for a planar Lipschitz curve \(\alpha :[0,1]\rightarrow \mathbb {R}^2\) there is a compact convex \(C\subset \mathbb {R}^2\) and a 1Lipschitz map \(m:C\rightarrow \mathbb {R}^2\) such that \(m_{\partial C}\) is length preserving and a parametrization of \(\alpha \cdot {\bar{\beta }}\) where \(\beta \) is a linear parametrization of the Euclidean segment \([\alpha (0),\alpha (1)]\). Hence there is a Lipschitz homotopy \(g:\alpha \rightarrow \beta \) such that
Decompose where \((v^i, w^i)\) are possibly empty angular intervals. Set \(\eta _1:=\eta \) and for \(i\in \mathbb {N}\) let \(k_i:=l(\eta _{(v_i,w_i)})\). Using our observation on planar curves inductively for each \(i\in \mathbb {N}\) there exists a Lipschitz homotopy \(h^i:\eta _i\rightarrow \eta _{i+1}\) where \(l(\eta _{i+1})\le l(\eta _i)\), \(\eta _{i+1}=\eta _i\) on \({S^1}\setminus (v_i,w_i)\) and \(\eta _{i+1}((v_i,w_i))\subset X\) such that
Now let \(\epsilon >0\) be arbitrary and \(n\in \mathbb {N}\) such that \(\sum ^\infty _{i=n} k_i<\epsilon \). For \(h=h_1\cdot h_2\cdot ... \cdot h_{n1} \cdot h^{\eta _{n}}:\eta \rightarrow \nu \) one has \(l(\nu )\le l(\eta )\), \(\text {im}(\nu )\subset X\) and
As \(\epsilon >0\) was arbitrary this proves the claim. \(\square \)
4 Limits of discs
4.1 Under chordarc condition
The following theorem is a slightly weaker version of (6.4) in [24].
Theorem 4.1
([24]) Let \(\rho :(0,R)\rightarrow \mathbb {R}\) be a contractibility function and X be a compact metric space. Let \(Z_n \subset X\) be metric discs such that both \(Z_n\) and \(\partial Z_n\) are in \(\text {LGC}(\rho )\) when endowed with the subspace metric. If \(Z_n\rightarrow _H Z\) and \(\partial Z_n \rightarrow _H S\) where \(Z,S\subset X\) are compact and \(\rightarrow _H\) indicates Hausdorff convergence, then Z is a metric disc and \(S=\partial Z\).
We will only use the following corollary of Whyburn’s result.
Theorem 4.2
Let \(L\in (0,\infty )\), \(\lambda \in [1,\infty )\) and \(\rho :(0,R_0)\rightarrow \mathbb {R}\) be a contractibility function. Let \((Z_n)\) be a sequence of metric discs such that \(Z_n\in \text {LGC}(\rho )\), \(l(\partial Z_n)\le L\) and \(\partial Z_n\) is \(\lambda \)chordarc.
If \(Z_n\rightarrow _{GH}Z\) for a compact metric space Z, then either \(Z=\{*\}\) or Z is a metric disc such that \(l(\partial Z)\le L\) and \(\partial Z_n \rightarrow _{GH} \partial Z\).
Proof
If \(l(\partial Z_n)\le r<R_0\) then for \(z\in Z_n\) one has \(\partial Z_n\subset B(z,r)\) and there is a homotopy h contracting B(z, r) inside \(B(z,\rho (r))\). By topological reasons the image of h must be surjective onto Z and hence \(\text {diam}(Z_n)\le 2\rho (r)\). So if
then \(Z=\{*\}\).
So assume without loss of generality that \(l(\partial Z_n)\ge l>0\) for all \(n \in \mathbb {N}\). Then \(\partial Z_n \in \text {LGC}({\hat{\rho }})\) where \({\hat{R}}_0:=\frac{l}{2\lambda }\), \({\hat{\rho }}:(0,{\hat{R}}_0)\rightarrow \mathbb {R}\) and \({\hat{\rho }}(r)=\lambda \cdot r\). By the proof of Gromov’s compactnes criterion in [7] there exists a compact metric space X and isometric embeddings \(Z_n\hookrightarrow X, Z\hookrightarrow X\) such that \(Z_ n\rightarrow _H Z\) with respect to these embeddings. As \(l(\partial Z_n)\) is uniformly bounded above, by the ArzelaAscoli theorem there exists a compact set \(S\subset X\) such that \(\partial Z_n \rightarrow _H S\). By Theorem 4.1 one has that Z is a metric disc and \(\partial Z=S\). Lower semicontinuity of length implies \(l(\partial Z)\le L\). \(\square \)
Remember that \(\mathcal {D}(L,A,C,l_0)\) is the class of geodesic metric discs Z satisfying a \((C,l_0)\)quadratic isoperimetric inequality, \(l(\partial Z)\le L\) and \(\mathcal {H}^2(Z)\le A\). Let \(\mathcal {D}^\lambda (L,A,C,l_0)\) be the set of those \(Z\in \mathcal {D}(L,A,C,l_0)\) such that \(\partial Z\) is \(\lambda \)chordarc.
Theorem 4.3
\(\mathcal {D}^\lambda (L,A,C,l_0)\cup \{*\}\) is compact.
Proof
By Corollary 2.10 the class \(\mathcal {D}(L,A,C,l_0)\) is precompact and hence so is \(\mathcal {D}^\lambda (L,A,C,l_0)\). So it remains to show that \(\mathcal {D}^\lambda (L,A,C,l_0)\cup \{*\}\) is closed.
Let \(Z^n \in \mathcal {D}^\lambda (L,A,C,l_0)\) and \(Z_n \rightarrow _{GH} Z\). By Theorem 2.8.5 there is a contractibility function \(\rho \) such that \(Z^n\in \text {LGC}(\rho )\). So Theorem 4.2 implies that either \(Z=\{*\}\) or Z is a metric disc such that \(l(\partial Z) \le L\) and \(\partial Z_n \rightarrow _{GH} \partial Z\). Assume we are in the latter case.
By lower semicontinuouity of length one has that \(\partial Z\) is \(\lambda \)chordarc. The conditions of being geodesic and satisfying a \((C,l_0)\)quadratic isoperimetric inequality are both stable under GromovHausdorff limits, see [1] and [5] respectively. Note that the proof of Theorem 1.3 is completed at this point. For the local version it only remains to check \(\mathcal {H}^2(Z)\le A\).
As in the proof of Theorem 2.7 all \(Z_n\) satisfy a \({\hat{C}}\)quadratic isoperimetric inequality where \({\hat{C}}={\hat{C}}(A,C,l_0)\). So by Theorems. 2.5, 2.6 and 2.7 there exist constants \(M\in [0,\infty )\), \(p\in (2,\infty )\) depending only on \({\hat{C}},\lambda \) and maps
such that \(\text {Area}(u_n)=\mathcal {H}^2(Z_n)\) and
for all \(n\in \mathbb {N}\). In particular by Theorem 2.1 the maps \(u_n\) are uniformly Hölder and hence equicontinuous.
As in the proof of Theorem 4.2 we may assume that \(Z_n\) and Z are subsets of a compact metric space X and \(Z_n \rightarrow _H Z\). Then by ArzelaAscoli \(u_n:\bar{D}\rightarrow X\) converges uniformly to a map \(u\in C^0(\bar{D},X)\). In particular \(u_n \rightarrow _{L^p} u\) and hence by Theorem 2.4 and (32) \(u \in W^{1,p}(D,X)\). So by Theorem 2.1u satisfies Lusin’s property (N). As \(u_n:\bar{D}\rightarrow Z_n\) is surjective one has \(\text {im}(u)=Z\). So by Theorems. 2.2 and 2.4
and hence \(Z \in \mathcal {D}^\lambda (L,A,C,l_0)\). \(\square \)
4.2 Without chordarc condition
Recall that a metric space Z is called a disc retract if there is a Lipschitz curve \(\gamma :{S^1}\rightarrow X\) such that \(X_\gamma \) is a topological disc. We say that \(l(\partial Z)\le L\) if there exists such \(\gamma \) satisfying \(l(\gamma )\le L\). The following Lemma shows that one may always assume \(\gamma \) to be parametrized by constant speed.
Lemma 4.4
Let Z be a compact metric space, \(\gamma :{S^1}\rightarrow Z\) be a Lipschitz curve and \({\bar{\gamma }}:{S^1}\rightarrow Z\) the constant speed parametrization of \(\gamma \). If \(Z_\gamma \) is a topological disc, then \(Z_{{\bar{\gamma }}}\) is a topological disc.
Proof
Let \(M:{S^1}\rightarrow {S^1}\) be monotone and such that \(\gamma ={\bar{\gamma }}\circ M\). Define \(P:Z_{\gamma }\rightarrow Z_{{\bar{\gamma }}}\) by
Then P is continuous. Furthermore if \(x \in Z\), then \(P^{1}(x)=\{x\}\) and if \(p\in {S^1},t \in (0,1]\), then \(P^{1}((p,t))=I\times \{t\}\) where \(I \subset {S^1}\) is a closed interval. So P defines a celllike map \(\bar{D}\cong Z_{\gamma }\rightarrow Z_{{\bar{\gamma }}}\) such that \(P_{\partial Z_{\gamma }}\) is celllike too. So by Corollary 7.12 in [15] \(Z_{{\bar{\gamma }}}\) is homeomorphic to \(\bar{D}\). \(\square \)
Remember that \(\mathcal {E}(L,A,C,l_0)\) is the set of geodesic metric disc retracts satisfying a \((C,l_0)\)quadratic isoperimetric inequality, \(l(\partial Z)\le L\) and \(\mathcal {H}^2(Z)\le A\).
Theorem 4.5
Let \(L,A,C\in (0,\infty )\) and \(l_0 \in (0,\infty ]\). Then \(\mathcal {E}(L,A,C,l_0)\) is compact and
for every \(A'>A\).
Proof
It is clear that \(\mathcal {D}(L,A,C,l_0)\subset \mathcal {E}(L,A,C,l_0)\).
Let \(Z \in \mathcal {E}(L,A,C,l_0)\). By Lemma 4.4 there is a constantspeed curve \(\gamma :{S^1}\rightarrow X\) such that \(l(\gamma )\le L\) and \(Z_\gamma \) is a disc. Let \(Z^n:=Z_{\gamma ,L,\frac{1}{n}}\). By Theorem 3.2 for \(n>L^{1}\) one has that \(d_{GH}(Z,Z^n)\le \frac{1}{n}\) and
So \(\mathcal {E}(L,A,C,l_0)\subset \overline{\mathcal {D}\left( L,A',C+(2\pi )^{1},l_0\right) }\).
By Corollary 2.10\(\mathcal {D}\left( L,A',C+(2\pi )^{1},l_0\right) \) is precompact. So the only thing that remains to be checked is that \(\mathcal {E}(L,A,C,l_0)\) is closed.
Let \(Z^n\in \mathcal {E}(L,A,C,l_0)\) and \(Z^n\rightarrow _{GH} Z\) where Z is a compact metric space. Then as in the proof of Theorem 4.3Z is geodesic and satisfies a \((C,l_0)\)quadratic isoperimetric inequality. Let \(\gamma ^n:{S^1}\rightarrow X\) be constant speed curves such that \(l(\gamma ^n) \le L\) and \(Z^n_{\gamma ^n}\) is a disc. Again we may assume that all \(Z_n\) and Z are subsets of a compact metric space X such that \(Z^n\rightarrow _{H} Z\). As \(\gamma ^n\) are uniformly Lipschitz by the ArzelaAscoli theorem up to passing to a subsequence there exists a limit curve \(\gamma :{S^1}\rightarrow Z\) and \(l(\gamma )\le L\).
Set \(W^n:=Z^n_{\gamma ^n,L,L}\). Then by Theorem 3.2 one has
and hence by Theorem 4.3 after passing to a subsequence there is
such that \(W^n\rightarrow _{GH} W\). But by the explicit formula (23) in this case W has to be isometric to \(Z_{\gamma ,L,L}\). So Z is a disc retract and \(l(\partial Z)\le L\). Furthermore by Theorem 3.2.3.
So \(Z \in \mathcal {E}(L,A,C,l_0)\). \(\square \)
Theorem 4.6
Let \(\rho \) be a contractibility function, \(L\ge 0\) and Z a compact metric space. Let \(Z_n\) be a sequence of disc retracts such that \(l(\partial Z_n)\le L\) for all n and \(Z_n\rightarrow _{GH} Z\). Then Z is a disc retract and \(l(\partial Z)\le L\).
Proof
Proceed exactly as in the last part of the proof of Theorem 4.5 applying Theorem 3.2.5 instead of Theorem 3.2.6 and Theorem 4.2 instead of Theorem 4.3. \(\square \)
References
Dmitri Burago, Yuri Burago, and Sergei V. Ivanov. A Course in Metric Geometry. Graduate Studies in Mathematics 33. American Mathematical Society,Providence, 2001
Burago, Y., Gromov, M.L., Perelman, G.Y.: A.D. Alexandrov spaces with curvature bounded below. Russian Math. Surveys 47(2), 1–58 (1992)
Cheeger, Jeff, Colding, Tobias H.: On the structure of spaces with Ricci curvature bounded below. I. J. Differ. Geom. 46(3), 406–480 (1997)
Creutz, Paul: Majorization by hemispheres and quadratic isoperimetric constants. Trans. Am. Math. Soc. 373(3), 1577–1596 (2020)
Paul Creutz. Plateau’s problem for singular curves. Comm. Anal. Geom., to appear
Grove, Karsten, Petersen, Peter V., JyhYang, Wu: Geometric finiteness theorems via controlled topology. Invent. Math. 99(1), 205–214 (1990)
Gromov, Michail L.: Groups of polynomial growth and expanding maps. Publ. Math. Inst. Hautes Études Sci. 53, 53–78 (1981)
Michail L. Gromov: Metric Structures for Riemannian and NonRiemannian Spaces. Progress in Mathematics, Birkhäuser (1999)
Karmanova, Maria B.: Area and coarea formulas for mappings of the Sobolev classes with values in a metric space. Sibirsk. Mat. Zh. 48(4), 778–788 (2007)
Kirchheim, Bernd: Rectifiable metric spaces: local structure and regularity of the Hausdorff measure. Proc. Am. Math. Soc. 121(1), 113–123 (1994)
Korevaar, Nicholas J., Schoen, Richard M.: Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom. 1(3–4), 561–659 (1993)
Lytchak, Alexander, Wenger, Stefan: Regularity of harmonic discs in spaces with quadratic isoperimetric inequality. Calc. Var. Partial Differ. Equ. 55(4), 98 (2016)
Lytchak, Alexander, Wenger, Stefan: Area Minimizing Discs in Metric Spaces. Arch. Ration. Mech. Anal. 223(3), 1123–1182 (2017)
Lytchak, Alexander, Wenger, Stefan: Energy and area minimizers in metric spaces. Adv. Calc. Var. 10(4), 407–421 (2017)
Lytchak, Alexander, Wenger, Stefan: Intrinsic structure of minimal discs in metric spaces. Geom. Topol. 22(1), 591–644 (2018)
Lytchak, Alexander, Wenger, Stefan: Isoperimetric characterization of upper curvature bounds. Acta Math. 221(1), 159–202 (2018)
Lytchak, Alexander, Wenger, Stefan: Canonical parameterizations of metric disks. Duke Math. J. 169(4), 761–797 (2020)
Alexander Lytchak, Stefan Wenger, and Robert Young. Dehn functions and Hölder extensions in asymptotic cones. J. Reine Angew. Math., to appear
Petrunin, Anton, Stadler, Stephan: Metricminimizing surfaces revisited. Geom. Topol. 23(6), 3111–3139 (2019)
Reshetnyak, Yurii G.: Nonexpansive maps in a space of curvature no greater than \(K\). Sibirsk. Mat. Ž. 9, 918–927 (1968)
Reshetnyak, Yurii G.: Sobolev classes of functions with values in a metric space. Sibirsk. Mat. Zh. 38(3), 657–675 (1997)
Shioya, Takashi: The limit spaces of twodimensional manifolds with uniformly bounded integral curvature. Trans. Am. Math. Soc. 351(5), 1765–1801 (1999)
Wenger, Stefan: Gromov hyperbolic spaces and the sharp isoperimetric constant. Invent. Math. 171(1), 227–255 (2008)
Whyburn, Gordon T.: On sequences and limiting sets. Fund. Math. 25(1), 408–426 (1935)
Acknowledgements
Open Access funding provided by Projekt DEAL. I would like to thank my PhD advisor Alexander Lytchak for great support in everything. Also I would like to thank the anonymous referee for valuable comments which lead to improvements of the presentation.
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.
The author was partially supported by the DFG grant SPP 2026.
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
Creutz, P. Space of minimal discs and its compactification. Geom Dedicata 210, 151–164 (2021). https://doi.org/10.1007/s10711020005373
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711020005373