Infinitesimal Hilbertianity of locally CAT($\kappa$)-spaces

TL;DR

This paper proves that metric measure spaces with curvature bounded above in the Alexandrov sense are infinitesimally Hilbertian, meaning their Sobolev space W^{1,2} is a Hilbert space, by embedding derivations into tangent cones.

Contribution

It establishes the infinitesimal Hilbertianity of Alexandrov curvature bounded spaces using an isometric embedding into tangent cones, linking geometric and analytical structures.

Findings

Sobolev space W^{1,2} is Hilbert for these spaces

Constructs an isometric embedding of derivations into tangent cones

Tangent cones are CAT(0)-spaces with Hilbert-like structure

Abstract

We show that, given a metric space $(Y,d)$ of curvature bounded from above in the sense of Alexandrov, and a positive Radon measure $\mu$ on $Y$ giving finite mass to bounded sets, the resulting metric measure space $(Y,d,\mu)$ is infinitesimally Hilbertian, i.e. the Sobolev space $W^{1,2}(Y,d,\mu)$ is a Hilbert space. The result is obtained by constructing an isometric embedding of the `abstract and analytical' space of derivations into the `concrete and geometrical' bundle whose fibre at $x\in Y$ is the tangent cone at $x$ of $Y$. The conclusion then follows from the fact that for every $x\in Y$ such a cone is a CAT(0)-space and, as such, has a Hilbert-like structure.

Equations

$${\mathsf{d}}^2({\gamma }_t,y)\le (1-t){\mathsf{d}}^2(x_0,y)+t{\mathsf{d}}^2(x_1,y)-t(1-t){\mathsf{d}}^2(x_0,x_1)\forall y\in \mathrm{Y},t\in [0,1].$$

$$\begin{array}[]{l}\text{if a normed vector space isometrically embeds in a ${\rm CAT}(0)$ space,}\\ \text{then the norm comes from a scalar product.}\end{array}$$

$$\Vert f{\Vert }_{W^{1,2}}^2=\int |f{|}^2(x)+\Vert \mathrm{d}f(x){\Vert }_x^2\mathrm{d}\mu (x).$$

$$\mathrm{lip}f(x):=\underset{y\to x}{\overline{\lim }}\frac{|f(y)-f(x)|}{\mathsf{d}(x,y)}\text{if x is not isolated, 0 otherwise}$$

$${\mathrm{LIP}}_c({\mathbb{R}}^d)\ni f\mapsto \int (|f{|}^2+{\mathrm{lip}}^{2}f)\mathrm{d}\mu$$

$$W^{1,2}({\mathbb{R}}^d,{\mathsf{d}}_{\mathrm{Eucl}},\mu )\ni f\mapsto \Vert f{\Vert }_{W^{1,2}}^2$$

$$\Delta \frac{|\mathrm{d}u{|}_{\mathsf{HS}}^2}{2}\ge ⟨\mathrm{d}u,\Delta \mathrm{d}u{⟩}_{\mathsf{HS}}+K|\mathrm{d}u{|}_{\mathsf{HS}}^2$$

$$\mathcal{F}:{\mathrm{Der}}^{2,2}(\mathrm{Y};\mu )\hookrightarrow L^2({\mathrm{T}}_G\mathrm{Y};\mu )$$

$$\displaystyle D_{\kappa}=\left\{\begin{array}[]{ll}\infty&\quad\text{ is }\kappa\leq 0,\\ \frac{\pi}{\sqrt{\kappa}}&\quad\text{ if }\kappa>0.\end{array}\right.$$

$${\mathsf{d}}_{\kappa }(\bar{a},\bar{b})=\mathsf{d}(a,b),{\mathsf{d}}_{\kappa }(\bar{b},\bar{c})=\mathsf{d}(b,c),{\mathsf{d}}_{\kappa }(\bar{c},\bar{a})=\mathsf{d}(c,a).$$

$${\mathsf{d}}_{\kappa }(\bar{d},\bar{b})=\mathsf{d}(d,b),{\mathsf{d}}_{\kappa }(\bar{d},\bar{c})=\mathsf{d}(d,c).$$

$$\mathsf{d}(a,d)\le {\mathsf{d}}_{\kappa }(\bar{a},\bar{d}).$$

$${\sf r}_{x}:=\sup\big{\{}r\leq D_{\kappa}/2\ :\ \bar{B}_{r}(x)\ \text{is a ${\rm CAT}(\kappa)$ space}\big{\}}.$$

$$\mathsf{d}(m,m^{\prime })\le C\epsilon ,\text{ whenever }{\mathsf{d}}^2(x,m^{\prime }),{\mathsf{d}}^2(y,m^{\prime })\le \frac{1}{4}{\mathsf{d}}^2(x,y)+{\epsilon }^2.$$

$$\frac{{\epsilon }_0^2}{2\cos (\sqrt{\kappa }\lambda /2)}<1\text{ and }\sqrt{\kappa ({\epsilon }_0^2+(\lambda /2{)}^2)}<\pi /2.$$

$$S:={\overline{B}}_{S_{\kappa }^2}(x,r_{\epsilon })\cap {\overline{B}}_{S_{\kappa }^2}(y,r_{\epsilon })$$

$$\underset{s\in S}{\max }\mathsf{d}(s,m)$$

$$\cos (\sqrt{\mathsf{d}}(m,s))\cos \frac{\sqrt{\kappa }\mathsf{d}(x,y)}{2}=\cos (\sqrt{\kappa }{r}_{\epsilon }).$$

$$f(s):=\frac{\cos (\sqrt{\kappa (a^2+s^2)})}{\cos (\sqrt{\kappa }a)},0\le s\le {\epsilon }_0.$$

$$1-f(\epsilon )\le {\int }_0^{\epsilon }|f^{\prime }(s)|\mathrm{d}s\le {\int }_0^{\epsilon }\frac{\kappa s\mathrm{d}s}{\cos (\sqrt{\kappa }a)}\le \frac{\kappa {\epsilon }^2}{\cos (\sqrt{\kappa }a)}.$$

$$\cos (\sqrt{\kappa }\mathsf{d}(m,s))=f(\epsilon )\ge 1-\frac{\kappa {\epsilon }^2}{\cos (\sqrt{\kappa }\lambda /2)}.$$

$$\sqrt{\kappa }\mathsf{d}(m,s)\le \frac{\sqrt{\kappa }\epsilon }{\sqrt{\cos (\sqrt{\kappa }\lambda /2)}}.$$

$$\frac{{\sf d}\big{(}({\sf G}_{x}^{y})_{\varepsilon},({\sf G}_{x}^{z})_{\varepsilon}\big{)}}{\varepsilon}\leq C(r)\,{\sf d}(y,z)\qquad\text{ for every }\varepsilon\in(0,1)\text{ and }y,z\in B_{r}(x)$$

$${\mathsf{d}}_x(\gamma ,\eta ):=\underset{t\downarrow 0}{\overline{\lim }}\frac{\mathsf{d}({\gamma }_t,{\eta }_t)}{t}\forall \gamma ,\eta \in {\mathsf{Geo}}_x\mathrm{Y}.$$

$${\rm sn}^{\kappa}(x):=\left\{\begin{array}[]{ll}\tfrac{1}{\sqrt{\kappa}}\sin(\sqrt{\kappa}x)&\text{if }\kappa>0\\ x&\text{if }\kappa=0\\ \tfrac{1}{\sqrt{-\kappa}}\sinh(\sqrt{-\kappa}x)&\text{if }\kappa<0\end{array}\right.\qquad\qquad{\rm cn}^{\kappa}(x):=\left\{\begin{array}[]{ll}\cos(\sqrt{\kappa}x)&\text{if }\kappa>0\\ 1&\text{if }\kappa=0\\ \cosh(\sqrt{-\kappa}x)&\text{if }\kappa<0\end{array}\right.$$

$$\cos (\alpha )=\frac{{\mathrm{cn}}^{\kappa }(a)-{\mathrm{cn}}^{\kappa }(b){\mathrm{cn}}^{\kappa }(c)}{\kappa {\mathrm{sn}}^{\kappa }(b){\mathrm{sn}}^{\kappa }(c)}$$

$$\overline{\angle}^{\kappa}_{x}(y_{0},y_{1}):=\arccos\bigg{(}\frac{{\rm cn}^{\kappa}({\sf d}(y_{0},y_{1}))-{\rm cn}^{\kappa}({\sf d}(x,y_{0}))\,{\rm cn}^{\kappa}({\sf d}(x,y_{1}))}{\kappa\,{\rm sn}^{\kappa}({\sf d}(x,y_{0}))\,{\rm sn}^{\kappa}({\sf d}(x,y_{1}))}\bigg{)}.$$

$${\overline{\angle }}_x^{\kappa }(y_0,y_2)\le {\overline{\angle }}_x^{\kappa }(y_0,y_1)+{\overline{\angle }}_x^{\kappa }(y_1,y_2)$$

$$\begin{split}&\text{the angle $\overline{\angle}^{\kappa}_{x}(\gamma_{t},\eta_{s})$ is non-decreasing in both $t$ and $s$}\\ &\text{provided they vary in $\big{\{}(t,s)\,:\,{\sf d}(x,\gamma_{t}),{\sf d}(x,\eta_{s})<D_{\kappa}\big{\}}$.}\end{split}$$

$${\angle }_x^{\kappa }(\gamma ,\eta ):=\underset{t,s\downarrow 0}{\lim }{\overline{\angle }}_x^{\kappa }({\gamma }_t,{\eta }_s)$$

Full text

The result is obtained by constructing an isometric embedding of the ‘abstract and analytical’ space of derivations into the ‘concrete and geometrical’ bundle whose fibre at $x\in{\rm Y}$ is the tangent cone at $x$ of ${\rm Y}$. The conclusion then follows from the fact that for every $x\in{\rm Y}$ such a cone is a ${\rm CAT}(0)$ space and, as such, has a Hilbert-like structure.

1. 1 Introduction

2. 2 ${\rm CAT}(\kappa)$-spaces and basic calculus on them

3. 2.1 Definition of ${\rm CAT}(\kappa)$-spaces and basic properties

4. 2.2 Tangent cone

5. 2.3 Differential of locally semiconvex Lipschitz functions

6. 2.4 Velocity of absolutely continuous curves

7. 2.5 Barycenters and rigidity

8. 3 Geometric tangent bundle $L^{2}({\rm T}_{G}{\rm Y};\mu)$

9. 4 Normal 1-currents and the superposition principle

10. 4.1 Reparametrizations of curves

11. 4.2 The superposition principle

12. 5 Metric measure spaces

13. 5.1 Derivations and the space ${\rm Der}^{2,2}({\rm Y};\mu)$

14. 5.2 The Sobolev space $W^{1,2}({\rm Y},{\sf d},\mu)$

15. 6 Proof of the main result in the separable case

16. 7 The non-separable case

1. Introduction

A metric space $({\rm Y},{\sf d})$ is said to be a ${\rm CAT}(\kappa)$ space if, roughly said, it is geodesic and geodesic triangles are ‘thinner’ than triangles in the model space $\mathbb{M}_{\kappa}$ of constant sectional curvature $=\kappa$. Typical examples of ${\rm CAT}(\kappa)$ spaces are simply connected Riemannian manifolds with sectional curvature $\leq\kappa$ and their Gromov-Hausdorff limits. Despite the absence of any a priori smooth structure, ${\rm CAT}(\kappa)$ spaces are quite regular and carry a solid calculus resembling that on manifolds with curvature $\leq\kappa$. We refer to [25], [8], [10], [11], [1] for overviews on the topic and a more detailed bibliography.

In the particular case $\kappa=0$ the ${\rm CAT}(0)$ condition reads as follows: for any points $x_{0},x_{1}\in{\rm Y}$ and any geodesic $\gamma:[0,1]\to{\rm Y}$ connecting them it holds that

[TABLE]

This can be regarded as a parallelogram inequality and from this point of view it is perhaps not surprising that several aspects of ${\rm CAT}(0)$ spaces strongly resemble properties of Hilbert spaces; this perspective is emphasised e.g. in [8]. For instance, from (1.1) it directly follows that if a normed vector space is a ${\rm CAT}(0)$ space, then the norm comes from a scalar product. Equivalently,

[TABLE]

Given that ${\rm CAT}(0)$ spaces naturally arise as tangent cones to generic ${\rm CAT}(\kappa)$ spaces, these analogies with Hilbert structures appear also at small scales on ${\rm CAT}(\kappa)$ spaces.

A metric measure space $({\rm Y},{\sf d},\mu)$ is called infinitesimally Hilbertian provided the Sobolev space $W^{1,2}({\rm Y},{\sf d},\mu)$ is Hilbert (see [13] and then also [40], [5] for the definition of Sobolev spaces in this context). The concept of infinitesimal Hilbertianity, introduced in [21], aims at detecting Hilbert structures at small scales in the non-smooth setting. The motivating example in the smooth category is the following: if ${\rm Y}$ is a smooth Finsler manifold and $\mu$ is a smooth measure on it (i.e. with smooth density when seen in charts), then the $W^{1,2}$-norm can be written as

[TABLE]

Since $f\mapsto\int|f|^{2}\,{\rm d}\mu$ always satisfies the parallelogram identity, we see that $f\mapsto\|f\|_{W^{1,2}}^{2}$ has the same property if and only if $f\mapsto\int\|{\rm d}f(x)\|_{x}^{2}\,{\rm d}\mu(x)$ satisfies the parallelogram identity. With a little bit of work it is possible to check that this is the case if and only if $\|\cdot\|_{x}^{2}$ satisfies the parallelogram identity for every $x$, i.e. if and only if ${\rm Y}$ is in fact a Riemannian manifold.

In the smooth category one could run the above consideration also with smooth functions, rather than with Sobolev ones, but this is obviously not possible on a metric measure space. In this direction let us emphasise that in the non-smooth environment it is crucial to work with Sobolev functions rather than, say, with Lipschitz ones. To see why, recall that the local Lipschitz constant $\mathrm{lip}f:{\rm Y}\to[0,\infty]$ of a function $f:{\rm Y}\to\mathbb{R}$ is defined as

[TABLE]

and consider the following example. Let $({\rm Y},{\sf d})$ be the Euclidean space $(\mathbb{R}^{d},{\sf d}_{\rm Eucl})$ and $\mu$ be a positive Radon measure. Then:

• a)

The map

[TABLE]

is not a quadratic form, in general.

• b)

The map

[TABLE]

is a quadratic form, i.e. $(\mathbb{R}^{d},{\sf d}_{\rm Eucl},\mu)$ is infinitesimally Hilbertian.

To see why (a) holds simply consider $\mu$ to be a Dirac delta at a point $o$ and $f,g\in\mathrm{LIP}_{c}(\mathbb{R}^{d})$ generic functions not differentiable at $o$: for these the parallelogram identity for $f\mapsto\mathrm{lip}^{2}f(o)$ typically fails. Intuitively, this is due to the fact that, if $f$ and $g$ are not differentiable at $o$, they are not (close to being) linear in the vicinity of $o$ and thus their local Lipschitz constants fail to capture the Hilbert structure of the cotangent space ${\rm T}^{*}_{o}\mathbb{R}^{d}$ at $o$.

The statement in (b) is non-trivial and is one of the results proved in [22]. The crucial aspect of the proof is the possibility of approximating Sobolev functions with $C^{1}$ functions: these are by nature differentiable everywhere, and thus also $\mu$-a.e., and hence are suitable to identify the Hilbertian structure of the cotangent spaces.

Hence the idea behind the notion of infinitesimal Hilbertianity is to exploit the fact that ‘by nature’ Sobolev functions are a.e. differentiable in some sense, regardless of the regularity of the metric and of the measure in consideration (for instance, if $\mu$ is a Dirac delta as above, it turns out that Sobolev functions have 0 differential, so that the claim (b) is trivially true in this case). This makes them suitable for detecting Hilbert structures at an infinitesimal scale. Let us emphasise that even though this is an analytic notion, it is strictly related to – and its introduction has been motivated by – the study of geometric properties of metric measure spaces, in particular those satisfying a curvature-dimension bound in the sense of Lott-Sturm-Villani. An example of this link is the validity of the non-smooth splitting theorem [18, 20], which states that under the appropriate geometric rigidity given by a LSV condition the weak and ‘differential’ notion of infinitesimal Hilbertianity implies the validity of a kind of Pythagora’s theorem for the ‘integrated’ object ${\sf d}$.

These considerations about Sobolev functions, together with the fact that tangents of ${\rm CAT}(\kappa)$-spaces are ${\rm CAT}(0)$-spaces and thus exhibit behaviour akin to Hilbert spaces, might lead one to suspect that a ${\rm CAT}(\kappa)$-space equipped with any measure is infinitesimally Hilbertian.

This is indeed the case and is the main result of this manuscript:

Theorem 1.1** (Universal infinitesimal Hilbertianity of local ${\rm CAT}(\kappa)$ spaces).**

Let $\kappa\in\mathbb{R}$, $({\rm Y},{\sf d})$ be a local ${\rm CAT}(\kappa)$-space and $\mu$ a non-negative and non-zero Radon measure on ${\rm Y}$ giving finite mass to bounded sets.

Then $({\rm Y},{\sf d},\mu)$ is infinitesimally Hilbertian, i.e. the Sobolev space $W^{1,2}({\rm Y},{\sf d},\mu)$ is a Hilbert space.

Let us collect some comments:

• i)

Sobolev functions on metric measure spaces are typically studied either on generic mm-spaces, mostly for foundational purposes, or on spaces which are either doubling, support a Poincaré inequality, or have Ricci curvature bounded from below. In these contexts, Sobolev spaces constitute a key ingredient for the development of a non-smooth calculus (see [13], [9], [28], [29], [5] and the references therein). All these conditions are in strong contrast to the upper sectional curvature bound encoded by the ${\rm CAT}(\kappa)$ notion as they all more-or-less point to a lower (Ricci) curvature bound.

In this direction it is worth mentioning that ${\rm CAT}(\kappa)$ spaces do not carry any natural reference measure (unlike, for instance, finite-dimensional Alexandrov spaces with curvature bounded from below) and perhaps for this reason they have been investigated mostly as metric spaces, rather than as metric measure spaces.

To the best of our knowledge, this manuscript contains the first result about the structure of Sobolev functions on ${\rm CAT}(\kappa)$ spaces.

• ii)

A particular case of Theorem 1.1 has been obtained in the recent paper [30] by Kapovitch and Ketterer. There the authors consider a metric measure space $({\rm X},{\sf d},\mathfrak{m})$ which is a ${\sf CD}(K,N)$ space in the sense of Lott-Sturm-Villani ([32], [42, 43]) when seen as a metric measure space and a ${\rm CAT}(\kappa)$ space when seen as metric space. Among other things, they prove that $({\rm X},{\sf d},\mathfrak{m})$ is infinitesimally Hilbertian, thus giving another instance of the fact that a ${\rm CAT}(\kappa)$ condition forces $W^{1,2}$ to be Hilbert. Their proof is based on the strong rigidity which comes from having both a ‘lower Ricci’ and an ‘upper sectional’ curvature bound (in fact the study of such rigidity, and of the regularity it enforces, is their main goal) and cannot be adapted to our case.

• iii)

We have mentioned that, in [22], to prove the result stated in (b) above the use of $C^{1}$ functions is crucial. Something similar happens here, where we make extensive use of the fact that on ${\rm CAT}(\kappa)$ spaces there are many semiconvex Lipschitz functions (e.g. distance functions) and they have a well-defined notion of differential at every point; see Subsection 2.3.

• iv)

This manuscript is part of a broader program aiming at stating and proving the Bochner-Eells-Sampson inequality

[TABLE]

for maps from a ${\sf RCD}(K,N)$ space $({\rm X},{\sf d}_{\rm X},\mathfrak{m}_{\rm X})$ to a ${\rm CAT}(0)$ space $({\rm Y},{\sf d})$. Notice that inequality (1.4) would immediately imply Lipschitz regularity of harmonic maps, by well known elliptic regularity theory in the non-smooth setting.

The role of this manuscript, to be used in conjunction with [23], is to ensure that $L^{2}({\rm T}^{*}{\rm Y};u_{*}(|{\rm d}u|^{2}\mathfrak{m}_{\rm X}))$ is a Hilbert module, so that the same holds for the tensor product L^{2}({\rm T}^{*}{\rm X};\mathfrak{m}_{\rm X})\otimes\big{(}u^{*}L^{2}({\rm T}^{*}{\rm Y};u_{*}(|{\rm d}u|^{2}\mathfrak{m}_{\rm X}))\big{)} and thus the ‘pointwise Hilbert-Schmidt norm’ appearing in (1.4) makes sense. We refer to [23] and [24] for more details on this.

• v)

${\rm CAT}(\kappa)$ spaces are not necessarily separable (for instance, the ${\rm CAT}(0)$ space obtained by glueing uncountably many copies of $[0,1]$ at 0 is not separable), as opposed to finite-dimensional spaces with curvature bounded from below. For this reason separability is not an assumption in Theorem 1.1. Still, given that Sobolev spaces on metric measure spaces are typically studied in a separable environment, we first prove our main result for separable spaces and postpone the technical details needed to handle the general case until the final section.

Let us briefly describe the proof of Theorem 1.1. The basic intuition is given by (1.2) and the fact that the tangent cone of a local ${\rm CAT}(\kappa)$ space is a ${\rm CAT}(0)$ space. More precisely, we consider:

• (1)

The space ${\rm Der}^{2,2}({\rm Y};\mu)$ of derivations (with divergence), as introduced by the first author in [14, 15] (see Section 5). These are in duality with Sobolev functions.

• (2)

The collection $L^{2}({\rm T}_{G}{\rm Y};\mu)$ of ‘$L^{2}(\mu)$ Borel sections of the bundle ${\rm T}_{G}{\rm Y}$ on ${\rm Y}$ whose fibre at $x$ is the tangent cone ${\rm T}_{x}{\rm Y}$’ (see Section 3).

In Theorem 6.2 and Corollary 6.4, we construct an isometric embedding

[TABLE]

which respects distances fibrewise. From this fact, the arguments behind (1.2) and the aforementioned duality between derivations and Sobolev functions easily imply the main Theorem 1.1.

To construct the embedding $\mathscr{F}$, recall that a derivation $b\in{\rm Der}^{2,2}({\rm Y};\mu)$ gives rise to a normal 1-current $T_{b}$ in the sense of Ambrosio-Kirchheim [7] (Lemma 6.1). Using Paolini–Stepanov’s version [35, 36] of Smirnov’s superposition principle (see Theorem 4.9) we express the 1-current $T_{b}$ as a superposition $\int[\![\gamma]\!]\,{\rm d}\pi_{T_{b}}(\gamma)$, where $\pi_{T_{b}}$ is a finite measure on the space of absolutely continuous curves and $[\![\gamma]\!]$ is the current induced by $\gamma$.

