Related papers: On quasi-purity of the branch locus

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…

To a dominant morphism $X/S \to Y/S$ of N\oe therian integral $S$-schemes one has the inclusion $C_{X/Y}\subset B_{X/Y}$ of the critical locus in the branch locus of $X/Y$. Starting from the notion of locally complete intersection…

Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…

We give a generalization of the classical Bombieri--Schneider--Lang criterion in transcendence theory. We give a local notion of $LG$--germ, which is similar to the notion of $E$-- function and Gevrey condition, and which generalize (and…

We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from geometric global class field theory to all…

Let k be a field of characteristic zero, K an algebraic function field over k, and V a k-valuation ring of K. Zariski's theorem of local uniformization shows that there exist algebraic regular local rings R_i with quotient field K which are…

We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…

Let $K$ be a number field or a function field of characteristic 0. If $K$ is a number field, assume the $abc$-conjecture for $K$. We prove a variant of Zsigmondy's theorem for ramified primes in preimage fields of rational functions in…

Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an…

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…

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 prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of…

Let $A$ be a regular 2-dimensional local ring of characteristic $p>0$, and let $L/K$ be a cyclic extension of degree $p$ of its field of fractions such that the corresponding branch divisor is normal crossing. For each $\gp\in\Spec A$ of…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

Let $K$ be a complete discretely valued field with algebraically closed residue field and let $\mathfrak C$ be a smooth projective and geometrically connected algebraic $K$-curve of genus $g$. Assume that $g\geq 2$, so that there exists a…

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that…

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…

Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…

Let $X$ be a normal variety. Assume that for some reduced divisor $D \subset X$, logarithmic 1-forms defined on the snc locus of $(X, D)$ extend to a log resolution $\tilde X \to X$ as logarithmic differential forms. We prove that then the…

We prove in arbitrary characteristic that an immediate valued algebraic function field $F$ of transcendence degree 1 over a tame field $K$ is contained in the henselization of $K(x)$ for a suitably chosen $x\in F$. This eliminates…