Related papers: Dynamical method in algebra: Effective Nullstellen…
We prove constructively a Nullstellensatz giving an equivalence between the existence of a certain kind of algebraic identity on one hand, and the impossibility of finding an increasing sequence of irreducible varieties obeying certain…
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these…
The paper is concerned with various types of noncommutative Positivstellens\"atze for the matrix algebra $M_n(\cA)$, where $\cA$ is an algebra of operators acting on a unitary space, a path algebra, a cyclic algebra or a formally real…
The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous…
In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellens\"atze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial…
In a broad sense, positivstellens\"atze are results about representations of polynomials which are strictly positive on a given set. We give constructive and, to a large extent, elementary proofs of some known positivstellens\"atze for…
Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate).…
The purpose of this paper is to give a characterization for polynomials and rational functions which admit only non-negative values on definable sets in real closed valued fields. That is, generalizing the relative positivstellens\"atze for…
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as…
We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem…
The (weak) Nullstellensatz over finite fields says that if $P_1,\ldots,P_m$ are $n$-variate degree-$d$ polynomials with no common zero over a finite field $\mathbb{F}$ then there are polynomials $R_1,\ldots,R_m$ such that…
We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A…
Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex…
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and Noga Alon's Combinatorial Nullstellensatz (1999) is a…
We discuss here some computational aspects of the Combinatorial Nullstellensatz argument. Our main result shows that the order of magnitude of the symmetry group associated with permutations of the variables in algebraic constraints,…
We introduce the concept of centrally algebraically closed division rings and show that a division ring satisfies the central Nullstellensatz if and only if it is centrally algebraically closed. We also show that every division ring can be…
We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic…
In this paper we introduce a new algebraic method in tilings. Combining this method with Hilbert's Nullstellensatz we obtain a necessary condition for tiling $n$-space by translates of a cluster of cubes. Further, the polynomial method will…
We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…
Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding…