Localization theorem for higher arithmetic K-theory

DOI10.1007/S00209-017-2019-4MaRDI QIDQ667614zbMATH OpenOpenAlexFDO

Publication date 1 March 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1411.6236

Arakelov geometry arithmetic \(K\)-theory localization theorem

Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Group actions on varieties or schemes (quotients) (14L30) (K)-theory of schemes (19E08) Relations of (K)-theory with cohomology theories (19E20)

Abstract: Quillen's localization theorem is well known as a fundamental theorem in the study of algebraic K-theory. In this paper, we present its arithmetic analogue for the equivariant K-theory of arithmetic schemes, which are endowed with an action of certain diagonalisable group scheme. This equivariant arithmetic K-theory is defined by means of a natural extension of Burgos-Wang's simplicial description of Beilinson's regulator map to the equivariant case. As a byproduct of this work, we give an analytic refinement of the Riemann-Roch theorem for higher equivariant algebraic K-theory. And as an application, we prove a higher arithmetic concentration theorem which generalizes Thomason's corresponding result in purely algebraic case to the context of Arakelov geometry.

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Localization theorem for higher arithmetic \(K\)-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q667614)