Identifying Frobenius elements in Galois groups
From the text: ``We present a method to determine Frobenius elements in arbitrary Galois extensions of global fields, which may be seen as a generalisation of Euler's criterion. It is a part of the general question how to compare splitting fields and identify conjugacy classes in Galois groups, which we will discuss as well. NEWLINENEWLINEOur main result is the following:NEWLINENEWLINETheorem 1.1. Let \(K\) be a global field and \(f(x)\in K[x]\) a separable polynomial withNEWLINEGalois group \(G\). There is a polynomial \(h(x)\in K[x]\) and polynomials \(\Gamma_C\in K[X]\) indexed by the conjugacy classes \(C\) of \(G\) such thatNEWLINENEWLINE\[ \operatorname{Frob}_{\mathfrak p}\in C \Leftrightarrow \Gamma_C \left(\operatorname{Tr}_{\frac{\mathbb F_q[x]}{f(x)} \bigl/ \mathbb F_q} (h(x)x^q)\right)CARRIAGE_RETURNNEWLINE\equiv 0 \pmod{\mathfrak p} \] NEWLINENEWLINEfor almost all primes \(\mathfrak p\) of \(K\); here \(\mathbb F_q\) is the residue field at \(\mathfrak p\).NEWLINENEWLINEThis is proved in Section 5; see Theorem 5.3. Usually one can take \(h(x) = x^2\) (see below); in particular \(\operatorname{Tr}(x^{q+2}\) then determines the conjugacy class of \(\operatorname{Frob}_{\mathfrak p}\).NEWLINENEWLINEIn Section 6 we explain how the theorem recovers classical formulas for Frobenius elements in cyclotomic and Kummer extensions. In Section 7 we give explicit examples for nonabelian Galois groups, including general cubics, general quartics and quintics with Galois group \(D_{10}\).NEWLINENEWLINEThe polynomials \(\Gamma_C\) are explicitly given byNEWLINENEWLINE\[ \Gamma_C(X) = \prod_{\sigma\in C} \left(X - \sum_{j=1}^n h(a_j)\sigma(a_j)\right). \]NEWLINENEWLINEwhere \(a_1, \ldots, a_n\) are the roots of \(f\) in some splitting field. The ``almost all primes in the theorem are those not dividing the denominators of the coefficients of \(f\), its leading coefficient and the resultants \(\operatorname{Res}(\Gamma_C; \Gamma_{C'})\) for \(C \ne C'\); the latter simply says that the \(\Gamma_C \bmod{\mathfrak p}\) are pairwise coprime. (This condition always fails forNEWLINEramified primes.) NEWLINENEWLINEFinally, the only constraint on the polynomial \(h\) is that the resulting \(\Gamma_C\) are coprime over \(K\). This holds for almost all \(h\), in the sense that the admissible ones of degree at most \(n -1\) form a Zariski dense open subset of \(K^n\). Also, a fixed \(h\) with \(1< \deg h <n\) (for instance \(h(x) = x^2)\) will work for almost all \(f\) that define the same field; see Section 8.
- Polynomials whose Galois groups are Frobenius groups with prime order complement
- scientific article; zbMATH DE number 819082
- Polynomials with frobenius galois groups
- The 2-Power Degree Subfields of the Splitting Fields of Polynomials with Frobenius Galois Groups
- Polynomials with Frobenius groups of prime degree as Galois groups. II
- Frobenius elements in Galois representations with \(\mathrm{SL}_{n}\) image
- Frobenius classes in alternating groups
- Elliptic curves over \(\mathbb {Q}\) and 2-adic images of Galois
- Totally decomposed prime ideals and Newton sums
- Moduli-friendly Eisenstein series over the \(p\)-adics and the computation of modular Galois representations
- On the paramodularity of typical abelian surfaces
- On the separation of characters by the Frobenius
- Artin \(L\)-functions of small conductor
- Explicit computation of a Galois representation attached to an eigenform over \(\mathrm{SL}_3\) from the \(\mathrm{H}_{\acute{\mathrm{e}}\mathrm{t}}^2\) of a surface
- Computing Galois representations of modular abelian surfaces
- Serre weights and wild ramification in two-dimensional Galois representations
- Computing modular Galois representations
- Certification of modular Galois representations
- Deciding the nilpotency of the Galois group by computing elements in the centre
- Computing Fourier Coefficients of Level One Modular Forms
- \(\ell\)-adic images of Galois for elliptic curves over \(\mathbb{Q}\)(and an appendix with John Voight)
- Computation of Galois groups of rational polynomials
- On the computation of coefficients of modular forms: the reduction modulo p approach
- Hensel-lifting torsion points on Jacobians and Galois representations
- Galois representations of superelliptic curves
- Sato-Tate groups of abelian threefolds
This page was built for publication: Identifying Frobenius elements in Galois groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q380365)
