Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$. For $M\ge 1$, let $\mathcal G_{<p,M}$ be the maximal quotient of the Galois group of $\mathcal K$ of period $p^M$ and nilpotent class $<p$ and $\{\mathcal G_{<p,M}^{(v)}\}_{v\geqslant 0}$ -- the ramification subgroups in upper numbering. Let $\mathcal G_{<p,M}=G(\mathcal L)$ be the identification of nilpotent Artin-Schreier theory: here $G(\mathcal L)$ is the group obtained from a suitable profinite Lie $\mathbb{Z}/p^M$-algebra $\mathcal L$ via the Campbell-Hausdorff composition law. We develop new techniques to obtain a ``geometrical'' construction of the ideals $\mathcal L^{(v)}$ such that $G(\mathcal L^{(v)})=\mathcal G_{<p,M}^{(v)}$. Given $v_0\geqslant 1$, we construct a decreasing central filtration $\mathcal L(w)$, $1\leqslant w\leqslant p$, on $\mathcal L$, an epimorphism of Lie $\mathbb{Z}/p^M$-algebras $\bar{\mathcal V}:\bar{\mathcal L}^{†}\to \bar{\mathcal L}:=\mathcal L/\mathcal L(p)$, and a unipotent action $Ω$ of $\mathbb{Z} /p^M$ on $\bar{\mathcal L}^{†}$, which induces the identity action on $\bar{\mathcal L}$. Suppose $dΩ=B^{†}$, where $B^{†}\in\operatorname{Diff}\bar{\mathcal L}^{†}$, and $\bar{\mathcal L}^{†[v_0]}$ is the ideal of $\bar{\mathcal L}^{†}$ generated by the elements of $B^{†}(\bar{\mathcal L}^{†})$. Our main result states that the ramification ideal $\mathcal L^{(v_0)}$ appears as the preimage of the ideal in $\bar{\mathcal L}$ generated by $\bar{\mathcal V}B^{†}(\bar{\mathcal L}^{†[v_0]})$. In the last section we apply this to the explicit construction of generators of $\bar{\mathcal L}^{(v_0)}$. The paper justifies a geometrical origin of ramification subgroups of $Γ_K$ and can be used for further developing of non-abelian local class field theory.
Let K be a complete discretely valued field of mixed characteristic (0, p) with possibly imperfect residue field. We prove a Hasse-Arf theorem for the arithmetic ramification filtrations on G_K, except possibly in the absolutely unramified and non-logarithmic case, or p=2 and logarithmic case. As an application, we obtain a Hasse-Arf theorem for filtrations on finite flat group schemes over O_K.
We show that the recent result of Castañeda and Wu about the ramification filtration in certain $p$-extensions of function fields of prime characteristic $p$ is equally valid over local fields of mixed characteristic $(0,p)$. Apart from being applicable to both equicharacteristic and mixed characteristic cases, our method has the advantage of being purely local, purely conceptual, more natural, and much shorter.
Let $k$ be a complete discretely valued field of equal characteristic $p > 0$ with possibly imperfect residue field and let $G_k$ be its Galois group. We prove that the conductors computed by the arithmetic ramification filtrations on $G_k$ coincide with the differential Artin conductors and Swan conductors of Galois representations of $G_k$. As a consequence, we give a Hasse-Arf theorem for arithmetic ramification filtrations in this case. As applications, we obtain a Hasse-Arf theorem for finite flat group schemes; we also give a comparison theorem between the differential Artin conductors a…
We consider the class of complete discretely valued fields such that the residue field is of prime characteristic p and the cardinality of a $p$-base is 1. This class includes two-dimensional local and local-global fields. A new definition of ramification filtration for such fields is given. It appears that a Hasse-Herbrand type functions can be defined with all the usual properties. Therefore, a theory of upper ramification groups, as well as the ramification theory of infinite extensions, can be developed. Next, we consider an equal characteristic two-dimensional local field $K$. We introduc…
Ramification invariants are necessary, but not in general sufficient, to determine the Galois module structure of ideals in local number field extensions. This insufficiency is associated with elementary abelian extensions, where one can define a refined ramification filtration -- one with more ramification breaks [JNTB 17 (2005)]. The first refined break number comes from the usual ramification filtration and is therefore necessary. Here we study the second refined break number.
The \(v\)-function appears in the wild McKay correspondence and it is an invariant of a Galois extension over a local field which measures about the ramification of extension. The ramification filtration is also such invariant. Yasuda presented the problem whether the \(v\)-function is determined by ramification filtration. In this paper, we give a formula for the \(v\)-function for 2-dimensional representations of the bicyclic group of order \(p^2\) with \(p\) the characteristic of our base field. Using this formula, we construct an example of \(v\)-function not determined by the ramification…
In this article, we investigate the shift of Abbes and Saito's ramification filtrations of the absolute Galois group of a complete discrete valuation field of positive characteristic under a purely inseparable extension. We also study a functoriality property for characteristic forms.
Quaternion extensions are often the smallest extensions to exhibit special properties. In the setting of the Hasse-Arf Theorem, for instance, quaternion extensions are used to illustrate the fact that upper ramification numbers need not be integers. These extensions play a similar role in Galois module structure. To better understand these examples, we catalog the ramification filtrations that are possible in totally ramified extensions of dyadic number fields. Interestingly, we find that the catalog depends, for sharp lower bounds, upon the refined ramification filtration, which is associated…
Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and sufficient condition for the APF extension of local field corresponding to $\left({\mathbb F}_q(\!(x)\!), G\right)$ under the field of norms functor to be an extension of $p$-adic fields. We then apply this result to study family of invertible power series with coefficients in a $p$-adic integers ring and commute with a fixed noninvertible power series under the…
We prove the equality of two non-logarithmic ramification filtrations defined by Matsuda and Abbes-Saito for the abelianized absolute Galois group of a complete discrete valuation field in positive characteristic. We also compute the refined Swan conductor and the characteristic form of a character of the fundamental group of a smooth separated scheme over a perfect field of positive characteristic by using sheaves of Witt vectors.
Let k be a complete discrete valuation field of equal characteristic p>0. Using the tools of p-adic differential modules, we define refined Artin and Swan conductors for a representation of the absolute Galois group $G_k$ with finite local monodromy; this leads to a description of the subquotients of the ramification filtration on $G_k$. We prove that our definition of the refined Swan conductors coincide with that is given by Saito, which uses etale cohomology. We also study its relation with the toroidal variation of the Swan conductors.
Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$, $\mathcal G_{<p}$ -- the maximal quotient of $\operatorname{Gal} (\mathcal K_{sep}/\mathcal K)$ of period $p$ and nilpotent class $<p$ and $\{\mathcal G_{<p}^{(v)}\}_{v\geqslant 0}$ -- its filtration by ramification subgroups in the upper numbering. Let $\mathcal G_{<p}=G(\mathcal L)$ be the identification of nilpotent Artin-Schreier theory: here $G(\mathcal L)$ is the group obtained from a suitable profinite Lie $\mathbb{F}_p$-algebra $\mathcal L$ via the Campbell-Hausdorff composit…
Classically the ramification filtration of the Galois group of a complete discrete valuation field is defined in the case where the residue field is perfect. In this paper, we define without any assumption on the residue field, two ramification filtrations and study some of their properties.
We prove that the ramification filtration of the absolute Galois group of a comlete discrete valuation field with perfect residue field is characterized in terms of Fontaine's property (Pm).
One of the goals of this article is to describe the isomorphism between Lubin-Tate and Drinfeld towers at the level of their skeletons after taking quotient by $\GL_n (Ø_F)\times Ø_D^\times$ or $I\timesØ_D^\times$ where $Ø_D$ is the maximal order in the division algebra with invariant $\frac{1}{n}$ over $F$ and $I$ a Iwahori subgroup of $\GL_n$. We give applications to the theory of canonical subgroups on Lubin-Tate spaces, the description of spherical Hecke orbits in those spaces, fundamental domains for Hecke correspondences and the Gross-Hopkins period mapping. We also study in details the …
Given an integral p-adic variety, we observe that if the integral Hodge--de Rham spectral sequence behaves nicely, then the special fiber knows the Hodge numbers of the generic fiber. Applying recent advancements of integral p-adic Hodge theory, we show that such a nice behavior is guaranteed if the p-adic variety can be lifted to an analogue of second Witt vectors and satisfies some bound on dimension and ramification index. This is a (ramified) mixed characteristic analogue of results due to Deligne--Illusie and Fontaine--Messing. Lastly, we discuss an example illustrating the necessity of t…
We compute the inertia group of the compositum of wildly ramified Galois covers. It is used to show that even the $p$-part of the inertia group of a Galois cover of $\PP^1$ branched only at infinity can be reduced if there is a jump in the ramification filtration at two (in the lower numbering) and certain linear disjointness statement holds.
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…
This is an introduction to author's ramification theory of a complete discrete valuation field with residue field whose p-basis consists of at most one element. New lower and upper filtrations are defined; cyclic extensions of degree p may have non-integer ramification breaks. A refinement of the filtration for two-dimensional local fields which is compatible with the reciprocity map is discussed.
We the study of the monodromy of local systems with bounded ramification on a punctured disc defined over a non-archimedean valued field of characteristic zero. First, we construct the local Fourier transforms and we establish their main properties. Also, we show that the Fourier transform of a "perverse sheaf" with bounded ramification on the affine line, is again a "perverse sheaf" with bounded ramification (we put that in quotes, because actually the language of perversity is not used). These foundations are then used to exhibit a natural break decomposition for local systems with bounded r…
In this paper we present a classification of the possible upper ramification jumps for an elementary abelian p-extension of a p-adic field. The fundamental step for the proof of the main result is the computation of the ramification filtration for the maximal elementary abelian p-extension of the base field K. This is a generalization of a previous work of the second author and Dvornicich where the same result is proved under the assumption that K contains a primitive p-th root of unity. Using the class field theory and the explicit relations between the normic group of an extension and its ra…
We compute the ramification filtration on wildly ramified $p^2$-cyclic extensions of local fields of characteristic $p$. The ramification filtration on the compositum of two $p$-cyclic and $p^2$-cyclic extensions are also computed. As an application, some partial results towards Abhyankar's Inertia conjecture has been proved.
Let $L$ be a complete discrete valuation field of prime characteristic $p$ with finite residue field. Denote by $Γ_{L}^{(v)}$ the ramification subgroups of $Γ_{L}=\operatorname{Gal}(L^{sep}/L)$. We consider the category $\operatorname{MΓ}_{L}^{Lie}$ of finite $\mathbb{Z}_p[Γ_{L}]$-modules $H$, satisfying some additional (Lie)-condition on the image of $Γ_L$ in $\operatorname{Aut}_{\mathbb{Z}_p}H$. In the paper it is proved that all information about the images of the ramification subgroups $Γ_L^{(v)}$ can be explicitly extracted from some differential forms $Ω[N]$ on the Fontaine etale $ϕ$-mod…
We compare two maps that arise in study of the cohomology of number fields with ramification restricted to a finite set S of primes. One of these maps, which we call an S-reciprocity map, interpolates the values of cup products in S-ramified cohomology. In the case of p-ramified cohomology of the pth cyclotomic field for an odd prime p, we use this to exhibit an intriguing relationship between particular values of the cup product on cyclotomic p-units. We then consider higher analogues of the S-reciprocity map and relate their cokernels to the graded quotients in augmentation filtrations of Iw…
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.
The relation of the Weierstrass semigroup with several invariants of a curve is studied. For Galois covers of curves with group $G$ we introduce a new filtration of the group decomposition subgroup of $G$. The relation to the ramification filtration is investigated in the case of cyclic covers. We relate our results to invariants defined by Boseck and we study the one point ramification case. We also give applications to Hasse-Witt invariant and symmetric semigroups.
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…
A local analogue of the Grothendieck Conjecture is an equivalence of the category of complete discrete valuation fields $K$ with finite residue fields of characteristic $p\ne 0$ and the category of absolute Galois groups of fields $K$ together with their ramification filtrations. The case of characteristic 0 fields $K$ was considered by Mochizuki several years ago. Then the author proved it by different method if $p>2$ (but $\operatorname{char}K=0$ or $p$). This paper represents a modified approach: it covers the case $p=2$, contains considerable technical simplifications and replaces the Galo…
Formal orbifolds are defined in higher dimension. Their étale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to approximate the étale fundamental groups of normal varieties. Etale site on formal orbifolds are also defined. This framework allows one to study wild ramification in an organised way. Brylinski-Kato filtration, Lefschetz theorem for fundamental groups and $l$-adic sheaves in these contexts are also studied.
Let $k$ be an algebraically closed field of characteristic $p>0$ and $C$ a connected nonsingular projective curve over $k$ with genus $g \geq 2$. Let $(C,G)$ be a "big action", i.e. a pair $(C,G)$ where $G$ is a $p$-subgroup of the $k$-automorphism group of $C$ such that$\frac{|G|}{g} >\frac{2 p}{p-1}$. We denote by $G_2$ the second ramification group of $G$ at the unique ramification point of the cover $C \to C/G$. The aim of this paper is to describe the big actions whose $G_2$ is $p$-elementary abelian. In particular, we obtain a structure theorem by considering the $k$-algebra generated by…
Suppose $ϕ$ is a wildly ramified cover of germs of curves defined over an algebraically closed field of characteristic p. We study unobstructed deformations of $ϕ$ in equal characteristic, which are equiramified in that the branch locus is constant and the ramification filtration is fixed. We show that the moduli space $M_ϕ$ parametrizing equiramified deformations of $ϕ$ is a subscheme of an explicitly constructed scheme. This allows us to give an explicit upper and lower bound for the Krull dimension $d_ϕ$ of $M_ϕ$. These bounds depend only on the ramification filtration of $ϕ$. When $ϕ$ is a…
We study the behavior of Iwasawa invariants among ordinary deformations of a fixed residual Galois representation taking values in a reductive algebraic group G. In particular, under the assumption that these Selmer groups are cotorsion modules over the Iwasawa algebra, we show that the vanishing of the mu invariant is independent of the deformation, while the lambda invariant depends only on the ramification. This generalizes work of Greenberg-Vatsal and Emerton-Pollack and the author in the case G = GL(2).
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
A p-divisible group, or more generally an F-crystal, is said to be Hodge-Newton reducible if its Hodge polygon passes through a break point of its Newton polygon. Katz proved that Hodge-Newton reducible F-crystals admit a canonical filtration called the Hodge-Newton filtration. The notion of Hodge-Newton reducibility plays an important role in the deformation theory of p-divisible groups; the key property is that the Hodge-Newton filtration of a p-divisible group over a field of characteristic p can be uniquely lifted to a filtration of its deformation. We generalize Katz's result to F-crystal…
We develop a new approach to construction of numerical invariants for ramified coverings of algebraic surfaces of prime characteristic. Let A be a two-dimensional regular local ring of prime characteristic p with algebraically closed residue field. Let L/K be a solvable finite Galois extension of its fraction field. Let C be a germ of a regular curve on the spectrum of A which is not a component of the ramification divisor R. Then L/K determines (up to conjugation) an extension of the function filed of C. This is an extension of discrete valuation fields with algebaically closed residue fields…
Consider a formal (mixed-characteristic) deformation functor D of a representation of a finite group G as automorphisms of a power series ring k[[t]] over a perfect field k of positive characteristic. Assume that the action of G is weakly ramified, i.e., the second ramification group is trivial. Examples of such representations are provided by a group action on an ordinary curve: the action of a ramification group on the completed local ring of any point on such a curve is weakly ramified. We prove that the only such D that are not pro-representable occur if k has characteristic two and G is o…
Suppose $K$ is a finite field extension of $\mathbb{Q} _p$ containing a primitive $p$-th root of unity. Let $Γ_{<p}$ be the Galois group of a maximal $p$-extension of $K$ with the Galois group of period $p$ and nilpotent class $<p$. In the paper we describe the ramification filtration $\{Γ_{<p}^{(v)}\}_{v\geqslant 0}$ and relate it to an explicit form of the Demushkin relation for $Γ_{<p}$. The results are given in terms of Lie algebras attached to involved groups by the classical equivalence of the categories of $p$-groups and Lie algebras of nilpotent class $<p$.
We show how the ramification filtration on the maximal elementary abelian p-extension (p prime) on a local number field of residual characteristic p can be derived using only Kummer theory and a certain orthogonality relation for the Kummer pairing, even in the absence of a primitive p-th root of 1; the case of other local fields with finite residue fields was treated earlier. In all cases, we compute the contribution of cyclic extensions to Serre's degree-$p$ mass formula.
This article studies the variation of the Swan conductor of a lisse étale sheaf of $\mathbb{F}_{\ell}$-modules $\mathcal{F}$ on the rigid unit disc $D$ over a complete discrete valuation field $K$ with algebraically closed residue field of characteristic $p\neq \ell$. We associate to $\mathcal{F}$ a function ${\rm sw}_{\rm AS}(\mathcal{F}, \cdot): \mathbb{Q}_{\geq 0}\to \mathbb{Q}$, defined with the Abbes-Saito logarithmic ramification filtration, which measures, at each $t\in \mathbb{Q}_{\geq 0}$, the ramification of the restriction of $\mathcal{F}$ to the subdisc of radius $t$ along the spec…
Let X be a smooth projective curve over a field of characteristic p>0 and G a finite group of automorphism of X. Let n(X,G) be the characteristic of the versal equivariant deformation ring R(X,G) of (X,G). When the ramification is weak (i.e. all second ramification groups are trivial),we prove that n(X,G) is 0 or p and we compute R(X,G).
We show how to use the combinatorial notion of jump sets to parametrize the possible structures of the group of principal units of local fields, viewed as filtered modules. We establish a natural bijection between the set of jump sets and the orbit space of a $p$-adic group of filtered automorphisms acting on a free filtered module. This, together with a Markov process on Eisenstein polynomials, culminates into a mass-formula for unit filtrations. As a bonus the proof leads in many cases to explicit invariants of Eisenstein polynomials, yielding a link between the filtered structure of the uni…
Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension of $W(k)[\frac{1}{p}]$ of ramification degree $e$. We consider an unramified base ring $R_0$ over $W(k)$ satisfying certain conditions, and let $R = R_0\otimes_{W(k)}\mathcal{O}_K$. Examples of such $R$ include $R = \mathcal{O}_K[\![s_1, \ldots, s_d]\!]$ and $R = \mathcal{O}_K\langle t_1^{\pm 1}, \ldots, t_d^{\pm 1}\rangle$. We show that the generalization of Raynaud's theorem on extending $p$-divisible groups holds over the base ring $R$ when $e < p-1$, whereas it does not hold when $R = \…
Let $R$ be a perfectoid ring. Hesselholt and Bhatt-Morrow-Scholze have identified the Postnikov filtration on $\mathrm{THH}(R;\mathbb Z_p)$: it is concentrated in even degrees, generated by powers of the Bökstedt generator $σ$, generalizing classical Bökstedt periodicity for $R=\mathbb F_p$. We study an equivariant generalization of the Postnikov filtration, the *regular slice filtration*, on $\mathrm{THH}(R;\mathbb Z_p)$. The slice filtration is again concentrated in even degrees, generated by $RO(\mathbb T)$-graded classes which can loosely be thought of as the *norms* of $σ$. The slices are…
Let $p>5$ be a prime integer and $K/\mathbb{Q}_p$ a finite ramified extension with ring of integers $\mathcal{O}$ and uniformizer $π$. Let $n>1$ be a positive integer and $ρ_n:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O}/π^n)$ be a continuous Galois representation. In this article we prove that under some technical hypotheses the representation $ρ_n$ can be lifted to a representation $ρ:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O})$. Furthermore, we can pick the lift restriction to inertia at any finite set of primes (at the cost of allowing some extra ramification) and get a deformation problem whose…
Geometric properties of homomorphisms between the absolute Galois groups of mixed-characteristic complete discrete valuation fields with perfect residue fields
