[논문 리뷰] A vanishing Ext-branching theorem for $(\mathrm{GL}_{n+1}(F), \mathrm{GL}_n(F))$

Kei Yuen Chan, Gordan Savin|arXiv (Cornell University)|2018. 03. 24.

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

한 줄 요약

이 논문은 $F$가 $p$-진수체일 때, $\mathrm{GL}_{n+1}(F)$의 일반 표현을 $\mathrm{GL}_n(F)$로 제한했을 때, 양의 차수에서 Ext군이 영이 되는 Dipendra Prasad의 추측을 증명한다. 왼쪽과 오른쪽 Bernstein-Zelevinsky 미분의 새로운 이론을 사용하여, $\mathrm{GL}_{n+1}(F)$의 본질적으로 제곱-integral 표현들이 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브임을 확립함으로써, 일반성 조건 없이도 고차수 Ext군의 소멸을 이끌어낸다.

ABSTRACT

We prove a conjecture of Dipendra Prasad on the Ext-branching problem from $\mathrm{GL}_{n+1}(F)$ to $\mathrm{GL}_n(F)$, where $F$ is a $p$-adic field.

연구 동기 및 목표

• $\mathrm{Ext}^i_{\mathrm{GL}_n(F)}(\pi_1, \pi_2) = 0$ 이 $i > 0$ 일 때, $\pi_1$과 $\pi_2$가 각각 $\mathrm{GL}_{n+1}(F)$와 $\mathrm{GL}_n(F)$의 일반 표현일 경우, Dipendra Prasad의 추측을 증명하는 것.
• $\mathrm{GL}_{n+1}(F)$의 본질적으로 제곱-integral 표현들이 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브임을 확립하여, 타겟 표현의 일반성 조건 없이도 고차수 Ext군이 소멸됨을 이끌어내는 것.
• 미라보릭 부분군과 그 전치에 관해 왼쪽과 오른쪽 Bernstein-Zelevinsky 미분의 이론을 개발하여 제한 문제에 대한 더 강력한 조합적 통제를 가능하게 하는 것.
• Bernstein-Zelevinsky 미분에 대해 두 번째 동치 이sovomorphism을 증명하며, 표현과 그 쌍대의 왼쪽 및 오른쪽 미분 간의 관계를 규명하고, 이로부터 도파이드 카테고리 내 핵심적인 대칭성 성질을 확립하는 것.

제안 방법

• 미라보릭 부분군 $M_{n+1}$의 전치에 대한 왼쪽 미분을 도입하여, 표준적인 오른쪽 미분과 보완함으로써 제한 필터레이션에 대한 더 강력한 통제를 확보하는 것.
• 부드러운 표현 $\pi_1$의 $\mathrm{GL}_{n+1}(F)$에서 $\mathrm{GL}_n(F)$로의 제한을 분석하기 위해 Bernstein-Zelevinsky 필터레이션을 사용하여, 바닥 조각이 Gelfand-Graev 표현임을 보이는 것.
• Gelfand-Graev 표현의 프로젝티브성과 Whittaker 모델의 다중도 1 성질을 활용하여, 일반 표현에 대해 고차수 Ext군이 소멸됨을 유도하는 것.
• 두 번째 동치 이sovomorphism을 증명: $(\pi^{(i)})^\vee \cong {}^{(i)}(\pi^\vee)$, 이는 $K_r$-고정점이 생성하는 표현에 대해 성립하며, 이전 연구에서 얻은 히케 대수 기법을 사용하는 것.
• 유도 표현 이론과 Whittaker 함수수를 적용하여, $\mathrm{Hom}_{G}({\rm ind}_U^G \psi_U, \pi) \neq 0$ 이면 $\pi$가 비영 Whittaker 함수수를 가져야 한다는 것을 보이며, 표현론적 자료와 해석적 자료를 연결하는 것.
• $\mathrm{ind}_{H_s}^G(\psi_s)_c$가 기약 몫을 갖는 것은 $\mathrm{Hom}_G(\sigma \otimes \mathrm{ind}_U^G \psi_U, \pi) \neq 0$ 이어야 하며, Whittaker 차원이 너무 작을 경우 모순을 이끌어내어 $\pi$의 구조를 통제하는 것.

실험 결과

연구 질문

• RQ1 $\pi_1$과 $\pi_2$가 각각 $\mathrm{GL}_{n+1}(F)$와 $\mathrm{GL}_n(F)$의 일반 표현일 때, $i > 0$ 일 때 $\mathrm{Ext}^i_{\mathrm{GL}_n(F)}(\pi_1, \pi_2)$ 가 소멸하는가?
• RQ2 $\mathrm{GL}_{n+1}(F)$의 본질적으로 제곱-integral 표현이 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브가 되는 조건은 무엇인가?
• RQ3 미라보릭 부분군의 전치에 대한 왼쪽 미분을 포함한 Bernstein-Zelevinsky 미분 이론을 확장할 수 있으며, 이는 오른쪽 미분과 어떻게 상호작용하는가?
• RQ4 표현과 그 쌍대의 왼쪽 및 오른쪽 미분 간의 관계를 묘사하는 두 번째 동치 이sovomorphism이 존재하는가? 그리고 이는 $K_r$-고정점이 생성하는 표현에 대해 성립하는가?
• RQ5 표현의 Whittaker 모델 차원과 다른 표현과의 Ext군 차원 사이의 관계는 무엇인가?

주요 결과

• Dipendra Prasad의 추측, 즉 $\mathrm{Ext}^i_{\mathrm{GL}_n(F)}(\pi_1, \pi_2) = 0$ 가 $i > 0$ 일 때 $\pi_1$과 $\pi_2$가 각각 $\mathrm{GL}_{n+1}(F)$와 $\mathrm{GL}_n(F)$의 일반 표현일 경우 참임을 증명하였다.
• $\mathrm{GL}_n(F)$의 Gelfand-Graev 표현은 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브이며, 이는 Whittaker 함수수를 갖는 임의의 표현에 대해 고차수 Ext군이 소멸됨을 의미한다.
• $\mathrm{GL}_{n+1}(F)$의 모든 본질적으로 제곱-integral 표현은 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브이며, 이러한 표현들은 모두 $\mathrm{GL}_n(F)$-모듈로 동형이다.
• $K_r$-고정점이 생성하는 표현 $\pi$에 대해 두 번째 동치 이sovomorphism $(\pi^{(i)})^\vee \cong {}^{(i)}(\pi^\vee)$ 가 성립하며, 이는 증명의 핵심 기술적 도구이다.
• $\mathrm{GL}_{n+1}(F)$의 일반 표현 $\pi_1$을 $\mathrm{GL}_n(F)$로 제한하면 Bernstein-Zelevinsky 필터레이션을 가지며, 바닥 조각이 Gelfand-Graev 표현임을 보이고, 이 조각의 프로젝티브성으로 인해 고차수 Ext군이 소멸함을 유도한다.
• 증명은 $\pi_1$이 본질적으로 제곱-integral이면, $\mathrm{Ext}^i_{\mathrm{GL}_n(F)}(\pi_1, \pi_2) = 0$ 이 $i > 0$ 일 때 모든 $\pi_2$에 대해 성립함을 보여주며, 이는 $\pi_1$이 $\mathrm{GL}_n(F)$-모듈로서 프로젝티브이기 때문이다.