Table of Contents
Fetching ...

Compactifications of subschemes of integral models of Hodge-type Shimura Varieties with Parahoric level structures

Shengkai Mao

TL;DR

The paper develops a comprehensive framework for well-positioned subschemes on the special fibers of Kisin-Pappas and Pappas-Rapoport integral models of Hodge-type Shimura varieties with connected parahoric level. It provides axiomatic compactifications, defines well-positioned subsets and Igusa-extended concepts, and proves that central leaves, Newton strata, KR, and EKOR strata (and their level-pullbacks) are well-positioned, with stable boundary behavior under Hecke actions and change of parahorics. By integrating Siegel embeddings, local model diagrams, and Hodge tensors, the authors obtain detailed boundary descriptions and affine partial compactifications for many strata, including the minimal EKOR and Igusa strata. The work generalizes prior results of Lan and Stroh to broader parahoric settings, enhances the boundary theory of EO/KR/EKOR strata in Hodge-type contexts, and establishes robust functoriality and compactification properties that are foundational for further geometric and arithmetic applications. The results have significant implications for understanding mod-p geometry of Shimura varieties and for the study of nearby cycles, stratifications, and torsor structures at the boundary, with concrete corollaries on affine boundary components and boundary independence from Siegel embeddings.

Abstract

We prove that central leaves, Igusa varieties, Newton strata, Kottwitz-Rapoport Strata, Ekedahl-Kottwitz-Oort-Rapoport strata on the special fiber of a Kisin-Pappas integral model of a Hodge-type Shimura variety with connected parahoric level structure are well-positioned, generalizing some work of Kai-wen Lan and Benoit Stroh.

Compactifications of subschemes of integral models of Hodge-type Shimura Varieties with Parahoric level structures

TL;DR

The paper develops a comprehensive framework for well-positioned subschemes on the special fibers of Kisin-Pappas and Pappas-Rapoport integral models of Hodge-type Shimura varieties with connected parahoric level. It provides axiomatic compactifications, defines well-positioned subsets and Igusa-extended concepts, and proves that central leaves, Newton strata, KR, and EKOR strata (and their level-pullbacks) are well-positioned, with stable boundary behavior under Hecke actions and change of parahorics. By integrating Siegel embeddings, local model diagrams, and Hodge tensors, the authors obtain detailed boundary descriptions and affine partial compactifications for many strata, including the minimal EKOR and Igusa strata. The work generalizes prior results of Lan and Stroh to broader parahoric settings, enhances the boundary theory of EO/KR/EKOR strata in Hodge-type contexts, and establishes robust functoriality and compactification properties that are foundational for further geometric and arithmetic applications. The results have significant implications for understanding mod-p geometry of Shimura varieties and for the study of nearby cycles, stratifications, and torsor structures at the boundary, with concrete corollaries on affine boundary components and boundary independence from Siegel embeddings.

Abstract

We prove that central leaves, Igusa varieties, Newton strata, Kottwitz-Rapoport Strata, Ekedahl-Kottwitz-Oort-Rapoport strata on the special fiber of a Kisin-Pappas integral model of a Hodge-type Shimura variety with connected parahoric level structure are well-positioned, generalizing some work of Kai-wen Lan and Benoit Stroh.

Paper Structure

This paper contains 62 sections, 130 theorems, 110 equations.

Key Result

Theorem 1.1

Let $\mathscr{S}_{K}(G, X)$ be a Kisin-Pappas integral model of a Hodge-type Shimura variety with connected parahoric level structure, then Newton strata, central leaves, KR strata, EKOR strata and their connected components and corresponding pullbacks to any higher level are well-positioned.

Theorems & Definitions (244)

  • Theorem 1.1: Propositions \ref{['proposition: newton strata are well-positioned']}, \ref{['proposition: central leaves are well--positioned']}, \ref{['prop: KR strata are well-positioned']}, \ref{['prop: EKOR are well-positioned']}
  • Theorem 1.2: Propositions \ref{['prop: Newton central are well-posiitoned, PR']}, \ref{['prop: KR strata are well-positioned']}
  • Proposition 1.3: Proposition \ref{['proposition: newton strata are well-positioned']}, \ref{['proposition: central leaves are well--positioned']}, \ref{['prop: Newton central are well-posiitoned, PR']}
  • Proposition 1.4: Proposition \ref{['lemma: pullback of well-positioned is well-positioned']}, \ref{['proposition: open-closed subschemes are well positioned']}
  • Corollary 1.5
  • Proposition 1.6: \ref{['prop: Igusa varieties are well-positioned']}, \ref{['cor: min Igusa are affine']}, \ref{['cor: Ig tor closed embedding']}, \ref{['prop: pink to Igusa varieties']}
  • Corollary 1.7: Corollary \ref{['cor: minimal EKOR has zero dim']}, \ref{['corollary: Hoften 3.7.5 removed']}
  • Proposition 1.8: Proposition \ref{['prop: extension of pullback, well-positioned']}
  • Corollary 1.9: Corollary \ref{['cor: central leaves extends, levels']}, \ref{['cor: EKOR extends, level']}
  • Theorem 1.10: mao2025boundary
  • ...and 234 more