On \(K_ 4^{(3)}\) of curves over number fields (Q1923253)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On \(K_ 4^{(3)}\) of curves over number fields
scientific article

    Statements

    On \(K_ 4^{(3)}\) of curves over number fields (English)
    0 references
    0 references
    24 November 1996
    0 references
    Let \(F\) be the function field of a smooth geometrically irreducible curve \(C\) over a number field \(k\). The main object of interest in this paper is the group \(K_4^{(3)} (F)\) -- where the superscript denotes an eigenspace for Adams operations --, which contains \(K_4^{(3)} (C)\) and goes to \(\coprod_{x\in C^1} K_3^{(2)} (k(x))\) by a boundary map. The author introduces a complex \(\widetilde {\mathcal M}^\bullet_{(3)}(F)\) previously constructed by him in his study of the Zagier conjecture [Compos. Math. 96, 197-247 (1995)], and he computes the boundary map on the image of \(H^2 (\widetilde {\mathcal M}^\bullet_{(3)} (F))\) in \(K_4^{(3)} (F)\), as well as the Beilinson regulator on the intersection of \(K_4^{(3)} (C)\) and this image. He also introduces an auxiliary complex \({\mathcal C}^\bullet\), originally due to Bloch, which makes calculations easier to handle (for example, both \(H^2 (\widetilde {\mathcal M}^\bullet_{(3)})\) and \(K_4^{(3)} (F)\) go to \(H^1({\mathcal C}^\bullet))\). Finally, he gives methods for constructing explicit examples in \(H^1({\mathcal C}^\bullet)\) when the curves \(C\) are certain elliptic curves; in certain cases, computer calculations can be used to check numerically the relation between regulators and \(L\)-functions conjectured by Beilinson.
    0 references
    curves over number fields
    0 references
    Beilinson conjecture
    0 references
    \(K\)-theory
    0 references
    function field
    0 references
    Adams operations
    0 references
    boundary map
    0 references
    Beilinson regulator
    0 references

    Identifiers