[논문 리뷰] Types for tame p-adic groups

Jessica Fintzen|arXiv (Cornell University)|2018. 10. 09.

Advanced Algebra and Geometry참고 문헌 25인용 수 12

한 줄 요약

이 논문은 $p$-adic 재수성 군 $G(k)$의 모든 매끄럽고 기약적인 복소수 표현이 키ム-유 방법을 통해 구성된 $ω$-형식을 포함하며, 모든 기약 초초급 표현이 유의 구성으로 유도된다는 것을 증명한다. 이는 $p$가 웨일 군의 순서를 나누지 않을 조건 하에서 성립하며, 비효율적이고 특성에 의존하는 이전 키ム의 결과를 개선하여, 양의 특성과 영 특성 모두에서 명시적이고 날카로운 $p$의 경계를 제공한다.

ABSTRACT

Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we show that every smooth irreducible complex representation of G(k) contains an $\mathfrak{s}$-type of the form constructed by Kim and Yu and that every irreducible supercuspidal representation arises from Yu's construction. This improves an earlier result of Kim, which held only in characteristic zero and with a very large and ineffective bound on p. By contrast, our bound on p is explicit and tight, and our result holds in positive characteristic as well. Moreover, our approach is more explicit in extracting an input for Yu's construction from a given representation.

연구 동기 및 목표

• 특성 0이나 큰 $p$의 가정 없이, 유형을 이용하여 $p$-adic 군의 매끄럽고 기약적인 복소수 표현을 분류하는 것.
• 키ム의 이전 초초급 표현 결과를 양의 특성으로 확장하고, $p$에 대한 명시적이고 날카로운 경계를 제공하는 것.
• 약한 희생성과 $p$-서로소 조건 하에서, $G(k)$의 모든 기약 매끄러운 표현이 키ム-유의 $ω$-형식을 포함한다는 것을 보여주는 것.
• 주어진 기약 표현에서 유의 구성의 입력 데이터를 추출하는 구조적이고 명시적인 방법을 제공하는 것.
• 조건 $p \nmid |W|$ 하에서, 유의 구성이 모든 초초급 표현을 고갈함을 확립하는 것.

제안 방법

• 표현을 관성 동치류 $\mathfrak{s}$를 통해 분류하기 위해 유형 이론과 버너스타인 분해를 사용한다.
• 주어진 표현에 대응하는 최대 데이터에 대해, 키움-유 방법을 통해 유형을 구성하는 튜플 $(\vec{G}, x, \vec{r}, \rho|_{K_{G_{n+1}}}, \vec{\phi})$를 적용한다.
• 유의 구성에 필요한 데이터를 구성하기 위해 군 내 거의 강력 안정성과 일반성 요소의 존재를 이용한다.
• 콤��� 근사에 의해 표현을 실현하기 위해 $\widetilde{K} = (G_{n+1})_{[x]}(G_n)_{x,r_n/2}\cdots(G_1)_{x,r_1/2}$ 위에서 $\widetilde{\rho}$ 를 구성한다.
• 푸에르비우스 수반성과 콤팩트 근사 표현의 기약성으로, 주어진 표현과 유의 구성 간의 동형을 보여준다.
• 감소한 브라하트-티츠 빌딩과 점의 안정자군을 이용하여 컴acts 열린 부분군을 정의하고, 구성과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 특성 $p$가 웨일 군의 순서를 나누지 않을 때, 희생성 $p$-adic 군의 모든 매끄럽고 기약적인 표현이 키움-유의 $ω$-형식을 포함하는가?
• RQ2 유의 구성이 동일한 조건 하에서 모든 기약 초초급 표현을 고갈할 수 있는가?
• RQ3 유의 방법으로 초초급 표현을 고갈하는 데 있어 조건 $p \nmid |W|$ 는 최적인가?
• RQ4 양의 특성에서 구성이 명시적이고 효과적으로 만들 수 있는가? 비효율적 경계를 피할 수 있는가?
• RQ5 주어진 기약 표현에서 유의 구성의 입력 데이터를 알고리즘적으로 어떻게 추출할 수 있는가?

주요 결과

• $G(k)$의 모든 매끄럽고 기약적인 복소수 표현은 키움과 유가 구성한 형식의 $ω$-형식을 포함한다.
• $p$가 웨일 군 $W$의 순서를 나누지 않을 때, $G(k)$의 모든 기약 초초급 표현은 유의 구성으로 유도된다.
• $p \nmid |W|$ 조건은 명시적이고 날카로우며, 키움의 비효율적이고 특성에 의존하는 경계를 개선한다.
• 결과는 영 특성과 양의 잔여 특성 모두에서 성립하며, 이는 이전 결과를 전체 일반성으로 확장한다.
• 구성은 임의의 기약 표현에 대해 최대 데이터를 정규적으로 연결하는 방법을 제공하여, 유의 방법의 입력 추출을 명시적으로 가능하게 한다.
• 표현이 초초급임과 동시에 그에 관련된 점 $x$가 최소 차원의 페탈이고 $Z(G_{n+1})/Z(G)$ 가 안티스포틱일 때이다.