A projection formula for smooth varieties in étale cohomology
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\).
- Logarithmic étale cohomology
- scientific article; zbMATH DE number 1765818
- A comparison of logarithmic overconvergent de Rham-Witt and log-crystalline cohomology for projective smooth varieties with normal crossing divisor
- Logarithmic étale cohomology. II.
- scientific article; zbMATH DE number 1160672
- A generalization of the imbedding problem of an abstract variety in a complete variety
- scientific article; zbMATH DE number 3131597 (Why is no real title available?)
- scientific article; zbMATH DE number 1160672 (Why is no real title available?)
- Log étale morphisms and descent by universal homeomorphisms
- Logarithmic embeddings of varieties with normal crossings and mixed Hodge structures
- Logarithmic structures of Fontaine-Illusie. II
- Logarithmic étale cohomology
This page was built for publication: A projection formula for \(\log\) smooth varieties in \(\log\) étale cohomology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2475971)
