arXiv subjects

Jakob Cimprič

Publications and source records attributed to Jakob Cimprič.

3 recordsLinked to original sources

arXiv2026

Semiprime and real submodules of arbitrary modules are intersections of prime and real prime submodules

Let $R$ be a commutative ring. A submodule $N$ of an $R$-module $M$ is semiprime if $m\in(N:m)M$ implies $m\in N$. It is known that every semiprime submodule of $R^n$ is an intersection of prime submodules, and Aryapoor extended this to finitely generated modules. We show that no finiteness assumption is needed: every semiprime submodule of an \emph{arbitrary} $R$-module is the intersection of the prime submodules containing it. The proof is short and uses neither coordinates nor presentations; its key step is that a nonzero element $q$ of a semiprime module $Q$ satisfies $sq\notin\p Q$ for all $s\notin\p$, where $\p$ is any minimal prime over the annihilator of $q$. We define an $R$-module $M$ to be real if $\sum_i m_i\otimes m_i=0$ in $M\otimes_RM$ implies $m_i=0$ for all $i$, and a submodule $N\subseteq M$ real if the module $M/N$ is real. We prove the corresponding result for real submodules: every real submodule of an arbitrary module is the intersection of the real prime submodules containing it. On $R^n$ our notion of realness coincides with the coordinate definition used in earlier work on real Nullstellensätze for free modules.

math.AC↗

arXiv2026

Hilbert's Nullstellensatz and the real Nullstellensatz for modules and sheaves

We prove the geometric halves of Hilbert's Nullstellensatz and of the real Nullstellensatz for submodules of finitely generated modules and for coherent sheaves, complementing our earlier result that semiprime (resp. real) submodules are intersections of prime (resp. real prime) submodules. First, we pass from prime to maximal submodules: over a Jacobson ring, a prime submodule $P$ of $M$ is an intersection of maximal submodules whenever $M/P$ is a torsionless $R/(P:M)$-module, in particular whenever $M/P$ is finitely generated (the latter case is due to Maani Shirazi and Sharif). Consequently, if $R$ is a finitely generated algebra over an algebraically closed field and $M$ is finitely generated, the smallest semiprime submodule containing a submodule $N$ of $M$ consists of all $f\in M$ such that, for every point $a$, the value $f(a)$ (i.e. the image of $f$ in the fibre $M/\mathfrak{m}_aM$) lies in $N(a)$ (i.e. the image of $N$ in $M/\mathfrak{m}_aM$). We prove the real analogues over real Jacobson rings; for finitely generated algebras over a real closed field they are determined by the real points. The module classifications and directional vanishing formulas yield both Nullstellensätze for coherent sheaves on schemes of finite type over a field. We also prove compatibility of semiprimeness, reality and both radicals with arbitrary localization, and the resulting stalk criteria.

math.AG↗

arXiv2013

On real one-sided ideals in a free algebra

In classical and real algebraic geometry there are several notions of the radical of an ideal I. There is the vanishing radical defined as the set of all real polynomials vanishing on the real zero set of I, and the real radical defined as the smallest real ideal containing I. By the real Nullstellensatz they coincide. This paper focuses on extensions of these to the free algebra R of noncommutative real polynomials in x=(x_1,...,x_g) and x^*=(x_1^*,...,x_g^*). We work with a natural notion of the (noncommutative real) zero set V(I) of a left ideal I in the free algebra. The vanishing radical of I is the set of all noncommutative polynomials p which vanish on V(I). In this paper our quest is to find classes of left ideals I which coincide with their vanishing radical. We completely succeed for monomial ideals and homogeneous principal ideals. We also present the case of principal univariate ideals with a degree two generator and find that it is very messy. Also we give an algorithm (running under NCAlgebra) which checks if a left ideal is radical or is not, and illustrate how one uses our implementation of it.

math.RA↗