Tensor products of hermitian lattices

Renaud Coulangeon

Acta Arithmetica, Tome 92 (2000), p. 115-130 / Harvested from The Polish Digital Mathematics Library

Résumé

1. Introduction. The properties of euclidean lattices with respect to tensor product have been studied in a series of papers by Kitaoka ([K, Chapter 7], [K1]). A rather natural problem which was investigated there, among others, was the determination of the short vectors in the tensor product L οtimes M of two euclidean lattices L and M. It was shown for instance that up to dimension 43 these short vectors are split, as one might hope. The present paper deals with a similar question for tensor products of hermitian lattices over imaginary quadratic fields or quaternion division algebras. The main motivation for this work is in connection with modular lattices, as defined by Quebbemann ([Q]), that is to say, even lattices that are similar to their dual. In [B-N] it is shown how tensor product over the ring of integers in an imaginary quadratic field can be used to shift from one level to another (the level of a modular lattice L is the square of the rate of the similarity mapping L* to L), and above all a construction of an 80-dimensional extremal unimodular lattice from a 20-dimensional 7-modular one by tensoring is given. It is thus of some interest to know a priori how short vectors behave under tensor product. In Section 2 we give the basic definitions and properties concerning hermitian lattices that are needed in the sequel. We establish in Section 3 a splitness criterion for minimal vectors (Corollary 3.4) based on a general lower bound (Proposition 3.2). Finally, Section 4 is devoted to examples; among others, we give an alternate proof of the extremality of Bachoc-Nebe's 80-dimensional lattice, and we give a new construction of the Barnes-Wall lattices.

Détail

Publié le : 2000-01-01

Zbl 0951.11023

EUDML-ID : urn:eudml:doc:207374

Bibliographie

[00000] [ATLAS] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Atlas of Finite Groups, Oxford Univ. Press, Oxford, 1985. | Zbl 0568.20001

[00001] [B] C. Bachoc, Applications of coding theory to the construction of modular lattices, J. Combin. Theory Ser. A 78 (1997), 92-119. | Zbl 0876.94053

[00002] [B-N] C. Bachoc and G. Nebe, Extremal lattices of minimum 8 related to the Mathieu group $M_22$, J. Reine Angew. Math., to appear.

[00003] [B-W] E. S. Barnes and G. E. Wall, Some extreme forms defined in terms of Abelian groups, J. Austral. Math. Soc. 1 (1959), 47-63. | Zbl 0109.03304

[00004] [Bou] N. Bourbaki, Algèbre, Hermann, Paris, 1970.

[00005] [C-S] J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups, 3rd ed., Grundlehren Math. Wiss. 290, Springer, New York, 1999.

[00006] [H] D. W. Hoffmann, On positive definite Hermitian forms, Manuscripta Math. 71 (1991), 399-429. | Zbl 0729.11020

[00007] [K] Y. Kitaoka, Arithmetic of Quadratic Forms, Cambridge Univ. Press, 1993. | Zbl 0785.11021

[00008] [K1] Y. Kitaoka, Scalar extension of quadratic lattices II, Nagoya Math. J. 67 (1977), 159-164. | Zbl 0361.10020

[00009] [M] J. Martinet, Les Réseaux Parfaits des Espaces Euclidiens, Masson, Paris, 1996.

[00010] [M-H] J. Milnor and J. D. Husemoller, Symmetric Bilinear Forms, Ergeb. Math. Grenzgeb. 73, Springer, New York, 1973. | Zbl 0292.10016

[00011] [N-P] G. Nebe and W. Plesken, Finite rational matrix groups, Mem. Amer. Math. Soc. 556 (1995). | Zbl 0837.20056

[00012] [Q] H.-G. Quebbemann, Modular lattices in euclidean spaces, J. Number Theory 54 (1995), 190-202. | Zbl 0874.11038

[00013] [R] I. Reiner, Maximal Orders, Academic Press, London, 1975.

[00014] [Sc] A. Schiemann, private communication.

[00015] [Se] J.-P. Serre, Corps Locaux, Hermann, Paris, 1968.

[00016] [St] N. W. Stoltzfus, Unraveling the knot concordance group, Mem. Amer. Math. Soc. 192 (1977). | Zbl 0366.57005