Related papers: Perfectoid Nullstellensatz: Results and counterexa…

We establish Grauert--Riemenschneider vanishing for $F$-pure threefolds over a perfect field $k$ of characteristic $p>5$. We apply this to prove Steenbrink vanishing for three-dimensional sharply $F$-pure pairs in characteristic $p>5$. As a…

We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed by A. Seidenberg but no complete solution was…

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…

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 present examples of non-Hausdorff, etale, essentially principal groupoids for which three results, known to hold in the Hausdorff case, fail. These results are: (A) the subalgebra of continuous functions on the unit space is maximal…

We give an example of $C^k$-integrable almost complex structure that does not admit a corresponding $C^{k+1}$-complex coordinate system.

We present a strictly geometric c-algebraic version of the analytic set normalisation. With the introduced tool we prove the Nullstellensatz for c-algebraic functions and study the growth exponent of a c-algebraic function.

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…

In this article, we give a counterexample to the Lefschetz hyperplane theorem for non-singular quasi-projective varieties. A classical result of Hamm-L\^{e} shows that Lefschetz hyperplane theorem can hold for hyperplanes in general…

In this work we prove the real Nullstellensatz for the ring ${\mathcal O}(X)$ of analytic functions on a $C$-analytic set $X\subset{\mathbb R}^n$ in terms of the saturation of \L ojasiewicz's radical in ${\mathcal O}(X)$: The ideal…

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 prove a vanishing theorem for one forms on the moduli stack of principally polarized abelian varieties of genus g>1 with level structure N over fields of characteristic p different from two. This is used to compute the Picard groups of…

We describe Greenberg's pseudo-null conjecture, and prove a result describing conditions under which the pseudo-null conjecture for a number field $K$ implies the conjecture for finite extensions of $K$. We then apply the result to the…

Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F…

We study the perfectoid pure threshold with respect to $p$, an invariant of singularities in mixed characteristic $(0,p)$ arising from perfectoid purity. In this paper, we compute perfectoid pure thresholds for lifts of rational double…

In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive…

We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\lam$-complete set $A$ has the $\lam$-existence property. This means that $A$ can be extended to a $\lam$-saturated model of $T$ without changing the $P$-part.…

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…

In 2004, de Mathan and Teuli\'e stated the $p$-adic Littlewood Conjecture ($p$-$LC$) in analogy with the classical Littlewood Conjecture. Given a field $\mathbb{K}$ and an irreducible polynomial $p(t)$ with coefficients in $\mathbb{K}$,…

The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that…