Abstract:In this paper we study lower ramification numbers of power series tangent to the identity that are defined over fields of positive characteristics $p$. Let $g$ be such a series, then $g$ has a fixed point at the origin and the corresponding lower ramification numbers of $g$ are then, up to a constant, the degree of the first non-linear term of $p$-power iterates of $g$. The result is a complete characterization of power series $g$ having ramification numbers of the form ${2(1+p+\dots+p^n)}$. Furthermore, in proving said characterization we explicitly compute the first significant terms of $g$ at its $p$th iterate.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the specific forms and properties of the lower ramification numbers of power series over fields with positive characteristics during the iteration process. Specifically, the author studied those power series that have a fixed point at the origin and the degree of the first nonlinear term is related to the $p$-power iteration. The main contribution of the paper lies in the complete characterization of power series with specific lower ramification number sequences, especially when these lower ramification numbers are $2(1 + p + \cdots + p^n)$. Such power series are called 2 - ramified. By calculating the first important terms of the $p$-th iteration of the power series, the author obtained an explicit condition to determine whether a power series is 2 - ramified. ### Specific problem description 1. **Form of power series**: Consider power series of the form \[ g(\zeta)=\zeta + a_2\zeta^2 + a_3\zeta^3 + a_4\zeta^4+\cdots \] where $a_i\in k$, and $k$ is a field with characteristic $p$. 2. **Definition of lower ramification number**: For such a power series $g$, its lower ramification number $i_n(g)$ is defined as \[ i_n(g):=\text{ord}\left(\frac{g^{p^n}(\zeta)-\zeta}{\zeta}\right) \] where $\text{ord}$ represents the order of the power series. 3. **Condition for 2 - ramified**: The author proved that a power series $g$ is 2 - ramified if and only if the following conditions are met: \[ a_1 = 0,\quad a_2\neq0,\quad\text{and}\quad\frac{3}{2}a_3^2 + a_3^2 - a_2a_4\neq0 \] ### Main results of the paper - **Theorem 1**: Gives a complete characterization of 2 - ramified power series. - **Proposition 1**: Calculates the first important terms of the $p$-th iteration of the power series $g$ and obtains specific expressions. Through these results, the author not only provided theoretical proofs but also laid the foundation for further research on the relationship between the positions of periodic points in ultrametric dynamical systems and lower ramification numbers.

Characterization of 2-ramified power series

Residue fixed point index and wildly ramified power series

Poincaré Series Forso(n, 1)

On $p$-adic Siegel Eisenstein series from a point of view of the theory of mod $p^m$ singular forms

On the calculation of the ramified Siegel series

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

On p-adic Siegel–Eisenstein series from a point of view of the theory of mod singular forms

On characteristic power series of dual signed Selmer groups

The Monogenicity of Power-Compositional Characteristic Polynomials

Genus theory of p-adic pseudo-measures -- Tame kernels and abelian p-ramification

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Ramification filtration via deformations, II

Polynomiality of the double ramification cycle

P-adic generalizations of hyper-elliptic functions

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Hyperderivatives of the deformation series associated with arithmetic gamma values and characteristic $p$ multiple zeta values

Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic

Ramification of surfaces: Artin-Schreier extensions

Spherical higher order Fourier analysis over finite fields III: a spherical Gowers inverse theorem

On the Hahn-Witt series and their generalizations

Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions