Related papers: On the Nullstellens\"atze for Stein spaces and $C$…

Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated…

Let $X$ be a separable Banach space with a separating polynomial. We show that there exists $C\geq 1$ (depending only on $X$) such that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and every $\epsilon>0$, there exists a…

The amoeba of an affine algebraic variety V in (C^*)^r is the image of V under the map (z_1, ..., z_r) -> (log|z_1|, ..., log|z_r|). We give a characterisation of the amoeba based on the triangle inequality, which we call testing for…

Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…

The main objects of study in this paper are those functionals that are analytic in the sense that they annihilate the non-commutative disc algebra. In the classical univariate case, a theorem of F. and M. Riesz implies that such functionals…

Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of…

We prove a version of a Nullstellensatz for partial exponential fields $(K,E)$, even though the ring of exponential polynomials $K[X_1,\ldots,X_n]^E$ is not a Hilbert ring. We show that under certain natural conditions one can embed an…

This article gives a class of Nullstellens\"atze for noncommutative polynomials. The singularity set of a noncommutative polynomial $f=f(x_1,\dots,x_g)$ is $Z(f)=(Z_n(f))_n$, where $Z_n(f)=\{X \in M_n^g: \det f(X) = 0\}.$ The first main…

Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens\"atze. However, there is a nascent subfield of real algebra which…

We investigate the failure of the Stone-Weierstrass theorem focusing on the existence of large dimensional vector spaces within the set $\mathcal{C}(L, \mathbb{K}) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space…

We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…

The paper contains a description of the maximal ideal spaces (spectra) $\cM_A$ of bi-invariant function algebras $A$ on a compact group $G$. There are natural compatible structures in $\cM_A$: it is a compact topological semigroup with…

In this paper, we say a ring $R$ is Nil$_{\ast}$-Noetherian provided that any nil ideal is finitely generated. First, we show that the Hilbert basis theorem holds for Nil$_{\ast}$-Noetherian rings, that is, $R$ is Nil$_{\ast}$-Noetherian if…

A pure topological characterization of primitive ideal spaces of separable nuclear C*-algebras is given. We show that a $T_0$-space $X$ is a primitive ideal space of a separable nuclear C*-algebra $A$ if and only if $X$ is point-complete…

A ring $S(X,\mathcal{A})$ of real valued $\mathcal{A}$-measurable functions defined over a measurable space $(X,\mathcal{A})$ is called a $\chi$-ring if for each $E\in \mathcal{A} $, the characteristic function $\chi_{E}\in…

Let $\mathcal{C}_N$ be the cuspidal subgroup of the Jacobian $J_0(N)$ for a square-free integer $N>6$. For any Eisenstein maximal ideal $\mathfrak{m}$ of the Hecke ring of level $N$, we show that $\mathcal{C}_N[\mathfrak{m}]\neq 0$. To…

We prove a conjecture of Kurdyka stating that every arc-symmetric semialgebraic set is precisely the zero locus of an arc-analytic semialgebraic function. This implies, in particular, that arc-symmetric semialgebraic sets are in one-to-one…

This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result of Cimpri\vc, Helton, McCullough, and the author.…

Intermediate rings of real valued continuous functions with countable range on a Hausdorff zero-dimensional space $X$ are introduced in this article. Let $\Sigma_c(X)$ be the family of all such intermediate rings $A_c(X)$'s which lie…

Let $ A \subset B$ be rings. An ideal $ J \subset B$ is called power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $ n\geq 1$. Further, $J$ is called ultimately power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $n$ large…