Motivation (update): I am interested in properties/structures/objects that are determined by the metric alone, but are not among the usual ones that we call intrinsic, like Levi-Civita connection, Riemann curvature, or anything that is locally determined by the metric. The only kind of such properties I could find are relational, determined by the metric in a non-local way, like the following example, so I am interested if I can find something like this researched in the literature.
Let $M$ be a Riemannian manifold. Its geometric properties, those which depend on the metric, not topology etc., are usually divided in two classes: intrinsic (depending on the metric of $M$ alone) and extrinsic (depending on an embedding of $M$ into a higher-dimensional Riemannian manifold).
I am thinking that there may be some "intermediate" properties, which are geometric, but neither purely intrinsic nor purely extrinsic. As an example, consider the surface $z=\sin x\cos y$ in $\mathbb R^3$:
Choose a side of the surface. We can see that there are regions where the surface is either convex or concave (with respect to the chosen side of the surface). Clearly here "convex" and "concave" is a property which depends on the embedding and on the side of the surface we choose as reference. These regions are represented below with alternating colors:
Every such region is isometric with any other, being them convex or concave.
We can define now the following relation of equivalence between two such regions $A,B\subset M$: $A\sim B$ iff in an embedding in $\mathbb R^3$, $A$ and $B$ are either both convex, or both concave.
Now this relation $\sim$ is not reducible to the metric, because $A$ and $B$ are isometric even if $A\nsim B$. So it is not intrinsic. But neither it is extrinsic, since it doesn't depend on the embedding (although the embedding made us realize the difference between the two kinds of regions).
I realize now that it is not right to say $\sim$ is not intrinsic, since it can be derived from the metric. But you can't know to what equivalence class such a region belongs based on its metric alone, since if we only have two pieces of the manifold we can't say only based on the metric locally if they are equivalent or not even if they are isometric, we need to know how these regions are connected to another.
So let us say that this kind of property is not "locally intrinsic", rather that it is not intrinsic, since it depends on the metric, but knowing the metric locally is not enough.
Now consider that we turn the surface into a cylinder (topologically speaking), by cutting a strip which contains on each row an odd number of such regions, and gluing the opposite edges (without shifting or twisting the surface). This new "cylindrical" surface is smooth, and it will make the two equivalence classes of region determined by $\sim$ become a single class. I believe this cylindrical surface can't be embedded isometrically into $\mathbb R^3$. But can it be embedded isometrically into a higher dimensional Euclidean space?
My questions are:
- Can you provide some references in Riemannian geometry which study this relation?
- Are there other geometric properties like this one, which are not locally intrinsic, nor extrinsic?
Update 2 I realized how to make the question more specific:
2'. I am interested in references to geometric properties/structures/objects which we encounter when studying Riemannian submanifolds, but are independent on the embedding (considering that the dimension of the ambient manifold is fixed).