This continues the previous post Curvdimension and curvature of a metric profile, I.

* Definition 3.* (flat space) A locally compact metric space is locally flat around if there exists such that for any we have . A locally compact metric space is flat if the metric profile at any point is eventually constant.

Carnot groups and, more generally, normed conical groups are flat.

* Question 1.* Metric tangent spaces are locally flat but are they locally flat everywhere? I don’t think so, but I don’t have an example.

* Definition 4.* Let be a locally compact metric space and a point where the metric space admits a metric tangent space. The curvdimension of at is , where is the set of all such that

Remark that the set always contains . Also, according to this definition, if the space is locally flat around then the curvdimension at is .

* Question 2.* Is there any metric space with infinite curvdimension at a point where the space is not locally flat? (Most likely the answer is “yes”, a possible example would be the revolution surface obtained from a graph of a infinitely differentiable function such that and all derivatives of at are equal to . This surface is taken with the distance from the 3-dimensional space, but maybe I am wrong. )

We are going to see next that the curvdimension of a sufficiently smooth riemannian manifold at any of its points where the sectional curvature is not trivial is equal to .

“…are they locally flat everywhere?” What would act as a measure of the flatness of a metric tangent space? It seems that we would have to define another tangent metric space to define what ‘locally flat everywhere’ is. What about the set of endomorphisms of the metric tangent space onto itself?

Is there a way to darken the text of the equations? It is so light that it is hard to read the equations. 😦

I don’t know how to darken the equations.

Metric tangent spaces are metric spaces, therefore definition 3 of flatness applies to them too. According to this definition, a metric tangent space is locally flat (around its basepoint), but is it locally flat around other points?

Concerning the set of endomorphisms, metric tangent spaces are self-similar (w.r.t. the basepoint). In some cases, like for example when they are conical groups, they are globally flat, meaning that they are self-similar with respect to any of their points. This is a definition of “linearity”, albeit not a standard one. In this cases the group of endomorphisms is a (generalization of the) linear group. For example, the Heisenberg group is “linear” and its “linear group” is a semidirect product of (left) translations with conformally symplectic linear (in the usual sense) transformations.