Une remarque sur la cohomologie du faisceau de Zariski de la \(K\)- théorie de Milnor sur une variété lisse complexe. (A remark on the cohomology of the Zariski bundle of the Milnor \(K\)-theory on a complex smooth variety.) (Q1813564)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Une remarque sur la cohomologie du faisceau de Zariski de la \(K\)- théorie de Milnor sur une variété lisse complexe. (A remark on the cohomology of the Zariski bundle of the Milnor \(K\)-theory on a complex smooth variety.)
scientific article

    Statements

    Une remarque sur la cohomologie du faisceau de Zariski de la \(K\)- théorie de Milnor sur une variété lisse complexe. (A remark on the cohomology of the Zariski bundle of the Milnor \(K\)-theory on a complex smooth variety.) (English)
    0 references
    0 references
    25 June 1992
    0 references
    Soit \(X\) une variété projective et lisse sur un corps algébriquement clos \(k\). \textit{J.-L. Colliot-Thélène} et \textit{W. Raskind} [Math. Ann. 270, 165-199 (1985; Zbl 0536.14004)] ont montré que pour tout entier \(n>0\), l'application naturelle \(H^ 0(X,{\mathcal K}_ 2)\to H^ 0(X,{\mathcal K}_ 2/n)\) est nulle \(({\mathcal K}_ 2\) est le faisceau pour la topologie de Zariski sur \(X\) défini par le foncteur \(K_ 2\) de Quillen). La démonstration utilise le théorème de Merkur'ev et Suslin pour traduire le résultat en termes de cohomologie étale, puis un argument de poids reposant sur les conjecture de Weil (réduction au cas des corps finis) donne le résultat. Dans cette note, lorsque \(k\) est le corps \(\mathbb{C}\) des complexes, l'auteur donne une démonstration de résultats plus fins, via des arguments de poids en théorie de Hodge, suivant Deligne. L'application naturelle évoquée ci-dessus, sur \(\mathbb{C}\), est obtenue par composition de flèches \[ {\mathcal K}_ 2\to{\mathcal H}^ 2_{\mathcal D}(2)\to{\mathcal H}^ 2(2)\to{\mathcal H}^ 2(\mathbb{Z}/n(2)), \] \(({\mathcal H_ D}\) désigne la cohomologie de Deligne-Beilinson) et l'auteur montre que l'application \[ H^ 0({\mathcal H_ D}^ 2(2))\to H^ 0({\mathcal H}^ 2(2)) \] est nulle. Elle indique aussi de possibles généralisations de ce résultat au cas d'un ouvert de \(X\) dont le complémentaire est suffisamment lisse, ainsi qu' à la cohomologie du faisceau de Milnor \(K^ M_ p\), pour \(p>2\).
    0 references
    Hodge theory
    0 references
    Deligne-Bejlinson cohomology
    0 references
    Weil conjectures
    0 references
    \(K\)-theory
    0 references
    vanishing theorem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references