Related papers: Some results from algebraic geometry over complete…

The aim of this paper is to start the study of images of graded polynomials on full matrix algebras. We work with the matrix algebra $M_n(K)$ over a field $K$ endowed with its canonical $\mathbb{Z}_n$-grading (Vasilovsky's grading). We…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…

We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the…

We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and…

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…

In the present paper we study geodesic mappings of special pseudo-Riemannian manifolds called $V_n(K)$-spaces. We prove that the set of solutions of the system of equations of geodesic mappings on $V_n(K)$-spaces $(K\neq0)$ forms a special…

We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.

In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to…

We give an algebraic construction of standard modules (infinite dimensional modules categorifying the PBW basis of the underlying quantized enveloping algebra) for Khovanov-Lauda-Rouquier algebras in all finite types. This allows us to…

We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify the induced structure on the residue field and show that once…

A field $k$ is called geometrically $C_1$ if every smooth projective separably rationally connected $k$-variety has a $k$-rational point. Given a henselian valued field of equal characteristic $0$ with divisible value group, we show that…

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,…

We develop a theory of Hilbert geometry over general ordered valued fields, associating with an open convex subset of the projective space a quotient Hilbert metric space. Under natural non-degeneracy assumptions, we prove that the…

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

We study continuous groups of generalized Kerr-Schild transformations and the vector fields that generate them in any n-dimensional manifold with a Lorentzian metric. We prove that all these vector fields can be intrinsically characterized…

In this paper we define a field K of characteristic zero with valuation whose value group is the real numbers, and we show that this field of generalised Puiseux series is algebraically closed and complete with respect to the norm induced…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

The parametric geometry of numbers of Schmidt and Summerer deals with rational approximation to points in $\mathbb{R}^n$. We extend this theory to a number field $K$ and its completion $K_w$ at a place $w$ in order to treat approximation…

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using…