Source author record

Joachim König

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
4topics
4close collaborators

Published work

12 publications

preprint2022arXiv

Reducible Fibers of Polynomial Maps

For a degree nn polynomial ff over the rationals, the elements in the fiber f−1(a)f^{-1}(a) are of degree nn over Q\mathbb Q for most rational values aa by Hilbert's irreducibility theorem. Determining the set of exceptional aa'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 ff, we answer both problems for decomposable f=f1∘⋯∘frf=f_1\circ\cdots\circ f_r, as long as the indecomposable factors fi∈Q[x]f_i\in\mathbb Q[x] are of degree at least 55 and are not xnx^n or a Chebyshev polynomial composed with linear polynomials.

preprint2021arXiv

On parametric and generic polynomials with one parameter

Given fields k⊆Lk \subseteq L, our results concern one parameter LL-parametric polynomials over kk, and their relation to generic polynomials. The former are polynomials P(T,Y)∈k[T][Y]P(T,Y) \in k[T][Y] of group GG which parametrize all Galois extensions of LL of group GG via specialization of TT in LL, and the latter are those which are LL-parametric for every field L⊇kL \supseteq k. We show, for example, that being LL-parametric with LL taken to be the single field C((V))(U)\mathbb{C}((V))(U) is in fact sufficient for a polynomial P(T,Y)∈C[T][Y]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.

preprint2021arXiv

Rational pullbacks of Galois covers

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

preprint2021arXiv

The Hilbert-Grunwald specialization property over number fields

Given a finite group GG and a number field KK, we investigate the following question: Does there exist a Galois extension E/K(t)E/K(t) with group GG whose set of specializations yields solutions to all Grunwald problems for the group GG, 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 GG which admit an extension with the Hilbert-Grunwald property over fields such as K=QK=\mathbb{Q}. We thereby also complete the determination of the ``local dimension" of finite groups over Q\mathbb{Q}.

preprint2019arXiv

Density results for specialization sets of Galois covers

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

preprint2015arXiv

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

We compute the first explicit polynomials with Galois groups G=PΓL3(4)G=PΓL_3(4), PGL3(4)PGL_3(4), PSL3(4)PSL_3(4) and PSL5(2)PSL_5(2) over Q(t)\mathbb{Q}(t). Furthermore we compute the first examples of totally real polynomials with Galois groups PGL2(11)PGL_2(11), PSL3(3)PSL_3(3), M22M_{22} and Aut(M22)Aut(M_{22}) over Q\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.

preprint2013arXiv

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

We compute a family of coverings with four ramification points, defined over Q\mathbb{Q}, with regular Galois group PSL5(2)PSL_5(2). On the one hand, this is (to my knowledge) the first explicit polynomial with group PSL5(2)PSL_5(2) over Q(t)\mathbb{Q}(t). On the other hand, it also positively answers the question whether PSL5(2)PSL_5(2) is the monodromy group of a rational function over Q\mathbb{Q}. At least this does not follow from considering class triples in PSL5(2)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 Q\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.

preprint2009arXiv

Solvability of Generalized Monomial Groups

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.