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     

Holomorphic K-Theory, Algebraic Co-cycles, and Loop Groups

In this paper we study the holomorphic K-theory of a projective variety. This K-theory is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory is built out of studying algebraic bundles over a variety up to algebraic equivalence. In this paper we will give calculations of this theory for flag like varieties which include projective spaces, Grassmannians, flag manifolds, and more general homogeneous spaces, and also give a complete calculation for symmetric products of projective spaces. Using the algebraic geometric definition of the Chern character studied by the authors we will show that there is a rational isomorphism of graded rings between holomorphic K-theory and the appropriate morphic cohomology groups, in terms of algebraic co-cycles in the variety. In so doing we describe a geometric model for rational morphic cohomology groups in terms of the homotopy type of the space of algebraic maps from the variety to the symmetrized loop group U(n)/ _n where the symmetric group _n acts on U(n) via conjugation. This is equivalent to studying algebraic maps to the quotient of the infinite Grassmannians BU(k) by a similar symmetric group action. We then use the Chern character isomorphism to prove a conjecture of Friedlander and Walker stating that if one localizes holomorphic K-theory by inverting the Bott class, then rationally this is isomorphic to topological K-theory. Finally this will allows us to produce explicit obstructions to periodicity in holomorphic K-theory, and show that these obstructions vanish for generalized flag mani-folds.     

Compressing Coefficients While Preserving Ideals in K-Theory for C*-Algebras

An invariant based on orderedK-theory with coefficients in _n>1 /n and an infinite number of natural transformations has proved to be necessary and sufficient to classify a large class of nonsimple C* -algebras. In this paper, we expose and explain the relations between the order structure and the ideals of the C* -algebras in question.As an application, we give a new complete invariant for a large class of approximately subhomogeneous C*-algebras. The invariant is based on ordered K-theory with coefficients in /. This invariant is more compact (hence, easier to compute) than the invariant mentioned above, and its use requires computation of only four natural transformations.     

Inverting the Motivic Bott Element

We prove a version for motivic cohomology of Thomason's theorem on Bott-periodic K-theory, namely, that for a field k containing the nth roots of unity, the mod n motivic cohomology of a smooth k-scheme agrees with mod n étale cohomology, after inverting the element in H⁰(k,(1)) corresponding to a primitive nth root of unity.     

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.     

Relative hermitian algebraic k-theory and dihedral homology

The main result of this paper is that there is, under a certain hypothesis, an isomorphism between the rational relative hermitian algebraic K-theory and the rational relative dihedral homology. The general line of the proof of the main theorem is an imitation of Goodwillie's paper, Relative algebraic K-theory and cyclic homology, but in a more complicated setting whose details require developing some new techniques. In the proof of the main theorem we use the hermitian Volodin model and some combinatorial calculations using the classical invariant theory of Loday and Procesi. We believe the computations used to prove the main result may be of independent interest.     

Computations of K- and L-Theory of Cocompact Planar Groups

The verification of the isomorphism conjectures of Baum and Connes and Farrell and Jones for certain classes of groups is used to compute the algebraic K- and L-theory and the topological K-theory of cocompact planar groups (=cocompact N.E.C-groups) and of groups G appearing in an extension where is a finite group and the conjugation -action on ⁿ is free outside . These computations apply, for instance, to two-dimensional crystallographic groups and cocompact Fuchsian groups.     

Polynomial operations on complex K-theory

