Modular lattices over cyclotomic fields (Q2569021)

This paper is concerned with modular lattices (in the sense of Quebbemann) over number fields. Let \(K\) be a CM-field and \(F\) be the maximal real subfield of \(K\). Let \({\mathcal O}_K\) denote the ring of integers of \(K\). An ideal lattice is a lattice \(({\mathcal I},b)\), where \({\mathcal I}\) is a fractional \({\mathcal O}_K\)-ideal and \(b:{\mathcal I}\times{\mathcal I}\rightarrow \mathbb{R}\) is such that \(b(\lambda x,y)=b(x,\bar{\lambda} y)\) for all \(x\), \(y\in {\mathcal I}\) and for all \(\lambda\in{\mathcal O}_K\). This definition is equivalent to saying that there exists a totally positive \(\alpha \in F_{\mathbb{R}} = F\otimes \mathbb{R}\) such that \(b(x,y)= \operatorname{Tr}(\alpha x\bar{y})\). Ideal lattices correspond bijectively to Arakelov divisors over \({\mathcal O}_K\). The notion of Arakelov modular ideal lattice on a CM-field is introduced. It is shown that any Arakelov modular lattice over a cyclotomic field is strongly modular. All the cyclotomic fields over which there exists an Arakelov modular lattice of given level are characterized. For a given CM-field \(K\) and a given Arakelov modular lattice over \(K\) it is given all the Arakelov modular lattices of the same level which can be constructed over \(K\). Various examples of modular lattices are presented.