arXiv subjects
Publications and source records attributed to Gabriele Nebe.
We calculate the action of some Hecke operators on spaces of modular forms spanned by the Siegel theta-series of certain genera of strongly modular lattices closely related to the Leech lattice. Their eigenforms provide explicit examples of Siegel cusp forms.
If $Λ$ is an indecomposable, non maximal, symmetric order, then the idealizer of the radical $Γ:= \Id(J(Λ)) = J(Λ)^{#} $ is the dual of the radical. If $Γ$ is hereditary then $Λ$ has a Brauer tree (under modest additional assumptions). Otherwise $Δ:= \Id(J(Γ)) = (J(Γ)^2)^{#} $. If $Λ= \Z_p G$ for a $p$-group $G\neq 1$, then $Γ$ is hereditary iff $G\cong C_p$ and otherwise $[Δ: Λ] = p^2 | G/(G'G^p)| $. For Abelian groups $G$, the length of the radical idealizer chain of $\Z_pG$ is $(n-a)(p^{a} - p^{a-1})+p^{a-1}$, where $p^n$ is the order and $p^a$ the exponent of the Sylow $p$-subgroup of $G$.
For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4.
It is shown that Section 8 of Plesken's 1983 lecture notes describes blocks of cyclic defect group up to Morita equivalence. In particular such a block is determined by its planar embedded Brauer tree. Applying the radical idealizer process, the head order of such blocks is calculated explicitly.
The main theorem in this paper is a far-reaching generalization of Gleason's theorem on the weight enumerators of codes which applies to arbitrary-genus weight enumerators of self-dual codes defined over a large class of finite rings and modules. The proof of the theorem uses a categorical approach, and will be the subject of a forthcoming book. However, the theorem can be stated and applied without using category theory, and we illustrate it here by applying it to generalized doubly-even codes over fields of characteristic 2, doubly-even codes over the integers modulo a power of 2, and self-dual codes over the noncommutative ring $\F_q + \F_q u$, where $u^2 = 0$..
The elementary divisors of the Gram matrices of Specht modules S^lambda over the symmetric group are determined for two-row partitions and for two-column partitions lambda. More precisely, the subquotients of the Jantzen filtration are calculated using Schaper's formula. Moreover, considering a general partition lambda of n at a prime p > n - lambda_1, the only possible non trivial composition factor of S_p^lambda is induced by the morphism of Carter and Payne, as shown by means of Kleshchev's modular branching rule. This enables the Jantzen filtration to be calculated in this case as well.
We classify strongly modular lattices with longest and second longest possible shadow.
A main goal in lattice theory is the construction of dense lattices. Most of the remarkable dense lattices in small dimensions have an additional symmetry, they are modular, i.e. similar to their dual lattice. Extremal lattices are densest modular lattices, whoses density is as high as the theory of modular forms allows it to be. The theory of theta series with harmonic coefficients allows to classify and to construct extremal lattices as well as to prove that some of them are strongly perfect and hence local maxima of the density function.
We begin with a review of the structure of simple, simply-connected complex Lie groups and their Lie algebras, describe the Chevalley lattice and the associated split group over the integers. This gives us a hyperspecial maximal compact subgroup of the p-adic Lie group and we describe the other maximal parahoric subgroups and their Lie algebras starting from the hyperspecial one. We then consider the Killing form on the Chevalley lattice and show that it is divisible by 2 times the dual Coxeter number. The same holds for the Lie algebras of the other maximal parahorics. We compute the discriminants of the resulting scaled forms. Finally we consider Jordan subgroups of the exceptional groups. We show that these Jordan subgroups are globally maximal and determine their maximal compact overgroups in the p-adic Lie group. The last section treats the Jordan subgroups of the classical groups.
The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not 3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an extraspecial group of order 2^(1+2m) extended by an orthogonal group). This group and its complex analogue CC_m have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge's 1996 result that the space of invariants for C_m of degree 2k is spanned by the complete weight enumerators of the codes obtained by tensoring binary self-dual codes of length 2k with the field GF(2^m); these are a basis if m >= k-1. We also give new constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix [2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power of M, and C_m is the automorphism group of this tensor power. Also, if C is a binary self-dual code not generated by vectors of weight 2, then C_m is precisely the automorphism group of the complete weight enumerator of the tensor product of C and GF(2^m). There are analogues of all these results for the complex group CC_m, with ``doubly-even self-dual code'' instead of ``self-dual code''.