Font Size: a A A

Incremental ascent of a modular tower via branch cycle designs

Posted on:2003-11-27Degree:Ph.DType:Dissertation
University:University of California, IrvineCandidate:Bailey, Paul LawrenceFull Text:PDF
GTID:1462390011485929Subject:Mathematics
Abstract/Summary:
Let G be a finite group and let C be an r-tuple of conjugacy classes from G which generate G. The reduced Hurwitz space H (G, C)in,rd parameterizes weak equivalence classes of ramified covers of the Riemann sphere P1 with ramification in C. If the rank r is four, the reduced space is a Riemann surface. The modular curves Y1(n) are such spaces, with G = Dn and C four conjugacy classes of involutions.; We ask three modest questions regarding reduced rank four Hurwitz spaces: (1) How many components are there? (2) What are the genera of the components? (3) What are the fields of definition of the components?; Let p be a prime which divides the order of G. The universal elementary p-Frattini cover 1pG&d5; →G is versal for Frattini covers of G with elementary p-group kernel. Inductively define k+1pG&d5; =1p&parl0; kp G&d5;&parr0; . If p does not divide the orders of the elements in C, these conjugacy classes lift uniquely to kpG&d5; , producing a sequence of Riemann surfaces &ldots;H&parl0; k+1p G&d5;,C&parr0;in, rdH&parl0; kpG&d5; ,C&parr0;in,rd→&cdots;→ H&parl0;G,C&parr0;in,rdJ4, which is called a Modular Tower, and is denoted by MTp(G, C); this generalizes towers of modular curves. Understanding a Modular Tower requires combining knowledge of the base space and techniques of lifting information.; Certain configurations of the branch points give Harbater-Mumford covers, which are necessarily defined over R , producing real points on the Hurwitz space. If p = 2, these are the only points which lie in projective systems of real points up the tower, and lay at the center of computations.; Given a ramified cover, we develop its Nielsen graph, which dictates which covers can factor through the given one. Classical generators for the base space of the cover lift to an embedded realization of the graph in the covering space; this is a branch cycle design, and it produces classical generators for the covering space. Using branch cycle designs as platforms and real points as ladders, we ascend to the first level of the Modular Tower MT2(A4 , C32± ), and answer some of the questions posed above.
Keywords/Search Tags:Modulartower, Bold, Hspsp, Branchcycle
Related items