[논문 리뷰] The SL(2)-type and Base Change

Omer Offen, Eitan Sayag|ArXiv.org|2008. 08. 25.

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

한 줄 요약

이 논문은 국소 랭랜즈 상호작용 맵을 사용하여 p-진 필드 F 위의 GL_n의 모든 미세하고 기약 표현으로 Venkatesh의 SL(2)-형식 개념을 유니타리 표현에서 일반화한다. 기저 변경이 SL(2)-형식을 유지함을 증명하고, 그 결과로 Klyachko 모델(특히 심플렉틱 구별성 포함)도 임의의 유한 확장에서 기저 변경에 대해 유지됨을 보이며, 기존의 심플렉틱 구별성 결과를 일반화한다.

ABSTRACT

The SL(2)-type of any smooth, irreducible and unitarizable representation of GL(n) over a p-adic field was defined by Venkatesh. We provide a natural way to extend the definition to all smooth and irreducible representations. For unitarizable representations we show that the SL(2)-type of a representation is preserved under base change with respect to any finite extension. The Klyachko model of a smooth, irreducible and unitarizable representation πof GL(n) depends only on the SL(2)-type of π. As a consequence we observe that the Klyachko model of πand of its base-change are of the same type.

연구 동기 및 목표

• p-진 필드 F 위의 GL_n(F)의 모든 미세하고 기약 표현으로 SL(2)-형식의 정의를 유니타리 표현에서 일반화하는 것.
• 임의의 유한 확장 E/F에 대해, GL_n(F)의 미세하고 기약적이며 유니타리인 표현 π에 대한 기저 변경 bc_{E/F}(π)가 π의 SL(2)-형식을 유지함을 확립하는 것.
• SL(2)-형식에만 의존하는 표현 π의 Klyachko 모델 형식이 기저 변경에 의해 유지됨을 보이는 것.
• 이전의 Klyachko 모델 결과—특히 심플렉틱 구별성—을 SL(2)-형식 프레임워크를 사용해 재해석하는 것.
• 임의의 유한 확장 E/F에 대해, 표현 π가 Sp_{2n}(F)에 의해 구별됨과 그 기저 변경 bc_{E/F}(π)가 Sp_{2n}(E)에 의해 구별됨이 동치임을 보이는 것.

제안 방법

• 국소 랑랜즈 상호작용 맵을 사용하여 GL_n(F)의 표현을 웰-델리뉴 표현으로 올리고, 이로 인해 유니타리 표현을 초월한 자연스러운 SL(2)-형식의 확장을 가능하게 한다.
• 표현 π의 SL(2)-형식을, 국소 랑랜즈 상호작용 맵을 통해 π에 대응하는 웰-델리뉴 표현에서의 단조성 연산자의 조르당 분해에 관련된 분할로 정의한다.
• 상호작용 맵을 적용하여 기저 변경을 웰-델리뉴 표현에서의 제한의 '거울상'으로 정의한다: bc_{E/F}(π)는 π의 웰-델리뉴 표현을 W_E로 제한한 것으로 대응한다.
• 상호작용 맵이 제한과 호환됨을 이용하여, P_F(rec_F(π)) = P_E(rec_E(bc_{E/F}(π)))임을 보여 기저 변경에 따른 SL(2)-형식의 유지성을 증명한다.
• 타디치의 유니타리 이중체 분류를 활용하여 표현을 세그먼트로 표현하고, SL(2)-형식과 Klyachko 형식에 대한 공식을 유도한다.
• SL(2)-형식의 홀수 부분 수에 의해 결정되는 Klyachko 형식 (r(π), 2k(π))의 성질을 이용하여, r(π) = odd(𝒱(π))이 되며, 이로 인해 기저 변경에 대해 불변임을 보인다.

실험 결과

연구 질문

• RQ1 원래는 유니타리 표현에서만 정의된 SL(2)-형식이, GL_n(F)의 모든 미세하고 기약 표현으로 자연스럽게 확장될 수 있는가?
• RQ2 유한 확장 E/F에 대해, GL_n(F)의 미세하고 기약적이며 유니타리인 표현 π에 대한 기저 변경이 SL(2)-형식을 유지하는가?
• RQ3 Klyachko 모델—특히 심플렉틱 구별성—은 표현의 SL(2)-형식에 얼마나 의존하는가?
• RQ4 표현 π가 Sp_{2n}(F)에 의해 구별됨과 그 기저 변경 bc_{E/F}(π)가 Sp_{2n}(E)에 의해 구별됨이 동치인가?
• RQ5 이전의 Klyachko 모델 결과들은 SL(2)-형식 프레임워크를 사용해 재해석되고 일반화될 수 있는가?

주요 결과

• 모든 미세하고 기약 표현 π에 대해, 국소 랑랜즈 상호작용 맵을 통해 π의 웰-델리뉴 실현에서 단조성 연산자의 분할과 관련된 분할을 할당함으로써 SL(2)-형식이 확장된다.
• 임의의 유한 확장 E/F에 대해, GL_n(F)의 미세하고 기약적이며 유니타리인 표현 π의 기저 변경 bc_{E/F}(π)는 π와 동일한 SL(2)-형식을 갖는다.
• π의 Klyachko 형식 (r(π), 2k(π))는 기저 변경에 의해 유지되며, r(π) = odd(𝒱(π))이고 𝒱(π)는 SL(2)-형식이다.
• GL_{2n}(F)의 모든 미세하고 기약적이며 유니타리인 표현 π는 임의의 유한 확장 E/F에 대해 Sp_{2n}(F)-구별됨과 그 기저 변경 bc_{E/F}(π)가 Sp_{2n}(E)-구별됨이 동치이다.
• 증명은 웰-델리뉴 표현의 제한에 따른 단조성 연산자의 분할이 불변임을 보여 기저 변경에 따른 SL(2)-형식의 불변성을 암시한다.
• 결과는 이전의 심플렉틱 구별성 결과를 일반화하며, 기저 변경에 의한 구별성 유지가 SL(2)-형식의 불변성에 기인함을 보여준다.