scholarly journals Classifying Galois groups of small iterates via rational points

2018 ◽  
Vol 14 (05) ◽  
pp. 1403-1426
Author(s):  
Wade Hindes

We establish several surjectivity theorems regarding the Galois groups of small iterates of [Formula: see text] for [Formula: see text]. To do this, we use explicit techniques from the theory of rational points on curves, including the method of Chabauty–Coleman and the Mordell–Weil sieve. For example, we succeed in finding all rational points on a hyperelliptic curve of genus 7, with rank 5 Jacobian, whose points parametrize quadratic polynomials with a “newly small” Galois group at the fifth stage of iteration.

Author(s):  
Andrea Ferraguti ◽  
Carlo Pagano

Abstract In this paper, we prove several results on finitely generated dynamical Galois groups attached to quadratic polynomials. First, we show that, over global fields, quadratic post-critically finite (PCF) polynomials are precisely those having an arboreal representation whose image is topologically finitely generated. To obtain this result, we also prove the quadratic case of Hindes’ conjecture on dynamical non-isotriviality. Next, we give two applications of this result. On the one hand, we prove that quadratic polynomials over global fields with abelian dynamical Galois group are necessarily PCF, and we combine our results with local class field theory to classify quadratic pairs over ${ {\mathbb{Q}}}$ with abelian dynamical Galois group, improving on recent results of Andrews and Petsche. On the other hand, we show that several infinite families of subgroups of the automorphism group of the infinite binary tree cannot appear as images of arboreal representations of quadratic polynomials over number fields, yielding unconditional evidence toward Jones’ finite index conjecture.


2021 ◽  
Vol 7 (1) ◽  
pp. 212-224
Author(s):  
Lingfeng Ao ◽  
◽  
Shuanglin Fei ◽  
Shaofang Hong

<abstract><p>Let $ n\ge 8 $ be an integer and let $ p $ be a prime number satisfying $ \frac{n}{2} &lt; p &lt; n-2 $. In this paper, we prove that the Galois groups of the trinomials</p> <p><disp-formula> <label/> <tex-math id="FE1"> \begin{document}$ T_{n, p, k}(x): = x^n+n^kp^{(n-1-p)k}x^p+n^kp^{nk}, $\end{document} </tex-math></disp-formula></p> <p><disp-formula> <label/> <tex-math id="FE2"> \begin{document}$ S_{n, p}(x): = x^n+p^{n(n-1-p)}n^px^p+n^pp^{n^2} $\end{document} </tex-math></disp-formula></p> <p>and</p> <p><disp-formula> <label/> <tex-math id="FE3"> \begin{document}$ E_{n, p}(x): = x^n+pnx^{n-p}+pn^2 $\end{document} </tex-math></disp-formula></p> <p>are the full symmetric group $ S_n $ under several conditions. This extends the Cohen-Movahhedi-Salinier theorem on the irreducible trinomials $ f(x) = x^n+ax^s+b $ with integral coefficients.</p></abstract>


2018 ◽  
Vol 20 (04) ◽  
pp. 1750038
Author(s):  
Andrei Minchenko ◽  
Alexey Ovchinnikov

Motivated by developing algorithms that decide hypertranscendence of solutions of extensions of the Bessel differential equation, algorithms computing the unipotent radical of a parameterized differential Galois group have been recently developed. Extensions of Bessel’s equation, such as the Lommel equation, can be viewed as homogeneous parameterized linear differential equations of the third order. In this paper, we give the first known algorithm that calculates the differential Galois group of a third-order parameterized linear differential equation.


2012 ◽  
Vol 55 (1) ◽  
pp. 38-47
Author(s):  
William Butske

AbstractZarhin proves that if C is the curve y2 = f (x) where Galℚ(f(x)) = Sn or An, then . In seeking to examine his result in the genus g = 2 case supposing other Galois groups, we calculate for a genus 2 curve where f (x) is irreducible. In particular, we show that unless the Galois group is S5 or A5, the Galois group does not determine .


1979 ◽  
Vol 75 ◽  
pp. 121-131 ◽  
Author(s):  
Susumu Shirai

