International Mathematics and Mathematical Sciences Volume 013, Article ID 837080, 4 pages http://dx.doi.org/10.1155/013/837080 Research Article On the Classification of Lattices Over Q( 3) Which Are Even Unimodular Z-Lattices of Rank 3 Andreas Henn, Michael Hentschel, Aloys Krieg, and Gabriele Nebe LehrstuhlA für Mathematik, RWTH Aachen University, 5056 Aachen, Germany Correspondence should be addressed to Andreas Henn; andreas.henn@matha.rwth-aachen.de Received 13 November 01; Accepted 8 January 013 Academic Editor: Frank Werner Copyright 013 Andreas Henn et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We classify the lattices of rank 16 over the Eisenstein integers which are even unimodular Z-lattices (of dimension 3). There are exactly 80 unitary isometry classes. 1. Introduction Let O = Z[(1 + 3)/] be the ring of integers in the imaginary quadratic field K=Q[ 3].AnEisenstein lattice is a positive definite Hermitian O-lattice (Λ, h) such that the trace lattice (Λ, q) with q(x, y) := trace K/Q h(x, y) = h(x, y) + h(x, y) is an even unimodular Z-lattice. The rank of the free O-lattice Λ is r=n/where n=dim Z (Λ). Eisenstein lattices (or the more general theta lattices introduced in [1]) are of interest in the theory of modular forms, as their theta series is a modular form of weight r for the full Hermitian modular group with respect to O (cf. []). The paper [] containsa classification of the Eisenstein lattices for n = 8, 16, and 4. In these cases, one can use the classifications of even unimodular Z-lattices by Kneser and Niemeier and look for automorphisms with minimal polynomial X X+1. For n=3, this approach does not work as there are more than 10 9 isometry classes of even unimodular Z-lattices (cf. [3, Corollary 17]). In this case, we apply a generalisation of Kneser s neighbor method (compare [4]) over Z[(1+ 3)/] to construct enough representatives of Eisenstein lattices and then use the mass formula developed in [] (andinamore general setting in [1]) to check that the list of lattices is complete. Given some ring R that contains O, anyr-module is clearly also an O-module. In particular, the classification of Eisenstein lattices can be used to obtain a classification of even unimodular Z-lattices that are R-modules for the maximal order R=M, = Z + Zi+Zj+Z 1+i+j+ij, R=M 3, = Z + Z 1+i 3 + Zj+Z j+ij 3, respectively, where i =j = 1,ij= ji,in the rational definite quaternion algebra of discriminant and 3 respectively. For the Hurwitz order M,, these lattices have been determined in [5], and the classification over M 3, is new (cf. [6]).. Statement of Results Theorem 1. The mass of the genus of Eisenstein lattices of rank 16 is h 1 μ 16 = i=1 U(Λ i) = 16519 3617 1847 809 691 419 47 13 31 3 5 4 11 17 (1) 0.00. ()
International Mathematics and Mathematical Sciences Table 1: The lattice of rank 4. 1 E 8 15550 1 E 8 Table : The lattice of rank 8. 1 E 8 4837940800 E 8 Table 3: The lattices of rank 1. 1 3E 8 56887959648000 3E 8 4E 6 8463397368 1 3 6D 4 0639114080 1 L 6 (P 6 ) 4 1A 10101630580 1 5 0 69007985600 1 Λ 4 There are exactly h = 80 isometry classes [Λ i ] of Eisenstein lattices of rank 16. Proof. The mass was computed in []. The 80 Eisenstein lattices of rank 16 are listed in Table 4 with the order of their unitary automorphism group. These groups have been computed with MAGMA. We also checked that these lattices are pairwise not isometric. Using the mass formula, one verifies that the list is complete. To obtain the complete list of Eisenstein lattices of rank 16, we first constructed some lattices as orthogonal sums of Eisenstein lattices of rank 1 and 4 and from known 3-dimensional even unimodular lattices. We also applied coding constructions from ternary and quaternary codes in the same spirit as described in [7]. To this list of lattices, we applied Kneser s neighbor method. For this, we made use of the following facts (cf. [4]): Let Γ be an integral O-lattice and p aprimeidealofo that does not divide the discriminant of Γ.AnintegralO-lattice Λ is called a p-neighbor of Γ if Λ/Γ Λ O/p and Γ/Γ Λ O/p. (3) All p-neighbors of a given O-lattice Γ canbeconstructedas Γ (p,x) := p 1 x+γ x, Γ x := {y Γ h(x, y) p}, (4) where x Γ \ pγ with h(x, x) pp (such a vector is calledadmissible). We computed (almost random) neighbors (after rescaling the already computed lattices to make them integral) for the prime elements, 3, and 4 3 by randomly choosing admissible vectors x from a set of representativesand constructingγ(p,x)or all integral overlattices of Γ x of suitable index. For details of the construction, we refer to [4]. Corollary. There are exactly 83 isometry classes of M 3, - lattices of rank 8 that yield even unimodular Z-lattices of rank 3. Table 4: The lattices of rank 16. 1 4E 8 1403964840984187840000 3 4E 8 4E 6 + E 8 1316170384671360 1 3 6D 4 + E 8 309796161371600 1 E 8 L 6 (P 6 ) 4 1A + E 8 15710055797145600 1 5 4A +4E 6 741188300473 1 6 4D 4 +E 6 4014501715 1 7 E 8 4183601507051000 1 E 8 Λ 4 8 10A +E 6 7140934453480 1 9 8D 4 4438366675763 L 8 (P 8 ) 10 4A +3D 4 + E 6 313456656384 11 13A + E 6 1160401848658 1 6D 4 8556485630 1 13 6A + D 4 + E 6 4897760560 14 4A +4D 4 15479341056 1 15 7A + E 6 14770110 16 16A 1851353376768 3 17 8A +D 4 870719344 1 18 4A +3D 4 14511884 19 4A + E 6 97955051 0 4D 4 855648563 1 L 8 (P 4 ) 1 D 4 + E 6 17704563710 6A +D 4 30330880 3 9A + D 4 1836660096 4 A + E 6 448067840 5 4A +D 4 10749544 1 6 7A + D 4 5907904 7 10A 408146688 1 8 6A + D 4 674816 9 A +D 4 13436980 1 30 5A + D 4 8398080 31 8A 43633 3 8A 75587 4 33 4A + D 4 4478976 34 D 4 7644119040 1 L 8 (P ) 35 D 4 656916480 1 36 7A 1530550080 37 7A 83435 38 3A + D 4 113374080 39 3A + D 4 51944 40 6A 1679616 1 41 6A 69856 4 A + D 4 171070 43 5A 139968 44 A + D 4 36590 45 A + D 4 4611 46 4A 16143136 47 4A 6804448 1
International Mathematics and Mathematical Sciences 3 Table 4: Continued. 48 4A 4199040 49 4A 1399680 1 50 4A 31498 51 4A 139968 1 5 4A 69984 3 53 D 4 6609064190 54 D 4 181398580 55 D 4 8709100 L 8 (P) 56 D 4 1990656 57 3A 5830 58 3A 1555 59 A 60658 60 A 18664 1 61 A 4147 1 6 A 590 63 A 18144 64 A 18144 65 A 1600 4 66 A 04496 67 A 108864 68 A 3888 69 A 916 70 0 303167190 BW 3, Λ 3 71 0 1555000 5 Λ 3 7 0 98978 3 Λ 3 73 0 1658880 1 74 0 38707 3 75 0 9376 76 0 10368 1 77 0 8064 78 0 5760 4 79 0 4608 80 0 59 3 Proof. Since M 3, is generated by its unit group M 3, C 3 :C 4, one may determine the structures over M 3, of an Eisenstein lattice Γ as follows. Let ( 1 + 3)/ =: σ U(Γ) be a third root of unity. If the O-module structure of Γ can be extended to a M 3, module structure, the O-lattice Γ needs tobeisometrictoitscomplexconjugatelatticeγ. Letτ 0 be such an isometry, so Let τ 0 GL Z (Γ), τ 0 σ=σ 1 τ 0, h(τ 0 x, τ 0 y) = h(x,y) x, y Γ. (5) U (Γ) := U (Γ),τ 0 U(Γ) C. (6) Thenweneedtofindrepresentativesofallconjugacyclasses of elements τ U (Γ) such that τ = 1, τσ= σ τ. (7) Thiscanbeshownasin[8] inthecaseofthegaussian integers. Alternatively, one can classify these lattices directly using the neighbor method and a mass formula, which can be derived from the mass formula in [9] as in[5]. The results are contained in [6]. For details on the neighbor method in a quaternionic setting, we refer to [10]. The Eisenstein lattices of rank up to 16 are listed in Tables 1 4 orderedbythenumberofroots.forthesakeof completeness,wehaveincludedtheresultsfrom[] inrank 4, 8 and 1. R denotes the root system of the corresponding even unimodularz-lattice (cf. [11, Chapter 4]). In the column #Aut, the order of the unitary automorphism group is given. Thenextcolumncontainsthenumberofstructuresofthe lattice over M 3,. For lattices with a structure over the Hurwitz quaternions M, (note that (i+j+ij) = 3,soall lattices with a structure over M, have a structure over O), the name of the corresponding Hurwitz lattice used in [5] is given in the last column. A list of the Gram matrices of the lattices is given in [1]. Remark 3. We have the following. (a) The 80 corresponding Z-lattices belong to mutually different Z-isometry classes. (b) Each of the lattices listed previously is isometric to its conjugate. Hence the associated Hermitian theta series are symmetric Hermitian modular forms (cf. [1]). References [1] M. Hentschel, A. Krieg, and G. Nebe, On the classification of even unimodular lattices with a complex structure, International Number Theory,vol.8,no.4,pp.983 99,01. [] M.Hentschel,A.Krieg,andG.Nebe, Ontheclassificationof lattices over Q( 3), which are even unimodular Z-lattices, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg,vol.80,no.,pp.183 19,010. [3] O. D. King, A mass formula for unimodular lattices with no roots, Mathematics of Computation, vol. 7, no. 4, pp. 839 863, 003. [4] A. Schiemann, Classification of Hermitian forms with the neighbour method, Symbolic Computation, vol. 6, no. 4, pp. 487 508, 1998. [5] C. Bachoc and G. Nebe, Classification of two Genera of 3-dimensional Lattices of Rank 8 over the Hurwitz Order, Experimental Mathematics,vol.6,no.,pp.151 16,1997. [6] A. Henn, Klassifikation gerader unimodularer Gitter mit quaternionischer Struktur [Ph.D. thesis],rwthaachenuniversity. [7] C. Bachoc, Applications of coding theory to the construction of modular lattices, Combinatorial Theory A, vol. 78, no.1,pp.9 119,1997.
4 International Mathematics and Mathematical Sciences [8] M. Kitazume and A. Munemasa, Even unimodular Gaussian lattices of rank 1, Number Theory,vol.95,no.1,pp. 77 94, 00. [9] K. Hashimoto, On Brandt matrices associated with the positive definite quaternion Hermitian forms, the Faculty of Science,vol.7,no.1,pp.7 45,1980. [10] R. Coulangeon, Réseaux unimodulaires quaternioniens en dimension 3, Acta Arithmetica, vol. 70, no. 1, pp. 9 4, 1995. [11] J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups, vol.90,springer,newyork,ny,usa,3rdedition, 1999. [1] M. Hentschel, Die θ-gitter im MAGMA-Kode als Gram- Matrizen, http://www.matha.rwth-aachen.de/de/mitarbeiter/ hentschel/.
Operations Research Decision Sciences Applied Mathematics Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Mathematical Problems in Engineering Mathematics Discrete Mathematics Discrete Dynamics in Nature and Society Function Spaces Abstract and Applied Analysis International Stochastic Analysis Optimization