A projection formula for \(\log\) smooth varieties in \(\log\) étale cohomology (Q2475971)

From MaRDI portal
Revision as of 07:16, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
A projection formula for \(\log\) smooth varieties in \(\log\) étale cohomology
scientific article

    Statements

    A projection formula for \(\log\) smooth varieties in \(\log\) étale cohomology (English)
    0 references
    0 references
    11 March 2008
    0 references
    This article is devoted to the proof of a projection formula for the log étale cohomology of a generically finite morphism of log smooth varieties, similar to the one in classical étale cohomology. Let \(f:X\to Y\) be a proper morphism of connected vertical log smooth varieties of dimension \(d\) over a field \(k\), and \(\Lambda={\mathbb Z}/n{\mathbb Z}\) with \(n\) invertible in \(k\). The main theorem states that there is a natural ``trace'' map \(Rf_\star\Lambda=Rf_!\Lambda\to\Lambda\) (induced by adjunction and Poincaré duality) such that the composition \(\Lambda\to Rf_\star\Lambda\to\Lambda\) is multiplication by \(\deg(f)\). As a corollary, it is proven that for a prime \(\ell\) invertible in \(k\) the Galois representation \(H^i(Y_{\bar s(\log)},{\mathbb Q}_\ell)\) is a direct summand of \(H^i(X_{\bar s(\log)},{\mathbb Q}_\ell)\) for all \(i\).
    0 references
    log-étale cohomology
    0 references
    log geometry
    0 references
    projection formula
    0 references

    Identifiers