Noncommutative Chern Characters of Compact Lie Group C*-Algebras

For compact Lie groups, the Chern characters K^*(G) Q H^* _DR(G;Q) have been already constructed. In this paper, we construct and study the corresponding noncommutative Chern characters. They are homomorphisms ch_C*: K_*(C^*(G)) from quantum K-groups into entire current periodic cyclic homology groups of group C^*-algebras. We also obtain the corresponding algebraic version ch_alg: K_*(C^*(G)) HP_*(C^*(G)), which can be identified with the classical Chern character K_* (C(T)) HP_* (C(T)), where T is the maximal torus of G.     

Signature Operators and Surgery Groups over C*-algebras

Let A be a unital complex C^* algebra, L^*(A) the projective symmetric surgery groups, and K_*(A) topological K theory. We define groups B^*(A) of bordism classes of Fredholm complexes over A with Poincaré duality. These generalize the de Rham complex. It is shown that there are isomorphisms B^*(A)K_* (A) and B^*(A) L_*(A) given by abstract versions of the signature operator and symmetric signature. The remaining side of a triangle is formed by an isomorphism due to Mienko.     

The Atiyah-Segal completion theorem for C*-algebras

We generalize the Atiyah-Segal completion theorem to C ^*-algebras as follows. Let A be a C ^*-algebra with a continuous action of the compact Lie group G. If K _* ^G (A) is finitely generated as an R(G)-module, or under other suitable restrictions, then the I(G)-adic completion K _* ^G (A) is isomorphic to RK _*([A C(EG)]^G), where RK _* is representable K-theory for - C ^*-algebras and EG is a classifying space for G. As a corollary, we show that if and are homotopic actions of G, and if K _*(C ^* (G,A,)) and K _*(C ^* (G,A,)) are finitely generated, then K _*(C ^*(G,A,))K_*(C ^* (G,A,)). We give examples to show that this isomorphism fails without the completions. However, we prove that this isomorphism does hold without the completions if the homotopy is required to be norm continuous.This work was partially supported by an NSF Graduate Fellowship and by an NSF Postdoctoral Fellowship.     

The Trace Conjecture – A Counterexample

In the paper Geometric K-Theory for Lie Groups and Foliations, Baum and Connes conjecture in a remark following Corollary 2 of their famous Isomorphism conjecture that for a finitely generated group with torsion, the trace map tr: K₀(C^*)R maps K₀(C^*) onto the additive subgroup of Q generated by all rational numbers of the form 1/n where n is the order of a finite subgroup of . We construct a counterexample to this conjecture.     

On the Ordered K0‐Group of Universal, Free Product C*‐Algebras

The ordered K₀-group of the universal, unital free product C^*-algebra M_k()*M_l()is calculated in the case where k is prime and not a divisor in l. It is shown that the positive cone of K₀(M_k()*M_l())is as small as possible in this case. The article also contains results (full and partial) on the ordered K₀0-group of more general universal, unital free product C^* algebras.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

A homology transfer for a class of simplicial maps

We construct a homology transfer _*H_*(B) H_*(E) for a certain class of proper simplicial maps pE B. Roughly, the important hypothesis is that there is a compact space F, so that all fibres F_x>=p^–1(x), xB, are quotient spaces of F, in a certain locally controlled manner. The composition p_** H_*(B)H_*(E)H_*(B) is multiplication by the Euler characteristic of F.     

The Volodin model for hermitian algebraic K-theory

We define the Volodin hermitian algebraic K-theory for a (discrete) ring with an involution and show that it is isomorphic to Karoubi's hermitian algebraic K-theory. We also construct the Volodin model X(R _*) of hermitian algebraic K-theory for a simplicial ring R _* and show that it is a homotopy fiber of the map B Ô(R _*)B Ô(R _*)⁺. We also prove the general linear version of this result, which has been claimed in the existing literature, but whose proof was overlooked.     

K-theory of reduced C*-algebras and rapidly decreasing functions on groups

We associate to any length function L on a group a space of rapidly decreasing functions on (in the l ² sense), denoted by H _L (). When H _L () is contained in the reduced C*-algebra C _r ^* () of (), then it is a dense *-subalgebra of C _r ^* () and we prove a theorem of A. Connes which asserts that under this hypothesis H _L () has the same K-theory as C _r ^* (). We introduce another space of rapidly decreasing functions on (in the l ¹ sense), denoted by H _L ^1, (), which is always a dense *-subalgebra of the Banach algebra l ¹(), and we show that H _L ^1, () has the same K-theory as l ¹().     

Projektive G-Faserräume

