Abstract. The purpose of this paper is to study the p-part of motivic cohomology and algebraic K-theory in characteristic p (we use higher Chow groups as our definition of motivic cohomology). The main theorem states that for a field k of characteristic p, Hi (k, Z(n)) is uniquely p-divisible for i ̸ = n. This implies that the natural map KM n (k) − → Kn(k) from Milnor K-theory to Quillen K-theory is an isomorphism up to uniquely p-divisible groups, and that Kn(k) is p-torsion free. As a consequence, one can calculate the K-theory mod p of smooth varieties over perfect fields of characteristic p in terms of cohomology of logarithmic de Rham Witt sheaves, for example Kn(X, Z/pr) = 0 for n> dimX. Another consequence is Gersten’s conjecture with mod p-coefficients for smooth varieties over discrete valuation rings with residue characteristic p. As the last consequence, Bloch’s cycle complexes localized at p satisfy all Beilinson-Lichtenbaum-Milne axioms for motivic complexes, except the vanishing conjecture. 1.

this paper were announced in [11], [18]. Some of them were obtained by the second author only, in particular, the main theorem of Section 2. 2. On the Mac Lane Cohomology In this section we prove Theorem A, which is concerned with the relationship between Mac Lane cohomology of rings and Ext groups in functor categories; related questions are discussed. Let us recall the denition of the Mac Lane cohomology from [13]. Consider the sets Cn with 2 n elements | n-tuples ("1 ; :::; "n ), where " i = 0 or 1, for n > 0 and i 6 n, and the 0-tuple ( ) for n = 0. For convenience Cn can be visualized as the set of vertices of an n-cube, the product of n copies of the 1-cube with vertices 0 and 1. Dene maps 0 i ; 1 i : Cn ! Cn+1 , 1 6 i 6 n + 1, by the equalities 0 i ("1 ; :::; "n) = ("1 ; :::; " i 1 ; 0; " i+1 ; :::; "n ); 1 i ("1 ; :::; "n) = ("1 ; :::; " i 1 ; 1; " i+1 ; :::; "n ): For an abelian group A and a set S, let A[S] denote the sum of S copies of the group A. Since the sets Cn are nite, the group A[Cn ] can be identied with the group of all maps t : Cn ! A: Let Q 0 n (A) be the free abelian group generated by the set A[Cn ], i. e., Q 0 n (A) = Z[A[Cn ]]: Following Mac Lane [13], dene for i = 1; 2; :::; n the homomorphisms R i ; S i ; P i : Q 0 n (A) ! Q 0 n 1 (A) by R i = Z[R i ]; S i = Z[S i ]; P i = Z[P i ]; COHOMOLOGY OF ALGEBRAIC THEORIES 257 where R i ; S i ; P i : A[Cn ] ! A[Cn 1 ] are homomorphisms dened for e 2 Cn 1 and t 2 A[Cn ] by (R i t)(e) = t(0 i e); (S i t)(e) = t(1 i e); (P i t)(e) = t(0 i e) + t(1 i e): In [13], Mac Lane denes the boundary homomorphism @ : Q 0 n (A) ! Q 0 n 1 (A) by the equality @ = n X i=1 ( 1) i (P i R i S i ): A generator t : Cn ! A of the group Q 0 n (A) is called a slab when t( ) = 0, for n...

Let M be a motive which is defined over a number field and admits an action of a finite dimensional semisimple Q-algebra A. We formulate and study a conjecture for the leading coefficient of the Taylor expansion at 0 of the A-equivariant L-function of M. This conjecture simultaneously generalizes and refines the Tamagawa number conjecture of Bloch, Kato, Fontaine, Perrin-Riou et al. and also the central conjectures of classical Galois module theory as developed by Fröhlich, Chinburg, M. Taylor et al. The precise formulation of our conjecture depends upon the choice of an order A in A for which there exists a ‘projective A-structure ’ on M. The existence of such a structure is guaranteed if A is a maximal order, and also occurs in many natural examples where A is non-maximal. In each such case the conjecture with respect to a non-maximal order refines the conjecture with respect to a maximal order. We develop a theory of determinant functors for all orders in A by making use of the category of virtual objects introduced by Deligne.

Abstract. Hom (G, H) is a polyhedral complex defined for any two undirected graphs G and H. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that Hom (Km, Kn) is homotopy equivalent to a wedge of (n−m)dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph G, and integers m ≥ 2 and k ≥ −1, we have ̟k 1 (Hom (Km, G)) ̸ = 0, then χ(G) ≥ k + m; here Z2-action is induced by the swapping of two vertices in Km, and ̟1 is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of Hom (G, H) induces a homotopy equivalence. It then follows that Hom (F, Kn) is homotopy equivalent to a direct product of (n−2)-dimensional spheres, whileHom (F, Kn) is homotopy equivalent to a wedge of spheres, where F is an arbitrary forest and F is its complement. 1.1. Definition of the main object. 1.

I discuss the axiomatic framework of (tree-level) associative open string field theory in the presence of D-branes by considering the natural extension of the case of a single boundary sector. This leads to a formulation which is intimately connected with the mathematical theory of differential graded categories. I point out that a generic string field theory as formulated within this framework is not closed under formation of D-brane composites and as such does not allow for a unitary description of D-brane dynamics. This implies that the collection of boundary sectors of a generic string field theory with D-branes must be extended by inclusion of all possible D-brane composites. I give a precise formulation of a weak unitarity constraint and show that a minimal extension which is unitary in this sense can always be obtained by promoting the original D-brane category to an enlarged category constructed by using certain generalized complexes of D-branes. I give a detailed construction of this extension and prove its closure under formation of D-brane composites. These results amount to a completely general description of D-brane composite formation within the framework

1.2. The axioms

This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !-categories, the construction of a diagram of simplicial sets over the three-object small category gl ! + is exposed. Some of the properties discovered so far on the corresponding simplicial homology theories are explained, in particular their links with geometric problems coming from concurrency theory in computer science.

2. The special Clifford group 5 3. K-cohomology of split reductive algebraic groups 7

Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of G-valued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category

We give a general method for computing the cyclic cohomology of crossed products by 'etale groupoids, extending the Feigin-Tsygan-Nistor spectral sequences. In particular we extend the computations performed by Brylinski, Burghelea, Connes, Feigin, Karoubi, Nistor and Tsygan for the convolution algebra C 1 c (G) of an 'etale groupoid, removing the Hausdorffness condition and including the computation of hyperbolic components. Examples like group actions on manifolds and foliations are considered. Keywords: cyclic cohomology, groupoids, crossed products, duality, foliations. Contents 1 Introduction 3 2 Homology and Cohomology of Sheaves on ' Etale Groupoids 4 2.1 ' Etale Groupoids : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 \Gamma c in the non-Hausdorff case : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 2.3 Homology and Cohomology of ' Etale Groupoids : : : : : : : : : : : : : : : : : : : : : 8 3 Cyclic Homologies of Sheaves ...