Locally 3-arc-transitive regular covers of complete bipartite graphs

Similar documents
Locally primitive normal Cayley graphs of metacyclic groups

Arc-transitive pentavalent graphs of order 4pq

Quotients of vertex-transitive graphs

1 Introductory remarks Throughout this paper graphs are nite, simple and undirected. Adopting the terminology of Tutte [11], a k-arc in a graph X is a

Pentavalent symmetric graphs of order twice a prime power

Generalised quadrangles with a group of automorphisms acting primitively on points and lines

arxiv: v1 [math.co] 19 Nov 2016

Rank 3 Latin square designs

CLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2

arxiv: v1 [math.co] 1 Jan 2019

Permutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation

-ARC-TRANSITIVE GRAPHS Dragan Marusic IMFM, Oddelek za matematiko Univerza v Ljubljani Jadranska 19, 1111 Ljubljana Slovenija

Finite s-geodesic Transitive Graphs. Wei Jin

On certain Regular Maps with Automorphism group PSL(2, p) Martin Downs

arxiv: v2 [math.gr] 20 Apr 2017

Permutation Group Algorithms

Semiregular automorphisms of vertex-transitive graphs

arxiv:math/ v1 [math.gr] 15 Apr 2003

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

8th PhD Summer School in Discrete Mathematics Vertex-transitive graphs and their local actions II

Permutation representations and rational irreducibility

Character tables for some small groups

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

arxiv: v1 [math.gr] 7 Jan 2019

ON THE ORDER OF ARC-STABILISERS IN ARC-TRANSITIVE GRAPHS, II

Automorphism group of the balanced hypercube

Imprimitive Symmetric Graphs

Regular embeddings of graphs into surfaces

Primitive arcs in P G(2, q)

arxiv: v1 [math.co] 28 Dec 2018

Line graphs and geodesic transitivity

Cover Page. The handle holds various files of this Leiden University dissertation

AUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY

GENERATING SETS KEITH CONRAD

Two-arc-transitive two-valent digraphs of certain orders

Rank 3 permutation groups

CHARACTERISING CCA SYLOW CYCLIC GROUPS WHOSE ORDER IS NOT DIVISIBLE BY FOUR

Factorizations of almost simple groups with a solvable factor, and Cayley graphs of solvable groups. Cai Heng Li, Binzhou Xia

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

1 Fields and vector spaces

Demushkin s Theorem in Codimension One

Pseudo Sylow numbers

DIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS

Twisted Projective Spaces and Linear Completions of some Partial Steiner Triple Systems

CONSTRUCTING GRADED SEMI-TRANSITIVE ORIENTATIONS. by Casey Attebery. A Thesis. Submitted in Partial Fulfillment. of the Requirements for the Degree of

Symmetric graphs of diameter two

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

4-valent graphs of order 6p 2 admitting a group of automorphisms acting regularly on arcs

HEPTAVALENT SYMMETRIC GRAPHS OF ORDER 6p

Simple connectedness of the 3-local geometry of the Monster. A.A. Ivanov. U. Meierfrankenfeld

Imprimitive symmetric graphs with cyclic blocks

Bulletin of the. Iranian Mathematical Society

CONSEQUENCES OF THE SYLOW THEOREMS

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

AN APPLICATION OF THE LOCAL C(G,T) THEOREM TO A CONJECTURE OF WEISS arxiv: v1 [math.co] 16 Sep 2015

TRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS

Michael Giudici. on joint work with variously John Bamberg, Martin Liebeck, Cheryl Praeger, Jan Saxl and Pham Huu Tiep

VARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction

Transitive groups, derangements and related problems

A NOTE ON POINT STABILIZERS IN SHARP PERMUTATION GROUPS OF TYPE {0, k}

The L 3 (4) near octagon

Symmetric graphs of order 4p of valency prime

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

COLLAPSING PERMUTATION GROUPS

Classification of root systems

arxiv: v4 [math.gr] 17 Jun 2015

Algebra SEP Solutions

A characterization of the Split Cayley Generalized Hexagon H(q) using one subhexagon of order (1, q)

Representation Theory. Ricky Roy Math 434 University of Puget Sound

Math 594, HW2 - Solutions

Semiregular automorphisms of vertex-transitive cubic graphs

1 Introduction We adopt the terminology of [1]. Let D be a digraph, consisting of a set V (D) of vertices and a set E(D) V (D) V (D) of edges. For a n

Half-arc-transitive graphs of arbitrary even valency greater than 2

ALGEBRA QUALIFYING EXAM PROBLEMS

HAMILTONICITY OF VERTEX-TRANSITIVE GRAPHS

Primitive 2-factorizations of the complete graph

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Notes on p-divisible Groups

Lecture 4.1: Homomorphisms and isomorphisms

120A LECTURE OUTLINES

Groups and Symmetries

A conjugacy criterion for Hall subgroups in finite groups

On pronormal subgroups in finite groups

Chordal Coxeter Groups

GENERATING SETS KEITH CONRAD

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC

Tactical Decompositions of Steiner Systems and Orbits of Projective Groups

NOTES ON THE FINITE LATTICE REPRESENTATION PROBLEM

Spectra of Semidirect Products of Cyclic Groups

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

CAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv: v1 [math.co] 17 Sep 2015

SOME SYMMETRIC (47,23,11) DESIGNS. Dean Crnković and Sanja Rukavina Faculty of Philosophy, Rijeka, Croatia

Exercises on chapter 1

Irreducible subgroups of algebraic groups

REPRESENTATION THEORY. WEEKS 10 11

Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

Transcription:

Locally 3-arc-transitive regular covers of complete bipartite graphs Eric Swartz Abstract. In this paper, locally 3-arc-transitive regular covers of complete bipartite graphs are studied, and results are obtained that apply to arbitrary covering transformation groups. In particular, methods are obtained for classifying the locally 3-arctransitive graphs with a prescribed covering transformation group, and these results are applied to classify the locally 3-arc-transitive regular covers of complete bipartite graphs with covering transformation group isomorphic to a cyclic group or an elementary abelian group of order p 2. 1. Introduction We will assume that all graphs are finite, simple, undirected, and connected, unless otherwise stated. An s-arc of a graph Γ is a sequence of vertices α 0, α 1,..., α s ) such that α i is adjacent to α i+1 and α i 1 α i+1 for all i, 1 i s 1. Note that vertices can be repeated as long as α i 1 α i+1. An automorphism of the graph Γ is a permutation of the vertices that preserves adjacency and nonadjacency. The set of all automorphisms of the graph Γ forms a group and is denoted AutΓ). Given a subgroup G AutΓ), Γ is G, s)-arc-transitive if Γ contains an s-arc and any s-arc in Γ can be mapped to any other s-arc in Γ via an element of G. The graph is locally G, s)-arc-transitive if Γ contains an s-arc and, for any vertex α of Γ, any s-arc starting at α can be mapped to any other s-arc starting at α via an element of G. In the cases that such a group G exists, the graph Γ is said to be s-arc-transitive or locally s-arc-transitive, respectively. Note that it is possible for a graph to be locally G, s)-arc-transitive but for G to be intransitive on the set of vertices. As an example, one could take the complete bipartite graph K 2,3.) On the other hand, when Γ is locally G, s)-arc-transitive and every vertex in Γ is adjacent to at least two other vertices, G is transitive on the edges of Γ. The study of s-arc-transitive graphs began with Tutte s seminal studies of cubic graphs [27, 28]. Tutte proved that if Γ is a cubic G, s)-arc-transitive graph, then s 5 and that this upper bound is the best possible). Later, Weiss demonstrated that if the valency is at least three, then s 7 [30]. Whereas Tutte s result used clever elementary methods, Weiss s result relied on the Classification of Finite Simple Groups CFSG). On the other hand, locally s-arc-transitive graphs give geometric descriptions of rank 2 amalgams. The proof that s 9 for any locally s-arc-transitive graph with all vertex valencies at least three [29] relies heavily on knowledge of amalgams and the classification of weak B,N)- pairs of rank 2 by Delgado and Stellmacher [2] and further demonstrates the deep link between the two concepts. Moreover, locally s-arc-transitive graphs arise as incidence graphs of highly symmetric structures [19, 31] and are important in their study. For Key words and phrases. Locally s-arc transitive graphs, Graph automorphisms, Regular covers, Group actions. 1

