Keith Briggs

This page was last modified 2013-05-12  


·maths notes « 
·ex libris 
·site map 


Klein polyhedra

Romanian translation of this webpage

I work in R^3_{hphantom{3}} ...(22.1), and in the lattice { Z}^3 ...(22.2) embedded in it. Consider three planes with (not necessarily unit) normals alpha_i\; (i=1,2,3) ...(24.1) through the origin. Consider the octant defined by alpha_i({bf x})>0 ...(26.1). Now form the convex hull of the points of { Z}^3 ...(22.2) (excluding the origin) contained in this octant. This is the Klein polyhedron of the cubic form

alpha(x)=alpha_1(x)alpha_2(x)alpha_3(x) ...(30.1)

Klein polyhedra are also known as Arnold sails or veils (voiles in French). These were proposed over 100 years ago by Klein, but have only become of interest again in the last 10 years.

To visualize a Klein polyhedron, we take a finite piece near the origin and flatten the piece onto a plane to produce images such as in the next section. More precisely, for each vertex point x in the convex hull, we let
y=|alpha(x)|^{-1/3}x ...(39.1) and
z=({|alpha_1({bf y})|},{|alpha_2({bf y})|},{|alpha_3({bf y})|}) ...(41.1)
and plot (z_1,z_2) ...(42.1). Thus z_1+z_2+z_3=0 ...(43.1), so by plotting any two components we have full information. (In a few cases I plot other coordinates of z ...(45.1) than 1 and 2 in order to compare with published results.) These are joined by straight lines. These lines would be curved if they were the true projections of the edges of the convex hull, but the picture is clearer with straight lines. The black dots within faces are points of the convex hull which are not boundary points of a face. The faces are coloured by type, in an attempt to make the periodicity clear. Sometimes this colouring can go wrong at the edges.

The main point of interest is that the patterns are periodic iff the planes are related to a totally real cubic number field. The exact relationship is discussed in the papers of Lachaud and Korkina referenced below.


My main interest was the development of algorithms for constructing these figures. There is an algorithm in the thesis of J.-O. Moussafir referenced below, but I didn't like this so much because it works with rational approximations to the planes, and I was interested in irrational planes. After a lot of experimentation with computing exactly the convex hull of very large sets of points with integral coordinates, I found I had best success with the hull program by Ken Clarkson.


Some of the examples are taken from the papers in the bibliography below. For each example, I give the generating polynomial p ...(71.1) of the cubic field and a matrix whose columns give the coefficients of the normal vectors. In some cases I also give a (symmetric and unimodular if possible) integral matrix m whose characteristic polynomial is p ...(71.1). In these cases we know that Korkina's theorem (Thm 3.5 on page 135 of [Korkina 1995]) applies, so that the pattern has two periods.

Example 0

Korkina MR97j:11032 pages 129ff (MathSciNet lookup)
0-300-mini.jpg t_1=(2),\; t_2=(4/7),\; t_3=(6/7) ...(92.1)
8t^3+4t^2-4t-1,\; d=49=7^2 ...(93.1)
2-4t_1^2 ...(96.1) -2t_3 ...(97.1) -2t_1 ...(98.1)
-2t_3-1 ...(101.1) -2t_1-1 ...(102.1) 1-4t_1^2 ...(103.1)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)

Example 1

Parusnikov MR99f:11083 page 456.
Plotted: (2z_2-z_1-z_3,z_1-z_3) ...(117.1) (Misprint in paper?)
1-300-mini.jpg Roots x_i ...(123.1) of x^3+2x^2-2x-2,\; d=148 ...(123.2) (3rd extremal Davenport form), , m=[0,1,1; 1,0,0; 1,0,-2] ...(123.3)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)
-x_1 ...(131.1) -x_2 ...(132.1) -x_3 ...(133.1)
1-x_1^2 ...(136.1) 1-x_2^2 ...(137.1) 1-x_3^2 ...(138.1)

Example 2