Inspired by [33], we see that if $\gamma$ is an absolutely continuous curve then the right and left derivatives $\dot{\gamma}_{t}^{+}$ and $\dot{\gamma}^{-}_{t}$ exist as elements of ${\rm T}_{\gamma_{t}}{\rm Y}$, and satisfy $\dot{\gamma}_{t}^{+}\oplus\dot{\gamma}_{t}^{-}=0$, for almost every $t\in[0,1]$ (Proposition 2.20, Remark 2.21 and Lemma 2.22).

Given the measures (\pi_{T_{b}}\times{\mathcal{L}}^{1}\lower 3.0pt\hbox{|{[0,1]}})_{x}, obtained by disintegrating \pi_{T_{b}}\times{\mathcal{L}}^{1}\lower 3.0pt\hbox{|{[0,1]}} with respect to the evaluation map $(\gamma,t)\mapsto\gamma_{t}$, we consider their push-forward by the ‘right-derivative’ map (cf. Proposition 3.7), thus obtaining measures ${\mathfrak{n}}_{x}$ supported in ${\rm T}_{x}{\rm Y}$.

The Borel section $\mathscr{F}(b)$ is defined to be, at almost every $x\in{\rm Y}$, the barycenter of ${\mathfrak{n}}_{x}$. The barycenter lies in the tangent cone ${\rm T}_{x}{\rm Y}$. By a rigidity property of barycenters (Lemma 2.27), and convexity properties of tangent cones, the measure $\mathfrak{n}_{x}$ is concentrated on a half-line for almost every $x\in{\rm Y}$.

Theorem 1.2 below is an improved version of the embedding result (Theorem 6.2 and Corollary 6.4), and follows from it by Theorem 1.1 and Proposition 6.5. It states that the tangent module $L^{2}({\rm T}{\rm Y};\mu)$, introduced by the second named author in [19] (see also [21]), admits an isometric embedding into $L^{2}({\rm T}_{G}{\rm Y};\mu)$ that is compatible with the fibrewise ${\rm CAT}(0)$-structure on the target side. We refer to [19, 21] for the theory of tangent modules, and to Section 2.2 for the notation (below Theorem 2.10).

Theorem 1.2**.**

Let ${\rm Y}$ be a complete and separable locally ${\rm CAT}(\kappa)$-space ($\kappa\in\mathbb{R}$) and $\mu$ a Borel measure on ${\rm Y}$ that is finite on bounded sets. Then there is a map $\mathscr{F}:L^{2}({\rm T}{\rm Y};\mu)\hookrightarrow L^{2}({\rm T}_{G}{\rm Y};\mu)$ such that for $X,Y\in L^{2}({\rm T}{\rm Y};\mu)$

• (1)

$\mathscr{F}(X+Y)=\mathscr{F}(X)\oplus\mathscr{F}(Y)$,

• (2)

${\sf d}_{\cdot}(\mathscr{F}(X),\mathscr{F}(Y))=|X-Y|$, and

• (3)

$2(|\mathscr{F}(X)|_{\cdot}^{2}+|\mathscr{F}(Y)|_{\cdot}^{2})={\sf d}_{\cdot}^{2}(\mathscr{F}(X),\mathscr{F}(Y))+|\mathscr{F}(X)\oplus\mathscr{F}(Y)|_{\cdot}^{2}$**

pointwise $\mu$-almost everywhere.

Both main results, along with Proposition 6.5, are proven in the end of Section 6.

Acknowledgement. This research has been supported by the MIUR SIR-grant ‘Nonsmooth Differential Geometry’ (RBSI147UG4). We would also like to thank S. Wenger for some useful comments on a preliminary version of this paper.

2. ${\rm CAT}(\kappa)$-spaces and basic calculus on them

2.1. Definition of ${\rm CAT}(\kappa)$-spaces and basic properties

In this paper geodesics will always be assumed to be minimizing and with constant speed. If, for two given points $x,y$ in a metric space $({\rm Y},{\sf d})$, there is only one (up to reparametrization) geodesic connecting them, the one defined on $[0,1]$ will be denoted by ${\sf G}_{x}^{y}$. Given a point $x\in{\rm Y}$, we denote by $\mathrm{dist}_{x}:{\rm Y}\to\mathbb{R}$ the function $y\mapsto{\sf d}(x,y)$.

For $\kappa\in\mathbb{R}$ the model space $\mathbb{M}_{\kappa}$ is the connected, simply connected, complete 2-dimensional manifold with constant curvature $\kappa$, and ${\sf d}_{\kappa}$ is the distance induced by the metric tensor. Thus $(\mathbb{M}_{\kappa},{\sf d}_{\kappa})$ is (a) the hyperbolic space $\mathbb{H}^{2}_{\kappa}$ of constant sectional curvature $\kappa$, if $\kappa<0$, (b) $\mathbb{R}^{2}$ with the usual Euclidean metric, if $\kappa=0$, and (c) the sphere $S^{2}_{\kappa}$ of constant sectional curvature $\kappa$, if $\kappa>0$.

We set $D_{\kappa}:=\mathrm{diam}(\mathbb{M}_{\kappa})$, i.e.

[TABLE]

We refer to [10, Chapter I.2] for a detailed study of the model spaces $\mathbb{M}_{\kappa}$.

${\rm CAT}(\kappa)$ spaces are geodesic spaces where geodesic triangles are ‘thinner’ than in $\mathbb{M}_{\kappa}$: they offer a metric counterpart to the notion of ‘having sectional curvature bounded from above by $\kappa$’.

To define them we start by recalling that if $a,b,c\in{\rm Y}$ is a triple of points satisfying ${\sf d}(a,b)+{\sf d}(b,c)+{\sf d}(c,a)<2D_{\kappa}$, then there are points, called comparison points, $\bar{a},\bar{b},\bar{c}\in\mathbb{M}_{\kappa}$ such that

[TABLE]

A point $d\in{\rm Y}$ is said to be intermediate between $b,c\in{\rm Y}$ provided ${\sf d}(b,d)+{\sf d}(d,c)={\sf d}(b,c)$ (if ${\rm Y}$ is geodesic, as we shall always assume, this means that $d$ lies on a geodesic joining $b$ and $c$). A comparison point of $d$ is a point $\bar{d}\in\mathbb{M}_{\kappa}$, such that

[TABLE]

Definition 2.1** (${\rm CAT}(\kappa)$ spaces).**

A metric space $({\rm Y},{\sf d})$ is called a ${\rm CAT}(\kappa)$-space if it is geodesic and satisfies the following triangle comparison principle: for any $a,b,c\in{\rm Y}$, satisfying ${\sf d}(a,b)+{\sf d}(b,c)+{\sf d}(c,a)<2D_{\kappa}$, and any intermediate point $d$ between $b,c$, there are comparison points $\bar{a},\bar{b},\bar{c},\bar{d}\in\mathbb{M}_{\kappa}$ as above such that

[TABLE]

A metric space $({\rm Y},{\sf d})$ is said to be locally ${\rm CAT}(\kappa)$ (or of curvature $\leq\kappa$) if every point in ${\rm Y}$ has a neighbourhood which is a ${\rm CAT}(\kappa)$-space with the inherited metric.

It is worth noting that balls of radius $<D_{\kappa}/2$ in the model space $\mathbb{M}_{\kappa}$ are convex, cf. Definition 2.3. Hence the comparison property (2.1) grants that the same is true on ${\rm CAT}(\kappa)$ spaces (see [10, Proposition II.1.4.(3)] for the rigorous proof of this fact). It is then easy to see that, for the same reasons, $({\rm Y},{\sf d})$ is locally ${\rm CAT}(\kappa)$ provided every point has a neighbourhood $U$ where the comparison inequality (2.1) holds for every triple of points $a,b,c\in U$, where the geodesics connecting the points (and thus the intermediate points) are allowed to exit the neighbourhood $U$.

Let us fix the following notation: if $({\rm Y},{\sf d})$ is a local ${\rm CAT}(\kappa)$ space, for every $x\in{\rm Y}$ we set

[TABLE]

Notice that in particular $B_{{\sf r}_{x}}(x)$ is a ${\rm CAT}(\kappa)$ space. The definition trivially grants that ${\sf r}_{y}\geq{\sf r}_{x}-{\sf d}(x,y)$ and thus in particular $x\mapsto{\sf r}_{x}$ is continuous.

We mention in passing that restricting attention to complete ${\rm CAT}(\kappa)$-spaces presents no loss of generality, since the completion of a ${\rm CAT}(\kappa)$-space is a ${\rm CAT}(\kappa)$-space; see [10, Corollary 3.11].

In a ${\rm CAT}(\kappa)$ space, points at distance $<D_{\kappa}$ are connected by a unique (up to parametrization) geodesic and these geodesics vary continuously with the endpoints. The following lemma is a quantitative version of this statement, and directly implies the uniqueness and continuous dependence of geodesics between points of distance $<D_{\kappa}$.

Lemma 2.2**.**

Let $\kappa\in\mathbb{R}$ and let ${\rm Y}$ be a ${\rm CAT}(\kappa)$-space. For every $\lambda<D_{\kappa}$, there are constants $C=C(\kappa,\lambda)>0$ and $\varepsilon_{0}=\varepsilon_{0}(\kappa,\lambda)>0$ such that the following holds: if $x,y\in{\rm Y}$ satisfy ${\sf d}(x,y)\leq\lambda$, and $m$ is the midpoint of $x,y$, we have, for any $\varepsilon\in(0,\varepsilon_{0})$ and $m^{\prime}\in{\rm Y}$, that

[TABLE]

Proof.

By the definition of ${\rm CAT}(\kappa)$ space, using the triangle comparison property with the points $x,y,m^{\prime}$, we see that it is sufficient to prove the claim when ${\rm Y}$ is the model space $\mathbb{M}_{\kappa}$. Since ${\rm CAT}(\kappa)$ spaces are ${\rm CAT}(\kappa^{\prime})$ spaces for $\kappa^{\prime}\geq\kappa$ (see [10, Part II, Chapter 1]), we can assume that $\kappa>0$. Thus we may assume ${\rm Y}=S_{\kappa}^{2}$. In this case the conclusion follows by direct computations, one possible line of thought being the following.

Let $\varepsilon_{0}$ be such that

[TABLE]

Let $\varepsilon\in(0,\varepsilon_{0})$, and let $x,y,m$ and $m^{\prime}$ be as in the claim.

Set $r_{\varepsilon}:=\sqrt{{\sf d}(x,y)^{2}/4+\varepsilon^{2}}$ and consider the set

[TABLE]

(note that $m^{\prime}\in S$). The distance

[TABLE]

is maximized at a point $s\in\partial S$ where the geodesic segment $[m,s]$ makes a right angle with the geodesic segment $[x,y]$. The spherical cosine law, applied to the triangle $\Delta(x,m,s)$ (resp. $\Delta(y,m,s)$) yields

[TABLE]

Denote $a:={\sf d}(x,y)/2$ and define

[TABLE]

Note that

[TABLE]

From this estimate, (2.3), and the fact that $a\leq\lambda/2$, we have

[TABLE]

This, the elementary estimate $\displaystyle\arccos(1-t^{2})\leq 2t\ (0\leq t<1)$ and (2.2) then imply that

[TABLE]

This completes the proof. ∎

Being geodesic spaces, on ${\rm CAT}(\kappa)$ spaces it makes sense to speak about convex sets:

Definition 2.3** (Convex sets and convex hull).**

Let ${\rm Y}$ be a ${\rm CAT}(\kappa)$ space. Then a set $C\subset{\rm Y}$ is said to be convex provided for any $x,y\in C$ we have that every geodesic connecting them is entirely contained in $C$. The (closed) convex hull of a set $C\subset{\rm Y}$ is the smallest (closed) convex set containing $C$.

One might define a weaker form of convexity by requiring that for every $x,y$ there exists a geodesic connecting them which is entirely contained in $C$. In ${\rm CAT}(\kappa)$ spaces this distinction is relevant only when ${\sf d}(x,y)\geq D_{\kappa}$, as otherwise geodesics are unique. For the purposes of the current manuscript the distinction is irrelevant.

The following simple lemma will be useful later on:

Lemma 2.4** (Separable convex hull).**

Let ${\rm Y}$ be a ${\rm CAT}(\kappa)$ space and $C\subset{\rm Y}$ a separable subset which is contained in a closed ball $B$ of radius $<D_{\kappa}/2$.

Then the closed convex hull $\overline{C}_{\rm conv}$ of $C$ is separable and contained in $B$.

Proof.

Define the sequence $(C_{n})$ of subsets of ${\rm Y}$ recursively as follows. Set $C_{0}:=C$, then iteratively let $C_{n+1}$ be the union of the images of geodesics whose endpoints are in $C_{n}$. It is clear that the convex hull of $C$ must contain $\cup_{n}C_{n}$ and thus $\overline{C}_{\rm conv}\supset\overline{\cup_{n}C_{n}}$.

To conclude the proof it is therefore enough to show that $\overline{\cup_{n}C_{n}}$ is convex and separable. The convexity of ${\cup_{n}C_{n}}$ is a straightforward consequence of the definition using induction. Since $B$ is convex we see that ${\cup_{n}C_{n}}\subset B$. Hence we have that $\sup_{x,y\in{\cup_{n}C_{n}}}{\sf d}(x,y)<D_{\kappa}$. By Lemma 2.2, the geodesic connecting two points $x,y\in\cup_{n}C_{n}$ depends continuously on $x$ and $y$. In particular, the separability of $C_{n+1}$ follows from that of $C_{n}$ (and the uniqueness of geodesics). Thus $\overline{\cup_{n}C_{n}}$ is separable. By the continuous dependence of the (unique) geodesics and the convexity of ${\cup_{n}C_{n}}$ the convexity of $\overline{\cup_{n}C_{n}}$ follows. ∎

We conclude the section with the following result, taken from [10, Part II, Lemma 3.20]:

Lemma 2.5**.**

Let $({\rm Y},{\sf d})$ be a ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$. Then there exists a function $C$ defined on a right neighbourhood of [math] such that $\lim_{r\downarrow 0}C(r)=1$ and

[TABLE]

for all $r<D_{\kappa}$ sufficiently small.

2.2. Tangent cone

Here we define the tangent cone at a point on a ${\rm CAT}(\kappa)$ space and study its first properties. We refer the interested reader to the surveys [10, 11, 12] and the references therein for more details.

We start by describing a construction of tangent cone which is valid in every geodesic space. Let ${\rm Y}$ be a geodesic space and $x\in{\rm Y}$. We denote by ${\sf Geo}_{x}{\rm Y}$ the space of (constant speed) geodesics starting from $x$ and defined on some right neighbourhood of 0 and equip such space with the pseudo-distance ${\sf d}_{x}$ defined as:

[TABLE]

Then ${\sf d}_{x}$ naturally induces an equivalence relation on ${\sf Geo}_{x}{\rm Y}$ by declaring $\gamma\sim\eta$ iff ${\sf d}_{x}(\gamma,\eta)=0$. The equivalence class of $\gamma\in{\sf Geo}_{x}{\rm Y}$ in ${\sf Geo}_{x}{\rm Y}/\sim$ will be denoted by $\gamma^{\prime}_{0}$. Clearly ${\sf d}_{x}$ passes to the quotient and defines a distance – still denoted by ${\sf d}_{x}$ – on ${\sf Geo}_{x}{\rm Y}/\sim$ .

Definition 2.6** (Tangent cone).**

Let ${\rm Y}$ be a geodesic space and $x\in{\rm Y}$. The tangent cone $({\rm T}_{x}{\rm Y},{\sf d}_{x})$ is the completion of $({\sf Geo}_{x}{\rm Y}/\sim,{\sf d}_{x})$. We call $0\in{\rm T}_{x}{\rm Y}$, or sometimes $0_{x}\in{\rm T}_{x}{\rm Y}$, the equivalence class of the constant geodesic in ${\sf Geo}_{x}{\rm Y}$.

In a general geodesic space little can be said about the structure of tangent cones, but if ${\rm Y}$ is locally a ${\rm CAT}(\kappa)$ space then tangent cones have interesting geometric properties and can be used as basic tools to build a robust first-order calculus.

In order to understand the geometry of ${\rm T}_{x}{\rm Y}$ it is necessary to recall the notion of angle between geodesics. To do so, let us recall the definition of modified trigonometric functions

[TABLE]

and that in the model space $\mathbb{M}_{\kappa}$ the cosine law reads, for $\kappa\neq 0$, as

[TABLE]

whenever $a,b,c$ are the lengths of the sides of a geodesic triangle and $\alpha$ is the angle opposite to $a$ (in the limiting case $\kappa\to 0$ this reduces to the classical Euclidean cosine law).

Then given three points $x,y_{0},y_{1}$ in a metric space with ${\sf d}(x,y_{0})+{\sf d}(x,y_{1})+{\sf d}(y_{0},y_{1})<2D_{\kappa}$, we define the angle between $y_{0},y_{1}$ seen from $x$ as

[TABLE]

Notice that this is the angle in the model space $\mathbb{M}_{\kappa}$ at $\bar{x}$ of a comparison triangle $\bar{\Delta}(\bar{x},\bar{y}_{0},\bar{y}_{1})$ and from this observation it is not hard to check that

[TABLE]

for any four points $x,y_{0},y_{1},y_{2}$ in a metric space.

A direct consequence of the definition of ${\rm CAT}(\kappa)$ space and of the above cosine law is that on a ${\rm CAT}(\kappa)$ space ${\rm Y}$, for $x\in{\rm Y}$ and $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$

[TABLE]

Hence, if ${\rm Y}$ is a local ${\rm CAT}(\kappa)$ space, $x\in{\rm Y}$ and $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$ the joint limit

[TABLE]

exists and it is called angle between the geodesics $\gamma,\eta$.

The following technical result will be useful (for the proof see [1, Lemma 3.3.1] and the discussion thereafter).

Lemma 2.7** (Independence of the angle on $\kappa$).**

Let $\kappa_{1},\kappa_{2}\in\mathbb{R}$, $\kappa_{1}\geq\kappa_{2}$. Then there is a constant $C=C(\kappa_{1},\kappa_{2})$ such that the following holds: for any metric space ${\rm Y}$ and $x,y_{1},y_{2}\in{\rm Y}$ with ${\sf d}(x,y_{1}),{\sf d}(x,y_{2}),{\sf d}(y_{1},y_{2})<D_{\kappa_{1}}$ it holds that

[TABLE]

In particular, the angle $\angle_{x}^{\kappa}(\gamma,\eta)$ between geodesics $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$ does not depend on $\kappa$ and we shall drop the superscript from the notation. Picking $\kappa_{1}=0$ we see that, for any $\kappa\in\mathbb{R}$, we have

[TABLE]

We drop the superscript from the notation of the comparison angle as well, with the understanding that $\kappa$ is fixed in each claim.

From (2.7) it is not hard to check that $\angle_{x}$ is a pseudo-distance on ${\sf Geo}_{x}{\rm Y}$ and thus defines an equivalence relation $\sim^{\prime}$ by declaring $\gamma\sim^{\prime}\eta$ iff $\angle_{x}(\gamma,\eta)=0$. It is worth noticing that the angle between two different reparametrizations of the same geodesic is 0.

We denote by $\mathrm{dir}_{x}{\rm Y}$ the quotient ${\sf Geo}_{x}{\rm Y}/\sim^{\prime}$ and, abusing a bit the notation, we keep denoting by $\angle_{x}$ and $\gamma\in\mathrm{dir}_{x}{\rm Y}$ the distance induced by $\angle_{x}$ and the equivalence class of $\gamma\in{\sf Geo}_{x}{\rm Y}$, respectively.

Definition 2.8** (Space of directions).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$. The space of directions $(\Sigma_{x}{\rm Y},\angle_{x})$ is the completion of $(\mathrm{dir}_{x}{\rm Y},\angle_{x})$.

Let us now recall that given a generic metric space $({\rm X},{\sf d}_{\rm X})$, the (Euclidean) cone over it is the metric space $(C({\rm X}),{\sf d}_{C({\rm X})})$ defined as follows (see also e.g. [11] for further details). As a set, $C({\rm X})$ is equal to \big{(}[0,\infty)\times{\rm X}\big{)}/\sim, where $(t,x)\sim(s,y)$ iff $t=s=0$ or $(t,x)=(s,y)$. The distance is defined as

[TABLE]

On $C({\rm X})$ there is a natural operation of ‘multiplication by a positive scalar’: the product $\lambda z$ of $z=(t,x)$ by $\lambda\geq 0$ is defined as $(\lambda t,x)$.

We then have the following:

Theorem 2.9** (${\rm T}_{x}{\rm Y}$ as a cone over the space of directions).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space. Fix a point $x\in{\rm Y}$. Then the $\varlimsup$ in (2.5) is a limit. Moreover, the map sending $\gamma\in{\sf Geo}_{x}{\rm Y}$ to $(\mathrm{Lip}(\gamma),\gamma)\in[0,\infty)\times\mathrm{dir}_{x}{\rm Y}$ passes to the quotient and uniquely extends to a bijective isometry from ${\rm T}_{x}{\rm Y}$ to $C(\Sigma_{x}{\rm Y})$. Finally, the map $B_{{\sf r}_{x}}(x)\ni y\mapsto({\sf G}^{y}_{x})^{\prime}_{0}\in{\rm T}_{x}{\rm Y}$ is continuous. In particular, if $\mathcal{D}\subset B_{{\sf r}_{x}}(x)$ is dense in a neighbourhood of $x$, then $\{\lambda({\sf G}^{y}_{x})^{\prime}_{0}\,:\,\lambda\geq 0,\ y\in\mathcal{D}\}$ is dense in ${\rm T}_{x}{\rm Y}$.

Proof.

For any $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$, by picking $t=s$ in (2.10) we see that

[TABLE]

Since $\lim_{t\downarrow 0}\overline{\angle}_{x}(\gamma_{t},\eta_{t})=\angle_{x}(\gamma,\eta)$ it follows that the limit $\displaystyle\lim_{t\downarrow 0}\frac{{\sf d}^{2}(\gamma_{t},\eta_{t})}{t^{2}}$ exists, and equals

[TABLE]

