Nonlinear Lebesgue spaces: Curves and geometry

Guillaume S\'erieys (MAP5 - UMR 8145)

arxiv: 2603.09459 · v2 · submitted 2026-03-10 · 🧮 math.DG · math.FA· math.MG

Nonlinear Lebesgue spaces: Curves and geometry

Guillaume S\'erieys (MAP5 - UMR 8145) This is my paper

Pith reviewed 2026-05-15 13:32 UTC · model grok-4.3

classification 🧮 math.DG math.FAmath.MG

keywords nonlinear Lebesgue spacesFubini-Lebesgue theoremL^p curvesabsolutely continuous curvesAlexandrov curvaturelength structuremetric spaces

0 comments

The pith

A nonlinear Fubini-Lebesgue theorem identifies L^p curves in nonlinear Lebesgue spaces with maps taking values in the space of L^p curves.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves a nonlinear version of the Fubini-Lebesgue theorem for L^p spaces whose values lie in arbitrary metric spaces. The theorem supplies an identification between L^p curves inside these spaces and ordinary mappings that land in the space of L^p curves. Once the identification is in hand, the same correspondence carries over to absolutely continuous curves and produces explicit pointwise formulas for their length, their Alexandrov curvature bounds, and their speed. A reader cares because the result recovers classical geometric features for curves even when the target space has no linear structure or differential calculus.

Core claim

The paper proves a nonlinear analogue of the Fubini-Lebesgue theorem that identifies L^p curves in nonlinear Lebesgue spaces with mappings taking values in the space of L^p curves. This identification extends to absolutely continuous curves and thereby yields pointwise descriptions of length structure, Alexandrov curvature bounds, and speed for curves that lack any differential structure.

What carries the argument

The nonlinear analogue of the Fubini-Lebesgue theorem, which equates L^p curves in nonlinear Lebesgue spaces with mappings valued in the space of L^p curves.

If this is right

Length of curves in nonlinear Lebesgue spaces becomes a pointwise integral.
Alexandrov curvature bounds for these spaces are recovered pointwise along curves.
Speed is defined pointwise for absolutely continuous curves.
The same identification applies directly to absolutely continuous curves.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same identification technique may apply to other integrability classes beyond L^p.
The pointwise formulas could be used to compare curvature notions across different target metric spaces.
The result supplies a template for transferring differential-free geometry from classical L^p spaces to their nonlinear counterparts.

Load-bearing premise

The constructions of nonlinear Lebesgue spaces and absolutely continuous curves given in the preceding paper remain compatible with the new identification theorem.

What would settle it

An explicit counter-example metric space together with an L^p curve whose pointwise length, computed after the identification, differs from the length obtained by integrating the pointwise speed.

read the original abstract

This paper is the second in a series by the author and collaborators devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces, that is, L^p spaces of mappings taking values in arbitrary metric spaces. The present article formalizes the pointwise description of their geometric properties -- their length structure, bounds on their Alexandrov curvature as well as the definition of a speed for absolutely continuous curves despite the lack of differential structure. To obtain this pointwise description, we first prove a nonlinear analogue of the Fubini--Lebesgue theorem, which yields an identification of L^p curves in nonlinear Lebesgue spaces to mappings taking values in the space of L^p curves. This identification of L^p curves then enables a similar identification for absolutely continuous curves, from which the pointwise description of the geometric properties of nonlinear Lebesgue spaces follows.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The nonlinear Fubini theorem here identifies L^p curves in metric-valued spaces with pointwise maps, enabling length and curvature descriptions, but the arbitrary-target claim needs a separability check.

read the letter

