[논문 리뷰] On the unramified principal series of GL(3) over non-archimedean local fields

Uri Onn, Pooja Singla|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2012. 10. 20.

Advanced Algebra and Geometry참고 문헌 1인용 수 3

한 줄 요약

이 논문은 비아르키메데스 국소체 F 위에서 GL(3)의 분비되지 않은 주요 시리즈 표현의 최대 컴acts부분군 GL₃(𝒪)로 제한되었을 때, 그 표현의 기약 성분들을 완전히 분해한다. 삼각형 C ⊂ ℕ₀³에 관련된 포물선 부분군의 필터링을 통해, 저자들은 λ(c), κ(c), μ(c)라는 불변량을 통해 기약 성분을 분류하며, V_c가 기약임은 c가 C의 경계 위에 있을 때에만 성립함을 보이고, 생성함수와 군론적 수세기 방법을 통해 각 차원의 기약 부분표현 수에 대한 명시적 공식을 유도한다.

ABSTRACT

Let F be a non-archimedean local field and let O be its ring of integers. We give a complete description of the irreducible constituents of the restriction of the unramified principal series representations of GL(3,F) to GL(3,O).

연구 동기 및 목표

• GL(3,F)의 분비되지 않은 주요 시리즈 표현을 F가 비아르키메데스 국소체일 때 최대 컴팩트 부분군 GL₃(𝒪)로 제한한 결과의 완전한 분해를 수행한다.
• 이전 연구에서 부분적으로 얻어진 결과들을 확장하여 n=3인 경우의 기약 분해 문제를 해결한다.
• 삼각형 C ⊂ ℕ₀³에 관련된 조합적 불변량 λ(c), κ(c), μ(c)를 통해 기약 성분의 완전한 분류를 제공한다.
• 생성함수와 군론적 수세기 방법을 사용하여 각 차원의 기약 부분표현 수에 대한 명시적 공식을 도출한다.

제안 방법

• c ∈ C ⊂ ℕ₀³에 따라 인덱싱된 주어진 표현 V = Ind_B^G(1)에 대해, 주어진 잔여군 K^ℓ과 포물선 부분군 P_c를 이용한 필터링을 정의한다.
• U_c = Ind_{P_c}^G(1)로 정의된 V_c = U_c / ∑_{d≺c} U_d를 도입하고, c ∈ C에 대해 V를 직접 합으로 분해한다.
• λ(c) = c₃, κ(c) = c₁ + c₂ − c₃, μ(c) = min{c₁ + c₂ − c₃, c₃ − c₁, c₃ − c₂}를 사용하여 V_c의 동형 유형을 분류한다.
• V_c가 기약임은 c가 삼각형 C의 경계 ∂C 위에 있을 때에만 성립함을 증명한다.
• c가 내부 C°에 속할 경우, V_c를 P_{c−mρ}에서 G로의 유도 표현으로 분해하며, V_c^m = U_c^m / ∑_{c−mρ ≼ d ≺ c} U_d^m를 사용한다.
• |𝒪_m × ∖ 𝒪_{m−1} ×|와 다항식 f_n(q), g_n(q)를 통해 성분을 세는 방식으로, 기약 부분표현 수에 대한 생성함수 ζ_{G,V}(s)를 도출한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 국소체 F 위에서 GL(3,F)의 분부분되지 않은 주요 시리즈 표현이 GL₃(𝒪)로 제한되었을 때, 그 기약 성분들로의 완전한 분해는 무엇인가?
• RQ2 어떤 매개변수 c ∈ C가 동형인 기약 성분 V_c를 결정하며, 이를 분류하는 불변량은 무엇인가?
• RQ3 어떤 c ∈ C에 대해 표현 V_c가 기약이며, 삼각형 C의 경계 ∂C는 무엇으로 특징지어지는가?
• RQ4 각 차원 n에 대해 제한된 표현 안에 기약 부분표현이 몇 개인가, 그리고 그 수를 세는 생성함수는 무엇인가?
• RQ5 차원 η₁(q)qⁿ과 η₂(q)qⁿ을 갖는 기약 성분의 정확한 수는 q와 n에 대해 어떻게 표현되는가?

주요 결과

• 표현 V_c는 삼각형 C의 경계 ∂C 위에 있을 때에만 기약이며, 이는 c₁, c₂ < c₃ < c₁ + c₂가 성립하지 않을 때이다.
• 두 표현 V_c와 V_d가 서로 동형임은 λ(c) = λ(d), κ(c) = κ(d), μ(c) = μ(d)이며, κ(c) > μ(c)일 경우 c = d여야 함과 동치이다.
• c ∈ C°이면서 λ(c) ≥ 2일 경우, V_c의 기약 성분 수는 κ(c) = μ(c)이면 a(c) = 1 + (q−1)q^{μ(c)−1}, κ(c) > μ(c)이면 a(c) = 1 + (q−1)q^{κ(c)−1}로 주어진다.
• 기약 n차원 부분표현 수에 대한 생성함수 ζ_{G,V}(s)는 f_n(q)와 g_n(q)를 포함하는 합으로 명시적으로 계산되었으며, f_n(q)는 짝수 n ≥ 4일 때에만 비영이며, g_n(q)는 n ≥ 5일 때에만 비영이다.
• 차원 η₁(q)qⁿ을 갖는 기약 부분표현 수는 f_n(q) = q^{⌊n/6⌋−1}((p_{n/2}+1)q + (2−p_{n/2}))로 주어지며, 이는 홀수 n일 경우 0이다. 여기서 p_n은 n을 3으로 나눈 나머지이다.
• 차원 η₂(q)qⁿ을 갖는 기약 부분표현 수는 g_n(q) = (q^{⌊n/2⌋}−1)/(q−1) + (q^{⌊n/2⌋−1}−1)/(q−1) + min{p_n,1}q^{⌊n/2⌋−1}로 주어지며, 여기서 p_n은 n을 3으로 나눈 나머지이다.