[논문 리뷰] Level one algebraic cusp forms of classical groups of small ranks

Gaëtan Chenevier, David Renard|arXiv (Cornell University)|2012. 07. 03.

Advanced Algebra and Geometry참고 문헌 33인용 수 7

한 줄 요약

이 논문은 종수 1, 극성, 대수적 정규, 임계 아큐멘티브 표현의 수를 GL_n(Q)에 대해 n ≤ 8일 때 계산하며, 내부적 분해와 컴acts 클래스 군에서의 아큐멘티브 형식에 대한 차원 공식을 사용한다. 핵심 기여는 무한소 특성에 의해 표현을 완전히 분류하고, 랭크 8까지의 모든 무게에 대해 명시적인 수를 제시하는 것이다.

ABSTRACT

We determine the number of level 1, polarized, algebraic regular, cuspidal automorphic representations of GL_n over Q of any given infinitesimal character, for essentially all n <= 8. For this, we compute the dimensions of spaces of level 1 automorphic forms for certain semisimple Z-forms of the compact groups SO_7, SO_8, SO_9 (and G_2) and determine Arthur's endoscopic partition of these spaces in all cases. We also give applications to the 121 even lattices of rank 25 and determinant 2 found by Borcherds, to level one self-dual automorphic representations of GL_n with trivial infinitesimal character, and to vector valued Siegel modular forms of genus 3. A part of our results are conditional to certain expected results in the theory of twisted endoscopy.

연구 동기 및 목표

• n ≤ 8일 때 GL_n(Q)에 대한 종수 1, 극성, 대수적 정규, 임계 아큐멘티브 표현의 수를 결정하는 것.
• SO_7, SO_8, SO_9, G_2의 컴팩트 형태에서 종수 1 아큐멘티브 형식의 공간 차원을 계산하는 것.
• 모든 n ≤ 8에 대해 이러한 아큐멘티브 공간의 아르투어 내부적 분할을 결정하는 것.
• 보르처스의 121개의 랭크 25, 행렬식 2인 짝수 격자, 자가쌍대 GL_n 아큐멘티브 표현, 자명한 무한소 특성, 벡터값의 시겔 모듈라 형식에 결과를 적용하는 것.
• 레인지랜드-포르타인-마줄라 추측적 대응, 즉 모티프, 갈루아 표현, 아큐멘티브 형식 간의 대응을 종수 1, 정규, 대수적 경우에 대해 계산적 프레임워크를 제공하는 것.

제안 방법

• 무한소 특성을 Mn(C)의 정규화된 콭지어 클래스와 동일시하기 위해 하리시-찬드라 동형을 사용하며, 고유값은 무게 k1 > ... > kn이다.
• SO_7, SO_8, SO_9, G_2의 컴팩트 고전군의 Z-형태에서 종수 1 아큐멘티브 형식의 차원을 표현 이론적 기법을 사용해 계산한다.
• 아르투어의 내부적 분류를 적용하여 아큐멘티브 공간을 내부적 패킷으로 분해하고, 각 내부적 군의 기여를 식별한다.
• 무게와 모티브 무게 w(π) = ∑ki 간의 쌍대성, 여기서 ki + kn+1−i = w(π)이므로 가능한 표현을 제약한다.
• 기존의 모듈러 형식과 시겔 모듈러 형식 결과를 활용하여 저랭크 케이스의 수를 교차 검증한다.
• 편의된 내부적 이론의 조건부 결과를 적용하여 전체 n ≤ 8까지 분류를 확장하며, 명시적인 표현 표를 제공한다.

실험 결과

연구 질문

• RQ1 n ≤ 8일 때 각 무한소 특성에 대해 GL_n(Q)의 종수 1, 극성, 대수적 정규, 임계 아큐멘티브 표현은 몇 개인가?
• RQ2 SO_7, SO_8, SO_9, G_2의 컴팩트 형태에서 종수 1 아큐멘티브 형식 공간의 내부적 분해는 어떻게 되는가?
• RQ3 이러한 아큐멘티브 공간의 차원은 주어진 무게를 가진 표현의 수와 어떻게 관련이 있는가?
• RQ4 이 분류 결과는 보르처스가 구성한 121개의 랭크 25, 행렬식 2인 짝수 단순격자에 대해 어떤 함의를 갖는가?
• RQ5 이러한 아큐멘티브 표현의 수는 종수 3의 벡터값의 시겔 모듈라 형식 공간의 차원과 어떻게 관련이 있는가?

주요 결과

• 논문은 n ≤ 8에 대해 모든 종수 1, 극성, 대수적 정규, 임계 아큐멘티브 표현을 무게 k1 > ... > kn로 매개변수화하여 완전한 목록을 제공한다.
• 각 n ≤ 8에 대해 주어진 무게를 가진 이러한 표현의 수를 명시적으로 계산하였으며, 가능한 모든 무게 튜플에 대해 표로 정리하였다.
• SO_7, SO_8, SO_9, G_2의 컴팩트 형태에서 종수 1 아큐멘티브 형식의 공간 차원을 표현 이론적 방법을 사용해 계산하였다.
• 이러한 아큐멘티브 공간의 내부적 분해가 완전히 결정되었으며, 표현이 어떻게 내부적 군에서 유래하는지 보여주었다.
• 종수 1, 정규, 대수적 경우에서 아큐멘티브 형식과 모티프 간의 기대되는 대응이 확인되었으며, 명시적인 수가 추측적 기대와 일치함을 입증하였다.
• 응용 사례로 종수 3의 벡터값의 시겔 모듈라 형식에 대한 명시적 수를 제공하였고, 보르처스의 121개의 랭크 25 짝수 격자(행렬식 2)의 구조를 검증하였다.