Related papers: F-characteristic cycle of a rank one sheaf on an a…
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…
We define the characteristic cycle of an etale sheaf as a cycle on the cotangent bundle of a smooth variety in positive characteristic using the singular support recently defined by Beilinson. We prove a formula a la Milnor for the total…
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…
For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the…
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 \'{e}tale sheaves of rank $p$ such that we can be define the $rsw$ following T.\ Saito,…
We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the intersection number with the 0-section equals the Euler number and that the total dimension of vanishing cycles at an…
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…
We study some properties of the characteristic cycle of a constructible complex on a smooth variety over a perfect field, push-forward and product.
Given a constructible sheaf $F$ on a complex manifold, Kashiwara-Schapira defined the notion of singular support and characteristic cycle of $F$. On the other hand for a Zariski constructible \'{e}tale sheaf $F$ on an algebraic variety $X$,…
We define a numerical invariant, the differential Swan conductor, for certain differential modules on a rigid analytic annulus over a p-adic field. This gives a definition of a conductor for p-adic Galois representations with finite local…
Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of…
We define the characteristic cycle of a locally constant \'etale 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…
Let $k$ be a field of arbitrary characteristic. Let $S$ be a singular surface defined over $k$ with multiple rational curve singularities and suppose that the Chow group of zero cycles of its normalisation $\tilde{S}$ is finite dimensional.…
We study zero-cycles in families of rationally connected varieties. We show that for a smooth projective scheme over a henselian discrete valuation ring the restriction of relative zero cycles to the special fiber induces an isomorphism on…
An $\ell$-adic GKZ hypergeometric sheaf is defined analogously to a GKZ hypergeometric $\mathcal{D}$-module. We introduce an algorithm of computing the characteristic cycle of an $\ell$-adic GKZ hypergeometric sheaf of certain type. Our…
For a character of the absolute Galois group of a complete discrete valuation field, we define a lifting of the refined Swan conductor, using higher dimensional class field theory.
Let $R$ be a complete discrete valuation ring with residue characteristic $p>0$. In this note we give an example of a Galois cover $f:Y\to X$ between flat and normal formal $R$-schemes of finite type which is \'etale above the generic fibre…
We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field.
Let $k$ be a perfect field of characteristic $p$, let $f_i:X_i\to\mathbb A_k^1$ $(i=1,2)$ be two $k$-morphism of finite type, and let $f:X_1\times_k X_2\to \mathbb A_k^1$ be the morphism defined by $f(z_1,z_2)=f_1(z_1)+f_2(z_2)$. For each…
Relying on the formalism developed by Alexander Beilinson and Takeshi Saito, we compute the characteristic cycle of an external symmetric power of a tame \'etale sheaf on a curve. This generalizes a result of G\'erard Laumon in…