[논문 리뷰] Generalized mu-ordinary Hasse invariants

Jean-Stefan Koskivirta, Torsten Wedhorn|arXiv (Cornell University)|2014. 06. 09.

Advanced Topology and Set Theory참고 문헌 23인용 수 10

한 줄 요약

이 논문은 양호한 균형을 가진 소수에서 히지드 유형의 쇤무라 다양체에 대해 군론적 구성법을 이용하여 일반화된 $\mu$-일반 해스 인버티언트를 제시한다. $G$-지프 스택을 활용하며, 해스 인버티언트를 허용하는 최소 거듭제곱 $N_{\mu}$에 대한 명시적 공식을 제공하고, 베이스 군의 에케다-오르트 스트라타와의 관계를 유니폼하고 명시적으로 확장한다.

ABSTRACT

We construct canonical Hasse invariants for arbitrary Shimura varieties of Hodge type for the mu-ordinary locus.

연구 동기 및 목표

• Hodge 유형의 쇤무라 다양체에서 양호한 균형 소수에서 $\mu$-일반 스트라타에 대한 표준 해스 인버티언트를 구성하는 것.
• 해스 인버티언트를 허용하는 최소 정수 $N_{\mu}$에 대한 명시적 공식을 제공하는 것, 이는 $N_{\mu}$-제곱의 허지 배ndl이 해스 인버티언트를 가질 수 있도록 하는 것이다.
• 웨일 제한된 재수정 군 $G$의 에케다-오르트 스트라타가 그 기초 군 $G_1$의 스트라타와 어떻게 관련되는지 밝히는 것.
• 디외드onné 모듈 이론에 의존하지 않는 새로운 군론적 접근법을 통해 해스 인버티언트를 제시하는 것.

제안 방법

• 무논-웨드혼과 핀크-웨드혼-지글러가 도입한 $G$-지프 스택 $\mathop{\text{$G$-{ t Zip}}} olimits^{\mu}$를 사용하여 에케다-오르트 스트라타를 매개화한다.
• 선다발 $\mathscr{V}(N_{\mu}\lambda)$ 위의 단면으로서 해스 인버티언트를 구성하며, 이들의 영이 정확히 $\mu$-일반 스트라타 $U_{\mu}$와 일치하도록 한다.
• $N_{\mu}$를 $N_{\mu}\lambda$가 ${\mathcal{Z}}$-편미로서 최소의 양의 정수로 정의하며, 이는 지프 데이터 ${\mathcal{Z}} = (G,P,L,Q,M,\varphi)$를 사용한다.
• PEL 유형의 경우, $L_0(\mathbb{F}_p)$의 아벨화와 그 캐릭터 군 $X^*(L_0(\mathbb{F}_p))$의 지수를 분석하여 $N_{\mu}$를 명시적으로 계산한다.
• 웨일 제한에 대해 $1 \to G_1 \to G \to \mathbb{G}_{m,\mathbb{F}_p} \to 1$의 정확한 수열이 분해됨을 이용하여 스트라타를 연결하고 $N_{\mu}$를 계산한다.
• 코homological 차원 1인 유한체 위에서 코homological 기법을 적용하여 $L_0(\mathbb{F}_p)$와 그 캐릭터 군의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 Hodge 유형의 쇤무라 다양체에서 $\mu$-일반 위치에 대해 해스 인버티언트를 허용하는 최소 거듭제곱 $N_{\mu}$는 무엇인가?
• RQ2 웨일 제한 $G = \operatorname{Res}_{\mathbb{F}_{p^r}/\mathbb{F}_p}(G')$의 에케다-오르트 스트라타는 기초 군 $G'$의 스트라타와 어떻게 관련되는가?
• RQ3 디외드onné 모듈 이론에 의존하지 않고도 $\mu$-일반 해스 인버티언트에 대해 유니폼하고 군론적인 구성법을 제시할 수 있는가?
• RQ4 어떤 재수정 군 $G$에 대해 해스 인버티언트가 $N_{\mu}$-제곱의 허지 배ndl 위에 존재하는가?

주요 결과

• 해스 인버티언트를 허용하는 최소 정수 $N_{\mu}$는 $G' = GL_n$인 경우 $p^r - 1$, $G' = U(n)$인 경우 $p^{2r} - 1$, $G' = Sp_{2g}$인 경우 $p^r - 1$로 명시적으로 계산된다.
• 해스 인버티언트는 $S_K$ 위의 선다발 $\omega^{N_{\mu}}$에서의 단면 $h_K \in H^0(S_K, \omega^{N_{\mu}})$로서 존재하며, 그 영이 정확히 $\mu$-일반 스트라타와 일치한다.
• 단면 $h_K$는 최소 컴actification $S_K^{\rm min}$로 유일하게 확장되며, 이 확장된 단면의 영이 아닌 부분이 그곳의 $\mu$-일반 스트라타를 정의한다.
• $G = \operatorname{Res}_{\mathbb{F}_{p^r}/\mathbb{F}_p}(G')$인 경우, $G$의 에케다-오르트 스트라타는 $G'$의 스트라타와 일대일 대응되며, 정확한 수열 $1 \to G_1 \to G \to \mathbb{G}_{m,\mathbb{F}_p} \to 1$을 통해 스트라타가 연결된다.
• 이 구성은 골드링-니콜리와 보크서의 유니터리 경우에서의 이전 결과와 일치하며, $N_{\mu} = p^{2r} - 1$은 그들의 명시적 계산과도 일치한다.
• 이전 연구에서 사용된 '오르빗적으로 $p$-근접' 조건이 필요로 하지 않아, 개방 스트라타에 대해 더 강력하고 더 명시적인 결과를 도출한다.