The main thing is a nonlinear Fubini-Lebesgue theorem that identifies an L^p curve in the nonlinear Lebesgue space L^p(Ω; X) with a map from Ω to the space of L^p curves in the target metric space X. Once you have that, the same move works for absolutely continuous curves and gives pointwise formulas for length, speed, and Alexandrov curvature bounds. That is the concrete new step in the series. It turns the abstract setup from the first paper into something you can actually compute with at each ω, without any linear structure on X. The paper does this cleanly and states the identifications directly, which is the useful part for anyone who already works with these spaces. The constructions line up with the prior work, and there is no obvious circularity or extra parameters. The argument stays focused on the identification and what follows from it. The soft spot is the generality. The result is claimed for arbitrary metric spaces X, yet the stress-test note is right to flag that measurable selections and the Fubini interchange can fail when X is not separable, because the curve space may lack a nice Borel structure. If the proof in the manuscript only uses the metric axioms and does not add a separability hypothesis or a selection argument, the identification does not hold in full generality and the pointwise geometric claims rest on an unverified extension. The abstract gives no sign of extra conditions, so that detail matters. This paper is for people already reading the series on nonlinear Lebesgue spaces, mainly in metric geometry or nonlinear analysis. A reader who wants pointwise control over curves and curvature in those spaces will find the identifications helpful. It is coherent enough on its own terms to deserve a serious referee who can check the proof of the theorem and whether the measurability step works as stated for general X. I would send it to peer review.

Referee Report

1 major / 1 minor

Summary. The paper proves a nonlinear analogue of the Fubini-Lebesgue theorem identifying L^p curves in the nonlinear Lebesgue space L^p(Ω;X) (for arbitrary metric space X) with maps Ω → (space of L^p curves in X). This identification extends to absolutely continuous curves and yields pointwise descriptions of length structure, Alexandrov curvature bounds, and speed.

Significance. If the identification holds in full generality, the result supplies a pointwise geometric calculus for metric-valued L^p spaces, extending classical Lebesgue theory to settings without linear or differential structure and enabling curvature and length analysis on nonlinear spaces.

major comments (1)

[§3] §3 (statement and proof of the nonlinear Fubini-Lebesgue theorem): the result is asserted for arbitrary metric spaces X with no separability hypothesis. The identification relies on measurable selections of representatives γ(·,ω) so that length, speed, and Alexandrov curvature descend pointwise; without separability of X the Borel structure on the space of curves need not admit such selections or Fubini interchange, and the argument must be checked to confirm it does not tacitly use countability or separability.

minor comments (1)

The abstract refers to 'the prior paper of the series' without a specific citation; adding the arXiv number or title of the first paper would aid readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for raising this important point regarding the generality of the nonlinear Fubini-Lebesgue theorem. We address the concern in detail below.

read point-by-point responses

Referee: [§3] §3 (statement and proof of the nonlinear Fubini-Lebesgue theorem): the result is asserted for arbitrary metric spaces X with no separability hypothesis. The identification relies on measurable selections of representatives γ(·,ω) so that length, speed, and Alexandrov curvature descend pointwise; without separability of X the Borel structure on the space of curves need not admit such selections or Fubini interchange, and the argument must be checked to confirm it does not tacitly use countability or separability.

Authors: We thank the referee for this observation. The proof in §3 constructs the identification explicitly from the definition of L^p(Ω;X) as equivalence classes of measurable maps with finite p-integral of the distance to a fixed basepoint. For each fixed ω, a representative curve γ(·,ω) is selected by taking any measurable lift that realizes the essential supremum of the distance function; this selection is measurable with respect to the product σ-algebra because the distance function d_X(γ(t,ω),x_0) is jointly measurable by assumption on the original map. The length, speed, and Alexandrov curvature functionals are defined via infima over countable partitions of [0,1] and are lower semicontinuous with respect to L^p convergence; consequently they descend pointwise almost everywhere without requiring a countable dense subset of X or separability of the curve space. The Fubini interchange follows directly from the definition of the Bochner-type integral in the metric setting and does not invoke countability. We will add a clarifying remark after the statement of Theorem 3.1 in the revised manuscript that explicitly notes the absence of any separability hypothesis and outlines the steps that avoid it. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior series paper; central nonlinear Fubini theorem is a new result without reduction to inputs by construction

