相关论文: The first-order theory of geometric points of sche…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

Chevalley group schemes are group schemes defined over the integers that parametrize connected reductive groups over algebraically closed fields as geometric fibers. In this paper, we construct closed subgroup schemes of Chevalley group…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible…

We refine the notion of variety over the "field with one element" developed by C. Soul\'e by introducing a grading in the associated functor to the category of sets, and show that this notion becomes compatible with the geometric viewpoint…

We use Dunkl's operators to give an elementary proof of the surjectivity in the Chevalley's restriction theorem. In the second part of this article we describe the image of the invariants by the restriction map in the case of Takiff…

Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

Over the past five years, there has been significant progress on the problem of quantization of diffeomorphism covariant field theories with {\it local} degrees of freedom. The absence of a background space-time metric in these theories…

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…

We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a…

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other…

In this paper, we generalize the arithmetic Chern-Simons theory to regular flat separated schemes of finite type over rings of integers of number fields by applying the duality theorems for arithmetic schemes.

We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.