Showing 1–44 of 44 results for author: König, J

Sparsity of stable primes for dynamical sequences

Authors: Joachim König

Abstract: We show that a dynamical sequence $(f_n)_{n\in \mathbb{N}}$ of polynomials over a number field whose set of stable primes is of positive density must necessarily have a very restricted, and in particular ``near-solvable" dynamical Galois group. Together with existing heuristics, our results suggest moreover that a polynomial $f$ all of whose iterates are irreducible modulo a positive density subse… ▽ More We show that a dynamical sequence $(f_n)_{n\in \mathbb{N}}$ of polynomials over a number field whose set of stable primes is of positive density must necessarily have a very restricted, and in particular ``near-solvable" dynamical Galois group. Together with existing heuristics, our results suggest moreover that a polynomial $f$ all of whose iterates are irreducible modulo a positive density subset of the primes must necessarily be a composition of linear functions, monomials and Dickson polynomials. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Polynomial compositions with large monodromy groups and applications to arithmetic dynamics

Authors: Joachim König, Danny Neftin, Shai Rosenberg

Abstract: For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmet… ▽ More For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmetic dynamics regarding arboreal representations, and forward and backward orbits of such $f$. In particular, given an orbit $(a_n)_{n=0}^\infty$ of $f$ as above, we show that for "almost all" $a\in \mathbb Z$, the set of primes $p$ for which some $a_n$ is congruent to $a$ mod $p$ is "small". △ Less

Submitted 1 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

MSC Class: 37P55; 11G99; 12F10; 20B05

Efficient training of Gaussian processes with tensor product structure

Authors: Josie König, Max Pfeffer, Martin Stoll

Abstract: To determine the optimal set of hyperparameters of a Gaussian process based on a large number of training data, both a linear system and a trace estimation problem must be solved. In this paper, we focus on establishing numerical methods for the case where the covariance matrix is given as the sum of possibly multiple Kronecker products, i.e., can be identified as a tensor. As such, we will repres… ▽ More To determine the optimal set of hyperparameters of a Gaussian process based on a large number of training data, both a linear system and a trace estimation problem must be solved. In this paper, we focus on establishing numerical methods for the case where the covariance matrix is given as the sum of possibly multiple Kronecker products, i.e., can be identified as a tensor. As such, we will represent this operator and the training data in the tensor train format. Based on the AMEn method and Krylov subspace methods, we derive an efficient scheme for computing the matrix functions required for evaluating the gradient and the objective function in hyperparameter optimization. △ Less

Submitted 23 December, 2023; originally announced December 2023.

On sets of rational functions which locally represent all of $\mathbb{Q}$

Authors: Benjamin Klahn, Joachim König

Abstract: We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We give strong necessary conditions on the shape of functions appearing in a minimal set with this property, as well as numerous concrete examples showing that the… ▽ More We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We give strong necessary conditions on the shape of functions appearing in a minimal set with this property, as well as numerous concrete examples showing that these necessary conditions are in a way also close to sufficient. We connect the problem to well-studied concepts such as intersective polynomials and arithmetically exceptional functions. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Time-limited Balanced Truncation for Data Assimilation Problems

Authors: Josie König, Melina A. Freitag

Abstract: Balanced truncation is a well-established model order reduction method which has been applied to a variety of problems. Recently, a connection between linear Gaussian Bayesian inference problems and the system-theoretic concept of balanced truncation has been drawn. Although this connection is new, the application of balanced truncation to data assimilation is not a novel idea: it has already been… ▽ More Balanced truncation is a well-established model order reduction method which has been applied to a variety of problems. Recently, a connection between linear Gaussian Bayesian inference problems and the system-theoretic concept of balanced truncation has been drawn. Although this connection is new, the application of balanced truncation to data assimilation is not a novel idea: it has already been used in four-dimensional variational data assimilation (4D-Var). This paper discusses the application of balanced truncation to linear Gaussian Bayesian inference, and, in particular, the 4D-Var method, thereby strengthening the link between systems theory and data assimilation further. Similarities between both types of data assimilation problems enable a generalisation of the state-of-the-art approach to the use of arbitrary prior covariances as reachability Gramians. Furthermore, we propose an enhanced approach using time-limited balanced truncation that allows to balance Bayesian inference for unstable systems and in addition improves the numerical results for short observation periods. △ Less

Submitted 24 August, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: 24 pages, 5 figures

MSC Class: 62F15; 65L99; 93A15; 93B11

On fake subfields of number fields

Authors: Joachim König

Abstract: We investigate the failure of a local-global principle with regard to "containment of number fields"; i.e., we are interested in pairs of number fields $(K_1,K_2)$ such that $K_2$ is not a subfield of any algebraic conjugate $K_1^σ$ of $K_1$, but the splitting type of any single rational prime $p$ unramified in $K_1$ and in $K_2$ is such that it cannot rule out the containment… ▽ More We investigate the failure of a local-global principle with regard to "containment of number fields"; i.e., we are interested in pairs of number fields $(K_1,K_2)$ such that $K_2$ is not a subfield of any algebraic conjugate $K_1^σ$ of $K_1$, but the splitting type of any single rational prime $p$ unramified in $K_1$ and in $K_2$ is such that it cannot rule out the containment $K_2\subseteq K_1^σ$. Examples of such situations arise naturally, but not exclusively, via the well-studied concept of arithmetically equivalent number fields. We give some systematic constructions yielding "fake subfields" (in the above sense) which are not induced by arithmetic equivalence. This may also be interpreted as a failure of a certain local-global principle related to zeta functions of number fields. △ Less

Submitted 3 August, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: (Second, revised version)

Quadratic number fields with unramified $SL_2(5)$-extensions

Authors: Joachim König