Let Q be the rational number field, K/Q be a maximal Abelian extension whose degree is some power of a prime l, and let f(K) be the conductor of K/Q; if l = 2, let K be complex, and if in addition f(K) ≡ 0 (mod 2), let f(K) ≡ 0 (mod 16). Denote by (K) the Geschlechtermodul of K over Q and by K̂ the maximal central l-extension of K/Q contained in the ray class field mod (K) of K. A. Fröhlich [1, Theorem 4] completely determined the Galois group of K̂ over Q in purely rational terms. The proof is based on [1, Theorem 3], though he did not write the proof in the case f(K) ≡ 0 (mod 16). Moreover he gave a classification theory of all class two extensions over Q whose degree is a power of l. Hence we know the set of fields of nilpotency class two over Q, because a finite nilpotent group is a direct product of all its Sylow subgroups. But the theory becomes cumbersome, and it is desirable to reconstruct a more elementary one.


2020 ◽  
Vol 16 (08) ◽  
pp. 1767-1801 ◽  
Author(s):  
Christopher Doris

We present a family of algorithms for computing the Galois group of a polynomial defined over a p-adic field. Apart from the “naive” algorithm, these are the first general algorithms for this task. As an application, we compute the Galois groups of all totally ramified extensions of [Formula: see text] of degrees 18, 20 and 22, tables of which are available online.


2007 ◽  
Vol 18 (02) ◽  
pp. 191-202 ◽  
Author(s):  
MARTA ASAEDA

The Galois group of the minimal polymonal of a Jones index value gives a new type of obstruction to a principal graph, thanks to a recent result of Etingof, Nikshych, and Ostrik. We show that the sequence of the graphs given by Haagerup as candidates of principal graphs of subfactors, are not realized as principal graphs for 7 < n ≤ 27 using GAP program. We further utilize Mathematica to extend the statement to 27 < n ≤ 55. We conjecture that none of the graphs are principal graphs for all n > 7, and give an evidence using Mathematica for smaller graphs among them for n > 55. The problem for the case n = 7 remains open, however, it is highly likely that it would be realized as a principal graph, thanks to numerical computation by Ikeda.


1995 ◽  
Vol 47 (6) ◽  
pp. 1253-1273 ◽  
Author(s):  
Arne Ledet

AbstractLet L/K be a finite Galois extension in characteristic ≠ 2, and consider a non-split Galois theoretical embedding problem over L/K with cyclic kernel of order 2. In this paper, we prove that if the Galois group of L/K is the direct product of two subgroups, the obstruction to solving the embedding problem can be expressed as the product of the obstructions to related embedding problems over the corresponding subextensions of L/K and certain quaternion algebra factors in the Brauer group of K. In connection with this, the obstructions to realising non-abelian groups of order 8 and 16 as Galois groups over fields of characteristic ≠ 2 are calculated, and these obstructions are used to consider automatic realisations between groups of order 4, 8 and 16.


2019 ◽  
Vol 2019 (754) ◽  
pp. 87-141 ◽  
Author(s):  
Ernst-Ulrich Gekeler

Abstract We construct Galois covers {X^{r,k}(N)} over {{\mathbb{P}}^{1}/{\mathbb{F}}_{q}(T)} with Galois groups close to {{\rm GL}(r,{\mathbb{F}}_{q}[T]/(N))} ( {r\geq 3} ) and rationality and ramification properties similar to those of classical modular curves {X(N)} over {{\mathbb{P}}^{1}/{\mathbb{Q}}} . As application we find plenty of good towers (with \limsup{\frac{\text{number~{}of~{}rational~{}points}}{{\rm genus}}>0} ) of curves over the field {{\mathbb{F}}_{q^{r}}} with {q^{r}} elements.


2018 ◽  
Vol 2018 (736) ◽  
pp. 69-93 ◽  
Author(s):  
Gebhard Böckle ◽  
Wojciech Gajda ◽  
Sebastian Petersen

AbstractLetkbe an algebraically closed field of arbitrary characteristic, let{K/k}be a finitely generated field extension and letXbe a separated scheme of finite type overK. For each prime{\ell}, the absolute Galois group ofKacts on the{\ell}-adic étale cohomology modules ofX. We prove that this family of representations varying over{\ell}is almost independent in the sense of Serre, i.e., that the fixed fields inside an algebraic closure ofKof the kernels of the representations for all{\ell}become linearly disjoint over a finite extension ofK. In doing this, we also prove a number of interesting facts on the images and on the ramification of this family of representations.


Sign in / Sign up

Export Citation Format

Share Document