2 ERIC SWARTZ instance, the only examples of Moufang generalized octagons are the Ree-Tits generalized octagons [26], the incidence graphs of which are locally 9-arc-transitive graphs. A recent paper by Giudici, Li, and Praeger [11] set forth a program for the study of locally s-arc-transitive graphs. First, any locally G, s)-arc-transitive graph that is G-vertex transitive is a G, s)-arc-transitive graph, and many have been classified under a similar program initiated by Praeger in [23]. Second, since any locally G, s)-arctransitive graph of valency at least two is edge transitive, any locally G, s)-arc-transitive graph that is vertex intransitive must be bipartite with vertex set V Γ = 1 2 such that G is transitive on each of 1 and 2, respectively. Third, there is a characterization of the graphs containing vertices of valency two [12, Theorem 6.2, Corollary 6.3]. Thus, the focus is on the graphs with minimum valency at least three that are G-vertex intransitive. The breakthrough for studying these remaining G-vertex intransitive graphs is the normal quotient method from [11]. Let Γ be a graph with a group of automorphisms G. If G has a normal subgroup N that acts intransitively on the vertices of Γ, define the normal) quotient graph Γ N to have vertex set the N-orbits of vertices of Γ, and two N-orbits Σ 1 and Σ 2 are adjacent in Γ N if and only if there exist vertices α Σ 1 and β Σ 2 such that α is adjacent to β in Γ. The original graph Γ is said to be a regular cover of Γ N if each N-orbit Σ 2 adjacent to Σ 1 contains exactly one vertex adjacent to α in Γ for each α Σ 1, and in this case N is referred to as the covering transformation group. See also Section 2 for different yet equivalent topological definitions.) Giudici, Li, and Praeger [11] showed that if Γ is a locally G, s)-arc-transitive graph, then Γ N is a locally G/N, s)-arc-transitive graph. This insight led to the following framework for studying locally s-arc-transitive graphs: I) Understand the basic graphs, that is, those for which there is no nondegenerate normal quotient. A single vertex, a single edge, and a star, i.e., graphs of the form K 1,m for some m > 1 [11, Theorem 1.1], are the degenerate normal quotients in this context. II) Understand the regular covers of the basic graphs. The basic graphs will arise when the group G acting on the graph has no normal subgroup with more than two orbits. With this in mind, a group G acting transitively on a set Ω is said to be quasiprimitive if every nontrivial normal subgroup N of G is transitive on Ω. Given the above definition of a quotient graph, it is clear that quasiprimitive groups are precisely the groups that give rise to basic graphs. The quasiprimitive groups were classified by Praeger [23] and refined into the following eight types [24]: holomorph of abelian group HA), holomorph simple HS), compound holomorph HC), almost simple AS), twisted wreath product TW), simple diagonal SD), compound diagonal CD), and product action PA). The main distinguishing factor among these different quasiprimitive actions is the socle of the quasiprimitive group G, which is the subgroup socg) of G generated by all minimal normal subgroups of G. There are four fundamentally different kinds of basic graphs for vertex intransitive locally G, s)-arc-transitive graphs, where s 2: [Complete Bipartite]: Complete bipartite graphs K m,n, where m n; [Star Normal Quotient]: G acts faithfully on both orbits of vertices 1 and 2, but only acts quasiprimitively on 1. In this case, the quasiprimitive action of G on 1 must be one of HA, HS, AS, PA, or TW [11, Theorem 1.3]; [Same Type]: G acts faithfully and quasiprimitively on both orbits of vertices 1 and 2 with the same quasiprimitive type on each part, and the action of G must be one of HA, TW, AS, or PA [11, Theorem 1.2];

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 3 [Different Type]: G acts faithfully and quasiprimitively on both orbits of vertices 1 and 2 with a different quasiprimitive action on each part. In this case, G must act with type SD on 1 and with type PA on 2 [11, Theorem 1.2]. The graphs in [Star Normal Quotient] have a degenerate) quotient that is isomorphic to the star K 1,m for some m > 1. This is the reason these graphs are collectively referred to as those with a star normal quotient. While progress has been made in understanding the basic graphs [9, 10, 11, 12, 13, 19, 25], there has been very little work done toward understanding the regular covers of locally s-arc-transitive graphs, which constitutes half of the program. The recent work [1, 8, 20, 21, 22] on regular covers of finite symmetric graphs is limited by only considering a single graph at a time and restricting to abelian covering transformation groups. The study of regular covers of large families of symmetric graphs collectively has only been undertaken in a few specific cases [6, 7, 16], even though studying regular covers of large classes of graphs is necessary to understanding symmetric graphs as a whole. In order to introduce the main results of this paper, we need the following notation. Let α be a vertex of a graph Γ, and let G AutΓ). We denote the vertices adjacent to α in Γ by Γα), and the permutation group induced by G α on Γα) will be denoted by. For any two vertices α, β of Γ, we define the distance function dα, β) to be the length of the shortest path between α and β in Γ. Given a natural number i, we define G Γα) α Note that G [1] α G [i] α := {g G β g = β for all β satisfying dα, β) i}. is a normal subgroup of G α, and G Γα) α = Gα /G [1] α. In this paper, we study the locally 3-arc-transitive regular covers of complete bipartite graphs. In Section 2, we obtain results that apply to locally 3-arc-transitive regular covers of complete bipartite graphs with arbitrary covering transformation group, culminating in the following result: Theorem 1.1. Let Γ = K m,n with biparts of vertices 1 and 2, 1 = m n = 2, P : Γ Γ be a regular covering projection such that H := CTP) and G AutΓ) lifts to G such that Γ is locally G, 3)-arc-transitive. For vertices α, β i, define further Km,n α,β = K 2,n to be the subgraph induced on {α, β} i and H β to be the covering transformation group of P : Σ Km,n, α,β where Σ is a connected component of P 1 Km,n). α,β Then one of the following must hold for each i : 1) i = p f for some prime p and f N, and H β is an elementary abelian group of order p f, or 2) There exists X AutH β ) such that X has a 2-transitive action on i points. Moreover, in either case, if v i, then G i v is isomorphic to a subgroup of AutH β). One inference that we can make from Theorem 1.1 is that elementary abelian covering transformation groups are the most likely to yield locally 3-arc-transitive regular covers of complete bipartite graphs. We apply Theorem 1.1 to cyclic covering transformation groups and elementary abelian covering transformation groups in Sections 3 and 4, respectively, and obtain the following classification results: Theorem 1.2. Let Γ = K m,n, m n, P : Γ Γ be a regular covering projection such that H := CTP) 1 is a cyclic group and G AutΓ) lifts to G such that Γ is locally G, 3)-arc-transitive. Then one of the following holds: 1) m = n = 2 and H = Z N, where N is any positive integer at least 2; 2) m = 2, n = p for some odd prime p, and H = Z p ; 3) m = n = p for some odd prime p and H = Z p.

