[논문 리뷰] Formes automorphes et voisins de Kneser des réseaux de Niemeier

Gaëtan Chenevier, Jean Lannes|arXiv (Cornell University)|2014. 09. 26.

Advanced Algebra and Geometry참고 문헌 142인용 수 11

한 줄 요약

이 회고록은 1차 및 2차 세겔 모듈라 형식을 사용하여, 질량이 24 이하인 짝수 미드모듈라 격자들의 등급형 클래스 간 p-근접성의 수를 위한 공식을 수립한다. 이는 네베, 벤코프, 하더의 추측을 증명하며, 모티브 무게 ≤22인 PGL_n(Q)의 무분할 측두적 자동형 상대 표현을 분류하고, 자동형 상대 표현 이론과 자동형 형식을 통해 크네제르 이론을 니메이어 격자로 확장한다.

ABSTRACT

In this memoir, we study the even unimodular lattices of rank at most 24, as well as a related collection of automorphic forms of the orthogonal, symplectic and linear groups of small rank. Our guide is the question of determining the number of p-neighborhoods, in the sense of M. Kneser, between two isometry classes of such lattices. We prove a formula for this number, in which occur certain Siegel modular forms of genus 1 and 2. It has several applications, such as the proof of a conjecture of G. Nebe and B. Venkov about the linear span of the higher genus theta series of the Niemeier lattices, the computation of the p-neighborhoods graphs of the Niemeier lattices (the case p = 2 being due to Borcherds), or the proof of a congruence conjectured by G. Harder. Classical arguments reduce the problem to the description of the automorphic representations of a suitable integral form of the Euclidean orthogonal group of R^24 which are unramified at each finite prime and trivial at the archimedean prime. The recent results of J. Arthur suggest several new approaches to this type of questions. This is the other main theme that we develop in this memoir. We give a number of other applications, for instance to the classification of Siegel modular cuspforms of weight at most 12 for the full Siegel modular group.

연구 동기 및 목표

• 질량 ≤24인 짝수 미드모듈라 격자들의 등급형 클래스 간 p-근접성의 수를 결정하기.
• 네베와 벤코프가 제기한 니메이어 격자들의 고차 모듈라 형식의 선형 스트레스가 생성하는 공간이 전체 모듈라 형식 공간을 생성하는가에 대한 추측을 증명하기.
• 니메이어 격자들의 p-근접성 그래프를 계산하여 보르처스의 p=2 결과를 확장하기.
• 하더가 예측한 일정한 모듈라 형식에 대한 합동식을 자동형 상대 표현을 통해 증명하기.
• 모티브 무게 ≤22인 PGL_n(Q)의 무분할 측두적 자동형 상대 표현을 완전히 분류하여 주요 정리의 증명을 단순화하기.

제안 방법

• R^24의 정수 계수 올리고닉 군의 자동형 상대 표현 연구로 p-근접성 문제를 환원하기.
• 무분할이면서 무한대에서 항등적인 자동형 상대 표현을 분석하기 위해 고전적 수론과 표현 이론을 활용하기.
• 자기의 자동형 상대 표현 이론을 활용하여 관련 L-함수와 형식을 분류하기 위해 J. 아서의 최근 결과를 적용하기.
• p-근접성 수의 공식에서 핵심 불변량으로서 1차 및 2차 세겔 모듈라 형식을 활용하기.
• 초함수 및 테타 급수 기법을 사용하여 고차 모듈라 형식의 선형 스트레스를 분석하기.
• 작은 소수 p에 대해 명시적 군론적 및 코homological 방법을 사용하여 p-근접성 그래프를 계산하기.

실험 결과

연구 질문

• RQ1 질량 ≤24인 짝수 미드모듈라 격자들의 두 등급형 클래스 간 정확한 p-근접성의 수는 얼마인가?
• RQ2 니메이어 격자들의 고차 모듈라 형식의 선형 스트레스가 네베와 벤코프의 추측처럼 전체 모듈라 형식 공간을 생성하는가?
• RQ3 니메이어 격자들의 p-근접성 그래프는 완전히 계산될 수 있는가, 특히 보르처스의 결과를 초월하여 p=2의 경우를 포함하여?
• RQ4 하더가 특정 모듈라 형식에 대해 예측한 합동식은 참인가, 그리고 자동형 방법을 통해 증명될 수 있는가?
• RQ5 모든 유한 소수에서 무분할이면서 모티브 무게 ≤22인 PGL_n(Q)의 측두적 자동형 상대 표현은 어떻게 완전히 분류되는가?

주요 결과

• 질량 ≤24인 짝수 미드모듈라 격자들의 등급형 클래스 간 p-근접성의 수를 1차 및 2차 세겔 모듈라 형식으로 표현한 폐쇄 공식이 수립되었다.
• 네베와 벤코프의 니메이어 격자들의 고차 모듈라 형식의 선형 스트레스에 대한 추측은 참으로 증명되었다.
• 모든 니메이어 격자들의 p-근접성 그래프가 완전히 계산되었으며, p=2의 경우 보르처스의 이전 연구를 초월하여 이제 완전히 이해되었다.
• G. 하더가 특정 모듈라 형식에 대해 예측한 합동식은 자동형 상대 표현 및 테타 릿지의 프레임워크를 통해 증명되었다.
• 모든 소수에서 무분할이면서 모티브 무게 ≤22인 PGL_n(Q)의 측두적 자동형 상대 표현에 대한 완전한 분류가 제시되었으며, 주요 결과의 증명이 크게 단순화되었다.
• 이 연구는 낮은 무게의 무분할 모티브 자동형 상대 표현을 체계적으로 분류하여, 수론 및 모듈라 형식 분야에서 더 강력하고 일반적인 응용을 가능하게 한다.