Related papers: Perfectoid Nullstellensatz: Results and counterexa…

We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multi-valued roots for each of the polynomials belonging to…

We prove a perfectoid analogue of the Ax-Kochen theorem on zeros of $p$-adic forms: Given $d\in \mathbb{N}$, there is a finite totally ramified extension $E/\mathbb{Q}_p$ such that every untilt of $\mathbb{F}_p(\!(t^{1/p^{\infty}})\!)$…

We give an expository account of Nullstellensatz-like results when the base field is finite. In particular, we discuss the vanishing ideal of the affine space and of the projective space over a finite field. As an application, we include an…

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…

The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…

In this note we give an extended version of Combinatorial Nullstellensatz, with weaker assumption on nonvanishing monomial. We also present an application of our result in a situation where the original theorem does not seem to work.

In this paper we prove a Nullstellensatz for supersymmetric polynomials. This gives a bijection between radical ideals and superalgebraic sets. These are algebraic sets which are invariant under the Weyl groupoid of Sergeev and Veselov,…

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 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…

We present a uniform framework for establishing Nullstellens\"atze for power series rings using quantifier elimination results for valued fields. As an application we obtain Nullstellens\"atze for $p$-adic power series (both formal and…

We give a short proof of the most general version of the Nullstellensatz without using the Axiom of Choice.

We prove a Nullstellensatz result for global ideals of Denjoy-Carleman functions in both finitely generated and infinitely generated cases.

We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(\zeta_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $…

For an abelian variety $A$ over an algebraically closed non-archimedean field of residue characteristic $p$, we show that there exists a perfectoid space which is the tilde-limit of $\varprojlim_{[p]}A$. Our proof also works for the larger…

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…

We derive some Positivstellensatz\"e for noncommutative rational expressions from the Positivstellensatz\"e for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially…

Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative…

Let $f_i$ be polynomials in $n$ variables without a common zero. Hilbert's Nullstellensatz says that there are polynomials $g_i$ such that $\sum g_if_i=1$. The effective versions of this result bound the degrees of the $g_i$ in terms of the…

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…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…