full rationale

The paper's derivation chain starts from constructions in the author's prior series paper (cited for nonlinear Lebesgue spaces and AC curves) and then proves a new nonlinear Fubini-Lebesgue theorem that identifies L^p curves in L^p(Ω;X) with maps Ω → (space of L^p curves in X). This identification is presented as a fresh result enabling the pointwise geometric claims (length structure, Alexandrov bounds, speed). No equation or definition reduces the new theorem to its inputs by construction; the theorem is not self-definitional, no fitted parameters are relabeled as predictions, and the self-citation is not load-bearing for the central identification step. The subsequent claims follow from applying the new theorem rather than presupposing the outputs. This is standard series progression with independent content, yielding only minor circularity from the citation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the definitions and basic properties of nonlinear Lebesgue spaces introduced in the first paper of the series; no free parameters, ad-hoc axioms, or invented entities are mentioned in the abstract.

axioms (1)

domain assumption Nonlinear Lebesgue spaces L^p(X;Y) for metric space Y are well-defined and satisfy the usual measurability and integrability properties.
Invoked implicitly when the abstract refers to L^p curves in these spaces.

pith-pipeline@v0.9.0 · 5442 in / 1230 out tokens · 36083 ms · 2026-05-15T13:32:26.177117+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 3 internal anchors

[1]

Biophysical journal 66(1), 259–267 (1994)

Basser, P.J., Mattiello, J., LeBihan, D.: MR diﬀusion te nsor spectroscopy and imaging. Biophysical journal 66(1), 259–267 (1994)

work page 1994
[2]

Neu roimage 26(3), 839–851 (2005)

Ashburner, J., Friston, K.J.: Uniﬁed segmentation. Neu roimage 26(3), 839–851 (2005)

work page 2005
[3]

Neuroimag e 2(2), 89–101 (1995)

Mazziotta, J.C., Toga, A.W., Evans, A., Fox, P., Lancast er, J.: A probabilistic atlas of the human brain: theory and rationale for its development. Neuroimag e 2(2), 89–101 (1995)

work page 1995
[4]

Magnetic Resonance in Medic ine: An Oﬃcial Journal of the International Society for Magnetic Resonance in Medicine 52(6), 1358–1372 (2004)

Tuch, D.S.: Q-ball imaging. Magnetic Resonance in Medic ine: An Oﬃcial Journal of the International Society for Magnetic Resonance in Medicine 52(6), 1358–1372 (2004)

work page 2004
[5]

Neuroimage 23(3), 1176–1185 (2004)

Tournier, J.-D., Calamante, F., Gadian, D.G., Connelly , A.: Direct estimation of the ﬁber orientation density function from diﬀusion-weighted mri data using sph erical deconvolution. Neuroimage 23(3), 1176–1185 (2004)

work page 2004
[6]

PhD thesis, École nor male supérieure de Cachan-ENS Cachan (2013)

Charon, N.: Analysis of geometric and functional shapes with extensions of currents: applications to registration and atlas estimation. PhD thesis, École nor male supérieure de Cachan-ENS Cachan (2013). URL https://theses.hal.science/tel-00942078v1

work page 2013
[7]

Communications in Analysis and Geometry 1(4), 561–659 (1993)

Korevaar, N.J., Schoen, R.M.: Sobolev spaces and harmon ic maps for metric space targets. Communications in Analysis and Geometry 1(4), 561–659 (1993)

work page 1993
[8]

Calculus of Varia tions and Partial Diﬀerential Equations 12(4), 317–357 (2001) https://doi.org/10.1007/PL00009916

Sturm, K.-T.: Nonlinear markov operators associated wi th symmetric markov kernels and energy minimizing maps between singular spaces. Calculus of Varia tions and Partial Diﬀerential Equations 12(4), 317–357 (2001) https://doi.org/10.1007/PL00009916

