Related papers: Counting number fields using multiple Dirichlet se…

Let $n \geq 6$ be an integer. We prove that the number of number fields with Galois group $A_n$ and absolute discriminant at most $X$ is asymptotically at least $X^{1/8 + O(1/n)}$. For $n \geq 8$ this improves upon the previously best known…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along…

Let $p$ be an odd prime and $F_{\infty}$ a $p$-adic Lie extension of a number field $F$ with Galois group $G$. Suppose that $G$ is a compact pro-$p$ $p$-adic Lie group with no torsion and that it contains a closed normal subgroup $H$ such…

Let T be a free Z_p-module of finite rank equipped with a continuous Z_p-linear action of the absolute Galois group of a number field K satisfying certain conditions. In this article, by using a Selmer group corresponding to T, we give a…

For every odd integer $n \geq 3$, we prove that there exist infinitely many number fields of degree $n$ and associated Galois group $S_n$ whose class number is odd. To do so, we study the class groups of families of number fields of degree…

We study the quantitative behaviour of genus numbers of abelian extensions of number fields with given Galois group. We prove an asymptotic formula for the average value of the genus number and show that any given genus number appears only…

We propose Dirichlet Simplex Nest, a class of probabilistic models suitable for a variety of data types, and develop fast and provably accurate inference algorithms by accounting for the model's convex geometry and low dimensional…

Algebraic methods are used to construct families of unramified abelian extensions of some families of number fields with specified Galois groups.

We study Dirichlet series enumerating orbits of Cartesian products of maps whose orbit distributions are modelled on the distributions of finite index subgroups of free abelian groups of finite rank. We interpret Euler factors of such orbit…

We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field:…

We consider the problem of analyzing the heterogeneity of clustering distributions for multiple groups of observed data, each of which is indexed by a covariate value, and inferring global clusters arising from observations aggregated over…

Galois theory is developed using elementary polynomial and group algebra. The method follows closely the original prescription of Galois, and has the benefit of making the theory accessible to a wide audience. The theory is illustrated by a…

Let $N(5,D_5,X)$ be the number of quintic number fields whose Galois closure has Galois group $D_5$ and whose discriminant is bounded by $X$. By a conjecture of Malle, we expect that $N(5,D_5,X) \sim C X^{1/2}$ for some constant $C$. The…

For a reductive group $G$ over a finite field $k$, and a smooth projective curve $X/k$, we give a motivic counting formula for the number of absolutely indecomposable $G$-bundles on $X$. We prove that the counting can be expressed via the…

Discontinuous Galerkin (DG) methods offer an enormous flexibility regarding local grid refinement and variation of polynomial degrees for a variety of different problem classes. With a focus on diffusion problems, we consider DG…

In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss's genus theory. In…

Motivated by the work of Lubotzky, we use Galois cohomology to study the difference between the number of generators and the minimal number of relations in a presentation of the Galois group $G_S(k)$ of the maximal extension of a global…

It is known that there are infinitely-many prime numbers which take the form of a polynomial of degree one with integer coefficients, this is Dirichlet's theorem. We use an elementary sieving argument together with bounds on the prime…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…