Piecewise linear manifold

In mathematics, a piecewise linear (PL) manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation.[lower-alpha 1]

An isomorphism of PL manifolds is called a PL homeomorphism.

Relation to other categories of manifolds

PDIFF serves to relate DIFF and PL, and it is equivalent to PL.

PL, or more precisely PDIFF, sits between DIFF (the category of smooth manifolds) and TOP (the category of topological manifolds): it is categorically "better behaved" than DIFF — for example, the Generalized Poincaré conjecture is true in PL (with the possible exception of dimension 4, where it is equivalent to DIFF), but is false generally in DIFF — but is "worse behaved" than TOP, as elaborated in surgery theory.

Smooth manifolds

Smooth manifolds have canonical PL structures — they are uniquely triangulizable, by Whitehead's theorem on triangulation (Whitehead 1940)[1][2] — but PL manifolds do not always have smooth structures — they are not always smoothable. This relation can be elaborated by introducing the category PDIFF, which contains both DIFF and PL, and is equivalent to PL.

One way in which PL is better behaved than DIFF is that one can take cones in PL, but not in DIFF — the cone point is acceptable in PL. A consequence is that the Generalized Poincaré conjecture is true in PL for dimensions greater than four — the proof is to take a homotopy sphere, remove two balls, apply the h-cobordism theorem to conclude that this is a cylinder, and then attach cones to recover a sphere. This last step works in PL but not in DIFF, giving rise to exotic spheres.

Topological manifolds

Main article: Hauptvermutung

Not every topological manifold admits a PL structure, and of those that do, the PL structure need not be unique — it can have infinitely many. This is elaborated at Hauptvermutung.

The obstruction to placing a PL structure on a topological manifold is the Kirby–Siebenmann class. To be precise, the Kirby-Siebenmann class is the obstruction to placing a PL-structure on M x R and in dimensions n > 4 this ensures that M has a PL-structure.

Real algebraic sets

An A-structure on a PL manifold is a structure which gives an inductive way of resolving the PL manifold to a smooth manifold. Compact PL manifolds admit A-structures (Akbulut & Taylor).[3][4] Compact PL manifolds are homeomorphic to real-algebraic sets (Akbulut & King).[5][6] Put another way, A-category sits over the PL-category as a richer category with no obstruction to lifting, that is BA --> BPL is a product fibration with BA = BPL x PL/A, and PL manifolds are real algebraic sets because A-manifolds are real algebraic sets.

Combinatorial manifolds and digital manifolds

See also

Notes

  1. A PL structure also requires that the link of a simplex be a PL-sphere. An example of a topological triangulation of a manifold that is not a PL structure is, in dimension n  5, the (n  3)-fold suspension of the Poincaré sphere (with some fixed triangulation): it has a simplex whose link is the Poincaré sphere, a three-dimensional manifold that is not homeomorphic to a sphere, hence not a PL-sphere. See Triangulation (topology): Piecewise linear structures for details.

References

  1. Lurie, Jacob (February 13, 2009), Whitehead Triangulations (Lecture 3) (PDF)
  2. SpringerLink
  3. S. Akbulut and L.Taylor, A topological resolution theorem. Bull. Amer. Math. Soc. (N.S.) vol.2, no.1 (1980) 174–176.
  4. S. Akbulut and L. Taylor, A topological resolution theorem, Pub. I.H.E.S., 53 (1981), 163–196.
  5. S. Akbulut and H.C.King, A topological characterization of real algebraic varieties. Bull. Amer. Math. Soc. (N.S.) vol.2, no.1 (1980) 171–173.
  6. S. Akbulut and H.C. King, Real algebraic structures on topological spaces, Pub I.H.E.S. 53 (1981), 79–162.
This article is issued from Wikipedia - version of the 5/6/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.