Localization theorem for higher arithmetic \(K\)-theory (Q667614)

Recall that a \textit{simplicial object} in a category \(\mathcal{C}\) is a contravariant functor \(F:\Delta \rightarrow \mathcal{C}\) and that a morphism of simplicial sets is a natural transformation between the functors, where \(\Delta \) denotes the category of ordered finite sets and non-decreasing maps. For the case that \(\mathcal{C}\) is the category of sets, one has a \textit{simplicial set} \(F\). The \textit{geometric realisation} \(\left\vert F\right\vert \) of a simplicial set \(F\) is the quotient space of the disjoint union of \(F\left( n\right) \times \Delta _{n}\) by the equivalence relation, where \(\Delta _{n}\) denotes the standard \(n\)-simplex in \(\mathbb{R}^{n+1}\). For a small category \(\mathcal{C}\) there is the \textit{nerve} \(N\mathcal{C}\) of \(\mathcal{C}\), which is a simplicial set consisting of \(n\)-simplices. The geometric realisation of the nerve \(N\mathcal{C}\) is called the \textit{classifying space} \(B\mathcal{C}\) of the category \(\mathcal{C}\), i.e., \(B\mathcal{C}=\left\vert N\mathcal{C}\right\vert \). Here one has Quillen's \textit{Dévissage Theorem}, \textit{Localisation Theorem} and \textit{ Resolution Theorem}. Let \(\mathcal{C}\) be an \textit{exact category}, i.e., a full subcategory of an abelian category satisfying a specified condition for short exact sequences. One has a new category \(Q\mathcal{C}\) by Quillen's \(Q\) -construction. For every \(i\geq 0\), the \(K_{i}\)\textit{-groups} \(K_{i}\left( \mathcal{C}\right) \) of the exact category \(\mathcal{C}\) are defined to be the \(\left( i+1\right) \)-the homotopy groups \(\pi _{i+1}\left( BQ\mathcal{C}\right) \) of the classifying space \(BQ\mathcal{C}\), i.e., \(K_{i}\left( \mathcal{C}\right) :=\pi _{i+1}\left( BQ\mathcal{C}\right) \). In particular, for a ring \(A\), one has the category \(\mathcal{P}\left( A\right) \) of finitely generated projective left modules over \(A\); then the \(K_{i}\)\textit{-groups of a ring} \(A\) is given by \(K_{i}\left( A\right) :=K_{i}\left( \mathcal{P}\left( A\right) \right) \). For a scheme \(X\), one has the category \(\mathcal{P}\left( X\right) \) of locally free sheaves over \( X\) of finite rank; then the \(K_{i}\)\textit{-groups of a scheme} \(X\) is given by \(K_{i}\left( X\right) :=K_{i}\left( \mathcal{P}\left( X\right) \right) \). In general, it's hard for one to obtain a computation for these \(K_{i}\) -groups. In deed, the \(K\)-groups \(K_{i}\left( \mathbb{Z}\right) \) have a deepening connection with Riemann Zeta function. On the other hand, for a proper smooth complex variety \(X\) with a normal crossing divisor, there is the \textit{Deligne-Beilinson cohomology} given by the hypercohomology of the complex of sheaves. Via the natural structure of \( X\) as a real variety, one has the \textit{real Deligne-Beilinson cohomology}, which involves \textit{Beilinson's regulator map}. It is conjectural that the higher \(K_{i}\)-groups of \(X\) can be obtained by homotopy groups of the homotopy fiber of Beilinson's regulator map. Now consider a regular equivariant arithmetic scheme \(X\) with a given closed subscheme \(Y\). In this paper the author gives a long exact sequence of equivariant \(K_{i}\)-groups for \(X\), \(Y\) and the difference \(X\setminus Y\), which is the main theorem of the paper. As its application, several results are also obtained.