Large geodesically convex subsets of tori - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T10:12:53Z http://mathoverflow.net/feeds/question/85844 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85844/large-geodesically-convex-subsets-of-tori Large geodesically convex subsets of tori Nikita Sidorov 2012-01-16T21:00:23Z 2012-01-17T15:20:27Z <p>Let $X=\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and let $E$ be a proper open subset of $X$. We say $E$ is <em>geodesically convex</em> if for any $x,y\in E$ the <strong>shortest</strong> geodesic connecting $x$ and $y$ lies in $E$. </p> <p><strong>Question.</strong> How large can the Haar/Lebesgue measure of $E$ can be?</p> <p>For example, is $d=2$, then it seems that this cannot exceed $1/2$. Say, $[0,1)\times [0,s)$ is geodesically convex if and only if $s\leq1/2$. (If $s>1/2$, then $[x,x+\delta]$ is not the shortest geodesic for any $\delta\in(1/2,s)$ and any $x\in(0,1)$.) </p> <p>Is it true for any $d\ge2$ that the measure of such an $E$ cannot exceed $1/2$? </p> http://mathoverflow.net/questions/85844/large-geodesically-convex-subsets-of-tori/85857#85857 Answer by Zarathustra for Large geodesically convex subsets of tori Zarathustra 2012-01-16T23:09:01Z 2012-01-16T23:22:24Z <p>Let me write down the steps.</p> <ol> <li>Consider the case d=2, the generalization is straightforward.</li> <li>There is an open ball B that doesn't intersect E.</li> <li>Consider two families of geodesic circles F_1 and F_2. F_1 has slope 1/p and F_2 has slope 1-1/p. Number p is chosen in such a way that each circle from F_1 nd F_2 intersects B.</li> <li>Claim: $Leb(E\cap F_1(x))\le 1/2 length(F_1(x))$ OR $Leb(E\cap F_2(x))\le 1/2 length(F_1(x))$ for each x.</li> <li>Proof: $E\cap F_1(x)$ is a proper union of open intervals that are separated by gaps of length at least $\sqrt{p^2+1}/2p$. So it remains to show that there are at least $p$ gaps. If there are less than $p$ gaps then there is an interval from $E\cap F_1(x)$ of length greater than $\sqrt{p^2+1}/2p$. It follows that one can find a simple closed curve C_1 in E which is C^0 close to a horizontal generator. Assume that in the same way we also can find C_2 in E which is C^0 close to the vertical generator. Then one can easily see that E is the torus and the claim follows.</li> <li>Apply Fubini.</li> </ol> http://mathoverflow.net/questions/85844/large-geodesically-convex-subsets-of-tori/85859#85859 Answer by Will Jagy for Large geodesically convex subsets of tori Will Jagy 2012-01-16T23:25:48Z 2012-01-16T23:25:48Z <p>A bit long for a comment. You can have a geodesically convex set that is an arbitrarily large proportion of the area of a surface. What I have in mind resembles a <a href="http://www.howstuffworks.com/therm1.htm" rel="nofollow">bulb_thermometer</a> or <a href="http://www.chefsresource.com/turkey-baster.html" rel="nofollow">turkey_baster</a> but is at least $C^\infty.$ It is rotationally symmetric. One end is long, cigar shaped, half of something that approximates a <a href="http://en.wikipedia.org/wiki/Prolate_spheroid" rel="nofollow">prolate spheroid</a>. It differs from an actual prolate spheroid in that it is necessary for the Gauss curvature to be 0 along the "equator," the closed geodesic where the half cigar joins the bulb. Therefore the curvature must approach 0 near the equator. Immediately upon entering the bulb section, the curvature is slightly negative, which is the reason geodesics leaving the equator cannot quickly return. </p> http://mathoverflow.net/questions/85844/large-geodesically-convex-subsets-of-tori/85890#85890 Answer by Anton Petrunin for Large geodesically convex subsets of tori Anton Petrunin 2012-01-17T06:23:27Z 2012-01-17T15:20:27Z <p><em>(This is a new answer; my original answer was completely wrong.)</em></p> <p>Assume $\mathop{\rm vol}E>\tfrac12$. Then it contains two opposite points say $x$ and $x'=x+(\tfrac12,\tfrac12,\dots,\tfrac12)$. WLOG we can assume that $x=0$. Taking minimizing geodesics form $(\tfrac12,\tfrac12,\dots,\tfrac12)$ to $y\approx 0$, we get that all main diagonal of unit cube $$\square^n=(0,1)\times(0,1)\times\dots\times(0,1)$$ lie in $E$. Then apply the following lemma:</p> <p><strong>Trivial Lemma.</strong> Let $\square^n$ be open unit cube in $\mathbb R^n$ and $E\subset \square^n$ be a locally convex open set which contains all main diagonals of $\square^n$ then $E=\square^n$.</p> <p>To prove the lemma, note that local convexity + conectedness in $\mathbb R^n$ implies convexity.</p>