Abstract:We classify strongly modular lattices with longest and second longest possible shadow.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify strongly modular lattices with the longest and second - longest shadows. Specifically, the author Gabriele Nebe aims to understand their structures and properties in Euclidean space by studying these special types of lattices.
### Main Problems
1. **Classifying strongly modular lattices with the longest and second - longest shadows**:
- The main objective of the paper is to classify strongly modular lattices with the longest and second - longest shadows. Here, "shadow" refers to certain sets of vectors related to the lattice, which are of great significance in lattice theory.
2. **Deriving relevant formulas and theorems**:
- The author has derived theta - series formulas related to strongly modular lattices and their shadows and used these formulas to prove some important theorems. For example, Theorem 3 describes in detail the relationship between the minimum value of a strongly modular lattice and its shadow under specific conditions.
### Key Concepts
- **Strongly Modular Lattices**: This is a special type of integer lattice that is isometric to its scaled dual lattice. For a strongly \(N\)-modular lattice \(L\), it satisfies \(L\cong\sqrt{m}L^*\) for all exact divisors \(m\) of \(N\).
- **Shadow**: For a lattice \(L\), its shadow \(S(L)\) is a set composed of characteristic vectors. A characteristic vector \(v\) satisfies \((v, x)\equiv(x, x)\mod 2\mathbb{Z}\) for all \(x\in L\).
- **Theta Series**: This is an important tool for describing the geometric properties of lattices. For a subset \(S\subset\mathbb{R}^n\), its theta series is defined as \(\Theta_S(z):=\sum_{v\in S}q^{(v,v)}\), where \(q = \exp(\pi iz)\).
### Main Results
- **Theorem 3**: For a strongly \(N\)-modular lattice \(L\), if \(L\) is rationally equivalent to \(C_N^k\), then the minimum value \(min_0(S(L))\) of its shadow can be expressed as \(M(N)(m,k)\). The specific form is as follows:
\[
M(N)(m,k)=
\begin{cases}
\frac{1}{N}\left(k\frac{\sigma_1(N)}{4}- 2m\right)&\text{if }N\text{ is odd}\\
\frac{1}{N}\left(k\frac{\sigma_1(N/2)}{2}-m\right)&\text{if }N\text{ is even}
\end{cases}
\]
where \(\sigma_1(N)=\sum_{d|N}d\) is the divisor - sum function of \(N\).
- **Uniqueness Conditions**: When \(min_0(S(L)) = M(N)(0,k)\), \(L\cong C_N^k\). For the second - smallest possible minimum value \(min_0(S(L))=M(N)(1,k)\), then \(L\cong C_N^l\perp L'\), where \(L'\) is a strongly \(N\)-modular lattice and \(min(L')>1\).
### Applications and Significance
This research not only deepens the understanding of strongly modular lattices but also provides an important theoretical basis for subsequent research. By classifying strongly modular lattices with the longest and second - longest shadows, researchers can better understand the applications of these lattices in coding theory, number theory, and other fields of mathematics.