arXiv++ Combinatorics

For a possibly ramified $\mathbb{Z}_p^d$-covering of connected graphs, we establish an Iwasawa-type asymptotic formula for the growth of the $p$-adic valuations of the complexities. The formula is expressed as a polynomial in $n$ and $p^n$ with explicit leading coefficients $λ$ and $μ$; in particular, we eliminate the error term of the form $O(p^{(d-1)n})$ appearing in earlier work. We then establish a Kida-type formula describing the behavior of $λ$ under a $p$-covering between $\mathbb{Z}_p^d$-coverings, assuming $μ= 0$. Finally, for any fixed $p$ and integer $d \geq 2$, we construct an unramified $\mathbb{Z}_p^d$-covering of a bouquet with prescribed $λ$- and $μ$-invariants.

For a $\mathbb{Z}_p$-covering of connected graphs, an analogue of Iwasawa's class number formula describes the growth of the number of spanning trees in terms of Iwasawa $λ$- and $μ$-invariants. In this paper, we show that any pair $(λ, μ)$ can be realized as the Iwasawa invariants of an unramified $\mathbb{Z}_p$-covering of a bouquet, provided that the necessary condition that $λ$ is odd is satisfied. We further show that any pair $(λ, μ)$, without a parity condition, can be realized if we allow ramified $\mathbb{Z}_p$-coverings.

Recently Iwasawa theory for graphs is developing. A significant achievement includes an analogue of Iwasawa class number formula, which describes the asymptotic growth of the numbers of spanning trees for $\mathbb{Z}_p$-coverings of graphs. Moreover, an analogue of Kida's formula concerning the behavior of the $λ$- and $μ$-invariants is obtained for unramified coverings. In this paper, we establish Kida's formula for possibly ramified coverings.

The Jacobian group of a graph is a finite abelian group through which we can study the graph in an algebraic way. When the graph is a finite abelian covering of another graph, the Jacobian group is equipped with the action of the Galois group. In this paper, we study the Fitting ideal of the Jacobian group as a module over the group ring. We also study the corresponding question for infinite coverings. Additionally, this paper includes module-theoretic approach to Iwasawa theory for graphs.