Abstract: Continuing the line of thought of an earlier work, we provide the first infinite family of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(5)$, the (unique) smallest nonsolvable group for which this problem was previously open. Our approach also improves upon previous work by yielding the first infinite family of real-quadratic fields possessing an unrami… ▽ More Continuing the line of thought of an earlier work, we provide the first infinite family of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(5)$, the (unique) smallest nonsolvable group for which this problem was previously open. Our approach also improves upon previous work by yielding the first infinite family of real-quadratic fields possessing an unramified Galois extension whose Galois group is perfect and not generated by involutions. Our result also amounts to a new existence result on quintic number fields with squarefree discriminant and additional local conditions. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Locally cyclic extensions with Galois group $GL_2(p)$

Authors: Sara Arias-de-Reyna, Joachim König

Abstract: Using Galois representations attached to elliptic curves, we construct Galois extensions of $\mathbb{Q}$ with group $GL_2(p)$ in which all decomposition groups are cyclic. This is the first such realization for all primes $p$. Using Galois representations attached to elliptic curves, we construct Galois extensions of $\mathbb{Q}$ with group $GL_2(p)$ in which all decomposition groups are cyclic. This is the first such realization for all primes $p$. △ Less

Submitted 4 October, 2023; v1 submitted 17 September, 2022; originally announced September 2022.

Comments: 15 pages. Section 5 is now merged with section 4 according to the suggestion of the referee. To appear in Int. J. Number Theory

MSC Class: 12F12; 11G05

The Hilbert-Grunwald specialization property over number fields

Authors: Joachim König, Danny Neftin

Abstract: Given a finite group $G$ and a number field $K$, we investigate the following question: Does there exist a Galois extension $E/K(t)$ with group $G$ whose set of specializations yields solutions to all Grunwald problems for the group $G$, outside a finite set of primes? Following previous work, such a Galois extension would be said to have the "Hilbert-Grunwald property". In this paper we reach a c… ▽ More Given a finite group $G$ and a number field $K$, we investigate the following question: Does there exist a Galois extension $E/K(t)$ with group $G$ whose set of specializations yields solutions to all Grunwald problems for the group $G$, outside a finite set of primes? Following previous work, such a Galois extension would be said to have the "Hilbert-Grunwald property". In this paper we reach a complete classification of groups $G$ which admit an extension with the Hilbert-Grunwald property over fields such as $K=\mathbb{Q}$. We thereby also complete the determination of the ``local dimension" of finite groups over $\mathbb{Q}$. △ Less

Submitted 31 December, 2021; originally announced December 2021.

Unramified extensions of quadratic number fields with certain perfect Galois groups

Authors: Joachim König

Abstract: We provide infinite families of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(7)$ and $2.A_7$, respectively. To my knowledge, these are the first instances of infinitely many such realizations for perfect groups which are not generated by involutions, a property which makes them difficult to approach for the problem in question and leads to somewhat del… ▽ More We provide infinite families of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(7)$ and $2.A_7$, respectively. To my knowledge, these are the first instances of infinitely many such realizations for perfect groups which are not generated by involutions, a property which makes them difficult to approach for the problem in question and leads to somewhat delicate local-global problems in inverse Galois theory. △ Less

Submitted 20 September, 2021; originally announced September 2021.

A note on inverse results of random walks in Abelian groups

Authors: Jake Koenig, Hoi H. Nguyen, Amanda Pan

Abstract: In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature. In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature. △ Less

Submitted 16 August, 2021; originally announced August 2021.

The Rank of the Sandpile Group of Random Directed Bipartite Graphs

Authors: Atal Bhargava, Jack DePascale, Jake Koenig

Abstract: We identify the asymptotic distribution of $p$-rank of the sandpile group of a random directed bipartite graphs which are not too imbalanced. We show this matches exactly that of the Erd{ö}s-R{é}nyi random directed graph model, suggesting the Sylow $p$-subgroups of this model may also be Cohen-Lenstra distributed. Our work builds on results of Koplewitz who studied $p$-rank distributions for unbal… ▽ More We identify the asymptotic distribution of $p$-rank of the sandpile group of a random directed bipartite graphs which are not too imbalanced. We show this matches exactly that of the Erd{ö}s-R{é}nyi random directed graph model, suggesting the Sylow $p$-subgroups of this model may also be Cohen-Lenstra distributed. Our work builds on results of Koplewitz who studied $p$-rank distributions for unbalanced random bipartite graphs, and showed that for sufficiently unbalanced graphs, the distribution of $p$-rank differs from the Cohen-Lenstra distribution. Koplewitz \cite{K} conjectured that for random balanced bipartite graphs, the expected value of $p$-rank is $O(1)$ for any $p$. This work proves his conjecture and gives the exact distribution for the subclass of directed graphs. △ Less

Submitted 17 February, 2023; v1 submitted 11 June, 2021; originally announced June 2021.

Comments: 11 pages, 1 figure

Rank gain of Jacobians over number field extensions with prescribed Galois groups

Authors: Bo-Hae Im, Joachim König

Abstract: We investigate the rank gain of elliptic curves, and more generally, Jacobian varieties, over non-Galois extensions whose Galois closure has Galois group permutation-isomorphic to a prescribed group $G$ (in short, "$G$-extensions"). In particular, for alternating groups and (an infinite family of) projective linear groups $G$, we show that most elliptic curves over (e.g.) $\mathbb{Q}$ gain rank ov… ▽ More We investigate the rank gain of elliptic curves, and more generally, Jacobian varieties, over non-Galois extensions whose Galois closure has Galois group permutation-isomorphic to a prescribed group $G$ (in short, "$G$-extensions"). In particular, for alternating groups and (an infinite family of) projective linear groups $G$, we show that most elliptic curves over (e.g.) $\mathbb{Q}$ gain rank over infinitely many $G$-extensions, conditional only on the parity conjecture. More generally, we provide a theoretical criterion which allows to deduce that "many" elliptic curves gain rank over infinitely many $G$-extensions, conditional on the parity conjecture and on the existence of geometric Galois realizations with group $G$ and certain local properties. △ Less

