Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My general premise is that I want to investigate the transformations between two distinct sets of vertices on n-dimensional manifolds by:

  • Minimalizing the change in the fundamental shape of the vertices (I want a convex polytope to stay a convex polytope).

  • Describing the dynamics of the transformation. (Possible applications to theoretical physics)

  • Finding constraint conditions on what can and cannot occur when the space in which the transformation is occurring is not "regular". This includes not-everywhere-differentiable manifolds, singularities, and other pathological cases.

Well, what an ambitious project. But in any case I have made some progress for the n-dimensional case with n-vertices where the space is "regular" and I haven't introduced advanced mathematics yet. I'm mostly playing around in configuration space for vertices in euclidean space or something similar.

I have defined a functional in configuration space that gives the length of all possible paths in configuration space between two distinct sets of vertices in $\mathbb{R^n}$ as follows:

$$T = \int\limits_{\lambda_{1}}^{\lambda_{2}} \sqrt{\sum_{I=1}^{n} \sum_{i=1}^{d} \left(\frac{d}{d\lambda}\left(\sum_{j=1}^{d} s(\lambda)R_{j}^{i}(\lambda)(q_{I}^{j}(\lambda) + a^{j}(\lambda))\right)\right)^2} d\lambda$$

Where $\lambda_{1}$ and $\lambda_{2}$ correspond to the start-point and end-point of the transformation. The members of the gauge group are $s$ (dilatation), $R$ (rotation), and $a$ (translation). $q_{I}^{j}$ corresponds to a point in configuration space representing $I$ vertices and it lives in $j$ dimensions. ($i$ is also a dimension index)

You can think of the equation as finding the straight line between two points (in configuration space) given all of the varied paths when you solve for constraint conditions in the Euler-Lagrange equation (recall): $$\frac{\partial{f}}{\partial{x}} - \frac{d}{d \lambda} \left(\frac{\partial{f}}{\partial{\dot{x}}}\right) = 0$$ This is represented in the figure below when the space has no curvature.

Transformative Norm Equation

Hopefully, you have a general idea about what I'm talking about, this is at about page 5 in the paper where this is introduced, there is a lot of background that I'm not going to discuss. I've constructed an explicit example with tetrahedra where a tetrahedron is approximated to another tetrahedron in a minimalized manner. Here's a figure I made: Tetrahedral Approximation that may help you understand what I'm trying to work with... in any case I'll ask my questions now.


[Optional for the intrigued reader]:

How can I begin to generalize this geodesic equation so that it can comment on spaces with different metrics, or irregular behaviour? As an example of what I am trying to reach for, I would be interested in seeing how a set of vertices could geodesically traverse a singularity in a smooth 2-manifold, and if I could define a general functional for any behaviour on any manifold (I would attempt to restrict it to 2-dimensions to start) eventually. There are two main types of singularities I would be interested in investigating, the first would be the "black hole type" in which a diffeomorphism in the manifold causes "a hole at the bottom". This means that there would be an exponential increase in curvature around the vicinity of the singularity, and I want to find out how a set of vertices deals with those imposed conditions. The other would be for a 2-manifold with no curvature and I know that for a particular configuration of vertices, with the geodesic (based on the equation above) lying along a certain line. If I create a hole (simply remove a point in the same way you can create a hole in a single-variable piecewise defined real function), what happens to the geodesic? How can I encode this information, so it either pushes right through the hole somehow, or defines a new path around it?


Main Question: For a functional (assuming I could derive one) that gives the path from a distinct set of vertices to another in an n-dimensional smooth manifold with shape preserving characteristics. When a singularity is introduced into the manifold, will the geodesic equation:

  • Somehow push through the singularity/ignore it is present.

  • Define an alternate path around the singularity (this is what I hope, so I can investigate further with applications to black hole dynamics)

  • Become undefined and nothing useful results

share|cite|improve this question
It has to depend on whether the functional you're minimizing diverges in a good way (gets arbitrarily large) or a bad way (gets arbitrarily small) as a path taken by a configuration point approaches the singularity, and (in the latter case) on whether the divergence is tame enough to be integrated over. – mjqxxxx Dec 16 '11 at 22:10
Have you worked explicitly with an example where this happens? I simply need to figure out a way to define that functional and then see how it behaves? There are no general theorems or results in Singularity Theory or maybe Catastrophe Theory that comment on this sort of thing? – Samuel Reid Dec 19 '11 at 3:07
You make reference to a paper where this is defined more clearly, but I can't find a link to it. In your discussion of deleting point in your Riemannian manifold and then looking for geodesics, what mjqxxxx says is correct: the behaviour is very sensitive to the way your metric degenerates near the singularity. For instance, if you take $\mathbb{R}^2$ and delete a point, but keep the flat metric, geodesics are still straight lines, and you will have a family of geodesics that run in to the singularity in finite time. If you take instead a metric that looks like a [...] – Sam Lisi Dec 22 '11 at 12:45
[...] hyperbolic cusp near the singular point, and then the flat metric outside of a compact region, you will have a complete manifold and the geodesic between any two points will avoid your singularity. – Sam Lisi Dec 22 '11 at 12:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.