[논문 리뷰] The local Langlands correspondence for GL(n) over p-adic fields

Torsten Wedhorn|ArXiv.org|2000. 11. 24.

Advanced Algebra and Geometry참고 문헌 37인용 수 8

한 줄 요약

이 논문은 p-진 필드 위의 GL(n)에 대한 국소 랭랜드 상응관계에 대한 종합적인 소개를 제공하며, GL(n,K)의 적절한 표현과 n차원 프로베니우스 준가역 웰-델리뉴 표현 사이의 전단사 관계를 상세히 기술한다. 이는 특수한 p-나누어지는 O-모듈의 변형 공간 위에서의 사라짐 순환을 통한 구성과 허리스-테일러 및 헨니아르의 기하적 방법을 이용한 상응관계의 증명을 포함한다.

ABSTRACT

This work is intended as an introduction to the statement and the construction of the local Langlands correspondence for GL(n) over p-adic fields. The emphasis lies on the statement and the explanation of the correspondence.

연구 동기 및 목표

• p-진 국소 필드 위의 GL(n)에 대한 국소 랭랜드 상응관계에 대한 상세한 서술을 제공하기 위해.
• GL(n,K)의 적절한 표현과 웰-델리뉴 표현 사이의 상응관계를 명확히 하기 위해.
• p-나누어지는 O-모듈과 사라짐 순환을 이용한 기하적 구성 방법을 설명하기 위해.
• 변형 이론과 강성 코hom로의 응용을 통해 L-함수와 ε-함수의 호환성을 확립하기 위해.
• 자동형 양식과 p-진 필드 위의 랭랜드 프로그램 분야에 진입하는 연구자들에게 기초 자료를 제공하기 위해.

제안 방법

• 논문은 p-나누어지는 O-모듈의 모듈리 공간과 관련된 형식 스킴의 코homology를 통해 상응관계를 구성한다.
• 특수한 p-나누어지는 O-모듈의 보편 변형 위에서의 사라짐 순환을 이용해 갈루아 표현을 정의한다.
• 이 방법은 베르코비치의 비교 정리에 기반하며, 스킴의 강성 코hom로와 형식 스킴 위의 사라짐 순환 간의 연결을 제공한다.
• 구성은 GL_h(O_K) × O^×_{D_{1/h}} × I_K의 작용을 코homology 군 Ψ^i_m 와 Ψ^i 에 포함한다.
• D×_{1/h}의 기약 적절한 표현을 이용해 Hom-공간 구성법을 통해 부분공간 Ψ^i(ρ)를 정의한다.
• GL(n) 측과 갈루아 측 양측에서 정의된 ε-함수를 활용하여 L-함수와 ε-함수의 호환성이 보장된다.

실험 결과

연구 질문

• RQ1 p-진 필드 위의 GL(n)에 대한 국소 랭랜드 상응관계는 어떻게 기하적으로 구성할 수 있는가?
• RQ2 p-나누어지는 O-모듈과 그 변형은 상응관계를 실현하는 데 어떤 역할을 하는가?
• RQ3 형식 스킴 위의 사라짐 순환은 어떤 식으로 L-함수와 호환되는 갈루아 표현을 제공하는가?
• RQ4 코homology 군 Ψ^i_m 와 Ψ^i 는 GL_h(O_K), O^×_{D_{1/h}}, 그리고 관성군 I_K 와 어떻게 호환되는 작용을 지닌다?
• RQ5 GL(n)-측과 갈루아 측 사이에서 L-함수와 ε-함수의 호환성은 어떻게 확립되는가?

주요 결과

• p-진 필드 위의 GL(n)에 대한 국소 랭랜드 상응관계는 기약 적절한 GL(n,K)-표현의 동형류와 n차원 프로베니우스 준가역 웰-델리뉴 표현 사이의 전단사 관계로서 실현된다.
• 코homology 군 Ψ^i_m 과 Ψ^i 는 유한차원 C-벡터 공간이며, 각각 I_K, GL_h(O_K), O^×_{D_{1/h}} 에 대해 연속적이고, 적절하며, 매끄러운 작용을 갖는다.
• 특수한 p-나누어지는 O-모듈의 보편 변형 위에서의 사라짐 순환은 필요한 갈루아 표현을 제공하며, 모든 i > h−1 에 대해 Ψ^i = 0 이다.
• 허리스-테일러의 시무라 다양체를 통한 구성은 상응관계의 기하적 실현을 보장하며, 전역 랭랜드 함수형성과의 호환성을 확보한다.
• 코homological 프레임워크 내에서 ε-함수를 활용함으로써, GL(n) 측과 갈루아 측 양측에서 정의된 L-함수와 ε-함수의 호환성이 보장된다.
• A_K = { (γ,δ,σ) ∈ GL_h(K) × D×_{1/h} × W_K | v_K(det γ) = v_K(Nrd δ) + v_K(Art_K^{-1}(σ)) } 의 Ψ^i 에 대한 작용은 잘 정의되어 있으며, 코homology 모듈의 구조를 유지한다.