Submitted 2 August, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

On parametric and generic polynomials with one parameter

Authors: Pierre Dèbes, Joachim König, François Legrand, Danny Neftin

Abstract: Given fields $k \subseteq L$, our results concern one parameter $L$-parametric polynomials over $k$, and their relation to generic polynomials. The former are polynomials $P(T,Y) \in k[T][Y]$ of group $G$ which parametrize all Galois extensions of $L$ of group $G$ via specialization of $T$ in $L$, and the latter are those which are $L$-parametric for every field $L \supseteq k$. We show, for examp… ▽ More Given fields $k \subseteq L$, our results concern one parameter $L$-parametric polynomials over $k$, and their relation to generic polynomials. The former are polynomials $P(T,Y) \in k[T][Y]$ of group $G$ which parametrize all Galois extensions of $L$ of group $G$ via specialization of $T$ in $L$, and the latter are those which are $L$-parametric for every field $L \supseteq k$. We show, for example, that being $L$-parametric with $L$ taken to be the single field $\mathbb{C}((V))(U)$ is in fact sufficient for a polynomial $P(T, Y) \in \mathbb{C}[T][Y]$ to be generic. As a corollary, we obtain a complete list of one parameter generic polynomials over a given field of characteristic 0, complementing the classical literature on the topic. Our approach also applies to an old problem of Schinzel: subject to the Birch and Swinnerton-Dyer conjecture, we provide one parameter families of affine curves over number fields, all with a rational point, but with no rational generic point. △ Less

Submitted 15 February, 2021; originally announced February 2021.

A note on invariable generation of nonsolvable permutation groups

Authors: Joachim König, Gicheol Shin

Abstract: We prove a result on the asymptotic proportion of randomly chosen pairs of permutations in the symmetric group $S_n$ which "invariably" generate a nonsolvable subgroup, i.e., whose cycle structures cannot possibly both occur in the same solvable subgroup of $S_n$. As an application, we obtain that for a large degree "random" integer polynomial $f$, reduction modulo two different primes can be expe… ▽ More We prove a result on the asymptotic proportion of randomly chosen pairs of permutations in the symmetric group $S_n$ which "invariably" generate a nonsolvable subgroup, i.e., whose cycle structures cannot possibly both occur in the same solvable subgroup of $S_n$. As an application, we obtain that for a large degree "random" integer polynomial $f$, reduction modulo two different primes can be expected to suffice to prove the nonsolvability of $Gal(f/\mathbb{Q})$. △ Less

Submitted 10 April, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: Fixed some error in the introduction, compared to Version 1

Rank of Near Uniform Matrices

Authors: Jake Koenig, Hoi Nguyen

Abstract: A central question in random matrix theory is universality. When an emergent phenomena is observed from a large collection of chosen random variables it is natural to ask if this behavior is specific to the chosen random variable or if the behavior occurs for a larger class of random variables. The rank statistics of random matrices chosen uniformly from $\operatorname{Mat}(\mathbf{F}_q)$ over a… ▽ More A central question in random matrix theory is universality. When an emergent phenomena is observed from a large collection of chosen random variables it is natural to ask if this behavior is specific to the chosen random variable or if the behavior occurs for a larger class of random variables. The rank statistics of random matrices chosen uniformly from $\operatorname{Mat}(\mathbf{F}_q)$ over a finite field are well understood. The universality properties of these statistics are not yet fully understood however. Recently Wood [39] and Maples [26] considered a natural requirement where the random variables are not allowed to be too close to constant and they showed that the rank statistics match with the uniform model up to an error of type $e^{-cn}$. In this paper we explore a condition called near uniform, under which we are able to prove tighter bounds $q^{-cn}$ on the asymptotic convergence of the rank statistics. Our method is completely elementary, and allows for a small number of the entries to be deterministic, and for the entries to not be identically distributed so long as they are independent. More importantly, the method also extends to near uniform symmetric, alternating matrices. Our method also applies to two models of perturbations of random matrices sampled uniformly over $\operatorname{GL}_n(\mathbf{F}_q)$: subtracting the identity or taking a minor of a uniformly sampled invertible matrix. △ Less

Submitted 11 January, 2021; v1 submitted 31 December, 2020; originally announced January 2021.

Comments: 25 pages; 2 figures

Covering groups of $M_{22}$ as regular Galois groups over $\mathbb{Q}$

Authors: Joachim König

Abstract: We close a gap in the literature by showing that the full covering groups of the Mathieu group $M_{22}$ and of its automorphism group $Aut(M_{22})$ occur as the Galois group of $\mathbb{Q}$-regular Galois extensions of $\mathbb{Q}(t)$. We close a gap in the literature by showing that the full covering groups of the Mathieu group $M_{22}$ and of its automorphism group $Aut(M_{22})$ occur as the Galois group of $\mathbb{Q}$-regular Galois extensions of $\mathbb{Q}(t)$. △ Less

Submitted 4 July, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Journal ref: J. Number Theory 229 (2021), 314-327

On unramified solvable extensions of small number fields

Authors: Joachim König

Abstract: We investigate unramified extensions of number fields with prescribed solvable Galois group and certain extra conditions. In particular, we are interested in the minimal degree of a number field $K$, Galois over $\mathbb{Q}$, such that $K$ possesses an unramified $G$-extension. We improve the best known bounds for the degree of such number fields $K$ for certain classes of solvable groups, in part… ▽ More We investigate unramified extensions of number fields with prescribed solvable Galois group and certain extra conditions. In particular, we are interested in the minimal degree of a number field $K$, Galois over $\mathbb{Q}$, such that $K$ possesses an unramified $G$-extension. We improve the best known bounds for the degree of such number fields $K$ for certain classes of solvable groups, in particular nilpotent groups. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Journal ref: Bull. Aust. Math. Soc. 103 (2021) 428-437