4 ERIC SWARTZ Moreover, in each case the cover is unique up to isomorphism of covering projections). Theorem 1.3. Let Γ = K m,n with biparts of vertices 1 and 2, 1 = m n = 2, P : Γ Γ be a regular covering projection such that H := CTP) = Z d p, p prime and d 1, is an elementary abelian group and G AutΓ) lifts to G such that Γ is locally G, 3)-arc-transitive. Then one of the following must hold for each i : 1) i = p f for some f d, or 2) There exists X GL d p) such that X has a 2-transitive action on i points. Moreover, in either case, if v i, then G i v is isomorphic to a subgroup of GL dp). We apply this result to covering transformation groups isomorphic to Z p Z p to obtain the following classification: Theorem 1.4. Let H = Z p Z p, where p is a prime. The only complete bipartite graphs with a locally 3-arc-transitive regular cover whose covering transformation group is isomorphic to a subgroup of H are K 2,2, K 2,3, K 2,p, K 2,p 2, K 3,p, K 3,p 2, K p,p, K p,p 2, and K p 2,p 2. Corollary 1.5. Let Γ = K m,n, m n, P : Γ Γ be a regular covering projection such that H := CTP) = Z p Z p is an elementary abelian group of order p 2 and G AutΓ) lifts to G such that Γ is locally G, 3)-arc-transitive. Then one of the following holds: 1) m = 2 and n = 3; 2) m = 2 and n = p 2 ; 3) m = 3 and n = p; 4) m = 3 and n = p 2 ; 5) m = p and n = p 2 ; 6) m = n = p 2. Moreover, in each case the cover is unique up to isomorphism of covering projections). 2. Results applicable to general covering transformation groups A covering projection P : Γ Γ maps V Γ onto V Γ, preserving adjacency, such that for any vertex α V Γ, the set of neighbors of α is mapped bijectively onto the neighbors of P α). For a vertex α of Γ, the set of vertices P 1 α) that are mapped onto α by P is called the fiber over the vertex α. An automorphism g AutΓ) lifts to g Aut Γ) if the following diagram commutes: Γ g Γ P P Γ g Γ The lift of the trivial group identity) is known as the group of covering transformations and is denoted CTP). Γ is a regular cover of Γ if CTP) acts regularly on the set P 1 α) for all vertices α V Γ. Compare these to the equivalent definitions of Section 1.) A voltage assignment is a map ξ : E Γ H, where H is a group, such that ξα, β) = ξβ, α) 1. For ease of notation, the voltage of the arc α, β) will be denoted ξ. The derived covering graph Γ of a voltage graph has vertex set V Γ H, where two vertices

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 5 α, h 1 ) and β, h 2 ) are adjacent iff α is adjacent to β in Γ and h 2 = ξ h 1. The following theorem exhibits the deep connection between regular covers and derived covering graphs: Theorem 2.1 [15, Theorem 2.4.5, Section 2.5]). Every regular cover Γ of a graph Γ is a derived cover of a voltage graph. Moreover, if Γ is connected we may assume that the edges of a fixed but arbitrary) spanning tree of Γ have been assigned the identity voltage. Two covering projections P 1 : Γ1 Γ 1 and P 2 : Γ2 Γ 2 are said to be isomorphic if there exist graph isomorphisms σ : Γ 1 Γ 2 and σ : Γ1 Γ 2 such that σp 1 = P 2 σ. The following lemma connects isomorphisms of covers to isomorphisms of the covering transformation groups: Lemma 2.2 [21, Corollary 3.3]). Let P 1 and P 2 be two regular covers of a connected graph Γ, and let H 1 = CTP 1 ) and H 2 = CTP 1 ). The covering projections P 1 and P 2 are isomorphic if and only if there exists a group isomorphism τ : H 1 H 2 and σ AutΓ) such that τζ 1 = ζ 2 σ, where, given a fixed vertex α of Γ, ζ 1 and ζ 2 are considered as epimorphisms ζ 1 : πγ, α) H 1 and ζ 2 : πγ, α σ ) H 2. Throughout this section we will assume the following: Γ is the complete bipartite graph K m,n with biparts 1 and 2 1 = m, 2 = n), Γ has a regular cover Γ with covering projection P : Γ Γ, and the fiber-preserving automorphisms G of Γ act locally 3-arc-transitively on Γ. We will identify the vertices of 1 with lowercase Greek letters and vertices of 2 simply with the set {0, 1, 2,..., n 1}. By Theorem 2.1, Γ is isomorphic to the derived graph of a voltage graph, where voltages are assigned to the co-tree edges with respect to some spanning tree T of Γ. It does not matter which spanning tree we choose, and so we will choose the double star obtained by giving the identity voltage to all edges incident with either the vertex α 1 or the vertex 0 2. We will let H = CTP) and assume that H 1 to assure that we have a nontrivial cover. Moreover, we will let ξ be the function from the edge set of Γ to H with ξ denoting the voltage assigned to the arc i, β). The following lemma gives explicit criteria for an automorphism of a graph to lift. Lemma 2.3 [21, Propositions 3.1, 5.1]). An automorphism g of Γ lifts to an automorphism g of Γ if and only if there exists a group automorphism g #α AutH) such that ξ g#α W = ξ W g, where W runs over a generating set for all closed walks based at a single vertex α. Moreover, if H is abelian, the automorphism g #α does not depend on the choice of base vertex α. Note that by Giudici, Li, Praeger [11, Theorem 1.1], if G = G/CTP), then Γ is a locally G, 3)-arc-transitive graph, and the group of automorphisms G of Γ lifts to Γ. At this point, we may associate each voltage ξ iγ with the closed walk α, i, γ, 0, α) based at α. We note that for any fixed β α 1 and any g G, we may use Lemma 2.3 to define a homomorphism ϕ : G AutH) as follows: for any g G, we choose the lift g of g such that α, 1) g = α g, 1). For a given h H, we may define the induced automorphism on H by the action of g on H via the mapping α, h) g = α g, h ϕg) ). Furthermore, we note that ξ ϕ g) iγ any δ 1. = ξ 1 0 g γ gξ i g γ g, where ξ 0δ = 1 for Lemma 2.4. For any vertex β α 1, G 2 is 2-transitive. Moreover, the voltages assigned to the co-tree edges of Γ must all have the same order, and, for any two distinct vertices i, j 2, ξ ξ jβ. Proof. The fact that G 2 is 2-transitive follows from local 3-arc-transitivity. Note that any 3-arc beginning at α and ending at 0, say α, i, β, 0), defines a unique 4-cycle

