English

Sharpness and semistar operations in Pruefer-like domains

Commutative Algebra 2018-11-08 v1 Algebraic Geometry Rings and Algebras

Abstract

Let \star be a semistar operation on a domain DD, f\star_f the finite-type semistar operation associated to \star, and DD a Pr\"ufer \star-multiplication domain (P\starMD). For the special case of a Pr\"ufer domain (where \star is equal to the identity semistar operation), we show that a nonzero prime PP of DD is sharp, that is, that DPDMD_P \nsupseteq \bigcap D_M, where the intersection is taken over the maximal ideals MM of DD that do not contain PP, if and only if two closely related spectral semistar operations on DD differ. We then give an appropriate definition of f\star_f-sharpness for an arbitrary P\starMD DD and show that a nonzero prime PP of DD is f\star_f-sharp if and only if its extension to the \star-Nagata ring of DD is sharp. Calling a P\starMD f\star_f-sharp (f\star_f-doublesharp) if each maximal (prime) f\star_f-ideal of DD is sharp, we also prove that such a DD is f\star_f-doublesharp if and only if each (,t)(\star, t)-linked overring of DD is f\star_f-sharp.

Cite

@article{arxiv.1811.02919,
  title  = {Sharpness and semistar operations in Pruefer-like domains},
  author = {Marco Fontana and Evan Houston and Mi Hee Park},
  journal= {arXiv preprint arXiv:1811.02919},
  year   = {2018}
}

Comments

Accepted for publication in Comm. Algebra

R2 v1 2026-06-23T05:07:44.780Z