Four is the maximum number of dimensions for which the Busemann-Petty problem has an affirmative answer. This problem is discussed in my answer to another question.

Pinning down *why* there is a shift between four and five dimensions is an interesting question and is probably not completely understood. Some explanations for the shift can be given but the ones I know look more like analytic artifacts and don't seem to give any profound geometric insight.

To give a taste, let me mention an example of an analytic result which is closely related to the switch. First some preliminary explanation.
To every origin-symmetric convex body $K$ in $\mathbb{R}^n$ there is an associated norm $||\cdot||_K$ on $\mathbb{R}^n$ whose unit ball is precisely $K$. If we restrict the norm to the unit sphere $S^{n-1}$ and take its reciprocal, we obtain the naturally defined radial function $\rho_K$ of $K$. In fact, any continuous, even, positive function on the sphere will be the radial function of some (not necessarily convex) origin-symmetric star body.
Next, given an origin-symmetric star body $L$, we can define its so-called *intersection body* $I L$ to be the origin-symmetric star body whose radial function is given by

$$\rho_{I L}(\xi)=Vol_{n-1}(L \cap \xi^\perp),\quad \xi\in S^{n-1}.$$

Now, there is a simple (almost tautological) formula for the volumes of central sections of a body in terms of the spherical Radon transform of its radial function:

$$Vol_{n-1}(K\cap \xi^\perp) = \frac{1}{n-1}R(||\cdot||_K^{-n+1})(\xi),\quad \xi\in S^{n-1}.$$

Using this formula we have that

$$\rho_{I L}(\xi)=\frac{1}{n-1} R \rho_L^{n-1}(\xi),\quad \xi\in S^{n-1}.$$

It turns out that the Busemann-Petty problem is equivalent to the question of whether every origin-symmetric convex body $K$ in $\mathbb{R}^n$ is the intersection body of some star body.
By the above remarks it is not hard to be convinced that this question is then related to the positivity of the inverse spherical Radon transform.
Now, by utilizing a connection between Fourier analysis and the spherical Radon transform, we get that

$$Vol_{n-1}(K\cap \xi^\perp) = \frac{1}{\pi(n-1)}(||\cdot||_K^{-n+1})^\wedge(\xi),\quad \xi\in S^{n-1}.$$

Here the function $||\cdot||_K^{-n+1}$ is locally integrable and the Fourier transform is taken in the sense of distributions. Thus, if $K$ is an intersection body of a star body $L$ then

$$||\xi||_K^{-1} = \frac{1}{\pi(n-1)}(||\cdot||_L^{-n+1})^\wedge(\xi)$$

and a small argument using this formula shows that $(||\cdot||_K^{-1})^\wedge$ is a positive distribution, and hence that $||\cdot||_K^{-1}$ is a positive definite distribution. The converse also holds and we have the general result that a star body $K$ in $\mathbb{R}^n$ is an intersection body iff $||\cdot||_K^{-1}$ represents a positive definite distribution in $\mathbb{R}^n$.

In summary, the very geometric Busemann-Petty problem is closely related to the positive definiteness of certain distributions (coming from certain negative powers of norms on $\mathbb{R}^n$). With this vague background, perhaps we can appreciate that the following analytic result is closely related to the switch between 4 to 5 dimensions in the problem:

Theorem. Let $n \ge 3$ be an integer and $2 < q \le \infty$ a real number. Then the distribution $||\cdot||_q^{-p}$ is positive definite if $p\in (0,n-3)$ and is not positive definite if $p\in [n-3,n)$. As a consequence, the unit ball of the space $\ell_q^n$ is an intersection body iff $n \le 4$.

13more comments