The shadow theory of modular and unimodular lattices (Q1277191): Difference between revisions

From MaRDI portal
Changed an Item
Import240304020342 (talk | contribs)
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
    0 references
    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

    Identifiers