Sixdimensional space is any space that has six dimensions, that is, six degrees of freedom, and that needs six pieces of data, or coordinates, to specify a location in this space. There are an infinite number of these, but those of most interest are simpler ones that model some aspect of the environment. Of particular interest is sixdimensional Euclidean space, in which 6polytopes and the 5sphere are constructed. Sixdimensional elliptical space and hyperbolic spaces are also studied, with constant positive and negative curvature.
Formally, sixdimensional Euclidean space, ℝ^{6}, is generated by considering all real 6tuples as 6vectors in this space. As such it has the properties of all Euclidean spaces, so it is linear, has a metric and a full set of vector operations. In particular the dot product between two 6vectors is readily defined, and can be used to calculate the metric. 6 × 6 matrices can be used to describe transformations such as rotations that keep the origin fixed.
More generally, any space that can be described locally with six coordinates, not necessarily Euclidean ones, is sixdimensional. One example is the surface of the 6sphere, S^{6}. This is the set of all points in sevendimensional Euclidean space ℝ^{7} that are equidistant from the origin. This constraint reduces the number of coordinates needed to describe a point on the 6sphere by one, so it has six dimensions. Such nonEuclidean spaces are far more common than Euclidean spaces, and in six dimensions they have far more applications.
Geometry
6polytope
A polytope in six dimensions is called a 6polytope. The most studied are the regular polytopes, of which there are only three in six dimensions: the 6simplex, 6cube, and 6orthoplex. A wider family are the uniform 6polytopes, constructed from fundamental symmetry domains of reflection, each domain defined by a Coxeter group. Each uniform polytope is defined by a ringed CoxeterDynkin diagram. The 6demicube is a unique polytope from the D_{6} family, and 2_{21} and 1_{22} polytopes from the E_{6} family.
A_{6}  B_{6}  D_{6}  E_{6}  