It follows that the map $\gamma_{0}^{\prime}\mapsto(\mathrm{Lip}(\gamma),\gamma)$ defines a bijective isometry ${\rm T}_{x}{\rm Y}\mapsto C(\Sigma_{x}{\rm Y})$.

For the continuity of $y\mapsto({\sf G}^{y}_{x})^{\prime}_{0}$, notice that from the monotonicity of the angle it follows that

[TABLE]

and thus if $z\to y$ we have \angle_{x}\big{(}({\sf G}^{y}_{x})^{\prime}_{0},({\sf G}^{z}_{x})^{\prime}_{0}\big{)}\to 0. Since trivially it also holds that ${\rm Lip}({\sf G}_{x}^{z})={\sf d}(x,z)\to{\sf d}(x,y)={\rm Lip}({\sf G}_{x}^{y})$, continuity follows.

For the last claim, notice that by the definition of tangent cone and of multiplication by a positive scalar we have that $\{\lambda({\sf G}^{y}_{x})^{\prime}_{0}\ :\ \lambda\geq 0,\ y\in B_{r}(x)\}$ is dense in ${\rm T}_{x}{\rm Y}$ for any $r\in(0,{\sf r}_{x})$. Then the continuity just proved ensures that for any $\lambda\geq 0$ the set $\{\lambda({\sf G}^{y}_{x})^{\prime}_{0}\ :\ y\in\mathcal{D}\}$ is dense in $\{\lambda({\sf G}^{y}_{x})^{\prime}_{0}\ :\ y\in B_{r}(x)\}$, leading to the claim. ∎

A key property of the tangent cone is the following statement, which is central for our subsequent results. For the proof we refer to [10, Chapter II, Theorem 3.19].

Theorem 2.10**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$. Then the tangent cone $({\rm T}_{x}{\rm Y},{\sf d}_{x})$ is a ${\rm CAT}(0)$-space.

The tangent cone ${\rm T}_{x}{\rm Y}$ is not only a ${\rm CAT}(0)$ space, but also comes with an additional structure which somehow resembles that of a Hilbert space. To make this more evident, let us introduce the following notation, valid for any $v,w\in{\rm T}_{x}{\rm Y}$ (see [12, 37]).

• a)

Multiplication by a positive scalar. As for general cones, for $\lambda\geq 0$ and $v=(t,\gamma)\in{\rm T}_{x}{\rm Y}\approx C(\Sigma_{x}{\rm Y})$ we put $\lambda v:=(\lambda t,\gamma)$.

• b)

Norm. $|v|_{x}:={\sf d}_{x}(v,0)$.

• c)

Scalar product. \langle v,w\rangle_{x}:=\tfrac{1}{2}\big{[}|v|_{x}^{2}+|w|_{x}^{2}-{\sf d}_{x}^{2}(v,w)\big{]}.

• d)

Sum. $v\oplus w:=2m_{v,w}$, where $m_{v,w}$ is the midpoint of $v,w$ (well-defined because ${\rm T}_{x}{\rm Y}$ is a ${\rm CAT}(0)$ space).

The basic properties of these operations are collected in the following proposition:

Proposition 2.11** (Basic calculus on the tangent cone).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$. Then the four operations defined above are continuous in their variables. The ‘sum’ and the ‘scalar product’ are also symmetric. Moreover:

[TABLE]

for any $v,w\in{\rm T}_{x}{\rm Y}$, $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$ and $\lambda\geq 0$.

Proof.

The symmetry of the ‘sum’ and ‘scalar product’ are obvious and so are the continuity of the ‘norm’ and then of the ‘scalar product’. The continuity of $(\lambda,v)\to\lambda v$ is a direct consequence of the inequality

[TABLE]

where the equality follows trivially from the definition of cone distance and Theorem 2.9. For the continuity of the ‘sum’ it is now sufficient to prove that the map $(v,w)\mapsto m_{v,w}$ is continuous. This follows from the bound

[TABLE]

which is valid in any ${\rm CAT}(0)$ space (see e.g. [8, Proposition 1.1.5 and Theorem 1.3.3]).

Notice that (2.12a), (2.12b) are direct consequences of the definitions. For (2.12c) we observe that by definition we have

[TABLE]

and thus recalling (2.5) (and the fact that the $\varlimsup$ is actually a limit – see Theorem 2.9) we obtain

[TABLE]

For (2.12d) we note that from the definition (2.11) and Theorem 2.9 it is clear that ${\sf d}_{x}(\lambda v,\lambda w)=\lambda{\sf d}_{x}(v,w)$ for $\lambda\geq 0$. Hence we also have ${\langle}\lambda v,\lambda w{\rangle}_{x}=\lambda^{2}{\langle}v,w{\rangle}_{x}$ and thus, taking into account the symmetry of the scalar product, to conclude it is sufficient to prove that

[TABLE]

To see this, notice that by the 2-convexity (1.1) of squared distance functions in ${\rm CAT}(0)$-spaces we have, for $\lambda\in[0,1]$ and $v,w\in{\rm T}_{x}{\rm Y}$, that

[TABLE]

The estimate (2.13) follows from this and the definition of ${\langle}\cdot,\cdot{\rangle}_{x}$.

To prove (2.12e) let $\gamma,\eta\in\mathrm{dir}_{x}{\rm Y}$ and $t,s\geq 0$ and observe that

[TABLE]

Since elements of the form $(t,\gamma)$ are dense in ${\rm T}_{x}{\rm Y}$, we just proved (2.12e).

The ‘if’ in (2.12f) comes from (2.12d), for the ‘only if’ suppose that $\langle v,w\rangle_{x}=|v|_{x}|w|_{x}$ and take $\gamma_{n},\eta_{n}\in\mathrm{dir}_{x}{\rm Y}$ so that $(|v|_{x},\gamma_{n})\to v$ and $(|w|_{x},\eta_{n})\to w$ in ${\rm T}_{x}{\rm Y}$. It follows that

[TABLE]

i.e. $\lim_{n\to\infty}\angle_{x}(\gamma_{n},\eta_{n})=0$. This implies that

[TABLE]

which was the claim.

Finally, (2.12g) is also a direct consequence of the 2-convexity of the squared distance from a point, which gives

[TABLE]

Taking into account the proved homogeneities, this is the claim. ∎

It is worth underlying that, in general, $\oplus$ is not associative.

Lemma 2.12**.**

Let $({\rm Y},{\sf d})$ be a ${\rm CAT}(\kappa)$ space. Fix a point $x\in{\rm Y}$. Then for any $y,z\in B_{D_{\kappa}}(x)\setminus\{x\}$ and $\alpha,\beta>0$ it holds that

[TABLE]

where $m_{\varepsilon}$ denotes the midpoint between $({\sf G}_{x}^{y})_{\varepsilon\alpha}$ and $({\sf G}_{x}^{z})_{\varepsilon\beta}$.

Proof.

Let us call $p_{\varepsilon}:=({\sf G}_{x}^{y})_{\varepsilon\alpha}$ and $q_{\varepsilon}:=({\sf G}_{x}^{z})_{\varepsilon\beta}$. For $\varepsilon,\delta>0$ small it holds that $({\sf G}_{x}^{y})_{\delta\varepsilon\alpha}=({\sf G}_{x}^{p_{\varepsilon}})_{\delta}$, whence by using (2.5) and Lemma 2.5 we obtain that

[TABLE]

Similarly, we have that {\sf d}_{x}\big{(}\beta({\sf G}_{x}^{z})^{\prime}_{0},\varepsilon^{-1}({\sf G}_{x}^{m_{\varepsilon}})^{\prime}_{0}\big{)}\leq{\sf d}(p_{\varepsilon},q_{\varepsilon})/(2\varepsilon). Choosing $\varepsilon_{n}\downarrow 0$ so that

[TABLE]

we deduce that $\varepsilon_{n}^{-1}({\sf G}_{x}^{m_{\varepsilon_{n}}})^{\prime}_{0}$ is a $\frac{1}{n}$-approximate midpoint between $\alpha({\sf G}_{x}^{y})^{\prime}_{0}$ and $\beta({\sf G}_{x}^{z})^{\prime}_{0}$. This yields (2.14) by Lemma 2.2, as required. ∎

We close this section with the following important formula:

Proposition 2.13** (First variation formula).**

Let ${\rm Y}$ be a ${\rm CAT}(\kappa)$ space, $x\in{\rm Y}$ and $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$ with $\eta$ defined on $[0,1]$ and such that ${\sf d}(x,\eta_{1})<D_{\kappa}$. Then

[TABLE]

Proof.

We know from (2.12c) and (2.10) that

[TABLE]

and by direct computation we see that

[TABLE]

Since the triangle inequality gives ${\sf d}(\gamma_{t},\eta_{1})-{\sf d}(x,\eta_{1})\leq{\sf d}(\gamma_{t},\eta_{s})-{\sf d}(x,\eta_{s})$, from the above we deduce

[TABLE]

Now notice that from (2.12c), Lemma 2.7, the assumption ${\sf d}(x,\eta_{1})<D_{\kappa}$ and the monotonicity property (2.8) we get

[TABLE]

Thus using the expansions

[TABLE]

we get the inequality $\geq$ in (2.15) and the conclusion. ∎

2.3. Differential of locally semiconvex Lipschitz functions

In this section we see that for Lipschitz and locally semiconvex functions there is a well-behaved notion of differential defined on the tangent cone of every point in the domain of the function itself. See [37, 38] for the lower curvature bound case, and [33] for more general classes of metric spaces.

We start by recalling the following notion:

Definition 2.14** (Locally semiconvex function).**

Let ${\rm Y}$ be a geodesic metric space and $f:{\rm Y}\to\mathbb{R}$. We say that $f$ is semiconvex if there exists $K\in\mathbb{R}$ so that the inequality

[TABLE]

holds for any geodesic $\gamma:[0,1]\to{\rm Y}$.

A function $f:\Omega\to\mathbb{R}$, with $\Omega\subset{\rm Y}$ open connected set, is called locally semiconvex if every point $x\in\Omega$ has a neighbourhood $U$ such that the inequality above holds for all geodesics $\gamma:[0,1]\to\Omega$ with endpoints in $U$.

For locally semiconvex functions it is possible to define directional derivatives, which we do in the setting of ${\rm CAT}(\kappa)$ spaces:

Definition 2.15** (Directional derivative).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space, $x\in{\rm Y}$, $U\subset B_{{\sf r}_{x}}(x)$ a neighbourhood of $x$ and $f:U\to\mathbb{R}$ locally semiconvex. The directional derivative of $f$ at $x$ is the map $\sigma_{x}f:{\sf Geo}_{x}{\rm Y}\to\mathbb{R}\cup\{-\infty\}$ defined as

[TABLE]

Notice that the monotonicity of incremental ratios of convex functions ensures that the limit above exists. Still, in general it is not clear if $\sigma_{x}f$ passes to the quotient ${\sf Geo}_{x}{\rm Y}/\sim$ nor if it is real-valued. In the next proposition we see that this is the case if we further assume that $f$ is Lipschitz in a neighbourhood of $x$.

Recall that given $f:{\rm Y}\to\mathbb{R}$ the asymptotic Lipschitz constant $\mathrm{lip}_{a}f:{\rm Y}\to[0,+\infty]$ is defined as

[TABLE]

Proposition 2.16** (Differentials of locally Lipschitz and semiconvex functions).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space, $\Omega\subset{\rm Y}$ open and $f:\Omega\to\mathbb{R}$ be locally semiconvex and Lipschitz.

Then for each $x\in\Omega$ there exists a unique continuous map ${\rm d}_{x}f:{\rm T}_{x}{\rm Y}\to\mathbb{R}$, called the differential of $f$ at $x$, such that

[TABLE]

Moreover, ${\rm d}_{x}f$ is convex, $\mathrm{lip}_{a}f(x)$-Lipschitz and positively 1-homogeneous, i.e ${\rm d}_{x}f(\lambda v)=\lambda{\rm d}_{x}f(v)$ for any $v\in{\rm T}_{x}{\rm Y}$ and $\lambda\geq 0$.

Proof.

Fix $x\in\Omega$ and let $r>0$ be such that $B_{r}(x)\subset\Omega$. Then for every $\gamma,\eta\in{\sf Geo}_{x}{\rm Y}$ we have $\gamma_{t},\eta_{t}\in B_{r}(x)$ for $t\ll 1$ and thus

[TABLE]

This shows that $\sigma_{x}f$ passes to the quotient and defines a \mathrm{Lip}(f\lower 3.0pt\hbox{|{B{r}(x)}})-Lipschitz map on ${\sf Geo}_{x}{\rm Y}/\sim$. Existence and uniqueness of the continuous extension ${\rm d}_{x}f$ to the whole ${\rm T}_{x}{\rm Y}$ are then obvious and, letting $r\downarrow 0$, it is also clear that ${\rm d}_{x}f$ is $\mathrm{lip}_{a}f(x)$-Lipschitz.

For the homogeneity observe that, for $\gamma\in{\sf Geo}_{x}{\rm Y}$ and $\lambda\geq 0$, the isometry given in Theorem 2.9 and the definition of multiplication by positive scalar ensure that $\lambda\gamma^{\prime}_{0}=\tilde{\gamma}^{\prime}_{0}$ in $C(\Sigma_{x}{\rm Y})\approx{\rm T}_{x}{\rm Y}$, where $\tilde{\gamma}_{t}:=\gamma_{\lambda t}$. Then (2.16) and the definition of directional derivative grant that ${\rm d}_{x}f(\lambda\gamma^{\prime}_{0})=\lambda{\rm d}_{x}f(\gamma^{\prime}_{0})$ for any $\lambda\geq 0$ and $\gamma\in{\sf Geo}_{x}{\rm Y}$. Since tangent vectors of the form $\gamma^{\prime}_{0}$ are dense in ${\rm T}_{x}{\rm Y}$, the claim follows by the continuity of ${\rm d}_{x}f$ that we already proved.

It remains to prove that ${\rm d}_{x}f$ is convex and, thanks to the continuity just proven, it is sufficient to show that for any $\gamma,\eta\in{\sf Geo}_{x}B_{{\sf r}_{x}}(x)\simeq{\sf Geo}_{x}{\rm Y}$, letting $m$ be the midpoint of $\gamma^{\prime}_{0},\eta^{\prime}_{0}\in{\rm T}_{x}{\rm Y}$ it holds that

[TABLE]

To this aim, let $\varepsilon>0$ and use the density of ${\sf Geo}_{x}B_{{\sf r}_{x}}(x)/\sim$ in ${\rm T}_{x}{\rm Y}$ to find $\rho\in{\sf Geo}_{x}B_{{\sf r}_{x}}(x)$ such that $\rho^{\prime}_{0}$ is an approximated midpoint of $\gamma^{\prime}_{0},\eta^{\prime}_{0}$ in the sense that

[TABLE]

By the very definition (2.5) of ${\sf d}_{x}$ we see that there exists $T>0$ such that

[TABLE]

Up to taking $T$ smaller, we can assume that ${\sf d}(\gamma_{t},\eta_{t})\leq\frac{1}{2}D_{\kappa}$, thus we are in a position to apply Lemma 2.2 (in ${\rm T}_{x}{\rm Y}$ and $B_{{\sf r}_{x}}(x)$) to deduce that

[TABLE]

for some $C>0$ independent on $t$, where $m_{t}$ is the midpoint of $\gamma_{t},\eta_{t}$. Now let $V$ be a neighbourhood of $x$ where $f$ is $K$-semiconvex and $L$-Lipschitz and notice that what previously proved grants that ${\rm d}_{x}f$ is $L$-Lipschitz as well. Then $\gamma_{t},\eta_{t}\in V$ for $t\ll 1$ and the $K$-semiconvexity gives

[TABLE]

and thus

[TABLE]

Hence taking into account (2.18) and the $L$-Lipschitz property of $f$ and ${\rm d}_{x}f$ we get

[TABLE]

The conclusion follows letting $\varepsilon\downarrow 0$. ∎

In the model space $\mathbb{M}_{\kappa}$, if $\gamma$ is a geodesic on $[0,1]$ and $x\in\mathbb{M}_{\kappa}$ is such that ${\sf d}(\gamma_{0},\gamma_{1})+{\sf d}(\gamma_{0},x)+{\sf d}(\gamma_{1},x)<2D_{\kappa}$ we have that $t\mapsto{\sf d}(\gamma_{t},x)$ is semiconvex. Hence if ${\rm Y}$ is a local ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$, for any $y\in B_{{\sf r}_{x}}(x)$ the function $\mathrm{dist}_{y}$ is semiconvex on $B_{{\sf r}_{x}}(x)$.

We collect below the main properties of the differential:

Proposition 2.17** (Differentials of distance functions).**

Let ${\rm Y}$ be a ${\rm CAT}(\kappa)$ space and $x\in{\rm Y}$. Then:

• i)

For $y\in{\rm Y}$ with ${\sf d}(x,y)<D_{\kappa}$ we have

[TABLE]

where $\eta\in{\sf Geo}_{x}{\rm Y}$ is any geodesic passing through $y$.

• ii)

For $\mathcal{D}\subset B_{D_{\kappa}}(x)$ dense in a neighbourhood of $x$ we have

[TABLE]

• iii)

Let $v,w\in{\rm T}_{x}{\rm Y}$ and $\mathcal{D}\subset B_{D_{\kappa}}(x)$ be dense. Assume that

[TABLE]

Then $|w|^{2}_{x}\leq{\langle}v,w{\rangle}_{x}$ and in particular $|w|_{x}\leq|v|_{x}$.

If moreover either $|v|_{x}\leq|w|_{x}$ or $x\in\mathcal{D}$, then we also have $v=w$.

Proof.

(i) By the continuity of $v\mapsto{\rm d}_{x}\mathrm{dist}_{y}(v)$ and of the stated expression it is sufficient to check (2.20) for $v$ of the form $v=\gamma^{\prime}_{0}$ for arbitrary $\gamma\in{\sf Geo}_{x}{\rm Y}$. Then keeping in mind the identity (2.16) and the definition of directional derivative we see that the case $y=x$ is obvious. For the case $y\neq x$ we notice that (2.12d) ensures that $-\frac{1}{\mathrm{Lip}(\eta)}{{\langle}v,\eta^{\prime}_{0}{\rangle}_{x}}$ does not depend on the particular choice of $\eta$. We choose $\eta$ to be defined on $[0,1]$ and such that $\eta_{1}=y$ and conclude noticing that the formula is a restatement of the first variation formula in Proposition 2.13.

(ii) Inequality $\geq$ follows from point (i) and the ‘Cauchy-Schwarz inequality’ (2.12e). The opposite inequality is trivial if $v=0$. If not, we use the density result in Theorem 2.9 to find $(y_{n})\subset\mathcal{D}$ such that, letting $\gamma_{n}:[0,1]\to{\rm Y}$ be the geodesic from $x$ to $y_{n}$, we have $\frac{1}{{\sf d}(x,y_{n})}\gamma_{n,0}^{\prime}\to\frac{1}{|v|_{x}}v$. By point (i) (and recalling the calculus rules in Proposition 2.11) we have that

[TABLE]

(iii) If $w=0$ the first claim is obvious. Otherwise use the density result in Theorem 2.9 to find $(y_{n})\subset\mathcal{D}$ such that, letting $\gamma_{n}:[0,1]\to{\rm Y}$ be the geodesic from $x$ to $y_{n}$, we have $\frac{1}{{\sf d}(x,y_{n})}\gamma_{n,0}^{\prime}\to\frac{1}{|w|_{x}}w$. Then point (i) and our assumption give $-\frac{1}{{\sf d}(x,y_{n})}{\langle}v,\gamma^{\prime}_{n,0}{\rangle}\leq-\frac{1}{{\sf d}(x,y_{n})}{\langle}w,\gamma^{\prime}_{n,0}{\rangle}$ and passing to the limit (using the calculus rules in Proposition 2.11) we get the first claim.

For the second claim, notice that if $x\in\mathcal{D}$, picking $y:=x$ in our assumption and using again point (i) we deduce $|v|_{x}\leq|w|_{x}$ (and thus $|v|_{x}=|w|_{x}$). Hence from what previously proved we obtain ${\langle}v,w{\rangle}_{x}\geq|w|_{x}^{2}\geq|v|_{x}|w|_{x}$, so that from (2.12f) we conclude $|w|_{x}v=|v|_{x}w$ and from the equality of norms we conclude $v=w$, as desired. ∎

2.4. Velocity of absolutely continuous curves

Recall that a curve $\gamma:[0,1]\to{\rm Y}$ with values in a metric space is said to be absolutely continuous provided there is $f\in L^{1}(0,1)$ such that

[TABLE]

It is well-known that to any absolutely continuous curve we can associate a function $|\dot{\gamma}|\in L^{1}(0,1)$, called metric speed, which plays the role of the modulus of the derivative. The following proposition recalls the main properties of $|\dot{\gamma}|$; for the proof we refer to [3, Theorem 1.1.2] and its proof.

Proposition 2.18**.**

Let $({\rm Y},{\sf d})$ be a separable metric space and $\gamma:[0,1]\to{\rm Y}$ be absolutely continuous. Then for a.e. $t\in[0,1]$ there exists the limit $|\dot{\gamma}_{t}|$ as $h\to 0$ of $\frac{{\sf d}(\gamma_{t+h},\gamma_{t})}{|h|}$. The function $t\mapsto|\dot{\gamma}_{t}|$ belongs to $L^{1}(0,1)$ and is the least, in the a.e. sense, function $f$ for which (2.21) holds.

Moreover, for any $(x_{n})\subset{\rm Y}$ dense, letting $f_{n,t}:={\sf d}(\gamma_{t},x_{n})$, the following holds: for a.e. $t\in[0,1]$ the function $f_{n}$ is differentiable at $t$ for every $n\in\mathbb{N}$ and

[TABLE]

On a local ${\rm CAT}(\kappa)$ space more can be said: for a.e. time we have not only a ‘numerical’ value for the derivative, but also right and left derivatives as elements of the tangent cone. The key lemma needed for achieving such a result is the following (see also [33, Theorem 1.6]):

Lemma 2.19**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space and $\gamma:[0,1]\to{\rm Y}$ be an absolutely continuous curve. Then for almost every $t\in[0,1]$ we have that either $|\dot{\gamma}_{t}|=0$ or

[TABLE]

Proof.

The statement is local in nature, thus up to use the compactness of $\gamma([0,1])$, its cover made of $B_{{\sf r}_{\gamma_{t}}}(\gamma_{t})$ and Lemma 2.4 we can assume that ${\rm Y}$ is a separable ${\rm CAT}(\kappa)$ space of diameter $<D_{\kappa}$.

