Abstract:Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $\alpha(n) p^{2n} + \beta(n) p^n + \lambda_r(n) n + \nu(n) $ for $n$ sufficiently large, where $\alpha,\beta,\nu,\lambda_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the behavior pattern of higher a - numbers of curves in the \(Z_p\)-tower. Specifically, Booher, Cais, Kramer - Miller and Upton previously proved that for a certain class of \(Z_p\)-tower curves in characteristic \(p\), when the integer \(d\) divides \(p - 1\), the higher a - numbers of these curves can be represented by the number of lattice points in complex regions on the plane. Booher and Cais conjectured that for a sufficiently large \(n\), the higher a - number of the \(n\)th curve can be given by a formula of the following form:
\[ \alpha(n)p^{2n}+\beta(n)p^n+\lambda_r(n)n +\nu(n) \]
where \(\alpha, \beta, \nu, \lambda_r\) are periodic functions of \(n\). This conjecture provides a new application of Iwasawa theory. This paper establishes the correctness of this conjecture by carefully studying these lattice points.
### Specific Problem Description
More specifically, the paper focuses on calculating the higher a - numbers of curves in the \(Z_p\)-tower under given conditions. Higher a - numbers reflect the structure of the \(p\)-torsion subgroup of the Jacobian. For a smooth projective curve \(C\), its higher a - number is defined as:
\[ a^r_C:=\dim_k\ker\left( V^r_C:H^0(C,\Omega^1_C)\to H^0(C,\Omega^1_C)\right) \]
Here \(V_C\) is the Cartier operator, and \(H^0(C,\Omega^1_C)\) is the space of regular differential forms on \(C\). Higher a - numbers provide partial information about the structure of \(Jac(C)[p]\), especially in characteristic \(p\).
### Main Contributions
The main contributions of the paper are:
1. **Establishing the Conjecture**: By analyzing the number of lattice points, it proves the conjecture proposed by Booher and Cais regarding the behavior of higher a - numbers of curves in the \(Z_p\)-tower.
2. **Formula Derivation**: Gives the specific expressions of higher a - numbers and shows the periodicity and dependence relationships of each term in these expressions.
3. **Application of New Methods**: Introduces new mathematical tools and methods, especially the method of counting lattice points to study higher a - numbers, which provides new ideas for future research.
### Summary
In conclusion, this paper is dedicated to solving the problem of the behavior pattern of higher a - numbers of curves in the \(Z_p\)-tower. By introducing new mathematical tools and methods, it proves the previously proposed conjecture and lays the foundation for future research.