User anton petrunin - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:28:58Z http://mathoverflow.net/feeds/user/1441 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/131175/closed-geodesic-loops-around-points-in-compact-manifolds/131181#131181 Answer by Anton Petrunin for Closed geodesic loops around points in compact manifolds Anton Petrunin 2013-05-20T02:01:35Z 2013-05-20T03:30:06Z <p>Here is a standard argument, but I do not know a reference.</p> <p>Choose the smallest $k>0$ such that $\pi_kM\ne 0$. Choose a spheroid which represents a nontricial element of $\pi_kM$. We can assume that the spheroid is swapped by an $\mathbb S^{k-1}$-parameter family of broken geodesics such that the length of each edge is smaller than the injectivity radius of $M$; denote it by $i_M$.</p> <p>Start a natural curve-shortening process. You can choose one which keep the lengths of the edges below $i_M$ and such that the rate of length (or energy) decay is estimated through rate of change of the broken geodesic. </p> <p>Note that there is a lower bound for the maximal length of broken geodesics; "maximal" means "maximal in the $\mathbb S^{k-1}$-family after spending arbitrary time in the process". Say, this value can not go below $i_M$. </p> <p>It follows that after long time in the process, one broken line in the family almost does not change the length. Hence this it almost does not move; the later implies that and all the angles almost $\pi$. Pass to the limit and you get the loop.</p> http://mathoverflow.net/questions/130904/can-one-block-diagonalize-the-curvature-matrix-of-2-forms-on-a-riemannian-manif/130908#130908 Answer by Anton Petrunin for Can one (block) diagonalize the curvature matrix of 2 forms on a Riemannian manifold? Anton Petrunin 2013-05-17T04:55:37Z 2013-05-17T04:55:37Z <p>Let us start it from the other end. Assume you can block-diagonalize the curvature tensor. Then in the most of coordinate sectional directions the curvature is zero.</p> <p>In fact your curvature tensor equals to a curvature of product of few surfaces and maybe the real line --- this is a very special case.</p> http://mathoverflow.net/questions/130856/on-a-version-of-gradient-descent/130860#130860 Answer by Anton Petrunin for On a version of gradient descent Anton Petrunin 2013-05-16T18:45:51Z 2013-05-16T18:45:51Z <p>I guess $|f'(y)|$ stays for $|d_yf|$. If so, $$|f'(y)| \geq \frac{f(y) - f(x^{\rm min})}{|y - x^{\rm min}|}.$$ Since $|x(t)-x^{\rm min}|$ is decreasing, the statement follows.</p> http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Answer by Anton Petrunin for Triangle area on surfaces of constant curvature Anton Petrunin 2013-05-12T18:16:20Z 2013-05-13T02:27:11Z <p>All the "elementary derivations of that type" are cheating (it may look nice but it proves nothing). </p> <p>The only elementary way to introduce area is adding it as an axiom (which is already kind of cheating). You have to say that there is a additive area-functional on the set of all polygons. Then you probably want to prove that this functional is unique (or include it in the same axiom).</p> <p>It remains to notice that your functional $A$ satisfies the same properties and nothing left to prove.</p> http://mathoverflow.net/questions/13619/is-a-free-alternative-to-mathscinet-possible Is a free alternative to MathSciNet possible? Anton Petrunin 2010-02-01T03:41:55Z 2013-05-12T16:48:44Z <blockquote> <p>How could a free (i.e. free content) alternative for MathSciNet and Zentralblatt be created?</p> </blockquote> <p><strong>Comments</strong></p> <ul> <li><p>Some mathematicians have stopped writing reviews for MathSciNet because they feel their output should be freely available. (The <a href="http://www.ams.org/bookstore/mathsciprice" rel="nofollow">Pricing for MathSciNet</a> is not high, but it is not the point.)</p></li> <li><p>Two related questions: <a href="http://mathoverflow.net/questions/51056/" rel="nofollow">Are there any good websites...</a> and <a href="http://mathoverflow.net/questions/3038/errata-database" rel="nofollow">Errata database?</a>; see also <a href="http://www.math.ntnu.no/~stacey/Vanilla/rForum/" rel="nofollow">r-forum</a>, <a href="http://ncatlab.org/nlab/show/HomePage" rel="nofollow">nLab</a> and <a href="http://www.wikademic.org/" rel="nofollow">wikademic</a>.</p></li> </ul> <p><strong>What can be done (based on answers below)</strong></p> <ul> <li><p>One thing that can be really useful and doable is to create (and maintain) a database of articles (and maybe abstracts), where you can find all the articles that were referring to a given one. </p></li> <li><p>Once it is done we can add lists of errors --- it will add something new and valuable for the project (but this will take a while).</p></li> <li><p>The above two things might be already enough for practical purpose. It will be even better if it will attract enough reviewers to the project.</p></li> </ul> http://mathoverflow.net/questions/130081/converse-to-milnors-theorem-on-manifolds-with-nonnegative-ricci-curvature/130090#130090 Answer by Anton Petrunin for Converse to Milnor's theorem on manifolds with nonnegative Ricci curvature. Anton Petrunin 2013-05-08T15:54:03Z 2013-05-08T15:54:03Z <p>A better question is: </p> <blockquote> <p>Given a group $\Pi$, is there a compact manifold $M$ with non-negative Ricci curvature such that $\pi_1(M)=\Pi$?</p> </blockquote> <p>The answer is given in <a href="http://wwwmath.uni-muenster.de/users/weckerm/sfb/about/publ/wilking3.ps" rel="nofollow">"On fundamental groups of manifolds of nonnegative curvature"</a> by Wilking. Here is the main result: </p> <p><img src="http://www.math.psu.edu/petrunin/wiki/wilking-pi1.png" alt="alt text"></p> http://mathoverflow.net/questions/129866/measuring-the-distance-of-a-convex-set-from-a-ball-nikodym-distance/129868#129868 Answer by Anton Petrunin for Measuring the distance of a convex set from a ball (Nikodym distance) Anton Petrunin 2013-05-06T18:04:13Z 2013-05-06T18:29:43Z <p>For convex closed sets with uniform upper-diameter and lower-volume bounds, the Nikodym distance is equivalent to Hausdorff distance.</p> <p>Your condition for the Hausdorff distance, implies that $K$ is close to any ball which does not contain $K$ and is not contained in $K$. Hence the statement follows. </p> http://mathoverflow.net/questions/129752/does-a-connected-manifold-with-vanishing-euler-characteristic-admit-a-nowhere-van/129757#129757 Answer by Anton Petrunin for Does a connected manifold with vanishing Euler characteristic admit a nowhere-vanishing vector field? Anton Petrunin 2013-05-05T18:53:52Z 2013-05-05T18:53:52Z <p>Yes, if M is closed and connected and χ(M)=0, then M admits a nowhere-vanishing vector field.</p> <p>Start with generic vector field, it has zero of index $\pm 1$. Two zeros of opposite sign can kill each other (maybe it is called Whitney trick?).</p> <p>So you get a field with zeros of the same sign. The result follows since the sum of the indexes is the Euler characteristic.</p> http://mathoverflow.net/questions/129591/polynomial-growth-of-the-betti-number-of-balls-of-the-cayley-graphs/129592#129592 Answer by Anton Petrunin for Polynomial growth of the Betti number of balls of the Cayley graphs Anton Petrunin 2013-05-04T01:13:09Z 2013-05-04T01:36:33Z <p>Assume the group is not free. Then its Cayley graph has a nontrivial loop. Applying shifts of the group you get a loop which starts at any element.</p> <p>If the group grows faster then polynomially, then the number of disjoint cycles and therefore first Betti number grows faster than polynomial.</p> <p>So, the answer is "yes" --- only free groups and groups of polynomial growth.</p> http://mathoverflow.net/questions/129570/intersection-points-of-straight-line-segment-with-voronoi-diagram/129574#129574 Answer by Anton Petrunin for Intersection points of straight line segment with Voronoi diagram Anton Petrunin 2013-05-03T19:29:29Z 2013-05-03T19:29:29Z <p>The question seem to be nearly as hard as finding Voronoi diagram.</p> <p>In other words, you have a collection of functions of the form $$f_i(t)=t^2+a_i{\cdot}t+b_i$$ and you need to find the maximal interval $[c_i,d_i]$ where $$f_i=\min_{j}\{f_j\}.$$</p> <p>Yo will get the same answer, if instead of $f_i$, you use the functions $$h_i(t)=a_i{\cdot}t+b_i=f_i(t)-t^2$$ which are linear. I.e., your problem is equivalent to the classical problem in linear programming --- choose you favorite method.</p> http://mathoverflow.net/questions/129227/positively-curved-manifold-with-a-codimension-1-totally-geodesic-submanifold/129256#129256 Answer by Anton Petrunin for Positively curved manifold with a codimension 1 totally geodesic submanifold. Anton Petrunin 2013-04-30T21:08:47Z 2013-04-30T21:08:47Z <p>Compact positively curved manifold with totally geodesic hypersurface has to be sphere, or its double cover has to be a sphere.</p> <p>To prove this cut along the hypersurface and apply the soul theorem to each part.</p> http://mathoverflow.net/questions/128866/alexandrov-angles-in-riemannian-manifolds/128896#128896 Answer by Anton Petrunin for Alexandrov angles in Riemannian manifolds Anton Petrunin 2013-04-27T05:50:02Z 2013-04-28T02:00:39Z <p>Your equality is two inequalities.</p> <p>To show the upper bound you can use the triangle inequality --- come closer to $p$ along the geodesic and apply the local estimates. (This is the "first variation inequality" it holds in any metric space where angles defined.)</p> <p>The lower bound follows since the injectivity radius at $p$ is positive. Indeed, if the angle is smaller, the geodesic $[\gamma_1(t)\gamma_2(\tau)]$ converges as $\tau\to0$ to an other geodesic distinct from $\gamma_1$.</p> <p>This question is the baby case of so called "lemma about strong angle" in Alexandrov geometry it also can be called "first variation formula".</p> <p><em>(Hope it helps, sorry if I misinterpret your question.)</em></p> http://mathoverflow.net/questions/128879/when-does-the-finite-union-of-convex-sets-have-a-hole-in-it/128893#128893 Answer by Anton Petrunin for When does the finite union of convex sets have a hole in it? Anton Petrunin 2013-04-27T05:30:39Z 2013-04-28T01:49:13Z <p>Let $K=K_1\cup\dots\cup K_n$ and $K_i$ are convex.</p> <p>Consider the <a href="http://en.wikipedia.org/wiki/Nerve_of_a_covering" rel="nofollow">nerve</a> $N$ of your covering $K_i$. Note that $N$ is homotopically equivalent to $K$. (To find $N$ you only need an algorithm which decides that given subcollection of $K_i$ has nonempty intersection.)</p> <p>Calculate the homology groups of $N$ and you may get a "no" answer if you are (un)lucky.</p> http://mathoverflow.net/questions/128819/riemannian-manifolds-with-small-geodesics-and-bounded-curvature/128846#128846 Answer by Anton Petrunin for Riemannian manifolds with small geodesics and bounded curvature Anton Petrunin 2013-04-26T17:41:29Z 2013-04-27T03:12:42Z <p>It seems that you want $M$ to be a sphere (although you do not mention it).</p> <p>The natural example is a tube with curvature $-1$ closed by two spherical cups with curvature $1$. (This is a surface of revolution.) This example should have the minimal area and minimal diameter among the spheres with given length of closed geodesic. But at the moment I do not see a proof.</p> <p>Some rough estimates will follow from the Klingenberg's result. Take the neighborhood $U$ of your closed geodesic of size near $e^{1/\ell}$ where $\ell$ is the length of the geodesic. Note that $U$ has to be a cylinder otherwise you end in singular point. It implies that diameter has to have order $e^{1/\ell}$. </p> <p>Rough bounds for the area follow Rbega comment. They are not far from the area of the surface of revolution, somewhere in the range between $4{\cdot}\pi$ to $(4+2{\cdot}\sqrt{2}){\cdot}\pi$. </p> http://mathoverflow.net/questions/128775/what-is-the-doubling-dimension-of-convex-functions/128782#128782 Answer by Anton Petrunin for What is the doubling dimension of convex functions? Anton Petrunin 2013-04-26T01:14:39Z 2013-04-26T01:31:32Z <p>No the space is not doubling.</p> <p>Take a strongly convex function, say $f(x)=x^2$. It is sufficient to show that there is $N(\varepsilon)$ which goes to $\infty$ as $\varepsilon\to0$, such that $\varepsilon$-neighborhood of $f$ contains $N(\varepsilon)$ points on distance $>\varepsilon$ from each other.</p> <p>To see this take any finite collection of distinct points $\{x_i\}$ in $[0,1]$ and note that for all small $\varepsilon>0$ there is a function $f_i$ in the $\varepsilon$-neighborhood of $f$ such that $f_i(x_i)=f(x_i)+\varepsilon/2$ and $f_i(x_j)=f(x_j)-\varepsilon/2$ for all $i\ne j$.</p> http://mathoverflow.net/questions/45237/bolyais-construction Bolyai's construction Anton Petrunin 2010-11-07T23:46:58Z 2013-04-25T20:48:05Z <p>Here is Bolyai's construction (in Klein model), which I learned recently from answer of Will Jagy to <a href="http://mathoverflow.net/questions/43554" rel="nofollow">this question</a>. It is a Compass-and-straightedge construction of asymptotically parallel line in absolute geometry.</p> <p><img src="http://lh5.ggpht.com/_ugz98iOeD5o/TNc7nlWLRWI/AAAAAAAABNQ/wqn8m4a5fEY/s144/Bolyai.png" alt="Bolyai's construction"></p> <p>Do you know an elementary proof showing that Bolyai's construction really does what it suppose to? "Elementary" means without calculations and without referring to the models.</p> <p><strong>Comments:</strong> </p> <ul> <li><p>I know a simple proof in Klein model (thanks to A. Akopyan). (It is easy to guess from the picture above. Draw one more vertical line and note that cross ratios for two quadruples of points on two asymptotically parallel lines is the same.)</p></li> <li><p>If there is a simple argument, I would include it in the course on Foundation of geometry which I'm teaching at the moment.</p></li> <li><p>At the moment I do not know a simple argument in the Poincaré disk model.</p></li> </ul> http://mathoverflow.net/questions/128407/decide-inside-outside-convex-hull-using-only-distances-in-graph/128414#128414 Answer by Anton Petrunin for Decide inside/outside convex hull using only distances in graph Anton Petrunin 2013-04-22T23:27:39Z 2013-04-23T00:10:52Z <p>Assume you want to know if $k_0$ lies in the convex hull of $k_1,\dots,k_n$. Consider the $n\times n$ matrix $A$ with the components $$a_{ij}=(d_{ij}^2-d_{0i}^2-d_{0j}^2)/2$$</p> <p>(Note that $x^TAx\ge 0$ for any vector $x$; it means that the distances come from Euclidean distances.)</p> <p>If $x^TAx=0$ for a nonzero vector $x$ with all nonnegative components then the answer is "yes".</p> http://mathoverflow.net/questions/128329/examples-of-space-of-direction-at-a-point-in-an-infinite-dim-alexandrov-space-com/128379#128379 Answer by Anton Petrunin for examples of space of direction at a point in an infinite dim Alexandrov space compact Anton Petrunin 2013-04-22T17:13:18Z 2013-04-22T17:13:18Z <p>Yes, the space of direction of an infinite dim Alexandrov space can be compact at some point.</p> <p>Take for example the pyramid with Hilbert cube as the base.</p> http://mathoverflow.net/questions/126128/on-closed-simple-curve-with-curvature-at-most-1 On closed simple curve with curvature at most 1 Anton Petrunin 2013-03-31T19:16:35Z 2013-04-14T07:50:06Z <p>I am looking for the reference to the following theorem.</p> <p><em>I have to apply a similar statement, and it would be nice to trace the source. Please note, I know few proofs in fact it is Problem 3 in <a href="http://front.math.ucdavis.edu/0906.0290" rel="nofollow">my collection of exercises</a>.</em> </p> <blockquote> <p><strong>Theorem.</strong> Let $\gamma$ be a closed simple plane curve with curvature at most 1. Then the disc bounded by $\gamma$ contains a circle of radius $1$.</p> </blockquote> <p>Here is an illustration for those who are lazy to read.</p> <p><img src="http://www.math.psu.edu/petrunin/wiki/curve-curvature.png" alt="alt text"></p> <p><strong>P.S.</strong> So, do you think I can claim it as mine?</p> http://mathoverflow.net/questions/127341/dose-closed-alexandrov-space-admit-a-bi-lipschitz-embedding-into-mathbb-rn/127374#127374 Answer by Anton Petrunin for Dose closed Alexandrov space admit a bi-Lipschitz embedding into $\mathbb R^N$? Anton Petrunin 2013-04-12T15:22:40Z 2013-04-12T15:22:40Z <p>See Distance embedding (27.5) in <a href="http://dl.dropboxusercontent.com/u/1577084/the-book.pdf" rel="nofollow">our book</a></p> http://mathoverflow.net/questions/126251/infimum-of-a-finite-number-of-distances-in-the-plane/126267#126267 Answer by Anton Petrunin for Infimum of a finite number of distances in the plane Anton Petrunin 2013-04-02T13:25:58Z 2013-04-02T17:07:13Z <p>It can be zero.</p> <p>Take the standard metric on $\mathbb R^3$ and the one given in <a href="http://mathoverflow.net/questions/125283/on-lipschitz-embeddability-of-certain-compact-metric-spaces-into-mathbbrn/125295#125295" rel="nofollow">this example</a> by S. Ivanov. Below I give simplification of his example which works in your case.</p> <p><strong>Simplified example.</strong> Choose two points $x$ and $y$ in $\mathbb R^2$ and construct a sequence of arcs $\gamma_n$ between them. For each $n$ choose small $\varepsilon_n>0$, so that $\varepsilon_n\to 0$ very fast. Choose disjoint $\varepsilon_n$-intervals on $\gamma_n$, so that it cover all $\gamma_n$ except set of lenght $\varepsilon_n$. Construct metric $d_1$ so that it is very cheap to go along each such interval, but compensate it by making very expancive to get to such interval, so you can not use it as a shortcut.</p> <p>Let $d_2$ be the Euclidean metric. Then the $d$-length of $\gamma_n$ has order of $\varepsilon_n$. In particular $d(x,y)=0$. </p> http://mathoverflow.net/questions/126104/difference-between-parallel-transport-and-derivative-of-the-exponential-map/126114#126114 Answer by Anton Petrunin for Difference between parallel transport and derivative of the exponential map Anton Petrunin 2013-03-31T17:16:13Z 2013-03-31T17:16:13Z <p>Let $P_t:T_p\to T_{c(t)}$ be the parallel transport and $Q_t:T_p\to T_{c(t)}$ be your map. Given $J\in T_p$, the field $J(t)=Q_t(J)$ is a Jacoby field and $J'(0)=0$. Set $$W_t=P_t-Q_t.$$ It follows that </p> <ul> <li>$W_t=O(t^2)$;</li> <li>the value $W_t''$ can be expressed from the curvature tensor.</li> <li>As you noticed $W_t(\tau)\equiv 0$ where $\tau=c'(0)\in T_p$.</li> </ul> <p>I guess that as much as you can get.</p> http://mathoverflow.net/questions/125850/a-question-about-closed-curves/125855#125855 Answer by Anton Petrunin for A question about closed curves Anton Petrunin 2013-03-28T20:58:06Z 2013-03-28T20:58:06Z <p>Note that $S$ is a connected 1-dimensional manifold. Since it is not compact we get that $S$ is homeomorphic to $\mathbb R$, a contradiction.</p> http://mathoverflow.net/questions/125202/diameter-estimate-of-distance-sphere-of-positive-curved-manifold/125208#125208 Answer by Anton Petrunin for Diameter estimate of distance sphere of positive curved manifold Anton Petrunin 2013-03-21T22:49:19Z 2013-03-23T16:42:20Z <p>I guess you want to ask is it true that $$\mathop{\rm IntrinsicDiameter}[S(r)]\le\mathop{\rm IntrinsicDiameter}[\tilde S(r)],$$ where $\tilde S(r)$ denotes the sphere of radius $r$ in the standard sphere.</p> <ul> <li><p>This is true if $r\ge \tfrac\pi2$; it follows since $S(r)$ has bigger curvature than $\tilde S(r)$ in the sense of Alexandrov.</p></li> <li><p>Note that if $r&lt;\tfrac\pi2$ then $S(r)$ might be not connected; in this case $$\mathop{\rm IntrinsicDiameter}[S(r)]=\infty.$$ If sectional curvature $\ge 1$, I do not see other counterexamples. It reminds me some questions related to the conjecture that boundary of Alexandrov space is an Alexandrov space. <br>If you find a way to prove it then likely you will get some nontrivial corollaries of this conjecture say if $\Sigma$ is an Alexandrov space with curvature $\ge 1$ then $\mathop{\rm diam}\partial\Sigma\le \pi$ or perimeter of any triangle in $\partial\Sigma$ is at most $2{\cdot}\pi$.<br> If $r\le\tfrac\pi2$, it is possible to construct a short map $h_r\colon \tilde S(r)\to M$ so that its image covers $S(r)$. In particular $$\text{area}[S(r)]\le\text{area}[\tilde S(r)]$$ (which is obvious anyway). In general the image of $h_r$ contains creases which stick inside $S(r)$ which in principle might be used as a shortcut. </p></li> <li><p>For Ricci curvature the statement does not hold even if $S(r)$ is connected. You may take a small disc in hyperbolic plane and take a warp product with the sphere to make the Ricci curvature of obtained manifold to be colose to $+\infty$. The sphere $S(r)$ will have intrinsic diameter bigger than $\tilde S(r)$ as far as $S(r)\ne\emptyset$.</p></li> </ul> http://mathoverflow.net/questions/124840/does-a-riemannian-manifold-with-bounded-geometry-admit-an-isometric-proper-embedd/124878#124878 Answer by Anton Petrunin for Does a Riemannian manifold with bounded geometry admit an isometric proper embedding into Euclidean space with uniformly thick tubular neighborhood Anton Petrunin 2013-03-18T17:07:18Z 2013-03-18T17:07:18Z <p>It does not hold for hyperbolic plane. It follows since the volume growth of the hyperbolic plane is exponential, while volume growth of $\mathbb{R}^N$ is polynomial.</p> http://mathoverflow.net/questions/123922/does-convex-set-in-alexandrov-space-has-positive-reach/123946#123946 Answer by Anton Petrunin for Does convex set in Alexandrov space has positive reach? Anton Petrunin 2013-03-08T07:21:06Z 2013-03-08T15:25:10Z <p>The answer is "no". </p> <p>Say consider the doubling $M$ of plane region $F=\{y\ge x^2\}$. $M$ is known to be an Alexandrov space. </p> <p>Let $A\subset M$ is the doubling of the intersection of $F$ with the disc with center $(0,-1)$ passing through $(1,1)$. Note that $A$ is convex but all the points on the parabola have two minimizing geodesics to $A$ (one in each of to copies of $F$ in $M$). </p> <p><img src="http://www.math.psu.edu/petrunin/wiki/positive-reach.png" alt="alt text"></p> <p>So $A$ has zero reach.</p> http://mathoverflow.net/questions/18593/what-are-the-worst-notations-in-your-opinion/18627#18627 Answer by Anton Petrunin for What are the worst notations, in your opinion ? Anton Petrunin 2010-03-18T17:06:17Z 2013-02-25T21:45:17Z <p>I hate the short cut $ab$ for $a\cdot b$. Everyone get used to it, BUT it creates very deep problem with all other notation; say you never can be sure what $f(x+y)$ or $2\!\tfrac23$ might be...</p> <p>Also in modern mathematics people do not multiply things too often, so it does not have sense to make such a short cut. </p> <p>Yet the shortcut $x^n$ is really bad one. One can not use upper indexes after this. It would be easy to write $x^{\cdot n}$ instead.</p> http://mathoverflow.net/questions/122219/positivity-of-second-fundamental-form-implies-global-convexity/122226#122226 Answer by Anton Petrunin for Positivity of second fundamental form implies global convexity? Anton Petrunin 2013-02-18T20:11:31Z 2013-02-18T20:11:31Z <p>From the comment of Willie Wong , the answer is NO.</p> <p>Yet simpler example is $\mathbb{S}^1\times\mathbb{R}$, where you have locally convex discs which are not globally convex.</p> <p>If you want "yes" as an answer, you have to assume bit more. For example simply connectedness plus sectional curvature $\le 0$ (It was proved by S. Alexander). </p> <p>An other related statement: if an immersed hypersurface is locally convex plus curvature is nonnegative then it bounds an immersed locally convex ball. (this was conjectured by S. Alexander and proved by Gromov independently). </p> http://mathoverflow.net/questions/122104/area-of-triangles-vs-comparison-triangles/122113#122113 Answer by Anton Petrunin for Area of triangles vs. comparison triangles. Anton Petrunin 2013-02-17T23:59:52Z 2013-02-17T23:59:52Z <p>No.</p> <p>Blow a bubble of the same size at each integer point of $\mathbb R^2$. Clearly coarse isoperimetric inequality will hold.</p> <p>On the other hand, the global metric on the plane can be made arbitrary close to the Manhattan metric, in particular there will be triangles which bound arbitrary large area while its comparison area is near zero.</p> http://mathoverflow.net/questions/15612/do-plane-projections-determine-a-convex-polytope/121729#121729 Answer by Anton Petrunin for Do plane projections determine a convex polytope? Anton Petrunin 2013-02-13T17:15:34Z 2013-02-13T17:15:34Z <p>Here is a more direct proof of this statement.</p> <p><a href="http://arxiv.org/pdf/1302.2354.pdf" rel="nofollow">A Short Proof of Klee's Theorem</a> by John J. Zanazzi</p> http://mathoverflow.net/questions/131175/closed-geodesic-loops-around-points-in-compact-manifolds Comment by Anton Petrunin Anton Petrunin 2013-05-20T18:29:00Z 2013-05-20T18:29:00Z @Igor, the manifold of broken geodesics is not complete. So you have to be bit more careful, to make sure that there is a critical point. In other words, read my answer. http://mathoverflow.net/questions/131175/closed-geodesic-loops-around-points-in-compact-manifolds/131181#131181 Comment by Anton Petrunin Anton Petrunin 2013-05-20T03:30:48Z 2013-05-20T03:30:48Z @Misha, Yes, I do use minimax. I made an update, it should be more clear now. http://mathoverflow.net/questions/130904/can-one-block-diagonalize-the-curvature-matrix-of-2-forms-on-a-riemannian-manif/130908#130908 Comment by Anton Petrunin Anton Petrunin 2013-05-18T01:36:09Z 2013-05-18T01:36:09Z @Robert, You are right, but note that I state &quot;curvature tensor equals to a curvature of product&quot;; it does not mean that space is a product. http://mathoverflow.net/questions/130959/reference-request-affine-transforms-circle-inversion Comment by Anton Petrunin Anton Petrunin 2013-05-17T17:45:11Z 2013-05-17T17:45:11Z Do you know if $\cal{T}$ is finite-imensional? http://mathoverflow.net/questions/130904/can-one-block-diagonalize-the-curvature-matrix-of-2-forms-on-a-riemannian-manif/130908#130908 Comment by Anton Petrunin Anton Petrunin 2013-05-17T17:41:22Z 2013-05-17T17:41:22Z P.S. For example, if sectional curvature has definite sign then the curvature tensor can not be block-diagonalized. Further, the rank of generic curvature tensor is $n\cdot(n-1)/2$, but any block-diagonalized has rank at most $\lfloor\tfrac n2\rfloor$ http://mathoverflow.net/questions/130856/on-a-version-of-gradient-descent/130860#130860 Comment by Anton Petrunin Anton Petrunin 2013-05-17T05:12:12Z 2013-05-17T05:12:12Z @Robinson1. I would better leave it as an exercise :) BTW, if it would be wrong then so is the original statement. http://mathoverflow.net/questions/130883/is-there-any-proof-that-you-feel-you-do-not-understand/130898#130898 Comment by Anton Petrunin Anton Petrunin 2013-05-17T05:04:22Z 2013-05-17T05:04:22Z @Steven, this proof is cheating. The Pythagorean theorem is way simpler than existence of the area functional which is used in the proof (and many proofs of existence of the area use Pythagorean theorem). http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-16T23:37:29Z 2013-05-16T23:37:29Z @Alexandre, Euclid (and Kiselev) did not prove the existence, essentially they add the existence as an axiom, but they did not say that it is an &quot;axiom&quot;. This axiom follows from the rest of axioms, but it takes 20 pages at least. Instead of unit square you have to use other normalization (which essentially defines curvature). A rigourous way to introduce area given in &quot;Elementary Geometry From An Advanced Standpoint&quot; by Moise 35 pages Euclidean plane onlyy,and in &quot;Geometry: A Metric Approach with Models&quot; by Millman and Parker 40 pages neutral plane and contains a gap. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-16T18:33:11Z 2013-05-16T18:33:11Z @BS, check this question <a href="http://mathoverflow.net/questions/119953/definition-of-area" rel="nofollow" title="definition of area">mathoverflow.net/questions/119953/&hellip;</a> I would be very happy if you know a better answer. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130407#130407 Comment by Anton Petrunin Anton Petrunin 2013-05-15T04:50:17Z 2013-05-15T04:50:17Z It use the properties of the area which (if you look carefully) already include the original statement inside. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-15T04:13:27Z 2013-05-15T04:13:27Z @Alexandre, I do not see what exactly you disagree with. A rigorous intro to area from the axioms takes 20-40 pages, and once it is done the formula is already proved. So these sort of &quot;proofs&quot; confuse poorly educated students and they prove nothing to those who know what area is. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130407#130407 Comment by Anton Petrunin Anton Petrunin 2013-05-13T23:20:44Z 2013-05-13T23:20:44Z Chapter 5 is &quot;Affine-projective relationship&quot; did you really mean this? http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-13T17:45:49Z 2013-05-13T17:45:49Z P.S. surface of constant curvature κ are spheres plane or Lobachevsky plane. All these things are &quot;elementary&quot; for me. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-13T17:02:59Z 2013-05-13T17:02:59Z @Kofi, you ask for an elementary derivation. For me &quot;Riemannian metric&quot; and &quot;integral&quot; are not elementary and the geometry as it was used to be covered in the school (but not any more) is elementary. http://mathoverflow.net/questions/130400/triangle-area-on-surfaces-of-constant-curvature/130428#130428 Comment by Anton Petrunin Anton Petrunin 2013-05-13T02:17:12Z 2013-05-13T02:17:12Z @Sergei, yes sure, all I wanted to say is that if one knows what is area and curvature then there is nothing to prove.