Related papers: Valuations in fields of power series
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are…
In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach…
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…
Invariants of generalized tensor fields on a line are classified using special polynomials P_mk^(-1/lambda) introduced here for this purpose. For the case of positive characteristic, a new invariant of formal power series, a width, is…
We study ordinary differential equations in the complex domain given by meromorphic vector fields on K\"ahler compact complex surfaces. We prove that if such an equation has a maximal single valued solution with Zariski-dense image (in…
We give an elementary characterization of rational functions among meromorphic functions in the complex plane.
We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…
Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…
This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work…
Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal…
In this paper we study the rank one discrete valuations of $k((X_1,... ,X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal $(\X)$. In sections 2 to 6 we give a construction of a system of parametric equations describing such…
We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.
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…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…
We study homomorphisms of multiplicative groups of fields preserving algebraic dependence and show that such homomorphisms give rise to valuations.
This work sketches the author classification of complete discrete valuation fields K of characteristic 0 with residue field of characteristic p into two classes depending on the behaviour of the torsion part of a differential module. For…
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…
This work contains a list of all known results on the quotient filtration on the Milnor K-groups of a complete discrete valuation field in terms of differential modules over the residue field . Author's recent study of the case of a tamely…