Several authors have studied homomorphisms from first homology groups of modular curves to $K_2(X)$, with $X$ either a cyclotomic ring or a modular curve. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a $1$-cocycle from $\mathrm {GL}_2(\mathbb {Z})$ to the second $K$-group of the function field of a suitable group scheme over $X$, from which the maps of interest arise by specialization.

The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth projective variety: one is via the $K$-theory of a regular integral model, the other is through its $\ell$-adic realization. Both approaches are conjectured to coincide. This paper initiates the study of motivic cohomology for global fields of positive characteristic, hereafter named $A$-motivic cohomology, where classical mixed motives are replaced by mixed Anderson $A$-motives. Our main objective is to set the definitions of the integral part and the good $\ell$-adic part of the $A$-motivic cohomology using Gardeyn's notion of maximal models as the analogue of regular integral models of varieties. Our main result states that the integral part is contained in the good $\ell$-adic part. As opposed to what is expected in the number field setting, we show that the two approaches do not match in general. We conclude this work by introducing the submodule of regulated extensions of mixed Anderson $A$-motives, for which we expect the two approaches to match, and solve some particular cases of this expectation.

We define cohomological complexes of locally compact abelian groups associated with varieties over p-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups.

We prove the analog of the Morel–Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic cohomology of arbitrary schemes.

In this article we introduce the local versions of the Voevodsky category of motives with $\mathbb{F} _p$ -coefficients over a field k, parametrized by finitely generated extensions of k. We introduce the so-called flexible fields, passage to which is conservative on motives. We demonstrate that, over flexible fields, the constructed local motivic categories are much simpler than the global one and more reminiscent of a topological counterpart. This provides handy ‘local’ invariants from which one can read motivic information. We compute the local motivic cohomology of a point for $p=2$ and study the local Chow motivic category. We introduce local Chow groups and conjecture that over flexible fields these should coincide with Chow groups modulo numerical equivalence with $\mathbb{F} _p$ -coefficients, which implies that local Chow motives coincide with numerical Chow motives. We prove this conjecture in various cases.

We show that the subcategory of mixed Tate motives in Voevodsky’s derived category of motives is not closed under infinite products. In fact, the infinite product $\prod _{n=1}^{\infty }\mathbf{Q}(0)$ is not mixed Tate. More generally, the inclusions of several subcategories of motives do not have left or right adjoints. The proofs use the failure of finite generation for Chow groups in various contexts. In the positive direction, we show that for any scheme of finite type over a field whose motive is mixed Tate, the Chow groups are finitely generated.

We show that the torsion in the group of indecomposable $(2,1)$-cycles on a smooth projective variety over an algebraically closed field is isomorphic to a twist of its Brauer group, away from the characteristic. In particular, this group is infinite as soon as $b_{2}-{\it\rho}>0$. We derive a new insight into Roǐtman’s theorem on torsion $0$-cycles over a surface.

It is shown that the Grayson tower for $K$-theory of smooth algebraic varieties is isomorphic to the slice tower of $S^{1}$-spectra. We also extend the Grayson tower to bispectra, and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$-theory spectrum $\mathit{KGL}$. This solves Suslin’s problem about these two spectral sequences in the affirmative.

Let $n$ be a positive even integer, and let $F$ be a totally real number field and $L$ be an abelian Galois extension which is totally real or $\text{CM}$ . Fix a finite set $S$ of primes of $F$ containing the infinite primes and all those which ramify in $L$ , and let ${{S}_{L}}$ denote the primes of $L$ lying above those in $S$ . Then $\mathcal{O}_{L}^{S}$ denotes the ring of ${{S}_{L}}$ -integers of $L$ . Suppose that $\psi$ is a quadratic character of the Galois group of $L$ over $F$ . Under the assumption of the motivic Lichtenbaum conjecture, we obtain a non-trivial annihilator of the motivic cohomology group $H_{\mathcal{M}}^{2}\left( \mathcal{O}_{L}^{S},\mathbb{Z}\left( n \right) \right)$ from the lead term of the Taylor series for the S-modified Artin $L$ -function $L_{L/F}^{S}\left( s,\psi\right)$ at $s=1-n$ .

