The integral Hodge polygon for $p$-divisible groups with endomorphism structure

Stéphane Bijakowski,Andrea Marrama
DOI: https://doi.org/10.2140/tunis.2024.6.189
2024-07-02
Abstract:Let $p$ be a prime number, let $\mathcal{O}_F$ be the ring of integers of a finite field extension $F$ of $\mathbb{Q}_p$ and let $\mathcal{O}_K$ be a complete valuation ring of rank $1$ and mixed characteristic $(0,p)$. We introduce and study the "integral Hodge polygon", a new invariant of $p$-divisible groups $H$ over $\mathcal{O}_K$ endowed with an action $\iota$ of $\mathcal{O}_F$. If $F|\mathbb{Q}_p$ is unramified, this invariant recovers the classical Hodge polygon and only depends on the reduction of $(H,\iota)$ to the residue field of $\mathcal{O}_K$. This is not the case in general, whence the attribute "integral". The new polygon lies between Fargues' Harder-Narasimhan polygons of the $p$-power torsion parts of $H$ and another combinatorial invariant of $(H,\iota)$ called the Pappas-Rapoport polygon. Furthermore, the integral Hodge polygon behaves continuously in families over a $p$-adic analytic space.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
### What problems does this paper attempt to solve? The main objective of this paper is to introduce and study a new invariant - the **integral Hodge polygon**, which is applicable to \(p\)-divisible groups \(H\) with endomorphism structures. Specifically, the paper addresses the following problems: 1. **Definition and properties**: The author defines the integral Hodge polygon \(\text{Hdg}_{\text{int}}(H, \iota)\), which is a new invariant that describes the action of a uniformizer \(\pi\) of \(O_F\) on the invariant differential form \(\omega_H\) of the \(p\)-divisible group \(H\). When \(F|Q_p\) is unramified, this polygon only depends on the reduction of \((H, \iota)\) in the residue field and recovers the classical Hodge polygon; but this is not the case in general, so it is called the "integral" Hodge polygon. 2. **Relationship with existing invariants**: The integral Hodge polygon lies between Fargues' Harder - Narasimhan polygons and Pappas - Rapoport polygons. Specifically, there is the inequality: \[ \text{HN}(H[p], \iota) \leq \text{Hdg}_{\text{int}}(H, \iota) \leq \text{PR}(H, \iota) \] This result improves and generalizes the conclusions in previous literature regarding the discrete valuation ring \(O_K\). 3. **Continuity**: The integral Hodge polygon behaves continuously on families in \(p\)-adic analytic spaces. More precisely, for a formal scheme \(X\), the integral Hodge polygon function on its generic fiber \(X^{\text{an}}\) is continuous, and for a fixed polygon \(f_0\), the set \[ X^{\text{an}}_{\text{Hdg}_{\text{int}} \leq f_0} = \left\{ x \in X^{\text{an}} \mid \text{Hdg}_{\text{int}}(H_x, \iota) \leq f_0 \right\} \] defines a closed analytic region. 4. **Special cases**: When \(O_F\) acts on \(\omega_H\) through a fixed embedding \(O_F \to O_K\), that is, when \((H, \iota)\) is a \(p\)-divisible \(O_F\)-module, the integral Hodge polygon is equal to the Pappas - Rapoport polygon. Moreover, in the mildly ramified case, the integral Hodge polygon can detect whether the action of \(\pi\) on \(\omega_H\) is diagonalizable. ### Summary By introducing the integral Hodge polygon, the paper provides a new tool for studying \(p\)-divisible groups with endomorphism structures, especially in the study of \(p\)-adic geometry and Shimura varieties. This tool not only enables a better understanding of the geometric properties of these objects but also provides a theoretical basis for further research.