Let $t\in[0,1]$ be such that the metric derivative $|\dot{\gamma}_{t}|$ exists, is strictly positive and (2.22) holds for some fixed countable dense $(x_{n})\subset{\rm Y}$. Then for every $x\in{\rm Y}$ we have

[TABLE]

with obvious modifications for $\kappa=0$. Using the expansions

[TABLE]

we obtain

[TABLE]

Picking $x=x_{n}$ and recalling that by assumption $s\mapsto f_{n,s}:=\mathrm{dist}_{x_{n}}(\gamma_{s})$ is differentiable at $t$, we see that \varliminf_{\delta\downarrow 0}\cos\big{(}\overline{\angle}_{\gamma_{t}}^{\kappa}(\gamma_{t+\delta},x_{n})\big{)}=-\frac{f_{n,t}^{\prime}}{|\dot{\gamma}_{t}|}. Hence by triangle inequality for angles (2.7) we obtain

[TABLE]

Taking the infimum in $n$ and using (2.22) we conclude the proof. ∎

We then have the following result:

Proposition 2.20** (Right derivative of AC curves).**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space and $\gamma:[0,1]\to{\rm Y}$ be an absolutely continuous curve. For any $t,s\in[0,1]$ write, for brevity, ${\sf G}_{t}^{s}$ in place of ${\sf G}_{\gamma_{t}}^{\gamma_{s}}$ whenever this is well-defined.

Then for every $t\in[0,1]$ for which $|\dot{\gamma}_{t}|$ exists and the conclusion of Lemma 2.19 holds (and thus in particular for a.e. $t$) we have that:

• i)

the limit, denoted by $\dot{\gamma}^{+}_{t}$ in ${\rm T}_{\gamma_{t}}{\rm Y}$, of $\frac{1}{s-t}({\sf G}^{s}_{t})^{\prime}_{0}$ as $s\downarrow t$ exists, and

• ii)

for every locally Lipschitz and locally semiconvex function $f$ defined on some neighbourhood of $\gamma_{t}$ it holds that

[TABLE]

Proof.

(i) We shall prove that $s\mapsto\frac{1}{s-t}({\sf G}^{s}_{t})^{\prime}_{0}\in{\rm T}_{\gamma_{t}}{\rm Y}$ has a limit as $s\downarrow t$ for any $t$ for which $|\dot{\gamma}_{t}|$ exists and the conclusions of Lemma 2.19 hold. Notice that $|\frac{1}{s-t}({\sf G}^{s}_{t})^{\prime}_{0}|_{\gamma_{t}}=\frac{{\sf d}(\gamma_{t},\gamma_{s})}{|s-t|}\to|\dot{\gamma}_{t}|$, thus if $|\dot{\gamma}_{t}|=0$ the conclusion follows. If $|\dot{\gamma}_{t}|>0$, by the convergence of norms that we just proved and recalling (2.11) and Theorem 2.9, to conclude it is sufficient to prove that $\lim_{s_{2}\downarrow t}\lim_{s_{1}\downarrow t}\angle_{\gamma_{t}}(({\sf G}_{t}^{s_{2}})^{\prime}_{0},({\sf G}_{t}^{s_{1}})^{\prime}_{0})=0$. This is a direct consequence of (2.23) and the monotonicity property (2.8), which ensures that

[TABLE]

(ii) If $|\dot{\gamma}_{t}|=0$ both sides of (2.24) are easily seen to be zero, so that the conclusion follows. Otherwise, for $\delta_{2}\geq\delta_{1}>0$ put for brevity $\eta_{\delta_{1},\delta_{2}}:=({\sf G}_{\gamma_{t}}^{\gamma_{t+\delta_{2}}})_{\delta_{1}/\delta_{2}}$ and notice that the monotonicity (2.8) of angles gives

[TABLE]

From (2.10) we have that

[TABLE]

and thus using the identity ${\sf d}(\gamma_{t},\eta_{\delta_{1},\delta_{2}})=\frac{\delta_{1}}{\delta_{2}}{\sf d}(\gamma_{t},\gamma_{t+\delta_{2}})$ and passing to the limit recalling (2.23) we deduce that

[TABLE]

Now let $L$ be the Lipschitz constant of $f$ in some neighbourhood of $\gamma_{t}$ and notice that for $\delta_{2}>0$ sufficiently small we have

[TABLE]

The conclusion follows by letting $\delta_{2}\downarrow 0$ and using (2.25). ∎

Remark 2.21**.**

The conclusions of Lemma 2.19 and Proposition 2.20 hold for left derivatives as well; for a.e. $t\in\{|\dot{\gamma}_{t}|>0\}$ we have $\lim_{\delta\downarrow 0}\lim_{\varepsilon\downarrow 0}\overline{\angle}_{\gamma_{t}}(\gamma_{t-\delta},\gamma_{t-\varepsilon})=0$, and for every $t$ satisfying it the limit of $\frac{1}{t-s}({\sf G}^{s}_{t})^{\prime}_{0}$ as $s\uparrow t$ exists. We denote this limit by $\dot{\gamma}_{t}^{-}$. $\blacksquare$

Lemma 2.22**.**

Let $\gamma:[0,1]\to{\rm Y}$ be an absolutely continuous curve. Then, for almost every $t\in[0,1]$, the limits $\dot{\gamma}^{+}_{t}$ and $\dot{\gamma}^{-}_{t}$ are antipodal, i.e.

[TABLE]

Proof.

We prove that

[TABLE]

for almost every $t\in[0,1]$. The claim follows from this.

If $|\dot{\gamma}_{t}|=0$ then $\dot{\gamma}_{t}^{+}=\dot{\gamma}_{t}^{-}=0$ and the claim is clear.

By Lemma 2.19, Proposition 2.20 and Remark 2.21, almost every $t\in\{|\dot{\gamma}_{t}|>0\}$ satisfies conditions (i) and (ii) below.

(i) $\lim_{\delta\downarrow 0}\lim_{\varepsilon\downarrow 0}\overline{\angle}_{\gamma_{t}}(\gamma_{t+\delta},\gamma_{t+\varepsilon})=0$ and $\lim_{\delta\downarrow 0}\lim_{\varepsilon\downarrow 0}\overline{\angle}_{\gamma_{t}}(\gamma_{t-\delta},\gamma_{t-\varepsilon})=0$;

(ii) $\lim_{\delta\downarrow 0}\frac{{\sf d}(\gamma_{t+\delta},\gamma_{t})}{\delta}=\lim_{\delta\downarrow 0}\frac{{\sf d}(\gamma_{t-\delta},\gamma_{t})}{\delta}=\lim_{\delta\downarrow 0}\frac{{\sf d}(\gamma_{t-\delta},\gamma_{t+\delta})}{2\delta}=|\dot{\gamma}_{t}|$ (including the existence of these limits).

We fix $t\in[0,1]$ satisfying (i) and (ii). Note that, by the monotonicity of angles (2.8), we have the estimate

[TABLE]

To prove the opposite inequality, we use the triangle inequality (2.7) to obtain

[TABLE]

Here the last estimate follows simply by the monotonicity of angles (2.8). By (i), it follows that

[TABLE]

It remains to show that $\lim_{\delta\downarrow 0}\overline{\angle}_{\gamma_{t}}(\gamma_{t+\delta},\gamma_{t-\delta})=\pi$. By (ii) and (2.10), we have

[TABLE]

implying the claim and completing the proof. ∎

2.5. Barycenters and rigidity

In this section we review the concept of ‘barycenter’ of a probability measure on a ${\rm CAT}(0)$ space. With the exception of the rigidity statement given by Proposition 2.27, the content comes from [41].

Fix a ${\rm CAT}(0)$ space ${\rm Y}$ and denote by $\mathscr{P}({\rm Y})$ the set of all Borel probability measures on ${\rm Y}$ having separable support, and by $\mathscr{P}_{1}({\rm Y})\subset\mathscr{P}({\rm Y})$ the set of those with finite first moment, i.e. those $\mu\in\mathscr{P}({\rm Y})$ such that for some, and thus all, $y\in{\rm Y}$ it holds that $\int{\sf d}(\cdot,y)\,{\rm d}\mu<\infty$.

For a proof of the following result we refer to [41, Proposition 4.3].

Proposition 2.23** (Definition of barycenter).**

Let ${\rm Y}$ be a ${\rm CAT}(0)$ space, $\mu\in\mathscr{P}_{1}({\rm Y})$ and $y\in{\rm Y}$. Then

[TABLE]

admits a unique minimizer. The minimizer does not depend on $y$, is called the barycenter of $\nu$ and is denoted by ${\sf Bar}(\nu)\in{\rm Y}$.

The basic properties of barycenters that we shall need are collected in the following statement:

Theorem 2.24**.**

Let ${\rm Y}$ be a ${\rm CAT}(0)$ space. Then the following holds:

• i)

Variance inequality.* For any $\mu\in\mathscr{P}_{1}({\rm Y})$ and $p\in{\rm Y}$ it holds*

[TABLE]

• ii)

Jensen’s inequality.* Let $\varphi:{\rm Y}\to[0,+\infty)$ be convex and lower semicontinuous. Then for every $\mu\in\mathscr{P}_{1}({\rm Y})$ we have*

[TABLE]

Proof.

The variance inequality (2.27) is proved in [41, Proposition 4.4], while Jensen’s inequality comes from [41, Theorem 6.2]. ∎

Applying Jensen’s inequality (2.28) to the convex and Lipschitz function $\varphi:={\sf d}(\cdot,p)$ we see that the inequality

[TABLE]

holds for any $\mu\in\mathscr{P}_{1}({\rm Y})$ and $p\in{\rm Y}$. Our aim is now to study the equality case and in order to do so we first recall the notion of nonbranching geodesics.

Definition 2.25** (Non-branching from $p$).**

We say that a geodesic space $({\rm X},{\sf d})$ is non-branching from $p\in{\rm X}$ provided the following holds: if, for given points $q,x_{1},x_{2}\in{\rm X}$ with $q\neq p$, we have that there are geodesics $\gamma_{1},\gamma_{2}$ starting from $p$ and passing through $q,x_{1}$ and $q,x_{2}$ respectively, then there is a geodesic $\gamma$ starting from $p$ and passing through $q,x_{1},x_{2}$.

Here ‘passing through’ $q,x_{i}$ implies nothing about the order in which these points are met. It is not hard to see that the above definition is equivalent to the more classical one requiring for any $t\in(0,1]$ the injectivity of the map \gamma\mapsto\gamma\lower 3.0pt\hbox{|_{[0,t]}} on the space of constant speed geodesics $[0,1]\to{\rm X}$ starting from $p$.

It is easy to verify that if $q\neq p$ and $(x_{i})\subset{\rm X}$ are given points such that there are geodesics starting from $p$ and passing through $q,x_{i}$ for every $i$, then there is a curve $\gamma$ starting from $p$ and passing through $q$ and all the $x_{i}$’s and such curve is either a geodesic or a half-line, i.e. a map from $[0,+\infty)$ to ${\rm X}$ such that its restriction to any compact interval is a geodesic.

The main example of space that is non-branching from one of its points is the cone over a metric space. Here the relevant point is the vertex 0.

Lemma 2.26** (Tangent cones are non-branching from the origin).**

Let ${\rm X}$ be any metric space, and $C({\rm X})$ the Euclidean cone over ${\rm X}$. Then $C({\rm X})$ is non-branching from its origin 0. In particular, for a local ${\rm CAT}(\kappa)$ space ${\rm Y}$ we have that

[TABLE]

Proof.

By direct computation based on the definition of the cone distance we see that if $\gamma$ is a constant speed geodesic starting from the origin [math] it must hold $\gamma_{t}=t\gamma_{1}$, where the ‘product’ of $t$ and $\gamma_{1}$ is defined as before Proposition 2.11. Thus for two given such curves $\gamma,\eta$ we have – again using the definition of distance on the cone – that ${\sf d}_{C({\rm X})}(\gamma_{t},\eta_{t})={\sf d}_{C({\rm X})}(t\gamma_{1},t\eta_{1})=t{\sf d}_{C({\rm X})}(\gamma_{1},\eta_{1})$. Hence if $\gamma_{1}\neq\eta_{1}$ we also have $\gamma_{t}\neq\eta_{t}$ for every $t\in(0,1]$. This is sufficient to conclude. ∎

We now come to the rigidity statement:

Proposition 2.27** (Rigidity).**

Let ${\rm Y}$ be a ${\rm CAT}(0)$ space and $\mu\in\mathscr{P}_{1}({\rm Y})$. Assume that for some point $p$ it holds that

[TABLE]

Then

[TABLE]

In particular, if ${\rm Y}$ is non-branching from $p$, then the measure $\nu$ is concentrated on the image of a curve $\gamma$ starting from $p$ which is either a geodesic or a half-line.

Proof.

By the discussion following Definition 2.25, we see that it is sufficient to prove (2.31). To this aim, notice that the triangle inequality gives

[TABLE]

On the other hand we have

[TABLE]

This inequality and (2.32) give (2.31) and the conclusion. ∎

Remark 2.28**.**

It is easily seen that in the preceding proposition the non-branching assumption is needed. Indeed, consider the ‘tripod’, i.e. the ${\rm CAT}(0)$-space ${\rm Y}$ obtained as the Euclidean cone over the space $\{a,b,c\}$ equipped with the discrete metric. Then ${\rm Y}$ is not non-branching from $a$ and, indeed, the conclusion of Proposition 2.27 fails for the measure $\mu=\frac{1}{3}(\delta_{a}+\delta_{b}+\delta_{c})$, even though the identity (2.30) holds for $\mu$. Note that in this case ${\sf Bar}(\mu)=0$. $\blacksquare$

3. Geometric tangent bundle $L^{2}({\rm T}_{G}{\rm Y};\mu)$

In this section we fix a separable local ${\rm CAT}(\kappa)$ space ${\rm Y}$. Our first aim here is to give a measurable structure to the ‘geometric tangent bundle’ ${\rm T}_{G}{\rm Y}$, i.e. the collection of all tangent cones on ${\rm Y}$. Once this is done, we will endow ${\rm Y}$ with a non-negative and non-zero Radon measure $\mu$ and study the space of ‘$L^{2}$-sections’ of ${\rm T}_{G}{\rm Y}$, which we shall denote by $L^{2}({\rm T}_{G}{\rm Y};\mu)$.

As a set, the geometric tangent bundle ${\rm T}_{G}{\rm Y}$ is defined as

[TABLE]

We denote by $\pi^{\rm Y}:{\rm T}_{G}{\rm Y}\to{\rm Y}$ the canonical projection defined by $\pi^{\rm Y}(x,v):=x$ and call section of ${\rm T}_{G}{\rm Y}$ a map $v:{\rm Y}\to{\rm T}_{G}{\rm Y}$ such that $\pi^{\rm Y}(v(x))=x$ for every $x\in{\rm Y}$.

We now endow ${\rm T}_{G}{\rm Y}$ with a $\sigma$-algebra $\mathcal{B}({\rm T}_{G}{\rm Y})$, defined as the smallest $\sigma$-algebra such that:

• i)

The projection map $\pi^{\rm Y}:{\rm T}_{G}{\rm Y}\to{\rm Y}$ is measurable, ${\rm Y}$ being equipped with Borel sets.

• ii)

For every $x\in{\rm Y}$ and $y\in B_{{\sf r}_{x}}(x)$ the map ${\rm d}\,\mathrm{dist}_{y}:\,{\rm T}_{G}{\rm Y}\to\mathbb{R}$, defined as

[TABLE]

is measurable.

It is clear that these define a $\sigma$-algebra $\mathcal{B}({\rm T}_{G}{\rm Y})$, to which we shall refer as the class of Borel subsets of ${\rm T}_{G}{\rm Y}$, hereafter speaking about Borel (rather than measurable) maps. This is a slight abuse of terminology, since we are not defining any topology on ${\rm T}_{G}{\rm Y}$. The abuse of terminology is justified by the fact that if ${\rm Y}$ is a smooth Riemannian manifold, then $\mathcal{B}({\rm T}_{G}{\rm Y})$ coincides with the $\sigma$-algebra of Borel subsets of the tangent bundle of ${\rm Y}$.

The following result gives a basic description of $\mathcal{B}({\rm T}_{G}{\rm Y})$:

Proposition 3.1**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space which is also separable and $(x_{n})\subset{\rm Y}$ a countable set of points such that $\bigcup_{n}B_{{\sf r}_{x_{n}}}(x_{n})={\rm Y}$ (these exist by the Lindelöf property of ${\rm Y}$). For each $n$, let $(x_{n,m})\subset B_{{\sf r}_{x_{n}}}(x_{n})$ be countable and dense.

Then $\mathcal{B}({\rm T}_{G}{\rm Y})$ coincides with the smallest $\sigma$-algebra $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})$ satisfying $i)$ above and

• ii’)

For every $n,m\in\mathbb{N}$ the function ${\rm d}\,\mathrm{dist}_{x_{n,m}}$ is measurable.

Moreover, for any $x\in{\rm Y}$ the measurable structure induced on ${\rm T}_{x}{\rm Y}$ by $\mathcal{B}({\rm T}_{G}{\rm Y})$ coincides with the Borel structure of $({\rm T}_{x}{\rm Y},{\sf d}_{x})$.

Proof.

It is clear that $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})\subset\mathcal{B}({\rm T}_{G}{\rm Y})$. To prove the other inclusion start observing that the continuity of $x\mapsto{\sf r}_{x}$ grants that $B_{{\sf r}_{x}}(x)\subset\bigcup_{n}B_{{\sf r}_{x_{n}}}(x_{n})$ if $x_{n}\to x$, thus to conclude it is sufficient to show that for given $n\in\mathbb{N}$ and $y\in B_{{\sf r}_{x_{n}}}(x_{n})$ the map $(\pi^{\rm Y})^{-1}(B_{{\sf r}_{x_{n}}}(x_{n}))\ni(x,v)\mapsto{\rm d}_{x}\mathrm{dist}_{y}(v)$ is $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})$-measurable. Keeping in mind point $(i)$ of Proposition 2.17, this will be achieved if we prove that:

• a)

the map ${\rm T}_{y}{\rm Y}\ni v\mapsto|v|_{y}$ is measurable w.r.t. the $\sigma$-algebra induced by $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})$,

• b)

$(\pi^{\rm Y})^{-1}(B_{{\sf r}_{x_{n}}}(x_{n}))\ni(x,v)\mapsto{\langle}v,({\sf G}_{x}^{y})^{\prime}_{0}{\rangle}_{x}$ is $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})$-measurable.

Point (a) is a direct consequence of point $(ii)$ of Proposition 2.17. For (b), we notice that by assumption the claim is true if $y=x_{n,m}$ for some $n,m$. Then the general case follows from the continuity of the scalar product established in Proposition 2.11 and the continuity of the map $B_{{\sf r}_{x_{n}}}(x_{n})\ni y\mapsto({\sf G}_{x}^{y})^{\prime}_{0}$ proved in Theorem 2.9.

For the second claim, denote by $\mathcal{B}({\rm T}_{x}{\rm Y})$ the collection of Borel sets in $({\rm T}_{x}{\rm Y},{\sf d}_{x})$ and by $\mathcal{A}_{x}$ the $\sigma$-algebra induced by $\mathcal{B}({\rm T}_{G}{\rm Y})$ on ${\rm T}_{x}{\rm Y}$. Then the continuity of the ‘norm’ and ‘scalar product’ on ${\rm T}_{x}{\rm Y}$ proved in Proposition 2.11 and the already recalled point $(i)$ of Proposition 2.17 give the inclusion $\mathcal{A}_{x}\subset\mathcal{B}({\rm T}_{x}{\rm Y})$. For the opposite inclusion it is sufficient to prove that for any $v\in{\rm T}_{x}{\rm Y}$ the map ${\rm T}_{x}{\rm Y}\ni w\mapsto{\sf d}_{x}^{2}(v,w)$ is $\mathcal{A}_{x}$-measurable. Since in (a) above we have already proved that ${\rm T}_{x}{\rm Y}\ni w\mapsto|w|_{x}$ is $\mathcal{A}_{x}$-measurable, by (2.12b) it is sufficient to prove that ${\rm T}_{x}{\rm Y}\ni w\mapsto{\langle}w,v{\rangle}_{x}$ is $\mathcal{A}_{x}$-measurable as well. For $v$ of the form $({\sf G}_{x}^{y})^{\prime}_{0}$ for some $y\in B_{{\sf r}_{x}}(x)$ this can be proved as in (b) above. Then the general case follows by the positive homogeneity of the scalar product given in (2.12d) and the density result in Theorem 2.9. ∎

Corollary 3.2**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space which is also separable. Then $\mathcal{B}({\rm T}_{G}{\rm Y})$ is countably generated.

Proof.

By definition, the $\sigma$-algebra $\mathcal{B}^{\prime}({\rm T}_{G}{\rm Y})$ defined in Proposition 3.1 is countably generated. Thus the same holds for $\mathcal{B}({\rm T}_{G}{\rm Y})$. ∎

Corollary 3.3**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space which is also separable. Let us denote by ${\sf Norm}:{\rm T}_{G}{\rm Y}\to\mathbb{R}^{+}$ the map sending $(x,v)$ to $|v|_{x}$. Then ${\sf Norm}$ is a Borel function.

Proof.

Given that $x\mapsto{\sf r}_{x}$ is continuous, for any $z\in{\rm Y}$ we can find $\lambda_{z}\in(0,{\sf r}_{z})$ such that $B_{\lambda_{z}}(z)\subset B_{{\sf r}_{x}}(x)$ whenever $x\in B_{\lambda_{z}}(z)$. By Lindelöf property, to get the statement it is sufficient to prove that (\pi^{\rm Y})^{-1}\big{(}B_{\lambda_{z}}(z)\big{)}\ni(x,v)\to|v|_{x} is Borel for every $z\in{\rm Y}$. Fix $z\in{\rm Y}$ and choose a dense sequence $(y_{n})\subset B_{\lambda_{z}}(z)$. We know from item ii) of Proposition 2.17 that $|v|_{x}=-\inf_{n}{\rm d}_{x}\mathrm{dist}_{y_{n}}(v)$ holds for every (x,v)\in(\pi^{\rm Y})^{-1}\big{(}B_{\lambda_{z}}(z)\big{)}. Thus the required measurability follows from the definition of $\mathcal{B}({\rm T}_{G}{\rm Y})$, which grants that $(x,v)\mapsto{\rm d}_{x}\mathrm{dist}_{y_{n}}(v)$ is measurable on (\pi^{\rm Y})^{-1}\big{(}B_{\lambda_{z}}(z)\big{)} for every choice of $n\in\mathbb{N}$. ∎

We shall say that a section $v:{\rm Y}\to{\rm T}_{G}{\rm Y}$ is simple provided there are $(y_{n})\subset{\rm Y}$, $(\alpha_{n})\subset\mathbb{R}^{+}$ and a Borel partition $(E_{n})$ of ${\rm Y}$ such that for every $n\in\mathbb{N}$ and $x\in E_{n}$ we have $y_{n}\in B_{{\sf r}_{x}}(x)$ and $v(x)=\alpha_{n}({\sf G}_{x}^{y_{n}})^{\prime}_{0}$. We will use the notation v=\sum_{n}{\raise 1.29167pt\hbox{\chi}}_{E_{n}}\alpha_{n}({\sf G}_{\cdot}^{y_{n}})^{\prime}_{0} for simple sections. Notice that, arguing as in the proof of Proposition 3.1, we see that simple sections are automatically Borel.

The following lemma will be useful:

Lemma 3.4**.**

Let ${\rm Y}$ be a separable local ${\rm CAT}(\kappa)$ space. Then for every Borel section $v$ of ${\rm T}_{G}{\rm Y}$ and $\varepsilon>0$ there is a simple section $\tilde{v}$ such that {\sf d}_{x}\big{(}v(x),\tilde{v}(x)\big{)}<\varepsilon for every $x\in{\rm Y}$.

Proof.

Using the Lindelöf property of ${\rm Y}$ and the covering made by $B_{{\sf r}_{x}/2}(x)$ it is easy to see that we can reduce to the case in which ${\rm Y}$ is ${\rm CAT}(\kappa)$ and, for any $x,y\in{\rm Y}$, it holds that $y\in B_{{\sf r}_{x}}(x)$. Assume this is the case and let $(y_{n})\subset{\rm Y}$ be countable and dense. By Theorem 2.9, for every $x\in{\rm Y}$ the set \big{\{}r({\sf G}_{x}^{y_{n}})^{\prime}_{0}\,:\,r\in\mathbb{Q}^{+},\ n\in\mathbb{N}\big{\}} is dense in ${\rm T}_{x}{\rm Y}$. Let $i\mapsto(r_{i},y_{n_{i}})$ be an enumeration of the couples $(r,y_{n})$ with $r\in\mathbb{Q}^{+}$ and $n\in\mathbb{N}$. Given a Borel section $v$, define

[TABLE]

and notice that, since the map x\mapsto{\sf d}_{x}\big{(}v(x),r_{i}({\sf G}_{x}^{y_{i}})^{\prime}_{0}\big{)} is Borel for every $i$, the sets $E_{i}$ are Borel. The density result previously recalled ensures that $\bigcup_{i}E_{i}={\rm Y}$. It follows that \tilde{v}:=\sum_{i}{\raise 1.29167pt\hbox{\chi}}_{E_{i}}r_{i}({\sf G}_{\cdot}^{y_{i}})^{\prime}_{0} fulfills the requirements. ∎

Corollary 3.5**.**

Let ${\rm Y}$ be a local ${\rm CAT}(\kappa)$ space which is also separable. Let $f:\,{\rm Y}\to\mathbb{R}$ be a locally semiconvex, locally Lipschitz function and $v$ a Borel section of ${\rm T}_{G}{\rm Y}$. Then {\rm Y}\ni x\mapsto{\rm d}_{x}f\big{(}v(x)\big{)} is a Borel function.

Proof.

In light of Lemma 3.4, it is sufficient to prove the statement for simple sections. Let v=\sum_{n}{\raise 1.29167pt\hbox{\chi}}_{E_{n}}\alpha_{n}({\sf G}_{\cdot}^{y_{n}})^{\prime}_{0} be simple and observe that, for every $x\in{\rm Y}$, one has that

[TABLE]

Since the function E_{n}\ni x\mapsto f\big{(}({\sf G}_{x}^{y_{n}})_{h}\big{)}-f(x) is continuous for all $h\in(0,1)$ by Lemma 2.2, we conclude that {\rm Y}\ni x\mapsto{\rm d}_{x}f\big{(}v(x)\big{)} is Borel, thus completing the proof of the statement. ∎

The approximation result Lemma 3.4 also links the notion of Borel sections to Borel functions on ${\rm Y}$.

Proposition 3.6**.**

Let ${\rm Y}$ be a separable local ${\rm CAT}(\kappa)$ space. Let $v,w$ be Borel sections of ${\rm T}_{G}{\rm Y}$ and $\lambda\geq 0$. Then it holds that

[TABLE]

are Borel functions. Moreover, $\lambda v$ and $v\oplus w$ are Borel sections of ${\rm T}_{G}{\rm Y}$.

Proof.

For the first part of the statement it is sufficient to prove that x\mapsto{\sf d}_{x}\big{(}v(x),w(x)\big{)} is Borel, by the definition of ‘norm’ and of ‘scalar product’. As for the proof of Lemma 3.4 above, we use the Lindelöf property of ${\rm Y}$ and the covering made of the balls $B_{{\sf r}_{x}/2}(x)$, $x\in{\rm Y}$, to reduce to the case of a ${\rm CAT}(\kappa)$ space ${\rm Y}$ such that $y\in B_{{\sf r}_{x}}(x)$ for every $x,y\in{\rm Y}$. By Lemma 3.4 it is sufficient to prove the claim for simple sections $v,w$. Let v=\sum_{i}{\raise 1.29167pt\hbox{\chi}}_{E_{i}}\alpha_{i}({\sf G}_{\cdot}^{y_{i}})^{\prime}_{0} and w=\sum_{j}{\raise 1.29167pt\hbox{\chi}}_{F_{j}}\beta_{j}({\sf G}_{\cdot}^{z_{j}})^{\prime}_{0} be simple, and notice that

[TABLE]

The Borel regularity of x\mapsto{\sf d}_{x}\big{(}v(x),w(x)\big{)} will follow if we show that x\mapsto{\sf d}_{x}\big{(}\alpha({\sf G}_{x}^{y})^{\prime}_{0},\beta({\sf G}_{x}^{z})^{\prime}_{0}\big{)} is Borel for every $y,z\in{\rm Y}$ and $\alpha,\beta>0$. To this aim notice that, since geodesics in ${\rm Y}$ are unique, they depend continuously (w.r.t. uniform convergence) on their endpoints (see also Lemma 2.2). Therefore, for every $t\in(0,1)$, we have that x\mapsto{\sf d}\big{(}({\sf G}_{x}^{y})_{\alpha t},({\sf G}_{x}^{z})_{\beta t}\big{)} is continuous and the conclusion follows recalling that, by (2.11) and Theorem 2.9, we have

[TABLE]

where $(t_{n})$ is any sequence decreasing to [math].

It is straightforward to see that $\lambda v$ is a Borel section of ${\rm T}_{G}{\rm Y}$: the function {\rm Y}\ni x\mapsto{\rm d}_{x}\mathrm{dist}_{y}\big{(}\lambda v(x)\big{)}=\lambda\,{\rm d}_{x}\mathrm{dist}_{y}\big{(}v(x)\big{)} is Borel for every $y\in{\rm Y}$, whence $\lambda v$ is a Borel section.

We now aim to prove that $v\oplus w$ is a Borel section of ${\rm T}_{G}{\rm Y}$. By Lemma 3.4 it is enough to show that {\rm Y}\setminus\{y,z\}\ni x\mapsto{\rm d}_{x}\mathrm{dist}_{p}\big{(}\alpha({\sf G}_{x}^{y})^{\prime}_{0},\beta({\sf G}_{x}^{z})^{\prime}_{0}\big{)} is Borel for every $p,y,z\in{\rm Y}$ and $\alpha,\beta>0$. By Lemma 2.12 and the properties of ${\rm d}_{x}\mathrm{dist}_{p}$ we have

[TABLE]

where $m_{\varepsilon}(x)$ stands for the midpoint between $({\sf G}_{x}^{y})_{\varepsilon\alpha}$ and $({\sf G}_{x}^{z})_{\varepsilon\beta}$. Given that the map sending $x\in{\rm Y}$ to $({\sf G}_{x}^{m_{\varepsilon}(x)})_{2h/\varepsilon}\in{\rm Y}$ is continuous (as one can see by repeatedly applying Lemma 2.2), we conclude that {\rm Y}\setminus\{y,z\}\ni x\mapsto{\rm d}_{x}\mathrm{dist}_{p}\big{(}\alpha({\sf G}_{x}^{y})^{\prime}_{0},\beta({\sf G}_{x}^{z})^{\prime}_{0}\big{)} is Borel, as required. This completes the proof of the statement. ∎

We now consider the ‘right derivative’ map ${\sf RightDer}:\,C([0,1];{\rm Y})\times[0,1]\to{\rm T}_{G}{\rm Y}$, given by

[TABLE]

Proposition 3.7**.**

Let ${\rm Y}$ be a separable local ${\rm CAT}(\kappa)$ space. Then ${\sf RightDer}:\,C([0,1];{\rm Y})\times[0,1]\to{\rm T}_{G}{\rm Y}$ is a Borel map.

Proof.

Let us denote by ${\rm e}:\,C([0,1];{\rm Y})\times[0,1]\to{\rm Y}$ the evaluation map $(\gamma,t)\mapsto\gamma_{t}$, which is clearly continuous. In order to show that $\sf RightDer$ is Borel it suffices to prove that:

• $\rm i)$

$\pi^{\rm Y}\circ{\sf RightDer}$ is Borel,

• $\rm ii)$

${\rm d}\,\mathrm{dist}_{y}\circ{\sf RightDer}$ is Borel for every $x\in{\rm Y}$ and $y\in B_{{\sf r}_{x}}(x)$.

Item i) trivially follows from the observation that ${\rm e}=\pi^{\rm Y}\circ{\sf RightDer}$. To prove ii), fix $x\in{\rm Y}$ and $y\in B_{{\sf r}_{x}}(x)$. Let us define the sets $D^{\prime}$, $D$ and $S_{h}$ for $h\in(0,1)$ as follows:

[TABLE]

respectively. Since $\rm e$ and $x\mapsto{\sf r}_{x}$ are continuous, we have that $D^{\prime}$ and $S_{h}$ are open. Notice that

[TABLE]

where the first equality stems from the continuity of ${\rm T}_{\gamma_{t}}{\rm Y}\ni v\mapsto{\rm d}_{\gamma_{t}}\mathrm{dist}_{y}(v)$. Given any $h,\varepsilon\in(0,1)$, the map (\gamma,t)\mapsto{\raise 1.29167pt\hbox{\chi}}_{S_{h}}(\gamma,t)\big{[}{\sf d}\big{(}y,({\sf G}_{\gamma_{t}}^{\gamma_{t+h}})_{\varepsilon}\big{)}-{\sf d}(y,\gamma_{t})\big{]}/(\varepsilon h) is continuous on $S_{h}$ by Lemma 2.2. Thus, to obtain the measurability of the function ${\rm d}\,\mathrm{dist}_{y}\circ{\sf RightDer}$, it remains to show that the set $D$ is Borel. To this aim, let us set

[TABLE]

for every $h_{1},h_{2}\in(0,1)$ and $\varepsilon>0$. Given that for all $(\gamma,t)\in S_{h_{1}}\cap S_{h_{2}}$ we can write

[TABLE]

we can deduce (by Lemma 2.2) that each set $A_{h_{1},h_{2},\varepsilon}$ is Borel. Finally, observe that

[TABLE]

whence the set $D$ is Borel. The statement follows. ∎

We now fix a non-negative and non-zero Radon measure $\mu$ on ${\rm Y}$. We are interested in Borel sections of ${\rm T}_{G}{\rm Y}$ which are also in $L^{2}(\mu)$.

Definition 3.8** (The space $L^{2}({\rm T}_{G}{\rm Y};\mu)$).**

Let ${\rm Y}$ be a separable local ${\rm CAT}(\kappa)$-space and $\mu$ a non-negative non-zero Radon measure on ${\rm Y}$. The space $L^{2}({\rm T}_{G}{\rm Y};\mu)$ is defined as

[TABLE]

where $v\sim w$ if $\{x:v(x)=w(x)\}$ is $\mu$-negligible. We endow $L^{2}({\rm T}_{G}{\rm Y};\mu)$ with the distance

[TABLE]

Notice that, by Proposition 3.6, the integrals in Definition 3.8 are well-defined. With a (common) abuse of notation we do not distinguish between a Borel section $v$ and its equivalence class up to $\mu$-a.e. equality.

We conclude the section collecting some basic properties of \big{(}L^{2}({\rm T}_{G}{\rm Y};\mu),{\sf d}_{\mu}\big{)}:

Proposition 3.9**.**

Let ${\rm Y}$ be a separable local ${\rm CAT}(\kappa)$ space and $\mu$ a non-negative, non-zero Radon measure on it. Then \big{(}L^{2}({\rm T}_{G}{\rm Y};\mu),{\sf d}_{\mu}\big{)} is a complete and separable ${\rm CAT}(0)$ space.

Proof.

The fact that ${\sf d}_{\mu}$ is a distance on $L^{2}({\rm T}_{G}{\rm Y};\mu)$ is trivial, so we turn to the other properties.

Completeness. The argument is standard: as it is well-known, it is sufficient to prove that any $(v_{n})\subset L^{2}({\rm T}_{G}{\rm Y};\mu)$ such that $\sum_{n}{\sf d}_{\mu}(v_{n},v_{n+1})<\infty$ is convergent. Then from the inequality

[TABLE]

we see that $\sum_{n}{\sf d}_{\cdot}(v_{n},v_{n+1})\in L^{2}(\mu)$ and in particular that $\sum_{n}{\sf d}_{x}(v_{n}(x),v_{n+1}(x))<\infty$ for $\mu$-a.e. $x$. For any such $x$ the sequence $(v_{n}(x))$ is Cauchy in ${\rm T}_{x}{\rm Y}$ and thus has a limit $v(x)$. It is then clear that $v$ is (the equivalence class up to $\mu$-a.e. equality of) a Borel section. Moreover, by Fatou’s lemma and the definition of ${\sf d}_{\mu}$ we see that

[TABLE]

having used again the assumption that $(v_{n})$ is ${\sf d}_{\mu}$-Cauchy. This proves that $v$ is the ${\sf d}_{\mu}$-limit of $(v_{n})$ and, since this fact and the triangle inequality for ${\sf d}_{\mu}$ also tell that $v\in L^{2}({\rm T}_{G}{\rm Y};\mu)$, the claim is proved.

Separability. Using the Lindelöf property of ${\rm Y}$ and the very definition of distance ${\sf d}_{\mu}$ we can reduce to the case in which ${\rm Y}$ is a separable ${\rm CAT}(\kappa)$ space with diameter $<D_{\kappa}$ and $\mu$ is a finite measure. Then taking into account Lemma 3.4 above it is easy to see that to conclude it is sufficient to find a countable set $\mathcal{D}\subset L^{2}({\rm T}_{G}{\rm Y};\mu)$ whose closure contains all simple sections of the form v={\raise 1.29167pt\hbox{\chi}}_{E}({\sf G}_{\cdot}^{y})^{\prime}_{0} for generic $E\subset{\rm Y}$ Borel and $y\in{\rm Y}$. Let $\mathcal{D}_{1}\subset{\rm Y}$ be countable and dense and $\mathcal{D}_{2}\subset\mathcal{B}({\rm Y})$ be countable and such that for any $E\subset{\rm Y}$ Borel and $\varepsilon>0$ there is $U\in\mathcal{D}_{2}$ such that $\mu(U\Delta E)<\varepsilon$ (for instance, the family of all finite unions of open balls having center in $\mathcal{D}_{1}$ and rational radius does the job – by regularity of the measure $\mu$).

We then define

[TABLE]

and claim that this does the job. To see this, notice that the inequality

[TABLE]

grants that the closure of $\mathcal{D}$ contains all the sections of the form {\raise 1.29167pt\hbox{\chi}}_{E}({\sf G}_{\cdot}^{y})^{\prime}_{0} for $E\subset{\rm Y}$ Borel and $y\in\mathcal{D}_{1}$. To conclude recall the continuity of $y\mapsto({\sf G}_{x}^{y})^{\prime}_{0}\in{\rm T}_{x}{\rm Y}$ proved in Theorem 2.9 and notice that an application of the dominated convergence theorem gives that {\raise 1.29167pt\hbox{\chi}}_{E}({\sf G}_{\cdot}^{y_{n}})^{\prime}_{0}\to{\raise 1.29167pt\hbox{\chi}}_{E}({\sf G}_{\cdot}^{y})^{\prime}_{0} in $L^{2}({\rm T}_{G}{\rm Y};\mu)$ if $y_{n}\to y$.

${\rm CAT}(0)$ condition. By [41, Remark 2.2], it is sufficient to show that for any $v,v^{\prime}\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ there exists $v^{\prime\prime}\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ such that

[TABLE]

Let us define $v^{\prime\prime}\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ as

[TABLE]

(Note that $v^{\prime\prime}_{x}$ is the midpoint between $v_{x}$ and $v^{\prime}_{x}$.) The fact that $v^{\prime\prime}$ is (the equivalence class of) a Borel section of ${\rm T}_{G}{\rm Y}$ follows by Proposition 3.6, while the integrability condition $(x\mapsto|v^{\prime\prime}_{x}|_{x})\in L^{2}(\mu)$ is implied by inequality (2.12g). By [41, Corollary 2.5], we have

[TABLE]

By integrating with respect to $\mu$ we obtain the desired inequality. ∎

4. Normal 1-currents and the superposition principle

In this section we recall the notion of metric 1-current as introduced by Ambrosio-Kirchheim in [7] and Paolini-Stepanov’s metric version of Smirnov’s superposition principle. Throughout this section $({\rm Y},{\sf d})$ is a complete and separable metric space. See also [31] and [45] for more on the topic.

We denote by $\mathrm{LIP}({\rm Y})$ the space of real-valued Lipschitz functions on ${\rm Y}$, and by $\mathrm{LIP}_{b}({\rm Y})$ the subspace of bounded Lipschitz functions.

Definition 4.1** (Normal 1-currents).**

A (metric) $1$-current of finite mass on ${\rm Y}$ is a bilinear functional

[TABLE]

satisfying the following conditions:

• (a)

$T(g,f)=0$* if the function $f\in\mathrm{LIP}({\rm Y})$ is constant on the support of $g\in\mathrm{LIP}_{b}({\rm Y})$,*

• (b)

$T(g,f_{n})\to T(g,f)$* whenever $f_{n}\to f$ pointwise and $\sup_{n}\mathrm{Lip}(f_{n})<\infty$,*

• (c)

there exists a finite Borel measure $\nu$ on ${\rm Y}$ satisfying

[TABLE]

A normal 1 current is a 1-current of finite mass such that there is a finite Borel measure $\mu$ (called boundary of $T$ and denoted by $\partial T$) such that

[TABLE]

It is not hard to check that if $T$ has finite mass, there is a minimal (in the sense of partial ordering of measures) Borel measure for which (4.1) holds: it will be denoted by $\|T\|$ and called mass measure of $T$. We set $\mathbb{M}(T):=\|T\|({\rm Y})$.

A prototypical example is the normal 1-current $[\![\gamma]\!]$ induced by an absolutely continuous curve $\gamma:[0,1]\to{\rm Y}$ via the formula

[TABLE]

Its mass measure is given by \gamma_{*}\big{(}|\dot{\gamma}|\mathcal{L}^{1}\lower 3.0pt\hbox{|_{[0,1]}}\big{)} and its boundary is given by $\partial[\![\gamma]\!]=\delta_{\gamma_{1}}-\delta_{\gamma_{0}}$.

Notice that the current $[\![\gamma]\!]$ remains unchanged if we change the parametrization of $\gamma$. This makes it natural to consider the space of ‘curves up to reparametrization’ as follows (here we only consider non-decreasing reparametrizations).

4.1. Reparametrizations of curves

A reparametrization $\alpha:[0,1]\to[0,1]$ is a non-decreasing continuous surjection. If $\gamma,\eta\in C([0,1];{\rm Y})$, we say that $\eta$ is a reparametrization of $\gamma$ if there is a reparametrization $\alpha$ satisfying $\gamma\circ\alpha=\eta$.

Remark 4.2**.**

Given $\gamma\in C([0,1];{\rm Y})$, there exists a curve $\eta\in C([0,1];{\rm Y})$ which is not constant on any open interval, and is a reparametrization of $\gamma$, cf. [16, Proposition 3.6]. $\blacksquare$

Define an equivalence relation on $C([0,1];{\rm Y})$ by declaring $\gamma\sim\eta$ if there is a curve $\varphi\in C([0,1];{\rm Y})$ which is a reparametrization of both $\gamma$ and $\eta$. It is easy to see that this indeed defines an equivalence relation. Let $\overline{\Gamma}({\rm Y}):=C([0,1],{\rm Y})/\sim$ be the quotient space. We define a distance function on $\overline{\Gamma}({\rm Y})$ by

[TABLE]

where

[TABLE]

This is clearly symmetric, and satisfies the triangle inequality. Consequently it defines a pseudometric on $\overline{\Gamma}({\rm Y})$. It follows from Lemma 4.3 below that ${\sf d}_{\overline{\Gamma}}$ defines a metric on $\overline{\Gamma}({\rm Y})$.

Note that, since a non-decreasing surjection $[0,1]\to[0,1]$ may be approximated uniformly by increasing homeomorphisms of $[0,1]$, it easily follows that ${\sf d}_{\overline{\Gamma}}([\gamma],[\eta])$ has the representation

[TABLE]

Lemma 4.3**.**

Let $\gamma,\eta\in C([0,1];{\rm Y})$ be such that ${\sf d}_{\overline{\Gamma}}([\gamma],[\eta])=0$. Then $[\gamma]=[\eta]$.

Proof.

Let $\gamma,\eta\in C([0,1];{\rm Y})$. By Remark 4.2 we may assume that $\gamma$ is not constant on any non-trivial interval. We will prove that there is a reparametrization $\phi$ such that $\gamma\circ\phi=\eta$.

Let $\phi_{n}:[0,1]\to[0,1]$ be a sequence of increasing homeomorphisms minimizing ${\sf d}_{\overline{\Gamma}}([\gamma],[\eta])$:

[TABLE]

Denote $\psi_{n}=\phi_{n}^{-1}$. For each $n\in\mathbb{N}$, $\psi_{n}$ is also an increasing homeomorphism. Thus, $\phi_{n}$ and $\psi_{n}$ are of bounded variation and their distributional derivatives $\phi^{\prime}_{n}$ and $\psi_{n}^{\prime}$ (which are positive measures on $[0,1]$) satisfy

