Abstract:Given a family of cyclic covers of $\mathbb{P}^1$ and a prime $p$ of good reduction, by [12] the generic Newton polygon (resp. Ekedahl--Oort type) in the family ($\mu$-ordinary) is known. In this paper, we investigate the existence of non-$\mu$-ordinary smooth curves in the family. In particular, under some auxiliary conditions, we show that when $p$ is sufficiently large the complement of the $\mu$-ordinary locus is always non empty, and for $1$-dimensional families with condition on signature type, we obtain a lower bound for the number of non-$\mu$-ordinary smooth curves. In specific examples, for small $m$, the above general statement can be improved, and we establish the non emptiness of all codimension 1 non-$\mu$-ordinary Newton/Ekedahl--Oort strata ({\em almost} $\mu$-ordinary). Our method relies on further study of the extended Hasse-Witt matrix initiated in [12].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the existence of non - \( \mu \)-ordinary smooth curves given a family of circle coverings of \( \mathbb{P}^1 \). Specifically, the authors explore the existence of non - \( \mu \)-ordinary smooth curves when the prime number \( p \) is large enough under certain auxiliary conditions, and give a lower bound estimate of the number of these curves. In addition, for specific examples, when \( m \) is small, the above - mentioned general conclusion can be improved, and the existence of all one - dimensional non - \( \mu \)-ordinary Newton/Ekedahl - Oort strata (almost \( \mu \)-ordinary) is proved.
### Main contributions
1. **Proof of existence**:
- The authors prove the existence of non - \( \mu \)-ordinary loci under monodromy data satisfying certain explicit numerical constraints. Specifically, they prove the following theorem:
\[
\text{Theorem 1.1.} \quad \text{Let }(G, r, a)\text{ be an abelian monodromy data, denote }T_G\text{ as the character group of }G\text{, and }f: T_G\rightarrow\mathbb{Z}_{\geq0}\text{ as the signature type of }(G, r, a). \text{ Suppose there exists }\tau\in T_G\text{ such that }f(\tau^*) = 1\text{ and }g(\tau)\geq2. \text{ Then for any }p\geq(3\binom{r}{2}+r - 2)|G|\text{, the non - }D\text{-ordinary loci in }M(G, r, a)_{\mathbb{F}_p}\text{ are non - empty.}
\]
2. **Improvement in special cases**:
- For the case where \( r = 4 \) and \( G \) is a cyclic group, the authors give more refined results:
\[
\text{Proposition 1.2.} \quad \text{Let }(G, 4, a)\text{ be a cyclic monodromy data. For any prime number }p\text{ satisfying }p > 3|G|\text{, the non - }D\text{-ordinary loci in }M(G, r, a)_{\mathbb{F}_p}\text{ are non - empty.}
\]
- Further, if there exists \( \tau\in T_G \) such that \( f(\tau)= 1 \) and \( f(p\tau)= 1 \), then the number of non - \( D \)-ordinary points in \( M(G, 4, a)(\mathbb{F}_p) \) is at least \( \left\lfloor\frac{p}{|G|- 3}\right\rfloor \).
3. **Analysis of specific examples**:
- The authors analyze in detail the Newton and Ekedahl - Oort stratifications through the specific example \( M(\mathbb{Z}/7\mathbb{Z}, 4, (1, 1, 2, 3)) \), and prove the specific structures of these stratifications and their intersection situations with \( M \) under prime numbers \( p \) with different moduli of \( 7 \).
### Methodology
- **Hasse - Witt triples**:
- The authors utilize the concept of Hasse - Witt triples, which is a generalization on smooth curves over \( \mathbb{F}_p \), to recover the Ekedahl - Oort type of the Jacobian. By studying the entries of Hasse - Witt triples, the authors obtain the criterion for \( D \)-ordinariness.
- **Polynomials and stratifications**:
- By constructing a polynomial