[논문 리뷰] Swan conductors on the boundary of Lubin-Tate spaces

Stefan Wewers|ArXiv.org|2005. 11. 17.

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

한 줄 요약

이 논문은 p진 필드 위의 열린 단위 원판에 대한 유한 étale Galois 쌍대 덮개의 Swan 지표와 판별 지표를 계산하며, Galois 군이 GL₂(𝒪/ϖⁿ)인 차원 1의 Lubin-Tate 공간을 중심으로 다룬다. 핵심 결과는 경계점에서의 Swan 지표에 대한 정확한 공식으로, 이는 이러한 공간의 안정화 감소를 결정하는 데 핵심적인 역할을 하며, 국소 Langlands 대응 및 모듈라 곡선의 코homology에 대한 함의를 지닌다.

ABSTRACT

Lubin-Tate spaces of dimension one are finite etale covers of the non-archimedian open unit disk. We compute certain invariants which measure the ramification of this cover over the boundary of the disk.

연구 동기 및 목표

• p진 필드 위의 열린 단위 원판에 대한 유한 étale Galois 쌍대 덮개의 분기 정도를 측정하는 불변량을 계산하기 위해.
• 열린 원판의 경계에서 Lubin-Tate 타워의 Swan 지표와 판별 지표를 결정하기 위해.
• 특히 [20]의 작업 맥락에서 Lubin-Tate 공간의 안정화 감소를 위한 핵심 입력을 제공하기 위해.
• 이러한 분기 불변량을 통한 코homological 실현을 통해 국소 Langlands 대응을 뒷받침하기 위해.
• Lubin-Tate 공간의 파라볼릭 코hom로지에 나타나는 표현은 초초기표 표현뿐임을 증명하기 위해.

제안 방법

• 열린 원판의 안정화 감소를 묘사하기 위해, 표준 형식 모델 R[[T]]의 블로우업과 함께 반안정 형식 모델 이론을 사용한다.
• Huber와 Ramero의 지침에 따라, 강체 해석 공간 위의 미끄러운 층에 대한 Swan 지표 및 판별 지표의 체계를 적용한다.
• 고차 분기 군과 그 고정 부분공간을 통한 경계점에서의 분기 필터링을 분석한다.
• Ogg–Shafarevich 공식을 적용하여 Swan 지표와 컴acts지지 코hom로지 차원을 연결한다.
• Galois 군 작용 하에서 표현의 브레이크 분해를 사용하여 경계점에서의 Swan 지표를 계산한다.
• Frobenius 수반성과 유형 이론을 적용하여 코hom로지 불변량을 GL₂(F) 및 B×의 표현과 연결한다.

실험 결과

연구 질문

• RQ1 열린 단위 원판의 경계에서 X(ϖⁿ) → X(1)의 유한 étale Galois 쌍대 덮개에 대한 Swan 지표는 무엇인가?
• RQ2 p진 원판에서 반경 s에 대한 함수로서 Swan 지표와 판별 지표는 어떻게 행동하는가?
• RQ3 GL₂(F)의 어떤 기약 표현이 Lubin-Tate 공간의 파라볼릭 코hom로지에 나타나는가?
• RQ4 X(ϖⁿ)의 안정화 감소는 경계에서 계산된 분기 불변량과 어떻게 관련되는가?
• RQ5 이러한 경계 불변량을 사용하여 국소 Langlands 대응의 코hom로지 실현을 재구성할 수 있는가?

주요 결과

• Sheaf u_{n}(ε)의 유도 표현에 대응하는 Sheaf에 대해, 경계점에서의 Swan 지표는 −(q+1)q^{n−1}로 계산된다.
• Sheaf F가 u_{n}(ε)에 대응할 때, 파라볼릭 코호몰로지 H¹_p(X(1), F)는 0이 되며, 이는 이 경우 비자명한 코호몰로지가 존재하지 않음을 의미한다.
• 비초초기표 유형에 대해 코호몰로지가 0이 되므로, Lubin-Tate 공간의 파라볼릭 코호몰로지에 나타나는 표현은 초초기표 표현뿐임을 보여준다.
• GL₂(F)의 초초기표 표현 π의 Jacquet–Langlands 전이 차원은, 비분기일 경우 2q^{n−1}, 분기일 경우 (q+1)q^{n−2}이며, 이는 유형 이론적 기대와 일치한다.
• X(ϖⁿ)의 안정화 감소는 Swan 지표가 점프하는 임계값 s_i에 의해 결정되며, 이는 반안정 모델에서의 관련 디스크에 대응한다.
• 판별 지표 δ_F(s)는 볼록하고 연속적이며, 조각별 선형인 함수이며, 오른쪽 도함수는 −sw_F(s)와 같다.