Related papers: Elimination of Ramification I: The Generalized Sta…

Given a field $K$, a rational function $\phi \in K(x)$, and a point $b \in \mathbb{P}^1(K)$, we study the extension $K(\phi^{-\infty}(b))$ generated by the union over $n$ of all solutions to $\phi^n(x) = b$, where $\phi^n$ is the $n$th…

We prove the C, F and A irreversibility theorems in de Sitter spacetime for quantum field theories that are obtained as renormalization group flows from ultraviolet conformal fixed points. The proof is based on strong subadditivity of the…

A classical tool in the study of real closed fields are the fields $K((G))$ of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…

We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem…

Let $L/K$ be a finite Galois extension of $p$-adic fields and let $L_{\infty}$ be the unramified $\mathbb Z_p$-extension of $L$. Then $L_{\infty}/K$ is a one-dimensional $p$-adic Lie extension. In the spirit of the main conjectures of…

Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for…

In the present work we suggest a general covariant theory which can be used to study the stability of any physical system treated geometrically. Stability conditions are connected to the magnitude of the deviation vector. This theory is a…

Over a connected geometrically unibranch scheme $X$ of finite type over a finite field, we show finiteness of the number of irreducible $\bar \Q_\ell$-lisse sheaves, with bounded rank and bounded ramification in the sense of Drinfeld, up to…

In this paper we will give a scheme-theoretic discussion on the unramified extensions of an arithmetic function field in several variables. The notion of unramified discussed here is parallel to that in algebraic number theory and for the…

In this note, we show various minimality results for a geometric theory of fields $T$: $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-rank 1, and $T$ is rosy if and only if $T$ is surgical.…

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…

In this paper we shall prove that any $2$-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary…

Let $A$ be an affinoid integral domain over a non-Archimedean field $K$, and let $L$ be its field of fractions. We prove that the normalization of $A$ can be reconstructed from $L$ by taking the intersection of all maximal discrete…

We give a brief re-exposition of the theory due to Pauli and Sinclair of ramification polygons of Eisenstein polynomials over p-adic fields, their associated residual polynomials and an algorithm to produce all extensions for a given…

Suppose $K$ is unramified over $\mathbb Q _p$ and $\Gamma _K=\operatorname{Gal}(\bar K/K)$. Let $H$ be a torsion $\Gamma _K$-equivariant subquotient of crystalline $\mathbb Q _p[\Gamma _K]$-module with HT weights from $[0,p-2]$. We give a…

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

Let $K$ be a number field defined by a monic irreducible polynomial $F(X) \in \mathbb{Z}[X]$, $p$ a fixed rational prime, and $\nu_p$ the discrete valuation associated to $p$. Assume that $\overline{F}(X)$ factors modulo $p$ into the…

Abhyankar proved that every field of finite transcendence degree over $\mathbb{Q}$ or over a finite field is a homomorphic image of a subring of the ring of polynomials $\mathbb{Z}[T_1, \dots, T_n]$ (for some $n$ depending on the field). We…

Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification…

We investigate the standard stable manifold theorem in the context of a partially hyperbolic singu-larity of a vector field depending on a parameter. We prove some estimates on the size of the neighbourhood where the local stable manifold…