Does the parity of the dimension of $\mathbb{R}^n$ affect its structure/properties? As in, does it make a difference if $n$ is even or odd?
3 Answers
Let me try to focus the question as follows: Suppose you wake up in a dark and empty space. Which properties can help you decide whether the space is even or odd-dimensional?
In the context of wave propagation, there is the fundamental difference that Huygens principle is only valid in odd-dimensional space, see Wave Propagation in Even and Odd Dimensional Spaces. Sharply defined wavefronts need an odd number of spatial dimensions, in even-dimensional space the wavefront decays with a long tail. (The study of this difference goes back to Volterra and Hadamard.)
So to test for even/odd dimensionality you only need to shout in empty space. If you hear an echo you live in an even number of spatial dimensions.
- 177,695
-
5
-
2The situation is a little bit more complicated. For instance, Huyghens principle does not apply in $1$-space dimension, although $1$ is odd. – Denis Serre Oct 01 '18 at 10:29
-
@DenisSerre --- indeed, the case $n = 1$ is special because a pulse has only one path to take, so the interference that produces the sharp wavefront does not happen; thanks for noting/correcting. – Carlo Beenakker Oct 01 '18 at 10:45
-
2This sounds like a great premise for a new Saw-like horror movie. A group of strangers wake up in a dark, empty space. They need to determine the dimension of the ambient space, but their time is running out! – Somatic Custard Oct 01 '18 at 13:07
The hairy ball theorem states that there is no nonvanishing continuous tangent vector field on even-dimensional spheres.
- 12,325
If the dimension of a vector space is odd, then all (orientation-preserving) rotations in odd dimensions fix some axis. Many of the differences between even-dimensional and odd-dimensional geometry relate to this fact. For example,
- The lack of symplectic structure in odd dimensions follows from the Lie-algebra version of the above statement: all odd-dimensional antisymmetric maps are degenerate.
- The $-1$ map doesn't fix any axis, so it cannot be orientation-preserving in odd dimensions.
- Synge's theorem states that if $M$ is compact, Riemannian, and has positive sectional curvature, then there is a conclusion which depends on the pairity of its dimension. The proof makes essential use of the above fact. (See Lemma 3.8 in "Riemannian Geometry" by do Carmo.)
- 401
Number theory tagged specifically because I was curious if the number of the dimension being composite or prime would have any impact.
– user2192320 Oct 01 '18 at 15:00