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 character for a group action with an isolated fixed point on a regular local ring, assuming the dimension is 2.
Let us consider an abelian variety defined over $\mathbb{Q_{\ell}}$ with good supersingular reduction. In this paper we give explicit conditions that ensure that the action of the wild inertia group on the $\ell$-torsion points of the variety is trivial. Furthermore we give a family of curves of genus 2 such that their Jacobian surfaces have good supersingular reduction and satisfy these conditions. We address this question by means of a detailed study of the formal group law attached to abelian varieties.
Given a natural number n and a number field K, we show the existence of an integer \ell_0 such that for any prime number \ell\geq \ell_0, there exists a finite extension F/K, unramified in all places above \ell, together with a principally polarized abelian variety A of dimension n over F such that the resulting \ell-torsion representation ρ_{A,\ell} from G_F to GSp(A[\ell](\bar{F})) is surjective and everywhere tamely ramified. In particular, we realize GSp_{2n}(\mathbb{F}_\ell) as the Galois group of a finite tame extension of number fields F'/F such that F is unramified above \ell.
We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$-independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.
We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.
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.
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.
As an application of P. Delgine's theorem (Esnault and Kerz in Acta Math. Vietnam. 37:531-562, 2012) on a finiteness of $l$-adic sheaves on a variety over a finite field, we show the finiteness of étale coverings of such a variety with given degree whose ramification bounded along an effective Cartier divisor. This can be thought of a higher dimensional analogue of the classical Hermite-Minkowski 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…
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…
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.
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).
We construct explicitly APF extensions of finite extensions of $\qp$ for which the Galois group is not a p-adic Lie group and which do not have any open subgroup with $\zp$-quotient.
We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite separable cover of bounded degree. In rank one, there is a curve which preserves their monodromy. There is a curve defined over the algebraic closure of a purely transcendental extension of $k$ of finite degree which fulfills the Lefschetz theorem. Last version: minor typos corrected.
We the study of the monodromy of local systems with bounded ramification on a punctured disc defined over a non-archimedean valued field of characteristic zero. First, we construct the local Fourier transforms and we establish their main properties. Also, we show that the Fourier transform of a "perverse sheaf" with bounded ramification on the affine line, is again a "perverse sheaf" with bounded ramification (we put that in quotes, because actually the language of perversity is not used). These foundations are then used to exhibit a natural break decomposition for local systems with bounded r…
The formulas for local root numbers of abelian varieties of dimension one are known. In this paper we treat the simplest unknown case in dimension two by considering a curve of genus 2 defined over a $5$-adic field such that the inertia acts on the first $\ell$-adic cohomology group through the largest possible finite quotient, isomorphic to $C_5\rtimes C_8$. We give a few criteria to identify such curves and prove a formula for their local root numbers in terms of invariants associated to a Weierstrass equation.
Let k be a complete discrete valuation field of equal characteristic p>0. Using the tools of p-adic differential modules, we define refined Artin and Swan conductors for a representation of the absolute Galois group $G_k$ with finite local monodromy; this leads to a description of the subquotients of the ramification filtration on $G_k$. We prove that our definition of the refined Swan conductors coincide with that is given by Saito, which uses etale cohomology. We also study its relation with the toroidal variation of the Swan conductors.
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.
On the Finiteness of Geometric Representations for Varieties over Finite Fields
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Research Institute of Intelligent Complex Systems, Fudan University（复旦大学智能复杂系统研究院）
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
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 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 introduc…
We show that the recent result of Castañeda and Wu about the ramification filtration in certain $p$-extensions of function fields of prime characteristic $p$ is equally valid over local fields of mixed characteristic $(0,p)$. Apart from being applicable to both equicharacteristic and mixed characteristic cases, our method has the advantage of being purely local, purely conceptual, more natural, and much shorter.
Let $F$ be a non-Archimedean locally compact field. We show that the local Langlands correspondence over $F$ has a strong property generalizing the higher ramification theorem of local class field theory. If $π$ is an irreducible cuspidal representation of a general linear group $GL_n(F)$ and $σ$ the corresponding irreducible representation of the Weil group $W_F$ of $F$, the restriction of $σ$ to a ramification subgroup of $W_F$ is determined by a truncation of the simple character $θ_π$ contained in $π$, and conversely. Numerical aspects of the relation are governed by a Herbrand-like functi…
Let p>2 be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fractional field of the Witt ring of k. Let G and H be finite flat commutative group schemes killed by p over O_K and k[[u]], respectively. In this paper, we show the upper and the lower ramification subgroups of G and H in the sense of Abbes-Saito are naturally isomorphic to each other when they are associated to the same Kisin module.
An abelian surface $A_{/{\mathbb Q}}$ of prime conductor $N$ is favorable if its 2-division field $F$ is an ${\mathcal S}_5$-extension with ramification index 5 over ${\mathbb Q}_2$. Let $A$ be favorable and let $B$ be any semistable abelian variety of dimension $2d$ and conductor $N^d$ such that $B[2]$ is filtered by copies of $A[2]$. We give a sufficient class field theoretic criterion on $F$ to guarantee that $B$ is isogenous to $A^d$. As expected from our paramodular conjecture, we conclude that there is one isogeny class of abelian surfaces for each conductor in $\{277, 349,461,797,971\}$…
Let $K$ be a local field of characteristic $p$ and let $L/K$ be a totally ramified elementary abelian $p$-extension with a single ramification break $b$. Byott and Elder defined the refined ramification breaks of $L/K$, an extension of the usual ramification data. In this paper we give an alternative definition for the refined ramification breaks, and we use Artin-Schreier theory to compute both versions of the breaks in some special cases.
We give a criterion whether given Eisenstein polynomials over a local field K define the same extension over K in terms of a certain non-Archimedean metric on the set of polynomials. The criterion and its proof depend on ramification theory.
For a rational prime p, let k be a perfect field of characteristic p, K be a finite totally ramified extension of Frac(W(k)) of degree e and r be a non-negative integer satisfying r<p-1. In this article, we prove the upper numbering ramification group G^(j) for j>u(K,r,n) acts trivially on the p^n-torsion semi-stable G_K-representations with the Hodge-Tate weights in {0,...,r}, where u(K,0,n)=0, u(K,1,n)=1+e(n+1/(p-1)) and u(K,r,n)=1-p^{-n}+e(n+r/(p-1)) for r>1.
In this paper, we obtain bounds for the Mordell-Weil ranks over cyclotomic extensions of a wide range of abelian varieties defined over a number field $F$ whose primes above $p$ are totally ramified over $F/\mathbb{Q}$. We assume that the abelian varieties may have good non-ordinary reduction at those primes. Our work is a generalization of \cite{Kim}, in which the second author generalized Perrin-Riou's Iwasawa theory for elliptic curves over $\mathbb{Q}$ with supersingular reduction (\cite{Perrin-Riou}) to elliptic curves defined over the above-mentioned number field $F$. On top of non-ordin…
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 E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u is a place of E dividing v, we show that any field embedding E_S \to \bar{E_u} has a dense image. The "unramified outside S" number fields we use are cut out from the l-adic cohomology of the "simple" Shimura varieties studied by Kottwitz and Harris-Taylor. The main ingredients of the proof are then the local Langlands correspondence for GL_n, the main glob…
We completely determine which extension of local fields satisfies Fontaine's property (Pm) for a given real number m. A key ingredient of the proof is the local class field theory of Serre and Hazewinkel.
Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and sufficient condition for the APF extension of local field corresponding to $\left({\mathbb F}_q(\!(x)\!), G\right)$ under the field of norms functor to be an extension of $p$-adic fields. We then apply this result to study family of invertible power series with coefficients in a $p$-adic integers ring and commute with a fixed noninvertible power series under the…
We compute the ramification filtration on wildly ramified $p^2$-cyclic extensions of local fields of characteristic $p$. The ramification filtration on the compositum of two $p$-cyclic and $p^2$-cyclic extensions are also computed. As an application, some partial results towards Abhyankar's Inertia conjecture has been proved.
In this paper, we write down the local Brauer classes of the endomorphism algebras of motives attached to non-CM primitive Hecke eigenforms for all supercuspidal primes in terms of traces of adjoint lifts at auxiliary primes. We give an alternative proof of the result for odd primes $p$ obtained in [MR3391026] and write down the ramification formulas for odd unramified supercuspidal primes of level zero also removing a mild hypothesis of [MR3391026]. We also give a complete description of ramifications for $p=2$. The philosophy of adjoint lifts help us to determine the local Brauer classes at …
In this note, we discuss several forms of the Eichler-Shimura relation for the compactly supported cohomology of local Shimura varieties, using the work of Fargues-Scholze.
We classify stacky curves in characteristic $p > 0$ with cyclic stabilizers of order $p$ using higher ramification data. This approach replaces the local root stack structure of a tame stacky curve, similar to the local structure of a complex orbifold curve, with a more sensitive structure called an Artin-Schreier root stack, allowing us to incorporate this ramification data directly into the stack. As an application, we compute dimensions of Riemann-Roch spaces for some examples of stacky curves in positive characteristic and suggest a program for computing spaces of modular forms in this set…
Using the work of Fargues-Scholze, we prove a vanishing theorem for the generic unramified part of the cohomology of local Shimura varieties of general linear groups. This gives an alternative approach to vanishing results of Caraiani-Scholze for the cohomology of unitary Shimura varieties.
Let G_1,...,G_q be algebraic varieties over a finite field k. We show that, if q >1, the finiteness of the tensor product of G_1, ...,G_q as Mackey functors. We apply this to prove the finiteness of a relative Chow group and an abelian fundamental group which classifies abelian coverings with bounded ramification along the boundary.
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 totally real field. In this article we present an asymptotic formula for the number of Hilbert modular cusp forms $f$ with given ramification at every place $v$ of $K$. When $v$ is an infinite place, this means specifying the weight of $f$ at $k$, and when $v$ is finite, this means specifying the restriction to inertia of the local Weil-Deligne representation attached to $f$ at $v$. Our formula shows that with essentially finitely many exceptions, the cusp forms of $K$ exhibit every possible sort of ramification behavior, thus generalizing a theorem of Khare and Prasad. From this …
It is a short report for the ICCM2019 Proceedings on recent results obtained with Michael Groechenig and Moritz Kerz concerning special subloci of the Betti moduli space of irreducible complex local systems on complex varieties.
We give a formula for the Eisenstein cohomology of local systems on the partial compactification of the moduli of principally polarized abelian varieties given by rank 1 degenerations. For genus 2 we give a formula for the full Eisenstein cohomology.
