Timeline for Removing quasi-projective assumption in the formalism of four operations
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2023 at 7:46 | comment | added | Alexey Do | @Cisinski, dear, may I ask why you and Frédéric still consider quasi-projective schemes (over some base scheme) at the beginning of section 2, chapter I? | |
| Jul 4, 2023 at 5:28 | comment | added | D.-C. Cisinski | Frédéric Déglise and I did avoid the use of Scholie 1.4.2. exactly as Mikhail Bondarko wrote above. All projectiveness assumptions can be replaced with properness for base change formulas, including in algebraic derivators versions (also, there are absolutely no constraints on the maps along which we pullback). crystalline's answer bellow is perfectly accurate. | |
| Jun 3, 2023 at 1:17 | answer | added | crystalline | timeline score: 2 | |
| May 27, 2023 at 11:26 | comment | added | Mikhail Bondarko | I do not think that they claim 100% originality.:) Yet they possibly had to avoid using Scholie 1.4.2 to increase generality. | |
| May 27, 2023 at 7:24 | comment | added | Alexey Do | Yes but I do not think their work can be completely indepedent of Ayoub's work. Hope that Cisinski will stumble into this post. | |
| May 27, 2023 at 5:45 | comment | added | Mikhail Bondarko | Frederic Deglise told me that (along with Denis-Charles Cisinski who can be met here:)) they removed this assumption somehow. They used some alternative method. | |
| May 25, 2023 at 16:06 | history | edited | Alexey Do | CC BY-SA 4.0 |
added 14 characters in body
|
| May 25, 2023 at 15:56 | history | asked | Alexey Do | CC BY-SA 4.0 |