Elementary Abelian Covers of Graphs

AbstractLet $${\mathcal{C}}$$ G(X) be the set of all (equivalence classes of) regular covering projections of a given connected graph X along which a given group G ≤ Aut X of automorphisms lifts. There is a natural lattice structure on $${\mathcal{C}}$$ G(X), where ℘1 ≤ ℘2 whenever ℘2 factors through ℘1. The sublattice $${\mathcal{C}}$$ G(℘) of coverings which are below a given covering ℘ : X~ → X naturally corresponds to a lattice $${\mathcal{N}}$$ G(℘) of certain subgroups of the group of covering transformations. In order to study this correspondence, some general theorems regarding morphisms and decomposition of regular covering projections are proved. All theorems are stated and proved combinatorially in terms of voltage assignments, in order to facilitate computation in concrete applications.For a given prime p, let $${\mathcal{C}}$$ Gp(X) ≤ $${\mathcal{C}}$$ G(X) denote the sublattice of all regular covering projections with an elementary abelian p-group of covering transformations. There is an algorithm which explicitly constructs $${\mathcal{C}}$$ Gp(X) in the sense that, for each member of $${\mathcal{C}}$$ Gp(X), a concrete voltage assignment on X which determines this covering up to equivalence, is generated. The algorithm uses the well known algebraic tools for finding invariant subspaces of a given linear representation of a group. To illustrate the method two nontrival examples are included.

[1]  Yan-Quan Feng,et al.  s-Regular cubic graphs as coverings of the complete bipartite graph K 3,3 , 2004 .

[2]  Derek F. Holt,et al.  Testing modules for irreducibility , 1994, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[3]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[4]  Norman Biggs,et al.  Homological Coverings of Graphs , 1984 .

[5]  Adrian O. Waller,et al.  On 2-Arc-Transitive Covers of Complete Graphs , 1998, J. Comb. Theory, Ser. B.

[6]  M. Hofmeister Graph covering projections arising from finite vector spaces over finite fields , 1995, Discret. Math..

[7]  Jin Ho Kwak,et al.  Typical circulant double coverings of a circulant graph , 2004, Discret. Math..

[8]  Steve Wilson,et al.  A worthy family of semisymmetric graphs , 2003, Discret. Math..

[9]  Aleksander Malnič,et al.  On Cubic Graphs Admitting an Edge-Transitive Solvable Group , 2004 .

[10]  David B. Surowski,et al.  Homological methods in algebraic map theory , 2003, Eur. J. Comb..

[11]  N. Jacobson Lectures In Abstract Algebra , 1951 .

[12]  Arthur T. White,et al.  TOPOLOGICAL GRAPH THEORY (Wiley Interscience Series in Discrete Mathematics and Optimization) , 1988 .

[13]  Martin Skoviera A contribution to the theory of voltage graphs , 1986, Discret. Math..

[14]  Jozef Širáň,et al.  Coverings of Graphs and Maps, Orthogonality, and Eigenvectors , 2001 .

[15]  D. Djoković,et al.  Automorphisms of graphs and coverings , 1974 .

[16]  Dragan Marusic,et al.  An infinite family of cubic edge- but not vertex-transitive graphs , 2004, Discret. Math..

[17]  Yan-Quan Feng,et al.  s‐Regular cubic graphs as coverings of the complete bipartite graph K3,3 , 2004, J. Graph Theory.

[18]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[19]  Jin Ho Kwak,et al.  Linear criteria for lifting automorphisms of elementary abelian regular coverings , 2003 .

[20]  Martin Skoviera,et al.  Lifting Graph Automorphisms by Voltage Assignments , 2000, Eur. J. Comb..

[21]  Rudolf Lide,et al.  Finite fields , 1983 .

[22]  Cheryl E. Praeger,et al.  Cyclic matrices and the Meataxe , 2001 .

[23]  Tomaž Pisanski,et al.  The edge-transitive but not vertex-transitive cubic graph on 112 vertices , 2005 .

[24]  Jonathan L. Gross,et al.  Topological Graph Theory , 1987, Handbook of Graph Theory.