The Hilbert-Schinzel specialization property

Authors: Arnaud Bodin, Pierre Dèbes, Joachim König, Salah Najib

Abstract: We establish a version "over the ring" of the celebrated Hilbert Irreducibility Theorem. Given finitely many polynomials in $k+n$ variables, with coefficients in $\mathbb Z$, of positive degree in the last $n$ variables, we show that if they are irreducible over $\mathbb Z$ and satisfy a necessary "Schinzel condition", then the first $k$ variables can be specialized in a Zariski-dense subset of… ▽ More We establish a version "over the ring" of the celebrated Hilbert Irreducibility Theorem. Given finitely many polynomials in $k+n$ variables, with coefficients in $\mathbb Z$, of positive degree in the last $n$ variables, we show that if they are irreducible over $\mathbb Z$ and satisfy a necessary "Schinzel condition", then the first $k$ variables can be specialized in a Zariski-dense subset of ${\mathbb Z}^k$ in such a way that irreducibility over ${\mathbb Z}$ is preserved for the polynomials in the remaining $n$ variables. The Schinzel condition, which comes from the Schinzel Hypothesis, is that, when specializing the first $k$ variables in ${\mathbb Z}^k$, the product of the polynomials should not always be divisible by some common prime number. Our result also improves on a "coprime" version of the Schinzel Hypothesis: under some Schinzel condition, coprime polynomials assume coprime values. We prove our results over many other rings than $\mathbb Z$, e.g. UFDs and Dedekind domains for the last one. △ Less

Submitted 25 November, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 21 pages

MSC Class: 12E05; 12E30; 13Fxx; 11A05; 11A41

The local dimension of a finite group over a number field

Authors: Joachim König, Danny Neftin

Abstract: Let $G$ be a finite group and $K$ a number field. We construct a $G$-extension $E/F$, with $F$ of transcendence degree $2$ over $K$, that specializes to all $G$-extensions of $K_\mathfrak{p}$, where $\mathfrak{p}$ runs over all but finitely many primes of $K$. If furthermore $G$ has a generic extension over $K$, we show that the extension $E/F$ has the so-called Hilbert-Grunwald property. These re… ▽ More Let $G$ be a finite group and $K$ a number field. We construct a $G$-extension $E/F$, with $F$ of transcendence degree $2$ over $K$, that specializes to all $G$-extensions of $K_\mathfrak{p}$, where $\mathfrak{p}$ runs over all but finitely many primes of $K$. If furthermore $G$ has a generic extension over $K$, we show that the extension $E/F$ has the so-called Hilbert-Grunwald property. These results are compared to the notion of essential dimension of $G$ over $K$, and its arithmetic analogue. △ Less

Submitted 29 December, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Reducible Fibers of Polynomial Maps

Authors: Joachim König, Danny Neftin

Abstract: For a degree $n$ polynomial $f$ over the rationals, the elements in the fiber $f^{-1}(a)$ are of degree $n$ over $\mathbb Q$ for most rational values $a$ by Hilbert's irreducibility theorem. Determining the set of exceptional $a$'s without this property is a long standing open problem that is closely related to the Davenport--Lewis--Schinzel problem (1959) on reducibility of separated polynomials.… ▽ More For a degree $n$ polynomial $f$ over the rationals, the elements in the fiber $f^{-1}(a)$ are of degree $n$ over $\mathbb Q$ for most rational values $a$ by Hilbert's irreducibility theorem. Determining the set of exceptional $a$'s without this property is a long standing open problem that is closely related to the Davenport--Lewis--Schinzel problem (1959) on reducibility of separated polynomials. As opposed to previous work which mostly concerns indecomposable $f$, we answer both problems for decomposable $f=f_1\circ\cdots\circ f_r$, as long as the indecomposable factors $f_i\in\mathbb Q[x]$ are of degree at least $5$ and are not $x^n$ or a Chebyshev polynomial composed with linear polynomials. △ Less

Submitted 8 September, 2022; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: 26 pgs. The manuscript was shortened to focus on polynomials and makes clearer the use of the classification of finite simple groups

MSC Class: 12E25; 20B15

On Galois extensions with prescribed decomposition groups

Authors: Kwang-Seob Kim, Joachim König

Abstract: We study the inverse Galois problem with local conditions. In particular, we ask whether every finite group occurs as the Galois group of a Galois extension of $\mathbb{Q}$ all of whose decomposition groups are cyclic (resp., abelian). This property is known for all solvable groups due to Shafarevich's solution of the inverse Galois problem for those groups. It is however completely open for nonso… ▽ More We study the inverse Galois problem with local conditions. In particular, we ask whether every finite group occurs as the Galois group of a Galois extension of $\mathbb{Q}$ all of whose decomposition groups are cyclic (resp., abelian). This property is known for all solvable groups due to Shafarevich's solution of the inverse Galois problem for those groups. It is however completely open for nonsolvable groups. In this paper, we provide general criteria to attack such questions via specialization of function field extensions, and in particular give the first infinite families of Galois realizations with only cyclic decomposition groups and with nonsolvable Galois group. We also investigate the analogous problem over global function fields. △ Less

Submitted 21 July, 2021; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: Updated to the published version. Additionally, inserted corrigendum addressing a minor error on p.17

Journal ref: J. Number Theory 220 (2021), 266-294

Density results for specialization sets of Galois covers

Authors: Joachim König, François Legrand

