Related papers: Universal-existential theories of fields

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

In this paper we present an algorithm to compute all unirational fields of transcendence degree one containing a given finite set of multivariate rational functions. In particular, we provide an algorithm to decompose a multivariate…

Universal theories are a broad class of well-motivated microscopic dynamics of the electroweak sector that go beyond the Standard Model description. The long distance physics is described by electroweak parameters which correspond to local…

A review of the connections between K_2 of a field and universal central extensions, quadratic forms, central simple algebras, differential forms, abelian extensions, abelian coverings, explicit reciprocity laws, special values of zeta…

We determine the class of finite T_0-spaces allowing for a universal coefficient theorem computing equivariant KK-theory by filtrated K-theory.

Using a remainder theorem for valuations of a field, we give a new perspective on the norm function of a global field. We define the Euler totient function of a global field and recover the essential analytical properties of the classical…

We obtain the extended genus field of an abelian extension of a rational function field. We follow the definition of Angl\`es and Jaulent, which uses class field theory. First we show that the natural definition of extended genus field of a…

We first prove Bosch-L\"utkebohmert-Raynaud's conjectures on existence of global N\'eron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of…

We study Euclidean ideal classes in real biquadratic fields and obtain unconditional existence results via genus theory. Lenstra showed (assuming the Generalized Riemann Hypothesis) that a number field with unit rank at least one admits a…

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 define a notion of formal quantum field theory and associate a formal quantum field theory to K-theoretical intersection theories on Hilbert schemes of points on algebraic surfaces. This enables us to find an effective way to compute…

Let $\phi$ be an endomorphism of the projective line defined over a global field $K$. We prove a bound for the cardinality of the set of $K$-rational preperiodic points for $\phi$ in terms of the number of places of bad reduction. The…

The purpose of this article is to initiate a study of a class of Lorentz invariant, yet tractable, Lagrangian Field Theories which may be viewed as an extension of the Klein-Gordon Lagrangian to many scalar fields in a novel manner. These…

The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.

We study unirational algebraic varieties and the fields of rational functions on them. We show that after adding a finite number of variables some of these fields admit an infinitely transitive model. The latter is an algebraic variety with…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…