Skip to main content
Stabilo's user avatar
Stabilo's user avatar
Stabilo's user avatar
Stabilo
  • Member for 9 years, 10 months
  • Last seen more than a month ago
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$?
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
Loading…
revised
Loading…
revised
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?
Loading…
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
Loading…
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
asked
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?
Loading…
1
4 5
6
7 8
11