The paper has three main applications. The first one is this Hilbert-Grunwald statement. If $f:X\rightarrow \Pp^1$ is a degree $n$ $\Qq$-cover with monodromy group $S_n$ over $\bar\Qq$, and finitely many suitably big primes $p$ are given with partitions $\{d_{p,1},..., d_{p,s_p}\}$ of $n$, there exist infinitely many specializations of $f$ at points $t_0\in \Qq$ that are degree $n$ field extensions with residue degrees $d_{p,1},..., d_{p,s_p}$ at each prescribed prime $p$. The second one provides a description of the se-pa-ra-ble closure of a PAC field $k$ of characteristic $p\not=2$: it is generated by all elements $y$ such that $y^m-y\in k$ for some $m\geq 2$. The third one involves Hurwitz moduli spaces and concerns fields of definition of covers. A common tool is a criterion for an étale algebra $\prod_lE_l/k$ over a field $k$ to be the specialization of a $k$-cover $f:X\rightarrow B$ at some point $t_0\in B(k)$. The question is reduced to finding $k$-rational points on a certain $k$-variety, and then studied over the various fields $k$ of our applications.
The paper is concerned with the following version of Hilbert's irreducibility theorem: if $π: X \to Y$ is a Galois $G$-covering of varieties over a number field $k$ and $H \subset G$ is a subgroup, then for all sufficiently large and sufficiently divisible $n$ there exist a degree $n$ closed point $y \in |Y|$ and $x \in π^{-1}(y)$ for which $k(x)/k(y)$ is a Galois $H$-extension, and $k(y)/k$ is an $S_n$-extension. The result has interesting corollaries when applied to moduli spaces of various kinds. For instance, for every finite group $G$ there is a constant $N$ such that for all $n>N$ there …
We investigate specializations of infinite families of regular Galois extensions over number fields. The problem to what extent the local behaviour of specializations of one single regular Galois extension can be prescribed has been investigated by Dèbes and Ghazi in the unramified case, and by Legrand, Neftin and the author in general. Here, we generalize these results and give a partial solution to Grunwald problems using Galois extensions arising as specializations of a family of regular Galois extensions.
We study the number of ramified prime numbers in finite Galois extensions of $\mathbb{Q}$ obtained by specializing a finite Galois extension of $\mathbb{Q}(T)$. Our main result is a central limit theorem for this number. We also give some Galois theoretical applications.
Given an irreducible bivariate polynomial $f(t,x)\in \mathbb{Q}[t,x]$, what groups $H$ appear as the Galois group of $f(t_0,x)$ for infinitely many $t_0\in \mathbb{Q}$? How often does a group $H$ as above appear as the Galois group of $f(t_0,x)$, $t_0\in \mathbb{Q}$? We give an answer for $f$ of large $x$-degree with alternating or symmetric Galois group over $\mathbb{Q}(t)$. This is done by determining the low genus subcovers of coverings $\tilde{X}\rightarrow \mathbb{P}^1_{\mathbb{C}}$ with alternating or symmetric monodromy groups.
Given a hilbertian field $k$ of characteristic zero and a finite Galois extension $E/k(T)$ with group $G$ such that $E/k$ is regular, we produce some specializations of $E/k(T)$ at points $t_0 \in \mathbb{P}^1(k)$ which have the same Galois group but also specified inertia groups at finitely many given primes. This result has two main applications. Firstly we conjoin it with previous works to obtain Galois extensions of $\mathbb{Q}$ of various finite groups with specified local behavior - ramified or unramified - at finitely many given primes. Secondly, in the case $k$ is a number field, we pr…
We provide evidence for this conclusion: given a finite Galois cover $f: X \rightarrow \mathbb{P}^1_\mathbb{Q}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadrat…
Given a field $k$ of characteristic zero and an indeterminate $T$ over $k$, we investigate the local behaviour at primes of $k$ of finite Galois extensions of $k$ arising as specializations of finite Galois extensions $E/k(T)$ (with $E/k$ regular) at points $t_0 \in \mathbb{P}^1(k)$. We provide a general result about decomposition groups at primes of $k$ in specializations, extending a fundamental result of Beckmann concerning inertia groups. We then apply our result to study crossed products, the Hilbert--Grunwald property, and finite parametric sets.
Let $K$ be a field, let $G$ be a finite group, and let $\bar X\rightarrow \bar Y$ be a $G$-Galois branched cover of varieties over $K^{sep}$. Given a mere cover model $X\rightarrow Y$ of this cover over $K$, in Part I of this paper I observe that there is a unique minimal field $E$ over which $X\rightarrow Y$ becomes Galois, and I prove that $E/K$ is Galois with group a subgroup of $Aut(G)$. In Part II of this paper, by making the additional assumption that $K$ is a field of definition (i.e., that there exists \it some \rm Galois model over $K$), I am able to give an explicit description of th…
Given a finite group $G$ and a number field $K$, we investigate the following question: Does there exist a Galois extension $E/K(t)$ with group $G$ whose set of specializations yields solutions to all Grunwald problems for the group $G$, 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 $G$ which admit an extension with the Hilbert-Grunwald property over fields such as $K=\mathbb{Q}$. We thereby also complete the determination of the ``local dimension…
Given a field $k$ and a finite group $H$, {\it{an $H$-parametric extension over $k$}} is a finite Galois extension of $k(T)$ of Galois group containing $H$ which is regular over $k$ and has all the Galois extensions of $k$ of group $H$ among its specializations. We are mainly interested in producing non $H$-parametric extensions, which relates to classical questions in inverse Galois theory like the Beckmann-Black problem and the existence of one parameter generic polynomials. We develop a general approach started in a preceding paper and provide new non parametricity criteria and new examples…
Given a field $k$ of characteristic zero and an indeterminate $T$, the main topic of the paper is the construction of specializations of any given finite extension of $k(T)$ of degree $n$ that are degree $n$ field extensions of $k$ with specified local behavior at any given finite set of primes of $k$. First, we give a full non-Galois analog of a result with a ramified type conclusion from a preceding paper and next we prove a unifying statement which combines our results and previous work devoted to the unramified part of the problem in the case $k$ is a number field.
Given a reducible Galois representation $\overlineρ: G_{\mathbb{Q}} \rightarrow GL_2( \mathbb{F}_q)$ we show there exists an irreducible deformation $ρ: G_{\mathbb{Q}} \rightarrow GL_2 (\mathbb{W} [[T_1, T_2,.., T_r,....,]])$ of $\overlineρ$ ramified at infinitely many primes, where $\mathbb{W}$ denotes the ring of Witt vectors of $\mathbb{F}_q$. This is a modification of Ramakrishna's result for the irreducible case.
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $A$, $B$ be abelian varieties over $K$ of good reduction. For any integer $m\geq 1$, we consider the Galois symbol $K(K;A,B)/m\rightarrow H^2(K,A[m]\otimes B[m])$, where $K(K;A,B)$ is the Somekawa $K$-group attached to $A,B$. This map is a generalization of the Galois symbol $K_2^M(K)/m\rightarrow H^2(K,μ_m^{\otimes 2})$ of the Bloch-Kato conjecture, where $K_2^M(K)$ is the Milnor $K$-group of $K$. In this paper we give a geometric description of the image of this generalized Galois symbol by looking at the Tate duality pairing $H^{2}(K,A[m]…
Given a number field $F$, a finite group $G$ and an indeterminate $T$, {\it{a $G$-parametric extension over $F$}} is a finite Galois extension $E/F(T)$ with Galois group $G$ and $E/F$ regular that has all the Galois extensions of $F$ with Galois group $G$ among its specializations. We are mainly interested in producing non-$G$-parametric extensions, which relates to classical questions in inverse Galois theory like the Beckmann-Black problem. Building on a strategy developed in previous papers, we show that there exists at least one non-$G$-parametric extension over $F$ for a given non-trivial…
We generalize a result of F.\ Legrand about the existence of non-parametric Galois extensions for a given group $G$. More precisely, for a $K$-regular Galois extension $F|K(t)$, we consider the translates $F(s)|K(s)$ by an extension $K(s)|K(t)$ of rational function fields (in other words, $s$ is a root of $g(X)-t$ for some rational function $g\in K(X)$). We then show that if $F|K(t)$ is a $K$-regular Galois extension with group $G$ over a number field $K$, then for any degree $k\ge 2$ and almost all (in a density sense) rational functions $g$ of degree $k$, the translate of $F$ by a root field…
Let $t$ and $x$ be indeterminates, let $ϕ(x)=x^2+t\in\mathbb Q(t)[x]$, and for every positive integer $n$ let $Φ_n(t,x)$ denote the $n^{\text{th}}$ dynatomic polynomial of $ϕ$. Let $G_n$ be the Galois group of $Φ_n$ over the function field $\mathbb Q(t)$, and for $c\in\mathbb Q$ let $G_{n,c}$ be the Galois group of the specialized polynomial $Φ_n(c,x)$. It follows from Hilbert's irreducibility theorem that for fixed $n$ we have $G_n\cong G_{n,c}$ for every $c$ outside a thin set $E_n\subset\mathbb Q$. By earlier work of Morton (for $n=3$) and the present author (for $n=4$), it is known that $E…
Given a finite transitive permutation group $G$, we investigate number fields $F/\mathbb{Q}$ of Galois group $G$ whose discriminant is only divisible by small prime powers. This generalizes previous investigations of number fields with squarefree discriminant. In particular, we obtain a comprehensive result on number fields with cubefree discriminant. Our main tools are arithmetic-geometric, involving in particular an effective criterion on ramification in specializations of Galois covers.
The finite subgroups of ${\rm PGL}_2(\mathbb{C})$ are shown to be the only finite groups $G$ with this property: for some integer $r_0$ (depending on $G$), all Galois covers $X\rightarrow \mathbb{P}^1_{\mathbb{C}}$ of group $G$ can be obtained by pulling back those with at most $r_0$ branch points along non-constant rational maps $\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}}$. For $G\subset {\rm PGL}_2(\mathbb{C})$, it is in fact enough to pull back one well-chosen cover with at most $3$ branch points. A consequence of the converse for inverse Galois theory is that, for $G\n…
Let $L/F$ be a finite Galois extension of number fields with an arbitrary Galois group $G$. We give an explicit description of the kernel of the natural map on motivic tame kernels $H^2_{\mathcal{M}}(o_L, {\bf Z}(i))_{G} {\rightarrow} H^2_{\mathcal{M}}(o_F, {\bf Z}(i))$. Using the link between motivic cohomology and $K$-theory, we deduce genus formulae for all even $K$-groups $K_{2i-2}(o_F)$ of the ring of integers. As a by-product, we also obtain lower bounds for the order of the kernel and cokernel of the functorial map $H^2_{\mathcal{M}}(F, {\bf Z}(i)) \rightarrow H^2_{\mathcal{M}}( L, {\bf…
There are several variants of the inverse Galois problem which involve restrictions on ramification. In this paper we give sufficient conditions that a given finite group $G$ occurs infinitely often as a Galois group over the rationals $\mathbb Q$ with all nontrivial inertia groups of order $2$. Notably any such realization of $G$ can be translated up to a quadratic field over which the corresponding realization of $G$ is unramified. The sufficient conditions are imposed on a parametric polynomial with Galois group $G$--if such a polynomial is available--and the infinitely many realizations co…
Let $(\mathbb{T}_f,\mathfrak{m}_f)$ denote the mod $p$ local Hecke algebra attached to a normalised Hecke eigenform $f$, which is a commutative algebra over some finite field $\mathbb{F}_q$ of characteristic $p$ and with residue field $\mathbb{F}_q$. By a result of Carayol we know that, if the residual Galois representation $\overlineρ_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{F}_q)$ is absolutely irreducible, then one can attach to this algebra a Galois representation $ρ_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{T}_f)$ that is a lift of $\overlineρ_f$. We will show how one can deter…
Michel Raynaud gave a criterion for a three-point G-cover f : Y \rightarrow X = P^1, defined over a p-adic field K, to have good reduction. In particular, if the order of a p-Sylow subgroup of G is p, and the number of conjugacy classes of elements of order p is greater than the absolute ramification index e of K, then f has potentially good reduction. We give a different proof of this criterion, which extends to the case where G has an arbitrarily large cyclic p-Sylow subgroup, answering a question of Raynaud. We then use the criterion to give a family of examples of three-point covers with g…
This paper was motivated by a recent paper by Krumm and Pollack investigating modulo-$p$ behaviour of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specializations of a given Galois cover under restrictions on the discriminant. In particular, we make a connection with existing heuristics about the distribution of discriminants of Galois extensions such as the …
We provide applications to studying the behavior of Selmer groups under specialization. We consider Selmer groups associated to four dimensional Galois representations coming from (i) the tensor product of two cuspidal Hida families $F$ and $G$, (ii) its cyclotomic deformation, (iii) the tensor product of a cusp form $f$ and the Hida family $G$, where $f$ is a classical specialization of $F$ with weight $k \geq 2$. We prove control theorems to relate (a) the Selmer group associated to the tensor product of Hida families $F$ and $G$ to the Selmer group associated to its cyclotomic deformation a…
Given a map $φ:\mathbb{P}^1\rightarrow \mathbb{P}^1$ of degree greater than 1 defined over a number field $k$, one can define a map $φ_\mathfrak{p}:\mathbb{P}^1(\mathfrak{o}_k/\mathfrak{p})\rightarrow \mathbb{P}^1(\mathfrak{o}_k/\mathfrak{p})$ for each prime $\mathfrak{p}$ of good reduction, induced by reduction modulo $\mathfrak{p}$. It has been shown that for a typical $φ$ the proportion of periodic points of $φ_\mathfrak{p}$ should tend to $0$ as $|\mathbb{P}^1(\mathfrak{o}_k/\mathfrak{p})|$ grows. In this paper, we extend previous results to include a weaker set of sufficient conditions un…
Given a Hilbertian field $k$ and a finite set $\mathcal{S}$ of Krull valuations of $k$, we show that every finite split embedding problem $G \rightarrow {\rm{Gal}}(L/k)$ over $k$ with abelian kernel has a solu\-tion ${\rm{Gal}}(F/k) \rightarrow G$ such that every $v \in \mathcal{S}$ is totally split in $F/L$. Two applications are then given. Firstly, we solve a non-constant variant of the Beckmann--Black problem for solvable groups: given a field $k$ and a non-trivial finite solvable group $G$, every Galois field extension $F/k$ of group $G$ is shown to occur as the specialization at some $t_0…
We prove the conjectured compatibility of $p$-adic fundamental lines with specializations at motivic points for a wide class of $p$-adic families of $p$-adic Galois representations (for instance, the families which arise from $p$-adic families of automorphic representations of the unit group of a quaternion algebra or of a totally definite unitary groups) and deduce the compatibility of the Equivariant Tamagawa Number Conjectures for them. However, we also show that fundamental lines are not compatible with arbitrary characteristic zero specializations with values in a domain in general. This …
Let $n>1$, $e\geq 0$ and a prime number $p\geq 2^{n+2+2e}+3$, such that the index of regularity of $p$ is $\leq e$. We show that there are infinitely many irreducible Galois representations $ρ: Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow {GL}_n(\mathbb{Q}_p)$ unramified at all primes $l\neq p$. Furthermore, these representations are shown to have image containing a fixed finite index subgroup of ${SL}_n(\mathbb{Z}_p)$. Such representations are constructed by lifting suitable residual representations $\barρ$ with image in the diagonal torus in ${GL}_n(\mathbb{F}_p)$, for which the global deform…
We contribute to the Malle conjecture on the number N (K, G, y) of finite Galois extensions E of some number field K of finite group G and of discriminant of norm |N K/Q (d E)| $\le$ y. We prove the lower bound part of the conjecture for every group G and every number field K containing a certain number field K 0 depending on G : N (K, G, y) $\ge$ y $α$(G) for y 1 and some specific exponent $α$(G) depending on G. To achieve this goal, we start from a regular Galois extension F/K(T) that we specialize. We prove a strong version of the Hilbert Irreducibility Theorem which counts the number of sp…
The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$
Temple University（天普大学）；Carnegie Mellon University（卡内基梅隆大学）；University of Connecticut（康涅狄格大学）；Korea Institute for Advanced Study（韩国高等研究院）；Massachusetts Institute of Technology（麻省理工学院）；Colorado State University（科罗拉多州立大学）；California Institute of Technology（加州理工学院）
We compute new polynomials with Galois group $M_{11}$ over $\mathbb{Q}(t)$. These polynomials stem from various families of covers of $\mathbb{P}^1\mathbb{C}$ ramified over at least 4 points. Each of these families has features that make a detailed study interesting. Some of the polynomials lead, via specialization, to number fields with very small discriminant or few ramified primes.
Suppose we are given a Drinfeld Module $ϕ$ over $\mathbb{F}_q(t)$ of rank $r$ and a prime ideal $\mathfrak{l}$ of $\mathbb{F}_q[T]$. In this paper, we prove that the reducibility of mod $\mathfrak{l}$ Galois representation $${\rm{Gal}}(\mathbb{F}_q(T)^{\rm{sep}}/\mathbb{F}_q(T))\rightarrow {\rm{Aut}}(ϕ[\mathfrak{l}])\cong {\rm{GL}}_r(\mathbb{F}_\mathfrak{l})$$ gives a bound on the degree of $\mathfrak{l}$ which depends only on the rank $r$ of Drinfeld module $ϕ$ and the minimal degree of place $\mathcal{P}$ where $ϕ$ has good reduction at $\mathcal{P}$. Then, we apply this reducibility bound t…
Let $\mathcal{P}: \cdots \rightarrow C_2\rightarrow C_1\rightarrow {\mathbb P}^1$ be a $\mathbb{Z}_p$-cover of the projective line over a finite field of cardinality $q$ and characteristic $p$ which ramifies at exactly one rational point, and is unramified at other points. In this paper, we study the $q$-adic valuations of the reciprocal roots in $\mathbb{C}_p$ of $L$-functions associated to characters of the Galois group of $\mathcal{P}$. We show that for all covers $\mathcal{P}$ such that the genus of $C_n$ is a quadratic polynomial in $p^n$ for $n$ large, the valuations of these reciprocal …
Let $\overlineρ: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the $3$-torsion of a principally polarized abelian surface $A/\mathbf{Q}$. We prove that the moduli space $\mathcal{A}_2(\overlineρ)$ of principally polarized abelian surfaces $B/\mathbf{Q}$ admitting a symplectic isomorphism $B[3] \simeq \overlineρ$ of Galois representations is never rational over $\mathbf{Q}$ when $\overlineρ$ is surjective, even though it is both ratio…
We generalize the Chebotarev density formulas of Dawsey (2017) and Alladi (1977) to the setting of arbitrary finite Galois extensions of number fields $L/K$. In particular, if $C \subset G = \textrm{Gal}(L/K)$ is a conjugacy class, then we establish that the Chebotarev density is the following limit of partial sums of ideals of $K$: \[ -\lim_{X\rightarrow\infty} \sum_{\substack{2\leq N(I)\leq X \\ I \in S(L/K; C)}} \frac{μ_K(I)}{N(I)} = \frac{|C|}{|G|}, \] where $μ_K(I)$ denotes the generalized Möbius function and $S(L/K;C)$ is the set of ideals $I\subset \mathcal{O}_K$ such that $I$ has a uni…
Based on our previous work on an arithmetic analogue of Christol's theorem, this paper studies in more detail the structure of the lambda-ring $E_K = K \otimes W_{O_K}^a (O_{\bar{K}})$ of algebraic Witt vectors for number fields $K$. First developing general results concerning $E_K$, we apply them to the case when $K$ is an imaginary quadratic field. The main results include the "modularity theorem" for algebraic Witt vectors, which claims that certain deformation families $f: M_2(\widehat{\mathbb{Z}}) \times \mathfrak{H} \rightarrow \mathbb{C}$ of modular functions of finite level always defi…
Given a field $k$ and a finite group $G$, the Beckmann--Black problem asks whether every Galois field extension $F/k$ with group $G$ is the specialization at some $t_0 \in k$ of some Galois field extension $E/k(T)$ with group $G$ and $E \cap \overline{k} = k$. We show that the answer is positive for arbitrary $k$ and $G$, if one waives the requirement that $E/k(T)$ is normal. In fact, our result holds if ${\rm{Gal}}(F/k)$ is any given subgroup $H$ of $G$ and, in the special case $H=G$, we provide a similar conclusion even if $F/k$ is not normal. We next derive that, given a division ring $H$ a…
