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 Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p), as well as the Galois action on these covers.
We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale s…
Constructible complexes have the same characteristic cycle if they have the same wild ramification, even if the characteristics of the coefficients fields are different.
We introduce the notion that two elements of Grothendieck groups of constructible sheaves on a separated scheme over an excellent henselian discrete valuation ring have the same wild ramification. We prove that this condition is preserved by four of Grothendieck's six operations except the derived tensor product and the derived hom.
We prove that wild ramification of a constructible sheaf on a surface is determined by that of the restrictions to all curves. We deduce from this result that the Euler-Poincaré characteristic of a constructible sheaf on a variety of arbitrary dimension over an algebraically closed field is determined by wild ramification of the restrictions to all curves. We similarly deduce from it that so is the alternating sum of the Swan conductors of the cohomology groups, for a constructible sheaf on a variety over a local field.
M. Levine proved an enrichment of the classical Riemann-Hurwitz formula to an equality in the Grothendieck-Witt group of quadratic forms. In its strongest form, Levine's theorem includes a technical hypothesis on ramification relevant in positive characteristic. We consider wild ramification at points whose residue fields are non-separable extensions of the ground field k. We show an analogous Riemann-Hurwitz formula, and consider an example suggested by S. Saito.
In this paper, we give a simple description of the deformations of a map between two smooth curves with partially prescribed branching, in the cases that both curves are fixed, and that the source is allowed to vary. Both descriptions work equally well in the tame or wild case. We then apply this result to obtain a positive-characteristic Brill-Noether-type result for ramified maps from general curves to the projective line, which even holds for wild ramification indices. Lastly, in the special case of rational functions on the projective line, we examine what we can say as a result about fami…
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 characteristic class, and hence the Euler number. Definition 2.1.1 is corrected in v2.
In this article we study the modular properties of a family of cyclic coverings of P^1 of degree N, in all odd characteristics. We compute the moduli space of the corresponding algebraic stack over Z[1/2], as well as the Picard groups over algebraically closed fields. We put special emphasis on the study of the fibre of the stack at a prime of wild ramification; in particular we show that the moduli space has good reduction at such a prime.
We prove that every connected affine scheme of positive characteristic is a K(pi, 1) space for the etale topology. The main ingredient is the special case of the affine space over a field k. This is dealt with by induction on n, using a key "Bertini-type"' statement regarding the wild ramification of l-adic local systems on affine spaces, which might be of independent interest. Its proof uses in an essential way recent advances in higher ramification theory due to T. Saito. We also give rigid analytic and mixed characteristic versions of the main result.
A finite étale map between irreducible, normal varieties is called tame, if it is tamely ramified with respect to all partial compactifications whose boundary is the support of a strict normal crossings divisor. We prove that if the Galois group of a Galois covering contains a normal nilpotent subgroup of index bounded by a constant N, then the covering is tame if and only if it is tamely ramified with respect to a single distinguished partial compactification only depending on N. The main tools used in the proof are Temkin's local purely inseparable uniformization and a Lefschetz type theorem…
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 give a bound for the wild ramification of the monodromy action on the nearby cycles complex of a locally constant étale 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 étale cohomology groups" for smooth morphisms in equal characteristic. We also study the ramification along vertical divisors of étale sheaves on relative curves and abelian schemes over a trait.
Given a branched cover $f:Y\to X$ between smooth projective curves over a non-archimedian mixed-characteristic local field and an open rigid disk $D\subset X$, we study the question under which conditions the inverse image $f^{-1}(D)$ is again an open disk. More generally, if the cover $f$ varies in an analytic family, is this true at least for some member of the family? Our main result gives a criterion for this to happen.
We define the characteristic cycle of a locally constant étale sheaf on a smooth variety in positive characteristic ramified along boundary as a cycle in the cotangent bundle of the variety, at least on a neighborhood of the generic point of the divisor on the boundary. The crucial ingredient in the definition is an additive structure on the boundary induced by the groupoid structure of multiple self products. We prove a compatibility with pull-back and local acyclicity in non-characteristic situations. We also give a relation with the characteristic cohomology class under a certain condition …
For an $\ell$-adic sheaf on a variety of arbitrary dimension over a perfect field, we define the Swan class measuring the wild ramification as a 0-cycle class supported on the ramification locus. We prove a Lefschetz trace formula for open varieties and a generalization of the Grothendieck-Ogg-Shararevich formula using the Swan class.
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…
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.
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.
We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an l-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic. We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin c…
Wild forms are homogeneous polynomials whose smoothable rank is strictly larger than their border rank. The discrepancy between these two ranks is caused by the difference between the limit of spans of a family of zero-dimensional schemes and the span of their flat limit. For concise forms of minimal border rank, we show that the condition of vanishing Hessian is equivalent to being wild. This is proven by making a detour through structure tensors of smoothable and Gorenstein algebras. The equivalence fails in the non-minimal border rank regime. We exhibit an infinite series of minimal border …
Let $k$ be a complete nonarchimedean field and let $X$ be an affinoid closed disc over $k$. We classify the tamely ramified twisted forms of $X$. Generalizing work of P. Russell on inseparable forms of the affine line we construct explicit families of wildly ramified forms of $X$. We compute the class group and the Grothendieck group of forms of $X$ in certain cases.
We examine logarithmic connections with vanishing p-curvature on smooth curves by studying their kernels, describing them in terms of formal local decomposition. We then apply our results in the case of connections of rank 2 on P^1, classifying such connections in terms of self-maps of P^1 with prescribed ramification.
Let K be a complete discrete valuation field of mixed characteristic (0,p) with algebraically closed residue field, and let f: Y --> P^1 be a three-point G-cover defined over K, where G has a cyclic p-Sylow subgroup P. We examine the stable model of f, in particular, the minimal extension K^{st}/K such that the stable model is defined over K^{st}. Our main result is that, if g(Y) \geq 2, the ramification indices of f are prime to p, and |P| = p^n, then the p-Sylow subgroup of Gal(K^{st}/K) has exponent dividing p^{n-1}. This extends work of Raynaud in the case that |P| = p.
The refined Swan conductor is defined by K.\ Kato \cite{KK2}, and generalized by T.\ Saito \cite{wild}. In this part, we consider some smooth $l$-adic étale sheaves of rank $p$ such that we can be define the $rsw$ following T.\ Saito, on some smooth dense open subscheme $U$ of a smooth separated scheme X of finite type over a perfect fields $κ$ of characteristic $p>0$. We give an explicit expression of $rsw(\mathcal{F})$ in some situation. As a consequence, we show that it is integral.
We study stable reduction of curves in the case where a tamely ramified base extension is sufficient. If X is a smooth curve defined over the fraction field of a strictly henselian discrete valuation ring, there is a criterion, due to T. Saito, that describes precisely, in terms of the geometry of the minimal model with strict normal crossings of X, when a tamely ramified extension suffices in order for X to obtain stable reduction. For such curves we construct an explicit extension that realizes the stable reduction, and we furthermore show that this extension is minimal. We also obtain purel…
Given a generically étale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $δ_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$. This provides a new invariant for studying $f$, which cannot be obtained by the usual reduction techniques. We prove that $δ_f$ is a piecewise monomial function satisfying a balancing condition at type 2 points analogous to the classical Riemann-Hurwitz formula, and show that $δ_f$ can be used to explicitly construct the simultaneous skeletons of $X$ and $Y$. As an application, we use …
This paper examines the relationship between the automorphism group of a hyperelliptic curve defined over an algebraically closed field of characteristic two and the 2-rank of the curve. In particular, we exploit the wild ramification to use the Deuring-Shafarevich formula in order to analyze the ramification of hyperelliptic curves that admit extra automorphisms and use this data to impose restrictions on the genera and 2-ranks of such curves. We also show how some of the techniques and results carry over to the case where our base field is of characteristic $p>2$.
We analyze the geometry of rational p-division points in degenerating families of elliptic curves in characteristic p. We classify the possible Kodaira symbols and determine for the Igusa moduli problem the reduction type of the universal curve. Special attention is paid to characteristic 2 and 3 where wild ramification and stacky phenomena show up.
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…
The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, Rülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over finite fields. We study the non-homotopy invariant part of the Chow group of $0$-cycles with modulus and show their torsion and divisibility properties. Modulus is being brought to sheaf theory by Kah…
We study classical invariants for plane curve singularities $f\in K[[x,y]]$, $K$ an algebraically closed field of characteristic $p\geq 0$: Milnor number, delta invariant, kappa invariant and multiplicity. It is known, in characteristic zero, that $μ(f)=2δ(f)-r(f)+1$ and that $κ(f)=2δ(f)-r(f)+\mathrm{mt}(f)$. For arbitrary characteristic, Deligne prove that there is always the inequality $μ(f)\geq 2δ(f)-r(f)+1$ by showing that $μ(f)-\left( 2δ(f)-r(f)+1\right)$ measures the wild vanishing cycles. By introducing new invariants $γ,\tildeγ$, we prove in this note that $κ(f)\geq γ(f)+\mathrm{mt}(f)…
