Timeline for Relative homology in Fargues-Scholze paper
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 4, 2021 at 16:00 | comment | added | Peter Scholze | Even in the pro-etale site, slices make sense only for pro-etale morphisms. You are right that one needs to solidify in order for homology to be related to cohomology in this generality (i.e. to get the right relation with pushforward in the proper smooth case). Solidification has the curious effect that after the fact, the pro-etale site is enough as all solid v-sheaves come from the pro-etale site. For schemes, one can hope for analogues of these things, but everything will be a little different... I think the best theory arises when one also employs the v-topology for schemes. | |
| Nov 4, 2021 at 11:43 | comment | added | ali | I think you at least need to version of solidification because the construction does not perserve contructible sheaves, but I like to know if you can define a concept of solid sheaf over a scheme that make everything works | |
| Nov 4, 2021 at 11:33 | comment | added | ali | @PeterScholze okay thanks, I wrongly though this give a right adjoint. just one question,it seems the right thing would be working on big (pro-)etale site of $X$. does it give an intersting functor in that case? for example is it has the right relation with pushforward in proper smooth case? | |
| Nov 4, 2021 at 8:08 | comment | added | Peter Scholze | A slice in a site $\mathcal C$ is just the overcategory $\mathcal C_{/X}$ for some $X\in \mathcal C$. In that case, the left adjoint to pullback is given by the obvious functor $\mathcal C_{/X}\to \mathcal C$. For the small etale site, only etale schemes over the base define slices, in which case the left adjoint is just the usual $j_!$-functor. | |
| Nov 3, 2021 at 16:01 | history | edited | ali | CC BY-SA 4.0 |
added 2 characters in body
|
| Nov 3, 2021 at 14:11 | history | edited | Matthieu Romagny | CC BY-SA 4.0 |
edited title
|
| Nov 3, 2021 at 14:05 | history | asked | ali | CC BY-SA 4.0 |