1,461 reputation
11426
bio website preschema.com
location Essen, Germany
age 23
visits member for 5 years, 1 month
seen 58 mins ago

Aug
5
comment Reconstructing a morphism of exact triangles in the homotopy cat. of a dg-cat. using a “functorial cone map”
Sorry, I was being silly. I think tetrapharmakon is right actually, the space of maps $w$ as above should be contractible.
Aug
5
comment Reconstructing a morphism of exact triangles in the homotopy cat. of a dg-cat. using a “functorial cone map”
@tetrapharmakon, the problem is the other direction: given a map $w : C(f) \to C(f')$ as above, it is not necessarily induced by some $u$ and $v$.
Aug
3
awarded  Organizer
Aug
3
revised A model structure on marked simplicial sets
add tag higher-category-theory
Aug
3
suggested approved edit on A model structure on marked simplicial sets
Jul
26
comment Is Independent University of Moscow recognized?
It is not advisable (or probably even possible) to do your bachelor's studies in only IUM. Attending courses there is likely to increase your chances of being accepted in a North American or European graduate school (just speaking from personal experience), but you should do your degree somewhere else. If you want to do it in Russia (and speak Russian), HSE is a good option: math.hse.ru/en They have close ties to IUM and offer a well-respected bachelor's degree (with many students attending "special topics" courses in IUM as supplements).
Jul
24
comment When does prolongation preserve sheaves?
@user52824, I see the confusion: note that I am talking about presheaves on the site of all S-schemes. (Probably we should stop hijacking David's question now.)
Jul
24
comment When does prolongation preserve sheaves?
@user52824, $f^*$ preserves sheaves iff $f$ preserves covering families. When $f$ is the base change functor induced by a morphism of schemes, this is obviously true by the stability under base change of covering families.
Jul
24
comment When does prolongation preserve sheaves?
@DavidCarchedi, yes, I meant continuous in the sense of SGA 4.
Jul
24
comment When does prolongation preserve sheaves?
Just an obvious remark: in case $f : C \to D$ admits a right adjoint $g$, then $f_!$ preserves sheaves iff $g$ is continuous.
Jul
24
comment When does prolongation preserve sheaves?
@user52824, actually the base change functor $f : \mathrm{Sch}(T) \to \mathrm{Sch}(S)$ induced by a morphism of schemes $S \to T$ preserves covering families for any topology, and so $f^*$ always preserves sheaves. So this is really a reasonable condition (though at the same time I doubt it has anything to do with $f_!$ preserving sheaves).
Jul
19
revised Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)
added 68 characters in body
Jul
19
answered Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)
Jul
3
awarded  Informed
Jun
25
comment Is there a left-adjoint to the restriction of comodules?
I believe the answer is no. The corestriction of scalars functor $f_* : \mathrm{Comod}(C) \to \mathrm{Comod}(D)$ does preserve finite limits (they are just limits of the underlying vector spaces). However, infinite products of comodules are not just products of the underlying vector spaces so there is no reason for $f^*$ to preserve them.
Jun
22
comment Verdier localization for stable $\infty$-categories
Right. However I do not how to prove that $\mathrm{ho}(\mathcal{T}/\mathcal{C}) = \mathrm{ho}(\mathcal{T})/\mathrm{ho}(\mathcal{C})$, i.e. the homotopy category of the $\infty$-Verdier localization is the Verdier localization of the homotopy categories.
Jun
22
awarded  Nice Question
Jun
22
comment Verdier localization for stable $\infty$-categories
In the DG setting, the DG quotient constructions of Keller and Drinfel'd are models for the homotopy cofibre (in the Morita model structure on the category of small DG categories). This suggests defining the Verdier localization of a stable $\infty$-category by a stable sub-$\infty$-category as the cofibre of the inclusion. By (Higher algebra, Proposition 1.1.4.6) this is again a stable $\infty$-category.
Jun
12
comment Equivariant motivic sheaves
@EldenElmanto, that is a good review, but it does not discuss SH over diagrams of schemes.
Jun
10
comment Equivariant motivic sheaves
@ReladenineVakalwe, I should also have mentioned section 2.4.4, particularly the subsection titled "Les quatre operations pour les S-morphismes", where he shows that the results of chapter 1, about cross functors, extend to diagrams of schemes. I think the idea is that, given what he calls a stable algebraic homotopic derivator, one gets an induced "cross functor", which is basically the yoga you want (see section 1.4.1).