Abstract: We provide evidence for this conclusion: given a finite Galois cover $f: X \rightarrow \mathbb{P}^1_\mathbb{Q}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle… ▽ More We provide evidence for this conclusion: given a finite Galois cover $f: X \rightarrow \mathbb{P}^1_\mathbb{Q}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadratic twists of hyperelliptic curves over $\mathbb{Q}$ with large genus, under the abc-conjecture (a diophantine reformulation of the case $G=\mathbb{Z}/2\mathbb{Z}$ of our result). As a further evidence, we exhibit a few finite groups $G$ for which the above conclusion holds unconditionally for almost all covers of $\mathbb{P}^1_\mathbb{Q}$ of group $G$. We also introduce a local-global principle for specializations of Galois covers $f: X \rightarrow \mathbb{P}^1_\mathbb{Q}$ and show that it often fails if $f$ has abelian Galois group and sufficiently many branch points, under the abc-conjecture. On the one hand, such a local-global conclusion underscores the "smallness" of the specialization set of a Galois cover of $\mathbb{P}^1_\mathbb{Q}$. On the other hand, it allows to generate conditionally "many" curves over $\mathbb{Q}$ failing the Hasse principle, thus generalizing a recent result of Clark and Watson devoted to the hyperelliptic case. △ Less

Submitted 10 October, 2019; v1 submitted 10 April, 2019; originally announced April 2019.

Comments: 37 pages

On the mod-$p$ distribution of discriminants of $G$-extensions

Authors: Joachim König

Abstract: This paper was motivated by a recent paper by Krumm and Pollack investigating modulo-$p$ behaviour of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specialization… ▽ More This paper was motivated by a recent paper by Krumm and Pollack investigating modulo-$p$ behaviour of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specializations of a given Galois cover under restrictions on the discriminant. In particular, we make a connection with existing heuristics about the distribution of discriminants of Galois extensions such as the Malle conjecture: our results show in a precise sense the non-existence of "local obstructions" to such heuristics, in many cases essentially only under the assumption that $G$ occurs as the Galois group of a Galois cover defined over $\mathbb{Q}$. This complements and generalizes a similar result in the direction of the Malle conjecture by Dèbes. △ Less

Submitted 19 August, 2021; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: Theorem 3.1 had been distorted due to several typos/omissions. This has been fixed

MSC Class: 11R32

Journal ref: Int. J. of Number Theory 16 (4) (2020), 767--785

Unramified extensions over low degree number fields

Authors: Joachim König, Danny Neftin, Jack Sonn

Abstract: For various nonsolvable groups $G$, we prove the existence of extensions of the rationals $\mathbb{Q}$ with Galois group $G$ and inertia groups of order dividing $ge(G)$, where $ge(G)$ is the smallest exponent of a generating set for $G$. For these groups $G$, this gives the existence of number fields of degree $ge(G)$ with an unramified $G$-extension. The existence of such extensions over… ▽ More For various nonsolvable groups $G$, we prove the existence of extensions of the rationals $\mathbb{Q}$ with Galois group $G$ and inertia groups of order dividing $ge(G)$, where $ge(G)$ is the smallest exponent of a generating set for $G$. For these groups $G$, this gives the existence of number fields of degree $ge(G)$ with an unramified $G$-extension. The existence of such extensions over $\mathbb{Q}$ for all finite groups would imply that, for every finite group $G$, there exists a quadratic number field admitting an unramified $G$-extension, as was recently conjectured. We also provide further evidence for the existence of such extensions for all finite groups, by proving their existence when $\mathbb{Q}$ is replaced with a function field $k(t)$ where $k$ is an ample field. △ Less

Submitted 13 January, 2019; originally announced January 2019.

On number fields with $k$-free discriminants

Authors: Joachim König

Abstract: Given a finite transitive permutation group $G$, we investigate number fields $F/\mathbb{Q}$ of Galois group $G$ whose discriminant is only divisible by small prime powers. This generalizes previous investigations of number fields with squarefree discriminant. In particular, we obtain a comprehensive result on number fields with cubefree discriminant. Our main tools are arithmetic-geometric, invol… ▽ More Given a finite transitive permutation group $G$, we investigate number fields $F/\mathbb{Q}$ of Galois group $G$ whose discriminant is only divisible by small prime powers. This generalizes previous investigations of number fields with squarefree discriminant. In particular, we obtain a comprehensive result on number fields with cubefree discriminant. Our main tools are arithmetic-geometric, involving in particular an effective criterion on ramification in specializations of Galois covers. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 24 pages

MSC Class: 12F12; 11R32; 11R29

Rational pullbacks of Galois covers

Authors: Pierre Dèbes, Joachim König, François Legrand, Danny Neftin

Abstract: The finite subgroups of ${\rm PGL}_2(\mathbb{C})$ are shown to be the only finite groups $G$ with this property: for some integer $r_0$ (depending on $G$), all Galois covers $X\rightarrow \mathbb{P}^1_{\mathbb{C}}$ of group $G$ can be obtained by pulling back those with at most $r_0$ branch points along non-constant rational maps $\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}}$. F… ▽ More The finite subgroups of ${\rm PGL}_2(\mathbb{C})$ are shown to be the only finite groups $G$ with this property: for some integer $r_0$ (depending on $G$), all Galois covers $X\rightarrow \mathbb{P}^1_{\mathbb{C}}$ of group $G$ can be obtained by pulling back those with at most $r_0$ branch points along non-constant rational maps $\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}}$. For $G\subset {\rm PGL}_2(\mathbb{C})$, it is in fact enough to pull back one well-chosen cover with at most $3$ branch points. A consequence of the converse for inverse Galois theory is that, for $G\not \subset {\rm PGL}_2({\mathbb{C}})$, letting the branch point number grow provides truly new Galois realizations $F/{\mathbb{C}}(T)$ of $G$. Another application is that the ``Beckmann--Black'' property that ``any two Galois covers of $\mathbb{P}^1_{\mathbb{C}}$ with the same group $G$ are always pullbacks of another Galois cover of group $G$'' only holds if $G\subset {\rm PGL}_2({\mathbb{C}})$. △ Less

