Consider a BV function on a Riemannian manifold. What is its differential? And what about the Hessian of a convex function? These questions have clear answers in terms of (co)vector/matrix valued measures if the manifold is the Euclidean space. In more general curved contexts, the same objects can be perfectly understood via charts. However, charts are often unavailable in the less regular setting of metric geometry, where still the questions make sense. In this paper we propose a way to deal with this sort of problems and, more generally, to give a meaning to a concept of ‘measure acting in duality with sections of a given bundle’, loosely speaking. Despite the generality, several classical results in measure theory like Riesz's and Alexandrov's theorems have a natural counterpart in this setting. Moreover, as we are going to discuss, the notions introduced here provide a unified framework for several key concepts in nonsmooth analysis that have been introduced more than two decades ago, such as: Ambrosio-Kirchheim's metric currents, Cheeger's Sobolev functions and Miranda's BV functions. Not surprisingly, the understanding of the structure of these objects improves with the regularity of the underlying space. We are particularly interested in the case of RCD spaces where, as we will argue, the regularity of several key measures of the type we study nicely matches the known regularity theory for vector fields, resulting in a very effective theory. We expect that the notions developed here will help creating stronger links between differential calculus in Alexandrov spaces (based on Perelman's DC charts) and in RCD ones (based on intrinsic tensor calculus).

Local vector measures

BRENA, Camillo;GIGLI, Nicola
2024

Abstract

Consider a BV function on a Riemannian manifold. What is its differential? And what about the Hessian of a convex function? These questions have clear answers in terms of (co)vector/matrix valued measures if the manifold is the Euclidean space. In more general curved contexts, the same objects can be perfectly understood via charts. However, charts are often unavailable in the less regular setting of metric geometry, where still the questions make sense. In this paper we propose a way to deal with this sort of problems and, more generally, to give a meaning to a concept of ‘measure acting in duality with sections of a given bundle’, loosely speaking. Despite the generality, several classical results in measure theory like Riesz's and Alexandrov's theorems have a natural counterpart in this setting. Moreover, as we are going to discuss, the notions introduced here provide a unified framework for several key concepts in nonsmooth analysis that have been introduced more than two decades ago, such as: Ambrosio-Kirchheim's metric currents, Cheeger's Sobolev functions and Miranda's BV functions. Not surprisingly, the understanding of the structure of these objects improves with the regularity of the underlying space. We are particularly interested in the case of RCD spaces where, as we will argue, the regularity of several key measures of the type we study nicely matches the known regularity theory for vector fields, resulting in a very effective theory. We expect that the notions developed here will help creating stronger links between differential calculus in Alexandrov spaces (based on Perelman's DC charts) and in RCD ones (based on intrinsic tensor calculus).
2024
Settore MAT/05 - Analisi Matematica
Measure theory; Polish space; RCD space; Representation theorem
   PRIN MIUR 2017
   Ministero Università e Ricerca
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0022123623003592-main.pdf

accesso aperto

Tipologia: Published version
Licenza: Creative Commons
Dimensione 1.03 MB
Formato Adobe PDF
1.03 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/142026
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact