Infinitely many elliptic curves over ${\bf Q}$ have a Galois-stable cyclic subgroup of order 4. Such subgroups come in pairs, which intersect in their subgroups of order 2. Let $N_i(X)$ denote the number of elliptic curves over ${\bf Q}$ with at least $i$ pairs of Galois-stable cyclic subgroups of order 4, and height at most $X$. In this article we show that $N_1(X) = c_{1,1}X^{1/3}+c_{1,2}X^{1/6}+O(X^{0.105})$. We also show, as $X\to \infty$, that $N_2(X)=c_{2,1}X^{1/6}+o(X^{1/12})$, the precise nature of the error term being related to the prime number theorem and the zeros of the Riemann zeta-function in the critical strip. Here, $c_{1,1}= 0.95740\ldots$, $c_{1,2}=- 0.87125\ldots$, and $c_{2,1}= 0.035515\ldots$ are calculable constants. Lastly, we show that $N_i(X)=0$ for $i > 2$ (the result being trivial for $i>3$ given that an elliptic curve has 6 cyclic subgroups of order 4).
We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G].
Let K/F be a cyclic field extension of odd prime degree. We consider Galois embedding problems involving Galois groups with common quotient Gal(K/F) such that corresponding normal subgroups are indecomposable Fp[Gal(K/F)]-modules. For these embedding problems we prove conditions on solvability, formulas for explicit construction, and results on automatic realizability.
We realize Frobenius conjugacy classes in Galois groups of certain $q$-polynomials over $\mathbb{F}_q(t)$ using specific degree 1 ideals. We combine this with methods from elementary linear algebra and group theory to realize transvections in some linear Galois groups. This enables the Galois group to be identified as a known classical group in several reasonably general cases.
In the mid-1960s Borevic and Faddeev initiated the study of the Galois module structure of groups of pth-power classes of cyclic extensions K/F of pth-power degree. They determined the structure of these modules in the case when F is a local field. In this paper we determine these Galois modules for all base fields F.
Let $K$ be a local field of characteristic $p$ and let $L/K$ be a totally ramified Galois extension such that Gal$(L/K)\cong C_{p^n}$. In this paper we find sufficient conditions for $L/K$ to admit a Galois scaffold. This leads to sufficient conditions for the ring of integers $O_L$ to be free of rank 1 over its associated order $A_0$, and to stricter conditions which imply that $A_0$ is a Hopf order in the group ring $K[C_{p^n}]$.
We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve.
Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomorphism classes for the non-free indecomposable summand. These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this module computation provid…
Let $n$ denote either a positive integer or $\infty$, let $\ell$ be a fixed prime and let $K$ be a field of characteristic different from $\ell$. In the presence of sufficiently many roots of unity in $K$, we show how to recover some of the inertia/decomposition structure of valuations inside the maximal $\ell^n$-abelian Galois group of $K$ using the maximal $\ell^N$-abelian-by-central Galois group of $K$, whenever $N$ is sufficiently large relative to $n$.
In cyclic, degree 8 extensions of algebraic number fields $N/K$, ambiguous ideals in N are canonical $\mathbb{Z}[C_8]$-modules. Their $\mathbb{Z}[C_8]$-structure is determined here. It is described in terms of indecomposable modules and determined by ramification invariants. Although infinitely many indecomposable $\mathbb{Z}[C_8]$-modules are available (classification by Yakovlev), only 23 appear.
Let K be a field and \ell be a prime such that char K \neq \ell. In the presence of sufficiently many roots of unity in K, we show how to recover some of the inertia/decomposition structure of valuations inside the maximal (\Z/\ell)-abelian resp. pro-\ell-abelian Galois group of K using its (Z/\ell)-central resp. pro-\ell-central extensions.
Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p).
We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The…
Recently, much work has been done to investigate Galois module structure of local field extensions, particularly through the use of Galois scaffolds. Given a totally ramified $p$-extension of local fields $L/K$, a Galois Scaffold gives us a $K$-basis for $K[G]$ whose effect on the valuation of elements of $L$ is easy to determine. In 2013, N.P. Byott and G.G. Elder gave sufficient conditions for the existence of Galois scaffolds for cyclic extensions of degree $p^2$ in characteristic $p$. We take their work and adapt it to cyclic extensions of degree $p^2$ in characteristic $0$.
Let p be a prime and suppose that K/F is a cyclic extension of degree p^n with group G. Let J be the F_pG-module K^*/K^{*p} of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p^i+1 for some 0<=i<n. We show that for all primes p and all 0<=i<n, there exists a field extension K/F with a summand of dimension p^i+1.
We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analog…
We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analog…
In the 80's Aschbacher classified the maximal subgroups of almost all of the finite almost simple classical groups. Essentially, this classification divide these subgroups into two types. The first of these consist roughly of subgroups that preserve some kind of geometric structure, so they are commonly called subgroups of geometric type. In this paper we will prove the existence of infinitely many compatible systems $\{ ρ_\ell \}_\ell$ of $n$-dimensional Galois representations associated to regular algebraic, essentially self-dual, cuspidal automorphic representations of $\mbox{GL}_n(\mathbb{…
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 realiza…
Let $G$ and $N$ be two finite groups of the same order. It is well-known that the existences of the following are equivalent: (a) a Hopf-Galois structure of type $N$ on any Galois $G$-extension; (b) a skew brace with additive group $N$ and multiplicative group $G$; (c) a regular subgroup isomorphic to $G$ in the holomorph of $N$. We shall say that $(G,N)$ is realizable when any of the above exists. Fixing $N$ to be a cyclic group, W. Rump (2019) has determined the groups $G$ for which $(G,N)$ is realizable. In this paper, fixing $G$ to be a cyclic group instead, we shall give a complete charac…
Upon quotienting by units, the elements of norm 1 in a number field $K$ form a countable subset of a torus of dimension $r_1 + r_2 - 1$ where $r_1$ and $r_2$ are the numbers of real and pairs of complex embeddings. When $K$ is Galois with cyclic Galois group we demonstrate that this countable set is equidistributed in a finite cover of this torus with respect to a natural partial ordering induced by Hilbert's Theorem 90.
A del Pezzo surface of degree one defined over the rationals has 240 exceptional curves. These curves are permuted by the action of the absolute Galois group. We show how a solution to the classical inverse Galois problem for a subgroup of the Weyl group of type $D_8$ gives rise to a solution of the inverse Galois problem for the action of this subgroup on the 240 exceptional curves. A del Pezzo surface of degree one with such a Galois action contains a Galois invariant sublattice of type $D_8$ within its Picard lattice; this can be characterized in terms of a certain set of sixteen points in …
We present a simple method for the construction of polynomials with cyclic Galois groups, hoping to encourage a reader with some background in algebra to make computations of his/her own.
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic mo…
We prove several results on torsion points and Galois representations for complex multiplication (CM) elliptic curves over a number field containing the CM field. One result computes the degree in which such an elliptic curve has a rational point of order $N$, refining results of Silverberg. Another result bounds the size of the torsion subgroup of an elliptic curve with CM by a nonmaximal order in terms of the torsion subgroup of an elliptic curve with CM by the maximal order. Our techniques also yield a complete classification of both the possible torsion subgroups and the rational cyclic is…
We estimate several probability distributions arising from the study of random, monic polynomials of degree $n$ with coefficients in the integers of a general $p$-adic field $K_{\mathfrak{p}}$ having residue field with $q= p^f$ elements. We estimate the distribution of the degrees of irreducible factors of the polynomials, with tight error bounds valid when $q> n^2+n$. We also estimate the distribution of Galois groups of such polynomials, showing that for fixed $n$, almost all Galois groups are cyclic in the limit $q \to \infty$. In particular, we show that the Galois groups are cyclic with p…
Let $K$ be a number field and let $E/K$ be an elliptic curve whose mod $\ell$ Galois representation locally has image contained in a group $G$, up to conjugacy. We classify the possible images for the global Galois representation in the case where $G$ is a Cartan subgroup or the normalizer of a Cartan subgroup. When $K = \mathbf{Q}$, we deduce a counterexample to the local-global principle in the case where $G$ is the normalizer of a split Cartan and $\ell = 13$. In particular, there are at least three elliptic curves (up to twist) over $\mathbf{Q}$ whose mod $13$ image of Galois is locally co…
We use multiple zeta functions to prove, under suitable assumptions, precise asymptotic formulas for the averages of multivariable multiplicative functions. As applications, we prove some conjectures on the average number of cyclic subgroups of the group ${\mathbb Z}_{m_1}\times\dots\times {\mathbb Z}_{m_n}$ and multivariable averages associated with the LCM function.
We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2,3,5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels up to 31.
Given an elliptic curve $E$ without complex multiplication defined over a number field $K$, consider the image of the Galois representation defined by letting Galois act on the torsion of $E$. Serre's open image theorem implies that there is a positive integer $m$ for which the Galois image is completely determined by its reduction modulo $m$. In this note, we prove a bound on the smallest such $m$ in terms of standard invariants associated with $E$. The bound is sharp and improves upon previous results.
Suppose $K$ is unramified over $\mathbb Q _p$ and $Γ_K=\operatorname{Gal}(\bar K/K)$. Let $H$ be a torsion $Γ_K$-equivariant subquotient of crystalline $\mathbb Q _p[Γ_K]$-module with HT weights from $[0,p-2]$. We give a new proof of Fontaine's conjecture about the triviality of action of some ramification subgroups $Γ_K^{(v)}$ on $H$. The earlier author's proof from [1] contains a gap and proves this conjecture only for some subgroups of index $p$ in $Γ_K^{(v)}$.
We describe the Sylow subgroups of Gal(Q) for an odd prime p, by observing and studying their decomposition as a semidirect product of Z_p acting on F, where F is a free pro-p group, and Z_p are the p-adic integers. We determine the finite Z_p-quotients of F and more generally show that every split embedding problem of Z_p-groups for F is solvable. Moreover, we analyze the Z_p-action on generators of F.
$\DeclareMathOperator{\Aut}{Aut}$Let $p, q$ be distinct primes, with $p > 2$. We classify the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, such that the Sylow $p$-subgroups of the Galois group are cyclic. This we do, according to Greither and Pareigis, and Byott, by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are cyclic. This is equivalent to classifying the skew braces $(G, \cdot, \circ)$. Furthermore, we prove that if $G$ and $Γ$ are groups of order $p^{2} q$ with non-is…
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
For an odd prime p, we determine a minimal set of topological generators of the pro-p Iwahori subgroup of a split reductive group G over Z\_p. In the simple adjoint case and for any sufficiently large regular prime p, we also construct Galois extensions of Q with Galois group between the pro-p and the standard Iwahori subgroups of G.
The interplay between set-theoretic solutions of the Yang--Baxter equation of Mathematical Physics, skew braces, regular subgroups, and Hopf--Galois structures has spawned a considerable body of literature in recent years. In a recent paper, Alan Koch generalised a construction of Lindsay N.~Childs, showing how one can obtain bi-skew braces $(G, \cdot, \circ)$ from an endomorphism of a group $(G, \cdot)$ whose image is abelian. In this paper, we characterise the endomorphisms of a group $(G, \cdot)$ for which Koch's construction, and a variation on it, yield (bi-)skew braces. We show how the s…
In this paper we investigate the problem of lifting of Galois covers between algebraic curves from characteristic p>0 to characteristic 0. We prove a refined version of the main result of Garuti concerning this problem in [Ga]. We formulate a refined version of the Oort conjecture on liftings of cyclic Galois covers between curves. We introduce the notion of fake liftings of cyclic Galois covers between curves, their existence would contradict the Oort conjecture, and we study the geometry of their semi-stable models. Finally, we introduce and investigate on some examples the smoothening proce…
In this paper we obtain conditions on the divisors of the group order of the Jacobian of a hyperelliptic genus 2 curve, generated by the complex multiplication method described by Weng (2003) and Gaudry (2005). Examples, where these conditions imply that the Jacobian has a large cyclic subgroup, are given.
By work of C. Greither and B. Pareigis as well as N. P. Byott, the enumeration of Hopf-Galois structures on a Galois extension of fields with Galois group $G$ may be reduced to that of regular subgroups of $\mbox{Hol}(N)$ isomorphic to $G$ as $N$ ranges over all groups of order $|G|$, where $\mbox{Hol}(-)$ denotes the holomorph. In this paper, we shall give a description of such subgroups of $\mbox{Hol}(N)$ in terms of bijective crossed homomorphisms $G\longrightarrow N$, and then use it to study two questions related to non-existence of Hopf-Galois structures.
We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative properties of related counting functions for finite Abelian groups are immediate consequences of these formulae.
We classify the finite primitive permutation groups which have a cyclic subgroup with two orbits. This extends classical topics in permutation group theory, and has arithmetic consequences. By a theorem of C. L. Siegel, affine algebraic curves with infinitely many integral points are parametrized by rational functions whose monodromy groups have this property. We classify the possibilities of these monodromy groups, and give an application to Hilbert's irreducibility theorem.
