[논문 리뷰] On theta series attached to maximal lattices and their adjoints

Siegfried Boecherer, Gabriele Nebe|ArXiv.org|2009. 09. 07.

Advanced Algebra and Geometry참고 문헌 20인용 수 6

한 줄 요약

이 논문은 제곱무리수 수준 $N$인 극대 짝수 격자에서, 그의 수반 테타 급수(θ-series)가 모듈라 형식 공간 $M_k(N)^*$ 내에서 극한 경계를 달성하는 이중 극한 격자를 도입하고 연구한다. 이 공간의 바이어스트라스 성질(Weierstrass property)과 아틀킨-레너 호환성 변환 법칙을 활용하여, 저자들은 극한성의 정의를 내리고 $N=2,3,5,7,11,6,10$ 수준에서 명시적인 예를 구성하며, 이러한 격자가 구면 5-설계를 유도하고 강력하게 완전하며 정확한 최소 노름과 계수 수를 갖는다는 것을 증명한다.

ABSTRACT

The space spanned by theta series of adjoints of maximal even lattices of exact level $N$ and determinant $N^2$ has the Weierstrass property and hence allows to define extremality for arbitrary squarefree level $N$. We find examples of such dual extremal lattices.

연구 동기 및 목표

• 제곱무리수 수준 $N$에 대해 극대 짝수 격자로 정의되고, 그의 수반 테타 급수가 $M_k(N)^*$ 내에서 극한 경계를 달성하는 이중 극한 격자를 정의하고 특성화하는 것.
• 공간 $M_k(N)^*$가 바이어스트라스 성질을 갖는다는 것을 확립하여, 임의의 제곱무리수 $N$에 대해 극한성의 정의가 가능하게 하는 것.
• $N=2,3,5,7,11,6,10$ 수준에서 이중 극한 격자의 명시적 예를 구성하고, 그들의 계수 수와 최소 노름을 계산하는 것.
• 이중 극한 격자가 그의 층들에서 구면 5-설계를 유도함을 증명하여, 강력한 완전성과 구구형 포장에서 국소 최대성을 함의하는 것.

제안 방법

• 모듈라 공간 $M_k(N)^*$의 바이어스트라스 성질을 활용하며, 이는 제곱무리수 수준 $N$인 극대 짝수 격자의 수반 격자의 테타 급수를 통해 정의된다.
• 행렬 $\omega_p^N$의 작용으로 유도된 아틀킨-레너 호환성 변환 법칙을 적용하여 극대 격자를 특성화한다.
• 슬래시 연산자 $|_k$와 헤크 기호 $T(p)$, $U(p)$, $V(p)$를 사용하여 $M_k(N)^*$ 내의 모듈라 형식을 분석한다.
• 쌍대 격자 $L^\#$와 스케일된 격자 $\sqrt{N}L^\#$를 사용하여, $M_k(N)^*$에 속하는 테타 급수 $\theta(\sqrt{N}L^\#)$를 정의한다.
• 지역 위트 불변량 $s_p(V)$와 $p$-진 조르당 분해를 활용하여 수준-$p$ 최대성과 쌍대성을 분석한다.
• [2], [10], [12]의 분류 결과를 활용하여 이중 극한 격자의 등급 동치 클래스 수를 세고 최소 노름을 검증한다.

실험 결과

연구 질문

• RQ1 임의의 제곱무리수 수준 $N$에서 $M_k(N)^*$ 내의 모듈라 형식에 대해 극한성을 정의할 수 있으며, 이는 극한 격자의 의미 있는 일반화로 이어지는가?
• RQ2 극한 수반 테타 급수를 갖는 수준 $N$의 극대 짝수 격자인 이중 극한 격자가 그의 층들에서 구면 5-설계를 나타내는 강력한 기하적 성질을 갖는가?
• RQ3 어떤 차원과 수준 $N$에서 이중 극한 격자가 존재하며, 각각의 경우에 대해 몇 개인지 이sovolumetric 클래스가 존재하는가?
• RQ4 이중 극한 격자에 대해 $\sqrt{N}L^\#$의 정확한 최소 노름은 무엇이며, 일반적 경계 $2\dim(M_k(N)^*)$를 초월하는가?
• RQ5 $N=11$ 수준에서 최소 노름이 극한 경계를 엄격히 초월하는 이중 극한 격자가 존재하는가? 이는 일반 이론에 어떤 함의를 갖는가?

주요 결과

• 수준 $N=2$일 때, 차원 $2k$인 이중 극한 격자는 $\min(L^\#) = \dim(M_k(2)^*)$를 만족하며, 그 층들이 구면 5-설계를 형성하여 강력한 완전성을 함의한다.
• 수준 $N=2$, 차원 $m=28$일 때, 이중 극한 격자에 대해 31개의 등급 동치 클래스가 존재하며, $\min(\sqrt{2}L^\#) = 6$이고, 모든 층들이 구면 5-설계를 형성한다.
• 수준 $N=3$, 차원 $m=28$일 때, 이중 극한 격자의 수는 최소 $9 \cdot 41610$개이며, $\min(\sqrt{3}L^\#) \geq 8/3 > 2$이고 층들이 구면 5-설계를 형성한다.
• 수준 $N=11$, 차원 $m=20$일 때, 극한 테타 급수의 최소 노름은 20이며, $2\dim(M_{10}(11)^*) = 18$를 초월하여 경계가 엄격하게 적용됨을 보여준다.
• 수준 $N=5$, 차원 $m=20$일 때, 이중 극한 격자에 대해 329개의 등급 동치 클래스가 존재하며, $\min(\sqrt{5}L^\#) = 8$이고 테타 급수는 극한이다.
• 수준 $N=10$, 차원 $m=16$일 때, 이중 극한 격자에 대해 228개의 등급 동치 클래스가 존재하며, $\min(\sqrt{10}L^\#) = 12$이고 테타 급수는 극한이다.