Skip to main content
2 of 2
added 700 characters in body
Igor Belegradek
  • 29.1k
  • 2
  • 80
  • 176

Any PL-manifold of dimension $\le 7$ is smoothable, and the smooth structure is unique in dimensions $5,6$. See e.g. remark 6.7 in Rudyak's paper for details.

EDIT: To explain the above, the smooth structures on a PL manifold $M$ of dimension $\ge 5$ are in 1-1 correspondence with $[M, PL/O]$, homotopy classes of maps from $M$ to the space $PL/O$, which is $6$-connected. This implies the claim in the previous paragraph. Similarly, PL structures on a topological manifold $M$ of dimension $\ge 5$ are in 1-1 correspondnece with $[M,TOP/PL]$, and $TOP/PL$ is $K(\mathbb Z_2,3)$. Thus $[M,TOP/PL]$ is simply $H^3(M;\mathbb Z_2)$, the third cohomology group with $\mathbb Z_2$ coefficients, and if $H^3(M;\mathbb Z_2)$ is nonzero, then $M$ admits more than one PL structure. See Madsen-Milgram "Classifying spaces for surgery and cobordism of manifolds".

Igor Belegradek
  • 29.1k
  • 2
  • 80
  • 176