[논문 리뷰] On l-independence for the etale cohomology of rigid spaces over local fields

Yoichi Mieda|arXiv (Cornell University)|2006. 01. 05.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 국소체 위의 린드스키 공간에 대한 컴팩트 지지 임의의 ℓ-진 cohomology 위에서 Weil 군 작용의 교차 합의 추적의 ℓ-독립성을 두 조건 하에 확립한다: 린드스키 공간이 기저 체 위에서 매끄럽거나 기저 체의 특성수가 0일 경우. 증명은 Saito의 대응관계에 관한 기법, Fujiwara의 추적 공식, Huber의 유한성 정리와 함께, 주로 인접 사이클 cohomology와 de Jong의 변화를 활용하여 일반적인 경우에 ℓ-독립성을 달성한다.

ABSTRACT

We investigate the action of the Weil group on the compactly supported l-adic etale cohomology groups of rigid spaces over a local field. We prove that the alternating sum of the traces of the action is an integer and is independent of l when either the rigid space is smooth or the characteristic of the base field is equal to 0. We modify the argument of T. Saito to prove a result on l-independence for nearby cycle cohomology, which leads to our l-independence result for smooth rigid spaces. In the general case, we use the finiteness theorem of R. Huber, which requires the restriction on the characteristic of the base field.

연구 동기 및 목표

• 국소체 위의 린드스키 공간에 대한 컴팩트 지지 임의의 ℓ-진 cohomology 위에서 Weil 군 작용의 교차 합의 추적의 ℓ-독립성을 확립한다.
• 기존의 ℓ-독립성 결과를 스킴의 설정에서 린드스키 해석 기하학의 설정으로 확장한다.
• 린드스키 공간이 매끄럽거나 기저 체의 특성수가 0일 경우 추적이 ℓ에 관계없이 정수임을 증명한다.
• 부분적으로 지지된 cohomology와 근처 사이클을 통해 비준거 린드스키 공간을 다루기 위한 도구를 개발한다.
• 근처 사이클 cohomology에 대한 스펙트럴 시퀀스 기법을 일반화하여, 준거가 없을 경우의 ℓ-독립성을 지원한다.

제안 방법

• Weil 원소의 복합 작용과 대응관계를 다루기 위해 Saito의 방법을 수정하여 비준거 린드스키 공간을 다룬다.
• Fujiwara의 추적 공식을 적용하여 대응관계 작용에 의한 cohomology의 추적에서 ℓ-독립성을 유도한다.
• 부분적으로 지지된 cohomology를 도입하여 사이클 사상과 국소화된 채르니 캐릭터스터를 사용해 비준거 공간 위의 cohomology 작용을 묘사한다.
• 근처 사이클 cohomology로 수렴하는 스펙트럴 시퀀스를 구성하며, Saito와 Rapoport-Zink의 무게 스펙트럴 시퀀스를 일반화한다.
• de Jong의 변화를 사용하여 일반적인 경우를 양호한 감소의 경우로 감소시키며, 귀납을 통해 ℓ-독립성을 가능하게 한다.
• 특성수가 0인 경우에 cohomology의 Huber의 유한성 정리를 활용하여 차원에 대한 귀납을 지원한다.

실험 결과

연구 질문

• RQ1 국소체 위의 린드스키 공간에 대한 컴팩트 지지 임의의 ℓ-진 cohomology 위에서 Weil 군 작용의 교차 합의 추적이 ℓ에 독립적인가?
• RQ2 비매끄럽거나 비준거 린드스키 공간에 대해서도 ℓ-독립성이 확립될 수 있는가?
• RQ3 준거성이나 매끄러움이 없을 경우 cohomology 위에서 Weil 군 작용은 어떻게 행동하는가?
• RQ4 근처 사이클에 대한 스펙트럴 시퀀스는 린드스키 기하학에서 ℓ-독립성을 증명하는 데 어느 정도 활용될 수 있는가?
• RQ5 변화의 방법을 린드스키 cohomology의 맥락에서 ℓ-독립성을 증명하기 위해 적응시킬 수 있는가?

주요 결과

• 린드스키 공간이 기저 체 위에서 매끄럽다면, 컴팩트 지지 임의의 ℓ-진 cohomology 위에서 Weil 군 작용의 교차 합의 추적은 ℓ에 관계없이 정수이다.
• 기저 체의 특성수가 0이라면, 린드스키 공간이 매끄럽지 않더라도 동일한 ℓ-독립성이 성립한다.
• 증명은 스펙트럴 시퀀스와 de Jong의 변화를 통해 확립된 근처 사이클 cohomology의 ℓ-독립성에 기반한다.
• 부분적으로 지지된 cohomology와 정밀화된 사이클 사상은 대응관계 작용을 비준거 공간으로 확장할 수 있게 한다.
• 결과는 스킴에 대한 Ochiai의 ℓ-독립성 결과를 린드스키 해석 기하학 설정으로 일반화한다.
• Huber의 특성수 0에서의 유한성 정리를 사용한 차원에 대한 귀납을 통해 추적이 정수이자 ℓ-독립적임을 보였다.