January 9, 2002
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, and we consider ramification jumps of this extension. Varying C, we obtain a collection of data describing the ramification of L/K with respect to C. In the present paper we show that the above mentioned ramification jumps depend only on the jet of C of certain order, and the upper bound for this order depends linearly on the order of tangence of C and R. Strictly speaking, this is done for wild ramification jumps, i.e., for the ramification jumps divided by the order of tame ramification. It would be important to prove a stronger fact: not only the jumps but the whole ramification filtration is the same when C is running over a jet of certain order. This statement (for curves transversal to R) is a step in Deligne's program describing how to compute Euler-Poincare characteristics of constructible etale sheaves on surfaces. In the present version we prove the above fact for some class of Galois groups that includes, in particular, all abelian p-groups.
Similar papers 1
September 15, 2002
Let $A$ be a regular 2-dimensional local ring of characteristic $p>0$, and let $L/K$ be a cyclic extension of degree $p$ of its field of fractions such that the corresponding branch divisor is normal crossing. For each $\gp\in\Spec A$ of height 1 such that $A/\gp$ is regular, consider the ramification jump $h_\gp$ of the extension of the residue field at $\gp$. In this paper the semi-continuity of $h_\gp$ with respect to Zariski topology of suitable jet spaces is proved. The ...
July 22, 2010
This article is devoted to studying the ramification of Galois torsors and of $\ell$-adic sheaves in characteristic $p>0$ (with $\ell\not=p$). Let $k$ be a perfect field of characteristic $p>0$, $X$ be a smooth, separated and quasi-compact $k$-scheme, $D$ be a simple normal crossing divisor on $X$, $U=X-D$, $\Lambda$ be a finite local ${\mathbb Z}_\ell$-algebra, $F$ be a locally constant constructible sheaf of $\Lambda$-modules on $U$. We introduce a boundedness condition on ...
June 28, 2001
In this paper we prove an explicit formula which compares the dimensions of the spaces of vanishing cycles in a Galois cover of degree p between formal germ of curves over a complete discrete valuation ring of inequal characteristics (0,p). This formula can be easily generalised to the case of a Galois cover with group which is nilpotent or which has a normal p-Sylow subgroup. The results of this paper play a key role in [Sa-1] where is studied the semi-stable reduction of Ga...
July 9, 2014
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 ro...
May 19, 2007
We propose a geometric method to measure the wild ramification of a smooth etale sheaf along the boundary. Using the method, we study the graded quotients of the logarithmic ramification groups of a local field of positive characteristic with arbitrary residue field. We also define the characteristic cycle of an l-adic sheaf, satisfying certain conditions, as a cycle on the logarithmic cotangent bundle and prove that the intersection with the 0-section computes the characteri...
September 20, 2015
This paper is an extended version of the author's talk given at the conference "Non-Archimedean analytic geometry: theory and practice" held in August 2015 at Papeete. It gives a brief overview of recent results on the structure of wild coverings of Berkovich curves and its relation to the different and higher ramification theory.
November 7, 2018
In this article, we give a bound for the wild ramification of the monodromy action on the nearby cycles complex of a locally constant \'etale sheaf on the generic fiber of a smooth scheme over an equal characteristic trait in terms of Abbes and Saito's logarithmic ramification filtration. This provides a positive answer to the main conjecture in Isabel Leal's article "On the ramification of \'etale cohomology groups" for smooth morphisms in equal characteristic. We also study...
December 10, 2014
Given a Galois cover of curves over $\mathbb{F}_p$, we relate the $p$-adic valuation of epsilon constants appearing in functional equations of Artin L-functions to an equivariant Euler characteristic. Our main theorem generalises a result of Chinburg from the tamely to the weakly ramified case. We furthermore apply Chinburg's result to obtain a `weak' relation in the general case. In the Appendix, we study, in this arbitrarily wildly ramified case, the integrality of $p$-adic...
July 1, 2015
For a smooth surface X over an algebraically closed field of positive characteristic, we consider the ramification of an Artin-Schreier extension of X. A ramification at a point of codimension 1 of X is understood by the Swan conductor. A ramification at a closed point of X is understood by the invariant r_x defined by Kato [2]. The main theme of this paper is to give a simple formula to compute r_x' defined in [4], which is equal to r_x for good Artin-Schreier extension. We ...
April 14, 2018
Let $k$ be a perfect field of characteristic $p$ and set $K=k((t))$. In this paper we study the ramification properties of elements of Aut$_k(K)$. By choosing a uniformizer for $K$ we may interpret our theorems in terms of power series over $k$. The most important tool that we use is the field of norms construction of Fontaine and Wintenberger.