6 ERIC SWARTZ α, i, β, 0, α). Since Γ is locally G, 3)-arc-transitive, for any γ 1 and j 2, there exists g G such that α, i, β, 0) g = α, j, γ, 0). Hence the voltage of the first walk, ξ, must be mapped to the voltage of the second walk, ξ jγ, by the induced action of the element g on H i.e., ϕ g) AutH), as defined above). Thus the voltages on co-tree edges have the same order. Finally, if ξ = ξ jβ for some i j, then the voltage of the closed walk α, i, β, j, α) is trivial. However, for any 0 k 2 and α γ 1, there is g G α such that α, i, β, j) g = α, k, γ, 0), and so ξ kγ = 1 ϕg) = 1, and all co-tree edges have trivial voltage. Recall that the socle of a group X, denoted by socx) is defined to be the subgroup generated by all minimal normal subgroups of X. Since G 2 is a 2-transitive group for any β α 1, by Burnside s Theorem see [4, Theorem 4.1B], for instance), socg 2 ) is either an elementary abelian p-group that acts regularly on 2 for some prime p or a nonabelian simple group that acts nonregularly on 2. Moreover, in each case the socle is the unique minimal normal subgroup. Henceforth we will assume that β α 1 is fixed and let S := socg 2 ). We say that a group X is involved in the group Y if there exist subgroups Y 1 Y 2 Y such that Y 2 /Y 1 = X. Let φ : G G 2 be the natural projection with Kerφ) = G[1]. Since G 2 has a unique minimal normal subgroup S, by the Correspondence Theorem there exists a subgroup T G such that G [1] T and T/G[1] = S. Note that, since S is a minimal normal subgroup of G 2, if N < T and N is normal in G, then N G [1]. Proposition 2.5. Let P : Γ Γ be a covering projection with covering transformation group H. If G is the lift of the group G, the cover Γ is locally G, 3)-arc-transitive, and S := socg 2 ) is a nonabelian finite simple group, then S is involved in AutH). Proof. Let 2 = n. First, we note that the group G 0, the stabilizer of the vertex 0 2 in the group G, transitively permutes the vertices 1, 2,..., n 1. Since ξ is the voltage of the cycle α, i, β, 0, α), for any g G 0, we have ξ gϕ g) = ξ i g β. By Lemma 2.4, ξ = ξ jβ only if i = j. Hence, for any such g G 0, if it induces a trivial action on H, then i g = i for all i, 1 i n 1, which implies that g G [1] As noted above, there is T G such that G [1] T and T/G[1] = S. If S is not involved in AutH), then T Kerϕ ). However, by the Classification of Finite Simple Groups [14], the induced action of S 0 on {1,..., n 1} is nontrivial. Hence T 0 acts nontrivially on {1,..., n 1} and T is not contained in Kerϕ ). This means that Kerϕ ) T G [1]. Therefore, ϕ T )/ϕ G [1] ) = S, and S is involved in AutH).. Proposition 2.6. Let P : Γ Γ be a covering projection with covering transformation group H. If G is the lift of the group G, the cover Γ is locally G, 3)-arc-transitive, and S := socg 2 ) is an elementary abelian p-group for some prime p, then either S is involved in AutH) or each voltage assigned to a co-tree edge of Γ has order p. Proof. Assume that S is not involved in AutH). As noted above, there is T G such that G [1] T and T/G[1] = S. By the same argument as in the proof of Proposition 2.5, if g G 0 and ϕ g) = 1, then g G [1]. Hence, if S is not involved in AutH), T Kerϕ ), and T 0 = T G 0 G [1]. We note that T is transitive on 2, so there is s T such that 0 s = 1. Recalling the epimorphism φ : G G 2, φs) S and has order p. Thus sp Kerφ) = G [1], and φs m ) = φs n ) for 1 m, n p 1 implies m = n. This means that there exist

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 7 vertices a 2,..., a p 1 2 such that 1 s = a 2, a s m = a m+1 for 2 m p 2, and a s p 1 = 0. On the one hand, α, 1, β, 0, α) s = α, a 2, β, 1, α), and so we have an induced = ξ 1 1β ξ a 2 β. On the other hand, we are assuming that T Kerϕ ), and so ξ ϕ s) = ξ. This implies that ξ 1β = ξ ϕ s) 1β = ξ 1 1β ξ a 2 β, and so ξ a2 β = ξ1β 2. Proceeding similarly, by induction we see that ξ amβ = ξ1β m for 1 m p 1. action ξ ϕ s) 1β Moreover, G is 2-transitive on 2, so there exists h G such that 0 h = 1 and 1 h = 0, which implies that hs 1 = r G 0. Noting that 0 r = 0 and 1 r = a p 1, we have an induced action ξ ϕ h) 1β = ξ 1 1β ξ ϕ h) 1β =. On the other hand, ) ξ ϕ ϕ s) r) ϕ 1β = ξ s) a p 1 β = ξ a p 1 β. Hence ξ 1 1β = ξ a p 1 β = ξ p 1 1β and ξ p 1β = 1. Since H 1, ξ 1β = p, and by Lemma 2.4 the order of every voltage assigned to a co-tree edge of Γ has order p. Proposition 2.7. If the group T has a trivial induced action on H, where φt ) = ) and G[1] T, then each element of an entire elementary abelian group of S = socg 2 order p f, where p f is the size of the bipart 2, must be assigned as voltages to the edges incident with the vertex β α 1. Proof. By Propositions 2.5 and 2.6, if the lift of T acts trivially on H, then G 2 is an elementary abelian p-group that acts regularly on 2 for some prime p. Thus 2 = p f for some f N, and by Proposition 2.6, the order of each voltage assigned to a co-tree edge is p. For any i 2 \{0}, there exists s i T such that 0 s i = i, and, proceeding as in the proof of Theorem 2.6, ξ m = ξ, and so each power of the voltage ξ i sm i β is assigned to an edge incident with β. We will next show that ξ ξ jβ is the voltage assigned to some edge incident with β, where i, j are distinct vertices in 2 \{0}. In particular, ξ 1 = ξp 1 = ξ lβ for some l 2. Since G is 2-transitive on 2, there is g G such that α, i, β, 0, α) g = α, j, β, l, α), and so ξ ϕ g) gs 1 G 0. Hence = ξ 1 lβ ξ jβ = ξ ξ jβ. There is also an element s T such that 0 s = l, and so ξ ξ jβ = ξ ϕ g) = ξ ϕ gs 1 ) ) ϕ s) ϕ = ξ s) = ξ i gs 1 β i gs 1 β, since by assumption T has a trivial induced action on H. Hence all the voltages incident with β are all distinct, have order p other than ξ 0β, which is assigned the trivial voltage), and form a subgroup. Finally, define H β to be the group of voltages that are assigned to edges incident with β. Note that the induced action of G 0 is transitive on 2 \{0}, and hence for any i j 2 \{0}, there is g G 0 such that i g = j. This implies that ξ ϕ g) = ξ jβ, and so the induced action of G 0 on H β \{1} is transitive. On the other hand, H β is a p-group, and so for some z 2 \{0}, ξ zβ ZH β ). The center is a characteristic subgroup, and therefore H β is elementary abelian. Proposition 2.8. The stabilizer of a point in G 2 is involved in AutH). Proof. Suppose g G 0 and ϕ g) = 1. In particular, for all i 2 \{0}, ξ = ξ ϕ g) = ξ i g β. By Lemma 2.4, this implies that i g = i for all i 2, and so g G [1]. Hence Kerϕ ) G [1], and so G 2 0 = ϕ G 0 )/ϕ G [1] )

