Related papers: Integration in Hensel minimal fields
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…
We investigate the isomorphism types of combinatorial geometries arising from Hrushovski's flat strongly minimal structures and answer some questions from Hrushovski's original paper.
We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn…
Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…
We continue our analysis of establishing the reliability of "simple" effective theories where massive fields are "frozen" rather than integrated out, in a wide class of four dimensional theories with global or local N=1 supersymmetry. We…
The goal of this paper is to establish a complete Khintchine-Groshev type theorem in both homogeneous and inhomogeneous setting, on analytic nondegenerate manifolds over a local field of positive characteristic. The dual form of Diophantine…
In the spirit of the Ax-Kochen-Ershov principle, we show that in certain cases the burden of a Henselian valued field can be computed in terms of the burden of its residue field and that of its value group. To do so, we first see that the…
The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…
We formulate conformal field theory in the setting of algebraic quantum field theory as Haag-Kastler nets of local observable algebras with diffeomorphism covariance on the two-dimensional Minkowski space. We then obtain a decomposition of…
In this paper we study the coupling of $p$-form fields with geometrical tensor fields, namely Ricci, Einstein, Horndeski and Riemann in Randall-Sundrum scenarios with co-dimension one. We consider delta-like and branes generated by a kink…
We classify the groups definable in the coloured fields obtained by Hrushovski amalgamation. A group definable in the bad green field is isogenous to the quotient of a subgroup of an algebraic group by a Cartesian power of the group of…
We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad…
In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems for finitely ramified henselian valued fields relative to…
Starting from the framework defined by Matveev and Shevchishin we derive the local and the global structure for the four types of super-integrable Koenigs metrics. These dynamical systems are always defined on non-compact manifolds, namely…
In this thesis we compare V. Voevodsky's geometric motives to the derived category of M. Nori's abelian category of mixed motives by constructing a triangulated tensor functor between them. It will be compatible with the Betti realizations…
We provide a finite element discretization of $\ell$-form-valued $k$-forms on triangulation in $\mathbb{R}^{n}$ for general $k$, $\ell$ and $n$ and any polynomial degree. The construction generalizes finite element Whitney forms for the…
For valued fields $K$ of rank higher than 1, we describe how elements in the henselization $K^h$ of $K$ can be approximated from within $K$; our result is a handy generalization of the well-known fact that in rank 1, all of these elements…
Recently, a new axiomatic framework for tameness in henselian valued fields was developed by Cluckers, Halupczok, Rideau-Kikuchi and Vermeulen and termed Hensel minimality. In this article we develop Diophantine applications of Hensel…
We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various…
We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure…