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

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