Related papers: Valuation theoretic and model theoretic aspects of…

The main result of this paper is that in order to prove the local uniformization theorem for local rings it is enough to prove it for rank one valuations. Our proof does not depend on the nature of the class of local rings for which we want…

In analogy to valued fields, we study model-theoretic properties of valued vector spaces with variable base field by proving transfer principles down to the skeleton and down to the value set and base field. For instance, we give a formula…

A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

It is known since the works of Zariski in early 40ies that desingularization of varieties along valuations (called local uniformization of valuations) can be considered as the local part of the desingularization problem. It is still an open…

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

We give a simple algorithm showing that the reduction of the multiplicity of a characteristic p>0 hypersurface singularity along a valuation is possible if there is a finite linear projection which is defectless. The method begins with the…

We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory…

We consider non-linear changes of variables and Fubini's theorem for certain integrals over a two-dimensional local field. An interesting example is presented in which imperfectness of a finite characteristic local field causes Fubini's…

Integrable quantum field theories in 1+1 dimensions have recently become amenable to a rigorous construction, but many questions about the structure of their local observables remain open. Our goal is to characterize these local observables…

In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization…

Let k be a field of characteristic zero, K an algebraic function field over k, and V a k-valuation ring of K. Zariski's theorem of local uniformization shows that there exist algebraic regular local rings R_i with quotient field K which are…

The concept of discrepancy plays an important role in the study of uniformity properties of point sets. For sets of random points, the discrepancy is a random variable. We apply techniques from quantum field theory to translate the problem…

Using the theory of asymptotic test ideals, we prove the prime characteristic analogue of a characteristic $0$ result of Ein, Lazarsfeld and Smith (arXiv:math/0202303) on uniform approximation of valuation ideals associated to real-valued…

Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in…

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then…

A relativistic quantum field theory is presented for finite density problems based on the principle of locality. It is found that, in addition to the conventional ones, a local approach to the relativistic quantum field theories at both…

A brief introduction to geometric valuation theory is given. The focus is on classification results for valuations on convex bodies and on function spaces.

An introduction into the theory of boundary critical phenomena and the application of the field-theoretical renormalization group method to these is given. The emphasis is on a discussion of surface critical behavior at bulk critical points…

A unification of characteristic mode decomposition for all method-of-moment formulations of field integral equations describing free-space scattering is derived. The work is based on an algebraic link between impedance and transition…