Computing the Galois group of a polynomial over a p-adic field (arXiv)
If we take a polynomial over a field, take its splitting field, then the automorphism group of the splitting field is the Galois group of the polynomial. It has a natural, faithful action on the roots of the polynomial, and so we think of the Galois group as a permutation group. Galois theory makes strong connections between the structure of the Galois group and the structure of the field, for example that subgroups correspond to subfields.
As well as being theoretically useful, it it useful to compute Galois groups of specific polynomials, but this can be hard.
Over global number fields (such as the rationals) the best general algorithm is due to Fieker and Klüners, which is a “resolvent method” meaning that it uses so-called “resolvent polynomials” to determine if the Galois group is contained in some particular group, and repeats this until the Galois group is uniquely determined.
Over p-adic fields, much less is known. If the roots of our polynomial generate an unramified or tamely ramified extension, then the well-known structure of these immediately give the Galois group. More recently, Greve and Pauli similarly characterize “singly wildly ramified” extensions (those whose ramification polygon has a single slope) which again leads to an algorithm to compute the Galois group. If the ramification polygon has many slopes, not much is known theoretically. On the other hand, tables of Galois groups for all p-adic fields up to degree 15 have been computed, available in the Local Fields Database and LMFDB.
This article presents a family of general algorithms for computing the Galois group of a polynomial defined over a p-adic field. At its core, this is also a resolvent method, but with significant departures from the global case. We have used this to verify the above-mentioned Galois groups, and have further computed the Galois groups of all totally ramified 2-adic fields of degrees 18, 20 and 22, tables of which are available here.
ExactpAdics: An exact representation of p-adic numbers (arXiv)
To date, the only highly-featured implementations of p-adic numbers are in Sage and Magma, and in both cases they are represented inexactly as a residue class, like
1 + O(2^10), which is the p-adic analogue of a real number being represented in floating-point arithmetic as
1.0000000000. Since they work to a fixed finite precision, which must be decided in advance by the user, precision errors can occur. When this happens, the user must manually increase the initial precision and try again. This is also inefficient because some computations do not require a high precision. In Magma at least, it is not always clear whether
1 + O(2^10) is really representing a p-adic number or the residue class itself, the distinction being important because some operations, such as polynomial factorization, depend on the interpretation.
We describe two new packages
ExactpAdics2 for the Magma computer algebra system for working with p-adic numbers exactly, in the sense that numbers are represented lazily to infinite p-adic precision. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. The two packages use different methods for lazy evaluation, which we describe and compare in detail. The intention is that this article will be of benefit to anyone wanting to implement similar functionality in other languages.
We currently recomment the typical user to use
ExactpAdics2, which is available here. The original
ExactpAdics, which is typically slower but could be faster in some applications, is available here.
On enumerating extensions of p-adic fields with given invariants (arXiv)
A well-known invariant of a Galois extension of p-adic fields is its Galois group, and the ramification filtration of the Galois group. For non-Galois extensions, replacing the Galois group by the Galois set of embeddings into a normal closure, this Galois set still has a filtration which obeys the “Galois correspondence”.
Some information about the ramification filtration is encoded in the ramification polygon of the extension, defined to be the Newton polygon of a certain ramification polynomial. More information is encoded in the leading p-adic digits of the coefficients of the ramification polynomial, and these also form an invariant, up to some equivalence relation.
This theory was recently used by Pauli and Sinclair in order to efficiently generate sets of defining polynomials for all extensions of a p-adic field of a given degree. This article is a re-exposition of the same results, containing little new content but with shorter and possibly more enlightening proofs. We supplement this with an algorithm to produce all ramification polygons of a given degree, and hence we can produce all totally ramified extensions of a given degree.
An implementation of these invariants is available here.
3-torsion and conductor of genus 2 curves (arXiv)
Given a curve defined over the rational numbers (or a number field), its (global) conductor is an integer measuring its “arithmetic complexity”. It is a local quantity, meaning that its p-part (the “local conductor exponent”) is a function of the curve over the field of p-adic numbers. For odd p, the p-part of the conductor is well-understood and computable. The 2-part however is more difficult: the previous best algorithm for computing this relies on the conjectural functional equation of the L-function of the curve, and as such it does not yield proven results. Furthermore, it uses global arithmetic, and so its run time is quadratic in the conductor, and so is only practical for small conductor.
We give an algorithm to compute the conductor for curves of genus 2. It is based on the analysis of 3-torsion of the Jacobian for genus 2 curves over 2-adic fields. In particular, the algorithm yields proven results. Furthermore, it mainly works 2-adically and so its run-time does not depend strongly on the global conductor.
An implementation is available here. It has been used to verify the conductors of most genus 2 curves in the LMFDB.