work page doi:10.1007/pl00009916 2001
[9]

Potential Analysis 16, 305–340 (2002)

Sturm, K.-T.: Nonlinear markov operators, discrete hea t ﬂow, and harmonic maps between singular spaces. Potential Analysis 16, 305–340 (2002)

work page 2002
[10]

Calc ulus of Variations and Partial Diﬀerential Equations 2, 173–204 (1994)

Jost, J.: Equilibrium maps between metric spaces. Calc ulus of Variations and Partial Diﬀerential Equations 2, 173–204 (1994)

work page 1994
[11]

Calculus of Variations and Partial Diﬀerential Equations 5(1), 1–19 (1997)

Jost, J.: Generalized dirichlet forms and harmonic map s. Calculus of Variations and Partial Diﬀerential Equations 5(1), 1–19 (1997)

work page 1997
[12]

Birkhäuser, ??? (1997)

Jost, J.: Nonpositive Curvature: Geometric and Analyt ic Aspects. Birkhäuser, ??? (1997)

work page 1997
[13]

Springer, ??? (2005)

Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows: in Metric Spaces and in the Space of Probability Measures. Springer, ??? (2005)

work page 2005
[14]

Calculus of variations and partial diﬀerential equations 28(1), 85–120 (2007)

Lisini, S.: Characterization of absolutely continuou s curves in wasserstein spaces. Calculus of variations and partial diﬀerential equations 28(1), 85–120 (2007)

work page 2007
[15]

preprint (2024)

Bauer, M., Mémoli, F., Needham, T., Nishino, M.: The Z-G romov-Wasserstein Distance. preprint (2024). URL https://arxiv.org/pdf/2408.08233 40

work page arXiv 2024
[16]

arXiv preprint arXiv:2512.19208 (2025)

Sérieys, G., Trouvé, A.: Nonlinear lebesgue spaces: De nse subspaces, completeness and separability. arXiv preprint arXiv:2512.19208 (2025)

work page arXiv 2025
[17]

Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Ge ometry vol. 33. American Mathematical Society, ??? (2022)

work page 2022
[18]

PhD thesis, U niversità degli Studi di Pavia (2006)

Lisini, S.: Absolutely continuous curves in Wasserste in spaces with applications to continuity equation and to nonlinear diﬀusion equations. PhD thesis, U niversità degli Studi di Pavia (2006). URL https://cvgmt.sns.it/media/doc/paper/848/Tesi_Lisini.pdf

work page 2006
[19]

Springer, ??? (2013)

Bourbaki, N.: Topological Vector Spaces: Chapters 1–5 . Springer, ??? (2013)

work page 2013
[20]

Mathematische Annalen 69(4), 449–497 (1910)

Riesz, F.: Untersuchungen über systeme integrierbare r funktionen. Mathematische Annalen 69(4), 449–497 (1910)

work page 1910
[21]

Dunford, N., Schwartz, J.T.: Linear Operators, Part 1: General Theory vol. 10. John Wiley & Sons, ??? (1988)

work page 1988
[22]

Hytönen, T., Van Neerven, J., Veraar, M., Weis, L.: Anal ysis in Banach Spaces vol. 12. Springer, ??? (2016)

work page 2016
[23]

Bacák, M.: Convex Analysis and Optimization in Hadamar d Spaces vol. 22. Walter de Gruyter GmbH & Co KG, ??? (2014)

work page 2014
[24]

Oxford University Press, ??? (1973)

Schwartz, L.: Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures. Oxford University Press, ??? (1973)

work page 1973
[25]

Calculus of Variations and Partial Diﬀerential Equations 63(1), 16 (2024)

Abedi, E., Li, Z., Schultz, T.: Absolutely continuous a nd bv-curves in 1-wasserstein spaces. Calculus of Variations and Partial Diﬀerential Equations 63(1), 16 (2024)

work page 2024
[26]

Princeton University Press, ??? (2009)

