Semistar dimension of polynomial rings and Prüfer-like domains (Q1758784)

An extension \(D\subseteq T\) of integral domains with two semistar operations \(*\) and \(*'\) on \(D\) and \(T\) respectively, satisfies the \((*, *')\)-dimension formula if for every quasi-\(*\)-prime ideal \(Q\) of \(T\) with \((Q\cap D)^{*}\subset D^{*}\), \(*'-\mathrm{ht}Q+\mathrm{trdeg}_{\chi(Q\cap D)}\chi(Q)=*-\mathrm{ht}(Q\cap D)+\mathrm{trdeg}_{D}T\). Similarly, the \((*,*')\)-dimension inequality formula is defined by changing the ``equality'' to an ``\(\leq\)''. A domain \(D\) satisfies the \(*\)-dimension formula (resp. \(*\)-dimension inequality formula) if \(D\subseteq T\) satisfies the \((*, d_{T})\)-dimension formula (resp.\((*, d_{T})\)-dimension inequality formula) for every finitely generated domain \(T\) over \(D\). The author studied the relation of the above semistar dimension (inequality) formulas with \(*\)-universally caternarity and \(*\)-stably strong \(S\)-domains. Among others, he proved that if \(D\) is \(\tilde{*}\)-universally catenarian, then \(D\) satisfies the \(\tilde{*}\)-dimension formula; and if \(D\) is of finite \(\tilde{*}\)-dimension which satisfies the \(\tilde{*}\)-dimension inequality formula, then it is a \(\tilde{*}\)-Jaffard domain (notice that \(\tilde{*}\) is the stable semistar operation of finite type associated to \(*\)). He also gave some characterizations of \(*\)-quasi-Prüfer domains and extended some results of Arnold on polynomial rings to the setting of semistar operations.