Related papers: Fields with automorphism and valuation

The relationship between the sources of physical fields and the fields themselves is investigated with regard to the coupling of topological information between them. A class of field theories that we call topological field theories is…

We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For…

In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing.…

Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan--Pal and Robinson; with two exceptions these are all defined…

We solve the problem of characterizing the existence of a polynomial matrix of fixed degree when its eigenstructure (or part of it) and some of its rows (columns) are prescribed. More specifically, we present a solution to the row (column)…

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and…

Pseudo conformal field theories are theories with the same fusion rules, but with different modular matrix as some conventional field theory. One of the authors defined these and conjectured that, for bosonic systems, they can all be…

We study invariants and structures of Poisson fields of rational functions in two variables. For four particular families, we classify the members, establish criteria for isomorphisms and, with the exception of the Weyl Poisson field,…

Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This…

A class of exact infinitesimal renormalization group transformations is proposed and studied. These transformations are pure changes of variables (i.e., no integration or elimination of some degrees of freedom is required) such that a…

A new approach to massive integrable models is considered. It allows one to find symmetry algebras which define spaces of local operators and to get general integral representations for form-factors in the\ $ SU(2)$\ Thirring and…

Preliminary results toward the analysis of the Hamiltonian structure of multifield theories describing complex materials are mustered: we involve the invariance under the action of a general Lie group of the balance of substructural…

We extend Greenberg's strong approximation theorem to schemes of finite presentation over valuation rings with arbitrary value group, using the ultraproduct method of Becker, Denef, Lipshitz and van den Dries. As an application, we prove a…

Shape completion, i.e., predicting the complete geometry of an object from a partial observation, is highly relevant for several downstream tasks, most notably robotic manipulation. When basing planning or prediction of real grasps on…

This is the first in a series of articles on the numerical solution of Friedrich's conformal field equations for Einstein's theory of gravity. We will discuss in this paper why one should be interested in applying the conformal method to…

We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…

Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x),…

We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing pointwise all non-generic elements for a class of uncountable models of suitable theories, encompassing both strongly minimal theories as well…

The method of variational completion allows one to transform an (in principle, arbitrary) system of partial differential equations -- based on an intuitive ``educated guess'' -- into the Euler-Lagrange one attached to a Lagrangian, by…

It has been argued that despite remarkable success, existing random matrix theories are not adequate to describe disordered conductors in the metallic regime, due to the presence of certain two-body interactions in the effective Hamiltonian…