On the growth of even \(K\)-groups of rings of integers in \(p\)-adic Lie extensions (Q2164437)

Let \(p\) be an odd prime. The author studies the growth of the Sylow \(p\)-subgroups of the even \(K\)-groups of rings of integers in a \(p\)-adic Lie extension. A main result of the present paper is the following: Let \(i\ge 2\) be given. Let \(F_{\infty}\) be a \(\mathbb Z_p\)-extension of a number field \(F\) and let \(F_n\) be the intermediate field with \(\mathrm{Gal}(F_n/F)\) cyclic of order \(p^n\). Then we have \[ \mathrm{ord}_p\left(K_{2i-2}({\mathcal O}_{F_n})[p^{\infty}]\right) = \mu p^n + \lambda^{(i)} n + O(1), \] for some \(\lambda^{(i)}\) independent of \(n\) and where \(\mu\) depends on \(H_{Iw, S_{p^{\infty}}}(F_{\infty}/F, \mathbb Z_p(i))\). Another main result is the following: Let \(i\ge 2\) be given. Suppose that \(F_{\infty}\) is a \(p\)-adic Lie extension of a number field \(F\) and \(F_{\infty}/F\) is unramified outside a finite set of primes. Moreover, suppose \(G=\mathrm{Gal}(F_{\infty}/F)\) is a uniform pro-\(p\)-group of dimension \(d\). There is a naturally defined sequence \(\{F_n\}\) of subfields of \(F_{\infty}\) and we have \[ \mathrm{ord}_p\left(K_{2i-2}({\mathcal O}_{F_n})[p^n]\right) = \mu p^{dn} + O(np^{(d-1)n}). \] The work of \textit{V. Voevodsky} [Ann. Math. 174, 401--438 (2011; Zbl 1236.14026)] and others allows the use of Iwasawa cohomology groups with coefficients in \(\mathbb Z_p(i)\) for \(i\ge 2\), and this approach applies to arbitrary \(\mathbb Z_p\)-extensions, rather than only to the case of cyclotomic \(\mathbb Z_p\)-extensions studied by \textit{J. Coates} [Ann. Math. (2) 95, 99--116 (1972; Zbl 0245.12005)] and by \textit{Q. Ji} and \textit{H. Qin} [J. \(K\)-Theory 12, No. 1, 115--123 (2013; Zbl 1288.11104)].