It's the only dimension in which the smooth Poincare conjecture is still open. It's the only dimension in which $\mathbb R^n$ has a nonstandard smooth structure. (In fact uncountably many of them.)
There's a lot going on in four dimensions. In some sense it's right at the boundary between low and high-dimensional topology.
