×

Hilbert volume in metric spaces. I. (English) Zbl 1243.53077

Let \(Df\) denote the Jacobian matrix of a differentiable map \(f: \mathbb R^n\to\mathbb R^n\). One way to quantify the infinitesimal dilation of \(f\) is to consider the operator norm \(\|Df\|\). This corresponds to the local form of the Lipschitz constant \(\text{Lip}\,f=\sup_{a,b} \frac{|f(a)-f(b)|}{|a-b|}\), and thus makes sense in general metric spaces. Another natural, and often more convenient way to measure dilation is the Hilbert-Schmidt norm \(\|Df\|_{HS}\). However, the latter does not immediately generalize to metric spaces. The present article developes such a generalization and uses it to derive several previous results in a unified and elegant way.
Instead of trying to describe the construction in full generality, let us consider the special case of Lipschitz maps \(f: X \to {\mathbb{R}}^n\), where \(X\) is a metric space. Let \(\mu\) be a measure on the set \(\mathcal P\) of all rank-\(1\) projections, which can be identified on the \((n-1)\)-dimensional projective space. Of particular importance are the measures \(\mu\) for which \(\int_{\mathcal P}p(x)\,d\mu = x\) for all \(x\in \mathbb R^n\). Such a measure is called an axial partition of unity; a related term in harmonic analysis is a Parseval frame. The \(L_2\)-dilation of \(f\) with respect to \(\mu\) is
\[ \|\text{dil}^* f\|_{L_2(\mu)}=\left(\int_{\mathcal P} \text{Lip}^2(p\circ f) \,d\mu(p)\right)^{1/2}. \]
In terms of frames, this definition means that one applies the analysis operator to \(f\) and measures the Lipschitz constant of the output. Another approach proceeds via the synthesis operator: One can consider all Lipschitz maps \(\tilde f: X\to L_2(\mathcal P,\mu)\) from which \(f\) can be synthesized and defines
\[ \left\|\widetilde{\text{dil}}^* f\right\|_{L_2(\mu)} = \inf_{\tilde f} \left(\int_{\mathcal P} \text{Lip}^2(\tilde f(\cdot,p))\,d\mu(p) \right)^{1/2}. \]
For every axial partition of unity one has \(\|\widetilde{\text{dil}}^* f\|_{L_2(\mu)} \leq \|\text{dil}^* f\|_{L_2(\mu)}\) since the composition of analysis and synthesis recovers \(f\). Taking the infimum over all axial partitions of unity \(\mu\) yields minimal \(L_2\)-dilations \(\|\min\text{dil}^* f\|_{L_2}\) and \(\|\min\widetilde{\text{dil}}^* f\|_{L_2}\).
For linear maps between Euclidean spaces the minimal \(L_2\)-dilation of either kind is exactly the Hilbert-Schmidt norm. For non-linear maps they need to be localized first, by taking restrictions to small neighborhoods of a point. The concept turns out to be useful, e.g., for proving volume comparison theorems. The author proves an elegant form of F. John’s ellipsoid theorem in terms of \(\|\min\text{dil}^* f\|_{L_2}\), recasts the Burago-Ivanov proof of the Hopf conjecture [D. Burago and S. Ivanov, Geom. Funct. Anal. 4, No. 3, 259–269 (1994; Zbl 0808.53038)] in these new terms, and presents further extensions and applications of his approach.

MSC:

53C23 Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces
53C22 Geodesics in global differential geometry
53C24 Rigidity results

Citations:

