Skip to main content
9 events
when toggle format what by license comment
Aug 10 at 12:08 comment added Ali Taghavi @RobertBryant Is it a good idea to introduce a generqlized "configuration space" as follows: All n tuples for which the corresponding vector function(squared) is a topological embedding (or in case of empty cut locus case one may consider all n tuple for which the corresponding squared map is isometric or symplectical embedding). In case of negative curvature does it generate a configuration space worth of study?
Aug 8 at 13:19 comment added Robert Bryant @AliTaghavi: In the complete, simply connected, negative curvature case, the squared distance function is smooth, yes. However, if the surface is completely but not simply-connected, the cut locus will not be empty.
Aug 8 at 11:49 comment added Ali Taghavi @RobertBryant Thank you for introducing me the cut locus point. I was not aware of it. Are they same as focal points (or any realtion to it). I think in negative curvature we have more chance for smoothness of the squared distance function yes?
Aug 8 at 11:23 comment added Robert Bryant Unfortunately, even the squared distance function is not generally smooth on a compact manifold (look at the sphere), it's just smooth away from the cut locus.
Aug 8 at 11:21 comment added Ali Taghavi Any way I vaguely remeber the square distance function, distance to a set not to single point, is introduced as a real analytic function(in a book by S. Krantz whose title contains (I thinl) "...real analytic....". I do not remenber the reason this function was introduced in his book but may be his consideration would be helpful in line of your question
Aug 8 at 11:17 comment added Ali Taghavi +1 for you question I think it generates more questions on some particular subcategory of smooth manifolds: For examples what is a precise example of a symplectic manifold and a finite even number of points for which the square distance vector function f you mentioned is a symplectic embedding?
Aug 8 at 10:57 comment added Ali Taghavi @RobertBryant let's consider the square of distance instead of disrance as you pointed out to. I wonder can one prove the easy or advanced Withney embedding theorem or Nash isometric embedding theorem via such function $f$? More precisely: Assume that $(M,g)$ is a Riemannian manifold are there a finite number of pivot points for which the function $f$ (with square distance) would be an isometric embedding? I did not read the Nash proof but I wonder is his proof based on such a function?
Aug 8 at 8:46 comment added Robert Bryant If you only require that there be a non-empty $S\subset X$ on which $f$ is injective, then $n$ points in general position suffice. For example, two distinct points in the Euclidean plane will give you an injection on either half-plane bounding the line joining the points. If you want $S = X$, then, generally, you will need more than $n{+}1$ points, but perhaps no more than $2n{+}1$ points. By the way, you might want to let $f_i$ be the square of the distance to $x_i$ so that it will be smooth on a neighborhood of $x_i$.
Aug 8 at 7:46 history asked shuhalo CC BY-SA 4.0