8 ERIC SWARTZ is involved in AutH). Corollary 2.9. If the group T has a nontrivial induced action on H, then G 2 involved in AutH). Proof. Let S = socg 2 ) and K = G 2 0. Since S is transitive on 2 and K is the stabilizer of a point, G 2 = SK, and hence, by Propositions 2.5, 2.6, and 2.8, G 2 = SK = ϕ T )/ϕ G [1] ) ) ϕ G 0 )/ϕ G [1] ) ) = ϕ G )/ϕ G [1] ). is We will next show that there exists a locally 3-arc-transitive regular cover of K m,n only if there exist locally 3-arc-transitive regular covers of K 2,m and K 2,n, respectively. For a complete bipartite graph K m,n with 1 = m and 2 = n, if γ, δ 1, then we define Km,n γ,δ = K 2,n to be the subgraph induced on {γ, δ} 2. The following proof, which simultaneously simplifies and strengthens results from a previous version of this paper, comes from an anonymous referee: Proposition 2.10. Let P : Γ K m,n be a regular covering projection, and assume that Γ is locally G, 3)-arc-transitive, where G is the lift of a group G AutK m,n ). If α P 1 α) and β P 1 β) are vertices in the same connected component Σ of P 1 K α,β m,n), then Σ is locally G { α, β}, 3)-arc-transitive. Proof. It is clear that the graphs Km,n γ,δ = K 2,n are isomorphic for each choice of γ, δ 1. Moreover, given a vertex 0 2, the group G 0 is 2-transitive on 1, and so for any γ, δ 1, there is a subgroup of G that takes Km,n α,β to Km,n. γ,δ Since this group lifts by assumption, there is an isomorphism κ : P 1 Km,n) α,β P 1 Km,n) γ,δ by Lemma 2.2. Furthermore, the subgroup of G for which Km,n α,β is invariant, namely G {α,β}, is a locally 3-arc-transitive subgroup of AutKm,n). α,β Since G {α,β} lifts, by [5, Theorem 3], any connected component of P 1 Km,n) α,β is also locally G, 3)-arc-transitive. The result follows. Proposition 2.10 implies that, for a complete bipartite graph K m,n with a locally 3-arc-transitive regular cover, if 1 = m, 2 = n, β 1, and H β is the group generated by the voltages assigned to the edges incident with β, then there exists a locally 3-arc-transitive regular cover of K 2,n with covering transformation group isomorphic to H β. Moreover, the voltage assigned to the arc i, β) in K 2,n is the same as that which is assigned to the arc i, β) in Km,n, α,β i.e., there is an isomorphism of covering projections. Note further that by Lemma 2.2, for any vertices β, γ 1 \{α}, there is a group isomorphism τ : H γ H β, and the group H β is independent of the choice of β. We can now prove Theorem 1.1. Proof of Theorem 1.1. By Proposition 2.10, if i = n, then K 2,n has a locally K, 3)-arc-transitive regular cover with covering transformation group H β, where K is a lift of the group K AutK 2,n ). Let be the bipart of size n in K 2,n. Note that K = K, so K[1] = 1. Let T = sock ) and ϕ : K AutH β ) be the induced action, as above. If ϕ T ) = 1, then, by Proposition 2.7, n = p f for some prime p and f N, and H β is an elementary abelian group of order p f. Otherwise, T has a nontrivial induced action on H β, and, by Corollary 2.9, K = K is involved in AutH β ). Moreover, since K [1] = 1, we have ϕ K [1] ) = 1, and K = ϕ K )/ϕ K [1] ) = ϕ K ).

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 9 In this case, K, which has a 2-transitive action on n = = i elements, is isomorphic to a subgroup of AutH β ). Using Proposition 2.8, a similar argument shows that, in either case, K i v = G i v is isomorphic to a subgroup of AutH β) for any v i. The result follows. 3. Locally 3-arc-transitive regular covers of complete bipartite graphs with cyclic covering transformation group Let Γ = K m,n have biparts 1 and 2, and assume that Γ has a locally 3-arctransitive regular cover Γ with covering projection P : Γ Γ. We will also assume that the group of covering transformations is cyclic, i.e., let H = CTP) = ξ = Z N for some integer N N, N > 1, where the cyclic group will be viewed additively. As in the previous section, we fix β α 1, let G be the group of automorphisms that lift, and let T = T be the subgroup of G that contains G [1] and T/G[1] = socg 2 ). Furthermore, G has an induced action on H given by ϕ : G AutH). Lemma 3.1. If 2 > 2, then the induced action of the group T on H is trivial, i.e., ϕ T ) = 1. Proof. By Theorem 1.1, if the induced action of T on H is not trivial, then there exists X AutH β ) with a 2-transitive action on 2 elements. On the other hand, H is cyclic and generated by the voltages assigned to the edges of Γ, and so H β H is also cyclic. Actually, by Lemma 2.4, the voltages assigned to the edges of Γ all have the same order, so H β = H.) Thus AutH β ) is isomorphic to the group of units of H β, which is abelian. When i > 2, no 2-transitive group on i is abelian, and so no such group X can exist, a contradiction. Lemma 3.2. If 2 > 2, then G 2 = Z p :Z p 1 and H = Z p. Proof. By Lemma 3.1, the group T has trivial induced action on H, i.e., T Kerϕ ). By Theorem 1.1, the group of covering transformations H must be isomorphic to Z f p, where p is a prime and f N. Since H is cyclic, H = Z p and 2 = p. Moreover, by Proposition 2.7, socg 2 ) = Z p, and hence G 2 = Z p : Z p 1. Proposition 3.3. The only possibilities for Γ = K m,n are K 2,p and K p,p, where p is a prime. Proof. By Lemma 3.2, we may assume that 2 = n = p for some prime p. On the other hand, using the same reasoning, 1 = p for some prime p. If both p, p > 2, then by Lemma 3.2 it is impossible for all edges to have voltages from both Z p and Z p unless p = p. Hence the only possibilities are K 2,p and K p,p, where p is a prime. Proof of Theorem 1.2. First, we note that Proposition 3.3 implies that K 2,2, K 2,p, and K p,p are the only three possibilities; all that remains is to show that unique covers actually exist in each listed case. We note that K 2,2 is a four cycle, and the cover of K 2,2 derived from the group Z N is a 4N-cycle. Moreover, for any two covering transformation groups H 1 = H2 = ZN, there is an obvious isomorphism, and so by Lemma 2.2, there is a unique such cover up to isomorphism of covering projections. Suppose now that 1 = m = 2 and 2 = n = p, where p is an odd prime. By Lemma 3.2, N = p. Continuing with the notation above, let 1 = {α, β} and 2 = {0, 1,..., p 1}. By Lemma 2.4, the voltages assigned to the co-tree arcs i, β), where 1 i p 1, must be distinct non-identity elements of Z p. Up to relabeling the vertices, i.e., up to an automorphism of Γ = K 2,p, there is a unique way to assign voltages

