On ramification theory in the imperfect residue field case
Igor B. Zhukov
备注：
This is a corrected and extended version of my 1998 Nottingham preprint; many details are added. AmSTeX, 28 pages. To appear in Proceedings of the conference "Ramification theory of arithmetic schemes" (Luminy, 1999)
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 introduce some filtration on the second K-group of a given field. This filtration is other than the filtration induced by the valuation. We prove that the reciprocity map of two-dimensional local class field theory identifies this filtration with the ramification filtration.
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.
The graded quotients of the logarithmic ramification groups of a local field of mixed characteristic is killed by the residue characteristic. Its characters are described by differential forms.
We generalize a work of Iovita-Zaharescu on the Galois theory of B_dR^+ to the imperfect residue field case. The proof is based on a structure theorem of Colmez's higher Kahler differentials.
For a $p$-adic local field $K$ with perfect residue field, L. Herr constructed a complex which computes the Galois cohomology of a $p$-torsion representation of the absolute Galois group of $K$ by using the theory of $(Φ,Γ)$-modules. We shall generalize his work to the imperfect residue field (the residue field has a finite $p$-basis) case.
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).
In Sen's theory in the imperfect residue field case, Brinon defined a functor from the category of C_p-representations to the category of linear representations of certain Lie algebra. We give a comparison theorem between the continuous Galois cohomology of C_p-representations and the Lie algebra cohomology of the associated representations. The key ingredients of the proof are Hyodo's calculation of Galois cohomology and the effaceability of Lie algebra cohomology for solvable Lie algebras.
Let $L$ be a number field. For a given prime $p$ we define integers $α_{p}^{L}$ and $β_{p}^{L}$ with some interesting arithmetic properties. For instance, $β_{p}^{L}$ is equal to $1$ whenever $p$ does not ramify in $L$ and $α_{p}^{L}$ is divisible by $p$ whenever $p$ is wildly ramified in $L$. The aforementioned properties, although interesting, follow easily from definitions; however a more interesting application of these invariants is the fact that they completely characterize the Dedekind zeta function of $L$. Moreover, if the residue class mod $p$ of $α_{p}^{L}$ is not zero for all $p$ th…
Let K be a p-adic local field with residue field k such that [k:k^p]=p^e<\infty and V be a p-adic representation of Gal(\bar{K}/K). Then, by using the theory of p-adic differential modules, we show that V is a potentially crystalline (resp. potentially semi-stable) representation of Gal(\bar{K}/K) if and only if V is a potentially crystalline (resp. potentially semi-stable) representation of Gal(\bar{K^{pf}}/K^{pf}) where K^{pf}/K is a certain p-adic local field whose residue field is the smallest perfect field k^{pf} containing k. As an application, we prove the p-adic monodromy theorem of Fo…
In this paper, we generalise the construction of the Bloch-Kato exponential map to complete discrete valuation fields of mixed characteristic (0,p) whose residue fields have a finite p-basis. As an application we prove an explicit reciprocity law, extending a result of Cherbonnier and Colmez in the classical case. This result relies on the calculation of the Galois cohomology of a p-adic representation V in terms of its (phi,G)-module.
We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more general valuations and residue fields. As seen in VT16, the "defect" case gives rise to many interesting complications. In this paper, we present analogous results for degree $p$ extensions of arbitrary valuation rings in mixed characteristic $(0,p)$ in a more general setting. More specifically, the only assumption here is that the base field $K$ is henselian. In…
Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered $(φ,N)$-modules with connections. We then construct a fully faithful functor from the category of \emph{integral} semi-stable representations of $G_K$ to the category of Breuil-Kisin $G_K$-modules. Using the integral theory, we classify $p$-divisible groups over the ring of integers of $K$ by minuscule Breuil-Kisin modules with connections.
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 study the ramification of fierce cyclic Galois extensions of a local field $K$ of characteristic zero with a one-dimensional residue field of characteristic $p>0$. Using Kato's theory of the refined Swan conductor, we associate to such an extension a ramification datum, consisting of a sequence of pairs $(δ_i,ω_i)$, where $δ_i$ is a positive rational number and $ω_i$ a differential form on the residue field of $K$. Our main result gives necessary and sufficient conditions on such sequences to occur as a ramification datum of a fierce cyclic extension of $K$.
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…
Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field $k_K$ such that $[k_K:k_K^p]=p^d<\infty$. Let $G_K$ be the absolute Galois group of $K$ and $ρ:G_K\to GL_h(\Q_p)$ a $p$-adic representation. When $k_K$ is perfect, Shankar Sen described the Lie algebra of $ρ(G_K)$ in terms of so-called Sen's operator $Θ$ for $ρ$. When $k_K$ may not be perfect, Olivier Brinon defined $d+1$ operators $Θ_0,...,Θ_d$ for $ρ$, which coincides with Sen's operator $Θ$ in the case of $d=0$. In this paper, we describe the Lie algebra of $ρ(G_K)$ in terms of Brinon's operato…
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
Let $L/K$ be a finite Galois extension of local fields. The Hasse-Arf theorem says that if Gal$(L/K)$ is abelian then the upper ramification breaks of $L/K$ must be integers. We prove the following converse to the Hasse-Arf theorem: Let $G$ be a nonabelian group which is isomorphic to the Galois group of some totally ramified extension $E/F$ of local fields with residue characteristic $p>2$. Then there is a totally ramified extension of local fields $L/K$ with residue characteristic $p$ such that Gal$(L/K)\cong G$ and $L/K$ has at least one nonintegral upper ramification break.
Let K be a complete discrete valuation field of mixed characteristic (0,p) and G_K the absolute Galois group of K. In this paper, we will prove the p-adic monodromy theorem for p-adic representations of G_K without any assumption on the residue field of K, for example the finiteness of a p-basis of the residue field of K. The main point of the proof is a construction of (phi,G_K)-module Nrig^+(V) for a de Rham representation V, which is a generalization of Pierre Colmez' Nrig^+(V). In particular, our proof is essentially different from Kazuma Morita's proof in the case when the residue field a…
Let $L/K$ be an extension of complete discrete valuation fields, and assume that the residue field of $K$ is perfect and of positive characteristic. The residue field of $L$ is not assumed to be perfect. In this paper, we prove a formula for the Swan conductor of the image of a character $χ\in H^1(K, \mathbb{Q}/\mathbb{Z})$ in $H^1(L, \mathbb{Q}/\mathbb{Z})$ for $χ$ sufficiently ramified. Further, we define generalizations $ψ_{L/K}^{\mathrm{ab}}$ and $ψ_{L/K}^{\mathrm{AS}}$ of the classical Hasse-Herbrand $ψ$-function and prove a formula for $ψ_{L/K}^{\mathrm{ab}}(t)$ for sufficiently large $t…
We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class of a tamely ramified finite galoisian extension coincide, and can be recovered from the parameter. We also give an elementary proof of Serre's mass formula in the tame case and in the simplest wild case, and we classify tame galoisian extensions of degree the cube of a prime.
Let $K$ be a complete discretely valued field with mixed characteristic $(0, p)$ and imperfect residue field $k_K$. Let $Δ$ be a finite set. We construct an equivalence of categories between finite dimensional $\Bbb{F}_p$-representations of the product of $Δ$ copies of the absolute Galois group of $K$ and multivariable \' etale $(φ, Γ)$-modules over a multivariable Laurent series ring over $k_K$.
Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that the modulo s^m of the extension O_L/O_K and modulo t^m of O_E/O_F are isomorphic. Let j=<m be a positive rational number. In this paper, we prove that the ramification of L/K is bounded by j if and only if the ramification of E/F is bounded by j. As an application, we prove that the categories of finite separable extensions of K and F whose ramifications ar…
Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$, whose residue field may not be perfect, and $G_K$ the absolute Galois group of $K$. In the first part of this paper, we prove that Scholl's generalization of fields of norms over $K$ is compatible with Abbes-Saito's ramification theory. In the second part, we construct a functor $\mathbb{N}_{\mathrm{dR}}(V)$ associating a de Rham representation $V$ with a $(φ,\nabla)$-module in the sense of Kedlaya. Finally, we prove a compatibility between Kedlaya's differential Swan conductor of $\mathbb{N}_{\mathrm{dR}}(V)$ and …
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 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…
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…
We prove non-commutative reciprocity laws on an algebraic surface defined over a perfect field. These reciprocity laws claim the splittings of some central extensions of globally constructed groups over some subgroups constructed by points or projective curves on a surface. For a two-dimensional local field with a finite last residue field the constructed local central extension is isomorphic to a central extension which comes from the case of tame ramification of the Abelian two-dimensional local Langlands correspondence suggested by M. Kapranov.
Let K be a local field whose residue field is a finite field of characteristic p, and let L/K be a finite totally ramified Galois extension. Fried and Heiermann defined the "indices of inseparability" of L/K, a refinement of the ramification data of L/K. We give a method for computing the indices of inseparability of the extension L/K in terms of the norm group N_{L/K}(L^*) in the case where K has characteristic p and Gal(L/K) is an elementary abelian p-group with a single ramification break. In some cases our methods lead to simple formulas for the indices of inseparability.
We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for surfaces over a perfect field. In an appendix, explicit local ramification theory is used to recover the fact that in the case of a local complete intersection the dualizing and canonical sheaves coincide.
Let $K$ be a complete discrete valuation field with residue class field $k$, where both are of positive characteristic $p$. Then the group of wild automorphisms of $K$ can be identified with the group under composition of formal power series over $k$ with no constant term and $X$-coefficient $1$. Under the hypothesis that $p > b^2$, we compute the first nontrivial coefficient of the $p$th iterate of a power series over $k$ of the form $f = X + \sum_{i \geq 1} a_iX^{b+i}$. As a result, we obtain a necessary and sufficient condition for an automorphism to be ``$b$-ramified,'' having lower ramifi…
For a local field with finite residue field of characteristique p, we give some refinements of Serre's mass formula in degree p which allow us to compute for example the contribution of cyclic extensions, or of those whose galoisian closure has a given group as group of automorphisms, or has ramification properties given in advance.
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…
We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded ramification. We also generalize the equicharacteristic zero case of loc. cit. by giving, in all residue characteristics, an axiomatic approach (instead of only using Denef-Pas languages) and by using richer angular component maps. In this setting we prove a general change of variables formula and a general Fubini Theorem. Our set-up can be specialized to prev…
In this paper, which is the natural continuation and generalization of Fesenko's non-abelian reciprocity map, we extend the theory of Fesenko to infinite $APF$-Galois extensions $L$ over a local field $K$, with finite residue-class field $κ_K$ of $q=p^f$ elements, satisfying $\pmbμ_p(K^{sep})\subset K$ and $K\subset L\subset K_{ϕ^d}$ where the residue-class degree $[κ_L:κ_K]=d$. More precisely, for such extensions $L/K$, fixing a Lubin-Tate splitting $ϕ$ over $K$, we construct a 1-cocycle, \pmbΦ_{L/K}^{(ϕ)}:\text{Gal}(L/K)\to K^\times/N_{L_0/K}L_0^\times\times U_{\widetilde{\mathbb X}(L/K)}^\d…
In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th residue rings are isomorphic for each $n\ge 1$, then $K_1$ and $K_2$ are isometric and isomorphic. More generally, for $n_1\ge 1$, there is $n_2$ depending only on the ramification indices of $K_1$ and $K_2$ such that any homomorphism from the $n_1$-th residue ring of $K_1$ to the $n_2$-th residue ring of $K_2$ can be lifted to a homomorphism between the valuat…
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…
Geometric properties of homomorphisms between the absolute Galois groups of mixed-characteristic complete discrete valuation fields with perfect residue fields
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition law of a prime in a mod 3 Heisenberg extension of degree 27 over $\mathbb{Q}(\sqrt{-3})$ with restricted ramification, which we construct concretely in the form similar to Rédei's dihedral extension over $\mathbb{Q}$. We also give a cohomological interpretation of our symbols by…
Let K be a local field of mixte characteristics. We assume that the residue field is perfect. Let X\_K be a proper smooth scheme over K admitting an integer model X which is proper and semi-stable. In this article, we prove a period isomorphism linking the étale cohomology of X\_Kbar with coefficients in Z/p^n and the log-crystalline cohomology of the special fiber of X. Nevertheless, we have a restriction on the absolute ramification of K and the degree of the cohomologies. We apply the theory to deduce a complete proof of the Serre conjecture on the tame inertia.
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.
Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. Let $f(z) \in K[z]$ be a separable polynomial of the form $z^\ell-c.$ Given $a \in K$, we examine the Galois groups and ramification groups of the extensions of $K$ generated by the solutions to $f^n(z)=a$. The behavior depends upon $v(c)$, and we find that it shifts dramatically as $v(c)$ crosses a certain value: $0$ in the case $p \nmid \ell$, and $-p/(p-1)$ in the case $p=\ell$.
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…
For a prime $p$, a cyclic-by-$p$ group $G$ and a $G$-extension $L|K$ of complete discrete valuation fields of characteristic $p$ with algebraically closed residue field, the local lifting problem asks whether the extension $L|K$ lifts to characteristic zero. In this paper, we characterize $D_4$-extensions of fields of characteristic two, determine the ramification breaks of (suitable) $D_4$-extensions of complete discrete valuation fields of characteristic two, and solve the local lifting problem in the affirmative for every $D_4$-extension of complete discrete valuation fields of characterist…
We develop, for an l-adic etale sheaf on a complete trait of characteristic p>0, the notion of characteristic variety. Our approach, inspired by the microlocal analysis of Kashiwara and Schapira, is a complement to our ramification theory for local fields with general residue fields. We formulate the main property that should be satisfied by the characteristic variety (the isogeny conjecture), and prove it for rank one sheaves unconditionally on the trait, or unconditionally on the sheaf if the residue field of the trait is perfect.
Explicit reduced APN permutations: ramification and optimal Galois-ring lifts
Research Institute of Criminal Psychiatry / Sex Offender Medical Center（犯罪精神病学研究所/性犯罪者医疗中心）；Department of Neuropsychiatry, Kyoto University（京都大学神经精神医学系）
Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=ap^ν$. The indices of inseparability $i_0,i_1,...,i_ν$ of $L/K$ were defined by Fried in the case char$(K)=p$ and by Heiermann in the case char$(K)=0$; they give a refinement of the usual ramification data for $L/K$. The indices of inseparability can be used to construct "generalized Hasse-Herbrand functions" $ϕ_{L/K}^j$ for $0\le j\leν$. In this paper we give an interpretation of the values $ϕ_{L/K}^j(c)$ for natural numbers $c$. We use this interpret…
