[논문 리뷰] Existence of cuspidal representations of p-adic reductive groups

Arno Kret|arXiv (Cornell University)|2012. 05. 12.

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

한 줄 요약

이 논문은 비아르키메데스 현수체 위의 재수성 군에 대해 쿠스피달 복소 표현의 존재성을 증명한다. 델 라이즈-루스티그 이론을 활용하여 문제를 타원적 최대 토리에서 일반 위치에 있는 특성으로 환원한다. 주요 결과는 오랫동안 널리 알려진 민간 추측을 기하학적 및 군론적 방법을 통해 유한 리 유형 군에서 이러한 표현을 구성함으로써 확인한다.

ABSTRACT

We prove that any reductive group G over a non-Archimedean local field has a cuspidal complex representation.

연구 동기 및 목표

• 비아르키메데스 현수체 위의 임의의 재수성 군에 대해 쿠스피달 복소 표현의 존재성을 확립하는 것. 이는 오랫동안 민간 추측으로 여겨졌지만, 공식적인 발표된 증명이 없었다.
• 최대 파라호리 부분군의 재수성 몫을 분석하여 문제를 리 유형 군의 유한 군으로 환원하는 것.
• 유한 체 위의 모든 고전적 및 예외적 루트 체계에 대해 타원적 최대 토리에서 일반 위치에 있는 특성의 존재를 확인하는 것.
• 스플릿 및 비스플릿 고전적 군, 즉 유형 $^2A_n$, $^2D_n$, 및 $^3D_4$를 포함하여 이러한 특성의 존재를 확인함으로써 증명을 완성하는 것.
• 크기가 작은 잔여체와 큰 웨일 군을 가진 경우 발생할 수 있는 장애 요소를 명시적으로 해당 특성의 구성으로 극복하는 것.

제안 방법

• 리 유형 군의 유한 군에서 토리 $T$ 위의 유리 특성 $\theta$에 대해 가상 특성 $R_T^\theta$를 연결하기 위해 델 라이즈-루스티그 이론을 적용한다.
• 만약 $\theta$가 일반 위치에 있다면, 즉 웨일 군이 $\theta$에 자유롭게 작용한다면, $(-1)^{\sigma(G)-\sigma(T)}R_T^\theta$가 기약 표현 $\pi_T^\theta$로 올라간다는 기준을 사용한다.
• 만약 $T$가 타원적이고 $\theta$가 일반 위치에 있다면, $\pi_T^\theta$는 쿠스피달 임을 증명한다.
• 이러한 특성 $\theta$가 리 유형 군의 타원적 최대 토리에서 존재함을 확인하는 것으로 문제를 환원한다.
• 프로베니우스 작용과 웨일 군 $W_0$의 작용을 통해 유리 웨일 군 $W_T(k)$를 분석하고, 사상 $\varphi: W_0 \to \mathfrak{S}_n$을 사용하여 고정점을 결정한다.
• 특성 $\theta$가 일반 위치에 있음을 보이기 위해 $2e_n$이 $(w\Phi - 1)\Lambda$의 상에 있지 않음을 보여, 즉 $2e_n \pm 2e_r$가 $w\Phi - 1$의 상에 있지 않음을 확인한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 현수체 위의 모든 재수성 군은 쿠스피달 복소 표현을 갖는가?
• RQ2 유한 리 유형 군의 타원적 최대 토리에서 일반 위치에 있는 특성의 존재성으로 이러한 표현의 존재성을 환원할 수 있는가?
• RQ3 작은 잔여체가 존재하는 고전적 군의 경우에도 타원적 토리에서 항상 일반 위치에 있는 특성이 존재하는가?
• RQ4 비스플릿 군, 예를 들어 $^2D_n$과 같은 경우에 대해 유리 웨일 군 작용이 일반 위치에 있는 특성의 존재성에 어떤 영향을 미치는가?
• RQ5 작은 잔여체와 큰 웨일 군이 함께 존재할 경우 발생하는 장애 요소는 명시적인 특성 구성으로 극복할 수 있는가?

주요 결과

• 논문은 비아르키메데스 현수체 $F$ 위의 모든 재수성 군 $G$가 쿠스피달 복소 표현을 갖는다는 것을 증명하며, 이는 오랫동안 민간 추측으로 여겨졌던 결과를 확인한다.
• 유한 리 유형 군의 경우, 쿠스피달 표현의 존재성은 타원적 최대 토리에서 일반 위치에 있는 특성의 존재성과 동치이다.
• 모든 예외적 루트 체계($E_6$, $E_7$, $E_8$, $F_4$, $G_2$, 등)에서, 카터의 특성 표는 쿠스피달 유니폴턴트 특성의 양수 개 존재를 보여주며 존재성을 확인한다.
• 스플릿 고전적 군($A_n$, $B_n$, $C_n$, $D_n$)의 경우, 유리 웨일 군 분석과 프로베니우스 작용을 통해 일반 위치에 있는 특성의 존재가 입증된다.
• 비스플릿 군($^2A_n$, $^2D_n$)의 경우, $2e_n$이 $w\Phi - 1$의 상에 있지 않음을 보여, 일반 위치에 있음을 확인함으로써 이러한 특성의 존재가 확인된다.
• 모든 $r$에 대해 $2e_n \pm 2e_r \notin (w\Phi - 1)\Lambda$임을 검증함으로써 증명이 완성되며, 이는 작은 체에서 큰 웨일 군을 가진 경우에도 특성이 일반 위치에 있음을 의미한다.