10 ERIC SWARTZ to the edges. By Lemma 2.2, there is at most one such cover of K 2,p up to isomorphism of covering projections. It only remains to show that this covering projection has the desired properties. Let H = ξ, viewed additively, and without a loss of generality assume that ξ = iξ for all i. Note that the closed walks based at the vertex α are generated by the closed walks of the form α, i, β, 0, α), 1 i p 1. Thus by Lemma 2.3 an automorphism g of Γ = K 2,p lifts to g if and only if there exists a solution to the equations ξ g# = ξ W g for all i, where i W i = α, i, β, 0, α) and g # AutH). Given a primitive element t of the field GFp), let g be the p 1)-cycle 1 t t 2... t p 2 ) in Sym 2 ), and assume that g fixes both α and β. Then, for all i > 0, assuming that i t k i mod p), ξ g# = ξg# t k = tk i ξ) g# ; on the other hand, ξ W g = ξ i t k i) g β = t k i ) g ξ = t ki+1 ξ. Indeed, these equations are satisfied by the outer automorphism ν of H given by ν : ξ tξ, and so the p 1)-cycle g lifts. Let h be the p-cycle 0 1... p 1)) in Sym 2 ). Then ξ h# = iξ)h# ; on the other hand, ξ W h i = ξ 1β + ξ i+1)β = ξ + i + 1)ξ = iξ. These equations are satisfied by the trivial automorphism of H, and so h lifts. The group generated by h and g acts 2-transitively on 2 while leaving all of 1 fixed. Next, let x be the automorphism of K 2,p that interchanges α and β but fixes all other vertices. We will now associate the voltage ξ with the closed walk U i := 0, α, i, β, 0) based at 0. In order for x to lift, there must exist x # AutH) such that ξ x# = ξ Ui x = ξ 1 for all i 2 \{0}. This corresponds to the outer automorphism ζ : ξ ξ, and so x lifts as well. The group generated by x acts 2-transitively on 1 while leaving all of 2 fixed. It is easy to see that the group G = g, h, x lifts and Γ is locally G, 3)-arctransitive. By [5, Theorem 3], this unique cover up to isomorphism of covers) will be a locally 3-arc-transitive graph. Finally, we suppose that m = n = p, where p is an odd prime. By Lemma 3.2, H = Z p. By Lemma 2.4, the voltages assigned to the edges incident with a single vertex are distinct and all come from Z p. Up to relabeling the vertices, i.e., up to an automorphism of K p,p, there is a unique way to do this. Namely, if we let 1 = {α 0, α 1,..., α p 1 }, let 2 = {0, 1,..., p 1}, and assume that the spanning tree with identity voltages consists of all edges incident with either α 0 or 0, we will assign voltages to co-tree edges by letting ξ iαj be the i, j)-entry of the following p 1) p 1) matrix: ξ 2ξ 3ξ... p 1)ξ 2ξ 22ξ) 32ξ)... p 1)2ξ) 3ξ 23ξ) 33ξ)... p 1)3ξ).... p 1)ξ 2p 1)ξ) 3p 1)ξ)... p 1)p 1)ξ) It is clear that each row and each column of the matrix contains each nonidentity element of ξ exactly once. Hence we have a voltage assignment which satisfies all the above lemmas, and, up to permuting the vertices of K p,p, this assignment is unique. Arguing again as in the K 2,p case, we see that the desired automorphisms lift, and so we again get a cover of the desired type that is unique up to isomorphism of covering projections.

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 11 4. Locally 3-arc-transitive regular covers of complete bipartite graphs with elementary abelian covering transformation group In this section, we will assume that the group of covering transformations is elementary abelian; that is, we will assume that H := CTP) = Z d p, where p is a prime and d 2 the case d = 1 falls under the cyclic case). We begin by proving Theorem 1.3, which is essentially a corollary of Theorem 1.1: Proof of Theorem 1.3. In this case, H β = Z f p for some f d. Thus AutH β ) = GL f p) GL d p), and the result follows. By Theorem 1.1, the process of finding the locally 3-arc-transitive covers of K m,n comes down to finding locally 3-arc-transitive covers of K 2,m and K 2,n. While it can be extremely difficult to determine which K 2,m have lifts in full generality, there are certain cases that are not so difficult. Proposition 4.1. Up to isomorphism of covering projections, Γ = K 2,p f has a unique locally 3-arc-transitive regular cover Γ with covering projection P : Γ Γ such that H = CTP) = Z f p. Proof. By Lemma 2.4, a different nonidentity element of H must be assigned as a voltage to each co-tree edge of Γ. Up to relabeling the vertices, i.e., up to an automorphism of Γ, there is a unique way to do this, and so, by Lemma 2.2, there is at most one such cover. Let the biparts of Γ be 1 = {α, β} and 2 = {0, 1,..., p f 1}. Define W i to be the closed walk α, i, β, 0, α), 1 i p f 1. The W i form a generating set for all closed walks based at α. We will show that this particular voltage assignment results in a locally 3-arc-transitive regular cover Γ. First, let h AutΓ) be the automorphism that fixes 2 but interchanges α and β. Thus ξ W h i α, i, β, 0, α) h = β, i, α, 0, β) ξ = ξ Wi. Since there is always an automorphism inverting all elements of an abelian group, by Lemma 2.3, h lifts. We will view H additively as a vector space, and we label the elements of H as 0,..., p f 1), where i is the voltage of the arc i, β). The W i generate a set of closed walks based at α, and the voltage of W i is i. Suppose g AutΓ) such that g fixes α, β, and 0. Then ξ W g i α, i, β, 0, α) g = α, i g, β, 0, α) i g. Thus any g AutΓ) that acts on {1,..., p f 1} as an element of GL f p) acts on { 1,..., p f 1} will lift to an automorphism of Γ. Now, let g i, 0 i p f 1, be defined to be the permutation of {0,..., p f 1} such that 0 g i = i and j g i = k, where ξ kβ has voltage corresponding to i + j. Since the voltages on edges incident with β are all distinct, this is well-defined permutation. Hence ξ W g i j α, j, β, 0, α) g i = α, k, β, i, α) i + i + j = j = ξ Wj. Since ξ g# i W j = ξ Wj is satisfied for all j by letting g # i be the trivial automorphism of H, g i lifts. Therefore, a group of automorphisms X of Γ stabilizing each element in 1 that acts isomorphically to AGL f p) on 2 lifts. Since the group G = X, h lifts, and Γ is locally G, 3)-arc-transitive, Γ is locally G, 3)-arc-transitive, as desired.