We consider étale motivic or Lichtenbaum cohomology and its relation to algebraic cycles. We give an geometric interpretation of Lichtenbaum cohomology and use it to show that the usual integral cycle maps extend to maps on integral Lichtenbaum cohomology. We also show that Lichtenbaum cohomology, in contrast to the usual motivic cohomology, compares well with integral cohomology theories. For example, we formulate integral étale versions of the Hodge and the Tate conjecture, and show that these are equivalent to the usual rational conjectures.

We consider the algebraic group GL1 (A), where A is a division algebra of prime degree over a field F, and the associated motive in the Voevodsky category of motivic complexes (F). We relate the motive of GL1 (A) to the motive of the Čech simplicial scheme χ, associated to the Severi-Brauer variety of A, and compute the second differential in the resulting spectral sequence for motivic cohomology.

The main result of this paper is a computation of the motivic cohomology of varieties of n × m-matrices of of rank m, including both the ring structure and the action of the reduced power operations. The argument proceeds by a comparison of the general linear group-scheme with a Tate suspension of a space which is -equivalent to projective n — 1-space with a disjoint basepoint.

We prove a formula for the cup product on the ℓ-adic cohomology of the complement of a linear subspace arrangement.

We study the coniveau spectral sequence for quadrics defined by Pfister forms. In particular, we explicitly compute the motivic cohomology of anisotropic quadrics over ℝ, by showing that their coniveau spectral sequences collapse from the -term

Beilinson [Higher regulators and values of L-functions, Itogi Nauki i Tekhniki Seriya Sovremennye Problemy Matematiki Noveishie Dostizheniya (Current problems in mathematics), vol. 24 (Vserossiisky Institut Nauchnoi i Tekhnicheskoi Informatsii, Moscow, 1984), 181–238] obtained a formula relating the special value of the L-function of H2 of a product of modular curves to the regulator of an element of a motivic cohomology group, thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves, providing evidence for an analogous conjecture in the case of function fields.

We use the cylindrical homomorphism and a geometric construction introduced by J. Lewis to study the Lawson homology groups of certain hypersurfaces X ⊂ ℙn + 1 of degree d ℙ n + 1. As an application, we compute the rational semi-topological K-theory of generic cubics of dimensions 5, 6 and 8 and, using the Bloch-Kato conjecture, we prove Suslin's conjecture for these varieties. Using generic cubic sevenfolds, we show that there are smooth projective varieties such that the lowest nontrivial step in their s-filtration is infinitely generated and undetected by the Abel-Jacobi map.

We show that the limit of a one-parameter admissible normal function with no singularities lies in a non-classical sub-object of the limiting intermediate Jacobian. Using this, we construct a Hausdorff slit analytic space, with complex Lie group fibres, which ‘graphs’ such normal functions. For singular normal functions, an extension of the sub-object by a finite group leads to the Néron models. When the normal function comes from geometry, that is, a family of algebraic cycles on a semistably degenerating family of varieties, its limit may be interpreted via the Abel–Jacobi map on motivic cohomology of the singular fibre, hence via regulators on K-groups of its substrata. Two examples are worked out in detail, for families of 1-cycles on CY and abelian 3-folds, where this produces interesting arithmetic constraints on such limits. We also show how to compute the finite ‘singularity group’ in the geometric setting.

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.

We construct an example of a torus T over a field K for which the Galois symbol K(K;T,T)/nK(K;T,T) → H2(K,T[n] ⊗ T[n]) is not injective for some n. Here K(K;T,T) is the Milnor K-group attached to T introduced by Somekawa. We show also that the motive M(T × T) gives a counterexample to another generalization of the Milnor-Bloch-Kato conjecture (proposed by Beilinson).

We construct certain elements in the motivic cohomology group $H^3_{\mathcal{M}}(E\times E',\mathbb{Q}(2))$, where $E$ and $E'$ are elliptic curves over $\mathbb{Q}$. When $E$ is not isogenous to $E'$ these elements are analogous to circular units in real quadratic fields, as they come from modular parametrizations of the elliptic curves. We then find an analogue of the class-number formula for real quadratic fields, which specializes to the usual quadratic class-number formula when $E$ and $E'$ are quadratic twists.

AMS 2000 Mathematics subject classification: Primary 11F67; 14G35. Secondary 11F11; 11E45; 14G10