Complex polytope

A complex polytope is a generalized polytope-like object whose containing space is n-dimensional $$\mathbb{C}^n$$. Complex coordinate space is an extension of Euclidean space $$\mathbb{R}^n$$ where each dimension has a real and imaginary axis. Complex polytopes are not actually polytopes in the traditional sense, since they violate dyadicity, but are rather a kind of incidence geometry together with a realization. Another major difference from real polytopes is that complex polytopes don't enclose points and don't have interiors.

Foundations
Be aware that complex 1-space is sometimes called the "complex line" and other times the "complex plane."

Complex n-space has an obvious mapping onto Euclidean 2n-space by unfolding each complex dimension into two real dimensions. In complex 1-space, this unfolding is known as an Argand diagram. While distances and translations work identically in complex n-space and Euclidean 2n-space, rotations and scaling do not. The proper rotations about the origin in $$\mathbb{C}^n$$ are a subset of the equivalent rotations in $$\mathbb{R}^{2n}$$. (On the other hand, scaling about the origin in complex space can induce rotations in the corresponding Euclidean space, but this is not so important for polytopes.)

The isometries in $$\mathbb{C}^n$$ are precisely the transformations of the form $$\mathbf{x} \mapsto \mathbf{A}\mathbf{x} + \mathbf{b}$$ where $$\mathbf{A}$$ is a unitary matrix and $$\mathbf{b} \in \mathbb{C}^n$$.

Regularity for complex polytopes is, as usual, all flags being identical under the polytope's symmetry group.

Complex 1-polytopes
Complex 1-polytopes (polytelons) may have two vertices or more, so dyadicity is already violated. Their vertices are simply located at distinct points in $$\mathbb{C}^1$$.

Real 1-polytopes enclose an interval of points as a consequence of the ordering of the real numbers. But as the complex numbers don't have an analogue of this ordering, it isn't meaningful to speak of the interior of a complex 1-polytope, nor a complex polytope of any higher rank.

There is exactly one regular complex 1-polytope with n vertices for each n &ge; 2, and its vertices are located at the nth roots of unity (or any rotation/uniform scaling/translation thereof), forming the vertices of a regular polygon in its Argand diagram.