[논문 리뷰] Minimal representations: spherical vectors and automorphic functionals

David Kazhdan, Alexander Polishchuk|ArXiv.org|2002. 09. 24.

Advanced Algebra and Geometry참고 문헌 10인용 수 21

한 줄 요약

이 논문은 국소 비아르키메데스 체 위의 단순 연결 단순 분할 군 $D_k$ 또는 $E_k$ 유형의 최소 표현에 대해 히케 연산자, 유한 푸리에 변환, 그리고 $D_4$의 경우 이차 콘을 통한 실현을 사용하여 구면 벡터의 명시적 공식을 제공한다. 또한 해당 아델릭 군의 최소 표현에 대한 자동형 함수를 기술하며, 국소적 구면 벡터와 전역적 자동형 형식 사이의 연결 고리를 확립한다.

ABSTRACT

In the first part of this paper we study minimal representations of simply connected simple split groups of type $D_k$ or $E_k$ over local non-archimedian fields. Our main result is an explicit formula for the spherical vectors in these representations. In the case of real and complex groups such a formula was obtained recently in hep-th/0107222. We also use our techniques to study the structure of the space of smooth vectors in the minimal representation recovering some results of Magaard and Savin. In the second part we consider groups as above defined over a global field. In this situation we describe the form of the automorphic functional on the minimal representation of the corresponding adelic group.

연구 동기 및 목표

• 국소 비아르키메데스 체 위의 분할 군 $D_k$ 및 $E_k$ 유형의 최소 표현에 대한 구면 벡터의 명시적 공식을 계산하기 위해.
• 최소 표현에서 스무스 벡터의 공간의 구조를 분석하며, 특히 컴팩트 지지 함수의 부분공간에 대한 몫을 다루기 위해.
• 구면 벡터 공식을 사용하여 아델릭 군 $G(\mathbb{A})$의 최소 표현에 대한 자동형 함수의 형태를 기술하기 위해.
• 삼차형식의 기울기 그래프 위의 선다발과 잭위 함수를 포함하는 기하학적 및 표현론적 프레임워크를 수립하기 위해.
• 아르키메데스 경우의 결과를 비아르키메데스 환경으로 확장하여, 특히 $D_4$ 및 더 높은 $D_k$, $E_k$ 유형에 대해 적용하기 위해.

제안 방법

• For $D_4$, use a different realization of the minimal representation in terms of functions on a quadratic cone and apply results from [2] to identify the spherical vector.
• For $D_k$ and $E_k$ ($k \geq 4$), analyze the action of Hecke operators on Iwahori-invariant vectors using results from Savin [13] and Lusztig [10] to determine the spherical vector up to a constant.
• Determine the unknown constant via direct computation involving the finite Fourier transform.
• Define the asymptotic functional $\overline{f}(x_0,\dots,x_n) = \lim_{y\to 0} \psi(\frac{I_G(x_1,\dots,x_n)}{x_0 y}) f(y,x_0,x)$ for $f \in R$, and prove its extension to a locally constant section of a line bundle $\mathcal{L}$ over the variety $C$ defined as the graph of the gradient of $I_G/x_0$.
• Show that the space of such sections coincides with the Jacquet functor $J(R)$, which is isomorphic to the direct sum of a one-dimensional representation and the smooth vectors in the minimal representation of the Levi subgroup $L(F)$, twisted by a character.
• Use the spherical vector formula to derive the automorphic functional on the adelic group $G(\mathbb{A})$, particularly in the case of elliptic curves over $\mathbb{F}_q$, by analyzing contributions from different divisor types and applying zeta function identities.

실험 결과

연구 질문

• RQ1 국소 비아르키메데스 체 위의 분할 군 $D_k$ 또는 $E_k$ 유형의 최소 표현에 대한 구면 벡터의 명시적 공식은 무엇인가?
• RQ2 최소 표현에서 스무스 벡터의 공간은 어떻게 구성되어 있으며, 특히 컴팩트 지지 함수의 부분공간에 대한 몫은 어떻게 되는가?
• RQ3 전역 체에 대해 아델릭 군 $G(\mathbb{A})$의 최소 표현에 대한 자동형 함수의 형태는 무엇인가?
• RQ4 최소 표현에 속하는 함수의 점근적 성질은 잭위 함수와 리지 하위군의 표현론과 어떻게 관련되는가?
• RQ5 자동형 함수는 특히 타원곡선의 경우 유한체 위의 점 수와 제타 함수를 통해 표현될 수 있는가?

주요 결과

• 비아르키메데스 체 위의 $D_k$ 및 $E_k$ 유형 군에 대해, 히케 연산자와 유한 푸리에 변환을 사용하여 구면 벡터가 명시적으로 계산되며, 상수를 제외한 형태가 결정되고 직접 계산을 통해 미지의 상수가 해결된다.
• $D_4$의 경우, 이차 콘 위의 실현과 푸리에 유형의 상호작용 연산자를 사용하여 구면 벡터가 특정해지며, 이는 높은 $D_k$로 일반화될 수 있다.
• 모든 $f \in R$에 대해 극한 $\overline{f}(x_0,\dots,x_n) = \lim_{y\to 0} \psi(\frac{I_G(x_1,\dots,x_n)}{x_0 y}) f(y,x_0,x)$ 이 존재하며, $I_G/x_0$의 기울기 그래프로 정의된 다양체 $C$ 위의 선다발 $\mathcal{L}$의 국소적으로 상수인 단면으로 확장된다.
• 이러한 단면의 공간 $\operatorname{res}(f)$ 는 잭위 함수 $J(R)$ 와 일치하며, 이는 1차원 표현과 리지 하위군 $L(F)$의 최소 표현에서의 스무스 벡터의 직합과 동형이며, 특성에 의해 외적된다.
• 타원곡선 $X/\mathbb{F}_q$에 대해, 자동형 함수 계수는 $\alpha_1(f_0) = 1 + \frac{q^s N}{(q^{s+1}-1)(q^s-1)}$ 및 $\alpha_2(f_0) = q^{2s+1} + 1 + \frac{q(q^{4s+2}-1)(q^s+1)}{q^{s+2}-1} - \frac{(q^{2s+1}+1)N}{(q^{s+2}-1)(q^s-1)}$ 로 주어지며, 여기서 $N$ 은 $\mathbb{F}_q$-점의 수이다.
• 임의의 곡선에 대해 $\alpha_1(f_0) = q^{(2g-2)(s+1)} L(X, q^s)$ 이 성립할 것이라 추측되며, 여기서 $L(X,t)$ 는 곡선 $X$ 의 $L$-함수이다.