Related papers: Projective Nullstellensatz for not necessarily alg…
We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…
We give a general method for producing various effective Null and Positivstellens\"atze, and getting new Positivstellens\"atze in algebraically closed valued fields and ordered groups. These various effective Nullstellens\"atze produce…
Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…
Alon's combinatorial Nullstellensatz (Theorem 1.1 from \cite{Alon1}) is one of the most powerful algebraic tools in combinatorics, with a diverse array of applications. Let $\F$ be a field, $S_1,S_2,..., S_n$ be finite nonempty subsets of…
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…
C-holomorphic functions defined on algebraic sets and having algebraic graphs can be considered as a complex counterpart of regulous functions introduced recently in real geometry. This note is a part of our study on the subject; we prove…
Hilbert's Nullstellensatz characterizes polynomials that vanish on the vanishing set of an ideal in C[x]. In the free algebra C<X> the vanishing set of a two-sided ideal I is defined in a dimension-free way using images in…
In this paper, we present the Nullstellensatz in case of the coordinate rings of a nonempty subset of Kn where K is a finite field Fq. Some applications of the Nullstellensatz are also discussed.
Over an algebraically closed field, the $\textit{double point interpolation}$ problem asks for the vector space dimension of the projective hypersurfaces of degree $d$ singular at a given set of points. After being open for 90 years, a…
The general Nullstellensatz states that if $A$ is a Jacobson ring, $A[X]$ is Jacobson. We introduce the notion of an $\alpha$-Jacobson ring for an ordinal $\alpha$ and prove a quantitative version of the general Nullstellensatz: if $A$ is…
The notion of `Pseudo Algebraically Closed (PAC) extensions' is a generalization of the classical notion of PAC fields. It was originally motivated by Hilbert's tenth problem, and recently had new applications. In this work we develop a…
In modern form, Hilbert's Theorem 90 tells us that R^1f_*(G_m)=0, where f is the canonical map between the etale site and the Zariski site of a scheme X. I construct examples showing that the corresponding statement for algebraic spaces…
In this paper we prove a strong version of the Hilbert Nullstellensatz in the ring $\mathbb H[q_1,\ldots,q_n]$ of slice regular polynomials in several quaternionic variables. Our proof deeply depends on a detailed analysis of the common…
In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gr\"{o}bner bases consisting of monic polynomials, which helps us to…
We present different techniques for applying Combinatorial Nullstellensatz to polynomials over finite fields. For examples, we generalize theorems from Noga Alon's paper on the subject, and present a few of our own.
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…
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by…
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every…
We establish a relative version of the Nullstellensatz for algebras topologically of finite type over a given Banach Tate ring $A$, under the assumption that the corresponding statement holds for rational localizations of $A$. This applies…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…