Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

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.     

Wild tame-by-cyclic extensions

Suppose G is a semi-direct product of the form Z/pⁿ?Z/m where p is prime and m is relatively prime to p. Suppose K is a complete discrete valuation field of characteristic p>0 with algebraically closed residue field. 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, and we calculate its dimension in terms of the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p³.     

Lifting Artin–Schreier covers with maximal wild monodromy

Let k be an algebraically closed field of characteristic p > 0. We consider the problem of lifting p-cyclic covers of ${\mathbb{P}^{1}_k}$ as p-cyclic covers C of the projective line over some discrete valuation field K under the condition that the wild monodromy is maximal. We answer positively the problem for covers birationally given by w ^p ?w = t R(t) for any additive polynomial R(t). One gives further informations about the ramification filtration of the monodromy extension and in the case when p = 2, one computes the conductor exponent f (Jac(C)/K) and the Swan conductor sw(Jac(C)/K).     

A homological approach to representations of algebras I: The wild case

We prove that the pure global dimension of a polynomial ring over an integral domain k in a finite or countable number n?2 of commuting (non-commuting, resp.) variables is t + 1, provided $\text{|k| = ?}{}_{\mathrm{t}}$. As an application, we determine the pure global dimension of wild algebras of quiver type, also (in case k is an algebraically closed field) of the wild local and wild commutative algebras of finite k-dimension.     

Proprieétés du degré des morphismes de Belyi

Properties of the degree of Belyi functions. A famous theorem of Belyi characterizes the curves defined over a number field by the existence of an element of its function field with certain ramification properties. In this article we are interested in the degree of these functions. We define the Belyi degree of a curve defined over a number field and the Belyi degree of a point on such a curve. We prove finiteness results concerning these invariants. We give an explicit upper bound for the Belyi degree of a point on the projective line, depending on the height and on the degree of its field of definition.     

Proprieétés du degré des morphismes de Belyi

Properties of the degree of Belyi functions. A famous theorem of Belyi characterizes the curves defined over a number field by the existence of an element of its function field with certain ramification properties. In this article we are interested in the degree of these functions. We define the Belyi degree of a curve defined over a number field and the Belyi degree of a point on such a curve. We prove finiteness results concerning these invariants. We give an explicit upper bound for the Belyi degree of a point on the projective line, depending on the height and on the degree of its field of definition.     

On the conductor formula of Bloch

In [6], S. Bloch conjectures a formula for the Artin conductor of the -adic etale cohomology of a regular model of a variety over a local field and proves it for a curve. The formula, which we call the conductor formula of Bloch, enables us to compute the conductor that measures the wild ramification by using the sheaf of differential 1-forms. In this paper, we prove the formula in arbitrary dimension under the assumption that the reduced closed fiber has normal crossings.     

Spaces of Wald-Berestovskii curvature bounded below

We consider inner metric spaces of curvature bounded below in the sense of Wald, without assuming local compactness or existence of minimal curves. We first extend the Hopf-Rinow theorem by proving existence, uniqueness, and “almost extendability” of minimal curves from any point to a denseG _δ subset. An immediate consequence is that Alexandrov’s comparisons are meaningful in this setting. We then prove Toponogov’s theorem in this generality, and a rigidity theorem which characterizes spheres. Finally, we use our characterization to show the existence of spheres in the space of directions at points in a denseG _δ set. This allows us to define a notion of “local dimension” of the space using the dimension of such spheres. If the local dimension is finite, the space is an Alexandrov space.     

Reduced Norm Map of Division Algebras over Complete Discrete Valuation Fields of Certain Type

We study a ramification theory for a division algebra D of the following type: The center of D is a complete discrete valuation field K with the imperfect residue field F of certain type, and the residue algebra of D is commutative and purely inseparable over F. Using Swan conductors of the corresponding element of Br(K), we define -function of D/K, and it describe the action of the reduced norm map on the filtration of D-. We also gives a relation among the Swan conductors and the ramification number of D, which is defined by the commutator group of D-.     

Analogue of the Hyodo Inequality for the Ramification Depth in Degree <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript> Extensions

Ramification in complete discrete valuation fields is studied. For the case of a perfect residue field, there is a well-developed theory of ramification groups. Hyodo introduced the concept of ramification depth associated with the different of an extension and obtained an inequality that combines the concept of ramification depth in a degree p² cyclotomic extension with the concept of ramification depth in a degree p subextension. The paper gives a detailed consideration of the structure of degree p² extensions that can be obtained by a composite of two degree p extensions. In this case, it is not required that the residue field be perfect. Using the concepts of wild and ferocious extensions and the defect of the main unit, degree p² extensions are classified and more accurate estimates for the ramification depth are obtained. In a number of cases, exact formulas for ramification depth are presented.     

