arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0706.3761

Uppers to zero and semistar operations in polynomial rings

Gyu Whan Chang·Marco Fontana
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a stable semistar operation of finite type $\star$ on an integral domain $D$, we show that it is possible to define in a canonical way a stable semistar operation of finite type $[\star]$ on the polynomial ring $D[X]$, such that $D$ is a $\star$-quasi-Prüfer domain if and only if each upper to zero in $D[X]$ is a quasi-$[\star]$-maximal ideal. This result completes the investigation initiated by Houston-Malik-Mott \cite[Section 2]{hmm} in the star operation setting. Moreover, we show that $D$ is a Prüfer $\star$-multiplication (resp., a $\star$-Noetherian; a $\star$-Dedekind) domain if and only if $D[X]$ is a Prüfer $[\star]$-multiplication (resp., a $[\star]$-Noetherian; a $[\star]$-Dedekind) domain. As an application of the techniques introduced here, we obtain a new interpretation of the Gabriel-Popescu localizing systems of finite type on an integral domain $D$ (Problem 45 of \cite{cg}), in terms of multiplicatively closed sets of the polynomial ring $D[X]$.

Explore related subjects

math.ACmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gyu Whan Chang, Marco Fontana. 2007-06-26. Uppers to zero and semistar operations in polynomial rings. https://arxiv.org/abs/0706.3761

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Structural properties of admissible subgraphs and the depth of symbolic powers of cover ideals

Let $G$ be a simple graph with cover ideal $J(G)$ in a polynomial ring $S = \k[x_1, \ldots, x_n]$. For each integer $t \ge 1$, let $α_t(G)$ denote the maximum size of an ordered matching $M$ of $G$ with alternating path length $\ell(M) \le 2t - 1$. Hang, Tam, and Vu established that \[ \operatorname{depth}\!\left(S/J(G)^{(t)}\right) \le n - 1 - α_t(G) \] for all $t \ge 1$, where $J(G)^{(t)}$ is the $t$-th symbolic power of $J(G)$. In this paper, we introduce a natural hereditary class of graphs $\mathcal{P}_\k$ for which this inequality holds with equality for every $t \ge 1$. We prove that $\mathcal{P}_\k$ contains all distance-hereditary graphs, and we show that within the class of chordal graphs, $\mathcal{P}_\k$ coincides with the class of distance-hereditary (or gem-free) graphs.

math.AC↗
arXiv2026

The Hassanzadeh-Nasrollah Nejad-Simis Conjecture on Euler Conductors

We prove the Hassanzadeh-Nasrollah Nejad-Simis conjecture: if $f\in (x_1,\ldots,x_n)^2\subsetneq k[[x_1,\ldots,x_n]]$ has an isolated critical point and $\operatorname{char}k=0$, then its Euler conductor $J_f:f$ is not contained in the Tjurina ideal $(J_f,f)$. More generally, if $A=R/I$ is a nonzero Noetherian $k$-algebra and $a=[f]\in A$ is nilpotent with $d_{A/k}a=0$, then $I:f\nsubseteq(I,f)$. For a local ring $(R,\mathfrak n)$ we obtain the stronger noncontainment $I:f\nsubseteq(I,f)+\mathfrak n(I:f)$. The proof reduces a hypothetical containment to a self-exact square-zero element and detects its differential by the trace of a regular representation over the dual numbers. Finally, an explicit five-variable isolated singularity satisfies $J_f:f\subseteq\overline{J_f}$, disproving the integral-closure strengthening proposed by Ma and Zuo.

math.AC↗