Metric currents and Alberti representations

From MaRDI portal



Abstract: We relate Ambrosio-Kirchheim metric currents to Alberti representations and Weaver derivations. In particular, given a metric current T, we show that if the module mathscrX(|T|) of Weaver derivations is finitely generated, then T can be represented in terms of derivations; this extends previous results of Williams. Applications of this theory include an approximation of 1-dimensional metric currents in terms of normal currents and the construction of Alberti representations in the directions of vector fields.


The paper relates metric currents to Alberti representations and Weaver derivations.NEWLINENEWLINECurrents as introduced by \textit{H. Federer} and \textit{W. H. Fleming} [Ann. Math. (2) 72, 458--520 (1960; Zbl 0187.31301)] use the differential structure of \(\mathbb{R}^N\). A theory of metric currents has been developed by \textit{L. Ambrosio} and \textit{B. Kirchheim} [Acta Math. 185, No. 1, 1--80 (2000; Zbl 0984.49025)] which circumvents the lack of a differentiable structure in general metric spaces.NEWLINENEWLINEAlberti representations were introduced in [\textit{G. Alberti}, Proc. R. Soc. Edinb., Sect. A 123, No. 2, 239--274 (1993; Zbl 0791.26008)] to prove the rank-one property for BV functions. In [\textit{G. Alberti} et al., in: Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27--July 2, 2004. Zürich: European Mathematical Society (EMS). 3--22 (2005; Zbl 1088.28002); in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19--27, 2010. Vol. III: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 1379--1394 (2011; Zbl 1251.26010)], they were applied to study the differentiablility properties of Lipschitz functions \(f : \mathbb{R}^N \to \mathbb{R}\). In [\textit{D. Bate}, J. Am. Math. Soc. 28, No. 2, 421--482 (2015; Zbl 1307.30097)], they have been used to obtain a description of measures in differentiability spaces.NEWLINENEWLINEThe authors show the following main results:NEWLINENEWLINETheorem 1.3. Let \(X\) be a complete separable metric space, \(\mathbf{M}_k(X)\) the Banach space of \(k\)-dimensional metric currents in \(X\), and let \(T \in\mathbf M_k(X) \setminus \{0\}\) for \(k > 0\). Then there are disjoint Borel sets \(\{V_j\}_j\) and \(1\)-Lipschitz functions \(\pi^j : X \to \mathbb{R}^k\) such that: (1) \(\|T\|(X \setminus \bigcup_j V_j) = 0\). (2) For all \(\epsilon > 0\) and for any \(k\)-dimensional cone field \(C\), the measure \(\|T\|\) admits a \((1,1+\epsilon)\)-bilipschitz Alberti representation \({A}\) with \({A} V_j\) in the \(\pi^j\)-direction of \({C}\). In particular, the module \(\mathcal{X}(\|T\|)\) contains \(k\) independent derivations.NEWLINENEWLINETheorem 1.4. Let \(T \in\mathbf M_k(X)\) and assume that \({X}(\|T\|)\) is finitely generated with \(N\) generators. Then there is \(\omega_T \in \mathcal{X}^k(\|T\|)\) such that: NEWLINE\[NEWLINET(f, \pi_1, \ldots, \pi_k) =\int_X f \langle \omega_T, d\pi_1 \wedge \cdots \wedge d \pi_k\rangle\, d \|T\|.NEWLINE\]NEWLINENEWLINENEWLINETheorem 1.6. If \(T \in\mathbf M_1(Z)\) where \(Z\) is a Banach space and if the module \(\mathcal{X}(\|T\|)\) is finitely generated, then there is a sequence of normal currents \(\{N_n\} \subset\mathbf N_1(Z)\) such that: NEWLINE\[NEWLINE\lim_{n \to \infty} \|T - N_n \|_{\mathbf M_1(Z)} = 0.NEWLINE\]



Cites work









This page was built for publication: Metric currents and Alberti representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329681)