Submitted 15 February, 2021; v1 submitted 5 July, 2018; originally announced July 2018.

An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups

Authors: Dominik Barth, Joachim König, Andreas Wenz

Abstract: We propose an approach for the computation of multi-parameter families of Galois extensions with prescribed ramification type. More precisely, we combine existing deformation and interpolation techniques with recently developed strong tools for the computation of $3$-point covers. To demonstrate the applicability of our method in relatively large degrees, we compute several families of polynomials… ▽ More We propose an approach for the computation of multi-parameter families of Galois extensions with prescribed ramification type. More precisely, we combine existing deformation and interpolation techniques with recently developed strong tools for the computation of $3$-point covers. To demonstrate the applicability of our method in relatively large degrees, we compute several families of polynomials with symplectic Galois groups, in particular obtaining the first totally real polynomials with Galois group PSp(6,2). △ Less

Submitted 24 September, 2019; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: 19 pages, 5 figures, the polynomials are contained in an ancillary file

Journal ref: Journal of Symbolic Computation 101C (2020) pp. 352-366

The Grunwald problem and specialization of families of regular Galois extensions

Authors: Joachim König

Abstract: We investigate specializations of infinite families of regular Galois extensions over number fields. The problem to what extent the local behaviour of specializations of one single regular Galois extension can be prescribed has been investigated by Dèbes and Ghazi in the unramified case, and by Legrand, Neftin and the author in general. Here, we generalize these results and give a partial solution… ▽ More We investigate specializations of infinite families of regular Galois extensions over number fields. The problem to what extent the local behaviour of specializations of one single regular Galois extension can be prescribed has been investigated by Dèbes and Ghazi in the unramified case, and by Legrand, Neftin and the author in general. Here, we generalize these results and give a partial solution to Grunwald problems using Galois extensions arising as specializations of a family of regular Galois extensions. △ Less

Submitted 5 September, 2019; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 21 p

Some examples of quadratic fields with finite nonsolvable maximal unramified extensions II

Authors: Kwang-Seob Kim, Joachim König

Abstract: Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple under the assumption of the GRH(Generalized Riemann Hypothesis). In this article, we will identify more quadratic number fields $K$ such that $Gal(K_{ur}/K)$ i… ▽ More Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple under the assumption of the GRH(Generalized Riemann Hypothesis). In this article, we will identify more quadratic number fields $K$ such that $Gal(K_{ur}/K)$ is a finite nonsolvable group and also explicitly calculate their Galois groups under the assumption of the Generalized Riemann Hypothesis. △ Less

Submitted 25 September, 2017; originally announced September 2017.

Comments: 22 pages

MSC Class: 11R37; 11F80; 11R29

Almost-Regular Dessins on a Sphere and Torus

Authors: Joachim König, Arielle Leitner, Danny Neftin

Abstract: The Hurwitz problem asks which ramification data are realizable, that is appear as the ramification type of a covering. We use dessins d'enfant to show that families of genus 1 regular ramification data with small changes are realizable with the exception of four families which were recently shown to be nonrealizable. A similar description holds in the case of genus 0 ramification data. The Hurwitz problem asks which ramification data are realizable, that is appear as the ramification type of a covering. We use dessins d'enfant to show that families of genus 1 regular ramification data with small changes are realizable with the exception of four families which were recently shown to be nonrealizable. A similar description holds in the case of genus 0 ramification data. △ Less

Submitted 21 September, 2017; v1 submitted 20 September, 2017; originally announced September 2017.

MSC Class: 14; 20; 54

On the local behaviour of specializations of function field extensions

Authors: Joachim König, François Legrand, Danny Neftin

Abstract: Given a field $k$ of characteristic zero and an indeterminate $T$ over $k$, we investigate the local behaviour at primes of $k$ of finite Galois extensions of $k$ arising as specializations of finite Galois extensions $E/k(T)$ (with $E/k$ regular) at points $t_0 \in \mathbb{P}^1(k)$. We provide a general result about decomposition groups at primes of $k$ in specializations, extending a fundamental… ▽ More Given a field $k$ of characteristic zero and an indeterminate $T$ over $k$, we investigate the local behaviour at primes of $k$ of finite Galois extensions of $k$ arising as specializations of finite Galois extensions $E/k(T)$ (with $E/k$ regular) at points $t_0 \in \mathbb{P}^1(k)$. We provide a general result about decomposition groups at primes of $k$ in specializations, extending a fundamental result of Beckmann concerning inertia groups. We then apply our result to study crossed products, the Hilbert--Grunwald property, and finite parametric sets. △ Less

Submitted 5 January, 2018; v1 submitted 10 September, 2017; originally announced September 2017.

Comments: 27 pages

Galois realizations with inertia groups of order two

Authors: Joachim Koenig, Daniel Rabayev, Jack Sonn

Abstract: There are several variants of the inverse Galois problem which involve restrictions on ramification. In this paper we give sufficient conditions that a given finite group $G$ occurs infinitely often as a Galois group over the rationals $\mathbb Q$ with all nontrivial inertia groups of order $2$. Notably any such realization of $G$ can be translated up to a quadratic field over which the correspond… ▽ More There are several variants of the inverse Galois problem which involve restrictions on ramification. In this paper we give sufficient conditions that a given finite group $G$ occurs infinitely often as a Galois group over the rationals $\mathbb Q$ with all nontrivial inertia groups of order $2$. Notably any such realization of $G$ can be translated up to a quadratic field over which the corresponding realization of $G$ is unramified. The sufficient conditions are imposed on a parametric polynomial with Galois group $G$--if such a polynomial is available--and the infinitely many realizations come from infinitely many specializations of the parameter in the polynomial. This will be applied to the three finite simple groups $A_5$, $PSL_2(7)$ and $PSL_3(3)$. Finally, the applications to $A_5$ and $PSL_3(3)$ are used to prove the existence of infinitely many optimally intersective realizations of these groups over the rational numbers (proved earlier for $PSL_2(7)$ by the first author). △ Less

Submitted 12 November, 2017; v1 submitted 8 January, 2017; originally announced January 2017.

Comments: 12 pages. Link to arXiv added to first reference

MSC Class: 11R32; 11R09

Non-parametricity of rational translates of regular Galois extensions

Authors: Joachim König

Abstract: We generalize a result of F.\ Legrand about the existence of non-parametric Galois extensions for a given group $G$. More precisely, for a $K$-regular Galois extension $F|K(t)$, we consider the translates $F(s)|K(s)$ by an extension $K(s)|K(t)$ of rational function fields (in other words, $s$ is a root of $g(X)-t$ for some rational function $g\in K(X)$). We then show that if $F|K(t)$ is a $K$-regu… ▽ More We generalize a result of F.\ Legrand about the existence of non-parametric Galois extensions for a given group $G$. More precisely, for a $K$-regular Galois extension $F|K(t)$, we consider the translates $F(s)|K(s)$ by an extension $K(s)|K(t)$ of rational function fields (in other words, $s$ is a root of $g(X)-t$ for some rational function $g\in K(X)$). We then show that if $F|K(t)$ is a $K$-regular Galois extension with group $G$ over a number field $K$, then for any degree $k\ge 2$ and almost all (in a density sense) rational functions $g$ of degree $k$, the translate of $F$ by a root field of $g(X)-t$ over $K(t)$ is non-$G$-parametric, i.e.\ not all Galois extensions of $K$ with group $G$ arise as specializations of $F(s)|K(s)$. △ Less

Submitted 11 June, 2017; v1 submitted 23 December, 2016; originally announced December 2016.

Non-parametric sets of regular realizations over number fields

Authors: Joachim König, François Legrand

Abstract: Given a number field $k$, we show that, for many finite groups $G$, all the Galois extensions of $k$ with Galois group $G$ cannot be obtained by specializing any given finitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$ regular. Our examples include abelian groups, dihedral groups, symmetric groups, general linear groups over finite fields, etc. We also provide a similar concl… ▽ More Given a number field $k$, we show that, for many finite groups $G$, all the Galois extensions of $k$ with Galois group $G$ cannot be obtained by specializing any given finitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$ regular. Our examples include abelian groups, dihedral groups, symmetric groups, general linear groups over finite fields, etc. We also provide a similar conclusion while specializing any given infinitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$ regular of a certain type, under a conjectural "uniform Faltings" theorem". △ Less

Submitted 24 October, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

On the reducibility behaviour of Thue polynomials

Authors: Joachim König

Abstract: We prove a result about reducibility behaviour of Thue polynomials over the rationals that was conjectured by Müller. More precisely, we show that, apart from few explicitly given exceptions, these polynomials have only finitely many reducible integer specializations. Special cases have been proved e.g. by Müller and Langmann. The proof uses ramification theory to reduce the assertion to a stateme… ▽ More We prove a result about reducibility behaviour of Thue polynomials over the rationals that was conjectured by Müller. More precisely, we show that, apart from few explicitly given exceptions, these polynomials have only finitely many reducible integer specializations. Special cases have been proved e.g. by Müller and Langmann. The proof uses ramification theory to reduce the assertion to a statement about permutation groups containing an $n$-cycle. This statement is finally proven with the help of the classification of primitive permutation groups containing an $n$-cycle (a result which rests on the classification of finite simple groups). △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 8 pages

MSC Class: 11C08; 12E25; 20B05

On intersective polynomials with non-solvable Galois group

Authors: Joachim König

Abstract: We present new theoretical results on the existence of intersective polynomials with certain prescribed Galois groups, namely the projective and affine linear groups $PGL_2(\ell)$ and $AGL_2(\ell)$ as well as the affine symplectic groups $AGSp_4(\ell):=(\mathbb{F}_\ell)^4 \rtimes GSp_4(\ell)$. For further families of affine groups, existence results are proven conditional on the existence on certa… ▽ More We present new theoretical results on the existence of intersective polynomials with certain prescribed Galois groups, namely the projective and affine linear groups $PGL_2(\ell)$ and $AGL_2(\ell)$ as well as the affine symplectic groups $AGSp_4(\ell):=(\mathbb{F}_\ell)^4 \rtimes GSp_4(\ell)$. For further families of affine groups, existence results are proven conditional on the existence on certain tamely ramified Galois extensions. We also compute explicit families of intersective polynomials for certain non-solvable groups. △ Less

Submitted 13 December, 2023; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: A very belated update to the published version of the paper

MSC Class: 11R32; 11C08

Journal ref: Communications in Algebra 46(6) (2018), 2405-2416

Computation of Hurwitz spaces and new explicit polynomials for almost simple Galois groups

Authors: Joachim König

Abstract: We compute the first explicit polynomials with Galois groups $G=PΓL_3(4)$, $PGL_3(4)$, $PSL_3(4)$ and $PSL_5(2)$ over $\mathbb{Q}(t)$. Furthermore we compute the first examples of totally real polynomials with Galois groups $PGL_2(11)$, $PSL_3(3)$, $M_{22}$ and $Aut(M_{22})$ over $\mathbb{Q}$. All these examples make use of families of covers of the projective line ramified over four or more point… ▽ More We compute the first explicit polynomials with Galois groups $G=PΓL_3(4)$, $PGL_3(4)$, $PSL_3(4)$ and $PSL_5(2)$ over $\mathbb{Q}(t)$. Furthermore we compute the first examples of totally real polynomials with Galois groups $PGL_2(11)$, $PSL_3(3)$, $M_{22}$ and $Aut(M_{22})$ over $\mathbb{Q}$. All these examples make use of families of covers of the projective line ramified over four or more points, and therefore use techniques of explicit computations of Hurwitz spaces. Similar techniques were used previously e.g. by Malle, Couveignes, Granboulan and Hallouin. Unlike previous examples, however, some of our computations show the existence of rational points on Hurwitz spaces that would not have been obvious from theoretical arguments. △ Less

