# Piecewise-smooth manifolds?

We know about the existence of topological (Top), differentiable (Diff) and piecewise-linear (PL) manifolds, and such things that, say, in four dimensions PL=Diff, but $\ne$Top.

The question is: do there exist piecewise-smooth manifolds? Are they equivalent to something in some dimensions?

-
There are objects called "manifolds with corners", arxiv.org/PS_cache/arxiv/pdf/0910/0910.3518v1.pdf but I'm not sure this is somehow related to having an atlas made of piecewise-smooth changes of chart (the latter being -I suppose- the definition of "piecewise-smooth manifold"). – Qfwfq Jun 10 '10 at 8:46
Charts on a manifold with corners are homeomorphisms from the manifold to open sets in the upper Corner space. An atlas on a manifold with corners is a maximal collection of charts, whose domain's cover the manifold and whose change of coordinates are smooth in the ordinary euclidean sense. I don't see how this is related to the notion of piecewise smoothness – Daniel Barter Jun 10 '10 at 8:55

A homeomorphism $h:U\rightarrow V$ between open subsets of $\mathbb R^n$ is called piecewise differentiable (PD) -- you could also say piecewise smooth -- if there is a triangulation of $U$ by linear simplices such that the restriction of $h$ to each simplex is a smooth embedding. This class of maps is invariant under composition with diffeomorphisms on one side, and under composition with piecewise linear homeomorphisms on the other. They play an essential role in defining the good notion of compatiblility of a PL structure and a smooth structure. It is a nontrivial result of J H C Whitehead that for every smooth structure there is a compatible PL structure, unique up to a certain equivalence relation. The composition of PD maps is not in general PD, though, so this does not lead (by using "PD atlases") to a notion of PD manifold.