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.
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…
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.
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 compute the characteristic cycle of a rank one sheaf on a smooth surface over a perfect field of positive characteristic. We construct a canonical lifting on the cotangent bundle of Kato's logarithmic characteristic cycle using ramification theory and prove the equality of the characteristic cycle and the canonical lifting. As corollaries, we obtain a computation of the singular support in terms of ramification theory.
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.
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…
We compute the singular support and the characteristic cycle of a rank 1 sheaf on a smooth variety in codimension 2 using ramification theory, when the ramification of the sheaf is clean. We develop a general theory, called the partially logarithmic ramification theory, and define an algebraic cycle on a logarithmic cotangent bundle with partial logarithmic poles along the boundary. We prove that the inverse image of the support of the cycle and the pull-back of the cycle to the cotangent bundle are equal to the singular support and the characteristic cycle, respectively, outside a closed subs…
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.
Let $C=A(r, r')$ be a closed annulus of radii $r$ and $r'$ ($r < r' \in \mathbb{Q}_{\geq 0}$) over a complete discrete valuation field with algebraically closed residue field of characteristic $p>0$. To an étale sheaf of $\mathbb{F}_{\ell}$-modules $\mathcal{F}$ on $C$, ramified at most at a finite set of rigid points of $C$, we associate an Abbes-Saito Swan conductor function $\mathrm{sw}_{\mathrm{AS}}(\mathcal{F}, \cdot): [r, r']\cap \mathbb{Q}_{\geq 0} \to \mathbb{Q}$ which, for the variable $t$, measures the ramification of $\mathcal{F}\lvert C^{[t]}$ - the restriction of $\mathcal{F}$ to …
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…
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.
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…
In this article, we prove that the Swan conductor of an étale sheaf on a smooth variety defined by Abbes and Saito's logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It extends the same result for rank 1 sheaves due to Barrientos. As an application, we give a logarithmic ramification version of generalizations of Deligne and Laumon's lower semi-continuity property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.
We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then…
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…
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…
The tangential ramification locus $B_{X/Y}^t\subset B_{X/Y}$ is the subset of points in the ramification locus where the sheaf of relative vector fields $T_{X/Y}$ fails to be locally free. It was conjectured by Zariski and Lipman that if $V/k$ is a variety over a field $k$ of characteristic 0 and $B^t_{V/k}= \emptyset$, then $V/k$ is smooth (=regular). We prove this conjecture when $V/k$ is a locally complete intersection. We prove also that $B_{V/k}^t= \emptyset$ implies $\operatorname {codim}_V B_{V/k}\leq 1 $ in positive characteristic, if $V/k $ is the fibre of a flat morphism satisfying g…
