[논문 리뷰] Specialization of $F$-Zips

Torsten Wedhorn|ArXiv.org|2005. 07. 08.

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

한 줄 요약

이 논문은 재수정된 군 다양체에서 한 $F$-zip 궤도가 다른 궤도의 폐포에 포함되는지를 결정하는 조합론적 기준을 제시한다. 이는 de Concini-Procesi의 놀라운 콪팩티피케이션의 프로베니우스-선형 변형을 사용한다. 주요 결과는 웨일 군과 프로베니우스 자기동형사상이 포함된 왜곡된 브라우엣 순서를 통해 폐포 관계를 수립하며, 이는 주로 극소적 편향된 아벨 다양체의 모듈리 공간에서 에케다-오르트 스트라타를 분류하는 데 응용된다.

ABSTRACT

In \cite{MW}, B. Moonen and the author defined a new invariant, called $F$-Zips, of certain varieties in positive characteristics. We showed that the isomorphism classes of these invariants can be interpreted as orbits of a certain variety $Z$ with an action of a reductive group $G$. In loc. cit. we gave a combinatorial description of the set of these orbits. In this manuscript we give an explicit combinatorial recipe to decide which orbits are in the closure of a given orbit. We do this by relating $Z$ to a semi-linear variant of the wonderful compactification of $G$ constructed by de Concini and Procesi. As an application we give an explicit criterion of the closure relation for Ekedahl-Oort strata in the moduli space of principally polarized abelian varieties.

연구 동기 및 목표

• 재수정된 군 $G$와 단순 반사의 부분집합 $J$와 관련된 다양체 $Z_{G,J}$에서 $F$-zip 궤도 간의 폐포 관계를 결정하기 위해.
• F-zip 동형류의 조합론적 분류를 전파 행동, 즉 어떤 궤도가 다른 궤도의 폐포에 포함되는지를 포함하도록 확장하기 위해.
• 폐포 기준을 주로 극소적 편향된 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$에서의 에케다-오르트 스트라티피케이션에 적용하기 위해.
• 에케다-오르트 스트라타가 다른 스트라타의 폐포에 포함되는 정확하고 계산 가능한 조건을 제공하여 분야 내 열린 문제를 해결하기 위해.

제안 방법

• de Concini-Procesi의 놀라운 콪팩티피케이션의 $(G \times G)$-궤도에 대한 프로베니우스-선형 변형으로부터 $Z_{G,J}$ 에 $G \times G$--equivariant이고 smooth하며 전사인 사상 $Z_{G,J} \to \text{Frobenius-linear variant}$ 를 구성하기 위해.
• 놀라운 콪팩티피케이션에서 $(B \times B)$-궤도의 알려진 폐포 관계를 이용하여 $Z_{G,J}$ 에서의 폐포 관계를 유도하기 위해. 이는 $(B \times B)$-궤도와 $G$-궤도 사이의 이분법적 대응을 활용한다.
• ${}^J W$ 집합 위에 부분순서를 정의하기 위해 조건 $u^{-1} w \delta(u) \leq w'$ 를 사용한다. 여기서 $\delta(u) = x F(u) x^{-1}$ 이고 $x = w_0^J$ 는 $W^J$ 의 최대 원소이다.
• 모듈리 공간 $\mathcal{A}_g$ 에서의 에케다-오르트 스트라타와 $G$-궤도 $Z_{G,J}^w$ 를 충실하게 평탄한 사상 $\pi: \mathcal{A}_g \to [G \backslash Z_{G,J}]$ 를 통해 연결한다. 이 사상은 스트라타와 $F$-zip 궤도 사이의 이분법적 대응을 유도한다.
• 모든 $w'$ 가 왜곡된 브라우엣 부등식을 만족할 때, $G$-궤도 $Z_{G,J}^w$ 의 폐포가 $Z_{G,J}^{w'}$ 의 합집합임을 증명한다.
• 일반 폐포 기준을 $G = \mathrm{Sp}_{2g}$, $J$ 가 시겔의 포물선의 유형인 경우에 적용하여, $\mathcal{A}_g$ 에서의 에케다-오르트 스트라타에 대한 기준을 도출한다.

실험 결과

연구 질문

• RQ1 어느 $F$-zip 궤도가 다양체 $Z_{G,J}$ 에서 다른 궤도로 전이되는가? 그리고 이러한 폐포 관계에 대한 정확한 조합론적 조건은 무엇인가?
• RQ2 웨일 군과 프로베니우스 작용을 사용하여 $Z_{G,J}$ 에서의 $G$-궤도의 폐포 관계는 어떻게 묘사할 수 있는가?
• RQ3 에케다-오르트 스트라티피케이션은 웨일 군과 프로베니우스 변형을 기반으로 한 조합론적 폐포 규칙으로 완전히 묘사될 수 있는가?
• RQ4 시무라 다양체의 PEL 유형에 대해, 스트라타의 폐포를 군론적 자료로 일관되게 결정할 수 있는 방법이 있는가?

주요 결과

• 다양체 $Z_{G,J}$ 에서 $G$-궤도 $Z_{G,J}^w$ 의 폐포는 $u \in W_J$ 가 존재하여 $u^{-1} w \delta(u) \leq w'$ 를 만족하는 모든 $Z_{G,J}^{w'}$ 의 합집합이다. 여기서 $\delta(u) = x F(u) x^{-1}$ 이고 $x = w_0^J$ 이다.
• $F$-zip 궤도의 폐포 관계는 프로베니우스 자기동형사상과 웨일 군 작용이 포함된 왜곡된 브라우엣 순서에 의해 완전히 결정된다.
• 사상 $\pi: \mathcal{A}_g \to [G \backslash Z_{G,J}]$ 는 충실하게 평탄하므로, $Z_{G,J}$ 에서의 폐포 관계가 모듈리 공간 $\mathcal{A}_g$ 로 옮겨진다.
• $\mathcal{A}_g$ 에서의 에케다-오르트 스트라타는 ${}^J W$ 로 매개변수화되며, 스트라타 $\mathcal{A}_g^w$ 의 폐포는 $u^{-1} w \delta(u) \leq w'$ 를 만족하는 모든 $\mathcal{A}_g^{w'}$ 의 합집합이다. 여기서 $\delta(u) = w_{0,J} u w_{0,J}$ 이다.
• 이 결과는 에케다-오르트 스트라티피케이션에서 스트라타 포함 관계에 대한 완전하고 명시적인 기준을 제공하며, [EMO]에서 제기된 열린 문제를 해결한다.
• 이 방법은 다른 PEL 유형의 시무라 다양체로 일반화되며, $F$-zip과 군 작용을 통한 스트라티피케이션 연구를 위한 통일된 프레임워크를 제공한다.