On a family of $C^0$-convergent Riemann metrics - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:10:34Z http://mathoverflow.net/feeds/question/97043 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97043/on-a-family-of-c0-convergent-riemann-metrics On a family of $C^0$-convergent Riemann metrics Liviu Nicolaescu 2012-05-15T20:04:06Z 2012-05-16T01:58:32Z <p>I am dealing with the following concrete situation that could be familiar to Riemannian geometers more experienced than myself.</p> <p>Suppose that $M$ is a smooth compact manifold of dimension $m$ and $g$ is a smooth Riemann metric on $M$. $\newcommand{\ve}{{\varepsilon}}$ $\newcommand{\pa}{\partial}$ Suppose that $(g^\ve)_{\ve>0}$ is a family of smooth Riemann metrics satisfying the following properties.</p> <p><strong>A.</strong> We know that for any $p\in M$ there exists an open neighborhood $U\ni p$ and local coordinates $x^1,\dotsc, x^m$ on $U$ such that </p> <p>$$g^\ve_{ij} \to g_{ij}$$ </p> <p>uniformly on the compacts of $U$, where</p> <p>$$g^\ve =\sum_{i,j} g^\ve_{ij}dx^idx^j,\;\;g=\sum_{i,j}g_{ij}dx^idx^j.$$</p> <p><strong>B.</strong> (<em>Edited following Deane Yang's inquiry.</em>) The note by $Gr_2(TM)$ the bundle of Grassmanians of $2$-planes in the tangent bundle. The sectional curvature $K^\ve$ can then be viewed as a function $K^\ve: Gr_2(TM)\to\mathbb{R}$. We know that there exists a smooth function $K^0: Gr_2(TM)\to \mathbb{R}$ such that $K^\ve\to K^0$ uniformly.</p> <p><strong>Question.</strong> Can we conclude that the function $K^0$ in <strong>B</strong> is the sectional curvature of $g$?</p> http://mathoverflow.net/questions/97043/on-a-family-of-c0-convergent-riemann-metrics/97076#97076 Answer by Anton Petrunin for On a family of $C^0$-convergent Riemann metrics Anton Petrunin 2012-05-16T01:58:32Z 2012-05-16T01:58:32Z <p>Yes, it is true. Here is a sketch of proof, but I am sure that there is a simper way to see it.</p> <p>Note that by Gaussâ€“Bonnet, this is true in dimension 2.</p> <p>Assume we know it in dimension $n-1$.</p> <p>There is a construction of smooth convex hypersurfaces $H^\varepsilon$ in $(M,g^\varepsilon)$ which converge nicely to a smooth hypersurfaces $H$ in $(M,g^\varepsilon)$. "Nicely" means that one can apply the induction hypothesis for $H^\varepsilon\to H$. Taking many hypersurfaces like that plus linear algebra finishes the proof.</p> <p><strong>The construction.</strong> To construct $H^\varepsilon$ near $p\in M$, choose n points $a_1,a_2,\dots a_n$ such that in all the metrics the angles $\angle a_ipa_j\approx\pi/2$ for all $i\ne j$. Then define $$H^\varepsilon=\{\, x\in M\mid \sum\phi(|a_i-x|_{g^\varepsilon}-|a_i-p|_{g^\varepsilon})= 0 \,\}$$ where $\phi(0)=0$, $\phi'(0)=1$ and $\phi''\ll -2$. </p>