[논문 리뷰] Endomorphism algebras of admissible p-adic representations of p-adic Lie groups

Gabriel Dospinescu, Benjamin Schraen|arXiv (Cornell University)|2011. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 6

한 줄 요약

이 논문은 p-진 리 군의 기약 적응 가능한 p-진 바나흐 공간 및 국소 해석적 표현에 대해 슈어의 보조정리를 확립하며, 그들의 내자 대수들이 기저 체 위에서 유한 차원의 단위체임을 증명한다. 주요 결과는 슈어의 보조정리를 p-진 설정으로 확장하여 p-진 표현 이론에서 오랫동안 남아 있던 격차를 메우며, p-진 랭글랜드 프로그램 내에서 더 깊은 구조 분석을 가능하게 한다.

ABSTRACT

Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the endomorphism algebra of an irreducible admissible representation.

연구 동기 및 목표

• p-진 리 군의 기약 적응 가능한 바나흐 공간 및 국소 해석적 표현에 대해 p-진 설정에서 슈어의 보조정리를 확립한다.
• 기본 체 L 위에서 기약 적응 가능한 표현의 내자 대수가 유한 차원의 단위체임을 증명한다.
• 모든 기약 적응 가능한 표현은 유한 갈루아 확장 L′/L를 거쳐 L′ 위에서 절대 기약 표현들의 유한 직합으로 분해됨을 보여준다.
• 내자 대수에 대한 구조적 질문을 해결하여 p-진 랭글랜드 상응관계의 기초 도구를 제공한다.

제안 방법

• 기본 체 L 위의 거의 교환 법칙을 가진 아핀로이드 L-대수에 대한 쿠일렌의 보조정리에 관한 아르다코프와 워드슬리의 최근 결과를 활용한다.
• PI-단위체에 관한 캄프스키의 정리를 적용하여 내자 대수의 유한성 추론한다.
• 베르의 보조정리를 사용하여 Qp 위에서 가산 차원을 가진 프리셰 대수는 유한 차원임을 증명한다.
• 콤���트 열린 부분군 H에 대해 적응 가능한 국소 해석적 표현과 공적응 가능한 D(H,L)-모듈 간의 쌍대성에 의존한다.
• 이중 공간 위의 내자 대수의 바나흐 대수들의 반대극한을 통해 내자 대수에 프리셰 대수의 구조를 구성한다.
• Π에 대한 End_{L[G]}(Π)과 그 이중 공적응 모듈의 내자 대수의 반대 대수 사이의 표준 동형을 사용한다.

실험 결과

연구 질문

• RQ1 기본 체 L 위에서 p-진 리 군의 기약 적응 가능한 p-진 바나흐 공간 표현에 대해 슈어의 보조정리가 성립하는가?
• RQ2 기본 체 L 위에서 기약 적응 가능한 표현의 내자 대수가 유한 차원인가?
• RQ3 모든 기약 적응 가능한 표현은 유한 갈루아 확장 L′/L를 거쳐 L′ 위에서 절대 기약 표현들의 유한 직합으로 분해되는가?
• RQ4 절대 기약 바나흐 표현에서 국소 해석적 벡터의 공간은 유한 길이를 가지며 내자 대수가 자명한가?

주요 결과

• Qp-해석적 군의 모든 기약 적응 가능한 바나흐 공간 또는 국소 해석적 표현의 내자 대수는 기저 체 L 위에서 유한 차원의 단위체이다.
• 기본 체 L 위에서 기약 적응 가능한 표현은 그 내자 대수가 정확히 L일 때에만 절대 기약 표현이다.
• 유한 갈루아 확장 L′/L를 거쳐 모든 기약 적응 가능한 표현은 L′ 위에서 절대 기약 표현들의 유한 직합으로 분해된다.
• 내자 대수는 자연스럽게 프리셰 대수이며, 그 유한성은 베르의 보조정리와 PI-대수에 관한 캄프스키의 정리로부터 유도된다.
• 이 결과는 절대 기약 적응 가능한 표현이 중심 문자를 가지며, 국소 해석적 경우에서는 무한소 문자를 가짐을 시사한다.
• 증명은 이러한 표현의 모든 내자 사상이 L 위에서 대수적임을 보여주며, 핵심적인 기술적 단계이다.