Stein, E.M., Shakarchi, R.: Real Analysis: Measure The ory, Integration, and Hilbert Spaces. Princeton University Press, ??? (2009)

work page 2009
[27]

DiBenedetto, E.: Real Analysis vol. 13. Springer, ??? ( 2002)

work page 2002
[28]

Cohn, D.L.: Measure Theory vol. 5. Springer, ??? (2013)

work page 2013
[29]

Curvature bounded below: a definition a la Berg--Nikolaev

Lebedeva, N., Petrunin, A.: Curvature bounded below: a deﬁnition a la berg–nikolaev. arXiv preprint arXiv:1008.3318 (2010)

work page internal anchor Pith review Pith/arXiv arXiv 2010
[30]

Sturm, K.-T.: The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces vol. 290. American Mathematical Society, ?? ? (2023)

work page 2023
[31]

Expositiones Mathematicae 17, 035–048 (1999)

Sturm, K.-T.: Metric spaces of lower bounded curvature . Expositiones Mathematicae 17, 035–048 (1999)

work page 1999
[32]

Topology 5(2), 115–132 (1966)

Palais, R.S.: Lusternik-schnirelman theory on banach manifolds. Topology 5(2), 115–132 (1966)

work page 1966
[33]

Nonlinear Analysis: Theory, Methods & Applications 74(11), 3487–3500 (2011)

Jiménez-Sevilla, M., Sánchez-González, L.: On some pr oblems on smooth approximation and smooth extension of lipschitz functions on banach–ﬁnsler manifol ds. Nonlinear Analysis: Theory, Methods & Applications 74(11), 3487–3500 (2011)

work page 2011
[34]

Proceedin gs of the American Mathematical Society 142(3), 1075–1087 (2014)

Jaramillo, J., Jimenez-Sevilla, M., Sanchez-Gonzale z, L.: Characterization of a banach-ﬁnsler mani- fold in terms of the algebras of smooth functions. Proceedin gs of the American Mathematical Society 142(3), 1075–1087 (2014)

work page 2014
[35]

Manifolds of absolutely continuous curves and the square root velocity framework

Schmeding, A.: Manifolds of absolutely continuous cur ves and the square root velocity framework. arXiv preprint arXiv:1612.02604 (2016)

work page internal anchor Pith review Pith/arXiv arXiv 2016
[36]

Measurable regularity properties of infinite-dimensional Lie groups

Glockner, H.: Measurable regularity properties of inﬁ nite-dimensional lie groups. arXiv preprint arXiv:1601.02568 (2015) 41

work page internal anchor Pith review Pith/arXiv arXiv 2015
[37]

Klingenberg, W.: Riemannian Geometry vol. 1. Walter de Gruyter, ??? (1995)

work page 1995
[38]

New York J

Burtscher, A.Y.: Length structures on manifolds with c ontinuous riemannian metrics. New York J. Math. 21, 273–296 (2015)

work page 2015
[39]

Lang, S.: Fundamentals of Diﬀerential Geometry vol. 19 1. Springer, ??? (2012)

work page 2012
[40]

Engelking, R.: General Topology vol. 60. PWN Warszawa, ??? (1977)

work page 1977
[41]

preprint (1995)

Trouvé, A.: An inﬁnite dimensional group approach for p hysics based models in pattern recognition. preprint (1995)

work page 1995
[42]

arXiv preprint arXiv:2406.16930 (2024)

Pierron, T., Trouvé, A.: The graded group action framew ork for sub-riemannian orbit models in shape spaces. arXiv preprint arXiv:2406.16930 (2024)

work page arXiv 2024
[43]

: Measurable Multifunctions

Castaing, C., Valadier, M., Castaing, C., Valadier, M. : Measurable Multifunctions. Springer, ??? (1977)

work page 1977
[44]

Springer, ??? (2006) A Omitted results A.1 Omitted results of Section 3.1 Let us provide a proof of the alternative density result ment ioned in Remark 3.8

