A complex polytope is a generalized polytope-like object whose containing space is n -dimensional complex coordinate space . Complex coordinate space is an extension of Euclidean space where each dimension has a real and imaginary axis. Complex polytopes are in general not actually polytopes in the traditional sense, since they violate dyadicity, but are rather a kind of incidence complex together with a realization. Another major difference from real polytopes is that complex polytopes don't enclose points and don't have interiors.
Complex space[edit | edit source]
Complex 1-space, that is the vector space formed by the complex numbers themselves , is sometimes called the complex line and other times the complex plane. The former name reflects that it is of dimension 1 over , while the latter reflects that it's of dimension 2 over .
Definition[edit | edit source]
Incidence[edit | edit source]
Let 𝓟 be a set of affine subspaces of the unitary space . We introduce some terminology:
- μ -dimensional elements of 𝓟 are called μ -flats.
- Two flats are incident if one is a proper subspace of the other.
- For any two flats F and H , the medial figure of F and H is the set of all flats G such that .
- A set of flats 𝓧 is connected if for any two flats, F and H , in 𝓧 there is a sequence of flats, S , beginning with F and ending with H , such that every pair of consecutive flats in S are incident.
Then 𝓟 is a complex polytope iff it satisfies the following properties:
- There is a -flat consisting of the empty space, and an n -flat consisting of .
- Every medial figure contains at least two elements.
- If then the medial figure of a λ -flat and a ν -flat is connected.
In other words the abstract structure of P is an incidence complex.
Distinguished generators[edit | edit source]
Regular complex polytopes can be defined in terms of an indexed list of group generators, much the way abstract regular polytopes and regular skew polytopes have distinguished generators. The distinguished generators of a complex polytope however have relaxed requirements to reflect the non-dyadicity of complex polytopes.
In an n -dimensional unitary space V , a pseudo-reflection is a linear map , such that:
- ρ has finite order
- The fixed points of ρ form a n-1 -dimensional linear subspace. This space is called the reflecting hyperplane of ρ
- If then
- For each , there is a positive integer such that
As with other distinguished generator based constructions, elements of the group generated by the distinguished generators correspond to flags. The concrete vertex locations are determined by choosing an arbitrary seed vertex on the intersection of the reflecting hyperplanes of other than , and applying every group element to the seed to obtain the remainder.
Complex 1-polytopes[edit | edit source]
Complex 1-polytopes (polytela) may have two vertices or more, so dyadicity is already violated. Their vertices are simply located at distinct points in .
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 ≥ 2, and its vertices are located at the n th roots of unity (or any combination of isometries and uniform scalings thereof), forming the vertices of a regular polygon in its Argand diagram.
Complex polygons[edit | edit source]
Complex polygons have vertices located in . While real edges connect two points in a line, a complex edge of degree n (a.k.a. an n -edge) connects n ≥ 2 points that live in an affine complex subspace of dimension 1. This is the complex space equivalent of the planarity condition for Euclidean polytopes. Each point must be adjacent to 2 or more edges, and the number of edges is also called its degree.
The regular complex polygons were completely characterized in 1991 by Coxeter. All the edges must have the same degree and the same goes for the vertices, so regular complex polygons are abstractly a type of configuration. Clearly, all edges of a regular complex polygon are themselves regular and congruent to each other.
[edit | edit source]
- Wikipedia contributors. "Complex polytope".