Cohomology of Hopf C*-Algebras and Hopf Von Neumann Algebras

We define two canonical cohomology theories for Hopf C^*-algebrasand for Hopf von Neumann algebras (with coefficients in theircomodules). We then study the situations when these cohomologiesvanish. The cases of locally compact groups and compact quantumgroups are considered in more detail. E-mail: c.k.ng{at}qub.ac.uk2000 Mathematical Subject Classification: primary 46L05, 46L55;secondary 43A07, 22D25.     

BV Structure of the Cohomology of Nilpotent Subalgebras and the Geometry of(W) Strings

Given a simple, simply laced, complex Lie algebra corresponding to the Lie group G, let be thesubalgebra generated by the positive roots. In this Letter we construct aBV algebra whose underlying graded commutative algebra is given by the cohomology, with respect to , of the algebra of regular functions on G with values in . We conjecture that describes the algebra of allphysical (i.e., BRST invariant) operators of the noncritical string. The conjecture is verified in the two explicitly known cases, ₂ (the Virasoro string) and ₃ (the string).     

Brownian surfaces with boundary and Deligne cohomology

We define differentiable random surfaces, which realize a kind of generalized parallel transport for line bundles over the loop space. This gives a realization of one of the axioms of Segal of conformal field theory.     

Local cyclic homology

Local (cyclic) homology of filtered associative algebras is defined and discussed. In the commutative case, it fits naturally in the setting of (formal) de Rham cohomology; we thus obtain a satisfactory complement to a result of Feigin and Tsygan. There is a spectral sequence from discrete (cyclic) homology of the associated graded algebra to local (cyclic) homology of the original filtered algebra; we exhibit manageable conditions on its convergence.     

K-Theory of Surfaces at the Prime 2

We prove that for smooth surfaces over real closed fields, and a class of smooth projective surfaces over a real number field, the map between mod 2 algebraic and étale K-theory is an isomorphism in sufficiently large degrees. For a class of smooth projective surfaces over a real closed field, including rational surfaces, complete intersections and K3-surfaces over the real numbers, we explicate the abutment of the mod 2 motivic cohomology to algebraic K-theory spectral sequence.     

Cohomology of Crystalline Smooth Sheaves

We define and study a candidate for 'arithmetic' cohomology theory with values in crystalline p-adic smooth sheaves. We show that it injects into arithmetic étale cohomology and prove a duality result.     

A comparison theorem for l-adic cohomology

We show that, for certain types of rigid analytic varieties X and constructible l-adic sheaves (F_n)_n on, one has . As an application we obtain that, for an algebraic variety X and associated rigid analytic variety X^rig, the l-adic cohomology of X and X^rig agree.     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.     

Hopf cyclic cohomology and transverse characteristic classes

We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan–Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the image of the canonical homomorphism from the Gelfand–Fuks complex to the Bott complex for equivariant cohomology. This provides a convenient new model for the Hopf cyclic cohomology of the geometric Hopf algebras, which allows for an efficient transport of the Hopf cyclic classes via characteristic homomorphisms. We illustrate the latter aspect by indicating how to realize the universal Hopf cyclic Chern classes in terms of explicit cocycles in the cyclic cohomology of étale foliation groupoids.     

Bivariant Hopf Cyclic Cohomology

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category Λ. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories.