Abstract
In Quantum HydroDynamics the following problem is relevant: let \((\sqrt{\rho },\Lambda ) \in {W^{1,2}}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {R}}^+) \times L^2({\mathbb {R}}^d,\mathcal L^d,{\mathbb {R}}^d)\) be a finite energy hydrodynamics state, i.e. \(\Lambda = 0\) when \(\rho = 0\) and
The question is under which conditions there exists a wave function \(\psi \in {W^{1,2}}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {C}})\) such that
The second equation gives for \(\psi = \sqrt{\rho } w\) smooth, \(w = 1\), that \(i \Lambda = \sqrt{\rho } {\bar{w}} \nabla w\). Interpreting \(\rho {\mathcal {L}}^d\) as a measure in the metric space \({\mathbb {R}}^d\), this question can be stated in generality as follows: given metric measure space \((X,d,\mu )\) and a cotangent vector field \(v \in L^2(T^* X)\), is there a function \(w \in {W^{1,2}}(X,\mu ,{\mathbb {S}}^1)\) such that
Under some assumptions on the metric measure space \((X,d,\mu )\) (conditions which are verified on Riemann manifolds with the measure \(\mu = \rho \textrm{Vol}\) or more generally on nonbranching \(\textrm{MCP}(K,N)\)), we show that the necessary and sufficient conditions for the existence of w is that (in the case of differentiable manifold)
for \(\pi \)a.e. \(\gamma \), where \(\pi \) is a test plan supported on closed curves. This condition generalizes the condition that the vorticity is quantized. We also give a representation of every possible solution. In particular, we deduce that the wave function \(\psi = \sqrt{\rho } w\) is in \(W^{1,2}(X,\mu ,{\mathbb {C}})\) whenever \(\sqrt{\rho } \in W^{1,2}(X,\mu ,{\mathbb {R}}^+)\).
1 Introduction
This paper is devoted to the following question arising in Quantum HydroDynamics (QHD): assume that \((\sqrt{\rho },\Lambda ) \in {W^{1,2}}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {R}}^+) \times L^2({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {R}}^d)\) are such that \(\Lambda = 0\) when \(\rho = 0\). The question is under which conditions there exists a wave function \(\psi \in {W^{1,2}}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {C}})\) such that
Here and in the following \(\Im (\cdot )\) is the imaginary part of a complex number.
The second equation in (1.1) gives for \(\psi = \sqrt{\rho } w\) smooth, \(w = 1\), that \(i \Lambda = \sqrt{\rho } {\bar{w}} \nabla w\). The interest in the above question arises because \(\rho , J\) are obtained as solutions to the QHD system
which is the system of PDE satisfied by the hydrodynamics quantities in (1.1) if \(\psi \in C({\mathbb {R}},{W^{1,2}}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {C}}))\) solves the Schrödinger equation
where
Apart from the 1d case, where a weak solution to (1.2) can be constructed and then the wave function \(\psi \) is recovered (see [5]), in the general case one first obtains the solution to (1.3) and then shows that the associated hydrodynamics quantities (1.1) satisfy (1.2); for an overview of the mathematical theory for QHD we refer to [3].
An implication that \((\rho ,J)\) are derived from a wave function \(\psi \) is that
which mimics the fact that \(\textrm{curl}\, \nabla \theta = 0\), where \(\psi = \sqrt{\rho } e^{i\theta }\): here and in the following \(\wedge \) is the outer product in \({\mathbb {R}}^d\). Being this condition a local condition, it is not sufficient for the existence of a wave function \(\psi \), as one can see with the elementary example in \({\mathbb {R}}^2\)
Indeed (1.4) is verified and being \(v = \alpha x^\perp /x^2\), \(\textrm{curl}\,v = 2 \pi \alpha \delta _0\), for \(\alpha \notin {\mathbb {N}}\) it is impossible to solve
where Dw is the differential of the function w.
In [4] the authors present some results which extend the 1d case reconstruction of the wave function \(\psi \) to the case when \(x \in {\mathbb {R}}^d\) and \(\rho ,J\) are radially symmetric, and more interestingly when \(x \in {\mathbb {R}}^2\), the mass \(\rho \) is continuous and the vacuum set \(\{\rho = 0\}\) is given by isolated points \(\{x_1,x_2,\dots \}\), and the velocity field \(v = J/\rho \) is a distribution such that
In this case the local function w(x) given by \(D w = iv w\) (which is obtained by the above curlfree condition (1.4)) can be extended to a global one because of the integer circuitation condition (1.6): indeed, considering a single singular point \(x_1 = 0\)
one deduces that for all test function \(\phi \)
In particular (by considering radial function \(\psi \), for example) one obtains that for \({\mathcal {L}}^1\)a.e. r it holds
Hence, the local functions w can be extended globally, since after a rotation around \(x_1\) the value
is the same, and indeed the counterexample (1.5) does not satisfy exactly (1.6) about the point \(x=0\).
More in general, one can see that the condition (1.6) is equivalent to the following. Let \(\Gamma ({\mathbb {R}}^2)\) be the metric space of Lipschitz curves \(\gamma : [0,1] \mapsto {\mathbb {R}}^2\) with the uniform topology \(C_0\), and define a test plan \(\pi \) as a probability measure such that its evaluation \(e(t)_\sharp \pi \) at time t satisfies
for all \(\phi \ge 0\) continuous function. The formula (1.8) is then rewritten as follows: for \(\pi \)a.e. \(\gamma \) such that \(\gamma (0) = \gamma (1)\) (i.e. it is a closed path) it holds
where \(\textrm{Wi}(\gamma ,x)\) is the winding number of \(\gamma \) around \(z \notin \gamma ([0,1])\). Being the set \(\{\rho =0\}\) locally finite (or more generally of \({\mathcal {H}}^1\)measure 0), one can prove that \(\pi \)a.e. \(\gamma \) is not passing through \(\{\rho = 0\}\), so that for \(\pi \)a.e. \(\gamma \) the winding number \(\textrm{Wi}(\gamma ,x_i)\) is defined for all \(x_i\). The above formula is actually equivalent to the weak formulation (1.7) because for sufficiently regular functions the boundary of almost all level sets is the union of closed curves.
Formula (1.9) is meaningful in any dimension, and actually even in metric measure spaces, and gives rise to the following questions.
Problem
Let \((X,d,\mu )\) be a metric measure space (a Polish space with \(\mu \in {\mathcal {P}}(X)\) Borel probability measure) and let \(v \in L^2(T^* X)\) be a cotangent vector field such that, if \(\pi \) is a test plan supported on the set of closed curves, then

