The simplicial extension of any functor from Sets to Sets which commutes with directed colimits respects weak equivalences. In the present paper we construct a framework which allows one to extend this result to a wide class of model categories and functors between such categories.

This paper was written as a part of [8] and is intended primarily to provide the definitions and results concerning motives over simplicial schemes, which are used in the proof of the Bloch-Kato conjecture.

In this paper, we describe the sheaves of 1-homotopy groups of a simply-connected Chevalley group G; these sheaves can be identified with the sheafification of certain unstable Karoubi-Villamayor K-groups.

We show how to make precise the vague idea that for compact metric spaces that are close together for Gromov–Hausdorff distance, suitable vector bundles on one metric space will have counterpart vector bundles on the other. Our approach employs the Lipschitz constants of projection-valued functions that determine vector bundles. We develop some computational techniques, and we illustrate our ideas with simple specific examples involving vector bundles on the circle, the two-torus, the two-sphere, and finite metric spaces. Our topic is motivated by statements concerning “monopole bundles” over matrix algebras in the literature of theoretical high-energy physics.

We describe a homomorphism from the group SUmr (R), generated by Suslin matrices, when r is even, to the special orthogonal group SO2(r+1) (R) by relating the Suslin matrix corresponding to a pair of vectors v, w, with 〈v, w〉 = 1, to the product of two reflections, one w.r.t. the vectors v, w and the other w.r.t. the vectors e1, e1 (of length one). When r is odd we can still associate a product of reflections with an element of SUmr (R), which is well defined up to a unit u, with u2 = 1. This association enables one to study the orbit space of unimodular vectors under the elementary subgroup.

We study the theory of higher Grothendieck-Witt groups, alias algebraic hermitian K-theory, of symmetric bilinear forms in exact categories, and prove additivity, cofinality, dévissage and localization theorems – preparing the ground for the theory of higher Grothendieck-Witt groups of schemes as developed in [Sch08a] and [Sch08b]. No assumption on the characteristic is being made.

This paper is concerned with the theory of cup products in the Hopf cyclic cohomology of algebras and coalgebras. We show that the cyclic cohomology of a coalgebra can be obtained from a construction involving the noncommutative Weil algebra. Then we introduce the notion of higher -twisted traces and use a generalization of the Quillen and Crainic constructions (see [14] and [3]) to define the cup product. We discuss the relation of the cup product above and S-operations on cyclic cohomology. We show that the product we define can be realized as a combination of the composition product in bivariant cyclic cohomology and a map from the cyclic cohomology of coalgebras to bivariant cohomology. In the last section, we briefly discuss the relation of our constructions with that in [9]. More precisely, we propose still another construction of such pairings which can be regarded as an intermediate step between the “Crainic” pairing and that of [9]. We show that it coincides with what in [9] and as far its relation to Crainic's construction is concerned, we reduce the question to a discussuion of a certain map in cohomology (see the question at the end of section 5).

The results of the current paper were announced in [12].

We construct adelic objects for rank two integral structures on arithmetic surfaces and develop measure and integration theory, as well as elements of harmonic analysis. Using the topological Milnor K2-delic and K1×K1-delic objects associated to an arithmetic surface, an adelic zeta integral is defined. Its unramified version is closely related to the square of the zeta function of the surface. For a proper regular model of an elliptic curve over a global field, a two-dimensional version of the theory of Tate and Iwasawa is derived. Using adelic analytic duality and a two-dimensional theta formula, the study of the zeta integral is reduced to the study of a boundary integral term. The work includes first applications to three fundamental properties of the zeta function: its meromorphic continuation and functional equation and a hypothesis on its mean periodicity; the location of its poles and a hypothesis on the permanence of the sign of the fourth logarithmic derivative of a boundary function; and its pole at the central point where the boundary integral explicitly relates the analytic and arithmetic ranks.

We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.

For any regular noetherian scheme X and every k ≥ 1, we define a chain morphism ψk between two chain complexes whose homology with rational coefficients is isomorphic to the algebraic K-groups of X tensored by ℚ. It is shown that the morphisms ψk induce in homology the Adams operations defined by Gillet and Soulé or the ones defined by Grayson.

For a central simple k-algebra A with indk (A) ∈ k×, Suslin defined a cohomological invariant for SK1 (A) [Sus2]. In this text, we generalise his invariant to any central simple k-algebra using a lift from positive characteristic to characteristic 0. To be able to define the invariant, we use Kato's cohomology of logarithmic differentials [Kat1].

We finish the proof of the main structure theorems for a Chevalley group G(Φ, R) of rank ≥ 2 over an arbitrary commutative ring R. Namely, we prove that for any admissible pair (A, B) in the sense of Abe, the corresponding relative elementary group E(Φ,R, A, B) and the full congruence subgroup C(Φ, R, A, B) are normal in G(Φ, R) itself, and not just normalised by the elementary group E(Φ, R) and that [E (Φ, R), C(Φ, R, A, B)] = E, (Φ, R, A, B). For the case Φ = F4 these results are new. The proof is new also for other cases, since we explicitly define C (Φ, R, A, B) by congruences in the adjoint representation of G (Φ, R) and give several equivalent characterisations of that group and use these characterisations in our proof.