Timeline for Is there a projection formula for motivic étale cohomology?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 23, 2010 at 20:59 | comment | added | Torsten Ekedahl | @norondion: I have added elaboration in answer. | |
| Apr 23, 2010 at 20:59 | history | edited | Torsten Ekedahl | CC BY-SA 2.5 |
Added elbaoration on direct image of a finite map.
|
| Apr 23, 2010 at 15:30 | comment | added | user19475 | "We have that $H^i{et}(X,\mathbf{G}_m) = H^i{et}(Y,f_*\mathbf{G}_m)$ as $f$ is finite": I don't understand this. Why do the higher direct images vanish? I only know this for $f$ affine and the sheaf quasi-coherent. Doesn't $Y = \mathrm{Spec}\mathbf{Z}_p$, $X =$ non-normal finite extension of $Y$ give a counterexample for $R^1\f_*\mathbf{G}_m$? | |
| Apr 23, 2010 at 10:24 | history | answered | Torsten Ekedahl | CC BY-SA 2.5 |