The complex projective plane is the set of all equivalence
classes
of ordered triples
under the equivalence relation
if
for some nonzero complex number
.
Kühnel's nine-vertex triangulation has face vector
and contains every possible edge and triangle. It is
a tight triangulation over every field
(Kühnel and Lutz 2000).