[논문 리뷰] Kirillov models and the Breuil-Schneider conjecture for GL_2(F)

Eran Assaf, David Kazhdan외 1명|arXiv (Cornell University)|2013. 02. 13.

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

한 줄 요약

이 논문은 GL₂(F)에 대한 Breuil-Schneider 추측을 두 경우에 대해 증명한다: 주로르드 표현의 특성가가 비분비적이고 무게가 낮을 때(n < q), 그리고 특성가가 온순하게 분비되고 대칭 표현이 자명할 때. 키릴로프 모델과 벡터 전개에서 계수에 대한 재귀적 추정을 사용하여, 국소적으로 대수적 표현에서 정수적 구조의 존재를 확립하며, 이는 이전의 매끄러운 표현에 대한 결과를 p-진 해석 기법을 통해 국소적으로 대수적 설정으로 확장한다.

ABSTRACT

Let F be a local field of characteristic 0. The Breuil-Schneider conjecture for GL_2(F) predicts which locally algebraic representations of this group admit an integral structure. We extend the methods of [K-dS12], which treated smooth representations only, to prove the conjecture for some locally algebraic representations as well.

연구 동기 및 목표

• 매끄러운 표현에만 적용된 [K-dS12]의 방법을 GL₂(F)의 국소적으로 대수적 표현으로 확장하기 위해.
• 주로르드 표현의 특성가가 비분비적 또는 온순하게 분비적이고 대수적 부분이 대칭 표현 또는 자명한 행렬식일 때, GL₂(F)에 대한 Breuil-Schneider 추측을 증명하기 위해.
• 키릴로프 모델의 명시적 분석과 계수 추정을 통해 기약 국소적으로 대수적 표현에서 정수적 구조의 존재를 확립하기 위해.
• p-진 국소 Langlands 대응이나 전역 방법에 의존하지 않는 직접적인 국소적 증명을 제공하기 위해.

제안 방법

• 주로르드 표현에 대해 키릴로프 모델을 구성하여, 이를 F 위의 컴actsupport 함수로 값이 대수적 표현 τ인 공간으로 표현한다.
• 키릴로프 모델의 벡터를 링크로 전개하고, 서로 다른 토르스 작용에 해당하는 성분 C_l'과 C_l''으로 계수를 분해한다.
• 보렐 부분군의 작용과 토르스의 구조를 이용하여 C_l'과 C_l''에 대한 재귀 관계를 유도하며, [K-dS12]의 기법을 적응한다.
• 무게와 분비 조건에 대한 가정을 바탕으로 p-진 추정을 적용하여 계수 C_l'과 C_l''의 성장률을 π^{-m}, λ, μ, τ(ε⁻¹)의 함수로 유계화한다.
• l에 대한 귀납법을 적용하여 계수가 항상 유계로 유지됨을 보여주어 표현에서 정수적 구조의 존재를 보장한다.
• 특수한 경우 χ₁ = ωχ₂는 재귀 관계를 수정하고, 동일한 조건 하에서 동일한 추정이 성립함을 보여, 고려된 모든 경우에 대한 증명을 완성한다.

실험 결과

연구 질문

• RQ1 특성가 χ₁, χ₂와 대수적 표현 τ에 어떤 조건이 성립할 때, GL₂(F)의 국소적으로 대수적 표현 ρ = τ ⊗ σ는 정수적 구조를 가질 수 있는가?
• RQ2 Breuil-Schneider 추측은 p-진 국소 Langlands 대응이나 전역 방법에 의존하지 않고 GL₂(F)에 대해 직접적으로 증명될 수 있는가?
• RQ3 키릴로프 모델은 GL₂(F)의 국소적으로 대수적 표현에서 정수적 구조 분석을 어떻게 지원하는가?
• RQ4 키릴로프 모델에서 계수 성장에 대한 어떤 재귀적 추정이 표현 공간에서 최소 정수적 구조의 존재를 보장하는가?
• RQ5 χ₁ = ωχ₂인 경우에도 동일한 방법이 동일한 유계성과 따라서 정수적 구조의 존재에 대한 동일한 결론을 도출하는가?

주요 결과

• χ₁와 χ₂가 비분비적이고 τ = det^m ⊗ Sym^n이며 n < q일 때, GL₂(F)에 대한 Breuil-Schneider 추측이 성립하며, 계수 추정을 통해 정수적 구조의 존재가 입증된다.
• χ₁, χ₂가 온순하게 분비적이고 τ = det^m일 경우, [K-dS12]보다 더 깔끔한 증명을 통해 추측이 증명되며, 정수적 구조의 존재가 확인된다.
• 키릴로프 모델 전개에서 계수 C_l'과 C_l''는 O(q^{-1}π^{-ml})의 순서 재귀 유계를 만족하여 표현이 최소 정수적 구조를 가짐을 보장한다.
• 특수한 경우 χ₁ = ωχ₂에서는 계수 재귀를 수정한 후에도 동일한 재귀 추정이 성립하므로, 이 경우에도 추측이 증명된다.
• 증명은 정수적 구조의 존재가 이러한 계수 수열의 유계성과 동치임을 보여주며, 국소적 p-진 해석 기준을 제공한다.
• 기약 국소적으로 대수적 표현에 대해, 정수적 구조의 존재는 대수적 부분의 분비와 무게, 그리고 중심 특성가 조건에 의해 결정됨을 확인한다.