Techniques,computations, and conjectures for semi-topological <Emphasis Type="Italic">K</Emphasis>-theory

We establish the existence of an Atiyah-Hirzebruch-like spectral sequence relating the morphic cohomology groups of a smooth, quasi-projective complex variety to its semi-topological K-groups. This spectral sequence is compatible with (and, indeed, is built from) the motivic spectral sequence that relates the motivic cohomology and algebraic K-theory of varieties, and it is also compatible with the classical Atiyah-Hirzebruch spectral sequence in algebraic topology. In the second part of this paper, we use this spectral sequence in conjunction with another computational tool that we introduce — namely, a variation on the integral weight filtration of the Borel-Moore (singular) homology of complex varieties introduced by H. Gillet and C. Soulé – to compute the semi-topological K-theory of a large class of varieties. In particular, we prove that for curves, surfaces, toric varieties, projective rational three-folds, and related varieties, the semi-topological K-groups and topological K-groups are isomorphic in all degrees permitted by cohomological considerations. We also formulate integral conjectures relating semi-topological K-theory to topological K-theory analogous to more familiar conjectures (namely, the Quillen-Lichtenbaum and Beilinson-Lichtenbaum Conjectures) concerning mod-n algebraic K-theory and motivic cohomology. In particular, we prove a local vanishing result for morphic cohomology which enables us to formulate precisely a conjectural identification of morphic cohomology by A. Suslin. Our computations verify that these conjectures hold for the list of varieties above.Mathematics Subject Classification (2000): 19E20, 19E15, 14F43The first author was partially supported by the NSF and the NSAThe second author was supported by the Helen M. Galvin Fellowship of Northwestern UniversityThe third author was partially supported by the NSF and the NSA     

Structure Theorem of Kummer étale K-group

In this paper we develop a K-theory of log schemes by using vector bundles on the Ket site. Then, for a wide class of log varieties, we describe the structure of their K-groups in terms of the usual algebraic K-groups.     

K-Theory of Algebraic Tori and Toric Varieties

It is proved that under certain conditions the group K _n (X) of a smooth projective variety X over a field F is a natural direct summand of K _n (A) for some separable F-algebra A. As an application we study the K-groups of toric models and toric varieties. A presentation in terms of generators and relations of the groupK ₀(T) for an algebraic torus T is given.     

Geometric Phantom Categories

In this paper we give a construction of phantom categories, i.e. admissible triangulated subcategories in bounded derived categories of coherent sheaves on smooth projective varieties that have trivial Hochschild homology and trivial Grothendieck group. We also prove that these phantom categories are phantoms in a stronger sense, namely, they has trivial K-motives and, hence, all their higher K-groups are trivial too.     

Adams Operations for Bivariant K-Theory and a Filtration Using Projective Lines

We establish the existence of Adams operations on the members of a filtration of K-theory which is defined using products of projective lines. We also show that this filtration induces the gamma filtration on the rational K-groups of a smooth variety over a field of characteristic zero.     

K-theory of twisted Grassmannians

We give a computation of the K-groups of Grassmannians and flag varieties over an arbitrary Noetherian base scheme. We also compute the K-groups of forms of Grassmannians and flag varieties associated to a sheaf of Azumaya algebras. One ingredient in the computation is the extension of the Bott theorem on the cohomology of line bundles on the flag variety (over Q) to a K ₀-Bott theorem valid over arbitrary Noetherian base schemes.Partially supported by the NSF.     

Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.     

Explicit weight two motivic cohomology complexes and algebraicK-theory

Beilinsonet al.'s motivic cohomology complex is related to a motivic complex (considered earlier by Lichtenbaum) formed using groups related to the scissors congruence groups. This involves an algebraic study of configurations of lines in projective spaces. One thereby obtains a more precise relationship between the cohomology of Beilinson's complex and lower dimensionalK-groups. Most of the proofs omitted in Beilinsonet al. are supplied here. There is also a list of certain torsional elements of the thirdK-group for fields between the rationals and the real cyclotomics.     

On reduction maps and support problem in K-theory and abelian varieties

In this paper we consider orders of images of nontorsion points by reduction maps for abelian varieties defined over number fields and for odd dimensional K-groups of number fields. As an application we obtain the generalization of the support problem for abelian varieties and K-groups.     

The nilpotence conjecture in <Emphasis Type="Italic">K</Emphasis>-theory of toric varieties

It is shown that all nontrivial elements in higher K-groups of toric varieties are annihilated by iterations of the natural Frobenius type endomorphisms. This is a higher analog of the triviality of vector bundles on affine toric varieties. To Richard G. SwanMathematics Subject Classification (2000) 14M25, 19D55, 19D25, 19E08     

K -groups of Toeplitz algebras on connected domains

In the present paper, it is proved that the K ₀-group of a Toeplitz algebra on any connected domain is always isomorphic to the K ₀-group of the relative continuous function algebra. In addition, the cohomotopy groups of essential boundaries of some connected domains are computed, and the K ₀-groups of the continuous function algebras on these domains are also computed. This work was supported by the National Natural Science Foundation of China (Grant No. 10371082)     

Two remarks on the topology of projective surfaces

We will prove two results about the topology of complex projective surfaces. The first result says that if the Shafarevich Conjecture has an affirmative answer in dimension two then the second homotopy group of a smooth projective surface is a torsion-free abelian group. The second result is that for any 2-dimensional function field K/C there is a normal projective simply-connected surface with function field K.     

Riemann-Roch for tensor powers

Mapping a locally free module on a scheme to its l-th tensor power gives rise to a natural map from the Grothendieck group of all locally free modules to the Grothendieck group of all locally free representations of the l-th symmetric group. In this paper, we prove some formulas of Riemann-Roch type for the behavior of this tensor power operation with respect to the push-forward homomorphism associated with a projective morphism between schemes. We furthermore establish analogous formulas for higher K-groups. Received February 13, 1998; in final form January 12, 1999     

The Higher K-Theory of a Complex Surface

Let X be a smooth complex variety of dimension at most two, and let F be its function field. We prove that the K-groups of F are divisible above the dimension of X, and that the K-groups of X are divisible-by-finite. We also describe the torsion in the K-groups of F and X.     

Quasi-projective reduction of toric varieties

We define a quasi–projective reduction of a complex algebraic variety X to be a regular map from X to a quasi–projective variety that is universal with respect to regular maps from X to quasi–projective varieties. A toric quasi–projective reduction is the analogous notion in the category of toric varieties. For a given toric variety X we first construct a toric quasi–projective reduction. Then we show that X has a quasi–projective reduction if and only if its toric quasi–projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a quasi–projective toric variety admits a categorical quotient in the category of quasi–projective varieties. Received October 29, 1998; in final form December 28, 1998     

The Higher K-Theory of Complex Varieties

Let X be a smooth complex variety, and let F be its function field. We prove that (after localizing at the prime 2) the K-groups of F are divisible above the dimension of X, and that the K-groups of X are divisible-by-finite. We also describe the torsion in the K-groups of F and X.     

Isolated rational curves on K3-fibered Calabi–Yau threefolds

In this paper we study 16 complete intersection K3-fibered Calabi--Yau variety types in biprojective space ℙ ^{n 1}}×ℙ¹. These are all the CICY-types that are K3 fibered by the projection on the second factor. We prove existence of isolated rational curves of bidegree (d,0) for every positive integer d on a general Calabi–Yau variety of these types. The proof depends heavily on existence theorems for curves on K3-surfaces proved by S. Mori and K. Oguiso. Some of these varieties are related to Calabi–Yau varieties in projective space by a determinantal contraction, and we use this to prove existence of rational curves of every degree for a general Calabi–Yau variety in projective space. Received: 14 October 1997 / Revised version: 18 January 1998     

Ranks of Low K-Groups of Fibre Products

In this article, we discuss the ranks of low K-groups in pullback diagrams and give the upper and lower bounds on ranks of K-groups of a fibre product (or pullback) under some suitable conditions.