Zbl 0808.53038
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Afsari B., Riemannian L p center of mass: existence, uniqueness, and convexity, Proc. Amer. Math. Soc., 2011, 139(2), 655-673 http://dx.doi.org/10.1090/S0002-9939-2010-10541-5; · Zbl 1220.53040
[2] Almgren F.J., Jr., Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure, Ann. of Math., 1968, 87(2), 321-391 http://dx.doi.org/10.2307/1970587; · Zbl 0162.24703
[3] Ambrosio L., Kirchheim B., Currents in metric spaces, Acta Math., 2000, 185(1), 1-80 http://dx.doi.org/10.1007/BF02392711; · Zbl 0984.49025
[4] Babenko I.K., Asymptotic volume of tori and the geometry of convex bodies, Mat. Zametki, 1988, 44(2), 177-190 (in Russian); · Zbl 0653.52008
[5] Breuillard E., Geometry of locally compact groups of polynomial growth and shape of large balls, preprint available at http://arxiv.org/abs/0704.0095; · Zbl 1310.22005
[6] Burago D.Yu., Periodic metrics, In: Representation Theory and Dynamical Systems, Adv. Soviet Math., 9, American Mathematical Society, Providence, 1992, 205-210; · Zbl 0762.53023
[7] Burago D., Ivanov S., Riemannian tori without conjugate points are flat, Geom. Funct. Anal., 1994, 4(3), 259-269 http://dx.doi.org/10.1007/BF01896241; · Zbl 0808.53038
[8] Burago D., Ivanov S., On asymptotic volume of tori, Geom. Funct. Anal., 1995, 5(5), 800-808 http://dx.doi.org/10.1007/BF01897051; · Zbl 0846.53043
[9] Federer H., Geometric Measure Theory, Grundlehren Math. Wiss., 153, Springer, New York, 1969; · Zbl 0176.00801
[10] Gromov M., Filling Riemannian manifolds, J. Differential Geom., 1983, 18(1), 1-147; · Zbl 0515.53037
[11] Gromov M., Partial Differential Relations, Ergeb. Math. Grenzgeb., 9, Springer, Berlin, 1986; · Zbl 0651.53001
[12] Gromov M., Metric Structures for Riemannian and Non-Riemannian Spaces, Progr. Math., Birkhäuser, Boston, 1999; · Zbl 0953.53002
[13] Gromov M., Topological invariants of dynamical systems and spaces of holomorphic maps. I, Math. Phys. Anal. Geom., 1999, 2(4), 323-415 http://dx.doi.org/10.1023/A:1009841100168; · Zbl 1160.37322
[14] Gromov M., Spaces and questions, Geom. Funct. Anal., 2000, Special Volume (I), 118-161; · Zbl 1006.53035
[15] Gromov M., Manifolds: Where do we come from? What are we? Where are we going, preprint available at http://www.ihes.fr/_gromov/PDF/manifolds-Poincare.pdf; · Zbl 1304.57006
[16] Gromov M., Super stable Kählerian horseshoe?, preprint available at http://www.ihes.fr/_gromov/PDF/horse-shoejan6-2011.pdf; · Zbl 1319.32025
[17] Gromov M., Plateau-hedra, scalar curvature and Dirac billiards, in preparation;
[18] Grove K., Karcher H., How to conjugate C 1-close group actions, Math. Z., 1973, 132(1), 11-20 http://dx.doi.org/10.1007/BF01214029; · Zbl 0245.57016
[19] Karcher H., Riemannian center of mass and mollifier smoothing, Comm. Pure Appl. Math., 1977, 30(5), 509-541 http://dx.doi.org/10.1002/cpa.3160300502; · Zbl 0354.57005
[20] Krat S.A., On pairs of metrics invariant under a cocompact action of a group, Electron. Res. Announc. Amer. Math. Soc., 2001, 7, 79-86 http://dx.doi.org/10.1090/S1079-6762-01-00097-X; · Zbl 0983.51009
[21] Lang U., Schroeder V., Kirszbraun’s theorem and metric spaces of bounded curvature, Geom. Funct. Anal., 1997, 7(3), 535-560 http://dx.doi.org/10.1007/s000390050018; · Zbl 0891.53046
[22] Pansu P., Croissance des boules et des géodésiques fermées dans les nilvariétés, Ergodic Theory Dynam. Systems, 1983, 3(3), 415-445 http://dx.doi.org/10.1017/S0143385700002054; · Zbl 0509.53040
[23] Sormani C., Wenger S., Weak convergence of currents and cancellation, Calc. Var. Partial Differential Equations, 2010, 38(1-2), 183-206 http://dx.doi.org/10.1007/s00526-009-0282-x; · Zbl 1192.53049
[24] Wenger S., Compactness for manifolds and integral currents with bounded diameter and volume, Calc. Var. Partial Differential Equations, 2011, 40(3-4), 423-448 http://dx.doi.org/10.1007/s00526-010-0346-y; · Zbl 1211.49052
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.