Related papers: $T$-convexly valued o-minimal fields are definably…

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…

In this paper, we define a certain "proportional volume property" for an unit vector field on a spherical domain in S3. We prove that the volume of these vector fields has an absolute minimum and this value is equal to the volume of the…

The manifestly gauge invariant formulation for free symmetric partially massless fields in $(A)dS_d$ is given in terms of gauge connections and linearized curvatures that take values in the irreducible representations of $(o(d-1,2)) o(d,1)$…

Let $X$ be a Hamiltonian vector field defined on a symplectic manifold $(M,\omega)$, $g$ a nowhere vanishing smooth function defined on an open dense subset $M^0$ of $M$. We will say that the vector field $Y = gX$ is conformally…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…

We establish in this paper a sharp lower bound for the area of a unit vector field $V$ defined on some spherical annuli in the Euclidean sphere $\mathbb{S}^2$.

Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of…

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…

It is shown that the space of finite-to-finite holomorphic correspondences on an OT-manifold is discrete. When the OT-manifold has no proper infinite complex-analytic subsets, it then follows by known model-theoretic results that its…

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 study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

We prove that $\mathcal{C}^r$ maps with $r>1$ on a compact surface have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. More precisely we give a sharp upper bound on the so-called symbolic…

We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a…

We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…

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…

We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…

We prove that strong finite total curvature complete hypersurfaces of (n+1)-euclidean space are proper and diffeomorphic to a compact manifold minus finitely many points. With an additional condition, we also prove that the Gauss map of…