Parusnikov MR96a:11061 page 999
2-300-mini.jpg t_1=(2/7),\; t_2=(4/7),\; t_3=(6/7) ...(153.1)
8t^3+4t^2-4t-1,\; d=49=7^2 ...(93.1)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)
-x_3 ...(133.1) -x_1 ...(131.1) -x_2 ...(132.1)
-1-x_2 ...(167.1) -1-x_3 ...(168.1) -1-x_1 ...(169.1)

Example 3

Parusnikov MR96a:11061 page 1002
3-300-mini.jpg t_1=2(7/9)\; t_2=2(5/9)\; t_3=2(/9) ...(184.1)
t^3-3t-1,\; d=81=9^2,\; m=[-1, 1, 0; 1, 1, 1; 0, 1, 0] ...(185.1)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)
-x_3 ...(133.1) -x_1 ...(131.1) -x_2 ...(132.1)
-1-x_2 ...(167.1) -1-x_3 ...(168.1) -1-x_1 ...(169.1)

Example 4

Parusnikov, Klein's polyhedra with big faces, page 6
Plotted: (2z_2-z_1-z_3,z_1-z_3) ...(117.1)
4-300-mini.jpg Roots of x^3+9x^2+6x-1,\; d=3969=63^2 ...(216.1)
(4th extremal Davenport form)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)
7+9x_1+x_1^2 ...(225.1) 7+9x_2+x_2^2 ...(226.1) 7+9x_3+x_3^2 ...(227.1)
1+x_1 ...(230.1) 1+x_2 ...(231.1) 1+x_3 ...(232.1)

Example 5

This is the first of a series of examples (except example 10) where we run through the totally real cubic fields in order of discriminant as listed in Appendix B of Cohen's book A course in computational algebraic number theory, starting with discriminant 169. Until discriminant 961, an integral basis is always given by (1,x,x^2) ...(246.1), where x ...(246.2) is a root of the defining polynomial. Thus, unless otherwise stated, from now on the matrix is always of the same form as this example.
5-300-mini.jpg Roots of x^3-x^2-4x-1,\; d=13^2=169,\; m=[-1, 1, 0; 1, 2, 1; 0, 1, 0] ...(255.1)
1 ...(106.1) 1 ...(106.1) 1 ...(106.1)
x_1 ...(263.1) x_2 ...(264.1) x_3 ...(265.1)
x_1^2 ...(268.1) x_2^2 ...(269.1) x_3^2 ...(270.1)

Example 6

6-300-mini.jpg x^3-4x-1,\; d=229 ...(284.1)

Example 7

7-300-mini.jpg x^3-5x-3,\; d=257 ...(296.1)

Example 8

8-300-mini.jpg x^3+x^2-4x-2,\; d=316,\; m=[0, 0, 1; 0, -2, 1; 1, 1, 1] ...(308.1)

Example 9

9-300-mini.jpg x^3+x^2-4x-1,\; d=321,\; m=[0, -1, 1; -1, 1, 0; 1, 0, -2] ...(320.1)

Example 10

Parusnikov, Klein's polyhedra for the fifth extremal cubic form, page 6.
10-300-mini.jpg x^3+4x^2-25x-1,\; d=8281=91^2 ...(333.1)

Example 11

11-300-mini.jpg x^3+x^2-6x-7,\; d=361 ...(346.1)

Example 12

12-300-mini.jpg x^3-x^2-5x-1,\; d=404,\; m=[0, 1, 1; 1, 2, 1; 1, 1, -1] ...(357.1)

Example 13

13-300-mini.jpg x^3+x^2-5x-4,\; d=469,\; m=[0, 2, 1; 2, 0, 0; 1, 0, -1] ...(368.1)

Example 14

14-300-mini.jpg x^3-5x-1,\; d=473,\; m=[-1, 1, 1; 1, 2, 0; 1, 0, -1] ...(379.1)

Example 15

15-300-mini.jpg x^3+x^2-5x-3,\; d=564,\; m=[0, 1, 1; 1, 1, 1; 1, 1, -2] ...(390.1)

Example 16

