Timeline for What is the k-linear structure on the derived infinity category of quasi-coherent sheaves?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2023 at 17:02 | vote | accept | Piotr D. | ||
| Oct 19, 2023 at 17:22 | answer | added | Maxime Ramzi | timeline score: 5 | |
| Oct 17, 2023 at 11:03 | comment | added | Piotr D. | Thank you for your comment @MaximeRamzi ! Indeed, details about the first approach would be greatly appreciated :) I thought of using proposition 7.3.2.6 in HA to first lift $f_*$ to a functor between the tensored categories, however I don't see how the prerequisite (2) is satisfied, but maybe I am missing something obvious? I have also wondered if the construction of $\mathrm{QCoh}^{\otimes, L}$ from DAGII can be modified in the symmetric case by replacing $\Delta^{op}$ by $\mathrm{Fin}_*$. I am unsure of this, because then I would not know how to define the cotensoring functor in this case. | |
| Oct 17, 2023 at 10:31 | comment | added | Maxime Ramzi | The first approach you propose for 1 is the natural one, and it is robust enough for the purposes of 2 - in particular, it seems like you answered your own question :D what exactly do you want to know ? Details about these facts ? | |
| Oct 17, 2023 at 8:46 | history | edited | Piotr D. | CC BY-SA 4.0 |
added 1 character in body
|
| S Oct 17, 2023 at 7:59 | review | First questions | |||
| Oct 17, 2023 at 8:54 | |||||
| S Oct 17, 2023 at 7:59 | history | asked | Piotr D. | CC BY-SA 4.0 |