Semi-topological K-theory for certain projective varieties (Q927335)

Let \(X\) be a complex projective variety and \(K^{\text{sst}}(X)\) denote its semi-topological \(K\)-theory as defined by \textit{E. M. Friedlander} and \textit{M. E. Walker} [Topology 41, No.~3, 591--644 (2002; Zbl 1003.19003)]. The authors study the map \(K^{\text{sst}}(X)\to ku^{-*}(X^{\text{an}})\) for various complex projective varieties. One of the main theorems computes the semi-topological \(K\)-theory of degenerate threefolds: Theorem 1.1. Let \(X\) be a smooth projective complex threefold such that there is a proper subvariety \(V\subset X\) with \(CH_{0}(X \diagdown V)=0\). Then, for \(i\geq 1\), \(K^{\text{sst}}_{i}(X)\backsimeq ku^{-i}(X^{\text{an}}),\) and \( K^{\text{sst}}_{0}(X)\hookrightarrow ku^{0}(X^{\text{an}})\). Moreover if \(X\) is a rationally connected threefold, then \(K^{\text{sst}}_{i}(X)\backsimeq ku^{-i}(X^{\text{an}})\), \(i\geq 0\). They also have a related result for fourholds: Theorem 1.2. Let \(X\) be a smooth projective fourfold such that there is a proper subvariety \(V\subset X\) of \(\dim(V)\leq 2\) with \(CH_{0}(X\diagdown V)=0\). Then: {\parindent5mm \begin{itemize}\item[1.] \(K^{\text{sst}}_{i}(X)\backsimeq ku^{-i}(X^{\text{an}})\), \(i\geq 3\) \item[2.] \( K^{\text{sst}}_{2}(X)\hookrightarrow ku^{-2}(X^{\text{an}}), \) \item[3.] \(K^{\text{sst}}_{i}(X)_{\mathbb{Q}}\backsimeq ku^{-i}(X^{\text{an}})_{\mathbb{Q}}\), \(i=1,2,\) \item[4.] \( K^{\text{sst}}_{0}(X)_{\mathbb{Q}}\hookrightarrow ku^{0}(X^{\text{an}})_{\mathbb{Q}}.\) \end{itemize}} The authors also explore other aspects such as morphic cohomology of projective linear varieties or of rational varieties.