A projection formula for \(\log\) smooth varieties in \(\log\) étale cohomology (Q2475971): Difference between revisions
From MaRDI portal
Latest revision as of 19:04, 27 June 2024
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
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