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): Difference between revisions

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\).