Milnor K-theory of Smooth Varieties

Let k be a field and X a smooth projective variety of dimension d over k. Generalizing a construction of Kato and Somekawa, we define a Milnor-type group which is isomorphic to the ordinary Milnor We prove that is isomorphic to both the higher Chow group CH^d+s (X,s) and the Zariski cohomology group      

The relationship between the boundedly controlled K1 and Whitehead groups

Let Z be a boundedness control space and p: X Z be a continuous map. The boundedly controlled Whitehead group Wh ^bc (X, p) is defined to be a quotient of the boundedly controlled K ₁-group K ₁ ^bc (X, p) by a certain subgroup whose generators are explicitly given. In general, little is known about this subgroup and it is even possible that it vanishes; i.e. that the boundedly controlled K ₁ and Whitehead groups are identical. This paper examines the structure of this subgroup in the case when p is the open cone on a PL map between compact polyhedra. As a byproduct, it calculates Wh ^bc (X, p) in some of these cases.Partially supported by the NSF under grant number DMS-8803149.     

Gysin maps and cycle classes for Hodge cohomology

Iff:X→Y is a projective morphism between regular varieties over a field, we construct Gysin maps $$f_ * :H^i \left( {X,\Omega _{X/Z}^j } \right) \to H_{f(x)}^{i + d} \left( {X,\Omega _{Y/Z}^j } \right)$$ for the Hodge cohomology groups, whered-dimY-dimX. These Gysin maps have the expected properties, and in particular may be used to construct a cycle class map $$Cl_X :CH^i \left( {X,S} \right) \to H^i \left( {X,\Omega _{X/Z}^i } \right)$$ whereX is quasi-projective over a field,S is the singular locus, andCH ⁱ(X, S) is the relative Chow group of codimension-i cycles modulo rational equivalence. Simple properties of this cycle map easily imply the infinite dimensionality theorem for the Chow group of zero cycles of a normal projective varietyX overC with \(H^n \left( {X,\mathcal{O}_X } \right) \ne 0\) , wheren=dimX. One also recovers examples of Nori of affinen-dimensional varieties which support indecomposable vector bundles of rankn.     

K0 of Purely Infinite Simple Regular Rings

We extend the notion of a purely infinite simple C ^*-algebra to the context of unital rings, and we study its basic properties, specially those related to K-theory. For instance, if R is a purely infinite simple ring, then K ₀(R)⁺ = K ₀(R), the monoid of isomorphism classes of finitely generated projective R-modules is isomorphic to the monoid obtained from K ₀(R) by adjoining a new zero element, and K ₁(R) is the Abelianization of the group of units of R. We develop techniques of construction, obtaining new examples in this class in the case of von Neumann regular rings, and we compute the Grothendieck groups of these examples. In particular, we prove that every countable Abelian group is isomorphic to K ₀ of some purely infinite simple regular ring. Finally, some known examples are analyzed within this framework.     

On K0-groups of operator algebras on Banach spaces

This paper merges some classifications of G-M-type Banach spaces simplifically, discusses the condition of K ₀(B(X)) = 0 for operator algebra B(X) on a Banach space X, and obtains a result to improve Laustsen's sufficient condition, gives an example to show that X ≈ X ² is not a sufficient condition of K ₀(B(X)) = 0.     

Groupe de Chow de codimension deux des variétés définies sur un corps de nombres: un théorème de finitude pour la torsion

Summary LetX be a smooth, projective variety defined over a number field and let CH² (X) denote the Chow group of codimension two cycles modulo rational equivalence. We show that if the cohomology groupH ²(X,O_x) vanishes then the torsion subgroup of CH² (X) is a finite group. This result covers all previous results in this direction. The hypothesisH ²(X,O_x)=0 is used to lift line bundles.

---

---

Oblatum 17-IX-1990     

The decomposition of Kv into K2×K5''''s

The decomposition of the complete graph Kv into Kr×Kc's, the products of Kr and Kc,is originated from the use of DNA library screening. In this paper, we consider the case where r=2 and c = 5, and show that such a decomposition exists if and only if v ≡ 1 (mod 25).     

Difference Families in Z2d+1⊕Z2d+1 and Infinite Translation Designs in Z⊕Z

We analyse 3-subset difference families of Z_2d+1⊕Z_2d+1 arising as reductions (mod 2d+1) of particular families of 3-subsets of Z⊕Z. The latter structures, namely perfect d-families, can be viewed as 2-dimensional analogues of difference triangle sets having the least scope. Indeed, every perfect d-family is a set of base blocks which, under the natural action of the translation group Z⊕Z, cover all edges {(x,y),(x′,y′)} such that |x−x′|, |y−y′|≤d. In particular, such a family realises a translation invariant (G,K₃)-design, where V(G)=Z⊕Z and the edges satisfy the above constraint. For that reason, we regard perfect families as part of the hereby defined translation designs, which comprise and slightly generalise many structures already existing in the literature. The geometric context allows some suggestive additional definitions. The main result of the paper is the construction of two infinite classes of d-families. Furthermore, we provide two sporadic examples and show that a d-family may exist only if d≡0,3,8,11 (mod 12).     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.     

Dimension Theory and Nonstable K1 of Quadratic Modules

Employing Bak's dimension theory, we investigate the nonstable quadratic K-group K _1,2n (A, ) = G _2n (A, )/E _2n (A, ), n 3, where G _2n (A, ) denotes the general quadratic group of rank n over a form ring (A, ) and E _2n (A, ) its elementary subgroup. Considering form rings as a category with dimension in the sense of Bak, we obtain a dimension filtration G _2n (A, ) G _2n ⁰(A, ) ; G _2n ¹(A, ) ... E _2n (A, ) of the general quadratic group G _2n (A, ) such that G _2n (A, )/G _2n ⁰(A, ) is Abelian, G _2n ⁰(A, ) G _2n ¹(A, ) ... is a descending central series, and G _2n ^d(A)(A, ) = E _2n (A, ) whenever d(A) = (Bass–Serre dimension of A) is finite. In particular K _1,2n (A, ) is solvable when d(A) < .     

Projective resolutions associated to projections

In this paper we will describe projective resolutions of d dimensional Cohen–Macaulay spaces X by means of a projection of X to a hypersurface in d+1-dimensional space. We will show that for a certain class of projections, the resulting resolution is minimal. Received: 22 February 1999     

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.     

Cycles of codimension 3 on a projective quadric

Let X be a nonsingular quadratic hypersurface in a projective space over an arbitrary field (of characteristic not two) and let CH^pX be a Chow group of codimension p, that is, a group of classes of codimension p cycles on X with respect to rational equivalency. It is proved that torsion in CH³X is either trivial or is a second order group. Torsion in CH^pX, when p 3, was studied earlier in RZhMat 1990, 9 A334 and 10 A389.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademiya Nauk SSSR, Vol. 191, pp. 114–123, 1991.     

A Filtration on the Chow Groups of a Complex Projective Variety

Let X/ _C be a projective algebraic manifold, and further let CH ^k (X) _Q be the Chow group of codimension k algebraic cycles on X, modulo rational equivalence. By considering Q-spreads of cycles on X and the corresponding cycle map into absolute Hodge cohomology, we construct a filtration {F ^l}_{l 0} on CH ^k (X) _Q of Bloch-Beilinson type. In the event that a certain conjecture of Jannsen holds (related to the Bloch-Beilinson conjecture on the injectivity, modulo torsion, of the Abel–Jacobi map for smooth proper varieties over Q), this filtration truncates. In particular, his conjecture implies that F ^k+1 = 0.     

Coniveau 2 Complete Intersections and Effective Cones

Griffiths computation of the Hodge filtration on the cohomology of a smooth hypersurface X of degree d in \mathbbPⁿ{\mathbb{P}^n} shows that it has coniveau ≥ c once n ≥ dc. The generalized Hodge conjecture (GHC) predicts that the cohomology of X is then supported on a closed algebraic subset of codimension at least c. This is essentially unknown for c ≥ 2. In the case where c = 2, we exhibit a geometric phenomenon in the variety of lines of X explaining the estimate for the coniveau, and show that (GHC) would be implied in this case by the following conjecture on effective cones of cycles of intermediate dimension: Very moving subvarieties have their class in the interior of the effective cone.     

K3 et formules de Riemann-Hurwitzp-adiques

The well-known formula of Riemann-Hurwitz gives the change of genuses in ann-fold covering of compact connected Riemann surfaces. In Iwasawa theory, there existp-adic analogues which give the change of certain ^±-invariants in ap-extension ofCM number fields. Using functorial and arithmetical properties ofK ₃, we extend such Riemann-Hurwitzp-adic formulas to non-CM fields, assuming some restrictive hypotheses on the capitulation ofK ₂.

     

A generalization of the existence theorem of special line bundles

LetX be a generic smooth irreducible complex projective curve of genusg withg4. In this paper, we generalize the existence theorem of special divisors to high dimensional indecomposable vector bundles. We give a necessary and sufficient condition on the existence ofn-dimensional indecomposable vector bundlesE onX with det(E)=d, dimH ⁰(X,E)h. We also determine under what condition the set of all such vector bundles will be finite and how many elements it contains.Project partly supported by the National Natural Science Foundation of China.     

Cylinder Homomorphisms and Chow Groups

Let X be a projective algebraic manifold of dimension n (over C), CH¹(X) the Chow group of algebraic cycles of codimension l on X, modulo rational equivalence, and A¹(X) ? CH¹(X) the subgroup of cycles algebraically equivalent to zero. We say that A¹(X) is finite dimensional if there exists a (possibly reducible) smooth curve T and a cycle z∈CH¹(Γ × X) such that z_*:A¹(Γ)-A¹(X) is surjective. There is the well known Abel-Jacobi map λ₁:A¹(X)-J(X), where J(X) is the lth Lieberman Jacobian. It is easy to show that A¹(X)→J(X) A¹(X) finite dimensional. Now set with corresponding map A^*(X)→J(X). Also define Level . In a recent book by the author, there was stated the following conjecture: where it was also shown that (?) in (**) is a consequence of the General Hodge Conjecture (GHC). In this present paper, we prove A^*(X) finite dimensional ?? Level (H^*(X)) ≤ 1 for a special (albeit significant) class of smooth hypersurfaces. We make use of the family of k-planes on X, where ([…] = greatest integer function) and d = deg X; moreover the essential technical ingredients are the Lefschetz theorems for cohomology and an analogue for Chow groups of hypersurfaces. These ingredients in turn imply very special cases of the GHC for our choice of hypersurfaces X. Some applications to the Griffiths group, vanishing results, and (universal) algebraic representatives for certain Chow groups are given.     

Two Commuting Involutions Fixing RP1(2m + 1) S RP2(2m + 1)*

Let Z₂ denote a cyclic group of 2 order and Z₂² = Z₂ ×Z₂ the direct product of groups. Suppose that (M, Φ) is a closed and smooth manifold M with a smooth Z₂² -action whose fixed point set is the disjoint union of two real projective spaces with the same dimension. In this paper, the authors give a sufficient condition on the fixed data of the action for (M, Φ) bounding equivariantly.     

The least squares problem of the matrix equation A1X1B1^T ＋ A2X2B2^T = T

The matrix least squares （LS） problem minx ｜｜AXB^T--T｜｜F is trivial and its solution can be simply formulated in terms of the generalized inverse of A and B. Its generalized problem minx1,x2 ｜｜A1X1B1^T ＋ A2X2B2^T - T｜｜F can also be regarded as the constrained LS problem minx=diag（x1,x2） ｜｜AXB^T -T｜｜F with A = [A1, A2] and B = [B1, B2]. The authors transform T to T such that min x1,x2 ｜｜A1X1B1^T＋A2X2B2^T -T｜｜F is equivalent to min x=diag（x1 ,x2） ｜｜AXB^T - T｜｜F whose solutions are included in the solution set of unconstrained problem minx ｜｜AXB^T - T｜｜F. So the general solutions of min x1,x2 ｜｜A1X1B^T ＋ A2X2B2^T -T｜｜F are reconstructed by selecting the parameter matrix in that of minx ｜｜AXB^T - T｜｜F.