The shadow theory of modular and unimodular lattices (Q1277191): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The shadow theory of modular and unimodular lattices |
scientific article |
Statements
The shadow theory of modular and unimodular lattices (English)
0 references
20 July 1999
0 references
The first main result of the paper is a bound that had previously been proved only in weaker versions: the minimal nonzero ``norm'' of an odd self-dual lattice \(L\) in \(n\)-dimensional euclidean space, \(n\not= 23\), can be at most \(2[n/24] + 2\) (for even self-dual lattices this bound has been known for thirty years). The proof uses the ``shadow'' or characteristic coset of \(2L\) in \(L\) and a subtle analysis of its theta transformation behaviour. Secondly, the authors extend previous work by the reviewer on lattices of level \(N>1\) whose classes are invariant under a group of involutions corresponding to the Atkin-Lehner involutions on modular forms. Certain known ``extremal'' lattices of minimal norm 4 for \(N = 2,\ldots,8,11,14,15,23\) are described in a uniform way as sublattices of the Leech lattice, new examples including an odd Coxeter-Todd lattice (\(n=12\)) and an odd Barnes-Wall lattice (\(n=16\)) are provided, and again upper bounds are extended to odd lattices. One question that remains open for general \(n\) and \(N\) is which involution-invariant genera do contain an involution-invariant class, i.e. when does a ``strongly modular'' lattice exist. For a special type of cases the Appendix of this paper gives a non-existence result, based on an interesting study of reduction modulo 2 for Atkin-Lehner eigenforms.
0 references
modular lattice
0 references
unimodular lattice
0 references
extremal lattice
0 references
shadow theory
0 references
minimal nonzero ``norm''
0 references