revised
What are the consequences of the finite generation of $\operatorname{Ext}^1_{\mathcal{O}_F}(\mathbb{1},M)$?
added 45 characters in body
Loading…
Loading…
comment
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
Many thanks ! (the terminology I was looking for is the Strong Approximation Theorem)
comment
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
@reuns Thank you for your comment. Is there a result that guarentee me the existence of $f$? For instance, when $S$ is $C\setminus \{Q\}$ for a closed point $Q$?
revised
Loading…
Loading…
comment
Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?
@PhilTosteson Thank you very much. I agree with your comment. However, the question is rather then: how does one show that $f_X$ indeed comes from the functorial cone construction? (maybe I am missing something...)
revised
Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?
added 458 characters in body
Loading…
revised
Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?
added 117 characters in body
Loading…
revised
Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?
added 69 characters in body
Loading…
comment
Cone of a morphism of complexes that are concentrated in degree $0$ and $1$
After a small computation, it seems that $\operatorname{cone} h$ do depend on the differential of $C_{\bullet}$ and $C_{\bullet}'$ while $[\operatorname{coker}f\to \operatorname{coker} g]$ do not. Maybe this explains why $h$ cannot be arbitrary?
comment
Cone of a morphism of complexes that are concentrated in degree $0$ and $1$
A priori $h$ is arbitrary here (but still such that it forms a morphism of distinguished triangles). Is this an issue regarding the truth of the statement?
revised
Cone of a morphism of complexes that are concentrated in degree $0$ and $1$
deleted 5 characters in body
Loading…
comment
Compute Cech cohomology with two open sets
Many thanks @LeoAlonso, it indeed seems to be the following lemma stacks.math.columbia.edu/tag/0CRS
Loading…
comment
Morphism of distinguished triangles where one of the arrows is a quasi-isomorphism
Thank you @FernandoMuro for your reference. So what I actually understand from there is the following: if $f$ and $g$ are given, from the octahedral axiom there exists $h:C\to C'$ such that $(f,g,h)$ is a morphism of (distinguished) triangle. For this $h$, we further have that a distinguished triangle $C(f)\to C(g)\to C(h)\to [1]$ (and hence, if $f$ is a quasi-isomorphism, then $C(f)$ is acyclic and $C(g)\to C(h)$ is a quasi-isomorphism). But this is not true for all $h$. Is that right?