[TABLE]

for all $n\in\mathbb{N}$. By Helly’s selection principle (see [34]), there are subsequences (labeled here by the same indices) and functions $\phi,\psi:[0,1]\to[0,1]$ of bounded variation so that $\phi_{n}\to\phi$ and $\psi_{n}\to\psi$ pointwise. Clearly, $\phi$ and $\psi$ are non-decreasing and satisfy $\phi(0)=\psi(0)=0$, $\phi(1)=\psi(1)=1$. Since $\gamma$ is continuous, and $\phi_{n}\to\phi$ pointwise, we have the estimate

[TABLE]

for all $t\in[0,1]$. Thus

[TABLE]

Similarly we obtain

[TABLE]

For any $0\leq a<b\leq 1$, the pointwise convergence $\phi_{n}\to\phi$ implies that

[TABLE]

Moreover, we have

[TABLE]

To see this, let $x\in(\psi(a),\psi(b))$. For all large enough $n\in\mathbb{N}$, we have $\psi_{n}(a)<x<\psi_{n}(b)$ or, equivalently, $a<\phi_{n}(x)<b$. Thus $\phi(x)=\lim_{n\to\infty}\phi_{n}(x)\in[a,b]$. The inclusions above imply

[TABLE]

It follows that $\phi$ is continuous. Indeed, if a non-decreasing function $\phi:[0,1]\to[0,1]$ has a point of discontinuity, it must omit some non-trivial interval $[a,b]\subset[0,1]$, i.e. $\phi^{-1}[a,b]=\varnothing$, implying $\psi(a)=\psi(b)$. By (4.2), we have

[TABLE]

which contradicts the fact that $\gamma$ is not constant on any non-trivial interval. ∎

Remark 4.4**.**

Since $C([0,1];{\rm Y})$ is complete and separable, we have that $\overline{\Gamma}({\rm Y})$ is complete and separable. $\blacksquare$

We will denote by $\Gamma({\rm Y})\subset\overline{\Gamma}({\rm Y})$ the image of $AC([0,1];{\rm Y})\subset C([0,1];{\rm Y})$ under the quotient map $q:\,C([0,1];{\rm Y})\to\overline{\Gamma}({\rm Y})$ given by $\gamma\mapsto[\gamma]$, i.e. \Gamma({\rm Y})=q\big{(}AC([0,1];{\rm Y})\big{)}. Notice that since $AC([0,1];{\rm Y})$ is a Borel subset of $C([0,1];{\rm Y})$ (see for instance [5, Section 2.2]), we have that $\Gamma({\rm Y})$ is a Suslin subset of $\overline{\Gamma}({\rm Y})$ and thus universally measurable.

Recall that a curve $\gamma\in C([0,1];{\rm Y})$ is called rectifiable, if it has finite length:

[TABLE]

where the supremum is taken over all partitions $0=t_{0}<\ldots<t_{m}=1$ of $[0,1]$. Note that the length $\ell(\gamma)$ is independent of reparametrization and, for absolutely continuous curves, is given by

[TABLE]

see [26] for these statements, as well as the proposition below.

Proposition 4.5** (Reparametrization with constant speed).**

[26, Theorem 3.2 and Corollary 3.8]** Let ${\rm Y}$ be a complete and separable space and $\gamma\in C([0,1];{\rm Y})$ a non-constant rectifiable curve. Define $\phi:[0,1]\to[0,1]$ by

[TABLE]

Then $\bar{\gamma}:=\gamma\circ\phi$ is a $\ell(\gamma)$-Lipschitz curve and has constant metric speed $\displaystyle|\dot{\bar{\gamma}}_{t}|=\ell(\gamma)$ for almost every $t$. Moreover

[TABLE]

i.e. $\bar{\gamma}$ is a reparametrization of $\gamma$.

If $\gamma\sim\eta$ are two absolutely continuous curves, then their reparametrizations with constant speed coincide.

We shall denote by ${\sf ConstSpRep}:\Gamma({\rm Y})\to C([0,1],{\rm Y})$ the map sending the equivalence class of $\gamma\in AC([0,1];{\rm Y})$ to the constant speed reparametrization of any element in the class. Proposition 4.5 implies that this map is well-defined. Also, we have:

Proposition 4.6**.**

Let ${\rm Y}$ be a complete separable space. Then ${\sf ConstSpRep}:\Gamma({\rm Y})\to C([0,1];{\rm Y})$ is a Borel map.

Proof.

Throughout the proof we use the shorthand $\bar{\theta}:={\sf ConstSpRep}(\theta)$. Introduce a new metric ${\sf d}_{0}$ on $\Gamma({\rm Y})$ by setting

[TABLE]

Since the length functional $\ell:\Gamma({\rm Y})\to[0,\infty]$ is lower semicontinuous, and since

[TABLE]

it follows that ${\sf d}_{0}$-balls $B_{{\sf d}_{0}}(\theta,r)$ are Borel in $(\Gamma({\rm Y}),{\sf d}_{\Gamma})$. Consequently the identity

[TABLE]

is a Borel map. Define

[TABLE]

and note that ${\sf ConstSpRep}=h_{0}\circ I$. Thus, it suffices to prove that $h_{0}$ is continuous. We thank Stefan Wenger for providing the elegant argument presented below.

Suppose ${\sf d}_{0}(\theta_{n},\theta)\to 0$ as $n\to\infty$. Then there are nondecreasing bijections $\varphi_{n}:[0,1]\to[0,1]$ such that

[TABLE]

Denote $\gamma_{n}:=\theta_{n}\circ\varphi_{n}$. We have $\displaystyle\lim_{n\to\infty}\ell(\gamma_{n})=\ell(\theta)$. Moreover, for any $t\in[0,1]$, we have

[TABLE]

Since

[TABLE]

it follows from (4.3) that the inequalities in (4.4) are in fact equalities, and we may pass to a subsequence (not relabeled) so that, for a countable dense set $D\subset[0,1]$, we have

[TABLE]

Set

[TABLE]

whence, by (4.5) and the fact that $\bar{\theta}$ is constant speed parametrized, we have

[TABLE]

The sequence $(\bar{\gamma}_{n})_{n}$ of constant speed parametrizations of $\gamma_{n}$ is uniformly Lipschitz and thus, after passing to a subsequence, it has a uniform limit $\beta:[0,1]\to{\rm Y}$ which is a Lipschitz curve. Note that $\bar{\theta}_{n}=\bar{\gamma}_{n}$.

By the constant speed parametrization, we have

[TABLE]

For each $t\in D$ we have, by (4.6) and (4.7),

[TABLE]

Since the equality holds on a dense set of points, we conclude that $\beta=\bar{\theta}$.

By repeating this argument for any subsequence of $\theta_{n}$ we have that, if $\theta_{n}\to\theta$ in ${\sf d}_{0}$, then $\bar{\theta}_{n}\to\bar{\theta}$. Thus $h_{0}$ is continuous, and this completes the proof of the claim. ∎

4.2. The superposition principle

We shall consider finite Borel measures $\pi$ on $\overline{\Gamma}({\rm Y})$ concentrated on $\Gamma({\rm Y})$ and typically denote by $[\gamma]$ their ‘integration variable’. In doing this, we always implicitly assume that $\gamma$ is absolutely continuous for $\pi$-a.e. $[\gamma]$ (i.e. we select an element in $[\gamma]$ which is absolutely continuous – see also Proposition 4.6 above).

Lemma 4.7**.**

For any $(g,f)\in\mathrm{LIP}_{b}({\rm Y})\times\mathrm{LIP}({\rm Y})$, the map $A:\,C([0,1];{\rm Y})\to\mathbb{R}\cup\{+\infty\}$ given by

[TABLE]

is a Borel map.

Proof.

Since $AC([0,1];{\rm Y})\subset C([0,1];{\rm Y})$ is Borel, it suffices to show that the map

[TABLE]

is Borel. Let $\bar{\gamma}$ denote the constant speed parametrization given by Proposition 4.5. Let $q:\,C([0,1];{\rm Y})\to\overline{\Gamma}({\rm Y})$ be the quotient map $\gamma\mapsto[\gamma]$. Since $\bar{\gamma}={\sf ConstSpRep}(q(\gamma))$, Proposition 4.6 implies that $AC([0,1];{\rm Y})\ni\gamma\mapsto\bar{\gamma}$ is Borel. Consequently the map

[TABLE]

is Borel for each $n\in\mathbb{N}\cup\{\infty\}$. To show that A\lower 3.0pt\hbox{|_{AC}} is Borel it suffices to see that

[TABLE]

For each $\gamma\in AC([0,1];{\rm Y})$ we have that $f\circ\bar{\gamma}$ is Lipschitz and thus, by the dominated convergence theorem,

[TABLE]

establishing (4.9). ∎

By (4.8), and the fact that $[\![\gamma]\!]=[\![\eta]\!]$ if $\gamma\sim\eta$, we see that for any finite non-negative Borel measure $\pi$ on $\overline{\Gamma}({\rm Y})$ concentrated on $\Gamma({\rm Y})$ the functional $[\![\pi]\!]:\mathrm{LIP}_{b}({\rm Y})\times\mathrm{LIP}({\rm Y})\to\mathbb{R}$ given by

[TABLE]

is well-defined and a normal 1-current: for its mass we have the bound

[TABLE]

for every non-negative $g\in\mathrm{LIP}_{b}({\rm Y})$; notice that \gamma_{*}(|\dot{\gamma}|\mathcal{L}^{1}\lower 3.0pt\hbox{|_{[0,1]}}) is independent on the parametrization of $\gamma$ – see also Proposition 4.5 below. For its boundary we have

[TABLE]

(notice that $\gamma_{0},\gamma_{1}$ are independent on the parametrization of $\gamma$). Observe that picking $g\equiv 1$ in (4.10) we obtain

[TABLE]

The superposition principle states that every normal 1-current is of the form $[\![\pi]\!]$ for some $\pi$ as above, and moreover $\pi$ can be chosen so that equality holds in (4.11). For the proof of the following result we refer to [36, Corollary 3.3]:

Theorem 4.8** (Superposition principle).**

Let ${\rm Y}$ be a complete and separable space and $T$ a normal 1-current. Then there is a finite non-negative Borel measure $\pi$ on $\overline{\Gamma}({\rm Y})$ concentrated on $\Gamma({\rm Y})$ such that

[TABLE]

For our applications it will be more convenient to deal with measures on $C([0,1];{\rm Y})$ rather than on $\overline{\Gamma}({\rm Y})$. Using Lemma 4.7 and Proposition 4.6, we can reformulate Theorem 4.8 as follows:

Theorem 4.9** (Superposition principle - equivalent formulation).**

Let ${\rm Y}$ be a complete and separable space and $T$ a normal 1-current. Then there is a finite non-negative Borel measure $\pi$ on $C([0,1];{\rm Y})$ concentrated on the set of non-constant absolutely continuous curves with constant speed such that

[TABLE]

for any $g\in\mathrm{LIP}_{b}({\rm Y})$ and $f\in\mathrm{LIP}({\rm Y})$.

Proof.

By Theorem 4.8, there is a finite measure $\overline{\eta}\in\mathscr{M}(\Gamma({\rm Y}))$ for which

[TABLE]

We define $\pi\in\mathscr{M}(C([0,1];{\rm Y}))$ as

[TABLE]

Since both

[TABLE]

are independent of parametrization, we have the identities

[TABLE]

for all $(g,f)\in\mathrm{LIP}_{b}({\rm Y})\times\mathrm{LIP}({\rm Y})$.

It remains to prove the second identity in the claim. It suffices to prove it for g={\raise 1.29167pt\hbox{\chi}}_{E} for Borel sets $E\subset{\rm Y}$. It follows from (4.13) that

[TABLE]

whence $\|T\|\leq\nu$, where $\nu$ is defined by

[TABLE]

By the characterisation of mass (see [7, Proposition 2.7]) it follows that, for every $\varepsilon>0$, there are functions $(g_{\varepsilon},f_{\varepsilon})\in\mathrm{LIP}_{b}({\rm Y})\times\mathrm{LIP}({\rm Y})$ such that $|g_{\varepsilon}|\leq 1$ and $\mathrm{Lip}f_{\varepsilon}\leq 1$, and for which

[TABLE]

Using (4.13) and the identity 1={\raise 1.29167pt\hbox{\chi}}_{E}(\gamma_{t})+{\raise 1.29167pt\hbox{\chi}}_{{\rm Y}\setminus E}(\gamma_{t}), we have

[TABLE]

which implies

[TABLE]

for every $\varepsilon>0$. It follows that $\|T\|=\nu$, and this completes the proof of the last identity in (4.12). ∎

5. Metric measure spaces

For our purposes, a metric measure space is a triple $({\rm Y},{\sf d},\mu)$ where $({\rm Y},{\sf d})$ is a complete separable metric space and $\mu$ a Borel measure on ${\rm Y}$ that is finite on bounded sets.

5.1. Derivations and the space ${\rm Der}^{2,2}({\rm Y};\mu)$

We introduce derivations and their basic properties, based on the presentation in [14, 15]. This notion of derivation has been inspired by a similar concept introduced by N. Weaver in [44].

Let us denote by $L^{0}(\mu)$ the set of equivalence classes of $\mu$-measurable maps on ${\rm Y}$ (without any integrability assumptions).

Definition 5.1**.**

A derivation $b$ on ${\rm Y}$ is a linear map $b:\,\mathrm{LIP}_{b}({\rm Y})\to L^{0}(\mu)$ satisfying the following two conditions:

• (1)

(Leibniz rule) $b(fh)=fb(h)+hb(f)$ $\mu$-a.e. for all $f,h\in\mathrm{LIP}_{b}({\rm Y})$.

• (2)

(Weak locality) There is $g\in L^{0}(\mu)$ such that \big{|}b(f)\big{|}\leq g\,\mathrm{lip}_{a}f $\mu$-a.e. for all $f\in\mathrm{LIP}_{b}({\rm Y})$.

We denote the set of derivations on ${\rm Y}$ by ${\rm Der}({\rm Y})$. The space ${\rm Der}({\rm Y})$ is a $\mathrm{LIP}_{b}({\rm Y})$-module: given a Lipschitz function $\varphi\in\mathrm{LIP}_{b}({\rm Y})$ and a derivation $b\in{\rm Der}({\rm Y})$, the linear map

[TABLE]

is again a derivation; see [14].

Remark 5.2**.**

By weak locality, we may extend a derivation $b\in{\rm Der}({\rm Y})$ to act on $\mathrm{LIP}({\rm Y})$. Indeed, given $f\in\mathrm{LIP}({\rm Y})$ and an open ball $B\subset{\rm Y}$, we have

[TABLE]

for any $\tilde{f}\in\mathrm{LIP}_{b}({\rm Y})$ for which f\lower 3.0pt\hbox{|{B}}=\tilde{f}\lower 3.0pt\hbox{|{B}}. Thus, for any $f\in\mathrm{LIP}({\rm Y})$ (and some fixed $x_{0}\in{\rm Y}$), the function

[TABLE]

is well-defined, and $\mathrm{LIP}({\rm Y})\ni f\mapsto b(f)$ satisfies (1) and (2) above. $\blacksquare$

Given a derivation $b\in{\rm Der}({\rm Y})$, we define

[TABLE]

Lemma 5.3**.**

Let $b\in{\rm Der}({\rm Y})$. Then $|b|$ satisfies (2) in Definition 5.1. Moreover, $|b|$ is the least function satisfying (2) in Definition 5.1.

Proof.

Let $f\in\mathrm{LIP}_{b}({\rm Y})$. For $x\in{\rm Y}$ and $r>0$, set L_{r}=L_{r}(x):=\mathrm{Lip}\big{(}f\lower 3.0pt\hbox{|{B{r}(x)}}\big{)}. Consider the McShane extension $g_{r}$ of f\lower 3.0pt\hbox{|{B{r}(x)}}; in particular, $g_{r}/L_{r}$ is $1$-Lipschitz and so we have

[TABLE]

Since $b(g_{r})=b(f)$ in $B_{r}(x)$, we deduce that \big{|}b(f/L_{r})\big{|}\leq|b| holds $\mu$-almost everywhere on $B_{r}(x)$. Thus for each $x\in{\rm Y}$ and $r>0$ we have

[TABLE]

Using this reasoning for a countable dense set $(x_{n})\subset{\rm Y}$, we deduce that for every $r>0$

[TABLE]

The conclusion now follows by taking a sequence $r_{n}\downarrow 0$ and taking the limit as $n\to\infty$. ∎

A derivation $b\in{\rm Der}({\rm Y})$ is said to have divergence if there exists a function $h\in L^{1}_{b}(\mu)$ (that is, $h$ is integrable on bounded sets) so that

[TABLE]

(whenever this makes sense). If such a function $h$ exists, it is unique and we denote it by ${\rm div}(b)$ or ${\rm div}\,b$. The set of $b\in{\rm Der}({\rm Y})$ that have divergence is denoted by $D({\rm div})$.

For $1\leq p\leq\infty$ we set

[TABLE]

and, for $1\leq p,q<\infty$,

[TABLE]

Lemma 5.4**.**

Let $b\in D({\rm div})$. Assume $(f_{n})$ is a sequence in $\mathrm{LIP}_{b}({\rm Y})$ converging to $f\in\mathrm{LIP}_{b}({\rm Y})$ pointwise and with $\sup_{n}\mathrm{Lip}(f_{n})<\infty$.

• (1)

Then

[TABLE]

for each $\varphi\in\mathrm{LIP}_{b}({\rm Y})$.

• (2)

If, in addition, $b\in{\rm Der}^{p}_{b}({\rm Y})$ for some $1<p<\infty$, then the convergence (5.2) holds for all $\varphi\in L^{q}(\mu)$ with bounded support. Here $q$ is the conjugate exponent of $p$, i.e. $1/p+1/q=1$.

Proof.

By linearity it suffices to prove the claims when $f=0$. The Leibniz rule implies

[TABLE]

Thus

[TABLE]

Since $f_{n}\to 0$ pointwise and $\sup_{n}\mathrm{Lip}(f_{n})<\infty$ it follows – using the dominated convergence theorem – that $\int\varphi b(f_{n})\,{\rm d}\mu\to 0$ for all $\varphi\in\mathrm{LIP}_{b}({\rm Y})$. This proves (1).

Let $\varphi\in L^{q}(\mu)$ have bounded support $B^{\prime}\subset{\rm Y}$, and consider the set B=\big{\{}x\,:\,\mathrm{dist}(B^{\prime},x)\leq 1\big{\}}. Take a sequence $(\varphi_{m})\subset\mathrm{LIP}_{b}({\rm Y})$ with supports in $B$ such that

[TABLE]

Denote

[TABLE]

Then, for each $m,n\in\mathbb{N}$ we may estimate

[TABLE]

Taking first $\varlimsup_{n\to\infty}$ and then $\varlimsup_{m\to\infty}$ we obtain

[TABLE]

thus proving (2). ∎

In order to prove the next proposition, we recall the notion of strong locality, cf. [14, Lemma 7.13]: if $b\in D({\rm div})$, then for every $f,g\in\mathrm{LIP}_{b}({\rm Y})$ we have

[TABLE]

and, moreover,

[TABLE]

for every closed set $C\subset{\rm Y}$.

Proposition 5.5**.**

Let $({\rm Y},{\sf d},\mu)$ be a metric measure space, $\Omega\subset{\rm Y}$ an open set, and $b\in{\rm Der}^{1}_{b}({\rm Y})\cap D({\rm div})$. Let $\mathcal{D}=(x_{n})\subset{\rm Y}$ be countable and dense in $\Omega$. Define $f_{n}(x):={\sf d}(x_{n},x)$. Then we have

[TABLE]

$\mu$-almost everywhere in $\Omega$.

Proof.

Denote $h_{+}={\rm ess\,sup}_{n}b(f_{n})$ and $h_{-}={\rm ess\,inf}_{n}b(f_{n})$. It suffices to prove that $|b|\leq h_{+}$ and $-|b|\geq h_{-}$ $\mu$-almost everywhere on $\Omega$.

Claim Consider the countable set**

[TABLE]

*The set of restrictions \{g\lower 3.0pt\hbox{|_{\Omega}}\,:\,g\in\mathscr{A}\} is dense in \mathrm{LIP}_{1}(\Omega):=\big{\{}f\in\mathrm{LIP}(\Omega)\,:\,\mathrm{Lip}(f)\leq 1\big{\}} in the topology of pointwise convergence. *

Proof of Claim.

Let $f\in\mathrm{LIP}_{1}({\rm Y})$. Since $\mathcal{D}$ is dense in $\Omega$, it is easy to see that

[TABLE]

for every $x\in\Omega$. For each $x_{k}\in\mathcal{D}$, let $(g_{k}^{m})_{m}$ be a sequence in $\mathscr{A}$ satisfying

[TABLE]

for all $m\in\mathbb{N}$. Set

[TABLE]

Then $(g_{n})$ is a sequence in $\mathscr{A}$, and

[TABLE]

for every $x_{k}\in\mathcal{D}$. Since $g_{n}$ and $f$ are 1-Lipschitz functions, it follows that

[TABLE]

for every $x\in\Omega$. ∎

For any $f\in\mathrm{LIP}_{1}({\rm Y})$, let $(g_{j})\subset\mathscr{A}$ be a sequence such that g_{j}\lower 3.0pt\hbox{|{\Omega}} converges to f\lower 3.0pt\hbox{|{\Omega}} pointwise. By passing to a subsequence we may assume that $g_{j}$ converges pointwise to some 1-Lipschitz function $f^{\prime}$ in ${\rm Y}$ (in this case f^{\prime}\lower 3.0pt\hbox{|{\Omega}}=f\lower 3.0pt\hbox{|{\Omega}}). For each $j$ write $g_{j}$ as

[TABLE]

with $f_{n}^{j}=\mathrm{dist}_{x_{n}^{j}}+q_{n}^{j}$. Define the sets $B^{j}_{n}$, $n=1,2,\ldots$ as $B^{j}_{n}:=\{g_{j}=f_{n}^{j}\}$ if $1\leq n\leq k_{j}$ and $B^{j}_{n}:=\varnothing$ if $n>k_{j}$; also set

[TABLE]

Note that $\{C_{n}^{j}\}_{n}$ is a partition of ${\rm Y}$. By the strong locality of $b$ we have

[TABLE]

$\mu$-almost everywhere on $B_{n}^{j}$. Thus the identity

[TABLE]