16-300-mini.jpg x^3-3x^2-7x+1,\; d=568,\; m=[0, 2, 1; 2, 1, 2; 1, 2, 2] ...(404.1)

Example 17

17-300-mini.jpg x^3-6x^2+6x+1,\; d=621,\; m=[3, 2, 0; 2, 2, 1; 0, 1, 1] ...(415.1)

Example 18

18-300-mini.jpg x^3+x^2-16x-5,\; d=697,\; m=[1,3,2; 3,0,-1; 2,-1,-2] ...(427.1)

Example 19

19-300-mini.jpg x^3+x^2-7x-8,\; d=733,\; m=[1,1,-2;1,2,-2;-2,-2,3] ...(439.1)

Example 20

20-300-mini.jpg x^3+3x^2-9x+1,\; d=756,\; m=[0,1,0; 1,-4,-2; 0,-2,1] ...(451.1)

Example 21

21-300-mini.jpg x^3-x^2-6x-1,\; d=761 ...(463.1)

Example 22

22-300-mini.jpg x^3+2x^2-5x-1,\; d=785,\; m=[2,3,2; 3,-1,-1; 2,-1,-1]  ...(475.1)

Example 23

23-300-mini.jpg x^3-x^2-7x-3,\; d=788,\; m=[-2,-1,3; -1,0,1; 3,1,1] ...(487.1)

Example 24

24-300-mini.jpg x^3-6x-1,\; d=837,\; m=[1,2,1; 2,-1,0; 1,0,0] ...(499.1)

Example 25

25-300-mini.jpg x^3+x^2-8x-10,\; d=892 ...(511.1)

Example 26

26-300-mini.jpg x^3-7x-4,\; d=940 ...(523.1)


V. I. Arnold | A. D. Bruno | F. C. Klein | J.-O. Moussafir


Some preprints are from the Keldysh Institute of the Russian Academy of Sciences, Moscow.

H. Appelgate and H. Onishi. Periodic expansion of modules and its relation to units. J. Num. Th., 15:283-294, 1982.

V. I. Arnold. Higher dimensional continued fractions. Regular and chaotic dynamics, 3:10-17, 1998. MR 2000h:11012.

A. D. Bryuno and V. I. Parusnikov. Klein polyhedra for two Davenport cubic forms. Mat. Zametki, 56(4):9-27, 156, 1994.

A. D. Bryuno and V. I. Parusnikov. Klein polyhedrals for two cubic Davenport forms. Mathematical notes, 56(3-4):9-27, 1994. 96a:11061.

A. D. Bryuno and V. I. Parusnikov. Comparison of various generalizations of continued fractions. Mathematical notes, 61:278-286, 1997. (was Keldysh Institute of the RAS, preprint 52 of 1994).

J. Buchmann. On the computation of units and class numbers by a generalization of Lagrange's algorithm. J. Number Theory, 26:8-30, 1987.

H. Cohn. Formal ring of a cubic solid angle. J. Num. Th., 10:135-150, 1978.

U. Halbritter and M. E. Pohst. On lattice bases with special properties. J. de Théorie des Nombres de Bordeaux, 12:437-453, 2000.

M. Henk and R. Weismantel. Hilbert bases of cones and simultaneous Diophantine approximations and linear Diophantine equations. Technical Report SC 97-29, Konrad-Zuse-Zentrum für Informationstechnik Berlin, Berlin, 1997.

M. Henk and R. Weismantel. Diophantine approximations and integer points of cones. Technical report, TU Wien, Wien, 2001. to appear in Combinatorica.

Iman Islim. Sur les unités et les polyèdres de Klein en théorie algébrique des nombres. PhD thesis, Université de la Méditerranée Aix-Marseille II, Faculté des Sciences de Luminy, 2001.

F. Klein. Ueber eine geometrische Auffassung der gewöhnliche Kettenbruchentwicklung. Nachr. Ges. Wiss. Göttingen Math-Phys. Kl., 3:357-359, 1895.

F. Klein. Sur une représentation géométrique du développement en fraction continue ordinaire. Nouv. Ann. Math., 15(3):327-331, 1896. [Not pages 321-331 as often cited].

