The Stacks project

Comments 1381 to 1400 out of 9050 in reverse chronological order.

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

On s.goto left comment #8254 on Section 91.2 in Deformation Theory

I think there is a typo in the formula displayed in lemma 0GPX: \Ext_A^1(NL_{A'/A},N) should be \Ext_A^1(NL_{A/A'},N). And also, "A'_1[B_1]" in the sentence "Observe that B'1 is the pushout of J' \to in the proof of lemma 08S5 seems to be a typo, it should be "A'_1[E]".


On DatPham left comment #8253 on Lemma 10.168.4 in Commutative Algebra

I think we need to enlarge once more to ensure that maps into in .


On DatPham left comment #8251 on Lemma 29.36.18 in Morphisms of Schemes

I think it may be helpful to mention also a proof using the usual graph argument (which works because we have seen that (a) the diagonal of an unramified map is an open immersion, (b) an open immersion is étale, (c) being étale is preserved under composition and base change).


On left comment #8250 on Lemma 10.63.16 in Commutative Algebra

Hint: intersection means inverse image by the ring map .


On Et left comment #8249 on Lemma 10.63.16 in Commutative Algebra

I don't think the first statement of the proof about the annhilator of m is true. It does hold however if the annhilator is a prime ideal which doesn't intersect S, which is what you need anyway.


On Et left comment #8248 on Lemma 10.53.4 in Commutative Algebra

How is nakayama's lemma applied here? It's not clear to me


On Elías Guisado left comment #8247 on Lemma 5.8.16 in Topology

For another reference, everything except the last part is also proven in EGA, 1971 ed., (2.9.2).


On left comment #8246 on Section 37.53 in More on Morphisms

OK, I will do so later (follows from flat base change Lemma 30.5.2).


On Laurent Moret-Bailly left comment #8245 on Example 15.8.5 in More on Algebra

Other interesting examples: if are ideals, then , , . The first could also be in 15.8.4.


On Sasha left comment #8244 on Section 37.53 in More on Morphisms

Maybe it is worth adding a couple of words justifying the base change property in the proof of Lemma https://stacks.math.columbia.edu/tag/03GY.


On Fan left comment #8242 on Lemma 18.32.2 in Modules on Sites

typo in (b), there exists a covering of


On Ryo Suzuki left comment #8241 on Lemma 20.6.1 in Cohomology of Sheaves

It seems that locally ringed space is not yet defined. It is defined in Definition 01HB. It might be better to say something like "a ringed space that all of its stalks are local rings".


On DatPham left comment #8240 on Section 97.15 in Criteria for Representability

In the fifth sentence ("Consider an object..."), should be , and similarly for the sentence "We remark that if ...".


On left comment #8239 on Lemma 10.135.2 in Commutative Algebra

OK, I removed the equidimensional statement as it was confusing. Thanks! See this commit.


On left comment #8238 on Proposition 35.5.2 in Descent

Thanks and fixed here.


On left comment #8237 on Section 19.2 in Injectives

Thanks and fixed here.


On left comment #8236 on Theorem 101.21.6 in Morphisms of Algebraic Stacks

Thanks very much! Fixed here.


On left comment #8235 on Lemma 15.11.2 in More on Algebra

Thanks and fixed here.


On left comment #8234 on Lemma 30.19.2 in Cohomology of Schemes

Thanks and fixed here.


On left comment #8233 on Lemma 76.31.2 in More on Morphisms of Spaces

Thanks and fixed here.