We adapt here the results of the author concerning polynomial operations on the 0th stable cohomotopy to the case of the 0th complex K-theory and consider polynomial operations : Kh, where h is a ring-valued contravariant functor, defined on finite CW-complexes, satisfying some properties. We construct a family of generating operations for the ring Pol(K,h) of all polynomial operations : Kh and doing so, we describe the additive structure of this ring in terms of the h(BU(n)'s. As an illustration of how polynomiality could be used to study operations in the setting of algebraic K-theory, we consider, from our point of view, the well known situation operations : KK on complex K-theory.     

Assembly maps,K-theory, and hyperbolic groups

Following Connes and Moscovici, we show that the Baum-Connes assembly map forK _*(C*v) is rationally injective when is word-hyperbolic, implying the Equivariant Novikov conjecture for such groups. Using this result in topologicalK-theory and Borel-Karoubi regulators, we also show that the corresponding generalized assembly map in algebraicK-theory is rationally injective.     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

K-theory for finite covariant systems

LetA be a real or complex Banach algebra and assume that is an action of a finite groupG onA by means of continuous automorphisms. To such a finite covariant system (A, G, ), we associate an Abelian groupK(A, G, ). We obtain some classical exact sequences for an algebraA and a closed invariant idealI. We also compute the group in a few important special cases. Doing so, we relate our new invariant to the classicalK ₀ andK ₁ of a Banach algebra and to theK-theory of ₂-graded Banach algebras. Finally, we obtain a result that gives a close relationship of our groupK(A, G, ) with theK-theory of the crossed productA G. In particular, we prove a six-term exact sequence involving our groupK(A, G, ) and theK-groups ofA G. In this way, we hope to contribute to the well-known problem of finding theK-theory of the crossed productA G in the case of an action of a finite group.     

Removable singularities of solutions of second-order divergence-form elliptic equations

Let L be a uniformly elliptic linear second-order differential operator in divergence form with bounded measurable coefficients in a bounded domain G ⁿ (n 2). In this paper, we introduce subclasses of the Sobolev class W ^1,2 (G)_loc containing generalized solutions of the equation Lu=0 such that the closed sets of nonisolated removable singular points for such solutions can be described completely in terms of Hausdorff measures.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 424–433.Original Russian Text Copyright © 2005 by A. V. Pokrovskii.This revised version was published online in April 2005 with a corrected issue number.     

Contact metric manifolds

In this paper we study contact metric manifoldsM ²ⁿ⁺¹(, , ,g) with characteristic vector field belonging to thek-nullity distribution. Moreover we prove that there exist i) nonK-contact, contact metric manifolds of dimension greater than 3 with Ricci operator commuting with and ii) 3-dimensional contact metric manifolds with non-zero constant -sectional curvature.     

Reiter’s Condition <Emphasis Type="Italic">P</Emphasis><Subscript>1</Subscript> and Approximate Identities for Polynomial Hypergroups

Let K be a commutative hypergroup with the Haar measure . In the present paper we investigate whether the maximal ideals in L¹(K,) have bounded approximate identities. We will show that the existence of a bounded approximate identity is equivalent to the existence of certain functionals on the space L(K,). Finally we apply the results to polynomial hypergroups and obtain a rather complete solution for this class.The third author was partially supported by KBN (Poland) under grant 5 P03A 034 20 and by Research Training Network Harmonic Analysis and Related Problems Contract HPRN-CT-2001-00273.     

On Remez-type inequalities for polynomials in R m and C m

Remez-type inequalities provide estimates for the size of polynomials on given sets KR ^m (or C ^m ) when the magnitude of polynomials on largeldquo subsets of K is known. We shall study this question on smooth sets K in R ^m and C ^m and show how the smoothness of K effects the estimates.     

Strong solution for an elastic-plastic plate

Given a regular bounded open set R ²,, >0 andg L ^q () withq>2, we prove, under compatibility and safe load conditions ong, the existence of a minimizing pair for the functional, over closed setsK ² and functionsu C⁰( ) C²(/K); here ¦[Du]¦ denotes the jump ofDu acrossK and ¹ is the 1-dimensional Hausdorff measure.Dedicated to Enrico Magenes for his 70th birthday     

Geometric modules and Quinn homology theory

LetR be a ring with unit and invariant basis property. In [1], the authors define a functorK(_;R):TOP/LIP _c-LPEP by combining the open cone construction of [7] with a geometric module construction and show this functor is a homology theory. This paper shows that if attention is restricted to objects TOP/LIP _c with a homotopy colimit structure, then the functorK(_;R) is a Quinn homology theory, In particular, for each having a homotopy colimit structure,K(;R) is a homotopy colimit in the category of -spectra. Furthermore, the constituent spectra of this homotopy colimit are obtained naturally from the fibres of .Partially supported by the National Science Foundation under grant number DMS88-03148.Partially supported by the SNF (Denmark) under grant number 11-7792.