E. Korkina. La périodicité des fractions continues multidimensionelles. C. R. Acad. Sci., 319:777-780, 1994. MR 95j:11064.

E. I. Korkina. Two-dimensional continued fractions. The simplest examples. Proc. Steklov Institute of Mathematics, 209:124-144, 1995. MR 97k:11104.

E. I. Korkina. The simplest 2-dimensional continued fraction. J. Math. Sci., 82(5):3680-3685, 1996.

M. L. Kontsevich and Yu. M. Suhov. A new approach to multidimensional continued fractions. Cambridge University preprint, no date, c1998.

M. L. Kontsevich and Yu. M. Suhov. Statistics of Klein polyhedra and multidimensional continued fractions. Am. Math. Soc. Trans., 197:9-27, 1999.

G. Lachaud. Polyèdre d'Arnol'd et voile d'un cône simplicial: analogues du théorème de Lagrange. C. R. Acad. Sci. Paris, 317:711-716, 1993. 94m:11081.

G. Lachaud. Klein polygons and geometric diagrams. In Contemporary mathematics, volume 210, pages 365-372. 1998. MR 99a:11086.

G. Lachaud. Sails and Klein polyhedra. In Contemporary mathematics, volume 210, pages 373-385. 1998. MR 98k:11094.

J.-O. Moussafir. Voiles et Polyèdres de Klein: Géométrie, Algorithmes et Statistiques. PhD thesis, Université Paris 9 - Dauphine, 2000.

R. Okazaki. On an effective determination of a Shintani's decomposition of the cone Rn+. J. Math. Kyoto Univ., 33-4:1057-1070, 1993.

V. I. Parusnikov. Klein's polyhedra for the third extremal ternary cubic form (Russian). Technical Report 137, Keldysh Institute of the RAS, Moscow, 1995.

V. I. Parusnikov. Klein's polyhedra with big faces (Russian). Technical Report 93, Keldysh Institute of the RAS, Moscow, 1997.

V. I. Parusnikov. Klein polyhedra for complete decomposable forms. In K. Györy, A. Pethö, and V. Sós, editors, Number Theory. Diophantine, computational and algebraic aspects, proceedings of the international conference held in Eger, Hungary 1996, Berlin, New York, 1998. Walter de Gruyter. MR 99f:11083.

V. I. Parusnikov. Klein's polyhedra for the fifth extremal cubic form (Russian). Technical Report 69, Keldysh Institute of the RAS, Moscow, 1998.

V. I. Parusnikov. Klein's polyhedra for the seventh extremal cubic form (Russian). Technical Report 79, Keldysh Institute of the RAS, Moscow, 1999.

V. I. Parusnikov. Klein polyhedra for the fourth extremal cubic form (Russian). Mat. Zametki, 67(1):110-128, 2000. (was Keldysh Institute of the RAS, preprint 36 of 1998).

M. Pohst, P. Weiler, and H. Zassenhaus. On effective computation of fundamental units II. Math. Comp., 38:293-329, 1982.

T. Shintani. On evaluation of zeta functions of totally real algebraic number fields at non-positive integers. J. Fac. Sci. Univ. Tokyo, Sect IA, 24:393-417, 1976.

H. J. S. Smith. Note on continued fractions. Messenger of Mathematics, 6:1-13, 1874.

Yu. Suhov. Multi-dimensional continued fractions. webseminar 2000.
H. Tsuchihashi. Higher dimensional analogues of periodic continued fractions and cusp singularities. Tôhoku Math. J., 35:607-639, 1983.

E. Thomas and A. T. Vasquez. On the resolution of cusp singularities and the Shintani decomposition in totally real cubic number fields. Math. Ann., 247:1-20, 1980.

D. Zagier. Valeurs des fonctions zêta des corps quadratiques réels aux entiers négatifs. Astérisque, 41-42:135-191, 1977.

This website uses no cookies. This page was last modified 2013-05-12 10:17 by Keith Briggs.