Arithmetical Lefschetz and Hodge theorems for varieties with cellular decomposition (Q4819932)

\textit{H. Gillet} and \textit{C. Soulé} [Motives. Proc. res. conf. motives, Proc. Symp. Pure Math. 55, Pt. 1, 129--140 (1994; Zbl 0820.14007)], formulated analogues of Grothendieck's ``standard conjectures'' for projective arithmetic varieties. Let \(X\) be a projective arithmetic variety of relative dimension \(n\) over \(\text{Spec}\mathbb Z\), and let \(\mathcal L\) be an ample line sheaf on \(X\). Their conjecture asserts that there exists a positive hermitian metric \(\| \cdot\| \) on \(\mathcal L\) such that for all integers \(p\) with \(0\leq 2p\leq n+1\): (i) the map \(\alpha\mapsto\alpha\cdot\widehat c_1(\mathcal L,\| \cdot\| )^{n+1-2p}\) induces an isomorphism \(\widehat{\text{CH}}^p(X)_{\mathbb R}\overset\sim{} \widehat{\text{CH}}^{n+1-p}(X)_{\mathbb R}\), and (ii) if \(x\in\widehat{\text{CH}}^p(X)_{\mathbb R}\setminus\{0\}\) and \(x\cdot\widehat c_1(\mathcal L,\| \cdot\| )^{n+2-2p}=0\), then \((-1)^p\widehat{\deg}(x^2\cdot\widehat c_1(\mathcal L,\| \cdot\| )^{n+1-2p})>0\). One can also make an ``effective'' version of this conjecture in which conditions (i) and (ii) are expected to hold for all metrics such that \((\mathcal L,\| \cdot\| )\) is arithmetically ample. This paper proves the conjecture in an ``almost effective'' form when \(X\) is an arithmetic variety admitting a cellular decomposition (e.g., \(X\) is a smooth projective toric variety or a flag variety). Let \(X\) be such a variety, let \(\| \cdot\| \) be a positive hermitian metric on \(\mathcal L\), and let \(p\) be an integer as above. Then it is shown that (i) holds for the metric \(e^{-\epsilon/2}\| \cdot\| \) on \(\mathcal L\) for all but finitely many \(\epsilon\in\mathbb R\), and (ii) holds for \(e^{-\epsilon/2}\| \cdot\| \) for all sufficiently large \(\epsilon\in\mathbb R\). The authors note that special cases of these conjectures have been proved by \textit{H. Gillet} and \textit{C. Soulé} [loc. cit.], \textit{A. Moriwaki} [Math. Res. Lett. 3, 173--183 (1996; Zbl 0873.14005)]; and \textit{K. Künnemann} [Compos. Math. 99, 109--128 (1995; Zbl 0845.14006)]. In addition, they also note that this result has also been obtained by \textit{Y. Takeda} [Kodai Math. J. 21, 249--258 (1998; Zbl 0932.14014)]. For the entire collection see [Zbl 1038.11002].