[논문 리뷰] On the Hodge-Newton filtration for p-divisible O-modules

Elena Mantovan, Eva Viehmann|ArXiv.org|2007. 10. 23.

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

한 줄 요약

이 논문은 $p$-adic 환 위에서 $\mathcal{O}_B$-모듈로의 $p$-분할 가능성을 갖는 엔도모르피즘 구조를 가진 Hodge-Newton 필터링을 일반화한다. 이와 함께 $\sigma$-불변 Hodge 다각형을 도입하고, 뉴턴 다각형과 Hodge 다각형을 연결하는 조건 하에서 표준 필터링의 존재를 증명한다. 주요 기여는 보편 변형 공간에서 필터링을 올리기 위한 기준을 제시하는 것으로, 카츠와 무텐의 고전적 결과를 $\mathcal{O}_B$-모듈로 설정으로 확장한다.

ABSTRACT

The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-étale filtration for p-divisible groups. Recently, some of Katz's classical results have been generalized by Kottwitz to the context of F-crystals with additional structures and by Moonen to $μ$-ordinary p-divisible groups. In this paper, we discuss further generalizations to the situation of crystals in characteristic p and of p-divisible groups with additional structure by endomorphisms.

연구 동기 및 목표

• F-Crystal 이론에서 $F$-crystals 에서부터 $p$-분할 가능 $\mathcal{O}_B$-모듈로의 Hodge-Newton 필터링 이론을 확장한다.
• Frobenius 작용 하에서의 Hodge 다각형의 개선으로서 $\sigma$-불변 Hodge 다각형을 정의하고 연구한다.
• p-분할 가능 $\mathcal{O}_B$-모듈로의 보편 변형에서 Hodge 필터링이 올라가는 조건을 설정한다.
• 카츠와 무텐의 고전적 결과를 $\mathcal{O}_B$-모듈로 설정으로 일반화하며, 특히 $\mu$-일반적 및 $\sigma$-불변 필터링의 맥락에서 다룬다.

제안 방법

• $\mathcal{O}_B$-모듈로의 $\sigma^a$-F-Crystal을 $\mathcal{O}_B$-작용, 접선, 프로베니우스, $\sigma^a$-교환 법칙이 모두 호환되는 튜플 $(M, \nabla, F, \iota)$로 정의한다.
• Galois 불변 Hodge 자료를 캡처하기 위해 $\sigma$-불변 Hodge 다각형 $\overline{\mu} = \frac{1}{r}\sum_{i=0}^{r-1} \sigma^i(\mu)$을 도입한다.
• 그로텐디크-메싱 변형 이론을 사용하여 형식적 거듭제곱 다항식 환 $A = W(k)[[u^{(i)}_{l,m}]]$ 위에서 $p$-분할 가능 $\mathcal{O}_B$-모듈로의 보편 변형을 구성한다.
• Dieudonné 모듈로에 작용하는 행렬 $g_{\text{univ}}$를 통해 보편 변형을 명시적으로 묘사하며, 매개변수 $u^{(i)}_{l,m}$를 사용해 조건부로 정의된 항목 $x_{a,b}^{(i)}$를 포함한다.
• Hodge 필터링이 올라간다는 것을 보이기 위해, 뉴턴 다각형 $\nu$와 $\overline{\mu}$가 특정 절단점까지 일치할 경우, 보편 변형이 $F$-작용과 $M_1$ 상의 접선을 유지함을 증명한다.
• 대칭성을 적용하여, $\nu$와 $\overline{\mu}$가 특정 절단점 이후로 일치하는 경우에도 필터링의 올림 결과를 확장한다.

실험 결과

연구 질문

• RQ1 p-분할 가능 $\mathcal{O}_B$-모듈로의 Hodge 필터링이 보편 변형으로 올라가는 조건은 무엇인가?
• RQ2 Galois 군 $\text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ 는 $\sigma^a$-F-Crystal의 Hodge 다각형과 뉴턴 다각형에 어떻게 작용하는가?
• RQ3 $\sigma$-불변 Hodge 다각형 $\overline{\mu}$ 는 Hodge-Newton 필터링 존재성을 특징짓는 데 어떤 역할을 하는가?
• RQ4 Hodge 필터링이 올라가기 위해 $\nu$와 $\overline{\mu}$가 절단점까지 일치해야 하는 이유는 무엇인가?

주요 결과

• $\sigma$-불변 Hodge 다각형 $\overline{\mu}$ 는 잘 정의되어 있으며 $\nu \preceq \overline{\mu}$ 를 만족하여 고전적 Hodge-Newton 조건을 일반화한다.
• Hodge 필터링이 보편 변형으로 올라가기 위한 필요충분조건은 뉴턴 다각형 $\nu$와 $\sigma$-불변 Hodge 다각형 $\overline{\mu}$ 가 특정 절단점까지 일치하는 것이다.
• $M_1^{(i)}$ 가 어떤 $i$ 에 대해 $(M^0)^{(i)}$ 에 포함되지 않으면, 이는 $g_{\text{univ}}$-불변성의 붕괴를 초래하므로 필터링의 올림이 실패한다.
• Hodge 다각형과 뉴턴 다각형이 절단점까지 일치할 경우, 접선 $\nabla$ 는 부분 래티스 $\mathcal{M}_1$ 에 제한되며, 이는 변형 구조와의 호환성을 보장한다.
• 해당 주기 공간의 차원이 조건이 필수적임을 확인함으로써, $\nu$와 $\overline{\mu}$ 의 조건이 잘못되면 모듈리 공간의 차원이 잘못됨을 증명한다.
• Moonen의 $\mu$-일반적 필터링 올림 정리가 $\mathcal{O}_B$-모듈로 설정으로 확장되며, 이 경우 $\sigma$-불변 Hodge 다각형이 $\mu$-일반적 다각형의 역할을 한다.