Submitted 17 December, 2015; originally announced December 2015.

MSC Class: 11R32; 12Y05

A note on the product of two permutations of prescribed orders

Authors: Joachim König

Abstract: We prove a conjecture by Stefan Kohl on the existence of triples of permutations of bounded degree with prescribed orders and product 1. This result leads to an existence result for covers of the complex projective line with bounded degree and prescribed ramification indices. We prove a conjecture by Stefan Kohl on the existence of triples of permutations of bounded degree with prescribed orders and product 1. This result leads to an existence result for covers of the complex projective line with bounded degree and prescribed ramification indices. △ Less

Submitted 16 December, 2016; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: 8 pages

MSC Class: 05A05; 57M12

Journal ref: J.Europ.Combin. (2016), p.50-56

Septic equations are solvable by 2-fold origami

Authors: Joachim König, Dmitri Nedrenco

Abstract: In this paper we prove that a generic rational equation of degree $7$ is solvable by 2-fold origami. In particular we show how to septisect an arbitrary angle. This extends the work of Alperin & Lang and Nishimura on 2-fold origami. Furthermore we give exact crease patterns for folding polynomials with Galois groups $A_7$ resp. $PSL_3\mathbb{F}_2$. In this paper we prove that a generic rational equation of degree $7$ is solvable by 2-fold origami. In particular we show how to septisect an arbitrary angle. This extends the work of Alperin & Lang and Nishimura on 2-fold origami. Furthermore we give exact crease patterns for folding polynomials with Galois groups $A_7$ resp. $PSL_3\mathbb{F}_2$. △ Less

Submitted 27 April, 2015; originally announced April 2015.

Comments: 12 pages, 5 figures

MSC Class: 51N20; 14H50; 12Y05

On rational functions with monodromy group $M_{11}$

Authors: Joachim König

Abstract: We compute new polynomials with Galois group $M_{11}$ over $\mathbb{Q}(t)$. These polynomials stem from various families of covers of $\mathbb{P}^1\mathbb{C}$ ramified over at least 4 points. Each of these families has features that make a detailed study interesting. Some of the polynomials lead, via specialization, to number fields with very small discriminant or few ramified primes. We compute new polynomials with Galois group $M_{11}$ over $\mathbb{Q}(t)$. These polynomials stem from various families of covers of $\mathbb{P}^1\mathbb{C}$ ramified over at least 4 points. Each of these families has features that make a detailed study interesting. Some of the polynomials lead, via specialization, to number fields with very small discriminant or few ramified primes. △ Less

Submitted 14 December, 2015; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: 11 pages

MSC Class: 12Y05; 12F12; 11R09; 11R29

Journal ref: J.Symb.Comp. (2017), p.372-383

On the number of cyclic transitive subgroups of a permutation group

Authors: Joachim König

Abstract: We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields. We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields. △ Less

Submitted 9 February, 2015; v1 submitted 26 January, 2015; originally announced January 2015.

Comments: 8 pages

MSC Class: 20B05

A family of polynomials with Galois group $PSL_5(2)$ over $\mathbb{Q}(t)$

Authors: Joachim König

Abstract: We compute a family of coverings with four ramification points, defined over $\mathbb{Q}$, with regular Galois group $PSL_5(2)$. On the one hand, this is (to my knowledge) the first explicit polynomial with group $PSL_5(2)$ over $\mathbb{Q}(t)$. On the other hand, it also positively answers the question whether $PSL_5(2)$ is the monodromy group of a rational function over $\mathbb{Q}$. At least t… ▽ More We compute a family of coverings with four ramification points, defined over $\mathbb{Q}$, with regular Galois group $PSL_5(2)$. On the one hand, this is (to my knowledge) the first explicit polynomial with group $PSL_5(2)$ over $\mathbb{Q}(t)$. On the other hand, it also positively answers the question whether $PSL_5(2)$ is the monodromy group of a rational function over $\mathbb{Q}$. At least this does not follow from considering class triples in $PSL_5(2)$, as there are no rigid, rational genus-zero triples. Also, for 4-tuples, our family is the only one with a Hurwitz curve of genus zero (however it does not seem immediately clear without explicit computations whether this curve can be defined as a rational curve over $\mathbb{Q}$). There are also genus zero families with five branch points, and maybe their Hurwitz spaces can be shown to have rational points; however, so far I have not seen such arguments. △ Less

Submitted 7 August, 2013; originally announced August 2013.

Comments: 6 pages

MSC Class: 11

Solvability of Generalized Monomial Groups

Authors: Joachim König

Abstract: The solvability of monomial groups is a well-known result in character theory. Certain properties of Artin L-series suggest a generalization of these groups, namely to such groups where every irreducible character has some multiple which is induced from a character phi of U with solvable factor group U/ker(phi). Using the classification of finite simple groups, we prove that these groups are als… ▽ More The solvability of monomial groups is a well-known result in character theory. Certain properties of Artin L-series suggest a generalization of these groups, namely to such groups where every irreducible character has some multiple which is induced from a character phi of U with solvable factor group U/ker(phi). Using the classification of finite simple groups, we prove that these groups are also solvable. This means in particular that the mentioned properties do not enable one to deduce a proof of the famous Artin conjecture for any non-solvable group from a possible proof for solvable groups. △ Less

Submitted 22 January, 2009; originally announced January 2009.

Comments: 21 pages

MSC Class: 20C15

Journal ref: Journal of Group Theory 13 (2010), 207-220