(1)
Is there a function \(w \in L^\infty (X,{\mathbb {S}}^1)\) such that its differential satisfies
$$\begin{aligned} Dw = i w v \, ? \end{aligned}$$(1.11) 
(2)
Assuming moreover that m is the ambient measure in (X, d) and
$$\begin{aligned} \mu = \frac{f^2 m}{\Vert f\Vert _2^2} \quad \text {with} \ f \in W^{1,2}(X,{m},{\mathbb {R}}), \end{aligned}$$(1.12)does the function fw belong to \(W^{1,2}(X,{m},{\mathbb {C}})\)?
Above and in the following we will use the identification \(\{z \in {\mathbb {C}},z=1\} = {\mathbb {S}}^1\), this should not generate confusion. In the case \(X = {\mathbb {R}}^d\) (or a differentiable manifold) the objects considered in the previous statement are standard, while in Sect. 3 we recall their definitions for generic metric measure spaces following [11].
The assumption that \(v \in L^2(T^*X)\) is the analog of the requirement \(\Lambda = \sqrt{\rho } v \in L^2({\mathbb {R}}^d,{{\mathbb {R}}^d})\) in the Euclidean setting. We will call the condition (1.10) the integer circuitation condition. It is obvious that the opposite is trivial, i.e. \(v= i Dw/w\) has integer circuitation.
It turns out that in general metric spaces the answer is no, simply because the space may have too few curves and the measure \(\mu \) may be too singular (Example 6.3). But in more regular spaces the answer is positive:
Theorem 1.1
Assume that (X, d, m) has the measure contraction property \(\textrm{MCP}(K,N)\) (and if branching the ambient measure m is the Hausdorff measure \({\mathcal {H}}^N\)). Then, for every \(f \in W^{1,2}(X,m,{\mathbb {R}})\) and cotangent vector field \(v \in L^2(T^*X)\) w.r.t. the measure \(\mu = f^2 m/\Vert f\Vert _2^2\), there exists \(w \in L^\infty (X,m,{\mathbb {S}}^1)\) such that
Moreover, there exists a partition of \(\{f > 0\}\) into at most countably many sets \(\Omega _i\), \(m(\Omega _i) > 0\),
such that for every function \(w'\) satisfying \(Dw = i w v\) it holds
The second part of the statement is the same as the 1d case, where in every interval such that \(\{f > 0\}\) the function w is determined up to a constant. Moreover, every Riemann manifold satisfies the assumptions of the theorem.
Before giving an overview of the proof, some comments are in order.
The actual result proved here is more general: the idea is to decompose the space X into regions \(\{\Omega _\alpha \}_\alpha \) in which a.e. points \(x,y \in \Omega _\alpha \) can be connected by test plans, and in these regions to construct the function w by integrating along curves. The technical part is to remove curves \(\gamma \) which are not “good” for v: either the integral along \(\gamma \) is not defined or the circuitation (1.13) is not integer if \(\gamma \) is closed. The non technical part is that such a decomposition does not need to be sufficiently regular to decompose the metric measure space (X, d, m) into metric measure spaces \((\Omega _\alpha ,d,m_\alpha )\). Example 6.3 indeed uses the well known construction of the Vitali set to show that the decomposition above does not exist in general. From a measure theoretical point of view, one needs to assume that the partition \(\{\Omega _\alpha \}_\alpha \) admits a strongly consistent disintegration, i.e. one can write
This condition is certainly fullfilled if the partition \(\{\Omega _\alpha \}_\alpha \) is countable, and this countability property is true under the assumptions of Theorem 1.1. It is not clear to us if such a decomposition into these measuretheoretic indecomposable components \(\Omega _\alpha \) has some interests on its own.
Within these setting, the function v is not locally integrable, so \(\textrm{curl}\,v\) is meaningless even distributionally. On the other hand, as in the example of (1.5), the study of \(\textrm{curl}\,\Lambda \) does not yield any condition into the existence of the function w. It is not clear if there exists some \(\textrm{curl}\)like functional which allows to write the integer circuitation condition in a more PDE point of view, for example identifying the quantum vortex structure on which the rotational part of v is concentrated and has \(2\pi {\mathbb {Z}}\)density, as in (1.6).
Another question is whether the integer circuitation assumption (1.10) is preserved by the flow of (1.2). A tautological argument is that since a solution to the QHD system is constructed by means of a wave function \(\psi \) solving Shcrödinger equation, a posteriori the integer circuitation condition must be compatible with the QHD formulation. Similarly for the study of the identity (1.4), it can be shown that the integer circuitation condition is compatible for smooth solutions of (1.2). Indeed one rewrites the system (1.2) as
so that both \(\rho \) and v are transported by the same vector field v. Hence any curve \(\gamma \) at time t is transported back to a curve \(\gamma '\) at time 0 (being the flow \(\dot{X} = v(t,X)\) locally smooth), and defining
one has
Hence the fact that the r.h.s. of the equation for v in (1.15) is a gradient yields that the integer circuitation condition is preserved.
The last two remarks (i.e. if one can give a meaning to \(\textrm{curl}\,v\) and if the computation above can be performed for nonsmooth solutions) are related to the fundamental question of regularity of the QHD solution, which is echoed by the regularity of the flow of the transport equation with vector field v. As far as we know, these questions are completely open in the general case and they are deeply connected to the proof of existence of a solution by purely fluid dynamics techniques.
As a last observation, a completely similar analysis can be done for the question:
The results and the proof are exactly the same, by replacing the integer circuitation condition with the circuitation free condition: if \(\pi \) is a test plan supported on the set of closed curves, then
1.1 Sketch of the proof and structure of the paper
In a nutshell, the idea of constructing w is the same as for the smooth case: given a value \(w({\bar{x}})\) as some point \({\bar{x}}\), find w(x) by solving the ODE
The integer circuitation condition should take care of the possibility of having multiple curves connecting \({\bar{x}}\) to x.
The problem is that all definitions are given in terms of measures, and then one has to consider only the good path, i.e. the ones for which the circuitation condition holds. This difficulty occurs also for \(X = {\mathbb {R}}^d\), because of the density \(f \in W^{1,2}({\mathbb {R}}^d,{\mathcal {L}}^d,{\mathbb {R}})\). Given a closed curve \(\gamma \) such that \(\gamma (t) = \gamma (s)\) for some \(0< s< t < 1\), it is not even true in general that the restricted closed curve \(R_{s,t} \gamma = \gamma \llcorner _{[s,t]}\) is of integer circuitation, even if \(\gamma \) is. The first results (Proposition 3.11 and Theorem 3.13) state that under the integer circuitation condition (1.10) every test plan is concentrated on a set of curves \(A_\pi \) such that every closed curve obtained by patching pieces of finitely many curves of \(A_\pi \) has integer circuitation. In particular, restrictions of curves satisfy (1.10). We call the curves obtained by piecing together parts of other curves subcurve or subloops if closed.
The argument in \({\mathbb {R}}^d\) (and in differentiable manifolds) is much easier than the general case in MMS: the case \(X = {\mathbb {R}}^2\) is particularly straightforward (Sect. 4). Indeed, one can use test plans to move mass along the iaxis, \(i=1,2\), and then construct a finite dimensional map from \({\mathbb {R}}^{4}\) into the set of curves \(\Gamma \) such that every point in some Cantorlike neighborhood is connected with another one by a specific curve moving first along the 1direction and then along the 2direction (Lemma 4.1). The integer circuitation condition and the result of the previous part imply that we can remove a set of measure 0 in \({\mathbb {R}}^{4}\) and the remaining curves have integer circuitation together with the subcurves (Corollary 4.2). Since by \(W^{1,2}\)regularity of the function f one can locally assume that \(f > 1/2\) on sufficiently many of these segments, the function w can be constructed on this set (which is of positive \({\mathcal {L}}^2\)measure, Lemma 4.3). This procedure can be repeated in every Lebesgue point of f and Df, and the different w (which are defined up to a constant) can be related with each other by a test plan (if it exists) concentrated on curves with initial points in one set and end points in the other set, making them compatible (Lemma 4.5). The same analysis can be done in \({\mathbb {R}}^d\), \(d \ge 3\), at the expense of a more complicated selection procedure for the curves. Since we will address the problem in general spaces, we will leave this extension to the reader which wants to avoid some measure theoretic arguments used in the remaining parts.
The observation above is that locally one can construct suitable paths which have integer circuitation, where \(f > 0\). In particular these sets cannot be further divided by just removing a set of measure 0 trajectories of the above plan. The idea is then to find this minimal partition (see Sect. 5 for the abstract theory, and Sect. 5.1 for the application to our case).
Given a set of curves \(\{\gamma _\alpha \}_\alpha \), define the minimal (by set inclusion) equivalence relation E by requiring that \(\gamma _\alpha (t) E \gamma _\alpha (s)\) for all \(s,t \in [0,1]\), \(\gamma _\alpha \) (Definition 5.7). If we have a test plan \(\pi \), for every set of curves \(A_\pi \), \(\pi (A_\pi ) = 1\), one has clearly different equivalence relations \(E^{A_\pi }\). However the space X is separable, and we use this fact to deduce that there is a set \({\bar{A}}_\pi \) such that the equivalence relation \(E^{{\bar{A}}_\pi }\) is minimal: this means that if \({\mathcal {M}}^{{\bar{A}}_\pi }\) is the family of \(\mu \)measurable sets which are saturated w.r.t. \(E^{{\bar{A}}_\pi }\), then for all other sets \(A_\pi \) where \(\pi \) is concentrated there exists a \(\mu \)conegligible set where the \(\sigma \)algebra generated by \(E^{A_\pi }\) is a subalgebra of \({\mathcal {M}}^{E^{{\bar{A}}_\pi }}\) (Proposition 5.8). This does not mean that every atom of \({\mathcal {M}}^{{\bar{A}}_\pi }\) coincides with an equivalence class of \(E^{{\bar{A}}_\pi }\): the situation is completely equivalent to the Vitali set of [0, 1], where \(E = [0,1]/{\mathbb {Q}}\) and then the Esaturated \({\mathcal {L}}^1\)measurable sets have Lebesgue measure 0 or 1 (see Example 6.3).
Notwithstanding the counterexample right above, the next step we perform is to find a test plan \({\bar{\pi }}\) such that the maximal measure algebra \({\mathcal {M}}^{{\bar{\pi }}}\) is the minimal among all measure algebras \({\mathcal {M}}^\pi \) (Proposition 5.9). The reason for this analysis is the following: first, being \({\mathcal {M}}^{{\bar{\pi }}}\) maximal, up to a negligible set the space X cannot be further divided into smaller atoms, i.e. the atoms of \({\mathcal {M}}^{{\bar{\pi }}}\) are the minimal components used by the test plan \({\bar{\pi }}\). Being \({\mathcal {M}}^{{\bar{\pi }}}\) minimal among the maximal measure algebras, we deduce that the all others test plans use curves which are contained into atoms of \({\mathcal {M}}^{{\bar{\pi }}}\) (up to a negligible set as usual, see Corollary 5.11). These components are in some sense the minimal connectedbycurves components of \((X,\mu )\), in the sense that one cannot find a further decomposition such that all test plans have trajectories concentrated on the atoms of this new refined decomposition.
Unfortunately finding the minimalmaximal \(\sigma \)algebra is not sufficient: indeed the problem is that in general the components of the minimalmaximal decomposition do not coincide with the equivalence classes of the generating relation (as observed above, and as Example 6.3 shows). This condition seems essential and it is assumed in the construction of w (Assumption 6.1). In the case of sufficiently regular MMS (in particular \(\textrm{MCP}(K,N)\)spaces where the ambient measure is \(f{\mathcal {H}}^N\) with \(f \in W^{1,2}(X,{\mathcal {H}}^N,{\mathbb {R}}^+)\)), it is satisfied (Example 7.2). Under the assumption that the equivalence classes coincide with the atoms of the measure algebra \({\mathcal {M}}^{{\bar{\pi }}}\), the construction is now fairly simple, and follows the line for the \({\mathbb {R}}^2\) case: for the test plan \({\bar{\pi }}\) take the set \(A^{{\bar{\pi }}}\) such that every subloop is of integer circuitation, choose a Borel section and a Borel function \(\omega \) on the quotient space and for every x compute w by solving the ODE (1.17) with initial data \(\omega (y)\) along a path connecting y to x, where y is the point in Borel section in the equivalence class of x (Proposition 6.4). It is important to note that the existence of such a path follows because we assume that the atoms of the measure algebra coincide with the equivalence classes, or equivalently that the disintegration is strongly consistent (1.14). The fact that \({\bar{A}}^{{\bar{\pi }}}\) is of free circuitation gives that the value w(x) is independent of the particular path chosen. The same argument yields that any other solution \(w'\) is such that \(w'/w\) is constant on the equivalence class (Theorem 6.6).
The final analysis of the case when \(\mu = f m\), with \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\) is at this point a corollary, once it is assumed that the space (X, d, m) has a test plan connecting all points at lest locally (a Democratic test plan, as defined in [13], see Assumption 7.1): indeed in this case the equivalence classes have positive measure, and then the disintegration is strongly consistent. Metric measure spaces enough regular satisfy this assumption (Example 7.2). For the existence of w solving (1.11), the only thing to verify is that there exists a test plan \({\bar{\pi }}\) satisfying the assumptions of the previous sections, and this is true in these spaces (Lemma 7.3). Finally, to check that \(fw \in W^{1,2}(X,m,{\mathbb {C}})\) it is enough to prove that that it holds along test plans for m, and this is fairly easy once one have a Borel way of passing from test plans for m to test plans for \(\mu \) (Lemma 7.6 and Proposition 7.7).
2 Notation
The real numbers are denoted by \({\mathbb {R}}\), the rational numbers by \({\mathbb {Q}}\), the natural numbers by \({\mathbb {N}}\) and the integers by \({\mathbb {Z}}\). The unitary circle in \({\mathbb {R}}^2\) is denoted by \({\mathbb {S}}^1\). The cardinality of a set A is denoted by \(\sharp A\).
A generic constant (which may vary from line to line) is denoted with \(\hbox {const.}\) or C, sometimes with an index or accent.
Let X be a separable complete metric space with distance d. A point in X will be denoted by x. The balls of radius r centered at x is denoted as \({B^X_r(x)}\), and more generally the r neighborhood of a set A as \({B^X_r(A)}\). The family of compact subsets of a metric space X is denoted by \({\mathcal {K}(X)}\), and we will use the Hausdorff distance \({d_H(K_1,K_2)}\). Countable intersection of open sets are \({G_\delta }\)sets, while countable union of closed sets are \({F_\sigma }\)sets. The projection onto X is written as \({\texttt{p}}_{X}\), or sometimes \({\texttt{p}}_{i}\) if it is the icomponent of \(\prod _j X_j\). The Borel \(\sigma \)algebra is \({\mathcal {B}(X)}\), the projection of closed sets are the analytic sets \({\Sigma ^1_1}\), and the \(\sigma \)algebra generated by them is \({\sigma (\Sigma ^1_1)}\).
In case there is no ambiguity, the geodesic connecting x to y is \({\overrightarrow{[x,y]}}\): this notation will be used mainly in \({\mathbb {R}}^d\).
A generic function from X to Y will be denoted by \(f: X \rightarrow Y\), and we will call f a Borel function when it is a Borel function whose domain of definition \({{{\,\textrm{Dom}\,}}(f)}\) is a Borel set. The graph of a function \(f: X \rightarrow Y\) is denoted by
and its range by
For a (multivalued) function \(f:X \rightarrow Y\) we will denote f(x) both as the image of f(x) or as the section \({{\,\textrm{Graph}\,}}f \cap \{x\} \times Y\). In general this will not generate confusion.
The space of Lipschitz functions \({\textrm{Lip}([0,1];X)}\) from [0, 1] into X is denoted by \({\Gamma }\): we will refer to it as the set of Lipschitz curves on X. Its subset of closed Lipschitz curves (or closed loops or loops for shortness) will be written as \({\Gamma _c}\). An element of both sets will be written as \({\gamma }\). Explicitly
It is known that \(\Gamma \) is a separable metric space with the \(C^0\)topology [16, Theorem 2.4.3].
The evaluation map \({e(t)} = e(t,\gamma )\) is the map
The restriction operator \({R_{s,t}(\gamma )}\) is defined as the restriction of the curve \(\gamma \) to the interval \([s,t] \subset [0,1]\),
The time inversion of a curve is denoted by \({R(\gamma )(t) = \gamma (1t)}\).
The metric derivative of \(\gamma \) is denoted by \({\dot{\gamma }}\). The length of a curve \(\gamma \in \Gamma \) is defined as
Given a set \(A \subset \Gamma \), we say that \(\gamma \in \Gamma \) is a subcurve of A if there are finitely many curves \(\gamma _i \in A\) such that
The set of all subcurves of A is denoted by \({\Gamma _A}\).
The Lebesgue measure in \({\mathbb {R}}^d\) is denoted with \({\mathcal {L}^d}\) and the ddimensional Hausdorff measure by \({\mathcal {H}^d}\). Let \({\mathcal {P}(X)}\) be the space of probability measures over X and \({m},\mu \) elements of \({\mathcal {P}}(X)\): in the second part of our analysis \(\mu = fm\) (and m will be used as ambient probability for the space \({W^{1,2}(X)}\)), but in the first part we will consider \((X,d,\mu )\) as a given metric measure space. The topology on \({\mathcal {P}}(X)\) is the narrow topology. We denote the standard integral spaces by \({L^p(\mu )}\). The push forward of a measure \(\mu \) by a map f is written by \({f_\sharp \mu }\). The disintegration of a probability according to a map \(f: X \rightarrow Y\) will be denoted as
We will also write \(\varpi = \mu \llcorner {\mathcal {M}}\), where \({\mathcal {M}}\) is the \(\sigma \)algebra made of \(\mu \)measurable sets saturated w.r.t. the equivalence relation \(Ex = f^{1}(f(x))\).
If E is an equivalence relation, we will write \(xEx'\) if \(x,x'\) are equivalent, and the equivalence class for x as Ex or E(x). We will not distinguish between E and its graph in the product space. We will often use the letters \(\alpha ,\beta ,\dots \) for the elements of the quotient space X/E. The quotient map is considered either as a section of X (i.e. a set S containing a single point for every equivalence class) or as a map \({{\texttt{e}}}: X \rightarrow [0,1]\) whose level sets are the equivalence classes.
3 Settings and basic computations
In this section we introduce the setting for our problem: it is based on the analysis on metric measure space of [10, 11], with elementary slight variations.
3.1 Test plans
Definition 3.1
A measure \({\pi } \in {\mathcal {P}}(\Gamma )\) is a plan with barycenter in \(L^\infty (\mu )\) [2] (or admissible plan when the reference measure \(\mu \) is clear from the context) if for some constant C it holds
The set of \(\mu \)admissible plans is denoted by \({\mathrm {Adm(\mu )}}\), and C is called the compressibility constant of \(\pi \).
The above formula (3.1) is equivalent to
It is clear that the above definition is invariant if we reparameterize the curves \(\gamma \). In the following we will often consider the parametrization of \(\gamma \) by length, so that \(\dot{\gamma } = 1\): this is to avoid to write the factor \(\dot{\gamma }\) in many equations. In that case the interval of integration is \([0,L(\gamma )]\), and we will often not specify the interval of integration if clear from the context.
Remark 3.2
For the analysis in this work we do not require the condition
see for example [1]. These assumptions will be analyzed in Proposition 3.10: here we can just say that since the integer circuitation condition (1.10) is required for \(\pi \)a.e. \(\gamma \) and is independent on the parametrization of \(\gamma \), it is natural to consider admissible plans as in Definition 3.1.
Remark 3.3
An admissible admissible plan \(\pi \) is given by the constant curves: define the map
and set
for every \(f \in L^\infty (\mu )\), \(\Vert f\Vert _1 = 1\). It is immediate from the definition to see that
so that it is admissible. In particular the measure defined in (3.3) when \(f \equiv 1\) is denoted with \({\hat{\pi }}\).
It may happens that these are the only admissible plans: for example, if (X, d) is totally disconnected (or zero dimensional [16, Section 2.2]), the only Lipschitz curves \(\gamma : [0,1] \rightarrow X\) are the constant ones.
It is immediate to see that if \(\pi \in \textsf {Adm} (\mu )\) and \(\gamma \mapsto (s(\gamma ),t(\gamma ))\) is a Borel function, then \((R_{s,t})_\sharp \pi , R_\sharp \pi \in \textsf {Adm} (\mu )\) because
3.2 Tangent and cotangent modules
Here we recall the definition of tangent and cotangent modules in a metric measure space X, following the approach of [10, 11], see also [1].
Let \({S^1(X)}\) be the set of functions \(f: X \rightarrow {\mathbb {R}}\) with the following property: there exists \(g \in L^1(X)\) such that for all admissible plan \(\pi \)
where C is the compressibility constant of \(\pi \) (see (3.1)) and \(e: [0,1] \times \Gamma \rightarrow X\) is the evaluation map. The essential infimum of all g’s is called the minimal upper gradient Df. In what follows, we will consider also complex valued functions: we will say that \(f = \Re f + i \Im f\) belongs to \(S^1(X)\) (or other regularity classes) if both \(\Re f,\Im f \in S^1(X)\).
Remark 3.4
The standard definition of the preSobolev class \(S^1(X)\) requires that the test plan satisfies also
Following the proof of Proposition 3.10, one can see that the definitions are equivalent.
Let v be an element of the cotangent module \({L^1(T^*X)}\), which can be defined as the \(L^1(\mu )\)normed \(L^\infty (\mu )\)module closure of the set
w.r.t. the norm
where the equivalence relation \(\sim \) is w.r.t. the above norm, and Df is the minimal upper gradient (see [11, Theorem 4.1.1]). We can associate to a function \(f \in S^1(X)\) the cotangent vector field \({Df} = (X,f)\), so that
The tangent module \({L^\infty (TX)}\) is defined as the dual \(L^\infty (\mu )\)normed \(L^\infty (\mu )\)module, i.e. the space of linear functional \({{\mathscr {L}}}: L^1(T^*X) \rightarrow L^1(\mu )\) such that for \(f \in L^\infty (\mu )\), \(v \in L^1(T^*X)\)
The above norm definition gives that the pointwise norm is
If \(\pi \) is an admissible plan, then for every simple element \(v = \sum _i 1\!\!\textrm{I}_{\Omega _i} Df_i\) we can define
which satisfies by (3.1)
Let now \(v \in L^1(T^* X)\): being the elements of the form (3.4) dense, we can consider a sequence of simple elements \(w_n = \sum _i 1\!\!\textrm{I}_{\Omega _{i,n}} Df_{i,n}\) such that
For every n, the function \(\Lambda _\gamma (t,w_n)\) is defined by (3.5) on a set of curves \(G_n \subset \Gamma \): by redefining \(\Lambda _\gamma (t,w_n)\) on a negligible set of times, we can assume that \(t,\gamma \mapsto \Lambda _\gamma (t,v)\) is Borel.
Let
and define
Proposition 3.5
The function \(\Lambda _\gamma (t,v)\) is Borel and for every admissible plan \(\pi \) it holds
Moreover, if \(v_\ell \rightarrow v \in L^1(T^*X)\), \(v_\ell \) simple elements, and \(\pi \) is an admissible plan, then
Finally, if \(v = \alpha _1 v_1 + \alpha _2 v_2\), then for every admissible plan
Proof
The conditions defining \(\Lambda _\gamma (t,v)\) and G are Borel, so that \(\Lambda _\gamma (t,v)\) is Borel. The second part follows from the definition of norm in the cotangent module. Finally, the linearity as in the third part of the statement is easily verified for simple functions, and then one can pass to the limit. \(\square \)
We will need the following property of \(\Lambda _\gamma (t,v)\): we write the proof for completeness.
Lemma 3.6
There exists a \({\mathcal {L}}^1 \times \pi \)negligble set N such that
for all \(s,t \in [0,L(\gamma )] {\setminus } N(\gamma )\).
In particular, the function \(\Lambda _\gamma \) can be defined as an \(L^1\)function of \({\mathcal {H}}^1 \llcorner _{\gamma (0,L(\gamma ))}\).
Proof
By (3.7) we have that if \(v_n \rightarrow v\) in \(L^1(T^*X)\) then \(\Lambda _\gamma (t,v_n) \rightarrow \Lambda _\gamma (t,v)\) in \(L^1({\mathcal {L}}^1 \times \pi )\), so that up to subsequences it converges \({\mathcal {L}}^1 \times \pi \)a.e.. In particular, let \(v_n \rightarrow v\) be a sequence of cotangent vector fields in \(L^1(T^*X)\) such that the statement is true for each \(v_n\), and let \(N_n \subset [0,1] \times \Gamma \) be the corresponding \({\mathcal {L}}^1 \times \pi \)negligible set such that
Clearly the set \(N = \cup _n N_n\) is negligible. Since \(\Lambda _\gamma (t,v_n) \rightarrow \Lambda _\gamma (t,v)\) up to a subsequence in a \({\mathcal {L}}^1 \times \pi \)conegligble set \(A \subset {\mathbb {R}}\times \Gamma \), we obtain that for all \((t,\gamma ),(s,\gamma ) \in A {\setminus } N\) it holds
It is thus sufficient to prove the statement is true for v of the form (3.4), and in particular for a single f.
Define the set of transversal selfintersections
It is fairly easy to see that for every \(\gamma \) \(N'_{n}(\gamma )\) is finite for every \(\gamma \): indeed if \(s_n,t_n \in [0,L(\gamma )]\) are a sequence of points in the definition of \(N'_n(\gamma )\), then it is clear that \(s_ns_m \vee t_n  t_m \ge 2^{n}\). Hence \(N'(\gamma )\) is countable and \(N'\) is \({\mathcal {L}}^1 \times \pi \)negligible.
For a given \(f \in S^1(X)\), consider the conegligible set
Note that if \(\gamma (s) = \gamma (t)\), \(s,t \in M(\gamma )\), then there are sequences \(s_n \rightarrow s,t_n \rightarrow t\), \(s_n,t_n \not = s,t\) respectively such that \(\gamma (s_n) = \gamma (t_n)\): hence by the formula (3.5) we deduce that
The complement \(N = M^c\) satisfies the statement. \(\square \)
In particular we deduce that
Corollary 3.7
For \(\pi \)a.e. \(\gamma \) the function \(\Lambda _\gamma \) depends only on \(\gamma (t)\) for \({\mathcal {L}}^1\)a.e. t, i.e. can be written as a function on \(\gamma ([0,1])\) defined \({\mathcal {H}}^1\)a.e. or equivalently it is a measurable function for the pullback \(\sigma \)algebra \(e^{1}(\gamma )({\mathcal {B}}(X))\).
3.3 The integer circuitation condition
Let \(v \in L^1(T^* X)\) and \(\Lambda _\gamma (t) = \Lambda (t,v) \in L^1({\mathcal {L}}^1 \times \pi )\) be the corresponding \(L^1\)function given by (3.5): being v fixed from now on, for shortness we will not write the dependence w.r.t. v. We restate the assumption of integer circuitation (1.10) here below.
Assumption 3.8
For all admissible plans \(\pi \) concentrated on \(\Gamma _c\) it holds
i.e. v (or \(\Lambda \)) has integer circuitation.
We define
so that we can rephrase the above assumption as \({\mathcal {I}}_c\) has full \(\pi \)measure. Note that as far as we know \({\mathcal {I}}_c\) depends on \(\pi \), but this should not create confusion being \(\pi \) fixed in the construction of the function w satisfying (1.11) (see Sect. 6).
An elementary example of an integer circuitation cotangent vector field is given by
where \(f \in L^0(\mu ,{\mathbb {S}}^1)\) with \(Df \in L^1\): in this case
with \(\pi \)a.e. \(\gamma \), with \(\pi \) admissible plan.
Remark 3.9
Another possible condition is to ask that
In this case we are looking for functions whose differential along \(\gamma \) is \(\Lambda _\gamma \), i.e. \(v = Df\) is exact: we will say that every admissible \(\pi \) has 0 circuitation or it is circuitation free. The analysis of this situation is completely similar to the case we are considering in the following, so the same constructions apply.
For completeness we show that we can restrict the set of admissible plans to a more tame one.
Proposition 3.10
Assume that Assumption 3.8 holds only for admissible plans which satisfy
Then Assumption 3.8 holds for all admissible plans.
Proof
Let \(\pi \in \textsf {Adm} (\mu )\) be an admissible plan supported on \(\Gamma _c\) as in Definition 3.1.
Since Assumption 3.8 is invariant for countable unions of admissible plans, we can assume that \(\pi \) is concentrated on curves with length \(L(\gamma ) \in ({\bar{L}},{\bar{L}} + 1)\), \({\bar{L}}\) fixed, and we thus consider the pameterization
In this case Condition (3.1) implies
Hence for all \(\delta t > 0\) the measure \(\pi '\) defined by
is supported on \(\Gamma _c\) and satisfies \({\bar{L}} \le L(\gamma ) \le {\bar{L}} + 1\) and
where for simplicity we assume that \(0 \le t \le {\bar{L}}  \delta \). The assumptions in the proposition thus imply that Assumption 3.8 holds for \(\pi '\)a.e. \(\gamma \), and by Corollary 3.7
so that we conclude that \(\pi \) satisfies Assumption 3.8. \(\square \)
3.4 Intersection properties of curves
By definition, any admissible plan \(\pi \) supported on \(\Gamma _c\) is concentrated on the set of curves such that
However a priori nothing is said about properties of intersecting curve: for example, given two curves \(\gamma ,\gamma '\) such that
one can construct a closed curve \(\gamma ''\) by setting
i.e. moving from \(\gamma (s)\) to \(\gamma (t) = \gamma '(t')\) along \(\gamma (\tau )\) and then returning to \(\gamma '(s') = \gamma (s)\) along \(\gamma (\tau )\). We will use the above construction (i.e. a new closed curve obtained by piecing together parts of other curves) to show that we can also require
by removing a \(\pi \)negligible set of trajectories, where \(\gamma ''\) is the curve constructed above.
We first start with selfintersecting curves.
Proposition 3.11
Let \(\Lambda \) be of integer circuitation. Every \(\pi \in \textsf {Adm} (\mu )\) supported on \(\Gamma _c\) is concentrated on a set of closed curves \({A_\pi }\) such that if \(\gamma (s) = \gamma (t)\) then \(R_{s,t}(\gamma )\) has integer circuitation.
Proof
The proof is given in 3 steps.
Step 1: construction of a countable Borel set of loops. The following argument is the same as in [16, Proposition 5.2.7]: we give it for completeness. The set
is closed, and moreover
is closed in \(\Gamma \). Hence \(F: \Gamma _c \rightarrow [0,1]^2\) is a Borel measurable multifunction with \(F(\gamma )\) closed. For every \({\bar{B}}^2_{2^{k}}(({\bar{s}}_m,{\bar{t}}_m))\), \(s_m,t_m \in {\mathbb {Q}}\) and \(k \in {\mathbb {N}}\), there is a Borel selection [16, Theorem 5.2.1]
By construction, the graphs of the functions \(L_{k,m}\) are dense in \(F(\gamma )\) for each \(\gamma \), i.e.
By reordering, we will denote the functions \(L_{m,k}\) and domains \(A_{m,k}\) with \(L_n\), \(A_n\) respectively.
Step 2: negligibility of the set of bad loops. If \(\pi \in {\mathcal {P}}(\Gamma _c)\) is an admissible plan, for each map \(L_n(\gamma ) = (s_n,t_n)\) define the transport plan
Being a restriction, clearly \(\pi _n \in \textsf {Adm} (\mu )\). In particular, it follows by Assumption 3.8 that
By \(\sigma \)additivity
Step 3: conclusion. The previous point gives that \(\pi \in \textsf {Adm} (\mu )\) is concentrated on a set of curves \(A_\pi \) such that for all \(n \in {\mathbb {N}}\) it holds \(R_{s_n,t_n}(\gamma ) \in {\mathcal {I}}_c\). Let now \((s_n,t_n),({\bar{s}},{\bar{t}}) \in F(\gamma )\), with \((s_n,t_n) \rightarrow ({\bar{s}},{\bar{t}})\). Then
which gives that every subcurve of \(\gamma \in A_\pi \) belongs to \({\mathcal {I}}_c\), i.e. it is of integer circuitation. \(\square \)
As a consequence of the previous proposition, the next lemma shows that we can construct the function w along \(\pi \)a.e. curve.
Lemma 3.12
Let \(\gamma \) be a Lipschitz curve such that if \(\gamma (s) = \gamma (t)\) then \(R_{s,t} \gamma \in {\mathcal {I}}_c\). Then there exists a function \(w_\gamma : \gamma ([0,1]) \rightarrow {\mathbb {S}}^1\) such that
Proof
Define the function
If \(\gamma (t) = \gamma (s)\), then by the assumption \(R_{s,t} \gamma \in {\mathcal {I}}_c\) it holds
so that the function \(w_\gamma \) can be actually defined on \({{\,\textrm{Graph}\,}}(\gamma )\) by
\(\square \)
We next generalize Proposition 3.11 to closed subcurves of the set of curves where \(\pi \) is concentrated: given a set \(A \subset \Gamma _c\) define
Theorem 3.13
Let \(\Lambda \) be of integer circuitation. Every \(\pi \in \textsf {Adm} (\mu )\) is concentrated on a set of curves \(A_\pi \) such that \(A_\pi (n) \subset {\mathcal {I}}_c\) for all n, i.e. every subloop of \(A_\pi \) belongs to \({\mathcal {I}}_c\).
Proof
The proof is given in two steps. The first one illustrates the procedure in a simple case, while the second is the general case.
Step 1: the case of two curves. Consider the set \((\Gamma _c)^2 = \Gamma _c \times \Gamma _c\) and its closed subset
In particular the multifunction \(F(\gamma _1,\gamma _2)\) with graph
is Borel measurable and \(F(\gamma _1,\gamma _2)\) is closed, so that by [16, Theorem 5.2.1] there is a Borel selection
We thus can define the curve
Clearly the map \((\gamma _1,\gamma _2) \rightarrow \gamma '(\gamma _1,\gamma _2)\) is Borel. Up to reparametrization, the curve \(\gamma '(\gamma _1,\gamma _2)\) is the closed curve obtained by moving along the first curve and then along the second one.
Consider now the set of positive measures
where \(\pi \in \textsf {Adm} (\mu )\) is the admissible plan in the statement. We can define the new admissible plan
It is fairly easy to see that \(\pi ' \in \textsf {Adm} (\mu )\) because
and since \(\gamma ' \in \Gamma _c\) then \(\pi '\) is supported on \(\Gamma _c\).
Proposition 3.11 implies that the set
is negligible for every \(\xi \in \Pi ^\le (\pi ,\pi )\). We recall now the following result [12, Theorem 2.19 and Proposition 3.5]: if B is Borel (or analytic)
In our case, we have observed that the l.h.s. is 0 when \(B = \tilde{{\mathcal {C}}}(2)\), and then there are set \(B_1\), \(B_2\) negligible w.r.t. \(\pi \) such that for every \(\gamma _1,\gamma _2 \in \Gamma _c {\setminus } (B_1 \cup B_2)\) every subloop of the curve \(\gamma '(\gamma _1,\gamma _2)\) has integer circuitation.
This proves the theorem for \(n=2\).
Step 2: the general case. Define the closed set
Starting with \(\gamma _1\), as in the previous step we can join it to some curve \(\gamma _i\), \(i \not = 1\), by formula (3.11): call this curve \({\tilde{\gamma }}_2\). Using the assumption that \(\cup _i {{\,\textrm{Graph}\,}}\gamma _i\) is connected, we can repeat the process by adding to \({\tilde{\gamma }}_2\) a new curve \(\gamma _j\), \(j \not = 1,i\), as in (3.11), obtaining a new curve \({\tilde{\gamma }}_3\). Proceeding by adding curves, after n steps we obtain a single curve \({\tilde{\gamma }}\): it is fairly easy to see that since each merging operation is Borel, so the map \((\gamma _1,\dots ,\gamma _n) \rightarrow {\tilde{\gamma }}(\gamma _1,\dots ,\gamma _n)\) is Borel too.
As in the previous step, for every
we can construct the admissible plan
so that we deduce that the set
is negligible for every \(\xi \in \Pi ^\le (\pi ,\dots ,\pi )\). We now use [12, Lemma 1.8, Theorems 2.14 and 2.21]: they state that if B is Borel (or analytic) then
In our case the left side is 0, so that we can take the sets \(B_i = \{f_i > 0\}\) to deduce that there are \(\pi \)negligible sets \(B_i\) such that
In particular in the complement of \({\tilde{B}}_n = \cup _i B_i\) it holds that every subloop of \({\tilde{\gamma }}(\gamma _1,\dots ,\gamma _n)\) belongs to \({\mathcal {I}}_c\). Removing the negligible set \(\cup _n {\tilde{B}}_n\) we obtain the set \(A_\pi \) of the statement. \(\square \)
Given a sequence of admissible plan \(\pi _n\), \(n \in {\mathbb {N}}\), it is immediate to see that
where \(C_n\) is the constant for \(\pi _n\) in (3.1) (the constant in front the sum is for normalization). Hence the previous theorem gives the following statement.
Corollary 3.14
If \(\{\pi _n\}_{n \in {\mathbb {N}}} \subset \textsf {Adm} (\mu )\) is a countable family of \(\mu \)admissible plans, then there exist Borel sets \(A_{\pi _n}\) such that \(\pi _n(A_{\pi _n}) = 1\) and it holds
4 A simple case: \(x \in {\mathbb {R}}^2\), \(\mu = f^2 {\mathcal {L}}^2/\Vert f\Vert _2^2\) with \(f \in W^{1,2}({\mathbb {R}}^2,{\mathcal {L}}^2,{\mathbb {R}}+)\)
As a preliminary analysis, we perform the construction of a function \(w: {\mathbb {R}}^2 \mapsto {\mathbb {S}}^1\) such that
where \(v \in {\mathbb {R}}^d\) is a (cotangent) vector field defined fa.e. having integer circuitation, and \(f \in W^{1,2}({\mathbb {R}}^2,{\mathcal {L}}^d,{\mathbb {R}}^+)\): the integer circuitation assumption is
for \(\pi \)a.e. \(\gamma \), with \(\pi \)admissible plan concentrated on \(\Gamma _c({\mathbb {R}}^2)\) for the measure \(\mu = f^2 {\mathcal {L}}^2/\Vert f\Vert _2^2\). With some additional technicalities, a similar analysis can be adapted to the ddimensional case: the advantage in the 2dcase is that the construction of the admissible plans for the measure \(\mu = f^2 {\mathcal {L}}^2\) is particularly easy.
Consider a Lebesgue point for f and Df: let us assume for definiteness
By standard density argument, for the directions \({\textbf{e}}_1,{\textbf{e}}_2\) along the coordinate axis there are segments
such that
In particular it follows that \(f \ge 1/2\) \({\mathcal {H}}^1\)a.e. on all the segments \(\{\ell _{k,y}, y \in K_k, k = 1,2\}\).
Consider the map \({\mathbb {R}}^4 \ni (y,y') = (y_1,y_2,y_1',y_2') \mapsto \gamma _{(y,y')}(t) \in \Gamma _c\) where
where \(\overrightarrow{[x,y]}\) is the geodesic connecting x, y: \(\gamma _{(y,y')}\) is the oriented boundary of the rectangle with opposite corners \(y,y'\).
Lemma 4.1
For all \(g \in L^\infty ({\mathbb {R}}^4,{\mathcal {L}}^4)\), \(\Vert g\Vert _1 = 1\) with bounded support, the measure \(\pi = (\gamma _{(y,y')})_\sharp (g{\mathcal {L}}^4)\) is an admissible plan in \(({\mathbb {R}}^2,{\mathcal {L}}^2)\).
Proof
Since \(\gamma _{(y,y')}\) is the union of 4 curves, it is enough to prove the statement for a single part, for example \(\overrightarrow{[y,(y_1',y_2)]}\): in this case
where
which shows that the evaluation of \(\pi \) is \(\le C(g) {\mathcal {L}}^2\). \(\square \)
Using the same ideas of the first part of the proof of Theorem 3.13 applied to the measures
we deduce the following corollary.
Corollary 4.2
There is a \({\mathcal {L}}^2\)conegligible set \(I_0 \subset K_1 \times K_2\) such that for every \(y,y' \in I_0\) the curve \(\gamma _{(y,y')}\) has integer circuitation.
Using Fubini, we obtain that for \({\mathcal {L}}^2\)a.e. \(y = (y_1,y_2) \in I_0\) the set
has full measure. Define for one of these y
i.e. the integral along the curve \(\overrightarrow{[y,(y_1',y_2)]} \cup \overrightarrow{[(y_1',y_2),y']}\). The function \(w(y,y')\) is defined on \({\mathcal {L}}^2\)a.e. point of \(K_1 \times K_2\).
Lemma 4.3
For every \((y',y'') \in (K_1 \times K_2)^2 {\setminus } N\), \({\mathcal {L}}^4(N) = 0\), it holds
Proof
The proof is a consequence that the statement holds for \(y'' \in I_0\) such that \((y''_1,y_2) \in I_0\) because setting \(y''' = (y''_1,y_2)\)
and the set
has full measure due to the assumption on (4.3) and on \(I_0\). \(\square \)
By repeating the construction, we obtain the following corollary.
Corollary 4.4
The is a countable family of sets \(K_{1,n} \times K_{2,n}\) and of functions \(w_n\) such that
and \(w_n\) satisfies Lemma 4.3 in every \(K_{1,n} \times K_{2,n}\).
Note that we do not require the sets \(K_{1,n} \times K_{2,n}\) to be disjoint.
Proof
Since by restricting the balls we can require that
a standard covering argument as in the proof of [7, Theorem 5.5.1] gives the statement. \(\square \)
The above lemma defines the function w in a set of positive Lebesgue measure, with the property that every two points are connected with a path where \(f \ge 1/2\). This is the hardest step, since the remaining part needs only to show that this w is compatible with all admissible plans and it can be extended to the whole \(\{f \not = 0\}\).
Consider an admissible plan \(\pi \) such that
For every \(\gamma ,\gamma '\) such that
let \({\hat{\gamma }}_{\gamma ,\gamma '}\) be the closed curve obtained by joining \(\gamma (0),\gamma '(0)\) and \(\gamma (1),\gamma '(1)\) with the curves used in Lemma 4.3 to compute w. Define
which is a transference plan due to Lemma 4.1. The condition of integer circuitation yields that by removing a \({\tilde{\pi }}\)negligible set of trajectories the curves \({\hat{\gamma }}_{\gamma ,\gamma }\) have integer circuitation. For all these curves it follows that
The above computation yields the following lemma.
Lemma 4.5
There exists a constant \(c_{ij}\) such that for every admissible plan \(\pi \) with
it holds for \(\pi \)a.e. \(\gamma \)
Proof
For \(\pi \)a.e. \(\gamma \) the set \(\gamma '\) such that \({\hat{\gamma }}_{\gamma ,\gamma '}\) is of integer circuitation has full \(\pi \)measure. For every such a \(\gamma \), define \(c_{ij}\) as the inverse of the ratio of (4.4):
Since by (4.4) the ratio is the same for \(\pi \)a.e. \(\gamma \), the proof is complete. \(\square \)
Starting from the function \(w_1\) defined in \(K_{1,1} \times K_{2,1}\), we can then find constants \(c_{1j}\) such that the above lemma holds for all sets \(K_{1,j} \times K_{2,j}\) for which there is an admissible plan connecting \(K_{1,1} \times K_{2,1}\) to \(K_{1,j} \times K_{2,j}\). If at this step we cover \(\{f > 0\}\) up to a \({\mathcal {L}}^2\)negligible set, we are done, otherwise we take the next \(K_{1,i} \times K_{2,i}\) and connect to some others subsets \(K_{1,j'} \times K_{2,j'}\): clearly these sets cannot belong to the previous family, otherwise there is an admissible plan from \(K_{1,1} \times K_{2,1}\) to \(K_{1,j'} \times K_{2,j'}\) and then to \(K_{1,i} \times K_{2,i}\).
We this conclude with the following statement.
Proposition 4.6
There exists a function w such that for all admissible plans \(\pi \) w.r.t. the measure \(f^2 {\mathcal {L}}^2\) it holds
Moreover all these functions depend at most on countably many multiplicative constants \(c_j\).
Proof
We are left in proving the second part, which follows from the following observations:

(1)
every solution \({\tilde{w}}\) satisfies
$$\begin{aligned} \frac{{\tilde{w}}}{w_j} = \ \text {constant in every }K_{1,j} \times K_{2,j}: \end{aligned}$$indeed it is constant on the curves used in Lemma 4.3;

(2)
the relation R
$$\begin{aligned}{} & {} (K_{1,j} \times K_{2,j}) R (K_{1,i} \times K_{2,i}) \quad \Longleftrightarrow \quad \exists \pi \ \text {plan connecting them as in}\\ {}{} & {} \text { Lemma}~4.5 \end{aligned}$$is an equivalence relation;

(3)
the construction of w presented before the statement of this proposition is defined up to a multiplicative constant in each equivalence class.
This concludes the proof. \(\square \)
Once the function w is constructed, it follows from the chain rule in one dimension that for all admissible plans w.r.t. \(f^2 {\mathcal {L}}^2\) it holds
for \(\pi \)a.e. \(\gamma \). In particular, by Corollary 4.4 and Proposition 4.6 we can consider the \({\mathcal {L}}^1\)conegligible set of \(y_2 \in {\mathbb {R}}\) such that \(y_1 \mapsto f(y_1,y_2)\) is in \(H^1({\mathbb {R}})\), and the function \(y_1 \mapsto w(y_1,y_2)\) satisfies
for all intervals of the open set \(\{y_1: f(y_1,y_2) > 0 \} \subset {\mathbb {R}}\). Since \(fw = 0\) when \(f = 0\) because \(w=1\), for these \(y_2\)’s it holds \(y_1 \mapsto (fw)(y_1,y_2)\) is a.c. and has derivative \(w \partial _{x_1} f + i {f} w v_1\), and this means that
We thus conclude with the following result.
Proposition 4.7
For every w given by Proposition 4.6 the function fw is in \(W^{1,2}({\mathbb {R}}^2,{\mathcal {L}}^2,{\mathbb {C}})\) and has differential \(D(fw) = wDf + i{fw}v\).
5 Construction of the minimal equivalence relation
In this section we construct a decomposition \(X = \cup _\alpha X_\alpha \) into disjoint sets with the following properties:

each admissible plan is concentrated on a set of curves \(\gamma \) such that \(\gamma ([0,1])\) belongs to a singe elements \(Z_\alpha \) up to a \({\mathcal {H}}^1\)negligible est;

there exists an admissible plan \({\bar{\pi }}\) generating the partition \(\{X_\alpha \}_\alpha \) up to a \(\mu \)negligible set.
The first property means that every admissible plan moves mass only inside the equivalence classes \(X_\alpha \): this can be interpreted by saying that the \(X_\alpha \) are the connected components from the point of view of the MMS \((X,\mu )\), in the sense that no mass transfer can occur between different equivalence classes. For example, the MMS
is such that the segment connecting \([1,1]\) has \({\mathcal {L}}^2\)measure 0, so the no admissible plans \(\pi \) can charge mass on it. Hence it is not seen by any Sobolev function \(f \in W^{1,2}(X,\mu ,{\mathbb {R}})\): from their point of view the two balls are completely disjoint.
The second property instead says that no smaller partitions can be constructed if they need to satisfy the first property: even by changing the set where the plan \({\bar{\pi }}\) is concentrated, the partition \(\{X_\alpha \}_\alpha \) remains the same in a set of full \(\mu \)measure. Returning to the example (5.1), it is elementary to see that the two balls cannot be further subdivided if we require the above first point to hold (recall Sect. 4 and see also Example 7.2).
In the first part of this section we take an abstract point of view as follow.

(1)
The (complete) \(\sigma \)algebra \({\mathcal {M}}\) of \(\mu \) is separable, i.e. countably generated: identifying elements of \({\mathcal {M}}\) up to negligible sets, we obtain a separable measure algebra which we still denote by \(({\mathcal {M}},\mu )\) or \({\mathcal {M}}\) since the measure \(\mu \) is fixed here. The function
$$\begin{aligned} d(\Omega ,\Omega ') = \mu ( \Omega \Delta \Omega ' ) \end{aligned}$$(5.2)is a distance on \({\mathcal {M}}\), which makes \({\mathcal {M}}\) a complete and separable metric space.

(2)
Each equivalence relation E on X generates the sub \(\sigma \)algebra \({\mathcal {M}}^E\) made of all saturated measurable sets,
$$\begin{aligned} {\mathcal {M}^{E}} = \big \{ \Omega \in {\mathcal {M}}: E \Omega = \Omega \big \}. \end{aligned}$$(5.3)The corresponding measure algebra \({\mathcal {M}}^E\) is clearly a measure subalgebra of \({\mathcal {M}}\). In particular it is separable and closed.
The statements below can be deduced easily from the properties of measure algebras, see [8, Chapter 3].
Consider a family of measure subalgebras \(\{{\mathcal {M}}^\alpha \}_\alpha \), \({\mathcal {M}}^\alpha \subset {\mathcal {M}}\), closed under countable union: for every sequence \({\mathcal {M}}^{\alpha _i}\) there exists \({\mathcal {M}}^{{\bar{\alpha }}}\) such that
The following result shows that there is a maximal element \({\mathcal {M}}^{{\bar{\alpha }}}\).
Proposition 5.1
There exists \({\mathcal {M}}^{{\bar{\alpha }}} \in \{{\mathcal {M}}^\alpha \}_\alpha \) such that \({\mathcal {M}}^\alpha \subset {\mathcal {M}}^{{\bar{\alpha }}}\) for all \(\alpha \).
The proof is just the observation that every subset of a separable metric space has a countable dense subset.
Proof
Consider the measure subalgebra generated by the union of all \({\mathcal {M}}^\alpha \): it corresponds to the closure of the algebra generated by the algebra \(\cup _\alpha {\mathcal {M}}^\alpha \) w.r.t. the distance (5.2). In particular, being countably generated, it coincides with the measure subalgebra generated by countably many elements \(\Omega _n \in \cup _\alpha {\mathcal {M}}^\alpha \).
Let the subalgebras \({\mathcal {M}}^{\alpha _n}\) be such that \(\Omega _n \in {\mathcal {M}}^{\alpha _n}\), and let \({\mathcal {M}}^{{\bar{\alpha }}}\) be measure subalgebra containing all of them. This is the measure subalgebra of the statement. \(\square \)
A symmetric result considers the case where the family \(\{{\mathcal {M}}^\alpha \}_\alpha \) is closed under countable intersection: for every sequence \(\{{\mathcal {M}}^{\alpha _n}\}_n\) there exists \({\mathcal {M}}^{{\bar{\alpha }}}\) such that
Proposition 5.2
There exists \({\mathcal {M}}^{{\bar{\alpha }}} \in \{{\mathcal {M}}^\alpha \}_\alpha \) such that \({\mathcal {M}}^{{\bar{\alpha }}} \subset {\mathcal {M}}^{\alpha }\) for all \(\alpha \).
The proof follows by observing that every union of open balls is obtained by considering only countably many balls.
Proof
First of all, for all
there is \(\alpha _\Omega \) such that \(\Omega \notin {\mathcal {M}}^{\alpha _\Omega }\), and then there exists \(r_\Omega > 0\) such that the set
has empty intersection with \({\mathcal {M}}^{\alpha _\Omega }\).
By separability, we need only a countable family of balls \(\{B^{{\mathcal {M}}}_{R_{\Omega _n}}(\Omega _n)\}_n\) to cover
Hence we deduce that if
then
which is the statement by (5.4). \(\square \)
In terms of \(\sigma \)algebras, the two statements above can be rewritten as follows. Consider a family of \(\mu \)complete \(\sigma \)algebras \({\mathcal {M}}^\alpha \subset {\mathcal {M}}\), where \({\mathcal {M}}\) is the \(\mu \)completion of a separable \(\sigma \)algebra.
Corollary 5.3
The following holds:

(1)
if \(\{{\mathcal {M}}^\alpha \}_\alpha \) is closed under countable union, then there exists an element \({\mathcal {M}}^{{\bar{\alpha }}}\) such that
$$\begin{aligned} \forall \alpha , \Omega \in {\mathcal {M}}^\alpha \, \exists \Omega ' \in {\mathcal {M}}^{{\bar{\alpha }}} \big ( \mu (\Omega \Delta \Omega ') = 0 \big ); \end{aligned}$$ 
(2)
if \(\{{\mathcal {M}}^\alpha \}_\alpha \) is closed under countable intersection, then there exists an element \({\mathcal {M}}^{{\bar{\alpha }}}\) such that
$$\begin{aligned} \forall \alpha , \Omega \in {\mathcal {M}}^{{\bar{\alpha }}} \, \exists \Omega ' \in {\mathcal {M}}^{\alpha } \big ( \mu (\Omega \Delta \Omega ') = 0 \big ). \end{aligned}$$
The same statement can be rewritten in terms of equivalence relations, by reversing the intersection and union.
Corollary 5.4
The following holds:

(1)
if \(\{E^\alpha \}_\alpha \) is closed under countable intersection, then there exists an element \(E^{{\bar{\alpha }}}\) such that if \({\mathcal {M}}^\alpha \) is the complete \(\sigma \)algebra generated by \(E^\alpha \) according to (5.3) then
$$\begin{aligned} \forall \alpha , \Omega \in {\mathcal {M}}^\alpha \, \exists \Omega ' \in {\mathcal {M}}^{{\bar{\alpha }}} \big ( \mu (\Omega \Delta \Omega ') = 0 \big ); \end{aligned}$$ 
(2)
if \(\{E^\alpha \}_\alpha \) is closed under countable union, then there exists an element \(E^{{\bar{\alpha }}}\) such that if \({\mathcal {M}}^\alpha \) is the complete \(\sigma \)algebra generated by \(E^\alpha \) according to (5.3) then
$$\begin{aligned} \forall \alpha , \Omega \in {\mathcal {M}}^{{\bar{\alpha }}} \, \exists \Omega ' \in {\mathcal {M}}^{\alpha } \big ( \mu (\Omega \Delta \Omega ') = 0 \big ). \end{aligned}$$
5.1 Application to admissible plans
The statement of Proposition 5.1 in our setting will be used as follows.
Definition 5.5
Let \(\{\Omega _\alpha \}_\alpha \) be a family of subsets of a set X. The equivalence relation generated by \(\{\Omega _\alpha \}_\alpha \) is the smallest equivalence relation E such that
Lemma 5.6
The equivalence relation generated by \(\{\Omega _\alpha \}_\alpha \) is the following:
Proof
Immediate from the definition. \(\square \)
We apply the above construction to our case, the sets \(\Omega _\alpha \) being the range of the curves \(\{\gamma \in A_\pi \}\).
Definition 5.7
We will say that two points \(x,x'\) in X are equivalent according to the set \(A_\pi \subset \Gamma \) and we will write \(x {E^{A_\pi }} x'\) if they are equivalent according to Definition 5.5 where the sets \(\Omega _\alpha \) are the family of sets \(\{\gamma ([0,1]), \gamma \in A_\pi \}\).
Equivalently, \(x E^{A_\pi } x'\) if there exist a finite set \(\{\gamma _i\}_i \subset A_\pi \) of curves and a path \(\gamma \in \Gamma \) such that
Indeed, considering the sets \(\Omega _1 = \{\gamma _1([0,1])\},\dots ,\Omega _n = \{\gamma _n([0,1])\}\), \(\gamma _1,\dots ,\gamma _n \in A_\pi \), and the points \(x_i,x_{i+1} \in \Omega _i\), \(\gamma _i(t_i^) = x_i, \gamma _i(t^+_i) = x_{i+1}\), of Lemma 5.6, the curve \(\gamma \) can be obtained by
up to a reparametrization.
For every admissible plan \(\pi \in \textsf {Adm} (\mu )\) consider the family of sets \(A_\pi \) satisfying Theorem 3.13 (i.e. every closed subloop of \(A_\pi \) is of integer cicuitation), and let \(E^{A_\pi }\), \({\mathcal {M}}^{E^{A_\pi }}\) be the corresponding equivalence relation and \(\sigma \)algebra, respectively (see (5.3)).
Proposition 5.8
There exists \({\bar{A}_\pi }\) such that \(\pi ({\bar{A}}_\pi ) = 1\) and \({\mathcal {M}}^{E^{{\bar{A}}_\pi }}\) is maximal.
In particular, for every subset \(A_\pi \subset {\bar{A}}_\pi \) such that \(\pi (A_\pi ) = 1\) it holds
We will denote \({\mathcal {M}}^{E^{{\bar{A}}_\pi }}\) as \({\mathcal {M}^\pi }\), and the corresponding equivalence relation by \({E^\pi } = E^{{\bar{A}}_{{\bar{\pi }}}}\). We stress that the only unique object is \({\mathcal {M}}^\pi \) considered as a complete \(\sigma \)subalgebra of \({\mathcal {M}}\) or as a measure algebra.
Proof
We need only to verify that the family \(\{E^{A_\pi }\}_{A_\pi }\) is closed under countable intersection: this follows from the implications
and
\(\square \)
We next apply Proposition 5.2 to sequences of admissible plans.
Proposition 5.9
There exists \({\bar{\pi }}\in \textsf {Adm} (\mu )\) for every \(\pi \in \textsf {Adm} (\mu )\) it holds
Proof
Consider a sequence of minimal equivalence relations \(\{E^{\pi _i}\}_i\), and define the admissible plan
where \(C_i\) is the compressibility constant (3.1) (as before we normalized the sum of measures in order to be a probability). Let \({\bar{A}}_{{\hat{\pi }}},{\bar{A}}_{\pi _i}\) be a set of curves satisfying Proposition 5.8 above for \({\hat{\pi }},\pi _i\) respectively.
If we consider the sets
then \(\pi _i({\hat{A}}_{\pi _i}) = 1\) because \(\pi _i \ll {\hat{\pi }}\), and then by maximality of \({\mathcal {M}}^{E^{{\bar{A}}_{\pi _i}}}\) we conclude that by (5.5) that
We thus deduce from \(E^{{\hat{A}}_{\pi _i}} \subset E^{{\bar{A}}_{{\hat{\pi }}}}\) that \({\mathcal {M}}^{{\hat{\pi }}} \subset {\mathcal {M}}^{\pi _i}\) for all i, which shows that we are in the situation of Point (2) of Corollary 5.3: the minimal measure algebra \({\mathcal {M}}^{{\bar{\pi }}}\) satisfies the statement. \(\square \)
Let \({\bar{A}}_{{\bar{\pi }}}\) be a \(\sigma \)compact set where \({\bar{\pi }}\) is concentrated such that \(E^{{\bar{A}}_{{\bar{\pi }}}}\) generates the maximal measure algebra \({\mathcal {M}}^{{\bar{\pi }}}\), which by the previous proposition is the smallest among all maximal measure algebras \({\mathcal {M}}^\pi \).
Let \(\{\Omega _n\}_n\) be a countable family of \(E^{{\bar{A}}_{{\bar{\pi }}}}\)saturated sets generating \({\mathcal {M}}^{{\bar{\pi }}}\) up to negligible sets, and define the equivalence relation
By construction
and in general the inclusion is strict. The equivalence relation \({\bar{E}}\) is made of the atoms of the \(\sigma \)algebra generated by the \(\{\Omega _n\}_n\), whose completion coincides with \({\mathcal {M}}^{{\bar{\pi }}}\).
Remark 5.10
Consider another set \({\bar{A}}'_{{\bar{\pi }}}\) generating \({\mathcal {M}}^{{\bar{\pi }}}\), and let \(\{\Omega '_n\}_n\) be \(E^{{\bar{A}}'_{{\bar{\pi }}}}\)saturated sets generating \({\mathcal {M}}^{{\bar{\pi }}}\). Since \({\mathcal {M}}^{{\bar{\pi }}}\) is unique and it is the completion of the \(\sigma \)algebra generated by \({\bar{E}}\), then there are \({\bar{E}}\)saturated sets \(\{\Omega ''_n\}_n\) such that
Defining
we deduce that the equivalence relation obtained by (5.6) using the family \(\{\Omega _n'\}_n\) is equal to the one constructed through the sets \(\{\Omega ''_n\}_n\) up to a \(\mu \)negligible set. Indeed the equivalence relation generated by \(\{\Omega ''_n {\setminus } N\}_n\) contains \({\bar{E}}\) since the sets \(\Omega ''_n\) are \({\bar{E}}\)saturated. Hence
Reversing the argument we obtain that there exists a \(\mu \)negligible set \(N'\) such that
and then \(E^{{\bar{A}}'_{{\bar{\pi }}}}\) is equal to \({\bar{E}}\) up to a \(\mu \)negligible set on X.
Let \(\pi \in \textsf {Adm} (\mu )\) and \({\bar{A}}_\pi \) generating the maximal \({\mathcal {M}}^\pi \) as in Proposition 5.8. By minimality of \({\mathcal {M}}^{{\bar{\pi }}}\), for every \(\Omega _n\) there is a set \(\Omega ^\pi _n \in {\mathcal {M}}^\pi \) such that
In particular, following the reasoning of the previous remark, there exists a \(\mu \)negligible set \(N \subset X\) such that if \({\bar{E}}\) is given by (5.6) then
Since \(\gamma \in {\bar{A}}_\pi \) takes values in a single class of \(E^{{\bar{A}}_\pi }\), we conclude that
Corollary 5.11
Every \(\pi \in \textsf {Adm} (\mu )\) is concentrated on a family of trajectories \(A_\pi \) such that
Proof
Since we know that \(\gamma (t) E^{{\bar{A}}_\pi } \gamma (s)\) for \(s,t \in [0,L(\gamma )]\) by construction, then we deduce from (5.8) that
Being N \(\mu \)negligible,
so that we need only to remove the negligible set of curves \(\gamma \) such that \({\mathcal {L}}^1(\gamma ^{1}(N)) > 0\). \(\square \)
Remark 5.12
The presence of the negligible set N is natural: take for example the space \(X = {\mathbb {S}}^1\), \(\mu = {\mathcal {L}}^1\), and the equivalence relation
The measure algebra is the trivial one, but any curve passing through 0 sees \(N = \{0\}\).
6 Construction of the function w
In the previous section we have constructed an equivalence relation \(E^{{\bar{A}}_{{\bar{\pi }}}}\) for the admissible plan \({\bar{\pi }}\) such that the measure algebra \({\mathcal {M}}^{{\bar{\pi }}}\) generated by the saturated sets \({\mathcal {M}}^{{\bar{\pi }}}\) satisfies the following properties:

(1)
\({\bar{A}}_{{\bar{\pi }}}\) satisfies Theorem 3.13,

(2)
it is the maximal measure algebra among all measure algebra generated by sets where \({\bar{\pi }}\) is concentrated,

(3)
all others admissible plans \(\pi \) are concentrated on a set of curves \({\bar{A}}_\pi \) generating a measure algebra which contains \({\mathcal {M}}^{{\bar{\pi }}}\).
Nothing is said about the strong consistency of the disintegration w.r.t. \(E^{{\bar{A}}_{{\bar{\pi }}}}\): if
then in general the conditional probability \(\mu _\alpha \) is not concentrated on the corresponding equivalence class \(E^{{\bar{A}}_{{\bar{\pi }}}}_\alpha \): this implies that \({\bar{E}} \supseteq E^{{\bar{A}}_{{\bar{\pi }}}}\).
Assumption 6.1
We assume that the minimal disintegration w.r.t. \(E^{{\bar{A}}_{{\bar{\pi }}}}\) is strongly consistent for every \({\bar{A}}_{{\bar{\pi }}}\) generating \({\mathcal {M}}^{{\bar{\pi }}}\), i.e.
We recall that this is equivalent to each of the following conditions ( [6] or [9, Section 452]):

(1)
the equivalence relation \(E^{{\bar{A}}_{{\bar{\pi }}}}\) is essentially countably generated, and in particular we can assume that \({\bar{E}} = E^{{\bar{A}}_{{\bar{\pi }}}}\) up to a \(\mu \)negligible set, where \({\bar{E}}\) is given by (5.6);

(2)
there exists a \(\mu \)measurable map \(f: X \rightarrow [0,1]\) whole level sets are the equivalence classes:
$$\begin{aligned} \big \{ (x,x'):f(x) = f(x') \big \} = E^\pi . \end{aligned}$$(6.2)
Moreover, strong consistency implies that, up to a \(\mu \)negligible set of equivalence classes of \(E^{{\bar{A}}_{{\bar{\pi }}}}\), there exists a Borel section S, i.e. a Borel set in X such that it contains exactly one point of each equivalence class of \(E^{{\bar{A}}_{{\bar{\pi }}}}\).
We collect the previous observations in the following statement.
Lemma 6.2
Under Assumption 6.1, there exists an admissible plan \({\bar{\pi }}\) concentrated on a set of trajectories \({\bar{A}}_{{\bar{\pi }}}\) satisfying Theorem 3.13 such that:

(1)
the equivalence relation \({\bar{E}} = {\bar{E}}^{{\bar{A}}_{{\bar{\pi }}}}\) generated by \({\bar{A}}_{{\bar{\pi }}}\) admits a Borel section \({\bar{S}}\) and has the following equivalent properties (up to a \(\mu \)negligible saturated set):

(a)
the disintegration (6.1) is consistent,

(b)
the atoms of the separable \(\sigma \)algebra \({\mathcal {M}}^{{\bar{\pi }}}\) are the equivalence classes of \({\bar{E}}\);

(a)

(2)
every two points of an equivalence class are connected by finitely many curves in \({\bar{A}}_{{\bar{\pi }}}\).
Assumption 6.1 is necessary to prove that the integer circuitation condition of \(\Lambda \) implies the existence of the function w: indeed if the disintegration is not consistent, then there are counterexamples as the following one.
Example 6.3
Consider the Cantor 1/3set
and let \(V: [0,1] \rightarrow [0,1]\) be the Vitali function
Define for \(\alpha \in [0,1] {\setminus } {\mathbb {Q}}\)
which is defined up to the countably many points belonging to the boundary Z of the intervals \(\sum _{i=1}^{n1} s_i 3^{i} + 3^{n} (1,2)\), \(n \in {\mathbb {N}},s_i \in \{0,2\}\). For definiteness we can assume that those points are removed from K, in which case the set \(K {\setminus } Z\) is a \(G_\delta \)set, i.e. still a Polish space.
It is fairly easy to construct a family of totally disconnected curves \(\gamma : [0,1] \times K \rightarrow {\mathbb {R}}^3\) of length 1 such that
The MMS \((X,d,\mu )\) is the the union of all these trajectories with the Euclidean distance in \({\mathbb {R}}^3\), and with the measure \({\mathcal {L}}^1 \times {\mathcal {H}}^{1/3}\) in the coordinates \((t,x) \in [0,1) \times K\) see Fig. 1.
Let \(o(\cdot ,x): {\mathbb {R}}\rightarrow {\mathbb {R}}^3\) be the orbit starting from \(x \in K\) and defined by
The fact that the segments \(\gamma \) are totally disconnected implies that the only admissible plans \(\pi \) are concentrated on curves which are subsets of \(o(\cdot ,x)\), and in particular any measurable function \(v: [0,1] \times K \rightarrow {\mathbb {R}}\) gives an integer (or free) circuitation cotangent vector field, being the tangent space one dimensional in each point.
Setting \(v = 2\pi \beta \) constant with \(z \cdot (\alpha ,\beta ) \notin {\mathbb {Z}}\) for all \(z \in {\mathbb {Z}}^2 {\setminus } 0\), we obtain that any candidate w such that \(\dot{w} = i w v\) should satisfy
which, calling
by definition of f gives
where the function \(\theta : [0,1] \rightarrow {\mathbb {S}}^1\) is the angle.
If we consider the torus \({\mathbb {T}}^2\), then the values of the angles \(\theta (y)\) on a single orbit corresponds to the trajectory of the points
We are looking for the invariant graph \(\theta = \theta (y)\). Consider the measure \(\varpi = \theta _\sharp {\mathcal {L}}^1\) and its Fourier transform
The invariance implies
i.e.
This is impossible for \(z \not = 0\) by the assumptions on \(\alpha ,\beta \), hence there are no integrals w to \(Dw = i w v\).
We can slightly change the space X and the admissible plan \({\bar{\pi }}\) in order to see that the assumption that the disintegration is strongly consistent for all \({\bar{A}}_{{\bar{\pi }}}\) is essential. Set
i.e. we add the segment containing K. This segment is negligible for all admissible plans, since we still keep the measure supported on X. To have a set of curves with integer circuitation, just remove a point to every orbit o(t, x), for example assume that
It is fairly easy to see that \({\bar{A}}_{{\bar{\pi }}}\) satisfies Theorem 3.13, and the equivalence class is \({\tilde{X}} {\setminus } \cup _x \{o(1/2,x)\}\). However removing the negligible curve (t, 0, 0) the measure algebra \({\mathcal {M}}\) is not the minimal one \({\mathcal {M}}^{{\bar{\pi }}}\).
The fact that the last possibility is ruled out by Assumption 6.1 is essential in the proof of Theorem 6.6.
We now prove the existence of a function w using the curves of \({\bar{A}}_{{\bar{\pi }}}\).
Proposition 6.4
There exists a Borel function \({\check{w}}\) such that for all subcurves \(\gamma \) of \({\bar{A}}_{{\bar{\pi }}}\) it holds
Proof
Let \({\bar{S}}\) be a Borel section of \({\bar{E}}\), and let \({\Gamma _{\bar{A}_{\bar{\pi }},\bar{S}}}\) be the family of subcurves of \({\bar{A}}_{{\bar{\pi }}}\) passing through \({\bar{S}}\). We will assume that \({\bar{S}}\) has a point in each equivalence class, by removing a \(\mu \)negligible set of equivalence classes.
For every curve \(\gamma \in \Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}\) let
Notice that by the assumption that \({\bar{A}}_{{\bar{\pi }}}\) generates \({\bar{E}}\), every point \(x \in X\) is connected to the unique point \({\bar{S}} \cap Ex\) by a subcurve \(\gamma \in \Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}\). Being \(\{ (t,\gamma ), \gamma (t) \in {\bar{S}}\}\) a Borel set, it follows that s is Borel.
Define the function
It is easy to see that this function is Borel, being \(s(\gamma )\) and \(\Lambda \) Borel. Moreover, from the integer circuitation assumption on \({\bar{A}}_{{\bar{\pi }}}\), if \(\gamma (t) = \gamma '(t')\), \(\gamma ,\gamma ' \in \Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}\), then
because the curve
is a subloop of \({\bar{A}}_{{\bar{\pi }}}\). This shows that \({\check{w}}(t,\gamma )\) is the graph of a Borel function \({\check{w}}\) defined on X.
Finally, let \(\gamma \in \Gamma _{{\bar{A}}_{{\bar{\pi }}}}\) be a subcurve of \({\bar{A}}_{{\bar{\pi }}}\). Let \(\gamma _0,\gamma _1 \in \Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}\) be subcurves connecting \(\gamma (0),\gamma (1)\) to a point \({\bar{S}}\), respectively: such curves exists because \(\gamma \) takes values in a single equivalence class, and each point in an equivalence class is connected to \({\bar{S}}\) by a subcurve. The subloop made by these 3 curves has integer circuitation, and then
where we have used that the curve obtained by joining \(\gamma ,\gamma _0,\gamma _1\) is a subloop of \({\bar{A}}_{{\bar{\pi }}}\). \(\square \)
The next proposition shows the importance that \({\mathcal {M}}^{{\bar{\pi }}}\) is the maximal measure algebra generated by \({\bar{\pi }}\).
Proposition 6.5
If w satisfies
for every admissible plan \(\pi \), then up to a \(\mu \)negligible set w is constant in each equivalence class.
Observe that in this prof we do not need the assumption on the strong consistency of the disintegration, Assumption 6.1: this is due to the fact that the function w is \(\mu \)measurable.
Proof
Consider the admissible plan \({\bar{\pi }}\) generating the minimal equivalence relation \({\bar{E}}\).
Assumption (6.5) implies that \(t \mapsto w(\gamma (t))\) is equal to a constant \(h(\gamma )\) for \({\mathcal {L}}^1\)a.e. \(t \in [0,1]\) for \({\bar{\pi }}\)a.e. \(\gamma \). Define the set
The same analysis of Step 1 of Theorem 3.13 implies that there is a \({\bar{\pi }}\)negligible set \(N \subset \Gamma \) such that
Indeed, for every measure \(0 < \xi \in \Pi ^\le ({\bar{\pi }},{\bar{\pi }})\) concentrated on W the admissible plan obtained by (3.11) would not satisfy the assumption of the proposition.
Hence, \(t \mapsto w(\gamma (t))\) is constant in each subcurve \(\gamma \) of \(\Gamma {\setminus } N\) for \({\mathcal {L}}^1\)a.e. t. In particular, it is constant in each equivalence class of the equivalence relation \(E^{{\bar{A}}_{{\bar{\pi }}} {\setminus } N}\) generated by \({\bar{A}}_{{\bar{\pi }}} {\setminus } N\).
This equivalence relation \(E^{{\bar{A}}_{{\bar{\pi }}} {\setminus } N}\) is smaller than \({\bar{E}}\), but by the maximality of \({\mathcal {M}}^{{\bar{E}}}\) it generates the same measure algebra \({\mathcal {M}}^{{\bar{E}}} = {\mathcal {M}}^{{\bar{\pi }}}\). If w is not constant in each equivalence class of \({\bar{E}}\) up to a \(\mu \)negligible set \(N' \subset X\), then it follows that taking f as in (6.2) for the equivalence relation \({\bar{E}}\) and defining
we obtain a Borel map such that its equivalence relation \({\bar{E}}' = (f',f')^{1}(\textrm{id})\) is smaller than \({\bar{E}}\) and the measure algebra \({\mathcal {M}}^{{\bar{E}}'}\) strictly contains \({\mathcal {M}}^{{\bar{\pi }}}\), which contradicts the maximality of the latter. \(\square \)
The last result gives the general formula for every solution to the differential equation \(Dw = iwv\) or more precisely
rewritten in (6.6) below.
Theorem 6.6
Given a function \({\omega } \in L^\infty (\zeta ,{\mathbb {S}}^1)\) (\(\zeta \) given by (6.1)), there exists a function \(w \in L^\infty (\mu ,{\mathbb {S}}^1)\) solving the equation for every admissible plan \(\pi \)
and such that
where \({\check{w}}\) is the function constructed in Proposition 6.4.
Viceversa, if w is a solution to the equation (6.6) above, then the ratio \(w/{\check{w}}\) is constant on each equivalence class \({\bar{E}}_y\) for \(\zeta \)a.e. y and defines a function \(\omega \in L^\infty (\zeta ,{\mathbb {S}}^1)\) on the quotient space \(X/{\bar{E}}\).
In particular the map
is bijective on the set of solutions.
Proof
Given a function \(\omega \in L^\infty (\zeta ,{\mathbb {S}}^1)\), the following extension of formula (6.3) constructs the candidate function for the first part of the statement:
where \(\gamma \in \Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}\) is a subcurve of \({\bar{A}}_{{\bar{\pi }}}\) connecting y to x.
We need to prove that the integral formula (6.6) holds for all \(\pi \). Let \(\pi \) be an admissible plan: by removing a negligible set of curves, we can assume that \((\pi + {\bar{\pi }})/2\) is concentrated on a set of integer circuitation curves, together with its subloops (Corollary 3.14). Being the equivalence relation \({\bar{E}}\) maximal in the sense of Proposition 5.9, we can apply Corollary 5.11: the curves \(\gamma \) on which \(\pi \) is concentrated are such that

(1)
\(\gamma (t)\) belongs to the same equivalence class of \({\bar{E}}\) up to a \({\mathcal {L}}^1\)negligible subset of [0, 1];

(2)
the function \(w(\gamma (t);\omega )\) given by formula (6.7) is defined \({\mathcal {L}}^1\)a.e.
Since the disintegration is strongly consistent, for every \(\gamma \) as above there is a subcurve curve \(\gamma '\) of the set where \({\bar{\pi }}\) is concentrated connecting \(\gamma (s)\) to \(\gamma (t)\) (by Point (1) above and Assumption 6.1). Being \(\pi + {\bar{\pi }}\) of integer circuitation, we deduce as in (6.4) that (6.6) holds.
Finally we show that every solution w is computed in this way, i.e. the second part of the statement. By construction, along \({\bar{\pi }}\)a.e. \(\gamma \)
so that we can apply Proposition 6.5. \(\square \)
7 The \(W^{1,2}(X,m,{\mathbb {R}})\)case
In this section we apply the above analysis to the case \(\mu = f^2\,m/\Vert f\Vert _2^2\), where m is now the ambient measure on X and \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\). We still need some assumptions on the structure of the MMS (X, d, m), as explained in the introduction.
Assumption 7.1
For ma.e. point \(x \in X\) there exist two sequence of numbers \(r_n,R_n\), \(r_n \le R_n\), converging to 0 and an admissible plan \(\pi _n \in {\mathcal {P}}(\Gamma )\) such that for some constant \(C_x\)
and
Up to the restriction that the curves \(\gamma \) used by \(\pi _n\) are localized inside the ball \(B_{R_n}(x)\), the admissible plans \(\pi _n\) are the Democratic Plans of [13].
Example 7.2
The above condition holds for example for \([0,1]^d\), \(d \in {\mathbb {N}}\), with \(m = \prod _i {\mathcal {L}}^1 \llcorner _{[0,1]}\): indeed one considers the image measure
which is equivalent to m by coarea formula, being
where \(M_i\) are the \(d \times d\)minors of the matrix \([(1t) \textrm{id}\ t \textrm{id}]\). In particular, it holds in a Riemann manifold by a slight variation of the above computation.
More generally, it holds in nonbranching metric measure space under the Measure Contraction Property \(\textrm{MCP}(K,N)\) [14, Definition 2.1], just by adapting the proof of [13, Theorem 3.1]. We briefly recall the definition of \(\textrm{MCP}(K,N)\). Define the function
A MMS (X, d, m) satisfies the (K, N)measure contraction property if for all \(x \in X\) and \(A \in {\mathcal {B}}(X)\), \(m(A) > 0\), there is a plan \(\pi \in {\mathcal {P}}(\Gamma )\) concentrated on geodesics such that \(e(t)_\sharp \pi \) has bounded second order moments,
and the density of \(e(t)_\sharp \pi \) w.r.t. m satisfies
In particular, since
it follows that if \(A \subset B_1(x)\) then the density is controlled by
Now fixing the ball \(B_r(x)\), and considering the plans \(\pi _x\) as in the definition of \(\textrm{MCP}(K,N)\), the non branching condition gives that the plan
is unique [13, Example 3.1], it is concentrated on \(B_{3r}(x)\) (being concentrated on geodesics), and
By the nonbranching conditions, one deduces that \(R_\sharp \pi = \pi \) as in [13, Theorem 3.1], where we recall that \(R(\gamma )(t) = \gamma (1t)\), so that the above estimate holds also for \(t \in [0,1/2]\). Using again \(\textrm{MCP}(K,N)\) one obtains
which gives the last condition of Assumption 7.1.
In the case of branching spaces, the same condition holds if (locally, being all computations done in a small ball)
and for every \(x \in X\), \(0< r < 1\), there is a transport plan \(\pi _{x,r} \in \textrm{Geo}(X)\) concentrated on geodesics such that
In particular, it holds for branching \(\textrm{MCP}(K,N)\)spaces with the Hausdorff measure \({\mathcal {H}}^N\) as ambient measure m [15].
To prove this fact, consider any ball \(B_{{\bar{r}}}({\bar{x}})\), \(0< {\bar{r}} < 1/2\), and define
Being \(\pi _{x,{\bar{r}}} \in {\mathcal {P}}(\textrm{Geo}(X))\), i.e. it is concentrated on the set of geodesic, it follows that \(L(\gamma ) \le 2 {\bar{r}}\), and thus \(e(t)_\sharp \pi _{y,{\bar{x}},{\bar{r}}}\) is concentrated on \(B_{2{\bar{r}}}({\bar{x}})\) for \(y \in B_{{\bar{r}}}({\bar{x}})\). The measure contraction property (the last estimate of (7.2)) gives that \(m(B_{2{\bar{r}}}({\bar{x}})) \le C 2^{N} m(B_{{\bar{r}}}({\bar{x}}))\). Moreover by construction
Finally, consider a ball \(B_r(x)\) and compute
where we have used the last estimate in (7.2) and the simple observation
Using again the measure contraction property one obtains
and then for \(t \ge r/{\bar{r}}\) and using (7.1)
For \(t \le r/{\bar{r}}\) we have \(m(B_{r+2t {\bar{r}}}(x)) \le C 4^N m(B_r(x))\), and thus we obtain
for some constant \(C''\). This shows that \(e(t)_\sharp {\bar{\pi }} \le C'' m/m(B_{{\bar{r}}}({\bar{x}}))\).
Lemma 7.3
There exists an admissible plan \(\pi \) satisfying Assumption 7.1 and such that the equivalence relation \({\bar{E}}\) given by (5.6) is made of countably many equivalence classes of positive measure.
Proof
Take a point x as in Assumption 7.1, fix n and let \(A_{\pi _n}\) be a set of curves where \(\pi _n\) is concentrated: by assumption ma.e. point \(x_1 \in B_{r_n}(x)\) is connected by a curve to ma.e. point \(x_2 \in B_{r_n}(x)\). By the transitivity of the equivalence relation, all these points are in the same equivalence class, i.e. \(B_{r_n}(x)\) is in a single equivalence class up to a mnegligible set. It is clear that by removing a negligible set of trajectories we changes the equivalence class only in a mnegligible set.
Let \(\{\Omega _n\}_n = \{B_{r_n}(x_n)\}_n\) be the family of balls as above covering ma.e. \(x \in X\). Let \(\pi _{nn'}\) be an admissible plan (if it exists) such that
The admissible plan of the statement is
with \(c_n,c_{nn'}\) chosen as in (3.12) to have a probability measure. \(\square \)
We next consider a function \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\) and define probability measure
We assume that we are given the cotangent vector field \(v \in L^2(T^*X)\) on the space \((X,\mu )\), and we denote with \(\Lambda _\gamma (t)\) the corresponding function as in (3.6).
Proposition 7.4
There exists an admissible plan \({\bar{\pi }}\) (w.r.t. the measure \(\mu \)) satisfying Assumption 6.1 such that its equivalence classes are of positive measure.
Proof
As in the previous proof, it is enough to prove the statement locally by showing that nearby to a Lebesgue point of \(f,Df > 0\) there exists a plan \({\bar{\pi }}\) generating an equivalence class of positive measure essentially invariant w.r.t. the choice of the sets \(A_{{\bar{\pi }}}\).
Let \({\bar{x}} \in X\) be a Lebesgue point for f and Df (being Df the upper gradient), i.e. for definiteness
Consider the ball \(B_{r_n}({\bar{x}})\), with \(r_n \le R_n \le {\bar{r}}\), and the admissible plan \(\pi _n\) defined in Assumption 7.1: we have
In particular, using Chebyshev inequality, the \(\pi \)measure of the set \({\mathcal {W}}\) of trajectories for which
is bounded by
for \(n \gg 1\).
By the disintegration w.r.t. the map \(e(0): \gamma \mapsto \gamma (0)\),
it follows that
For all other points, there exists a family of geodesics of \(\pi _{n,x}\)measure greater than 7/8 such that
By Assumption 7.1,
so that the end points of the previous trajectories cover a subset of \(B_\delta ({\bar{x}})\) with mmeasure larger than \(7\,m(B_{r_n}({\bar{x}}))/8\).
The set of x such that \(f(x)  1> 1/4\) has measure smaller than \(16\epsilon ^2 m(B_{r_n}({\bar{x}}))\), so that there is a set of positive mmeasure such that \(f(x)  1 > 1/4\) and the trajectories starting from x verifying (7.4) have end points in a set with measure \(> 7m(B_{r_n}({\bar{x}}))/8\). In particular the trajectories starting from each of these points must intersect, and since
then they live in an equivalence class of positive measure. \(\square \)
Corollary 7.5
The disintegration w.r.t. the equivalence classes of \(E^{{\bar{A}}_{{\bar{\pi }}}}\) for the measure \(\mu \) is strongly consistent for every \({\bar{A}}_\pi \), hence that there exists a solution w.
This corollary, together with Example 7.2, proves the existence part of (1.13) of Theorem 1.1.
Proof
We just observe that the disintegration with equivalence classes of positive measure is certainly strongly consistent, corresponding to a countable partition of the ambient space up to a negligible set. \(\square \)
Finally, we consider the case \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\) and \(v \in L^2(T^*X)\) cotangent vector field in \((X,\mu )\). The above computations can be applied to the equivalence classes of \(\mu = f^2\,m\), and then by Theorem 6.6 we can construct a function \(w \in L^\infty (\mu ,{\mathbb {S}}^1)\) such that
Let now \(\pi '\) be an admissible plan for (X, m): we can assume that \(\pi \) is concentrated on a family of curves \(A_\pi \) such that \(f \circ \gamma \in {W^{1,2}}([0,L(\gamma )],{\mathcal {L}}^2,{\mathbb {R}})\) for all \(\gamma \in A_\pi \). In particular, \(f \circ \gamma \) is continuous and for every \(n \in {\mathbb {N}}\) define
The next lemma assures that the dependence w.r.t. \(k,\gamma \) of \(t^\pm _{k,n}\) is Borel.
Lemma 7.6
There exists a family of countable maps of Borel regularity
such that (7.5) holds.
Proof
Being \((t,\gamma ) \mapsto e(t,\gamma ) = \gamma (t)\) continuous, by selecting a Borel representative of f we obtain that
is Borel, and by the choice of \(A_\pi \) it is continuous w.r.t. t for every \(\gamma \in \Gamma \) by setting \({\tilde{f}}(t,\gamma ) = 0\) if \(\gamma \notin A_\pi \). We will prove the statement for the function \({\tilde{f}}\).
Let \(s_\ell \in [0,1] \cap {\mathbb {Q}}\) be a countable dense sequence of times, set
and define the function \({\tilde{t}}^+_k: A_{\pi ,k} \rightarrow [0,1]\) as the function whose graph is
In the same way the function \({\tilde{t}}^_k: A_{\pi ,k} \rightarrow [0,1]\) is given by
Begin \(A_{\pi ,k}\) Borel, the functions \({\tilde{t}}^\pm _k\) are Borel with domain \(A_{\pi ,k}\). It is clear that with this procedure we have
The only step left is to have that every interval of \(\{{\tilde{f}}(\cdot ,\gamma ) > 0\}\) is counted once. Set \(t_{1,n}^\pm (\gamma ) = {\tilde{t}}_1^\pm (\gamma )\), and in general
Being the last set a Borel set, the functions \(t^\pm _k\) are again Borel. \(\square \)
By defining
we have that \(\pi _{k,n}\) is an admissible plan for the measure \(\mu = f^2 m/\Vert f\Vert _2^2\), with compressibility constant \(2^{2n} C/\Vert f\Vert _2^2\), C being the compressibility constant of \(\pi \). Along \(\pi _{k,n}\)a.e. curve, by elementary 1d computations we have that
so that, recalling \(w \in {\mathbb {S}}^1\), for \(\pi _{n,k}\)a.e. \(\gamma \) we deduce
The last function belongs to \(L^2(X,m)\), because \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\) and \(Dw \in L^2(X,\mu )\), i.e.
By letting \(n \rightarrow \infty \) and extending \(t \mapsto (fw)(\gamma (t))\) as a continuous function, we deduce that (7.6), (7.7) holds for \(\pi \)a.e. \(\gamma \), and since trivially \(fw = f \in L^2(X,m)\) we conclude with the following proposition.
Proposition 7.7
Under the assumptions \(f \in W^{1,2}(X,m,{\mathbb {R}}^+)\), \(v \in L^2(X,f^2\,m,{\mathbb {C}})\), there exists a solution w such that \(f w \in W^{1,2}(X,m,{\mathbb {C}})\) and
Moreover any other solution \(w'\) satisfies
where E is the equivalence relation constructed in Sect. 5 in the space \((X,\mu )\) with \(\mu = f^2\,m/\Vert f\Vert _2^2\).
In particular there are at most \(({\mathbb {S}}^1)^{\mathbb {N}}\)different solutions. Together with Proposition 7.4, the above statement completes the proof of Theorem 1.1.
Proof
Because of Theorem 6.6, we are left to prove (7.8): this follows from (7.6) and the observation that every cotangent vector field is uniquely defined by its behavior on admissible plans as in (3.5). \(\square \)
\({{Glossary}}\)
 A(n):

Set of curves made of up to pieces of ndifferent curves
 \({{A_\pi }}\) :

Set of curves where the test plan \(\pi \) is concentrated
 \({{B^X_r(A)}}\) :

rneighborhood of the set \(A \subset X\)
 \({{B^X_r(x)}}\) :

Ball of radius r centered in \(x \in X\)
 C :

Compressibility constant of a test plan \(\pi \)
 Df :

Cotangent vector field corresponding to the function \(f \in S^1\)
 \({{E^\pi }}\) :

Minimal equivalence relation generated by \(\pi \)
 \({{E^{A_\pi }}}\) :

Equivalence relation generated by the curves in \(A_\pi \)
 Ex :

Equivalence class containing x
 E :

Equivalence relation
 \({{F_\sigma }}\) :

Countable union of closed sets
 \({{G_\delta }}\) :

Countable intersection of open sets
 \({{L(\gamma )}}\) :

Length of the Lipschitz curve \(\gamma \)
 \({{L^1(T^*X)}}\) :

Cotangent bundle of \(L^1\) covectors
 \({{L^\infty (TX)}}\) :

Tangent bundle of \(L^\infty \) vector fields
 \({{L^p(\mu )}}\) :

Standard integral space of functions
 \({{R(\gamma )(t) = \gamma (1t)}}\) :

Time reversal map
 \({{R_{s,t}(\gamma )}}\) :

Restriction of the curve \(\gamma \) to the interval [s, t]
 \({{S^1(X)}}\) :

Space of functions with upper gradient Df in \(L^1(X)\)
 S :

Section of the equivalence relation E
 \({{W^{1,2}(X)}}\) :

Space of functions in \(L^2(X)\) with upper gradient in \(L^2(X)\)
 X :

Separable metric space
 \({{{{\,\textrm{Dom}\,}}(f)}}\) :

Domain of the function f
 \({{\Gamma _A}}\) :

Set of all subcurves of a given family of curves
 \({{\Gamma _c}}\) :

Space of closed Lipschitz curves on X
 \({{\Gamma _{{\bar{A}}_{{\bar{\pi }}},{\bar{S}}}}}\) :

Subcurves of \({\bar{A}}_{{\bar{\pi }}}\) passing trhough \({\bar{S}}\)
 \({{\Gamma }}\) :

Space of Lipschitz curves on X
 \({{{{\,\textrm{Graph}\,}}(f)}}\) :

Graph of a function f
 \({{\Lambda _\gamma (t,v)}}\) :

Evaluation of the cotangent vector field v on the curve \(\gamma \)
 \({{{\mathbb {N}}}}\) :

Natural numbers
 \({{{\mathbb {Q}}}}\) :

Rational numbers
 \({{{\mathbb {R}}}}\) :

Real numbers
 \({{\Sigma ^1_1}}\) :

Analytic sets, i.e. projection of closed sets
 \({{{\mathbb {Z}}}}\) :

Integer numbers
 \({{{\bar{A}}_\pi }}\) :

Set of curves where the test plan \(\pi \) is concentrated generating the minimal equivalence relation
 \({{{\bar{E}}}}\) :

Equivalence relation generated by countably many saturated sets
 \({{{\bar{S}}}}\) :

Borel section of an equivalence relation
 \({{{\bar{\pi }}}}\) :

Test plan generating a maximal equivalence relation
 \({{\dot{\gamma }}}\) :

Metric derivative of \(\gamma \)
 \({{\gamma }}\) :

Lipschitz curves on X
 \({{{\hat{\pi }}}}\) :

Test plan on constant curves with \(e(t)_\sharp {\hat{\pi }} = 1\)
 \({{{\mathbb {S}}^1}}\) :

Unitary circle in \({\mathbb {R}}^2\)
 \({{{\mathcal {B}}(X)}}\) :

Borel \(\sigma \)algebra of the topological space X
 \({{{\mathcal {C}}(n)}}\) :

Subset of A(n) made of connected curves
 \({{{\mathcal {H}}^d}}\) :

ddimensional Hausdorff measure
 \({{{\mathcal {I}}_c}}\) :

Set of closed path with integer circuitation
 \({{{\mathcal {K}}(X)}}\) :

Compact subsets of X, with the Haudorff topology
 \({{{\mathcal {L}}^d}}\) :

Lebesgue measure in \({\mathbb {R}}^d\)
 \({{{\mathcal {M}}^\pi }}\) :

Maximal measure algebra generated by \(\pi \)
 \({{{\mathcal {M}}^{E}}}\) :

\(\sigma \)algebra made of Esaturated sets, of the corresponding measure algebra
 \({{{\mathcal {M}}}}\) :

(Complete) \(\sigma \)algebra, often identificated with the corresponding measure algebra
 \({{{\mathcal {P}}(X)}}\) :

Probability measure over X
 \({{\mathrm {Adm(\mu )}}}\) :

\(\mu \)admissible transference plans \(\pi \in {\mathcal {P}}(\Gamma )\)
 \({{\textrm{Lip}([0,1];X)}}\) :

Lipschitz functions from [0, 1] to X
 \({{\mathrm {const.}}}\) :

Generic constant
 \({{\mathtt e}}\) :

Quotient map for the equivalence relation E
 \({{\mathtt p_X}}\) :

Projection on the space X
 \({{\mathtt p_i}}\) :

Projection on the ith component of the space \(\prod _i X_i\)
 \({{\mu _y}}\) :

Conditional probabilities of the disintegration of \(\mu \)
 \({{\mu }}\) :

An element of \({\mathcal {P}}(X)\)
 \({{\omega }}\) :

\(L^\infty (m)\)function defined on \({\bar{S}}\) with values in \({\mathbb {S}}^1\)
 \({{\pi }}\) :

Test plan
 \({{\overrightarrow{[x,y]}}}\) :

Geodesic connecting x to y
 \({{\sharp A}}\) :

Cardinality of the set A
 \({{\sigma (\Sigma ^1_1)}}\) :

\(\sigma \)algebra generated by analytic sets
 \({{\varpi }}\) :

Image measure of the disintegration of \(\mu \)
 \({{d_H(K_1,K_2)}}\) :

Hausdorff distance on \({\mathcal {K}}(X)\)
 d :

Distance on the metric space X
 e(t):

Evaluation map \(\Gamma \ni \gamma \mapsto \gamma (t) \in X\)
 f(X):

Range of the function f
 \({{f_\sharp \mu }}\) :

Push forward of \(\mu \) by f
 f :

Generic function on X
 m :

Probability on X used for defining \(W^{1,2}\)
 v :

Element of the cotangent bundle \(L^1(T^*X)\)
 x :

Generic point in the metrix space X
 Df:

Upper gradient of a function f
References
Ambrosio, L., Colombo, M., Di Marino, S.: Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope. Adv. Stud. Pure Math. 67, 1–58 (2015)
Ambrosio, L., Di Marino, S., Savaré, G.: On the duality between pmodulus and probability measures. JEMS 17(8), 1817–1853 (2015)
Antonelli, P., Marcati, P.: An introduction to the mathematical theory of quantum fluids. Springer UMI Lecture Notes (to appear)
Antonelli, P., Marcati, P., Zheng, H.: An instrinsically hydrodynamic approach to multidimensional QHD system
Antonelli, P., Marcati, P., Zheng, H.: Genuine hydrodynamic analysis to the 1D QHD system: existence, dispersion and stability. Commun. Math. Phys. 383, 2113–2161 (2021)
Bianchini, S., Caravenna, L.: On the extremality, uniqueness and optimality of transference plans. Bull. Inst. Math. Acad. Sin. (N.S.) 4(4), 353–454 (2009)
Bogachev, V.I.: Measure Theory. Springer, Berlin (2016)
Fremlin, D.H.: Measure Theory, vol. 3. Torres Fremlin, 332Tb (2002)
Fremlin, D.H.: Measure Theory, vol. 4. Torres Fremlin, 332Tb (2002)
Gigli, N.: Nonsmooth Differential Geometry—An Approach Tailored for Spaces with Ricci Curvature Bounded from Below, vol. 251. Memoir AMS
Gigli, N., Pasqualetto, E.: Lectures on Nonsmooth Differential Geometry. Springer, Berlin (2020)
Kellerer, H.G.: Duality theorems for marginals problems. Z. Wahrcsh. Verw. Gebiete 67(4), 399–432 (1984)
Lott, J., Villani, C.: Weak curvature conditions and functional inequalities. J. Funct. Anal. 245, 311–333 (2007)
Ohta, S.I.: On the measure contraction property of metric measure spaces. Comment. Math. Helv. 82, 805–828 (2007)
Rajala, T.: Interpolated measures with bounded density in metric spaces satisfying the curvaturedimension conditions of sturm. J. Funct. Anal. 263, 896–924 (2012)
Srivastava, A.M.: A Course on Borel Sets. Springer, Berlin (1998)
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati  SISSA within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
I wish to thank Paolo Antonelli and Piero Marcati for introducing me to the beautiful subject of QHD.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bianchini, S. Exact integrability conditions for cotangent vector fields. manuscripta math. (2023). https://doi.org/10.1007/s0022902301461y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s0022902301461y
Mathematics Subject Classification
 35Q40