Related papers: A Note on Nullstellensatz over Finite Fields

We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over imperfect fields of characteristic $p > 5$. As a consequence, we deduce the Grauert-Riemenschneider vanishing theorem for excellent divisorial log terminal…

We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…

Let $\mathbb{F}_q$ be a finite field, let $\mathbb{X}$ be a subset of a projective space ${\mathbb P}^{s-1}$, over the field $\mathbb{F}_q$, parameterized by rational functions, and let $I(\mathbb{X})$ be the vanishing ideal of…

Let $K$ be a field and $D$ be a finite-dimensional central division algebra over $K$. We prove a variant of the Nullstellensatz for $2$-sided ideals in the ring of polynomial maps $D^n \to D$. In the case where $D = K$ is commutative, our…

In this article we study certain asymptotic properties of global fields. We consider the set of Tsfasman-Vladuts invariants of infinite global fields and answer some natural questions arising from their work. In particular, we prove the…

We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new…

In this paper, we study a second order variational problem for locally convex hypersurfaces, which is the affine invariant analogue of the classical Plateau problem for minimal surfaces. We prove existence, regularity and uniqueness results…

The paper consider regulous functions on the real affine space $\mathbb{R}^N$. We shall study some algebraic properties of the ring of those functions. It is presented a proof of the regulous version of Nullstellensatz based on the…

We give a proof of Gabber's presentation lemma for finite fields. We use ideas from Poonen's proof of Bertini's theorem to prove this lemma in the special case of open subsets of the affine plane. We then reduce the case of general smooth…

We present bounds for the sparseness and for the degrees of the polynomials in the Nullstellensatz. Our bounds depend mainly on the unmixed volume of the input polynomial system. The degree bounds can substantially improve the known ones…

Fields with only finitely many maximal subrings are completely determined. We show that such fields are certain absolutely algebraic fields and give some characterization of them. In particular, we show that the following conditions are…

The aim of this note is to present an easy proof of Hilbert's Nullstellensatz using Groebner basis. I believe, that the proof has some methodical advantage in a course on Groebner bases. Key words: Hilbert's Nullstellensatz, Groebner bases.

In [4] Sturmfels linked the Hilbert Nullstellensatz to Gr\"obner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gr\"obner basis of a certain ideal. In this paper, we…

We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the…

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…

We compile a long list of equivalent formulations of Hilbert's Nullstellensatz in infinite dimensions, and prove a persistence result for the strong Nullstellensatz in large polynomial rings.

We show that the augmented base locus coincides with the exceptional locus (i.e. null locus) for any nef $\mathbb{R}$-Cartier divisor on any scheme projective over a field (of any characteristic). Next we prove a semi-ampleness criterion in…

We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of…

Let K be a finite field. Let X* be a subset of the affine space Kn, which is parameterized by odd cycles. In this paper we give an explicit Gr\"obner basis for the vanishing ideal, I(X*), of X*. We give an explicit formula for the…

It is shown that the integrability conditions that arise in the Null Surface Formulation (NSF) of general relativity (GR) impose a field equation on the local null surfaces which is equivalent to the vanishing of the Bach tensor. This field…