For a rational prime p, let k be a perfect field of characteristic p, K be a finite totally ramified extension of Frac(W(k)) of degree e and r be a non-negative integer satisfying r<p-1. In this article, we prove the upper numbering ramification group G^(j) for j>u(K,r,n) acts trivially on the p^n-torsion semi-stable G_K-representations with the Hodge-Tate weights in {0,...,r}, where u(K,0,n)=0, u(K,1,n)=1+e(n+1/(p-1)) and u(K,r,n)=1-p^{-n}+e(n+r/(p-1)) for r>1.
Let p be an odd prime, K a finite extension of Q_p, G=Gal(\bar K/K) the Galois group and e=e(K/Q_p) the ramification index. Suppose T is a p^n torsion representation such that T is isomorphic to a quotient of two G-stable Z_p-lattices in a semi-stable representation with Hodge-Tate weights in {0,...,r}. We prove that there exists a constant μexplicitly depending on n, e and r such that the upper numbering ramification group G^{(μ)} acts on T trivially.
Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and let $\overline{K}$ be some fixed algebraic closure of $K$. Let $A$ be an abelian variety defined over $F$, with good reduction, let $\mathcal{A}$ denote the Néron model of $A$ over ${\rm Spec}(\mathcal{O}_F)$, and let $\widehat{\mathcal{A}}$ be the formal completion of $\mathcal{A}$ along the identity of its special fiber, i.e. the formal group of $A$. In this work, we prove two results concerning the ramification of …
For a number field $F$ and a prime number $p$, the $\mathbb{Z}_p$-torsion module of the Galois group of the maximal abelian pro-$p$ extension of $F$ unramified outside $p$ over $F$, denoted as $\mathcal{T}_p(F)$, is an important subject in abelian $p$-ramification theory. In this paper we study the group $\mathcal{T}_2(F)=\mathcal{T}_2(m)$ of the quadratic field $F=\mathbb{Q}(\sqrt{ m})$. Firstly, assuming $m>0$, we prove an explicit $4$-rank formula for $\mathcal{T}_2(-m)$. Furthermore, applying this formula, we obtain the $4$-rank density of $\mathcal{T}_2$-groups of imaginary quadratic fiel…
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)}$.
Let $G$ be a finite nilpotent group and $K$ a number field with torsion relatively prime to the order of $G$. By a sequence of central group extensions with cyclic kernel we obtain an upper bound for the minimum number of prime ideals of $K$ ramified in a Galois extension of $K$ with Galois group isomorphic to $G$. This sharpens and extends results of Geyer and Jarden and of Plans. Also we confirm Boston's conjecture on the minimum number of ramified primes for a family of central extensions by the Schur multiplicator.
Consider an elliptic curve $E$ over a number field $K$. Suppose that $E$ has supersingular reduction at some prime $\mathfrak{p}$ of $K$ lying above the rational prime $p$. We completely classify the valuations of the $p^n$-torsion points of $E$ by the valuation of a coefficient of the $p^{\text{th}}$ division polynomial. We apply this description to find the minimum necessary ramification at $\mathfrak{p}$ in order for $E$ to have a point of exact order $p^n$. Using this bound we show that sporadic points on the modular curve $X_1(p^n)$ cannot correspond to supersingular elliptic curves witho…
The theory of p-ramification, regarding the Galois group of the maximal pro-p-extension of a number field K, unramified outside p and $\infty$, is well known including numerical experiments with PARI/GP programs. The case of ``incomplete p-ramification'' (i.e., when the set S of ramified places is a strict subset of the set P of the p-places) is, on the contrary, mostly unknown in a theoretical point of view. We give, in a first part, a way to compute, for any S $\le$ P, the structure of the Galois group of the maximal S-ramified abelian pro-p-extension H\_(K,S) of any field K given by means o…
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.
It is now known that for any prime p and any finite semiabelian p-group G, there exists a (tame) realization of G as a Galois group over the rationals Q with exactly d = d(G) ramified primes, where d(G) is the minimal number of generators of G, which solves the minimal ramification problem for finite semiabelian p-groups. We generalize this result to obtain a theorem on finite semiabelian groups and derive the solution to the minimal ramification problem for a certain family of semiabelian groups that includes all finite nilpotent semiabelian groups G. Finally, we give some indication of the d…
Let $E$ be an elliptic curve over $\mathbb{Q}$ which has multiplicative reduction at a fixed prime $p$. For each positive integer $n$ we put $K_n:=\mathbb{Q}(E[p^n])$. The aim of this paper is to extend the author's previous our results concerning with the order of the $p$-Sylow group of the ideal class group of $K_n$ to more general setting. We also modify the previous lower bound of the order and describe the new lower bound in terms of the Mordell-Weil rank of $E(\mathbb{Q})$ and the ramification related to $E$.
An algebraic extension K of the rationals has the Bogomolov property if the absolute logarithmic height of non-torsion points of K* is bounded away from 0. We define a relative extension L/K to be Bogomolov if this holds for points of L\K. We construct various examples of extensions which are and are not Bogomolov. We prove a ramification criterion for this property, and use it to show that such extensions can always be constructed if some rational prime has bounded ramification index in K, when K is Galois over Q.
Let K be a local field of mixed characteristic not absolutely ramified. Fontaine-Laffaille theory gives a description of the torsion crystalline Z_p-representations of the absolute Galois group of K (p denotes the characteristic of the residual field). Improving the former works, Breuil introduced new modules and obtained an integer and torsion thoery for the semi-stable representations. In this paper, we follow Breuil's works and adapt them to the case where the local field $K$ can be absolutely ramified. However, we would have a limitation on the index of absolute ramification.
The Iwasawa theory of CM fields has traditionally concerned Iwasawa modules that are abelian pro-p Galois groups with ramification allowed at a maximal set of primes over p such that the module is torsion. A main conjecture for such an Iwasawa module describes its codimension one support in terms of a p-adic L-function attached to the primes of ramification. In this paper, we study more general and potentially much smaller Iwasawa modules that are quotients of exterior powers of Iwasawa modules with ramification at a set of primes over p by sums of exterior powers of inertia subgroups. We show…
For a constructible étale sheaf on a smooth variety of positive characteristic ramified along an effective divisor, the largest slope in Abbes and Saito's ramification theory of the sheaf gives a divisor with rational coefficients called the conductor divisor. In this article, we prove decreasing properties of the conductor divisor after pull-backs. The main ingredient behind is the construction of étale sheaves with pure ramifications. As applications, we first prove a lower semi-continuity property for conductors of étale sheaves on relative curves in the equal characteristic case, which sup…
We prove a local-global principle for the embedding problems of global fields with restricted ramification. By this local-global principle, for a global field $k$, we use only the local information to give a presentation of the maximal pro-$p$ Galois group of $k$ with restricted ramification, when some Galois cohomological conditions are satisfied. For a Galois $p$-extension $K/k$, we use our presentation result for $k$ to study the structure of pro-$p$ Galois groups of $K$. Then for $k=\mathbb{Q}$ and $k=\mathbb{F}_q(t)$ with $p\nmid q$, we give upper and lower bounds for the rank of $p$-tors…
Let $K$ be a totally real field. In this article we present an asymptotic formula for the number of Hilbert modular cusp forms $f$ with given ramification at every place $v$ of $K$. When $v$ is an infinite place, this means specifying the weight of $f$ at $k$, and when $v$ is finite, this means specifying the restriction to inertia of the local Weil-Deligne representation attached to $f$ at $v$. Our formula shows that with essentially finitely many exceptions, the cusp forms of $K$ exhibit every possible sort of ramification behavior, thus generalizing a theorem of Khare and Prasad. From this …
We consider p-extensions of number fields such that the filtration of the Galois group by higher ramification groups is of prescribed finite length. We extend well-known properties of tame extensions to this more general setting; for instance, we show that these towers, when infinite, are ``asymptotically good'' (an explicit bound for the root discriminant is given). We study the difficult problem of bounding the relation-rank of the Galois groups in question. Results of Gordeev and Wingberg imply that the relation-rank can tend to infinity when the set of ramified primes is fixed but the leng…
If P is an algebraic point on a commutative group scheme A/K, then P is _almost_rational_ if no two non-trivial Galois conjugates sigma(P), tau(P), have sum equal to 2P. In this paper, we classify almost rational torsion points on semistable elliptic curves over Q.
We investigate the maximal finite length submodule of the Breuil-Kisin prismatic cohomology of a smooth proper formal scheme over a p-adic ring of integers. This submodule governs pathology phenomena in integral p-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic p, and (2) kernel of the specialization map in p-adic étale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine-Laffaille, Fontaine-Messing…
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.
Let $K$ be a complete discrete valuation field whose residue field is perfect and of positive characteristic, let $X$ be a connected, proper scheme over $\mathcal{O}_K$, and let $U$ be the complement in $X$ of a divisor with simple normal crossings. Assume that the pair $(X,U)$ is strictly semi-stable over $\mathcal{O}_K$ of relative dimension one and $K$ is of equal characteristic. We prove that, for any smooth $\ell$-adic sheaf $\mathscr{G}$ on $U$ of rank one, at most tamely ramified on the generic fiber, if the ramification of $\mathscr{G}$ is bounded by $t+$ for the logarithmic upper rami…
Given a continuous, odd, semi-simple $2$-dimensional representation of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$ and a prime $\ell$ not dividing $Np$, we study the relation between the universal deformation rings of the corresponding pseudo-representation for the groups $G_{\mathbb{Q},N\ell p}$ and $G_{\mathbb{Q},Np}$. As a related problem, we investigate when the universal pseudo-representation arises from an actual representation over the universal deformation ring. Under some hypotheses, we prove analogues of theorems of Boston and Böckle for the reduced pseudo-defor…
Let $E$ be an elliptic curve defined over the rationals without complex multiplication. The field $F$ generated by all torsion points of $E$ is an infinite, non-abelian Galois extension of the rationals which has unbounded, wild ramification above all primes. We prove that the absolute logarithmic Weil height of an element of $F$ is either zero or bounded from below by a positive constant depending only on $E$. We also show that the Néron-Tate height has a similar gap on $E(F)$ and use this to determine the structure of the group $E(F)$.
We prove new sharp asymptotic for counting the semistable elliptic curves with two marked Weierstrass points at $\infty$ and $0$ and also the cases where $0$ is a 2-torsion or a 3-torsion marked Weierstrass point over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. We consider the motivic probabilities over any basefield $K$ with $\text{char}(K) \neq 2,3$ of picking a nonsingular semistable elliptic surface over $\mathbb{P}^{1}$ with two marked Weierstrass sections at $\infty$ and $0$ such that marked Weierstrass section at $0$ is 2-torsion or 3-torsion. In the end, we formulat…
Torsion semi-stable representations can be constructed and studied using Breuil modules. In this paper, we define the notion of pylonet and prove that some categories of Breuil modules naturally define pylonets. As a consequence, we are able to define full subcategories of Breuil's categories with very nice properties (in particular, they are abelian). In a second part of this work, we try to make very explicit some abstract constructions coming from the general theory of pylonets (developped earlier in the paper). These explicitations should be very useful to make computations with torsion se…
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…
Given a non-CM elliptic curve E over Q, define the ``torsion conductor'' m_E to be the smallest positive integer so that the Galois representation on the torsion of E has image Pi^{-1}(Gal(Q(E[m_E])/Q), where Pi denotes the natural projection GL_2(\hat{Z}) onto GL_2(Z/m_E Z). We show that, uniformly for semi-stable non-CM elliptic curves E over Q, m_E is less than a constant times the 5th power of the conductor of E.
The notion of a $(φ,\hat{G})$-module is defined by Tong Liu in 2010 to classify lattices in semi-stable representations. In this paper, we study torsion $(φ,\hat{G})$-modules, and torsion p-adic representations associated with them, including the case where p=2. First we prove that the category of torsion p-adic representations arising from torsion $(φ,\hat{G})$-modules is an abelian category. Secondly, we construct a maximal (minimal) theory for $(φ,\hat{G})$-modules by using the theory of étale $(φ, \hat{G})$-modules, essentially proved by Xavier Caruso, which is an analogue of Fontaine's th…
We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.
Suppose G is a semi-direct product of the form Z/p^n \rtimes Z/m where p is prime and m is relatively prime to p. Suppose K is a local field of characteristic p > 0. The main result states necessary and sufficient conditions on the ramification filtrations that occur for wildly ramified G-Galois extensions of K. In addition, we prove that there exists a parameter space for G-Galois extensions of K with given ramification filtration whose dimension depends only on the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p^3.
Let $p$ be a prime, let $K$ be a discretely valued extension of $\mathbb{Q}_p$, and let $A_{K}$ be an abelian $K$-variety with semistable reduction. Extending work by Kim and Marshall from the case where $p>2$ and $K/\mathbb{Q}_p$ is unramified, we prove an $l=p$ complement of a Galois cohomological formula of Grothendieck for the $l$-primary part of the Néron component group of $A_{K}$. Our proof involves constructing, for each $m\in \mathbb{Z}_{\geq 0}$, a finite flat $\mathscr{O}_K$-group scheme with generic fiber equal to the maximal 1-crystalline submodule of $A_{K}[p^{m}]$. As a corollar…
In order to study $p$-adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de Rham-Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$. Then we establish a perfect duality between cohomology groups of the logarithmic de Rham-Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wild ramification class field theory for the open su…