is valid $\mu$-almost everywhere. For any non-negative $\eta\in\mathrm{LIP}_{b}({\rm Y})$ with bounded support, we then have

[TABLE]

It follows that $b(g_{j})\leq h_{+}$ $\mu$-a.e. and, by Lemma 5.4, that $b(f^{\prime})\leq h_{+}$ $\mu$-almost everywhere. Since f^{\prime}\lower 3.0pt\hbox{|{\Omega}}=f\lower 3.0pt\hbox{|{\Omega}} the locality of $b$ implies that $b(f)\leq h_{+}$ $\mu$-almost everywhere on $\Omega$. Since $f$ is arbitrary it follows that $|b|\leq h_{+}$ $\mu$-almost everywhere on $\Omega$.

The inequality $-|b|\geq h_{-}$ ($\mu$-almost everywhere) on $\Omega$ is proven analogously, using the identity

[TABLE]

∎

Definition 5.6**.**

Given $p\geq 1$, we define the norm $\|\cdot\|_{p,p}$ on ${\rm Der}^{p,p}({\rm Y};\mu)$ as

[TABLE]

The normed space \big{(}{\rm Der}^{p,p}({\rm Y};\mu),\|\cdot\|_{p,p}\big{)} is a Banach space; see [14]. We shall also use the norm

[TABLE]

5.2. The Sobolev space $W^{1,2}({\rm Y},{\sf d},\mu)$

In order to define Sobolev spaces on metric measure spaces, we adopt the approach in [14] using derivations with divergence.

Definition 5.7** (Sobolev space).**

Let $({\rm Y},{\sf d},\mu)$ be a metric measure space and $p\in(1,\infty)$. Let $q$ be the conjugate exponent of $p$. A function $f\in L^{p}(\mu)$ belongs to the Sobolev space $W^{1,p}({\rm Y},{\sf d},\mu)$ provided there exists a $\mathrm{LIP}_{b}({\rm Y})$-linear continuous map $L_{f}:\,{\rm Der}^{q,q}({\rm Y};\mu)\to L^{1}(\mu)$ such that

[TABLE]

Whenever such a map $L_{f}$ exists, it is unique (cf. [14, Remark 7.1.5]).

Theorem 5.8** ($p$-weak gradient).**

Let $f\in W^{1,p}({\rm Y},{\sf d},\mu)$. Then there is a function $g_{f}\in L^{p}(\mu)$ such that

[TABLE]

The least function $g_{f}$ (in the $\mu$-a.e. sense) that realises (5.4) is called $p$-weak gradient of $f$ and denoted by $|Df|$.

For a proof of the previous result we refer to [14, Theorem 7.1.6]. We point out that the $p$-weak gradient $|Df|$ might depend on $p$ (this dependence is omitted in our notation). Thus, the $p$-weak gradient and the $p^{\prime}$-weak gradient of a function in $W^{1,p}({\rm Y},{\sf d},\mu)\cap W^{1,p^{\prime}}({\rm Y},{\sf d},\mu)$ can be different.

The space $W^{1,2}({\rm Y},{\sf d},\mu)$ equipped with the norm

[TABLE]

is a Banach space. In general it is not a Hilbert space. There are alternative (equivalent) ways to define Sobolev spaces on metric measure spaces, namely the approaches that have been proposed in [13, 40, 5]; see also [29, 9] and the monographs [27, 26] for related discussions.

By combining [14, Theorem 7.2.5] with the results of [4], one gets the ensuing approximation theorem:

Theorem 5.9**.**

Let $f\in W^{1,2}({\rm Y},{\sf d},\mu)$ be given. Then there exists a sequence $(f_{n})\subset\mathrm{LIP}_{b}({\rm Y})$ such that $f_{n}\to f$ and $\mathrm{lip}_{a}f_{n}\to|Df|$ in $L^{2}(\mu)$.

The following identity expresses a duality between $W^{1,2}({\rm Y},{\sf d},\mu)$ and ${\rm Der}^{2,2}({\rm Y};\mu)$.

Proposition 5.10**.**

Let $f\in W^{1,2}({\rm Y},{\sf d},\mu)$ be a given Sobolev function. Let us denote by $\mathbb{B}$ the normed dual of \big{(}{\rm Der}^{2,2}({\rm Y};\mu),\|\cdot\|_{2}\big{)}. We define the element $\mathscr{L}_{f}\in\mathbb{B}$ as $\mathscr{L}_{f}(b):=\int L_{f}(b)\,{\rm d}\mu$ for every $b\in{\rm Der}^{2,2}({\rm Y};\mu)$. Then

[TABLE]

To prove Proposition 5.10, we use the following well-known lemma. Let ${\rm LIP}_{bs}({\rm Y})$ be the space of all Lipschitz functions on ${\rm Y}$ with bounded support.

Lemma 5.11**.**

Let $f\in L^{\infty}(\mu)$ be given. Then there exists a sequence $(f_{n})_{n}\subseteq{\rm LIP}_{bs}({\rm Y})$ such that $f_{n}\to f$ pointwise $\mu$-a.e. and ${\|f_{n}\|}_{L^{\infty}(\mu)}\leq{\|f\|}_{L^{\infty}(\mu)}$ for every $n\in\mathbb{N}$.

Proof of Proposition 5.10.

Step 1. First of all, we claim that

[TABLE]

Call $C$ the right hand side of (5.7). Recall that by definition of dual norm we have

[TABLE]

whence trivially ${\|\mathscr{L}_{f}\|}_{\mathbb{B}}\leq C$. To show the converse inequality, fix $b\in{\rm Der}^{2,2}({\rm Y};\mu)$ with $\|b\|_{2}\leq 1$. By Lemma 5.11, we can choose $(g_{n})_{n}\subseteq{\rm LIP}_{bs}({\rm Y})$ such that $\sup_{n}|g_{n}|\leq 1$ and $g_{n}\to{\rm sgn}\,L_{f}(b)$ hold $\mu$-a.e.. Hence by applying the dominated convergence theorem we get

[TABLE]

Since $g_{n}b\in{\rm Der}^{2,2}({\rm Y};\mu)$ and $\|g_{n}b\|_{2}\leq\|b\|_{2}\leq 1$ for all $n\in\mathbb{N}$, we have \int\big{|}L_{f}(b)\big{|}\,{\rm d}\mu\leq{\|\mathscr{L}_{f}\|}_{\mathbb{B}} and accordingly $C\leq{\|\mathscr{L}_{f}\|}_{\mathbb{B}}$. This proves (5.7).

Step 2. It can be readily checked that

[TABLE]

This means that there exists a sequence $(b_{i})_{i}\subseteq{\rm Der}^{2,2}({\rm Y};\mu)$ such that

[TABLE]

For any $n\in\mathbb{N}$, we can pick pairwise disjoint Borel subsets $A^{n}_{1},\ldots,A^{n}_{n}$ of ${\rm Y}$ such that $|b_{i}|>0$ $\mu$-a.e. on $A^{n}_{i}$ for all $i\leq n$ and

[TABLE]

Notice that \lim_{n}\mu\big{(}D\setminus\bigcup_{i\leq n}A^{n}_{i}\big{)}=0, where we set D:=\big{\{}|Df|>0\big{\}}. Moreover, by monotone convergence theorem we see that \sum_{i=1}^{n}{\raise 1.29167pt\hbox{\chi}}_{A^{n}_{i}}\,L_{f}(b_{i})/|b_{i}|\to|Df| in $L^{2}(\mu)$ as $n\to\infty$. Let us choose Borel subsets $B^{n}_{i}\subseteq A^{n}_{i}$ such that

[TABLE]

Now let $n\in\mathbb{N}$ be fixed. Lemma 5.11 grants for all $i\leq n$ the existence of $(g^{i}_{k})_{k}\subseteq{\rm LIP}_{bs}({\rm Y})$ such that $\sup_{k}{\|g^{i}_{k}\|}_{L^{\infty}(\mu)}<+\infty$ and g^{i}_{k}\to{\raise 1.29167pt\hbox{\chi}}_{B^{n}_{i}}/|b_{i}| $\mu$-a.e. in ${\rm Y}$. Then an application of the dominated convergence theorem yields

[TABLE]

Hence for $k$ sufficiently big we have that the derivation $\tilde{b}_{n}:=\sum_{i=1}^{n}g^{i}_{k}\,b_{i}\in{\rm Der}^{2,2}({\rm Y};\mu)$ is such that the $L^{1}(\mu)$-norm of L(\tilde{b}_{n})-\sum_{i=1}^{n}{\raise 1.29167pt\hbox{\chi}}_{B^{n}_{i}}\,L_{f}(b_{i})/|b_{i}| and the $L^{2}(\mu)$-norm of |\tilde{b}_{n}|-{\raise 1.29167pt\hbox{\chi}}_{\bigcup_{i\leq n}B^{n}_{i}} are smaller than $1/n$. By recalling (5.8), we thus deduce that $L(\tilde{b}_{n})\to|Df|$ in $L^{1}(\mu)$ and |\tilde{b}_{n}|\to{\raise 1.29167pt\hbox{\chi}}_{D} in $L^{2}(\mu)$ as $n\to\infty$. Possibly passing to a not relabeled subsequence, we can assume that there exists $G\in L^{1}(\mu)$ such that

[TABLE]

Step 3. We can finally prove (5.6). For any $b\in{\rm Der}^{2,2}({\rm Y};\mu)$ with $\|b\|_{2}\leq 1$ it holds that

[TABLE]

by Hölder inequality, whence {\|\mathscr{L}_{f}\|}_{\mathbb{B}}\leq{\big{\|}|Df|\big{\|}}_{L^{2}(\mu)} by (5.7). For the converse inequality, fix $h\in{\rm LIP}_{bs}({\rm Y})$. By recalling (5.9) and using the dominated convergence theorem, we get

[TABLE]

Now choose any sequence $(h_{i})_{i}\subseteq{\rm LIP}_{bs}({\rm Y})$ such that $h_{i}\to|Df|$ pointwise $\mu$-a.e. and (dominated) in $L^{2}(\mu)$. By writing (5.10) with $h_{i}$ in place of $h$ and then letting $i\to\infty$, we conclude that {\big{\|}|Df|\big{\|}}_{L^{2}(\mu)}\leq{\|\mathscr{L}_{f}\|}_{\mathbb{B}}, as required. ∎

6. Proof of the main result in the separable case

In this section we assume that $({\rm Y},{\sf d})$ is a complete and separable local ${\rm CAT}(\kappa)$ space equipped with a Borel measure $\mu$ that is finite on bounded sets. As discussed in the introduction, the crucial step in the proof of Theorem 1.1 is the construction of an embedding of the ‘abstract analytical object’ ${\rm Der}^{2,2}({\rm Y};\mu)$ into the ‘concrete and geometric bundle’ $L^{2}({\rm T}_{G}{\rm Y};\mu)$ that preserves distances on fibres. The construction of such embedding is the scope of this section.

We start by recalling the following general fact (see also [39, Theorem 3.7] for the general module homomorphism between derivations and $1$-currents; notice that it is obvious that the boundary operation and the divergence operator are in correspondence under this homomorphism).

Lemma 6.1** (From derivations to currents).**

Let $({\rm Y},{\sf d},\mu)$ be a metric measure space. Fix any derivation $b\in{\rm Der}^{1,1}({\rm Y};\mu)$. Then the functional $T_{b}:\,\mathrm{LIP}_{b}({\rm Y})\times\mathrm{LIP}({\rm Y})\to\mathbb{R}$ defined by

[TABLE]

is a normal $1$-current and the mass measure $\|T_{b}\|$ satisfies

[TABLE]

See Remark 5.2 for extending derivations to act on $\mathrm{LIP}({\rm Y})$.

Proof.

By Lemma 5.3 we get the estimate

[TABLE]

and thus taking into account Lemma 5.4 we see that $T_{b}$ is a finite mass 1-current, with

[TABLE]

It is moreover normal, since

[TABLE]

We are left with proving (6.2). By (6.4), it suffices to show that $\mathbb{M}(T_{b})=\int|b|\,{\rm d}\mu$. Let $(x_{n})\subset{\rm Y}$ be countable and dense, and let $f_{n}$ be the function $x\mapsto{\sf d}(x_{n},x)$, for each $n\in\mathbb{N}$. For $\varepsilon>0$ and $n\in\mathbb{N}$, set

[TABLE]

Since, by Proposition 5.5, $|b|=\sup_{n}b(f_{n})$ $\mu$-almost everywhere, we have that the sets $A_{n}$ cover ${\rm Y}$ up to a set of $\mu$-measure zero. Thus the collection $(B_{n})$ is a countable Borel partition of ${\rm Y}$ up to a $\mu$-null set. Let $B\subset{\rm Y}$ be a ball, and estimate

[TABLE]

By the characterization of mass (cf. [7, Proposition 2.7]), we obtain

[TABLE]

Since $\varepsilon>0$ and $B$ are arbitrary, the claim follows. ∎

We now come to the construction of the embedding.

Theorem 6.2** (Embedding of ${\rm Der}^{2,2}({\rm Y};\mu)$ into $L^{2}({\rm T}_{G}{\rm Y};\mu)$).**

Let $({\rm Y},{\sf d},\mu)$ be a complete and separable local ${\rm CAT}(\kappa)$ space equipped with a Borel measure $\mu$ which is finite on bounded sets, and let $b\in{\rm Der}^{2,2}({\rm Y};\mu)$. Then there exists a unique $v\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ such that for any $\bar{x}\in{\rm Y}$ and $y\in B_{{\sf r}_{\bar{x}}}(\bar{x})$ it holds that

[TABLE]

Moreover, $v$ satisfies

[TABLE]

Proof.

Borel regularity. Taking into account Proposition 2.17(i), we can rewrite (6.5) as

[TABLE]

Thus taking into account the continuity of $y\mapsto({\sf G}_{x}^{y})^{\prime}_{0}$, established in Theorem 2.9, and the weak continuity of $y\mapsto b(\mathrm{dist}_{y})$, given by Lemma 5.4, we see that (6.5) holds for every $y\in B_{{\sf r}_{\bar{x}}}(\bar{x})$ if and only if it holds for a countable and dense set of $y\in B_{{\sf r}_{\bar{x}}}(\bar{x})$. Since the continuity of $x\mapsto{\sf r}_{x}$ grants that $B_{{\sf r}_{x}}(x)\subset\cup_{n}B_{{\sf r}_{x_{n}}}(x_{n})$ if $x_{n}\to x$, using an argument based on the Lindelöf property of ${\rm Y}$, we can reduce the claim to checking (6.5) for a countable and dense set of $\bar{x}$’s.

Now for given $\bar{x}$, and $y\in B_{{\sf r}_{\bar{x}}}(\bar{x})$ running in these countable sets, fix a Borel representative $f_{\bar{x},y}$ of $b(\mathrm{dist}_{y})$ on $B_{{\sf r}_{\bar{x}}}(\bar{x})$ and notice that if $v$ satisfies (6.5) for any $y,\bar{x}$ in such countable sets, there is a Borel $\mu$-negligible set $\mathcal{N}\subset{\rm Y}$ such that ${\rm d}_{x}\mathrm{dist}_{y}(v(x))=f_{\bar{x},y}(x)$ for every $x\in B_{{\sf r}_{\bar{x}}}(\bar{x})\setminus\mathcal{N}$. Thus redefining $v$ on $\mathcal{N}$ by setting it to 0 and recalling Proposition 3.1 we conclude that any $v$ for which (6.5) holds for any $\bar{x}\in{\rm Y}$ and $y\in B_{{\sf r}_{\bar{x}}}(\bar{x})$ is, up to modification in a negligible set, a Borel section of ${\rm T}_{G}{\rm Y}$.

Integrability. Propositions 5.5 and 2.17 ensure that any $v$ for which (6.5) holds also satisfies (2.12a). This, together with the Borel measurability proved above, implies that any $v$ satisfying (6.5) belongs to $L^{2}({\rm T}_{G}{\rm Y};\mu)$.

Uniqueness. Let $v_{1},v_{2}\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ satisfy (6.5) so that, by what we already proved, we have that $|v_{1}(x)|_{x}=|v_{2}(x)|_{x}$ for $\mu$-a.e. $x$. By Proposition 2.17$(iii)$, we conclude that $v_{1}(x)=v_{2}(x)$ for $\mu$-a.e. $x$.

Existence. Assume at first that $b\in{\rm Der}^{1,1}({\rm Y};\mu)$ and let $T_{b}$ be defined as in Lemma 6.1, so that $T_{b}$ is a normal 1-current. By Theorem 4.9, we find a finite non-negative Borel measure $\pi$ on $C([0,1];{\rm Y})$ concentrated on curves with constant speed for which (4.12) holds with $T=T_{b}$. Notice that, by restricting $\pi$ to the complement of the set of constant curves (this does not affect the validity of (4.12)), we can assume that $\pi$ gives 0 mass to constant curves.

Let ${\rm e}:\,C([0,1];{\rm Y})\times[0,1]\to{\rm Y}$ be the evaluation map defined as ${\rm e}(\gamma,t):=\gamma_{t}$ and put \hat{\pi}:=\pi\times\mathcal{L}^{1}\lower 3.0pt\hbox{|_{[0,1]}} and $\nu:={\rm e}_{*}\hat{\pi}$. Since $C([0,1];{\rm Y})\times[0,1]$ and ${\rm Y}$ are Polish spaces, we may apply the disintegration theorem (see e.g. [2, Theorem 5.3.1] or [17, Chapter 45]) to $\hat{\pi}$ and ${\rm e}$ to find a weakly measurable family $\{\hat{\pi}_{x}\}_{x\in{\rm Y}}$ of Borel probability measures on $C([0,1];{\rm Y})\times[0,1]$ such that

[TABLE]

and

[TABLE]

for any Borel real-valued map $\Psi$ for which any of these two integrals makes sense.

Recall that the map ${\sf RightDer}:\,C([0,1];{\rm Y})\times[0,1]\to{\rm T}_{G}{\rm Y}$ defined in (3.1) is Borel (Proposition 3.7) and set ${\mathfrak{n}}_{x}:={\sf RightDer}_{*}\hat{\pi}_{x}$. Notice that although, by definition, the measures ${\mathfrak{n}}_{x}$ are measures on ${\rm T}_{G}{\rm Y}$, in fact for $\nu$-a.e. $x$ we have that ${\mathfrak{n}}_{x}$ is concentrated on ${\rm T}_{x}{\rm Y}$ and will therefore be considered, with a slight abuse of notation, as a measure on ${\rm T}_{x}{\rm Y}$. To see this, let $\pi^{\rm Y}:\,{\rm T}_{G}{\rm Y}\to{\rm Y}$ be the canonical projection and notice that ${\rm e}=\pi^{\rm Y}\circ{\sf RightDer}$, thus (6.8) gives $\pi^{\rm Y}_{*}{\mathfrak{n}}_{x}=\delta_{x}$ for $\nu$-a.e. $x$, which implies the claim.

Now observe that, for any $g\in\mathrm{LIP}_{b}({\rm Y})$, we have

[TABLE]

By Proposition 2.20 and the definition of ${\sf Norm}:{\rm T}_{G}{\rm Y}\to\mathbb{R}^{+}$ given in Corollary 3.3 (which also grants that this map is Borel, so that the integrals below are well-defined) we have

[TABLE]

Therefore we have

[TABLE]

As mentioned above, in the last step we made the slight abuse of notation in considering ${\mathfrak{n}}_{x}$ as a measure on ${\rm T}_{x}{\rm Y}$. In particular, choosing $g\equiv 1$, we get

[TABLE]

which implies that ${\mathfrak{n}}_{x}\in\mathscr{P}_{1}({\rm T}_{x}{\rm Y})$ for $\nu$-a.e. $x$. Let us define

[TABLE]

Now set, for brevity, $\Phi(x):=\int|v|\,{\rm d}{\mathfrak{n}}_{x}(v)$ and notice that the regularity granted by the disintegration theorem ensures that $\Phi$ is Borel. Also, the fact that $\pi$ is concentrated on curves whose speed is constant and non-zero tells that ${\sf Norm}({\sf RightDer}(\gamma,t))>0$ for $\hat{\pi}$-a.e. $(\gamma,t)$ and hence that $\Phi>0$ $\nu$-a.e.. Now notice that (6.10) and the arbitrariness of $g$ yield $|b|\mu=\Phi\nu$, so that the positivity of $\Phi$ implies $\nu\ll\mu$. Hence it holds that $|b|\mu=\Phi\frac{{\rm d}\nu}{{\rm d}\mu}\mu$, i.e.

[TABLE]

Let $\bar{x}\in{\rm Y}$ and $\bar{y}\in B_{{\sf r}_{\bar{x}}}(\bar{x})$ and denote $f:=\mathrm{dist}_{\bar{y}}$. Thus $f$ is Lipschitz and semiconvex on $B_{{\sf r}_{\bar{x}}}(\bar{x})$. Then, for $g\in\mathrm{LIP}_{b}({\rm Y})$ with support in $B_{{\sf r}_{\bar{x}}}(\bar{x})$, we have, by the same considerations as before to justify the computations (and writing ${\rm d}f(x,v)$ for ${\rm d}_{x}f(v)$):

[TABLE]

By the arbitrariness of $g$, it follows that

[TABLE]

By the Jensen inequality recalled in Subsection 2.5 and the convexity and continuity of ${\rm d}_{x}f$ (Proposition 2.16) this gives

[TABLE]

Now we let $\bar{x}$ vary in a countable set so that the balls $B_{{\sf r}_{\bar{x}}}(\bar{x})$ cover the whole ${\rm Y}$ (such set can be found by the Lindelöf property of ${\rm Y}$) and for each such $\bar{x}$ we let $\bar{y}$ vary in a countable dense set in $B_{{\sf r}_{\bar{x}}}(\bar{x})$: taking the infimum in (6.13) among these $\bar{x},\bar{y}$ and recalling Proposition 2.17$(ii)$ and Proposition 5.5, we deduce

[TABLE]

Hence taking into account (6.11) we obtain

[TABLE]

Since $|v|_{x}={\sf d}_{x}(v,0)$, by the rigidity statement in Proposition 2.27 we deduce that ${\mathfrak{n}}_{x}$ is concentrated on a half-line starting from $0\in{\rm T}_{x}{\rm Y}$ for $\nu$-a.e. $x$. For any $x$ for which this is true, it is easy to check (see also [41, Example 5.2]) that any positively 1-homogeneous function $h:{\rm T}_{x}{\rm Y}\to\mathbb{R}$ satisfies

[TABLE]

