12
$\begingroup$

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?

$\endgroup$
2
  • 1
    $\begingroup$ 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"). $\endgroup$
    – Qfwfq
    Jun 10, 2010 at 8:46
  • 1
    $\begingroup$ 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 $\endgroup$ Jun 10, 2010 at 8:55

1 Answer 1

21
$\begingroup$

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.

$\endgroup$
4
  • 1
    $\begingroup$ Hm, interesting... And is there a definition of something like your PD, but remaining in the same class under compositions? For instance, all compositions of your PD mappings? $\endgroup$
    – John Vrem
    Jun 10, 2010 at 10:13
  • 1
    $\begingroup$ Some kind of Lipschitz condition was once studied by Siebenmann, wasn't it? I think the point was that then both smooth manifolds and PL manifolds have canonical Lipschitz structures and a Lipschitz manifold always arises from some PL structure which is unique up to some natural kind of equivalence. $\endgroup$ Jun 10, 2010 at 16:51
  • 2
    $\begingroup$ Wikipedia (en.wikipedia.org/wiki/PDIFF) claims that you can make a category out of piecewise-smooth manifolds and piecewise-smooth maps. Is Wikipedia wrong on this point? $\endgroup$
    – arsmath
    Oct 30, 2010 at 21:53
  • 2
    $\begingroup$ It sounds wrong to me. I haven't looked up Wikipedia's McMullen reference, or McMullen's Thurston reference. $\endgroup$ Mar 23, 2011 at 23:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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