Cut-by-curves criterion for the log extendability of overconvergent isocrystals

In this paper, we prove a ??cut-by-curves criterion?? for an overconvergent isocrystal on a smooth variety over a field of characteristic p?>?0 to extend logarithmically to its smooth compactification whose complement is a simple normal crossing divisor, under certain assumption. This is a p-adic analogue of a version of cut-by-curves criterion for regular singularity of an integrable connection on a smooth variety over a field of characteristic 0. In the course of the proof, we also prove a kind of cut-by-curves criteria on solvability, highest ramification break and exponent of ?-modules.     

Special Lie superalgebras with maximality condition for subalgebras

We consider finitely generated Lie superalgebras over a field of characteristic zero satisfying Capelli identities. We prove that any such an algebra with the maximality condition for abelian subalgebras is finite dimensional. In particular, any special Lie superalgebra with the maximality condition for its subalgebras has a finite dimension. We also prove that the universal enveloping algebra U(L) of special Lie superalgebra L is Noetherian if and only if $\dim L<\infty$ .     

A probabilistic approach to polynomial inequalities

We define a probability measure on the space of polynomials over ? ⁿ in order to address questions regarding the attainment of the norm at given points and the validity of polynomial inequalities.Using this measure, we prove that for all degrees k ≥ 3, the probability that a k-homogeneous polynomial attains a local extremum at a vertex of the unit ball of ? ₁ ⁿ tends to one as the dimension n increases. We also give bounds for the probability of some general polynomial inequalities.     

Octic 2-adic fields

We compute all octic extensions of Q₂ and find that there are 1823 of them up to isomorphism. We compute the associated Galois group of each field, slopes measuring wild ramification, and other quantities. We present summarizing tables here with complete information available at our online database of local fields.     

Ramification of valuations

In this paper we develop a very explicit theory of ramification of general valuations in algebraic function fields. In characteristic zero and arbitrary dimension, we obtain the strongest possible generalization of the classical ramification theory of local Dedekind domains. We further develop a ramification theory of algebraic functions fields of dimension two in positive characteristic. We prove that local monomialization and simultaneous resolution hold under very mild assumptions, and give pathological examples.     

On the purely irregular fundamental group

Based on the (not yet fully understood analogy) between irregular connections and wild ramification, we define a purely irregular fundamental group for complex algebraic varieties and prove some results about this fundamental group which are analogous to the p‐adic étale fundamental group of algebraic varieties over fields of characteristic p (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Ramification of a finite flat group scheme over a local field

In this paper, we analyze ramification in the sense of Abbes-Saito of a finite flat group scheme over the ring of integers of a complete discrete valuation field of mixed characteristic (0,p). We deduce that its Galois representation depends only on its reduction modulo explicitly computed p-power. We also give a new proof of a theorem of Fontaine on ramification of a finite flat Galois representation, and extend it to the case where the residue field may be imperfect.     

A Representation Stability Theorem for VI-modules

Let VI be the category whose objects are the finite dimensional vector spaces over a finite field of order q and whose morphisms are the injective linear maps. A VI-module over a ring is a functor from the category VI to the category of modules over the ring. A VI-module gives rise to a sequence of representations of the finite general linear groups. We prove that the sequence obtained from any finitely generated VI-module over an algebraically closed field of characteristic zero is representation stable - in particular, the multiplicities which appear in the irreducible decompositions eventually stabilize. We deduce as a consequence that the dimension of the representations in the sequence {V _n } obtained from a finitely generated VI-module V over a field of characteristic zero is eventually a polynomial in q ⁿ . Our results are analogs of corresponding results on representation stability and polynomial growth of dimension for FI-modules (which give rise to sequences of representations of the symmetric groups) proved by Church, Ellenberg, and Farb.     

The Néron component series of an abelian variety

We introduce the Néron component series of an abelian variety A over a complete discretely valued field. This is a power series in ${\mathbb{Z}}\left[\left[T\right]\right]$ , which measures the behaviour of the number of components of the Néron model of A under tame ramification of the base field. If A is tamely ramified, then we prove that the Néron component series is rational. It has a pole at T = 1, whose order equals one plus the potential toric rank of A. This result is a crucial ingredient of our proof of the motivic monodromy conjecture for abelian varieties. We expect that it extends to the wildly ramified case; we prove this if A is an elliptic curve, and if A has potential purely multiplicative reduction.     

Abhyankar places admit local uniformization in any characteristic

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field FP over K is equal to the transcendence degree of F|K, and the extension FP|K is separable. We generalize this result to the case where P dominates a regular local Nagata ring R⊆K of Krull dimension dimR?2, assuming that the valued field (K,vP) is defectless, the factor group vPF/vPK is torsion-free and the extension of residue fields FP|KP is separable. The results also include a form of monomialization.