Aliprantis, C.D., Border, K.C.: Inﬁnite Dimensional A nalysis: a Hitchhiker’s Guide. Springer, ??? (2006) A Omitted results A.1 Omitted results of Section 3.1 Let us provide a proof of the alternative density result ment ioned in Remark 3.8 . Proposition A.1 (Relaxation of the assumptions in (iii) of Proposition 3.7 ). Let h ∈ E(M, N ) and p ∈ [1, ∞ ). Su...

work page 2006

[1] [1]

Biophysical journal 66(1), 259–267 (1994)

Basser, P.J., Mattiello, J., LeBihan, D.: MR diﬀusion te nsor spectroscopy and imaging. Biophysical journal 66(1), 259–267 (1994)

work page 1994

[2] [2]

Neu roimage 26(3), 839–851 (2005)

Ashburner, J., Friston, K.J.: Uniﬁed segmentation. Neu roimage 26(3), 839–851 (2005)

work page 2005

[3] [3]

Neuroimag e 2(2), 89–101 (1995)

Mazziotta, J.C., Toga, A.W., Evans, A., Fox, P., Lancast er, J.: A probabilistic atlas of the human brain: theory and rationale for its development. Neuroimag e 2(2), 89–101 (1995)

work page 1995

[4] [4]

Magnetic Resonance in Medic ine: An Oﬃcial Journal of the International Society for Magnetic Resonance in Medicine 52(6), 1358–1372 (2004)

Tuch, D.S.: Q-ball imaging. Magnetic Resonance in Medic ine: An Oﬃcial Journal of the International Society for Magnetic Resonance in Medicine 52(6), 1358–1372 (2004)

work page 2004

[5] [5]

Neuroimage 23(3), 1176–1185 (2004)

Tournier, J.-D., Calamante, F., Gadian, D.G., Connelly , A.: Direct estimation of the ﬁber orientation density function from diﬀusion-weighted mri data using sph erical deconvolution. Neuroimage 23(3), 1176–1185 (2004)

work page 2004

[6] [6]

PhD thesis, École nor male supérieure de Cachan-ENS Cachan (2013)

Charon, N.: Analysis of geometric and functional shapes with extensions of currents: applications to registration and atlas estimation. PhD thesis, École nor male supérieure de Cachan-ENS Cachan (2013). URL https://theses.hal.science/tel-00942078v1

work page 2013

[7] [7]

Communications in Analysis and Geometry 1(4), 561–659 (1993)

Korevaar, N.J., Schoen, R.M.: Sobolev spaces and harmon ic maps for metric space targets. Communications in Analysis and Geometry 1(4), 561–659 (1993)

work page 1993

[8] [8]

Calculus of Varia tions and Partial Diﬀerential Equations 12(4), 317–357 (2001) https://doi.org/10.1007/PL00009916

Sturm, K.-T.: Nonlinear markov operators associated wi th symmetric markov kernels and energy minimizing maps between singular spaces. Calculus of Varia tions and Partial Diﬀerential Equations 12(4), 317–357 (2001) https://doi.org/10.1007/PL00009916

work page doi:10.1007/pl00009916 2001

[9] [9]

Potential Analysis 16, 305–340 (2002)

Sturm, K.-T.: Nonlinear markov operators, discrete hea t ﬂow, and harmonic maps between singular spaces. Potential Analysis 16, 305–340 (2002)

work page 2002

[10] [10]

Calc ulus of Variations and Partial Diﬀerential Equations 2, 173–204 (1994)

Jost, J.: Equilibrium maps between metric spaces. Calc ulus of Variations and Partial Diﬀerential Equations 2, 173–204 (1994)

work page 1994

[11] [11]

Calculus of Variations and Partial Diﬀerential Equations 5(1), 1–19 (1997)

Jost, J.: Generalized dirichlet forms and harmonic map s. Calculus of Variations and Partial Diﬀerential Equations 5(1), 1–19 (1997)

work page 1997

[12] [12]

Birkhäuser, ??? (1997)

Jost, J.: Nonpositive Curvature: Geometric and Analyt ic Aspects. Birkhäuser, ??? (1997)

work page 1997

[13] [13]

Springer, ??? (2005)

Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows: in Metric Spaces and in the Space of Probability Measures. Springer, ??? (2005)

work page 2005

[14] [14]

Calculus of variations and partial diﬀerential equations 28(1), 85–120 (2007)

Lisini, S.: Characterization of absolutely continuou s curves in wasserstein spaces. Calculus of variations and partial diﬀerential equations 28(1), 85–120 (2007)

work page 2007

[15] [15]

preprint (2024)

Bauer, M., Mémoli, F., Needham, T., Nishino, M.: The Z-G romov-Wasserstein Distance. preprint (2024). URL https://arxiv.org/pdf/2408.08233 40

work page arXiv 2024

[16] [16]

arXiv preprint arXiv:2512.19208 (2025)

Sérieys, G., Trouvé, A.: Nonlinear lebesgue spaces: De nse subspaces, completeness and separability. arXiv preprint arXiv:2512.19208 (2025)

work page arXiv 2025

[17] [17]

Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Ge ometry vol. 33. American Mathematical Society, ??? (2022)

work page 2022

[18] [18]

PhD thesis, U niversità degli Studi di Pavia (2006)

Lisini, S.: Absolutely continuous curves in Wasserste in spaces with applications to continuity equation and to nonlinear diﬀusion equations. PhD thesis, U niversità degli Studi di Pavia (2006). URL https://cvgmt.sns.it/media/doc/paper/848/Tesi_Lisini.pdf

work page 2006

[19] [19]

Springer, ??? (2013)

Bourbaki, N.: Topological Vector Spaces: Chapters 1–5 . Springer, ??? (2013)

work page 2013

[20] [20]

Mathematische Annalen 69(4), 449–497 (1910)

Riesz, F.: Untersuchungen über systeme integrierbare r funktionen. Mathematische Annalen 69(4), 449–497 (1910)

work page 1910

[21] [21]

Dunford, N., Schwartz, J.T.: Linear Operators, Part 1: General Theory vol. 10. John Wiley & Sons, ??? (1988)

work page 1988

[22] [22]

Hytönen, T., Van Neerven, J., Veraar, M., Weis, L.: Anal ysis in Banach Spaces vol. 12. Springer, ??? (2016)

work page 2016

[23] [23]

Bacák, M.: Convex Analysis and Optimization in Hadamar d Spaces vol. 22. Walter de Gruyter GmbH & Co KG, ??? (2014)

work page 2014

[24] [24]

Oxford University Press, ??? (1973)

Schwartz, L.: Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures. Oxford University Press, ??? (1973)

work page 1973

[25] [25]

Calculus of Variations and Partial Diﬀerential Equations 63(1), 16 (2024)

Abedi, E., Li, Z., Schultz, T.: Absolutely continuous a nd bv-curves in 1-wasserstein spaces. Calculus of Variations and Partial Diﬀerential Equations 63(1), 16 (2024)

work page 2024

[26] [26]

Princeton University Press, ??? (2009)

Stein, E.M., Shakarchi, R.: Real Analysis: Measure The ory, Integration, and Hilbert Spaces. Princeton University Press, ??? (2009)

work page 2009

[27] [27]

DiBenedetto, E.: Real Analysis vol. 13. Springer, ??? ( 2002)

work page 2002

[28] [28]

Cohn, D.L.: Measure Theory vol. 5. Springer, ??? (2013)

work page 2013

[29] [29]

Curvature bounded below: a definition a la Berg--Nikolaev

Lebedeva, N., Petrunin, A.: Curvature bounded below: a deﬁnition a la berg–nikolaev. arXiv preprint arXiv:1008.3318 (2010)