6simplex 
6cube 
6orthoplex 
6demicube 
2_{21} 
1_{22} 
5sphere
The 5sphere, or hypersphere in six dimensions, is the fivedimensional surface equidistant from a point. It has symbol S^{5}, and the equation for the 5sphere, radius r, centre the origin is
The volume of sixdimensional space bounded by this 5sphere is
which is 5.16771 × r^{6}, or 0.0807 of the smallest 6cube that contains the 5sphere.
6sphere
The 6sphere, or hypersphere in seven dimensions, is the sixdimensional surface equidistant from a point. It has symbol S^{6}, and the equation for the 6sphere, radius r, centre the origin is
The volume of the space bounded by this 6sphere is
which is 4.72477 × r^{7}, or 0.0369 of the smallest 7cube that contains the 6sphere.
Applications
Transformations in three dimensions
In threedimensional space a generalised transformation has six degrees of freedom, three translations along the three coordinate axes and three from the rotation group SO(3). Often these transformations are handled separately as they have very different geometrical structures, but there are ways of dealing with them that treat them as a single sixdimensional object.
Homogeneous coordinates
Using fourdimensional Homogeneous coordinates it is possible to describe a general transformation using a single 4 × 4 matrix. This matrix has six degrees of freedom, which can identified with the six elements of the matrix above the main diagonal, as all others are determined by these.
Screw theory
In screw theory angular and linear velocity are combined into one sixdimensional object, called a twist. A similar object called a wrench combines forces and torques in six dimensions. These can be treated as sixdimensional vectors that transform linearly when changing frame of reference. Translations and rotations cannot be done this way, but are related to a twist by exponentiation.
Phase space
Phase space is a space made up of the position and momentum of a particle, which can be plotted together in a phase diagram to highlight the relationship between the quantities. A general particle moving in three dimensions has a phase space with six dimensions, too many to plot but they can be analysed mathematically.^{[1]}
Rotations in four dimensions
The rotation group in four dimensions, SO(4), has six degrees of freedom. This can be seen by considering the 4 × 4 matrix that represents a rotation: as it is an orthogonal matrix the matrix is determined, up to a change in sign, by e.g. the six elements above the main diagonal. But this group is not linear, and it has a more complex structure than other applications seen so far.
Another way of looking at this group is with quaternion multiplication. Every rotation in four dimensions can be achieved by multiplying by a pair of unit quaternions, one before and one after the vector. These quaternion are unique, up to a change in sign for both of them, and generate all rotations when used this way, so the product of their groups, S^{3} × S^{3}, is a double cover of SO(4), which must have six dimensions.
Although the space we live in is considered threedimensional, there are practical applications for fourdimensional space. Quaternions, one of the ways to describe rotations in three dimensions, consist of a fourdimensional space. Rotations between quaternions, for interpolation for example, take place in four dimensions. Spacetime, which has three space dimensions and one time dimension is also fourdimensional, though with a different structure to Euclidean space.
Plücker coordinates
Plücker coordinates are a way of representing lines in three dimensions using six homogeneous coordinates. As homogeneous coordinates they have only five degrees of freedom, corresponding to the five degrees of freedom of a general line, but they are treated as 6vectors for some purposes. For example the check for the intersection of two lines is a 6dimensional dot product between two sets of Plücker coordinates, one of which has exchanged its displacement and moment parts.
Electromagnetism
In electromagnetism, the electromagnetic field is generally thought of as being made of two things, the electric field and magnetic field. They are both threedimensional vector fields, related to each other by Maxwell's equations. A second approach is to combine them in a single object, the sixdimensional electromagnetic tensor, a tensor or bivector valued representation of the electromagnetic field. Using this Maxwell's equations can be condensed from four equations into a particularly compact single equation:
where F is the bivector form of the electromagnetic tensor, J is the fourcurrent and ∂ is a suitable differential operator.^{[2]}
String theory
In physics string theory is an attempt to describe general relativity and quantum mechanics with a single mathematical model. Although it is an attempt to model our universe it takes place in a space with more dimensions than the four of spacetime that we are familiar with. In particular a number of string theories take place in a tendimensional space, adding an extra six dimensions. These extra dimensions are required by the theory, but as they cannot be observed are thought to be quite different, perhaps compactified to form a sixdimensional space with a particular geometry too small to be observable.
Since 1997, another string theory has come to light that works in six dimensions. Little string theories are nongravitational string theories in five and six dimensions that arise when considering limits of tendimensional string theory.^{[3]}
Theoretical background
Bivectors in four dimensions
A number of the above applications can be related to each other algebraically by considering the real, sixdimensional bivectors in four dimensions. These can be written Λ^{2}ℝ^{4} for the set of bivectors in Euclidean space or Λ^{2}ℝ^{3,1} for the set of bivectors in spacetime. The Plücker coordinates are bivectors in ℝ^{4} while the electromagnetic tensor discussed in the previous section is a bivector in ℝ^{3,1}. Bivectors can be used to generate rotations in either ℝ^{4} or ℝ^{3,1} through the exponential map (e.g. applying the exponential map of all bivectors in Λ^{2}ℝ^{4} generates all rotations in ℝ^{4}). They can also be related to general transformations in three dimensions through homogeneous coordinates, which can be thought of as modified rotations in ℝ^{4}.
The bivectors arise from sums of all possible wedge products between pairs of 4vectors. They therefore have C4
2 = 6 components, and can be written most generally as
They are the first bivectors that cannot all be generated by products of pairs of vectors. Those that can are simple bivectors and the rotations they generate are simple rotations. Other rotations in four dimensions are double and isoclinic rotations and correspond to nonsimple bivectors that cannot be generated by single wedge product.^{[4]}
6vectors
6vectors are simply the vectors of sixdimensional Euclidean space. Like other such vectors they are linear, can be added subtracted and scaled like in other dimensions. Rather than using letters of the alphabet, higher dimensions usually use suffixes to designate dimensions, so a general sixdimensional vector can be written a = (a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}). Written like this the six basis vectors are (1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0) and (0, 0, 0, 0, 0, 1).
Of the vector operators the cross product cannot be used in six dimensions; instead the wedge product of two 6vectors results in a bivector with 15 dimensions. The dot product of two vectors is
It can be used to find the angle between two vectors and the norm,
This can be used for example to calculate the diagonal of a 6cube; with one corner at the origin, edges aligned to the axes and side length 1 the opposite corner could be at (1, 1, 1, 1, 1, 1), the norm of which is
which is the length of the vector and so of the diagonal of the 6cube.
Complex 3space
The complex plane C has two real dimensions, so C^{3} is a sixdimensional space. William Rowan Hamilton identified this space in 1853^{[5]} as the bivectors of is biquaternions. He had introduced vectors as 3dimensional parts of quaternions, so when the tensor product became biquaternions, the complex 3dimensional part was bivectors. The exponential map takes bivectors to the unit sphere of the biquaternion algebra, which is isomorphic to the Lorentz group. Hence, as Ronald Shaw and Graham Bowtell^{[6]} have noted, bivectors are logarithms of Lorentz transformations. Generally vector analysis is confined to three dimensions, but in Vector Analysis (1901) the sixdimensional space of bivectors was used by J. W. Gibbs and E. B. Wilson.^{[7]}
In the differential geometry of complex manifolds some sixdimensional spaces arise as algebraic manifolds. Examples include the quintic threefold and the BarthNieto quintic. According to Piergiorgio Odifreddi, the classification of complex threedimensional manifolds "was one of the spectacular results obtained by the Japanese school of geometry of Heisuke Hironaka, Shing Tung Yau, and Shigefumi Mori. For this work they were awarded the Fields Medal in 1970, 1983, and 1990, respectively."^{[8]}
Footnotes
 ^ Arthur Besier (1969). Perspectives of Modern Physics. McGrawHill.
 ^ Lounesto (2001), pp. 109–110
 ^ Aharony (2000)
 ^ Lounesto (2001), pp. 8689
 ^ William Rowan Hamilton (1853) Lectures on Quaternions, p 665, Royal Irish Academy, link from Cornell University Historical Mathematics Collection
 ^ Ronald Shaw and Graham Bowtell (1969) "The Bivector Logarithm of a Lorentz Transformation", Quarterly Journal of Mathematics 20:497–503
 ^ Edwin Bidwell Wilson (1901) Vector Analysis, pages 426 to 436, "Harmonic Vibrations and Bivectors"
 ^ Piergiorgio Odifreddi (2004) The Mathematical Century, page 82, Princeton University Press ISBN 069109294X
References
 Lounesto, Pertti (2001). Clifford Algebras and Spinors. Cambridge: Cambridge University Press. ISBN 9780521005517.
 Aharony, Ofer (2000). "A Brief Review of "Little String Theories"". Quantum Grav. 17 (5). arXiv:hepth/9911147. Bibcode:2000CQGra..17..929A. doi:10.1088/02649381/17/5/302.
