쿼터니온 GLₙ(D) 이산표현의 심플렉틱 구간 판정

초록

본 논문은 비분할 사원수 대수 D 위의 GLₙ(D) 이산표현에 대해, 그가 스펙트럼 군 Spₙ(D) 에 의해 구간을 갖는 조건을 완전히 규명한다. F가 잔여특성 2가 아닌 0특성의 비아키메디안 지역체일 때, n이 홀수이면 이산표현이 Spₙ(D)와 구간을 갖는 것은 정확히 그 표현이 cuspidal이며, Jacquet–Langlands 대응을 통해 GL₂ₙ(F) 로 옮겨졌을 때 비cuspidal인 경우와 동등함을 보인다.

상세 분석

논문은 먼저 Prasad가 제시한 두 가지 예측을 명확히 정의하고, 이를 증명하기 위한 두 단계의 전략을 제시한다. 첫 번째 단계는 Theorem 1.2로, 여기서는 “cuspidal이면서 Jacquet–Langlands 전이(JL 전이)가 비cuspidal인 경우”에 한해 Spₙ(D) 구간을 갖는다는 방향을 증명한다. 이를 위해 Bushnell–Kutzko 타입 이론을 활용한다. 구체적으로, 주어진 cuspidal π가 어떤 Bushnell–Kutzko 타입 (J, λ)에서 compact induction으로 얻어지는지를 분석하고, J가 involution σ(=내부 대칭)와 안정되도록 선택한다. λ는 κ ⊗ ρ 로 분해되며, κ는 J₁‑정규화된 단순 문자 θ에 의해 결정된다. 핵심은 JL 전이가 비cuspidal이면 θ가 σ‑불변(θ ∘ σ = θ⁻¹)인 단순 문자를 포함한다는 사실이다. 이를 통해 κ가 J × H(=Spₙ(D))에 대해 구간을 갖는다는 것을 보이고, ρ가 GLₘ(l) 의 cuspidal 표현 ϱ와 연관됨을 이용해 ϱ가 Gal(l/l₀)‑불변임을 도출한다. 이 단계는 단순 문자와 그 정규화, 그리고 σ‑안정성에 대한 정밀한 계산을 필요로 하며, p ≠ 2 일 때만 성립한다는 제한이 있다.

두 번째 단계는 Theorem 1.3으로, “이산표현이 구간을 갖는 경우 반드시 cuspidal이다”를 증명한다. 여기서는 전역적·지역적 intertwining period 를 이용한다. π가 이산표현이라면, 그 구조는 특정 정수 m|n과 cuspidal ρ ∈ GL_{n/m}(D) 로부터 유도된 표준 모듈 I(s, ρ) 의 유일한 비가역적 꼬리(quotient) 로 표현된다. m ≥ 2 라고 가정하면, 오펜 인터트위닝 연산과 그 함수식 α(s, ρ) 의 해석적 성질을 조사한다. 전역화 과정을 통해 α(s, ρ) 를 Rankin–Selberg γ‑인자들의 곱으로 나타내고, s = 1 에서의 비영점이 없음을 보인다. 이는 π가 Spₙ(D)‑구간을 가질 경우 α(1, ρ) ≠ 0이어야 함을 의미하지만, m ≥ 2 일 때는 α(1, ρ) = 0이므로 모순이 발생한다. 따라서 이산표현이 구간을 갖기 위해서는 m = 1, 즉 π가 cuspidal이어야 함을 얻는다.

마지막으로 Theorem 1.4(Corollary 1.4)에서는 위 두 결과와 Verma의 전역적 결과를 결합해, Prasad의 원래 예측(Conjecture 1.1)을 완전히 입증한다. 즉, n이 홀수일 때만 GLₙ(D) 의 cuspidal 이산표현이 Spₙ(D) 구간을 가지며, 그 JL 전이는 정확히 Steinberg 형태 St₂(τ) 로 나타난다. 여기서 τ는 GLₙ(F) 의 cuspidal 표현이며, “비아벨리안 베이스 체인지” b_D^F 로서 명시된다.

전체 논문은 타입 이론, 단순 문자, 전역적 Rankin–Selberg 이론, 그리고 인터트위닝 주기의 기능 방정식이라는 네 가지 고급 도구를 유기적으로 결합해, 비분할 사원수 내적군의 구간 문제를 완전히 해결한다.