本文研究了 tame torsion 和 tame 逆 Galois 问题，通过分析双曲 Mumford 曲线的周期矩阵，证明了存在特定亏格的曲线满足 tame 条件，并应用于有限域上的 symplectic 矩阵群。
摘要：
给定一个正整数 $g$ 和一个平方自由整数 $m$，我们证明存在一个亏格为 $g$ 的曲线 $C/\mathbb{Q}$，其雅可比曲线的模 $m$ 表示是 tame 的。方法是分析双曲 Mumford 曲线的周期矩阵，这可能有独立的兴趣。作为应用，我们研究了有限域上 symplectic 矩阵群的 tame 逆 Galois 问题。
英文摘要：
Fix a positive integer $g$ and a squarefree integer $m$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $m$ representation of its Jacobian is tame. The method is to analyse the period matrices of hyperelliptic Mumford curves, which could be of independent interest. As an application, we study the tame version of the inverse Galois problem for symplectic matrix groups over finite fields.
Fix a positive integer $g$ and rational prime $p$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $p$ representation of its Jacobian is tame by imposing conditions on the endomorphism ring. As an application, we consider the tame inverse Galois problem and are able to realise general symplectic groups as Galois groups of tame extensions of $\mathbb{Q}$.
In this paper we obtain realizations of the 4-dimensional general symplectic group over a prime field of characteristic $\ell>3$ as the Galois group of a tamely ramified Galois extension of $\mathbb{Q}$. The strategy is to consider the Galois representation $ρ_{\ell}$ attached to the Tate module at $\ell$ of a suitable abelian surface. We need to choose the abelian varieties carefully in order to ensure that the image of $ρ_{\ell}$ is large and simultaneously maintain a control on the ramification of the corresponding Galois extension. We obtain an explicit family of curves of genus 2 such tha…
We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we show that if $ L/K $ is a tame Galois extension of $ p $-adic fields then each fractional ideal of $ L $ is free over its associated order in $ H $. We also show that this conclusion remains valid if $ L/K $ is merely almost classically Galois. Finally, we show that if $ L/K $ is an abelian extension of number fields then every ambiguous fractional ideal of $ L…
In this paper, we prove the non-existence of certain semistable Galois representations of a number field. Our consequence can be applied to some geometric problems. For example, we prove a special case of a Conjecture of Rasmussen and Tamagawa, related with the finiteness of the set of isomorphism classes of abelian varieties with constrained prime power torsion.
Given a finite group G and a number field k, a well-known conjecture asserts that the set R_t(k,G) of Steinitz classes of tame G-Galois extensions of k is a subgroup of the ideal class group of k. In this paper we investigate an explicit candidate for R_t(k,G), when G is of odd order. More precisely, we define a subgroup W(k,G) of the class group of k and we prove that R_t(k,G) is contained in W(k,G). We show that equality holds for all groups of odd order for which a description of R_t(k,G) is known so far. Furthermore, by refining techniques introduced in arXiv:0910.5080v1, we use the Shafar…
We formulate a Serre-type conjecture for n-dimensional Galois representations that are tamely ramified at p. The weights are predicted using a representation-theoretic recipe. For n = 3 some of these weights were not predicted by the previous conjecture of Ash, Doud, Pollack, and Sinnott. Computational evidence for these extra weights is provided by calculations of Doud and Pollack. We obtain theoretical evidence for n = 4 using automorphic inductions of Hecke characters.
Given a natural number n and a number field K, we show the existence of an integer \ell_0 such that for any prime number \ell\geq \ell_0, there exists a finite extension F/K, unramified in all places above \ell, together with a principally polarized abelian variety A of dimension n over F such that the resulting \ell-torsion representation ρ_{A,\ell} from G_F to GSp(A[\ell](\bar{F})) is surjective and everywhere tamely ramified. In particular, we realize GSp_{2n}(\mathbb{F}_\ell) as the Galois group of a finite tame extension of number fields F'/F such that F is unramified above \ell.
We say a tame Galois field extension $L/K$ with Galois group $G$ has trivial Galois module structure if the rings of integers have the property that $\Cal{O}_{L}$ is a free $\Cal{O}_{K}[G]$-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes $l$ so that for each there is a tame Galois field extension of degree $l$ so that $L/K$ has nontrivial Galois module structure. However, the proof does not directly yield specific primes $l$ for a given algebraic number field $K.$ For…
Let $F$ be a number field with ring of integers $O_F$ and let $G$ be a finite group. We describe an approach to the study of the set of realisable classes in the locally free class group $Cl(O_FG)$ of $O_FG$ that involves applying the work of the second-named author in the context of relative algebraic $K$ theory. When $G$ is of odd order, we show (subject to certain conditions) that the set of realisable classes is a subgroup of $Cl(O_FG)$. This may be viewed as being a partial analogue of a classical theorem of Shafarevich on the inverse Galois problem for soluble groups in the setting of Ga…
Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$. Let $σ$ be an irreducible smooth representation of the absolute Weil group $\Cal W_F$ of $F$ and $\sw(σ)$ the Swan exponent of $σ$. Assume $\sw(σ) \ge1$. Let $\Cal I_F$ be the inertia subgroup of $\Cal W_F$ and $\Cal P_F$ the wild inertia subgroup. There is an essentially unique, finite, cyclic group $\varSigma$, of order prime to $p$, so that $σ(\Cal I_F) = σ(\Cal P_F)\varSigma$. In response to a query of Mark Reeder, we show that the multiplicity in $σ$ of any character of $\varSigma$ is bounded by $\sw(σ)$.
A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the classification of $G$-Hilbert-Speiser fields is far from complete. In this paper, we present new results on so-called $G$-Leopoldt fields. In their definition, NIB is replaced by ``weak NIB'' (defined below). Most of our results are negative, in the sense that they strongly limit the class of $G$-Leopoldt fields for some particular groups $G$, sometimes even …
We introduce a heuristic prediction for the distribution of the isomorphism class of the Galois group of the maximal pro-p extension of Q unramified outside a "random" set of primes. This is guided by reasoning similar to that governing the Cohen-Lenstra conjectures. We conclude by describing theoretical and experimental evidence for our heuristic.
The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call rt(k,G) the classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A'-groups inductively, starting by abelian groups and then considering semidirect products of A'-groups with abelian groups of relatively prime order and direc…
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…
We prove that, on average, elliptic curves over Q have finitely many primes p for which they possess a p-adic point of order p. We include a discussion of applications to companion forms and the deformation theory of Galois representations.
We construct algebras of endomorphisms in the derived category of the cohomology of arithmetic manifolds, which are generated by Hecke operators. We construct Galois representations with coefficients in these Hecke algebras and apply this technique to sharpen recent results of P. Scholze.
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.
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $K$ be a number field of degree four that is Galois over $\mathbb{Q}$. The goal of this article is to classify the different isomorphism types of $E(K)_{\text{tors}}$.
Given an elliptic curve E over a number field k, the Galois action on the torsion points of E induces a Galois representation, ρ_E : Gal(\bar{k}/k) \to GL_2(\hat{Z}). For a fixed number field k, we describe the image of ρ_E for a "random" elliptic curve E over k. In particular, if k\neq Q is linearly disjoint from the cyclotomic extension of Q, then ρ_E will be surjective for "most" elliptic curves over k.
We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
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 $F$ be a totally real number field and let $p$ be a prime unramified in $F$. We prove the existence of Galois pseudo-representations attached to mod $p^m$ Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for $F$ of level prime to $p$.
To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explici…
We prove a large finite field version of the Boston--Markin conjecture on counting Galois extensions of the rational function field with a given Galois group and the smallest possible number of ramified primes. Our proof involves a study of structure groups of (direct products of) racks.
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…
Given a rational variety $V$ defined over $K$, we consider a principally polarized abelian variety $A$ of dimension $g$ defined over $V$. For each prime l we then consider the galois representation on the $l$-torsion of $A_t$, where $t$ is a $K$-rational point of $V$. The largest possible image is $GSp_{2g}(\mathbb{F}_l)$ and in the cases $g=1$ and 2, we are able to get surjectivity for all $l$ and almost all $t$. In the case $g=1$ this recovers a theorem originally proven by William Duke.
We describe the relations among the $\ell$-torsion conjecture, a conjecture of Malle giving an upper bound for the number of extensions, and the discriminant multiplicity conjecture. We prove that the latter two conjectures are equivalent in some sense. Altogether, the three conjectures are equivalent for the class of solvable groups. We then prove the $\ell$-torsion conjecture for $\ell$-groups and the other two conjectures for nilpotent groups.
Let K be a complete discrete valuation field of mixed characteristic (0,p) with perfect residue field. Let (π_n)_{n\ge 0} be a system of p-power roots of a uniformizer π=π_0 of K with π^p_{n+1}=π_n, and define G_s (resp.\ G_{\infty}) the absolute Galois group of K(π_s) (resp.\ K_{\infty}:=\bigcup_{n\ge 0} K(π_n)). In this paper, we study G_s-equivatiantness properties of G_{\infty}-equivariant homomorphisms between torsion (potentially) crystalline representations
Università di Milano-Bicocca（米兰比可卡大学）；Université Marie et Louis Pasteur（玛丽和路易·巴斯德大学）；Harbin Institute of Technology（哈尔滨工业大学）；Korea National University of Education（韩国国立教育大学）
- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $Γ$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such extensions are either deeply ramified (at some prime dividing p) or ramified at an infinite number of primes. In this work, we take up a study (initiated by Boston) of this type of question under the assumption that L is Galois over some subfield k of K such that [K : k] is a prime = p. Letting $σ$ be a generator of Gal(K/k), we study the constraints posed on the …
Let $K$ be a number field and $G$ a finite abelian group. We study the asymptotic behaviour of the number of tamely ramified $G$-extensions of $K$ with ring of integers of fixed realisable class as a Galois module.
Let $\mathcal{E}$ be a $\mathbb{Q}$-isogeny class of elliptic curves defined over $\mathbb{Q}$ without CM. The isogeny graph associated to $\mathcal{E}$ is a graph which has a vertex for each elliptic curve in $\mathcal{E}$ and an edge for each $\mathbb{Q}$-isogeny of prime degree that maps one elliptic curve in $\mathcal{E}$ to another elliptic curve in $\mathcal{E}$, with the degree recorded as a label of the edge. An isogeny-torsion graph is an isogeny graph where, in addition, we label each vertex with the abstract group structure of the torsion subgroup over $\mathbb{Q}$ of the correspond…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a \mbox{finite group of} odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ be the square root of the inverse different of $K_h/K$, which exists by Hilbert's formula. If $K_h/K$ is weakly ramified, then $A_h$ is locally free over $\mathcal{O}_{K}G$ by a result of B. Erez, in which case it determines a class in the locally free class group $\mbox{Cl}(\mathcal{O}_KG)$ of $\mathcal{O}_KG$. Such a class in $\mbox{Cl}(\mathcal{O}_KG)$ is said to be $A$-realizable, and tame $A$-realizable if $K_h/K$ is tame. Let $…
In this paper, we formulate the Drinfeld module analogue of a question raised by Lang and studied by Katz on the existence of rational points on abelian varieties over number fields. Given a maximal ideal $\fl$ of $\F_q[T]$, the question essentially asks whether, up to isogeny, a Drinfeld module $ϕ$ over $\F_q(T)$ contains a rational $\fl$-torsion point if the reduction of $ϕ$ at almost all primes of $\F_q[T]$ contains a rational $\fl$-torsion point. Similar to the case of abelian varieties, we show that the answer is positive if the rank of the Drinfeld module is $2$, but negative if the rank…
Let $K$ be a complete discrete valuation field of characteristic $(0, p)$ with perfect residue field, and let $T$ be an integral $\mathbb{Z}_p$-representation of $\mathrm{Gal}(\overline{K}/K)$. A theorem of T. Liu says that if $T/p^n T$ is torsion semi-stable (resp. crystalline) of uniformly bounded Hodge-Tate weights for all $n \geq 1$, then $T$ is also semi-stable (resp. crystalline). In this note, we show that we can relax the condition of "uniformly bounded Hodge-Tate weights" to an unbounded (log-)growth condition.
Typos in the abstract have been corrected. Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramified case. We show that the deformation ring of a residual representation arising from a newform can be arranged to be a prescribed DVR provided we choose a suitable auxiliary level. We extend earlier pr…
For a curve $C$ over a perfect field $k$ of characteristic $p > 0$ we study the tame cohomology of $X = \textit{Spa}(C,k)$ introduced in arXiv:1801.04776. We prove that the tame cohomology groups of $X$ with $p$-torsion coefficients satisfy cohomological purity (which is not true in full generality for the étale cohomology). Using purity we show Poincaré duality for the tame cohomology of $X$ with $p$-torsion coefficients.
We outline the proof of a theorem of M. Baker and A. Tamagawa that gives a complete description of the torsion points on a modular curve embedded in its Jacobian using the notion of an `almost rational torsion point.'
What is the true order of growth of torsion in the cohomology of an arithmetic group? Let $D$ be a quaternion over an imaginary quadratic field $F.$ Let $E/F$ be a cyclic Galois extension with $\mathrm{Gal}(E/F) = \langle σ\rangle.$ We prove lower bounds for "the Lefschetz number of $σ$ acting on torsion cohomology" of certain Galois-stable arithmetic subgroups of $D_E^\times.$ For these same subgroups, we unconditionally prove a would-be-numerical consequence of the existence of a hypothetical base change map for torsion cohomology.
Given an elliptic curve $E$ over a global function field $K$, the Galois action on the $n$-torsion points of $E$ gives rise to a mod-n Galois representation $ρ_{E,n}$. For $K$ satisfying some mild conditions, we show that the set of $E$ for which $ρ_{E,n}$ is as large as possible for all $n$, has density $1$.
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.
In 1972, Serre showed that the adelic Galois representation associated to a non-CM elliptic curve over a number field has open image in GL_2(\hat{Z}). In Greicius' thesis, he develops necessary and sufficient criteria for determining when this representation is actually surjective and exhibits such an example. However, verifying these criteria turns out to be difficult in practice; Greicius describes tests for them that apply only to semistable elliptic curves over a specific class of cubic number fields. In this paper, we extend Greicius' methods in several directions. First, we consider the …
We extend the modularity lifting result of the arXiv:1111.2804 to allow Galois representations with some ramification at p. We also prove modularity mod 2 and 5 of certain Galois representations. We use these results to prove many new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent p-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in arXiv:1111.2804.
We derive asymptotically optimal upper bounds on the number of L-rational torsion points on a given elliptic curve or Drinfeld module defined over a finitely generated field K, as a function of the degree [L:K]. Our main tool is the adelic openness of the image of Galois representations attached to elliptic curves and Drinfeld modules, due to Serre and Pink-Ruetsche, respectively. Our approach is to prove a general result for certain Galois modules, which applies simultaneously to elliptic curves and to Drinfeld modules.
Let $G$ be a finite group and let $N/E$ be a tamely ramified $G$-Galois extension of number fields. We show how Stickelberger's factorization of Gauss sums can be used to determine the stable isomorphism class of various arithmetic $\mathbb{Z}[G]$-modules attached to $N/E$. If $\mathcal{O}_N$ and $\mathcal{O}_E$ denote the rings of integers of $N$ and $E$ respectively, we get in particular that $\mathcal{O}_N\otimes_{\mathcal{O}_E}\mathcal{O}_N$ defines the trivial class in the class group $\mathrm{Cl}(\mathbb{Z}[G])$ and, if $N/E$ is also assumed to be locally abelian, that the square root of…
For any elliptic curve E defined over the rationals with complex multiplication and for every prime p, we describe the image of the mod p Galois representation attached to E. We deduce information about the field of definition of torsion points of these curves, in particular we classify all cases where there are torsion points over Galois number fields not containing the field of definition of the CM.
Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. We do this by studying a group theoretic condition called generalized $G$-type, which is a necessary condition for a number field with Galois group $H$ to be contained in that compositum. In general, group theory allows one to reduce the original prob…
For those elliptic curves defined over the rational with non--trivial torsion subgroup, we find a tight relationship between the torsion subgroup itself and a Galois group naturally arising from the curve.
We prove that the groups PSL(r,q^d) can be realized F_q(T)-regularly as Galois groups over the purely transcendental field F_q(T)(t_1,...,t_{r-1}) if r is even and r/2 is coprime to q^d-1. The method is to use twisted moduli schemes of Drinfeld modules (a la Shih). If one has sufficient control over modular forms, it can be made into an algorithm to find explicit equations. We do this for PSL(2,q^2) using Drinfeld modular forms.
In this paper, we survey some Galois-theoretic techniques for studying torsion points on curves. In particular, we give new proofs of some results of A. Tamagawa and the present authors for studying torsion points on curves with "ordinary good" or "ordinary semistable" reduction at a given prime. We also give new proofs of: (1) The Manin-Mumford conjecture: There are only finitely many torsion points lying on a curve of genus at least 2 embedded in its Jacobian by an Albanese map; and (2) The Coleman-Kaskel-Ribet conjecture: If p is a prime number which is at least 23, then the only torsion po…
