Publikationen von Prof. Dr. Jürgen Klüners

We describe the relations among the ℓ-torsion conjecture, a conjecture of Malle giving an upper bound for the number of extensions, and the discriminant multiplicity conjecture. We prove that the latter two conjectures are equivalent in some sense. Altogether, the three conjectures are equivalent for the class of solvable groups. We then prove the ℓ-torsion conjecture for ℓ-groups and the other two conjectures for nilpotent groups.

We prove an upper bound for the asymptotics of counting functions of number fields with nilpotent Galois groups.

In this paper we obtain a complete list of imaginary n-quadratic fields with class groups of exponent 3 and 5 under ERH for every positive integer n where an n-quadratic field is a number field of degree 2ⁿ represented as the composite of n quadratic fields.

Let D<0 be a fundamental discriminant and denote by E(D) the exponent of the ideal class group Cl(D) of K=ℚ(√D). Under the assumption that no Siegel zeros exist we compute all such D with E(D) dividing 8. We compute all D with |D| ≤ 3.1⋅10²⁰ such that E(D) ≤ 8.

We give an exact formula for the number of G-extensions of local function fields Fq((t)) for finite abelian groups G up to a conductor bound. As an application we give a lower bound for the corresponding counting problem by discriminant.

A polynomial time algorithm to find generators of the lattice of all subfields of a given number field was given in van Hoeij et al. (2013). This article reports on a massive speedup of this algorithm. This is primary achieved by our new concept of Galois-generating subfields. In general this is a very small set of subfields that determine all other subfields in a group-theoretic way. We compute them by targeted calls to the method from van Hoeij et al. (2013). For an early termination of these calls, we give a list of criteria that imply that further calls will not result in additional subfields. Finally, we explain how we use subfields to get a good starting group for the computation of Galois groups.

Let k be a number field, K/k a finite Galois extension with Galois group G, χ a faithful character of G. We prove that the Artin L-function L(s,χ,K/k) determines the Galois closure of K over $\ℚ$. In the special case $k=\ℚ$ it also determines the character χ.

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.

Let G be a wreath product of the form C₂ ≀ H, where C₂ is the cyclic group of order 2. Under mild conditions for H we determine the asymptotic behavior of the counting functions for number fields K/k with Galois group G and bounded discriminant. Those counting functions grow linearly with the norm of the discriminant and this result coincides with a conjecture of Malle. Up to a constant factor these groups have the same asymptotic behavior as the conjectured one for symmetric groups.

We prove that the distribution of the values of the 4-rank of ideal class groups of quadratic fields is not affected when it is weighted by a divisor type function. We then give several applications concerning a new lower bound of the sums of class numbers of real quadratic fields with discriminant less than a bound tending to infinity and several questions of P. Sarnak concerning reciprocal geodesics.

Given a field extension K/k of degree n we are interested in finding the subfields of K containing k. There can be more than polynomially many subfields. We introduce the notion of generating subfields, a set of up to n subfields whose intersections give the rest. We provide an efficient algorithm which uses linear algebra in k or lattice reduction along with factorization in any extension of K. Implementations show that previously difficult cases can now be handled.

We give asymptotic upper and lower bounds for the number of squarefree d (0 < d ≤ X) such that the equation x² − dy²= −1 is solvable. These estimates, as usual, can equivalently be interpreted in terms of real quadratic fields with a fundamental unit with norm −1 and give strong evidence in the direction of a conjecture due to P. Stevenhagen.

We call a positive square-free integer d special, if d is not divisible by primes congruent to 3 mod 4. We show that the period of the expansion of in continued fractions is asymptotically more often odd than even, when we restrict to special integers. We note that this period is always even for a non-special square-free integer d. It is well known that the above period is odd if and only if the negative Pell equation x²−dy²=−1 is solvable. The latter problem is solvable if and only if the narrow and the ordinary class groups of ℚ(√d) are equal. In a prior work we fully described the asymptotics of the 4-ranks of those class groups. Here we get the first non-trivial results about the asymptotic behavior of the 8-rank of the narrow class group. For example, we show that more than 76% of the quadratic fields ℚ(√d), where d is special, have the property that the 8-rank of the narrow class group is zero.

Let d be a nonsquare positive integer. We give the value of the natural probability that the narrow ideal class groups of the quadratic fields ℚ(√d) and ℚ(√−d) have the same 4-ranks.

We prove that van Hoeij’s original algorithm to factor univariate polynomials over the rationals runs in polynomial time, as well as natural variants. In particular, our approach also yields polynomial time complexity results for bivariate polynomials over a finite field.

We obtain strong information on the asymptotic behaviour of the counting function for nilpotent Galois extensions with bounded discriminant of arbitrary number fields. This extends previous investigations for the case of abelian groups. In particular, the result confirms a conjecture by the second author on this function for arbitrary groups in the nilpotent case. We further prove compatibility of the conjecture with taking wreath products with the cyclic group of order 2 and give examples in degree up to 8.

We study the asymptotics conjecture of Malle for dihedral groups Dℓ of order 2ℓ, where ℓ is an odd prime. We prove the expected lower bound for those groups. For the upper bounds we show that there is a connection to class groups of quadratic number fields. The asymptotic behavior of those class groups is predicted by the Cohen--Lenstra heuristics. Under the assumption of this heuristic we are able to prove the expected upper bounds.