work page internal anchor Pith review Pith/arXiv arXiv 2010

[30] [30]

Sturm, K.-T.: The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces vol. 290. American Mathematical Society, ?? ? (2023)

work page 2023

[31] [31]

Expositiones Mathematicae 17, 035–048 (1999)

Sturm, K.-T.: Metric spaces of lower bounded curvature . Expositiones Mathematicae 17, 035–048 (1999)

work page 1999

[32] [32]

Topology 5(2), 115–132 (1966)

Palais, R.S.: Lusternik-schnirelman theory on banach manifolds. Topology 5(2), 115–132 (1966)

work page 1966

[33] [33]

Nonlinear Analysis: Theory, Methods & Applications 74(11), 3487–3500 (2011)

Jiménez-Sevilla, M., Sánchez-González, L.: On some pr oblems on smooth approximation and smooth extension of lipschitz functions on banach–ﬁnsler manifol ds. Nonlinear Analysis: Theory, Methods & Applications 74(11), 3487–3500 (2011)

work page 2011

[34] [34]

Proceedin gs of the American Mathematical Society 142(3), 1075–1087 (2014)

Jaramillo, J., Jimenez-Sevilla, M., Sanchez-Gonzale z, L.: Characterization of a banach-ﬁnsler mani- fold in terms of the algebras of smooth functions. Proceedin gs of the American Mathematical Society 142(3), 1075–1087 (2014)

work page 2014

[35] [35]

Manifolds of absolutely continuous curves and the square root velocity framework

Schmeding, A.: Manifolds of absolutely continuous cur ves and the square root velocity framework. arXiv preprint arXiv:1612.02604 (2016)

work page internal anchor Pith review Pith/arXiv arXiv 2016

[36] [36]

Measurable regularity properties of infinite-dimensional Lie groups

Glockner, H.: Measurable regularity properties of inﬁ nite-dimensional lie groups. arXiv preprint arXiv:1601.02568 (2015) 41

work page internal anchor Pith review Pith/arXiv arXiv 2015

[37] [37]

Klingenberg, W.: Riemannian Geometry vol. 1. Walter de Gruyter, ??? (1995)

work page 1995

[38] [38]

New York J

Burtscher, A.Y.: Length structures on manifolds with c ontinuous riemannian metrics. New York J. Math. 21, 273–296 (2015)

work page 2015

[39] [39]

Lang, S.: Fundamentals of Diﬀerential Geometry vol. 19 1. Springer, ??? (2012)

work page 2012

[40] [40]

Engelking, R.: General Topology vol. 60. PWN Warszawa, ??? (1977)

work page 1977

[41] [41]

preprint (1995)

Trouvé, A.: An inﬁnite dimensional group approach for p hysics based models in pattern recognition. preprint (1995)

work page 1995

[42] [42]

arXiv preprint arXiv:2406.16930 (2024)

Pierron, T., Trouvé, A.: The graded group action framew ork for sub-riemannian orbit models in shape spaces. arXiv preprint arXiv:2406.16930 (2024)

work page arXiv 2024

[43] [43]

: Measurable Multifunctions

Castaing, C., Valadier, M., Castaing, C., Valadier, M. : Measurable Multifunctions. Springer, ??? (1977)

work page 1977

[44] [44]

Springer, ??? (2006) A Omitted results A.1 Omitted results of Section 3.1 Let us provide a proof of the alternative density result ment ioned in Remark 3.8

Aliprantis, C.D., Border, K.C.: Inﬁnite Dimensional A nalysis: a Hitchhiker’s Guide. Springer, ??? (2006) A Omitted results A.1 Omitted results of Section 3.1 Let us provide a proof of the alternative density result ment ioned in Remark 3.8 . Proposition A.1 (Relaxation of the assumptions in (iii) of Proposition 3.7 ). Let h ∈ E(M, N ) and p ∈ [1, ∞ ). Su...

work page 2006