Timeline for Is there a general projection formula for morphisms of ringed topoi?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 15, 2016 at 20:18 | comment | added | Kestutis Cesnavicius | Here is a reference that perhaps addresses the question: stacks.math.columbia.edu/tag/0944 | |
| Sep 11, 2011 at 16:25 | history | edited | shenghao | CC BY-SA 3.0 |
changed title
|
| Apr 1, 2010 at 6:09 | history | edited | Anton Geraschenko | CC BY-SA 2.5 |
fixed some tex
|
| Apr 1, 2010 at 4:43 | answer | added | Emerton | timeline score: 6 | |
| Mar 31, 2010 at 21:56 | history | edited | shenghao | CC BY-SA 2.5 |
Add two examples; changed tags and title
|
| Mar 31, 2010 at 4:58 | comment | added | shenghao | Thanks for the advice, Anton. I will edit it a bit later. | |
| Mar 31, 2010 at 2:43 | comment | added | Anton Geraschenko | You may also want to change your title to something more descriptive, like "Does the projection formula hold for derived categories of ringed topoi?" and add the tags [derived-category] and [reference-request]. See also mathoverflow.net/howtoask | |
| Mar 31, 2010 at 2:43 | comment | added | Anton Geraschenko |
Perhaps you could clarify your question a bit. Explain what you already know and what you'd like to know. For example, you might rewrite your question as, "For an arbitrary morphism $f$ of ringed topoi, is it true that the natural map $Rf_*(F)\otimes^L E\to Rf_*(F\otimes^L Lf^*(E))$ is an isomorphism, where $F$ and $E$ are in the derived categories of coherent sheaves? I know this is true when $f$ is a morphism of schemes(?)."
|
|
| Mar 30, 2010 at 23:27 | history | asked | shenghao | CC BY-SA 2.5 |