Applying this identity to $h:={\rm d}_{x}\mathrm{dist}_{\bar{y}}$, from (6.12) we get

[TABLE]

which by the arbitrariness of $\bar{y}$ means that $v(x):=\frac{{\rm d}\nu}{{\rm d}\mu}(x){\sf B}(x)$ satisfies (6.5), and thus concludes the proof for $b\in{\rm Der}^{1,1}({\rm Y};\mu)$.

For the case $b\in{\rm Der}^{2,2}({\rm Y};\mu)$ we argue as follows. Fix $\bar{x}\in{\rm Y}$ and let $(\eta_{n})$ be a sequence of Lipschitz functions with bounded support such that $\eta_{n}\equiv 1$ on $B_{n}(\bar{x})$. Then, by the Leibniz rule for the divergence (cf. [14, Lemma 7.1.2]), we see that $\eta_{n}b\in{\rm Der}^{1,1}({\rm Y};\mu)$. Thus we have the existence of $v_{n}\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ satisfying (6.5) for $b_{n}$. In particular, by (6.6), we have that

[TABLE]

From the weak locality of derivations it follows that $v_{n}=v_{m}$ on $B_{n}(\bar{x})$ for every $m\geq n$, hence the Borel section $v$ of ${\rm T}_{G}{\rm Y}$ given by

[TABLE]

is well-defined and, by (6.14) and the assumption $|b|\in L^{2}(\mu)$, belongs to $L^{2}({\rm T}_{G}{\rm Y};\mu)$. Then again the weak locality of derivations ensures that $v$ satisfies (6.5), thus concluding the proof. ∎

Definition 6.3**.**

For $b\in{\rm Der}^{2,2}({\rm Y};\mu)$ we shall denote by $\mathscr{F}(b)$ the section $v\in L^{2}({\rm T}_{G}{\rm Y};\mu)$ given by Theorem 6.2. Thus we have a map

[TABLE]

Then we have:

Corollary 6.4** (‘Linearity’ of $\mathscr{F}$).**

Let $({\rm Y},{\sf d},\mu)$ be a complete and separable local ${\rm CAT}(\kappa)$ space equipped with a Borel measure $\mu$ finite on bounded sets and $b_{1},b_{2}\in{\rm Der}^{2,2}({\rm Y};\mu)$. Then $\mu$-a.e. we have

[TABLE]

Proof.

The statement is local in nature, thus up to using a countable cover of ${\rm Y}$ with balls of the form $B_{{\sf r}_{x}}(x)$, we can assume that ${\rm Y}$ is a separable ${\rm CAT}(\kappa)$ space with diameter $<D_{\kappa}$.

Now let $(y_{n})\subset{\rm Y}$ be countable and dense and put for brevity $f_{n}:=\mathrm{dist}_{y_{n}}$. For every $n\in\mathbb{N}$ we have

[TABLE]

$\mu$-a.e., having used the fact that ${\rm d}_{x}f_{n}$ is 1-Lipschitz in the last step (Proposition 2.16). Passing to the supremum in $n$ we obtain

[TABLE]

On the other hand, using the convexity and positive 1-homogeneity of ${\rm d}_{x}f_{n}$ (Proposition 2.16) we have

[TABLE]

for $\mu$-a.e. $x$. By Proposition 2.17$(iii)$ and the arbitrariness of $n$ this implies

[TABLE]

Therefore, $\mu$-a.e. we have

[TABLE]

Writing this for $b_{1}+b_{2},b_{1}-b_{2}$ in place of $b_{1},b_{2}$ we see that all the inequalities that we used are in fact equalities.

In particular the last inequality is an equality, thus proving the last identity in (6.15). The equality in (6.16) is the second in (6.15). Finally, the equality in (6.18) and Proposition 2.17$(iii)$ imply the first identity in (6.15). This completes the proof. ∎

We can now easily prove our main result. We restrict ourselves to the separable setting for the moment, and postpone the technical differences to deal with in non-separable spaces to the next section.

Proof of Theorem 1.1 for separable spaces. By Proposition 5.10 we have

[TABLE]

Since the space

[TABLE]

is (pre)Hilbert by Theorem 6.2 and Corollary 6.4 (in particular by the third in (6.15)), it follows that its dual is a Hilbert space (note that $\mathscr{L}_{f}\in\mathbb{D}^{*}=\mathbb{B}$ in the notation of Proposition 5.10). Thus

[TABLE]

This completes the proof. ∎

In fact, as we shall see shortly, the completion of the space $\mathbb{D}$ defined in (6.19) is isomorphic to the $L^{2}$-tangent module. This is the content of Proposition 6.5 below. We briefly introduce some additional machinery before stating the proposition.

Recall the space of $L^{2}$-derivations

[TABLE]

which, by [14, Section 7.1.1], is complete when equipped with the norm $\|\cdot\|_{2}$. Since $\mathbb{D}\subset{\rm Der}^{2}({\rm Y};\mu)$, the completion $\overline{\mathbb{D}}$ of $\mathbb{D}$ under $\|\cdot\|_{2}$ is a Banach space and satisfies $\overline{\mathbb{D}}\subset{\rm Der}^{2}({\rm Y};\mu)$. In particular, there is a pointwise norm $|\cdot|:\,\overline{\mathbb{D}}\to L^{2}(\mu)$ given by the norm of a derivation (see Lemma 5.3). Using the fact that $\mathbb{D}$ is a $\mathrm{LIP}_{bs}({\rm Y})$-module (cf. [14, Lemma 7.1.2]), Lemma 5.11 and the dominated convergence theorem, we see that $\overline{\mathbb{D}}$ is an $L^{\infty}(\mu)$-module. Thus \big{(}\overline{\mathbb{D}},\|\cdot\|_{2},|\cdot|\big{)} is an $L^{2}(\mu)$-normed $L^{\infty}(\mu)$-module. We refer to [19] for the theory of normed $L^{\infty}(\mu)$-modules.

The estimate (5.4) implies that, given $f\in W^{1,2}({\rm Y},{\sf d},\mu)$, the module-homomorphism $L_{f}:{\rm Der}^{2,2}({\rm Y};\mu)\to L^{1}(\mu)$ extends to a $L^{\infty}(\mu)$-linear bounded map $L_{f}:\overline{\mathbb{D}}\to L^{1}(\mu)$ satisfying the bound

[TABLE]

We briefly recall that the cotangent module $L^{2}({\rm T}^{*}{\rm Y};\mu)$ (see [19]) is an $L^{2}(\mu)$-normed $L^{\infty}(\mu)$-module, equipped with an exterior derivative

[TABLE]

whose image generates $L^{2}({\rm T}^{*}{\rm Y};\mu)$ as a module. The tangent module $L^{2}({\rm T}{\rm Y};\mu)$ is defined to be the module dual of $L^{2}({\rm T}^{*}{\rm Y};\mu)$. A vector field $X\in L^{2}({\rm T}{\rm Y};\mu)$ is said to have Sobolev divergence if there exists a function $g\in L^{2}(\mu)$ such that

[TABLE]

The function $g$, if it exists, is unique, and denoted by $\mathrm{div}_{S}X$. We denote by $D(\mathrm{div}_{S})$ the vector space of elements of $L^{2}({\rm T}{\rm Y};\mu)$ that have Sobolev divergence. See [19] for the details.

Proposition 6.5**.**

Let $({\rm Y},{\sf d},\mu)$ be an infinitesimally Hilbertian metric measure space. Then the map

[TABLE]

takes values in $\overline{\mathbb{D}}$ and provides an isomorphism of modules between $L^{2}({\rm T}{\rm Y};\mu)$ and $\overline{\mathbb{D}}$.

Proof.

It is easy to see that, if $X\in L^{2}({\rm T}{\rm Y};\mu)$ has divergence $\mathrm{div}_{S}X\in L^{2}(\mu)$, then $A(X)$ has divergence in the sense of (5.1), and

[TABLE]

$\mu$-almost everywhere. Since $W^{1,2}({\rm Y},{\sf d},\mu)$ is a Hilbert space, [19, Proposition 2.3.17] implies that $L^{2}({\rm T}{\rm Y};\mu)$ is a Hilbert module. As a simple consequence of [19, Proposition 2.3.14 and (2.3.13)], the space $D(\mathrm{div}_{S})$ is dense in $L^{2}({\rm T}{\rm Y};\mu)$. Thus since we already noticed that $A(D(\mathrm{div}_{S}))\subset\mathbb{D}$, we also get that $A(L^{2}({\rm T}{\rm Y};\mu))\subset\overline{\mathbb{D}}$. We will prove that $A$ is a module isomorphism $L^{2}({\rm T}{\rm Y};\mu)\to\overline{\mathbb{D}}$.

For each $f\in\mathrm{LIP}_{b}({\rm Y})$, $g,h\in L^{\infty}(\mu)$ and $V,W\in L^{2}({\rm T}{\rm Y};\mu)$, we have

[TABLE]

establishing that $A$ is a $L^{\infty}(\mu)$-linear module homomorphism $L^{2}({\rm T}{\rm Y};\mu)\to\overline{\mathbb{D}}$. Note that

[TABLE]

so that $A$ is bounded. By definition, we have that

[TABLE]

Since $W^{1,2}({\rm Y},{\sf d},\mu)$ is a Hilbert space, using Theorem 5.9 and Mazur’s lemma, it is easy to see that $\mathrm{LIP}_{bs}({\rm Y})$ is dense in $W^{1,2}({\rm Y},{\sf d},\mu)$ (see also [21, Corollary 2.9]). From this and Theorem 5.9, it follows that

[TABLE]

Thus we have

[TABLE]

We have established that $A:\,L^{2}({\rm T}{\rm Y};\mu)\to\overline{\mathbb{D}}$ is an $L^{\infty}(\mu)$-module homomorphism satisfying

[TABLE]

pointwise $\mu$-almost everywhere, for every $V\in L^{2}({\rm T}{\rm Y};\mu)$. To show it is an isometric module isomorphism, it suffices to prove that it is onto.

Let $\bar{b}\in\overline{\mathbb{D}}$. Define the linear map

[TABLE]

By (6.20) and [19, Proposition 1.4.8], $L$ extends to a vector field $X\in L^{2}({\rm T}{\rm Y};\mu)$ satisfying

[TABLE]

In particular, for $f\in\mathrm{LIP}_{bs}({\rm Y})$, we have

[TABLE]

This implies the surjectivity of $A$, and concludes the proof. ∎

See [15] for more on preduals of the Sobolev spaces.

Proof of Theorem 1.2. Let $({\rm Y},{\sf d})$ be a complete and separable ${\rm CAT}(\kappa)$-space, and $\mu$ a Borel measure on ${\rm Y}$, which is finite on bounded sets. By the proof above of Theorem 1.1 in the separable case, we have that $W^{1,2}({\rm Y},{\sf d},\mu)$ is a Hilbert space. From Theorem 6.2 and Corollary 6.4 it follows that the space $\overline{\mathbb{D}}$ admits an isometric embedding

[TABLE]

satisfying (6.15). Thus the claim follows directly from Proposition 6.5 by precomposing $\mathscr{F}^{\prime}$ with the isometric module isomorphism $A:L^{2}({\rm T}{\rm Y};\mu)\to\overline{\mathbb{D}}$.∎

7. The non-separable case

In defining derivations and Sobolev functions we assumed, following [14], that the underlying metric space is separable. Yet, as noted in the introduction, from a purely geometric perspective it is quite unnatural to impose a separability condition when dealing with ${\rm CAT}(\kappa)$ spaces. In this section we discuss how to remove the condition of separability, the relevant result being Theorem 7.1. Let us remark that we shall continue to assume that the measure $\mu$ on ${\rm Y}$ has separable support, or equivalently that it is tight: the discussion here concerns the definition of Sobolev functions itself, in this setting.

One of the reasons for the success of the theory of Sobolev calculus on metric measure spaces is that there are many different definitions of Sobolev spaces in such environment which turn out to be equivalent. In trying to extend such an equivalence result to the non-separable setting one could either re-run all the arguments and check that they work even in the more general framework (this is possible – and works – but is quite tedious) or argue as below.

Out of the several definitions of Sobolev functions, there are two ‘extremal’ ones introduced in [5]: the one obtained by relaxation of the asymptotic Lipschitz constant (we shall denote the corresponding space and notion of minimal relaxed upper gradient by $W^{1,2}_{\rm rel}({\rm Y},{\sf d},\mu)$ and $|{\rm d}f|_{\rm rel}$) and the one obtained by duality with test plans (we shall denote the corresponding space and notion of minimal weak upper gradient by $W^{1,2}_{\rm tp}({\rm Y},{\sf d},\mu)$ and $|{\rm d}f|_{\rm tp}$). These produce in some sense the ‘biggest’ and ‘smallest’ weak notion of upper gradient and it is easy to check from the definitions that

[TABLE]

One of the main results in [5] is the proof that the two spaces and the two notions of upper gradients coincide. This fact is used by the first author in [14] to prove that the notion of Sobolev space obtained by duality with derivations coincides with $W^{1,2}_{\rm rel}({\rm Y},{\sf d},\mu)=W^{1,2}_{\rm tp}({\rm Y},{\sf d},\mu)$ and induces the same upper gradient.

We add the following ingredient to the discussion above:

Theorem 7.1**.**

Let $({\rm Y},{\sf d},\mu)$ be a complete and separable metric space equipped with a positive Radon measure which is finite on bounded sets. Let ${\rm Y}_{1},{\rm Y}_{2}\subset{\rm Y}$ be closed sets on which $\mu$ is concentrated. Set {\sf d}_{i}:={\sf d}\lower 3.0pt\hbox{|{{\rm Y}{i}\times{\rm Y}{i}}}, \mu_{i}:=\mu\lower 3.0pt\hbox{|{{\rm Y}_{i}}}, $i=1,2$ and notice that the identity on the support of $\mu$ induces an isomorphism $\iota:L^{2}({\rm Y}_{1},\mu_{1})\to L^{2}({\rm Y}_{2},\mu_{2})$. Then:

• i)

$\iota$* induces an isomorphism from $W^{1,2}_{\rm rel}({\rm Y}_{1},{\sf d}_{1},\mu_{1})$ to $W^{1,2}_{\rm rel}({\rm Y}_{2},{\sf d}_{2},\mu_{2})$ which respects $|{\rm d}\cdot|_{\rm rel}$,*

• ii)

$\iota$* induces an isomorphism from $W^{1,2}_{\rm tp}({\rm Y}_{1},{\sf d}_{1},\mu_{1})$ to $W^{1,2}_{\rm tp}({\rm Y}_{2},{\sf d}_{2},\mu_{2})$ which respects $|{\rm d}\cdot|_{\rm tp}$.*

Proof.

We can assume ${\rm Y}_{2}={\rm Y}$.

(i) Given that for any $f:{\rm Y}\to\mathbb{R}$ we have \mathrm{lip}_{a}(f)(x)\geq\mathrm{lip}_{a}(f\lower 3.0pt\hbox{|{{\rm Y}{1}}})(x), we see that $W^{1,2}_{\rm rel}({\rm Y},{\sf d},\mu)\subset W^{1,2}_{\rm rel}({\rm Y}_{1},{\sf d}_{1},\mu_{1})$ with $|{\rm d}f|_{{\rm rel},{\rm Y}_{1}}\leq|{\rm d}f|_{{\rm rel},{\rm Y}}$ for any $f\in W^{1,2}_{\rm rel}({\rm Y},{\sf d},\mu)$. To prove the other inclusion and inequality, by the definition of $W^{1,2}_{\rm rel}({\rm Y},{\sf d},\mu)$ it is sufficient to prove that for any Lipschitz function $f:{\rm Y}\to\mathbb{R}$ we have

[TABLE]

Fix a Lipschitz function $f:{\rm Y}\to\mathbb{R}$ and $\varepsilon>0$. For any $x\in{\rm Y}_{1}$, let $r>0$ be such that \mathrm{Lip}(f\lower 3.0pt\hbox{|{{\rm Y}{1}\cap B_{r}(x)}})\leq\mathrm{lip}_{a}(f\lower 3.0pt\hbox{|{{\rm Y}{1}}})+\varepsilon. By the McShane extension lemma there is a Lipschitz function $g:{\rm Y}\to\mathbb{R}$ coinciding with $f$ on ${\rm Y}_{1}\cap B_{r}(x)$ such that \mathrm{Lip}(g)=\mathrm{Lip}(f\lower 3.0pt\hbox{|{{\rm Y}{1}\cap B_{r}(x)}}). By the locality property of relaxed upper gradients we see that

[TABLE]

Keeping in mind that $|{\rm d}g|_{{\rm rel},{\rm Y}}\leq\mathrm{Lip}(g)$ and the construction we deduce that

[TABLE]

Repeat this argument for every $x\in{\rm Y}_{1}$ and then use the Lindelöf property of ${\rm Y}_{1}$ to deduce that, as $x$ varies in a countable dense set, the balls $B_{r}(x)$ as above cover the whole ${\rm Y}_{1}$. Then (7.2) gives

[TABLE]

and the conclusion follows by letting $\varepsilon\downarrow 0$.

(ii) It is sufficient to check that a test plan on ${\rm Y}$ is also a test plan on ${\rm Y}_{1}$ and vice versa. The ‘vice versa’ is obvious by the inclusion $C([0,1];{\rm Y}_{1})\subset C([0,1];{\rm Y})$. For the other implication it is sufficient to show that any test plan $\pi$ on ${\rm Y}$ is concentrated on $C([0,1];{\rm Y}_{1})$. To see this, let ${\rm e}_{t}:\,C([0,1];{\rm Y})\to{\rm Y}$ be defined by ${\rm e}_{t}(\gamma):=\gamma_{t}$ and notice that for any dense set $(t_{n})\subset[0,1]$ the inclusion

[TABLE]

holds. Since $({\rm e}_{t})_{*}\pi\ll\mu$ and $\mu$ are concentrated on ${\rm Y}_{1}$, we have that \pi\big{(}{\rm e}_{t_{n}}^{-1}({\rm Y}\setminus{\rm Y}_{1})\big{)}=0 for every $n$. The claim follows. ∎

Thanks to this result we can now give the following definition:

Definition 7.2** (Sobolev spaces on non-separable metric spaces).**

Let $({\rm Y},{\sf d},\mu)$ be a complete, not necessarily separable, metric space equipped with a non-negative and non-zero Radon measure $\mu$ giving finite mass to bounded sets.

Then the Sobolev space $W^{1,2}({\rm Y},{\sf d},\mu)$ (and the corresponding notion of upper gradient $|{\rm d}f|$) is defined as $W^{1,2}({\rm Y}_{1},{\sf d}_{1},\mu_{1})$, where ${\rm Y}_{1}$ is any closed and separable subspace of ${\rm Y}$ on which $\mu$ is concentrated, while {\sf d}_{1}:={\sf d}\lower 3.0pt\hbox{|{{\rm Y}{1}\times{\rm Y}{1}}} and \mu_{1}:=\mu\lower 3.0pt\hbox{|{{\rm Y}_{1}}}.

The role of Theorem 7.1 is to prove that this definition is consistent with the case of separable spaces. By the fact that most of the notions of Sobolev spaces in mm-spaces (including those of Cheeger [13], [40] and the first author [14]) are naturally ‘chained’ between $W^{1,2}_{\rm rel}$ and $W^{1,2}_{\rm tp}$ and, since these latter spaces coincide as already remarked, we see that Theorem 7.1 implies that all these notions remain unchanged when passing from ${\rm Y}_{1}$ to ${\rm Y}_{2}$, as in Theorem 7.1. This is why we do not specify the definition of Sobolev space we are referring to in Definition 7.2: they all agree.

With this said, the proof of our main Theorem 1.1 in the general case is a trivial consequence of the result established in the separable setting:

Proof of Theorem 1.1 in the general non-separable setting. We need to prove that for any $f,g\in W^{1,2}({\rm Y},{\sf d},\mu)$ it holds that

[TABLE]

Notice that the measure $\mu$ is by assumption finite on bounded sets and Radon. Hence it is concentrated on a countable union $Z$ of compact sets, which is separable. Fix $x\in Z$. We claim that there exists $\Omega\subset{\rm Y}$ with the following properties:

[TABLE]

To construct such a set $\Omega$ we start by noticing that the map $r\mapsto\mu(B_{r}(x))$ is non-decreasing, hence continuous except at a countable number of points. Fix a continuity point $r<{\sf r}_{x}$, for which $\mu(B_{r}(x))>0$. Since $r$ is a continuity point, we have $\mu(\partial B_{r}(x))=0$. Let $C$ be the closed convex hull of $B_{r}(x)\cap\bar{Z}$ and define $\Omega$ as the interior of $C$ in $C\cup\bar{Z}$. (Notice that $\Omega\subset\bar{\Omega}\subset C$ and that, by convexity of the ball $B_{r}(x)$, $C\cap\bar{Z}=B_{r}(x)\cap\bar{Z}$.)

Since $\Omega$ is the interior of a convex set it follows that $\Omega$, and thus its closure $\bar{\Omega}$, is a ${\rm CAT}(\kappa)$-space. The set $\bar{\Omega}$ is separable by construction. This establishes (7.5).

Note that $B_{r}(x)\cap\bar{Z}$ is open in $\bar{Z}$. Moreover, $B_{r}(x)\cap\bar{Z}\subset\Omega$. To see this, let $y\in B_{r}(x)\cap\bar{Z}$ and let $\varepsilon>0$ be a radius for which $B_{\varepsilon}(y)\subset B_{r}(x)$. Then

[TABLE]

is a neighbourhood of $y$ in $C\cup\bar{Z}$. Thus $y$ is an interior point of $C$. This proves (7.4) and (7.6).

To show (7.7), note that since $\Omega$ is open in $C\cup\bar{Z}$, it is open in $\bar{\Omega}\cup\bar{Z}$. It suffices to show that $\mu(\partial_{C\cup\bar{Z}}\Omega)=0$. This follows from the estimate

[TABLE]

Thus we have constructed a set $\Omega$ with the desired properties.

By [6, Theorem 4.19$(i)$] applied with ${\rm X}:=\bar{\Omega}\cup\bar{Z}$ we see that f\lower 3.0pt\hbox{|_{\bar{\Omega}}}\in W^{1,2}(\bar{\Omega}) with

[TABLE]

and the same holds for $g$. Since we know that Theorem 1.1 holds on separable ${\rm CAT}(\kappa)$ spaces we have (see, e.g., also [19, Proposition 2.3.17]) that

[TABLE]

Then the conclusion (7.3) comes from this identity, (7.8) and the Lindelöf property of $Z$. ∎