Search

Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.

This paper studies groups of maximal size acting harmonically on a finite graph. Our main result states that these maximal graph groups are exactly the finite quotients of the modular group $\Gamma=\left$ of size at least 6. This characterization may be viewed as a discrete analogue of the description of Hurwitz groups as finite quotients of the $(2,3,7)$-triangle group in the context of holomorphic group actions on Riemann surfaces. In fact, as an immediate consequence of our result, every Hurwitz group is a maximal graph group, and the final section of the paper establishes a direct connection between maximal graphs and Hurwitz surfaces via the theory of combinatorial maps., Comment: 17 pages, 6 figures. Final section rewritten to emphasize connection to combinatorial maps

This paper develops a harmonic Galois theory for finite graphs, thereby classifying harmonic branched $G$-covers of a fixed base $X$ in terms of homomorphisms from a suitable fundamental group of $X$ together with $G$-inertia structures on $X$. As applications, we show that finite embedding problems for graphs have proper solutions and prove a Grunwald-Wang type result stating that an arbitrary collection of fibers may be realized by a global cover., Comment: 15 pages; minor expository changes

This paper develops graph analogues of the genus bounds for the maximal size of an automorphism group of a compact Riemann surface of genus $g\ge 2$. Inspired by the work of M. Baker and S. Norine on harmonic morphisms between finite graphs, we motivate and define the notion of a harmonic group action. Denoting by M(g) the maximal size of such a harmonic group action on a graph of genus $g\ge 2$, we prove that $4(g-1)\le M(g)\le 6(g-1)$, and these bounds are sharp in the sense that both are attained for infinitely many values of g. Moreover, we show that the values $4(g-1)$ and $6(g-1)$ are the only values taken by the function $M(g)$., Comment: 14 pages with 6 figures; section 8 rewritten to correct an error in lemma 8.2; published version

This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves., Comment: 19 pages; substantial organizational and expository changes; this is the final version corresponding to the official publication in Manuscripta Mathematica; abstract updated

We prove a pro-$p$ Hom-form of the birational anabelian conjecture for function fields over sub-$p$-adic fields. Our starting point is the Theorem of Mochizuki in the case of transcendence degree 1., Comment: 9 pages; substantially revised version with a new introduction, more details, and added references