Let > 0 be an integer. A projective -fibre space is formed by a covering of a projective geometry with -1 isomorphic geometries. The double elliptic space (Sphärischer Raum) is an example of a 2-fibre space. This note deals with projective -fibre spaces which are structured by multy valued orderfunctions (This notion was introduced by W. JUNKERS [2] for projective geometries) the range of which is a group G. If such an ordered -fibre space has the property ¦G¦=, it is called projective G-fibre space. It is proved that the desarguesian projective G-fibre spaces V are exactly those, which are induced by a vector space S over a field K (commutative or not) having a normal subgroup P K^*(·) with K^* P such that GK^*/P and SV^*/P. This theorem is a generalization of the well-known case P=K^*.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Bildgarben und Fasercohomologie für Relativ Analytische Räume

Let : XY be a relative analytic space and an _X module. The object of this paper is to collect some results on the connection between the fibre cohomology groups Hⁱ(X(y),(y)) and the direct image sheaves Rⁱ _*. This generalizes results of Kodaira-Spencer and Grauert-Riemen-schneider giving a unified approach based on the methods of [9].     

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.     

Fields with vanishing K2. Torsion in H1(X,K2) and Ch2(x)

This paper describes fields F of nonzero characteristic with the property that for all finite extensions E/F K₂E=0. We consider a somewhat wider class of fields which includes finite and separably closed fields. For smooth projective varieties X over such a field we show that the groups H¹(X, K₂){} and H²(X_et, (2)), NH³(X_et, (2)) and Ch²(X){} are isomorphic. These results are applied to describe the groups SK₁ of a smooth affine curve over such a field.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 108–118, 1982.     

On combinatorial and projective geometry

Cross ratios constitute an important tool in classical projective geometry. Using the theory of Tutte groups as discussed in [6] it will be shown in this note that the concept of cross ratios extends naturally to combinatorial geometries or matroids. From a thorough study of these cross ratios which, among other observations, includes a new matroid theoretic version and proof of the Pappos theorem, it will be deduced that for any projective space M= _n (K) of dimension n2 of M over some skewfield K the inner Tutte group is isomorphic to the commutator factor group K ^*/[K ^*, K ^*] of K ^*K{0}. This shows not only that in case M= _n (K) our matroidal cross ratios are nothing but the classical ones. It can also be used to correlate orientations of the matroid M= _n (K) with the orderings of K. And it implies that Dieudonné's (non-commutative) determinants which, by Dieudonné's definition, take their values in K ^*/[K ^*, K ^*] as well, can be viewed as a special case of a determinant construction which works for just every combinatorial geometry.Research supported by the DFG (Deutsche Forschungsgemeinschaft).     

Embedding an AH-Algebra into a Simple C*-Algebra with Prescribed KK-Data

Let X be a connected finite CW complex. We show that, given a positive homomorphism Hom(K _*(C(X)), K _*(A)) with [1 _C(X)][1 _A ], where A is a unital separable simple C ^*-algebra with real rank zero, stable rank one and weakly unperforated K ₀(A), there exists a homomorphism h: C(X)A such that h induces . We also prove a structure result for unital separable simple C ^*-algebras A with real rank zero, stable rank one and weakly unperforated K ₀(A), namely, there exists a simple AH-algebra of real rank zero contained in A which determines the K-theory of A.     

A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

K-Homology Relative to Semisplit Ideals

Given a C^*-algebra A, and an ideal J of A, we define a relative group K^⁰(A,J) in terms of a relative universal C^*-algebra for the pair (A,J). We show that the natural restriction map K^⁰(A,J) K⁰(J) is an isomorphism, and that, if J is a semisplit ideal of A, the Baum–Douglas–Taylor relative K-homology is recovered. This provides a generalization of one of the main results of the Baum–Douglas–Taylor theory.     

Cyclic Group Actions on 4-Manifolds

Let X be a closed, oriented Riemannian 4-manifold. Suppose that a cyclic group Z( _p (p is prime) acts on X by an orientation preserving isometry with an embedded Riemann surface as fixed point set. We study the representation of Z _p on the Spin^c-bundles and the Z _p-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spin^c-structure X. When the Z _p action on the determinant bundle det L acts non-trivially on the restriction L| over the fixed point set , we consider -twisted solutions of the Seiberg-Witten equations over a Spin^c-structure ' on the quotient manifold X/Z _p X', (0,1). We relate the Z _p -invariant moduli space for the Spin^c-structure on X and the -twisted moduli space for the Spin^c-structure on X'. From this we induce a one-to-one correspondence between these moduli spaces and calculate the dimension of the -twisted moduli space. When Z _p acts trivially on L|, we prove that there is a one-to-one correspondence between the Z _p -invariant moduli space M( ^Zp and the moduli space M (") where ' is a Spin^c-structure on X' associated to the quotient bundle L/Z _p X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b ₂ ⁺ (X) > 3 and H ₂(X;Z) has no 2-torsion on which an anti-holomorphic involution acts with fixed point set , a Lagrangian surface with genus greater than 0 and []2H ₂(H ;Z). If _K ^X 2 > 0 or K _X ² = 0 and the genus g()> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When K _X ² = 0 and the genus g()= 1, if there is a Z ²-equivariant Spin^c-structure on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spin^c-structure " on X' such that the Seiberg-Witten invariant is ±1.