Related papers: The closedness theorem over Henselian valued field…
We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is…
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 prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…
We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…
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 study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
It follows from the Grothendieck-Ogg-Shafarevich formula that the rank of an abelian variety (with trivial trace) defined over the function field of a curve is bounded by a quantity which depends on the genus of the base curve and on bad…
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…
In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…
We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…
Helly's selection theorem provides a criterion for compactness of sets of single-variable functions with bounded pointwise variation. Fra{\v{n}}kov{\'a} has given a proper extension of Helly's theorem to the setting of single-variable…
This paper is concerned with algebraic geometry over complete discretely valued fields $K$ of equicharacteristic zero. Several results are given including: the canonical projection $K^{n} \times K\mathbb{P}^{m} \longrightarrow K^{n}$ and…
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…
We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach…
We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…