Suppose we have a elliptic curve over a number field whose mod $l$ representation has image isomorphic to $SL_2(\mathbb{F}_l)$. We present a method to determine Frobenius elements of the associated Galois group which incorporates the linear structure available. We are able to distinguish $SL_n(\mathbb{F}_l)$-conjugacy from $GL_n(\mathbb{F}_l)$-conjugacy; this can be thought of as being analogous to a result which distinguishes $A_n$-conjugacy from $S_n$-conjugacy when the Galois group is considered as a permutation group.
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, that we will discuss as well.
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.
Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic
Let $G$ be a Frobenius group with an abelian Frobenius kernel $F$ and let $k$ be a finite extension of $\mathbb{Q}$. We obtain an upper bound for the number of degree $|F|$ algebraic extensions $K/k$ with Galois group $G$ with the norm of the discriminant $\mathcal{N}_{k/\mathbb{Q}}(d_{K/k})$ bounded above by $X$. We extend this method for any group $G$ that has an abelian normal subgroup. If $G$ has an abelian normal subgroup, then we obtain upper bounds for the number of degree $|G|$ extensions $N/k$ with Galois group $G$ with bounded norm of the discriminant. Malle made a conjecture about w…
Let $K$ be a fixed number field, assumed to be Galois over $\mathbb Q$. Let $r$ and $f$ be fixed integers with $f$ positive. Given an elliptic curve $E$, defined over $K$, we consider the problem of counting the number of degree $f$ prime ideals of $K$ with trace of Frobenius equal to $r$. Except in the case $f=2$, we show that "on average," the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.
Let $K$ be a $p$-adic local field. In this work we study a special kind of $p$-adic Galois representations of it. These representations are similar to the Galois representations occurred in the exceptional zero conjecture for modular forms. In particular, we verify that a formula of Colmez can be generalized to our case. We also include a degenerated version of Colmez's formula.
We show that a two dimensional $\ell $-adic representation of the absolute Galois group of a number field which is locally potentially equivalent to a $GL(2)$-$\ell$-adic representation $ρ$ at a set of places of $K$ of positive upper density is potentially equivalent to $ρ$. For an elliptic curver \( E \) defined over a number field \( K \) and a finite place \( v \) of \( K \) of good reduction for \( E \), let \( F(E,v) \) denote the Frobenius field of \( E \) at \( v \), given by the splitting field of the characteristic polynomial of the Frobenius automorphism at \( v \) acting on the Tate…
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the g…
We study the inequities in the distribution of Frobenius elements in Galois extensions of the rational numbers with Galois groups that are either dihedral $D_{2n}$ or (generalized) quaternion $\mathbb H_{2n}$ of two-power order. In the spirit of recent work of Fiorilli and Jouve arXiv:2001.05428, we study, under natural hypotheses, some families of such extensions, in a horizontal aspect, where the degree is fixed, and in a vertical aspect, where the degree goes to infinity. Our main contribution uncovers in families of extensions a phenomenon, for which Ng gave numerical evidence : real zeros…
In this article we consider mod p modular Galois representations which are unramified at p such that the Frobenius element at p acts through a scalar matrix. The principal result states that the multiplicity of any such representation is bigger than 1.
In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p and mod q Galois representations.
Given a pair of n-dimensional complex Galois representations over Q, we define their matching density to be the density, if it exists, of the set of places at which the traces of Frobenius of the two Galois representations are equal. We will show that the set of matching densities of such pairs of irreducible Galois representations (for all n) is dense in the interval [0, 1]. Under the strong Artin conjecture, this also implies the corresponding statement for cuspidal automorphic representations.
Let $ρ$ be a mod $\ell$ Galois representation. We show how to compute $ρ$, given the characteristic polynomial of the image of the Frobenius at one prime $p$ and a curve $C$ whose Jacobian contains $ρ$ in its $\ell$-torsion. The main ingredient is a method to $p$-adically lift torsion points on a Jacobian in the framework of Makdisi's algorithms.
We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such representation must be ramified at infinitely many primes of K.
Let $f$ be an irreducible polynomial of prime degree $p\geq 5$ over $\QQ$, with precisely $k$ pairs of complex roots. Using a result of Jens Höchsmann (1999), we show that if $p\geq 4k+1$ then $\Gal(f/\QQ)$ is isomorphic to $A_{p}$ or $S_{p}$. This improves the algorithm for computing the Galois group of an irreducible polynomial of prime degree, introduced by A. Bialostocki and T.Shaska. If such a polynomial $f$ is solvable by radicals then its Galois group is a Frobenius group of degree p. Conversely, any Frobenius group of degree p and of even order, can be realized as the Galois group of a…
Using Felgner's problem I revisit a key issue in using the "Galois Stratification Procedure" that first appeared in [FrS76]. The emphasis here is on using arithmetic homotopy to make the production of Poincare; series attached to general diophantine statements canonical. According to work in progress of Michael Benedikt and E. Hrushovski, Galois stratification - over one finite field - is as efficient as is possible: on a statement of length n, it requires time bounded by a stack of exponentials of length linear in n. This doesn't take advantage of problems prepped for using homotopy aspects, …
We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a functional equation and discriminant considerations. As an application, we consider the Frobenius polynomials arising from the middle étale cohomology of hypersurfaces in $\mathbb{P}_{\mathbb{F}_q}^{2n+1}$ of degree at least $3$. We also consider the $L$-functions of quadratic twists of fixed degree of an elliptic curve over a function field $\mathbb{F}_q(t)$. To de…
Suppose \( ρ_1 \) and \( ρ_2 \) are two pure Galois representations of the absolute Galois group of a number field $K$ of weights \( k_1 \) and \( k_2 \) respectively, having equal normalized Frobenius traces \( Tr(ρ_1(σ_v)) /Nv^{k_1/2}\) and \( Tr(ρ_2(σ_v)) /Nv^{k_2/2}\) at a set of primes \( v\) of $K$ with positive upper density. Assume further that the algebraic monodromy group of $ρ_1$ is connected and the repesentation is absolutely irreducible. We prove that \( ρ_1 \) and \( ρ_2 \) are twists of each other by power of a Tate twist times a character of finite order. We apply this to modu…
We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for arbitrarily varying powers of character values evaluated at the Frobenius conjugacy classes. In the context of modular forms, we prove: given two non-CM newforms $f$ and $g$ of weight at least two, such that $a_p(f)^{n_p}=a_p(g)^{n_p}$ on a set of primes of positive upper density and for some set of natural numbers $n_p$, then $f$ and $g$ are twists of each ot…
The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over F_p^bar of parallel weight 1 and level prime to p is unramified above p. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic p embed into the ordinary part of parallel weight p forms in two different ways per prime dividing p, namely via `partial' Frobenius operators.
Let $f(x)$ be a monic polynomial in $\dZ[x]$ with no rational roots but with roots in $\dQ_p$ for all $p$, or equivalently, with roots mod $n$ for all $n$. It is known that $f(x)$ cannot be irreducible but can be a product of two or more irreducible polynomials, and that if $f(x)$ is a product of $m>1$ irreducible polynomials, then its Galois group must be a union of conjugates of $m$ proper subgroups. We prove that for any $m>1$, every finite solvable group which is a union of conjugates of $m$ proper subgroups (where all these conjugates have trivial intersection) occurs as the Galois group …
Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only u…
We develop methods to study $2$-dimensional $2$-adic Galois representations $ρ$ of the absolute Galois group of a number field $K$, unramified outside a known finite set of primes $S$ of $K$, which are presented as Black Box representations, where we only have access to the characteristic polynomials of Frobenius automorphisms at a finite set of primes. Using suitable finite test sets of primes, depending only on $K$ and $S$, we show how to determine the determinant $\detρ$, whether or not $ρ$ is residually reducible, and further information about the size of the isogeny graph of $ρ$ whose ver…
Given a non-isotrivial elliptic curve over an arithmetic surface, one obtains a lisse $\ell$-adic sheaf of rank two over the surface. This lisse sheaf has a number of straightforward properties: cyclotomic determinant, finite ramification, rational traces of Frobenius, and somewhere not potentially good reduction. We prove that any lisse sheaf of rank two possessing these properties comes from an elliptic curve.
Given two pure representations of the absolute Galois group of an $\ell$-adic number field with coefficients in $\overline{\mathbb{Q}}_p$ (with $\ell\neq p$), we show that the Frobenius-semisimplifications of the associated Weil--Deligne representations are twists of each other by an integral power of certain unramified character if they have equal normalized traces. This is an analogue of a recent result of Patankar and Rajan in the context of local Galois representations.
Let $S$ be a smooth cubic surface over a finite field $\mathbb F_q$. It is known that $\#S(\mathbb F_q) = 1 + aq + q^2$ for some $a \in \{-2,-1,0,1,2,3,4,5,7\}$. Serre has asked which values of a can arise for a given $q$. Building on special cases treated by Swinnerton-Dyer, we give a complete answer to this question. We also answer the analogous question for other del Pezzo surfaces, and consider the inverse Galois problem for del Pezzo surfaces over finite fields. Finally we give a corrected version of Manin's and Swinnerton-Dyer's tables on cubic surfaces over finite fields.
Let p be a prime and F(p) the maximal p-extension of a field F containing a primitive p-th root of unity. We give a new characterization of Demuskin groups among Galois groups Gal(F(p)/F) when p=2, and, assuming the Elementary Type Conjecture, when p>2 as well. This characterization is in terms of the structure, as Galois modules, of the Galois cohomology of index p subgroups of Gal(F(p)/F).
We introduce mod $l$ Milnor invariants of a Galois element associated to Ihara's Galois representation on the pro-$l$ fundamental group of a punctured projective line ($l$ being a prime number), as arithmetic analogues of Milnor invariants of a pure braid. We then show that triple quadratic (resp. cubic) residue symbols of primes in the rational (resp. Eisenstein) number field are expressed by mod $2$ (resp. mod $3$) triple Milnor invariants of Frobenius elements. For this, we introduce dilogarithmic mod $l$ Heisenberg ramified covering ${\cal D}^{(l)}$ of $\mathbb{P}^1$, which may be regarded…
We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.
In this paper, we compare the Akashi series of the Pontryagin dual of the Selmer groups of two Galois representations over a strongly admissible p-adic Lie extension. Namely, we show that whenever the two Galois representations in question are congruent to each other, the Akashi series of one is a unit if and only if the Akashi series of the other is also a unit. We will also obtain similar results for the Euler characteristics of the Selmer groups and the characteristic elements attached to the Selmer groups.
We construct an infinite family of representations of finite groups with an irreducible adjoint action and we give an application to the question of lacunary of Frobenius traces in Galois representations.
We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local function fields of characteristic $p$, called {\em one-dimensional}, that, in a particular sense, are as simple as cyclic degree $p$ extensions, and prove the statement in the title above.
Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $ρ_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the traces $a_{1, p}$ of the Frobenius at $p$ in $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under $ρ_A$, modulo varying primes $p$. In particular, we obtain upper bounds for the counting function $\#\{p \leq x: a_{1, p} = t\}$ and we prove an Erdös-Kac type theorem for the number of prime factors of $a_{1, p}$. We also formulate a conjecture about the asymp…
We give a new formula for the Chebotarev densities of Frobenius elements in Galois groups. This formula is given in terms of smallest prime factors $p_{\mathrm{min}}(n)$ of integers $n\geq2$. More precisely, let $C$ be a conjugacy class of the Galois group of some finite Galois extension $K$ of $\mathbb{Q}$. Then we prove that $$-\lim_{X\rightarrow\infty}\sum_{\substack{2\leq n\leq X\\[1pt]\left[\frac{K/\mathbb{Q}}{p_{\mathrm{min}}(n)}\right]=C}}\frac{μ(n)}{n}=\frac{\#C}{\#G}.$$ This theorem is a generalization of a result of Alladi from 1977 that asserts that largest prime divisors $p_{\mathr…
Moments in the Chebotarev density theorem: non-Gaussian families
Université Paris Cité, Sorbonne Université, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche（巴黎西岱大学，索邦大学，法国国家科学研究中心，朱西厄-巴黎左岸数学研究所）；Univ. Paris-Saclay, CNRS, Laboratoire de mathématiques d’Orsay（巴黎萨克雷大学，法国国家科学研究中心，奥赛数学实验室）；Univ. Bordeaux, CNRS, Bordeaux INP, IMB, UMR 5251（波尔多大学，法国国家科学研究中心，波尔多国立高等电子与计算机学院，IMB）
The Stickelberger elements attached to an abelian extension of number fields conjecturally participate, under certain conditions, in annihilator relations involving higher algebraic K-groups. In [Victor P. Snaith, Stark's conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448], Snaith introduces canonical Galois modules hoped to appear in annihilator relations generalising and improving those involving Stickelberger elements. In this paper we study the first of these modules, corresponding to the classical Stickelberger element, and prove a connection with the Stark…
We use new over-convergent p-adic exponential power series, inspired by work of Pulita, to build self-dual normal basis generators for the square root of the inverse different of certain abelian weakly ramified extensions of an unramified extension K of Qp. These extensions, whose set we denote by M, are the degree p subextensions over K of Mp,2, the maximal abelian totally, wildly and weakly ramified extension of K, whose norm group contains p. Our construction follows Pickett's, who dealt with the same set M of extensions of K, but does not depend on the choice of a basis of the residue fiel…
Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We present two probabilistic algorithms to simultaneously determine G_E(ell) up to local conjugacy for all primes ell by sampling images of Frobenius elements; one is of Las Vegas type and the other is a Monte Carlo algorithm. They determine G_E(ell) up to one of at most two isomorphic conjugacy classes of subgroups of GL_2(Z/ell Z) that have the same semisimplif…
In this article we report on extensive calculations concerning the Gorenstein defect for Hecke algebras of spaces of modular forms of prime weight p at maximal ideals of residue characteristic p such that the attached mod p Galois representation is unramified at p and the Frobenius at p acts by scalars. The results lead us to the ask the question whether the Gorenstein defect and the multplicity of the attached Galois representation are always equal to 2. We review the literature on the failure of the Gorenstein property and multiplicity one, discuss in some detail a very important practical i…
We develop a theory of `non-abelian higher special elements' in the non-commutative exterior powers of the Galois cohomology of $p$-adic representations. We explore their relation to the theory of organising matrices and thus to the Galois module structure of Selmer modules. In concrete applications, we relate our general theory to the formulation of refined conjectures of Birch and Swinnerton-Dyer type and to the Galois structure of Tate-Shafarevich and Selmer groups of abelian varieties.
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…
Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.
Poor man's transcendence for Frobenius traces of elliptic curves
Stellenbosch University（斯泰伦博斯大学）；Max Planck Institute for Software Systems（马克斯·普朗克软件系统研究所）；Department of Computer Science, University of Oxford（牛津大学计算机系）；Department of Mathematics, IMAPP, Radboud University（拉德堡德大学IMAPP数学系）
We consider the distribution of normalized Frobenius traces for two families of genus 3 hyperelliptic curves over Q that have large automorphism groups: y^2=x^8+c and y^2=x^7-cx with c in Q*. We give efficient algorithms to compute the trace of Frobenius for curves in these families at primes of good reduction. Using data generated by these algorithms, we obtain a heuristic description of the Sato-Tate groups that arise, both generically and for particular values of c. We then prove that these heuristic descriptions are correct by explicitly computing the Sato-Tate groups via the correspondenc…
Consider a sequence of positive integers of the form $ca^n-d$, $n\geq 1$, where $a, c$ and $d$ are positive integers, $a>1$. For each $n\geq 1$, let $S_n$ be the submonoid of $\mathbb N$ generated by $\mathbf s_j=ca^{n+j}-d$, with $j\in\mathbb N$. We obtain a numerical semigroup $(1/e)S_n$ by dividing every element of $S_n$ by $e=\gcd(S_n)$. We characterize the embedding dimension of $S_n$ and describe a method to find the minimal generating set of $S_n$. We also show how to find the maximum element of the Apéry set ${\rm Ap}(S_n, \mathbf s_0)$, characterize the elements of ${\rm Ap}(S_n, \mat…
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and for $K$ of either possible characteristic (0 or $p$), that are sufficient for the existence of a Galois scaffold. The existence of a Galois scaffold makes it possible to address questions of integral Galois module structure, which is done in a separate paper. But since our conditions can be difficult to check, we specialize to elementary abelian extensions …
Let $A$ be a $g$-dimensional abelian variety over $\mathbb{Q}$ whose adelic Galois representation has open image in $\text{GSp}_{2g} \widehat{\mathbb{Z}}$. We investigate the endomorphism algebras $\text{End}(A_p) \otimes \mathbb{Q} = \mathbb{Q}( π_p )$ of the reduction of $A$ modulo primes $p$ at which this reduction is ordinary and simple. We obtain conditional and unconditional asymptotic upper bounds on the number of primes at which this "Frobenius field" is a specified number field and, when $A$ is two-dimensional, at which the Frobenius field contains a specified real quadratic number fi…
We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational function field are algebraically independent.
Let $F$ be a field of characteristic $0$ containing all roots of unity. We construct a functorial compact Hausdorff space $X_F$ whose profinite fundamental group agrees with the absolute Galois group of $F$, i.e. the category of finite covering spaces of $X_F$ is equivalent to the category of finite extensions of $F$. The construction is based on the ring of rational Witt vectors of $F$. In the case of the cyclotomic extension of $\mathbb{Q}$, the classical fundamental group of $X_F$ is a (proper) dense subgroup of the absolute Galois group of $F$. We also discuss a variant of this constructio…
