Iris Y. Shi
Abstract:Let $p$ be an odd prime and $k$ be an algebraically closed field with characteristic $p$. Booher and Cais showed that the $a$-number of a $\mathbb Z/p \mathbb Z$-Galois cover of curves $\phi: Y \to X$ must be greater than a lower bound determined by the ramification of $\phi$. In this paper, we provide evidence that the lower bound is optimal by finding examples of Artin-Schreier curves that have $a$-number equal to its lower bound for all $p$. Furthermore we use formal patching to generate infinite families of Artin-Schreier curves with $a$-number equal to the lower bound in any characteristic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the a - number of Artin - Schreier curves can reach its theoretical lower bound. Specifically, the goal of the paper is to provide evidence to prove that the lower bound estimate of the a - number of Z/pZ - Galois covering curves proposed by Booher and Cais is optimal.
### Background and Problem Description
On an algebraically closed field \(k\) with odd prime characteristic \(p\), Booher and Cais gave a lower bound estimate of the a - number of the Z/pZ - Galois covering curve \(\varphi: Y \to X\), which only depends on \(X\) and the ramification information of the covering \(\varphi\). However, it still needs to be verified whether this estimate is optimal.
### Main Contributions of the Paper
1. **Provide Examples**: The paper shows that the a - numbers of these Artin - Schreier curves can indeed reach the lower bound given by Booher and Cais by constructing specific Artin - Schreier curves.
2. **Generate Infinite Families**: Through the formal patching technique, the paper generates infinitely many families of Artin - Schreier curves with arbitrarily large ramification points and whose a - numbers are equal to the lower bound.
### Specific Results
- **Theorem 3.12**: For any odd prime \(p\) and any positive integer \(d\equiv - 1\pmod{p^{2}}\), there exists a Z/pZ - Galois covering \(X \to \mathbb{P}^{1}\) with a branch point \(d\), and its a - number is equal to the lower bound \(L(d)\).
- **Theorem 3.13**: For any odd prime \(p\) and any positive integer \(d\equiv p - 1\pmod{p^{2}}\), there exists a Z/pZ - Galois covering \(X \to \mathbb{P}^{1}\) with a branch point \(d\), and its a - number is equal to the lower bound \(L(d)\).
- **Theorem 3.14**: For any odd prime \(p\leqslant23\) and any positive integer \(d\equiv - 1\pmod{p}\), there exists a Z/pZ - Galois covering \(X \to \mathbb{P}^{1}\) with a branch point \(d\), and its a - number is equal to the lower bound \(L(d)\).
### Method Overview
- **Construct Small Curves**: First, construct small curves with the minimum a - number.
- **Formal Patching**: Through the formal patching technique, combine these small curves into infinitely many families of curves with arbitrarily large ramification points.
- **Verify a - number**: Ensure that the a - numbers of these combined curves are still equal to the lower bound.
Through the above methods, the paper provides strong evidence for the lower bound estimates of Booher and Cais, indicating that these estimates are indeed optimal in some cases.