Koh like theorems for polynomials in mixed characteristic (Q472994)

\textit{J. Koh} [J. Algebra 99, 310--323 (1986; Zbl 0602.13008)] gave an affirmative answer to the direct summand conjecture of Hochster for the case \(R\rightarrow A\), where \(A\) is the integral closure of a \(p\)th root extension of \(R\). The present author elaborates on a different class of polynomials in mixed characteristic for which this conjecture holds. The polynomials here are more special since only primes that lie over \(p\) ramify in codimension one. Furthermore, the polynomials here are not restricted to small degrees. The main result is as follows: For a complete discrete valuation ring \(V\) with uniformizing parameter \(\pi\), denote a complete power series ring \(V[[x_1,\dots,x_d]]=R\), with the mixed characteristic of \(V\) and \(R\) equal \(p= \pi^e\), for some \(e\geq 1\). Denote by \(f(T)\in R[T]\) a monic irreducible polynomial of degree \(p^n\) and root \(\theta\) in some extension field \(L\) of \(R\). Further, denote by \(A\) the integral closure of \(R[\theta]\) in its fraction field. If, in addition, we assume that \(f(T)\) satisfies the conditions that \(f(0)\in\mathbf m\), \(f'(T)\equiv 0\) mod \(\pi^s\) and the coefficient of \(T\) has the form \(u\pi^s\), for some unit in \(R\), then: (a) the only ramified primes in codimension one in the integral closure \(A\) of \(R[\theta]\) in \(K(\theta)\) (\(K\) is the fraction field of \(R\)) lie over \((\pi)\) and (b) If \(s=1\), the ring extension \(R\rightarrow A\) is \(R\) split.