695 research outputs found

    Computation of Galois groups of rational polynomials

    Full text link
    Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in the application of Stauduhar's method is to find, for a given pair of groups H<G a G-relative H-invariant, that is a multivariate polynomial F that is H-invariant, but not G-invariant. While generic, theoretical methods are known to find such F, in general they yield impractical answers. We give a general method for computing invariants of large degree which improves on previous known methods, as well as various special invariants that are derived from the structure of the groups. We then apply our new invariants to the task of computing the Galois groups of polynomials over the rational numbers, resulting in the first practical degree independent algorithm.Comment: Improved version and new titl

    Alternating groups and moduli space lifting Invariants

    Full text link
    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 .Comment: To appear in the Israel Journal as of 1/5/09; v4 is corrected from proof sheets, but does include some proof simplification in \S

    The tame-wild principle for discriminant relations for number fields

    Get PDF
    Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants. We show that for many resolvent constructions, these divisibility relations continue to hold even in the presence of wild ramification.Comment: 31 pages, 11 figures. Version 2 fixes a normalization error: |G| is corrected to n in Section 7.5. Version 3 fixes an off-by-one error in Section 6.

    Galois representations and Galois groups over Q

    Get PDF
    In this paper we generalize results of P. Le Duff to genus n hyperelliptic curves. More precisely, let C/Q be a hyperelliptic genus n curve and let J(C) be the associated Jacobian variety. Assume that there exists a prime p such that J(C) has semistable reduction with toric dimension 1 at p. We provide an algorithm to compute a list of primes l (if they exist) such that the Galois representation attached to the l-torsion of J(C) is surjective onto the group GSp(2n, l). In particular we realize GSp(6, l) as a Galois group over Q for all primes l in [11, 500000].Comment: Minor changes. 13 pages. This paper contains results of the collaboration started at the conference Women in numbers - Europe, (October 2013), by the working group "Galois representations and Galois groups over Q
    • …
    corecore