Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

An n-manifold with corners is topologically an n-manifold with boundary, but with a smooth structure that makes it locally diffeomorphic to $[0,\infty)^n$ instead of $[0,\infty) \times \mathbb{R}^{n-1}$. See also:

The filled cube is naturally a 3-manifold with corners, with every vertex having a neighborhood that is diffeomorphic to a subset of $[0,\infty)^3$. It does not seem possible to me that we can map a neighborhood of the top vertex of the filled square pyramid to $[0,\infty)^3$ since it has four adjacent faces instead of three.

Can we conclude that the filled square pyramid is not a manifold with corners? If yes, what is the point in excluding this seemingly useful structure by such a strict definition?

share|improve this question

1 Answer 1

up vote 6 down vote accepted

If there were a diffeomorphism taking (a neighborhood of) the top vertex of the pyramid to a (neighborhood of) the vertex in $[0,\infty)^3$, taking its derivative it would in particular preserve the tangent cone (the set of tangent vectors $v \in T_p M$ such that $v = \gamma'(0)$ for some curve $\gamma: [0,1] \to M$ with $\gamma(0)$ the vertex). If, for convenience, we set the top point of the pyramid to be $0 \in \mathbb R^3$, the tangent cone of the top vertex of the pyramid is the set of scalar multiples of points in the pyramid; the tangent cone of the vertex of the cube is $[0,\infty)^3$. So we've reduced this to a linear algebra problem: showing a linear isomorphism cannot take the first cone to the second. But, as you predicted, a linear isomorphism preserves the number of faces of the tangent cone. (I do not want to write down the details, so I leave this to you.)

As for why we don't want to include the pyramid: I haven't ever used manifolds with corners much myself, so I can only speculate, but I suspect it's because much of the interest is in a) developing a theory that works with simplices, so that we can integrate along chains; and b) developing a theory that will allow us to define cobordisms between manifolds with boundaries. Such cobordisms would, near the 'boundary', look like $M \times I$, where $M$ is a manifold with boundary; this gives us the local model $[0,\infty)^2 \times \mathbb R^{n-1}$. Now we're going to want cobordisms between these, etc, inductively saying we should want to include all local models $[0,\infty)^k \times \mathbb R^{n-k}$. In doing so we never really needed to have corners like the top of a square pyramid.

share|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.