Structure theorem of Kummer étale \(K\)-group (Q1421773)

The author deals with a \(K\)-theory peculiar to logarithmic geometry, the so-called Kummer étale \(K\)-theory. One considers the category of fs log schemes: a log scheme is called fine if étale locally it admits a strict morphism to \(\text{Spec}\,\mathbb{Z}[P]\) for some finitely generated integral monoid \(P\). A morphism \(f: X\to Y\) between log schemes is called strict if for any \(x\in X\) the induced map \(\overline M_{Y,\overline f(x)}\to\overline M_{X,\overline x}\) is an isomorphism, where \(\alpha_X: M_X\to{\mathcal O}\) is a homomorphism on \(X_{\text{ét}}\) such that \(\alpha^{-1}{\mathcal O}^*_X\simeq{\mathcal O}^*_X\), \(\overline M_X= M_X/{\mathcal O}^*_X\) and similarly for \(Y\). A fine log scheme is called an fs log scheme if we can take an fs monoid as \(P\) (an fs monoid is a finitely generated and saturated monoid). Then one defines Kummer étale topos and denotes by \(({\mathcal K}\acute et/X)\) the full subcategory of fs log schemes over \(X\) consisting of fs log schemes \(X'\) which are Kummer étale over \(X\). Let \(Q\text{\,coh\,}X_{\text{Zar}}\) be the category of quasi coherent sheaves on \(X_{\text{Zar}}\): then there is a fully faithful functor \(\varepsilon^*: Q\text{\,coh\,}X_{\text{Zar}}\to {\mathcal M}od(X_{\text{Két}})\). Let \({\mathcal V}ect(X_{\text{Két}})\) be the full subcategory of \({\mathcal M}od(X_{\text{Két}})\) consisting of Két-vector bundles. For those Noetherian fs log schemes the Quillen higher \(K\)-groups of \(\text{Vect}(X_{\text{Két}})\) are defined. The main result of the paper is a comparison theorem between \(K_q(X_{\text{Két}})\) and the usual \(K\)-groups of \(X\). Theorem. Let \(X\) be a scheme, smooth, separated and of finite type over a separably closed field \(k\) of characteristic \(p\), \(D\) a simple normal crossing divisor and \(\{D_i/i\in I\}\) its irreducible components. Let \(K_q(X_{\text{Két}})\) be the Két \(K\)-groups of \(X\), endowed with the associated log structure. Then there is an isomorphism: \[ K_q(X_{\text{Két}})\simeq \bigoplus_{J\subset I} K_q(D_J)\otimes_{\mathbb{Z}} \Lambda_{| J|}, \] where, for \(J= \{i_1,\dots, i_r\}\), \(D_J= D_{i_1}\cap\cdots\cap D_{i_r}\) and, for \(| J|= r\), \(\Lambda_{| J|}\) is the free abelian group generated by the set \(\{a_1,\dots, a_r\}\) with \(a_i\in\bigoplus_{l\neq p}\mathbb{Q}_l/\mathbb{Z}_l- \{0\}\), for any \(i\).