Uppers to zero and semistar operations in polynomial rings

AbstractGiven a stable semistar operation of finite type ⋆ on an integral domain D, we show that it is possible to define in a canonical way a stable semistar operation of finite type [⋆] on the polynomial ring D[X], such that D is a ⋆-quasi-Prüfer domain if and only if each upper to zero in D[X] is a quasi-[⋆]-maximal ideal. This result completes the investigation initiated by Houston–Malik–Mott [E. Houston, S. Malik, J. Mott, Characterizations of ∗-multiplication domains, Canad. Math. Bull. 27 (1984) 48–52, Section 2. [17]] in the star operation setting. Moreover, we show that D is a Prüfer ⋆-multiplication (respectively, a ⋆-Noetherian; a ⋆-Dedekind) domain if and only if D[X] is a Prüfer [⋆]-multiplication (respectively, a [⋆]-Noetherian; a [⋆]-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 [S.T. Chapman, S. Glaz, One hundred problems in commutative ring theory, in: S.T. Chapman, S. Glaz (Eds.), Non-Noetherian Commutative Ring Theory, Kluwer Academic Publishers, 2000, pp. 459–476. [4]]), in terms of multiplicatively closed sets of the polynomial ring D[X]