12 ERIC SWARTZ Corollary 4.2. Let H = Z d p. The graph K 2,p f has a locally 3-arc-transitive regular cover with CTP) H if and only if 1 f d. Proof. If f > d, then there are not enough distinct elements of H to assign as voltages to arcs of K 2,p f, a contradiction. If f d, then we choose a subgroup K H such that K = Z f p. The result follows from Proposition 4.1. Combined with Theorem 1.3, Proposition 4.1 shows that finding the possible m for which K 2,m has a locally 3-arc-transitive regular cover with elementary abelian covering transformations isomorphic to Z d p comes down to representation theory over GFp). We will now use these results to classify the complete bipartite graphs with locally 3-arctransitive regular covers whose covering transformation group is a subgroup of Z p Z p, where p is a prime. Lemma 4.3. Let p, r be distinct primes. If Z f r GL d p), then f d. Proof. This is a basic exercise in representation theory and is left to the reader. Proposition 4.4. Let H = Z p Z p, where p is a prime. The only values of m for which the complete bipartite graph K 2,m has a locally 3-arc-transitive regular cover whose covering transformations are a subgroup of H are m = 2, 3, p, and p 2. Proof. Let the biparts of Γ = K 2,m be 1 = {α, β} and 2. Let G AutΓ) be the subgroup of automorphisms that lifts to Γ such that Γ is locally G, 3)-arc-transitive. By Theorem 1.3, if S := socg 2 ), then either S = Z f p for some f N or G 2 GL 2p). By Corollary 4.2, if S = Z f p then f = 1, 2, and both K 2,p have K 2,p 2 have such covers, which are unique up to isomorphism of covering projections by Proposition 4.1. We also know that K 2,2 has such a cover by Theorem 1.2. By [21, Proposition 6.4], K 2,3 has a unique such cover up to isomorphism of covering projections), and all of AutK 2,3 ) lifts. Assume now that G 2 GL 2p) and 2 > 3. By [18, Proposition 5.5.10], no nonabelian finite simple group has a nontrivial representation of degree 2 in odd characteristic, and since GL 2 2) = 6, no nonabelian finite simple group is isomorphic to a subgroup of GL 2 2). Hence S = Z f r for some prime r p, and, by Lemma 4.3, f 2. Suppose first that f = 2. Let G = X GL2 p), and let X = NK, where N = socg 2 ) and K = G v, where v 2. Since N is a minimal normal subgroup of X and GF p) is cyclic, N is in the kernel of the determinant map. Moreover, the center of SL 2 p) has order 2, so either N = Z 2 2 or N PSL 2 p). The only subgroups of PSL 2 p) isomorphic to Z 2 r, r p, are isomorphic to Z 2 2 [3]. Hence N = Z 2 2 and so G = A4. However, A 4 has no faithful representation of degree 2, a contradiction. Hence f = 1, and G = Zr : Z r 1 = AGL1 r), where r > 3. However, when r 1 > 2, the group Z r : Z r 1 has no faithful representation of degree 2 see, for instance, [17, Theorem 25.10]), a final contradiction. Once the locally 3-arc-transitive regular covers of K 2,m and K 2,n have been found, it remains to be seen whether K m,n has a locally 3-arc-transitive regular cover. In certain cases, we can give a definitive answer. Proposition 4.5. If Γ = K p f,pd, where f divides d, then there exists a regular cover Γ and a covering projection P : Γ Γ such that Γ is locally 3-arc-transitive and CTP) = Z d p. Proof. Let V = Z d p and let τ be a generator of GL 1 p d ) GL d p). Since f divides d, p f 1 divides p d 1, and hence σ = τ p d 1 p f 1 has order p f 1, stabilizes a decomposition

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 13 of V into p d 1)/p f 1) subspaces of size p f 1, and acts semiregularly on the non-zero elements of V. Let the biparts of Γ be 1 = {γ 0,..., γ p 1} and f 2 = {δ 0,..., δ p 1}. We choose a d nonzero element ξ V, and to each arc δ i, γ j ), where 1 i p d 1 and 1 j p f 1, we assign the voltage ξ ij = ξ δi γ j = ξ τ i σ j = ξ σj τ i. Note that for any fixed i, the voltages ξ ij, ξ ij are distinct for j j, and, similarly, for any fixed j, the voltages ξ ij and ξ i j are distinct for i i. We define further the closed walk W ij = γ 0, δ i, γ j, δ 0, γ 0 ) based at γ 0, and define the closed walk U ij = δ 0, γ 0, δ i, γ j, δ 0 ) based at δ 0. We will show first that the element g AutΓ) lifts, where g acts like the cycle δ 1 δ 2... δ p 1) on d 2 and trivially on 1. In this case, we need to find g # AutV ) that satisfies: ξ τ i σ j) g # = ξ g# ij = ξ W g ij γ 0, δ i, γ j, δ 0, γ 0 ) g = γ 0, δ i+1) mod p d 1), γ j, δ 0, γ 0 ) ξ τ i+1 σ j = ξ τ i σ j) τ, and g # = τ demonstrates that g lifts. We will show next that the element h AutΓ) lifts, where h acts like the cycle γ 1 γ 2... γ p 1) on f 1 and trivially on 2. In this case, we need to find h # AutV ) that satisfies: ξ τ i σ j) h # = ξij h# = ξ W h ij γ 0, δ i, γ j, δ 0, γ 0 ) h = γ 0, δ i, γ j+1) mod p 1), δ f 0, γ 0 ) ξ τ i σ j+1 = ξ τ i σ j) σ, and h # = σ demonstrates that h lifts. We will next show that a group X acting regularly on 2 and trivially on 1 lifts. We will define the element x k X that sends δ x k 0 to δ k. We then define δ x k i = δ l, where ξ lj = ξ ij + ξ kj. In this case, we need x # k AutV ) that satisfies: ξ x# k ij = ξ W x k ij γ 0, δ i, γ j, δ 0, γ 0 ) x k = γ 0, δ l, γ j, δ k, γ 0 ) ξ kj + ξ lj = ξ ij, and x # k = 1 AutV ) satisfies these equations, and so x k lifts. A group Y acting regularly on 1 and trivially on 2 is shown to lift analagously the walks U ij are a generating set for the closed walks based at δ 0 ). The group that lifts acts locally 3-arc-transitively on Γ, and hence Γ is locally 3-arc-transitive as well. Lemma 4.6. Let p be a prime. If Γ = K 3,p 2, then there exists a regular cover Γ of Γ with covering projection P : Γ Γ such that Γ is locally 3-arc-transitive and CTP) = Z p Z p. Proof. First, if p = 3, then the result follows from Proposition 4.5. Let τ be a generator of GL 1 p 2 ). If p 3, then p 2 1 mod 3), and so we can find σ = τ p2 1 3 of order 3. Note also that since σ τ, [σ, τ] = 1. We define the biparts of Γ to be 1 = {α, β, γ} and 2 = {0, 1,..., p 2 1}. If V = Z p Z p and ξ is a nonidentity element of V such that ξ σ ξ, we define the voltage on the arc i, β) to be ξ = ξ τ i and the voltage on the arc i, γ) to be ξ iγ = ξ + ξ σ = ξτ i + ξ τ iσ. We define W iɛ to be the closed walk α, i, ɛ, 0, α) and U iɛ to be the closed walk 0, α, i, ɛ, 0).

14 ERIC SWARTZ We will show first that the element g AutΓ) lifts, where g acts like the cycle 1 2... p n 1) on 2 and trivially on 1. In this case, we need to find g # AutV ) that satisfies: ξ τ i) g # = ξ g# = ξ W g α, i, β, 0, α)g = α, i + 1) mod p n 1), β, 0, α) ξ τ i+1 = ξ τ i) τ, ) g ξ τ i + ξ τ i # σ = ξ g# iγ = ξ W g α, i, γ, 0, α)g = α, i + 1) mod p n 1), γ, 0, α) iγ ξ τ i+1) + ξ τ i+1σ = ξ τ i + ξ σ) τ τ i, and hence g # = τ demonstrates that g lifts. We will show now that the element x AutΓ) lifts, where x acts like the cycle α β γ) on 1 and trivially on 2. In this case, we need to find x # AutV ) that satisfies: ξ τ i) x # = ξ x# = ξ U x 0, α, i, β, 0) x = 0, β, i, γ, 0) ξ iγ ξ = ξ τ i) σ, ) x ξ τ i + ξ τ i # σ = ξiγ x# = ξ U x iγ 0, α, i, γ, 0) x = 0, β, i, α, 0) ξ. Since for any η V, η + η σ + η σ2 ) σ = η + η σ + η σ2 ), and σ fixes only the identity 0 V, for any η V we have η = η σ + η σ2. Thus, ) x ξ τ i + ξ τ i # σ = ξ = ξ τ i + ξ σ) σ τ i, and hence x # = σ demonstrates that x lifts. We will show now that a group Y acting regularly on 2 and trivially on 1 lifts. We will define the element y k Y that sends 0 y k to k. We then define i y k = l, where ξ lβ = ξ + ξ kβ. In this case, we need y # k AutV ) that satisfies: ξ y# k α, i, β, 0, α)y k = α, l, β, k, α) ξ kβ + ξ lβ = ξ, ξ y# k iγ α, i, γ, 0, α)y k = α, l, γ, k, α) ξ kγ + ξ lγ = ξ lβ ξ kβ ) + ξ lβ ξ kβ ) σ = ξ iγ, and hence y # k = 1 AutV ) demonstrates that y k lifts. Finally, we will show that an element h lifts, where h stabilizes 0, p 2 1, α and satisfies β h = γ, γ h = β. We will define the action of h on 2 \{0, p 2 1} as follows. The elements ξ, ξ σ form a basis for the vector space V, and there is a linear transformation ρ AutV ) such that ξ ρ = ξ + ξ σ and ξ σ ) ρ = ξ σ. For any i 2 \{0, p 2 1}, we define i h = l, where ξ ρ iγ = ξ τ i + ξ τ i σ) ρ = ξ τ l. This is a well-defined automorphism of Γ, and to see that it lifts, we need to find h # AutV ) such that: ξ τ i) h # = ξ h# = ξ W h α, i, β, 0, α) h = α, l, γ, 0, α) ξ lγ = ξ τ l + ξ τ l σ ) h ξ τ i + ξ τ i # σ = ξiγ h# = ξ W h iγ α, i, γ, 0, α) h = α, l, β, 0, α) ξ lβ = ξ τ i + ξ σ) ρ τ i.

