High degree anti-integral extensions of Noetherian domains (Q1261618)

Let \(R\) be a Noetherian integral domain with quotient field \(K\). Let \(\alpha\) be algebraic over \(K\) with minimal polynomial \(\varphi(X)=X^ d+\eta_ 1X^{d-1}+ \cdots+\eta_ d\). Setting \(A=\ker \bigl( R[X] \to R[\alpha] \bigr)\) and \(I=\bigcap_ iR:_ R \eta_ i\), call \(\alpha\) anti-integral of degree \(d\) over \(R\) if \(A=I \varphi(X)R[X]\). Flatness and integrality are studied for an anti-integral extension \(R[\alpha]\). Sample result: for \(\alpha\) anti-integral and \(p \in \text{Spec} R\), \(R[\alpha]_ p\) flat over \(R_ p\) is equivalent to, amongst other conditions, \(d \geq \text{rank}_{k(p)}R[\alpha] \otimes k(p)\) where \(k(p)=R_ p/pR_ p\). Writing \(J=I(R+\sum R \eta_ i)\), call \(\alpha\) super-primitive if \(J \nsubseteq p\) for all depth 1 primes \(p\). Super- primitive implies anti-integral. If \(R\) is a Krull domain, \(\alpha\) is super-primitive. One of the various characterisations of super- primitivity seems to imply that super-primitive is equivalent to anti- integral plus super-primitive in the sense of \textit{I. J. Papick} [Pac. J. Math. 105, 217-226 (1983; Zbl 0467.13003)]. The final section gives conditions for an extension generated by finitely many super-primitive elements to be unramified or étale.