Tensor products of hermitian lattices

• Autorzy: Renaud Coulangeon
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 11H55: Quadratic forms (reduction theory, extreme forms, etc.)
• 15A69: Multilinear algebra, tensor products

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Acta Arithmetica
• Rocznik: 2000
• Tom: 92
• Numer: 2
• Strony: 115-130

Daty

wydano

2000

otrzymano

1998-03-16

poprawiono

1999-09-22

Twórcy

autor

Renaud Coulangeon

• Université Bordeaux I, Mathématiques, 351, cours de la Libération, 33405 Talence Cedex, France

Bibliografia

• [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.
• [B] C. Bachoc, Applications of coding theory to the construction of modular lattices, J. Combin. Theory Ser. A 78 (1997), 92-119.
• [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.
• [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.
• [Bou] N. Bourbaki, Algèbre, Hermann, Paris, 1970.
• [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.
• [H] D. W. Hoffmann, On positive definite Hermitian forms, Manuscripta Math. 71 (1991), 399-429.
• [K] Y. Kitaoka, Arithmetic of Quadratic Forms, Cambridge Univ. Press, 1993.
• [K1] Y. Kitaoka, Scalar extension of quadratic lattices II, Nagoya Math. J. 67 (1977), 159-164.
• [M] J. Martinet, Les Réseaux Parfaits des Espaces Euclidiens, Masson, Paris, 1996.
• [M-H] J. Milnor and J. D. Husemoller, Symmetric Bilinear Forms, Ergeb. Math. Grenzgeb. 73, Springer, New York, 1973.
• [N-P] G. Nebe and W. Plesken, Finite rational matrix groups, Mem. Amer. Math. Soc. 556 (1995).
• [Q] H.-G. Quebbemann, Modular lattices in euclidean spaces, J. Number Theory 54 (1995), 190-202.
• [R] I. Reiner, Maximal Orders, Academic Press, London, 1975.
• [Sc] A. Schiemann, private communication.
• [Se] J.-P. Serre, Corps Locaux, Hermann, Paris, 1968.
• [St] N. W. Stoltzfus, Unraveling the knot concordance group, Mem. Amer. Math. Soc. 192 (1977).