REGULAR COVERSOF COMPLETE BIPARTITE GRAPHS 15 Now, since the elements ξ, ξ σ form a basis, there exist a i, b i Z p such that ξ τ i = a i ξ+b i ξ σ. Hence, ξ τ i + ξ τ iσ = a i ξ + b i ξ σ + a i ξ σ + b i ξ σ2 = a i ξ + b i ξ σ + a i ξ σ + b i ξ ξ σ ) = a i b i )ξ + a i ξ σ. This means that ξ τ l = ξ τ i + ξ τ i σ) ρ = ai b i )ξ + a i ξ σ ) ρ = a i b i )ξ b i ξ σ, and a similar calculation shows that ξ τ i) ρ = ai ξ + a i b i )ξ σ = ξ τ l + ξ τ lσ. Therefore, h # = ρ demonstrates that h lifts. The group generated by these automorphisms both lifts and acts locally 3-arc-transitively on Γ, and therefore Γ is a locally 3-arc-transitive regular cover of Γ. Lemma 4.7. Let p be a prime. If Γ = K 3,p, then there exists a regular cover Γ of Γ with covering projection P : Γ Γ such that Γ is locally 3-arc-transitive and CTP) = Z p Z p. Proof. First, if p = 2 or p = 3, then the result follows from [21, Proposition 6.4] or Theorem 1.2, respectively. Let V = Z p Z p, and let ξ, η be two elements of V such that ξ η = 0, the identity element of V, and let Γ = K 3,p have biparts 1 = {α, β, γ} and 2 = {0, 1,..., p 1}. For each i 2 \{0} which is naturally identified with Z p \{0}), we assign to the arc i, β) the voltage ξ = iξ, and we assign to the arc i, γ) the voltage ξ iγ = iη. A group stabilizing 1 and acting like AGL 1 p) on 2 lifts by a proof analogous to that of Theorem 1.2. The automorphism σ AutV ) defined by ξ σ = η ξ and η σ = ξ demonstrates that the automorphism x AutΓ) that acts trivially on 2 and as the 3-cycle α β γ) on 1 lifts, and the automorphism ρ AutV ) defined by ξ ρ = η and η ρ = ξ demonstrates that the automorphism h AutΓ) that acts trivially on 2 and as the transposition β γ) on 1 lifts. Therefore, the cover Γ derived from this voltage assignment is locally 3-arc-transitive, as desired. In general, it is not guaranteed that K m,n has a locally 3-arc-transitive regular cover even if K 2,m and K 2,n both have locally 3-arc-transitive regular covers with covering transformation groups isomorphic to a subgroup of Z d p, as the following lemma shows: Lemma 4.8 [20, Proposition 3.3]). Let p 3 be a prime. Then K 3,3 does not have a locally 3-arc-transitive regular cover with covering transformation group Z p Z p. We can now prove Theorem 1.4. Proof of Theorem 1.4. First, the result follows for K 2,2, K 2,3, K 2,p, K 2,p 2, K 3,p, K 3,p 2, K p,p, K p,p 2, and K p 2,p2 by Theorem 1.2, Propositions 4.4 and 4.5, and Lemmas 4.6 and 4.7. The only other possibility is K 3,3, which is ruled out by Lemma 4.8. Proof of Corollary 1.5. By Theorem 1.4, we only must consider K 2,2, K 2,3, K 2,p, K 2,p 2, K 3,p, K 3,p 2, K p,p, K p,p 2, and K p 2,p 2. However, K 2,2 is just C 4, which has only one cotree edge in a spanning tree, and can be eliminated immediately. For K 2,3, the uniqueness follows from [21, Proposition 6.4], and for the other graphs the uniqueness follows from Proposition 2.7 and reasoning as in the proof of Theorem 1.2.

16 ERIC SWARTZ It should be noted that all of the covers obtained in Theorems 1.2 and 1.4 have induced local 2-transitive actions that are affine groups. On the other hand, if E is the edge set of a graph Γ and T is the edge set of a spanning tree of Γ, [21, Proposition 6.4] shows that assigning the elements of a basis of Z p E\T to the co-tree edges of Γ induces a regular cover such that the full automorphism group AutΓ) lifts. On the other hand, a group G that has a 2-transitive action on m elements and a degree d representation over GFp) does not actually guarantee that a voltage assignment from Z d p to the arcs of K 2,m exists such that G lifts. Example 4.9. Even though A 5 GL3, 11), there is no voltage assignment from Z 3 11 to K 2,5 such that A 5 lifts. To see this, we can use the algorithm described in [21]. Indeed, the dual representation of A 5 on H 1 K 2,5 ; Z 11 ) = Z 4 11 leaves no 3-dimensional space invariant, and hence no such cover can exist. The cases when d > 2 can be approached similarly. Theorem 1.3 reduces the problem of finding the possible values of m for which K 2,m can have a locally 3-arc-transitive cover whose covering transformation group is isomorphic to a subgroup of Z d p to which 2-transitive groups can have a d-dimensional representation over GF p). From there, if K 2,m and K 2,n both have locally 3-arc-transitive covers with covering transformation group isomorphic to a subgroup of Z d p, then the algorithm presented in [21] can be used to determine whether or not K m,n has a locally 3-arc-transitive cover with covering transformation group isomorphic to a subgroup of Z d p. Acknowledgements. The author acknowledges the support of the Australian Research Council Discovery Grant DP120101336 during his time spent at The University of Western Australia and would like to thank the anonymous referee, whose comments and critiques greatly improved the content and presentation from a previous version. References [1] M.D.E. Conder and J. Ma. Arc-transitive abelian regular covers of cubic graphs. Preprint. [2] A. Delgado and B. Stellmacher. Weak B,N)-pairs of rank 2. In Groups and Graphs: New Results and Methods, pages 58 244. Birkhäuser Verlag, 1985. [3] L.E. Dickson. Linear groups: With an exposition of the Galois field theory. with an introduction by W. Magnus. Dover Publications Inc., New York, 1958. [4] J. Dixon and B. Mortimer. Permutation Groups. Springer, 1996. [5] D. Ž. Djoković. Automorphisms of graphs and coverings. J. Combinatorial Theory Ser. B, 16:243 247, 1974. [6] S.-F. Du, J.H. Kwak, and M.-Y. Xu. 2-arc-transitive regular covers of complete graphs having the covering transformation group Zp. 3 J. Combin. Theory Ser. B, 93:73 93, 2005. [7] S.-F. Du, D. Maru si c, and A.O. Waller. On 2-arc-transitive covers of complete graphs. J. Combin. Theory Ser. B, 74:276 290, 1998. [8] S.F. Du, J.H. Kwak, and M.Y. Xu. Lifting of automorphisms on the elementary abelian regular coverings. Lin. Alg. Appl., 373:101 119, 2003. [9] W. Fan, D. Leemans, C.H. Li, and J. Pan. Locally 2-arc-transitive complete bipartite graphs. J. Combin. Theory Ser. A, 120:683 699, 2013. [10] X.G. Fang, C. H. Li, and C.E. Praeger. The locally 2-arc transitive graphs admitting a Ree simple group. J. Algebra, 282:638 666, 2004.