Related papers: A closedness theorem over Henselian valued fields …

Let (K,v) be a valued field, Y a K-variety, G an algebraic group over K (not necessarily smooth), and f: X->Y a G-torsor over Y. We consider the induced map X(K)-->Y(K), which is continuous for the topologies deduced from the valuation. Let…

We initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-valued NIP field with $v_1$ henselian (resp. t-henselian) then…

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…

Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number…

The paper proves that all power series over a maximal ordered Cauchy complete non-Archimedean field satisfy the intermediate value theorem on every closed interval. Hensel's Lemma for restricted power series is the main tool of the proof.

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…

Tangle-tree theorems are an important tool in structural graph theory, and abstract separation systems are a very general setting in which tangle-tree theorems can still be formulated and proven. For infinite abstract separation systems, so…

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…

We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and…

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct…

In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $2^{2^{|K|}}$ pairwise incomparable gt-henselian topologies…

Let $K$ be a field. The \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically…

For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrow\Lambda$ of ordered groups, we analyze the structure of the tree formed by all $\Lambda$-valued extensions of $v$ to the polynomial ring $K[x]$. As an…