Alternating groups and moduli space lifting Invariants

Abstract

Main Theorem: Spaces of r-branch point 3-cycle covers, degree n or Galois of degree n!/2 have one (resp. two) component(s) if r=n-1 (resp. r\ge n). Improves Fried-Serre on deciding when sphere covers with odd-order branching lift to unramified Spin covers. We produce Hurwitz-Torelli automorphic functions on Hurwitz spaces, and draw Inverse Galois conclusions. Example: Absolute spaces of 3-cycle covers with +1 (resp. -1) lift invariant carry canonical even (resp. odd) theta functions when r is even (resp. odd). For inner spaces the result is independent of r. Another use appears in, http://www.math.uci.edu/~mfried/paplist-mt/twoorbit.html, "Connectedness of families of sphere covers of A_n-Type." This shows the M(odular) T(ower)s for the prime p=2 lying over Hurwitz spaces first studied by, http://www.math.uci.edu/~mfried/othlist-cov/hurwitzLiu-Oss.pdf, Liu and Osserman have 2-cusps. That is sufficient to establish the Main Conjecture: (*) High tower levels are general-type varieties and have no rational points.For infinitely many of those MTs, the tree of cusps contains a subtree -- a spire -- isomorphic to the tree of cusps on a modular curve tower. This makes plausible a version of Serre's O(pen) I(mage) T(heorem) on such MTs. Establishing these modular curve-like properties opens, to MTs, modular curve-like thinking where modular curves have never gone before. A fuller html description of this paper is at http://www.math.uci.edu/~mfried/paplist-cov/hf-can0611591.html .