We prove that the 4-rank of class groups of quadratic number fields behaves as predicted in an extension due to Gerth of the Cohen–Lenstra heuristics.

We prove that the number of quartic S4--extensions of the rationals of given discriminant d is $O_\eps(d^{1/2+\eps})$ for all $\eps>0$. For a prime number p we derive that the dimension of the space of octahedral modular forms of weight 1 and conductor p or p² is bounded above by O(p¹/²log(p)²).

In this Note we give a counter example to a conjecture of Malle which predicts the asymptotic behavior of the counting functions for field extensions with given Galois group and bounded discriminant.

Let K be a global field and O be an order of K. We develop algorithms for the computation of the unit group of residue class rings for ideals O in . As an application we show how to compute the unit group and the Picard group of O provided that we are able to compute the unit group and class group of the maximal order O of K.

We apply class field theory to the computation of the minimal discriminants for certain solvable groups. In particular, we apply our techniques to small Frobenius groups and all imprimitive degree 8 groups such that the corresponding fields have only a degree 2 and no degree 4 subfield.

Let {\ASIE K}\,/{\small \ℚ}({\ASIE t \!}) be a finite extension. We describe algorithms for computing subfields and automorphisms of {\ASIE K}\,/{\small \ℚ}({\ASIE t }\!). As an application we give an algorithm for finding decompositions of rational functions in {\small \ℚ(α)}. We also present an algorithm which decides if an extension {\ASIE L}\,/{\small \ℚ}({\ASIE t \!}) is a subfield of {\ASIE K}. In case [{\ASIE K : \;}{\small\ℚ}({\ASIE t \!})] = [{\ASIE L : \;}{\small \ℚ}({\ASIE t \!})] we obtain a {\small \ℚ}({\ASIE t \!})-isomorphism test. Furthermore, we describe an algorithm which computes subfields of the normal closure of {\ASIE K}\,/{\small \ℚ}({\ASIE t \!}).

This paper announces the creation of a database for number fields. It describes the contents and the methods of access, indicates the origin of the polynomials, and formulates the aims of this collection of fields.

We describe methods for the computation of Galois groups of univariate polynomials over the rationals which we have implemented up to degree 15. These methods are based on Stauduhar’s algorithm. All computations are done in unramified p -adic extensions. For imprimitive groups we give an improvement using subfields. In the primitive case we use known subgroups of the Galois group together with a combination of Stauduhar’s method and the absolute resolvent method.

Let L = K(α) be an Abelian extension of degree n of a number field K, given by the minimal polynomial of α over K. We describe an algorithm for computing the local Artin map associated with the extension L / K at a finite or infinite prime v of K. We apply this algorithm to decide if a nonzero a ∈ K is a norm from L, assuming that L / K is cyclic.

We describe methods for the construction of polynomials with certain types of Galois groups. As an application we deduce that all transitive groups G up to degree 15 occur as Galois groups of regular extensions of ℚ (t), and in each case compute a polynomial f ∈ ℚ [ x ] with Gal(f) = G.

We compute a polynomial with Galois group SL₂(11) over ℚ. Furthermore we prove that SL₂(11) is the Galois group of a regular extension of ℚ (t).

We present a new polynomial decomposition which generalizes the functional and homogeneous bivariate decomposition of irreducible monic polynomials in one variable over the rationals. With these decompositions it is possible to calculate the roots of an imprimitive polynomial by solving polynomial equations of lower degree.

Let L = ℚ(α) be an abelian number field of degree n. Most algorithms for computing the lattice of subfields of L require the computation of all the conjugates of α. This is usually achieved by factoring the minimal polynomial mα(x) of α over L. In practice, the existing algorithms for factoring polynomials over algebraic number fields can handle only problems of moderate size. In this paper we describe a fast probabilistic algorithm for computing the conjugates of α, which is based on p-adic techniques. Given mα(x) and a rational prime p which does not divide the discriminant disc(mα(x)) of mα(x), the algorithm computes the Frobenius automorphism of p in time polynomial in the size of p and in the size of mα(x). By repeatedly applying the algorithm to randomly chosen primes it is possible to compute all the conjugates of α.

Let ℚ(α) be an algebraic number field given by the minimal polynomial f of α. We want to determine all subfields ℚ(β) ⊂ Q(α) of given degree. It is convenient to describe each subfield by a pair (g, h) ∈ Z [t] x ℚ[t] such that g is the minimal polynomial of β = h(α) . There is a bijection between the block systems of the Galois group of f and the subfields of ℚ(α). These block systems are computed using cyclic subgroups of the Galois group which we get from the Dedekind criterion. When a block system is known we compute the corresponding subfield using p- adic methods. We give a detailed description for all parts of the algorithm.

The software packageKANT V4for computations in algebraic number fields is now available in version 4. In addition a new user interface has been released. We will outline the features of this new software package.

The purpose of this article is to determine all subfields ℚ(β) of fixed degree of a given algebraic number field ℚ(α). It is convenient to describe each subfield by a pair (h,g) of polynomials in ℚ[t] resp. Z[t] such thatgis the minimal polynomial of β = h(α). The computations are done in unramifiedp-adic extensions and use information concerning subgroups of the Galois group of the normal closure of ℚ(α) obtained from the van der Waerden criterion.