Regulators and cycle maps in higher-dimensional differential algebraic \(K\)-theory (Q887351)

The paper under review is devoted to study the differential algebraic \(K\)-theory of regular schemes. Let \(\mathbf{Sm}_\mathbb C\) the site of smooth algebraic varieties over complex numbers \(\mathbb C\), with topology given by Zariski open coverings. Denote by \(A_{\bar X}(X,\log D)\) the differential graded algebra of complex valued smooth differential forms on \(X\) with logarithmic singularities along divisor \(D\) and decreasing multipicative Hodge filtration \(\mathcal F^*\) such that \(\mathcal F^p A_{\bar X}(X,\log D) \subset A_{\bar X}(X,\log D)\) is consisting of local sums of differential forms of type \(d\zeta_{i_1} \wedge \dots \wedge \zeta_{i_p} \wedge \omega'\) in the local complex coordinates \(\zeta_i\) of \(X\). The real subcomplex \(A_{\bar X, \mathbb R}(X,\log D) \subset A_{\bar X}(X,\log D)\) with its weight filtration \(\mathcal W_* A_{\bar X, \mathbb R}(X,\log D)\) is described as an \(A_\mathbb R(\bar X)\)-algebra generated by 1 and differential forms \(\log(z_i\bar{z}_i), \Re(\frac{dz_i}{z_i}), \Im(\frac{dz_i}{z_i}, i\in I\) in the local coordinates of \(\bar X\) for which the divisor \(D\) is defined by \(\prod_{i\in I} z_i = 0\). The \textit{absolute mixed \(\mathbb R\)-Hodge complex} is \(((A_{\bar X, \mathbb R}(X,\log D),\mathcal W_*), (A_{\bar X}(X,\log D),\mathcal W_*, \mathcal F^*), \imath)\) where \(\imath\) is the canonical identification \(\imath : A_{\bar X, \mathbb R}(X,\log D)\otimes_\mathbb R \mathbb C \mathop{\to}\limits^{\cong} (A_{\bar X}(X,\log D)\). The décalage filtration is given by \[ \hat{\mathcal W}_kA^n_{\bar X, \mathbb R}(X,\log D) = \big\{\omega \in W_{k-n} A^n_{\bar X, \mathbb R}(X,\log D)\mid d\omega\in W_{k-n-1} A^{n+1}_{\bar X, \mathbb R}(X,\log D) \big\} \] that induces a filtration on cohomology \(\mathcal W_k H*(X; \mathbb R) = H^*(\hat{\mathcal W}_kA^n_{\bar X, \mathbb R}(X,\log D)).\) In the cofiltered and essentially small category \(I_X\) of good compactifications of \(X\) with respect to maps under \(X\) for \(\bar X \to \bar X'\) one has an inclusion \(A_{\bar{X}'}(A; \log(\bar{X}'\backslash X)) \subseteq A_{\bar{X}}(A; \log(\bar X\backslash X)) \). The presheaf of chain complexes \(A_{\log} \in \mathbf{PSH_{Ch}}(\mathbf{Sm}_{\mathbb C})\) is defined (Definition 3.4) as \(X \mapsto \text{colim}_{I_X^op} A_{\bar X}(X,\log(\bar X \backslash X))\) and similarly one defines the presheaves, which satisfy descent \(A_{\log,\mathbb R}\), \( \hat{\mathcal W}_kA_{\log,\mathbb R}\), \(\hat{\mathcal W}_*A_{\log}\), \( \hat{\mathcal F}^*A_{\log} \), the mixed \(\mathbb R\)-Hodge structure, computed by \(((A_{\log, \mathbb R}(X),\mathcal W_*), (A_{\log}(X),\mathcal W_*, \mathcal F^*), \imath)\). Let \(\mathbf{Mf}\) to be the site of manifolds with the open covering topology, \(\mathbf{S_{Mf}}= \text{N}(\mathbf{Mf})\) the corresponding nerve, \(\text{Tot}: \mathbf{cCh} \to \mathbf{Ch}\) the total complex functor from cosimplicial chain comlexes to chain complexes, \(U_\bullet\) the Čech nerve of a Zariski cover of \(X\). The total complexes \(\text{Tot}A_{\log,\mathbb R}(U_\bullet)\) admits a mixed Hodge structure with filtrations \(\mathcal W_*\) and \(\mathcal F^*\) as above. The \textit{absolute Hodge complex} is defined as \(\mathbf{DR}_\mathbb C = \prod \mathbf{DR}_\mathbb C(p)\) where the absolute Hodge complex twisted by \(p\), for any integral \(p \in \mathbb Z\) is defined as \[ \mathbf{DR}_{\mathbb C}(p) := \text{Cone}\left( \left( (2\pi i)^p \hat{\mathcal W}_{2p} A_{\log,\mathbb R}\right) \oplus \left( \hat{\mathcal W}_{2p} \cap \mathcal F^p A_{\log}\right)\to \hat{\mathcal W}_{2p} A_{\log} \right)[2p-1] \] in \(\mathbf{PSH_Ch(Sm)}_{\mathbb C}\) the cohomology of which is defined by A. Beilinson as \(H^k(\mathbf{DR}_{\mathbb C}(p)) = H^{k_2p}_{\text{Hodge}}(X, \mathbb R(p))\). For the arithmetic sites \(\mathbf{Reg}_{\mathbb Z}\) of arithmetic schemes with topology given by Zariski open coverings by a similar way one defines the absoloute Hodge complexes \(\mathbf{DR}_{\mathbb Z}\) and twisted ones \(\mathbf{DR}_{\mathbb Z}(p)\). The Deligne-Beilinson weak absolute Hodge complexes are defined as \(\mathbf{D}_{Mf,\mathbb C} = \prod \mathbf{D}_{Mf,\mathbb C}(p)\) The absolute Hodge structrures are extended also on the usual complex of smooth \(\mathbb C\)-valued forms \(\mathbf{A}_{Mf} = \prod \mathbf{A}[2p] \in \mathbf{Fun}^{\mathrm{desc}}(\mathbf{S}_{Mf,Mf},\text{N}(\mathbf{Ch}))\). Let \(\mathcal L\mathbf{A}_{Mf}\) be the Čechification of \(\mathbf{A}_{Mf}\). The real algebraic \(K\)-theory is defined by the spectrum \(\mathbf{K}_{Mf,\mathbb C}\). One defines \(i\text{Vect}_{Mf,\mathbb C} \in \mathbf{Fun}^{\mathrm{desc},h}(\mathbf{S}_{Mf,\mathbb C},\mathbf{CommMon}_{\mathbb Z})\) as the commutative monoid of locally free and finitely generated \(pr^*_X\mathcal O_X\)-modules on the product \(M\times X\) of smooth manifold \(M\) and scheme \(X\). On this site one gets a stack of bundles with a symmetric monoidal structure given by the direct sum. The algebraic \(K\)-theory sheaf \(\mathbf{K}_\mathbb Z\) is defined by group completing the nerve of this stack. The authors use the sheafification functors \(L\) which are the left-adjoints of the inclusions of sheaves into presheaves. Let \(i\text{Vect}_{Mf,\mathbb C}(M \times X)\) be the maximal subgroupoid in \(Vect_{Mf,\mathbb C}(M \times \mathbb C\). One then defines (Definition 4.29) \(\mathbf{K}_{Mf,\mathbb C} := L(K(i\text{Vect}_{Mf,\mathbb C})\), \(\mathbf{K}_{Mf,\mathbb Z} := L(K(i\text{Vect}_{Mf,\mathbb Z})\). A Beilinson regulator is defined as \(r^{\text{Beil}}_\mathbb Z : \mathbf{K}_{mf,\mathbb Z} \to H(\mathbf{DR}_{Mf,\mathbb Z}) \cong H(\mathcal L \mathbf{DR}_{Mf,\mathbb Z})\). From these one produces \(\text{Diff}(K)\) as the pull-back from the diagram \[ \begin{tikzcd} \text{Diff}(K) \arrow[r, "R"] \arrow[d] & H(\sigma^{\geq 0}\mathcal L \mathbf{DR}_{Mf,\mathbb Z}) \arrow[d] \\ \mathbf{K}_{Mf,\mathbb Z} \arrow[r, "r^{\text{Beil}}_{\mathbb Z}" '] & H(\mathcal L \mathbf{DR}_{Mf,\mathbb Z})\end{tikzcd} \] Finally, the \textit{differential extension of cohomology theory} functors \(\hat {\mathbf E}^*\) are defined as \[ \hat {\mathbf E}^n = \pi_{-n}(\text{Diff}^n(K)). \] Define the functors \(R : \hat{\mathbf K}^0 \to Z^0(\mathcal L \mathbf{DR}_{Mf,\mathbb Z})\) and \(I : \hat{\mathbf K}^0 \to \pi_0(\mathbf{K}_{Mf,\mathbb Z})\). Because the inclusion \(i\) of the non-negative part into the full de Rham complex fits into a fibre sequence \[\begin{tikzcd} \ldots \rar & H(\sigma^{\leq -1}\mathcal L \mathbf{DR}_{Mf,\mathbb Z})[-1] \rar["a"] & \text{Diff}(K) \rar["I"] & \mathbf{K}_{Mf,\mathbb Z} \rar & {} \\ \rar[phantom] & {} \rar & H(\sigma^{\leq -1}\mathcal L \mathbf{DR}_{Mf,\mathbb Z}) \rar & \ldots \rar[phantom] & {} \end{tikzcd}\] J. Lott defined \(\hat{\mathbf{K}}^0_{flat} = \ker(R: \hat {K}^0\to Z^0(\mathcal L \mathbf{DR}_{Mf,\mathbb Z}))\) (Definition 5.3). As an application of the above construction the authors derive Lott's relation (Theorem 5.25) between short exact sequences of geometric bundles with a higher analytic torsion form.