ABSTRACT
We give the quasi-Euclidean classification of the maximal (with respect to the f-vector) alcoved polyhedra. The f-vector of these maximal convex bodies is , so they are simple dodecahedra. We find eight quasi-Euclidean classes. This classification, which preserves angles, is finer than the known combinatorial classification (found in 2012 by Jiménez and de la Puente), which has only six classes. Each alcoved polyhedron
is represented by a unique visualized idempotent matrix A. Some 2-minors of A are invariants of
: they are the tropical edge-lengths of
.
COMMUNICATED BY:
Acknowledgments
I am deeply grateful to the referee for careful reading and interest. His/her suggestions and patience have been a great help to bring this paper to light. I also thank my friend P.L. Clavería for producing 3-D models of many alcoved dodecahedra and for checking many computations.
Disclosure statement
No potential conflict of interest was reported by the authors.
ORCID
M. J. de la Puente http://orcid.org/0000-0002-3549-0973
Notes
1 We will use the alien element as little as possible.
2 .
3 Indeed, for each , take
,
and use
and
, to obtain
.
4 It implies that, for a NI matrix, vertex labels in the North Cask of follow the same cyclic sequence for every polyhedron, when going around
. This will be used in p. 23.
5 The order of digits is unimportant.
6 Recall that and
, i.e., the South Pole is a generator in
.
7 The order of digits is important.
8 If n>4, we do not have a general rule to label the non-principal vertices of .
9 This is related to, but different from, the tropical determinant (also called tropical permanent).
10 In this section we take n=4, because we do not know how to make definition 5.2 in more generality.
11 This makes sense, because a box is an unperturbed alcoved polyhedron.
12 is isomorphic to a dihedral group of order 12.
13 A chiral copy of a rubber glove G is obtained by turning G inside out. Alternatively, we cut G along a meridian, we fold the two pieces inside out and then we glue them again. A chiral copy of the cube is obtained similarly.
14 This is not true for all ; for instance, take
.
15 The action of a group G on a set S is a map ,
, such that (a)
, all
and (b)
, all
, all
.
16 is the maximum of the Chebyshev distance
and a tropical version of the Hilbert projective distance
.
17 We explain the instance i=2, the other ones being similar (see Figure , right). The coordinates of the generator are
and
follows from (Equation29
(29)
(29) ),
follows from (Equation31
(31)
(31) ). Besides,
follows from (Equation27
(27)
(27) ) and case (1)a. Similarly, we have
.
18 Note 1=10−12+3, i.e., a North Cask has the Euler characteristic of a closed disc.
19 Notice the signs in (Equation42(42)
(42) )–(Equation46
(46)
(46) )!
20 We say that gives one inversion, and
gives no inversion.
21 By remark 9.21, the Equatorial Belt is not to be taken int account.
22 The h-vector considered here has nothing to do with the h-vector found in the literature on f-vectors.