The Stacks project

Comments 1 to 20 out of 8057 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 Matthew left comment #8672 on Section 12.3 in Homological Algebra

@#8671 No, simple misread on my part.


On Matthew left comment #8671 on Section 12.3 in Homological Algebra

In the proof of Lemma 12.3.4: "It follows that is the identity since..."

I think that this should read "It follows that is the identity since..." Otherwise the map in question is not well-defined. The rest of the argument works fine.


On Sveta M left comment #8670 on Lemma 50.24.2 in de Rham Cohomology

Typo: "In Situation 0G8G the psuhforward" should be "... pushforward".


On Sveta M left comment #8669 on Lemma 50.24.2 in de Rham Cohomology

Typo: "In Situation 0G8G the psuhforward" should be "... pushforward".


On Sveta M left comment #8668 on Lemma 50.24.2 in de Rham Cohomology

Typo: "In Situation 0G8G the psuhforward" should be "... pushforward".


On left comment #8667 on Lemma 34.9.2 in Topologies on Schemes

Ah, yes, of course. Silly me! I will add this as an example soon.


On Sa'ar Zehavi left comment #8666 on Section 55.8 in Semistable Reduction

In Lemma 0CD9, it seems that there is a redundant condition that . If is a projective curve, it is proper. In Tag 0A22, a curve is defined to be a variety of dimension 1 relative to , and is therefore, in particular irreducible. An irreducible proper scheme has only trivial sections, hence the condition is redundant. Am I missing anything?


On KrLee left comment #8665 on Section 43.18 in Intersection Theory

A typo: The dimension of should be instead of in lemma 0B0S.


On Owen B left comment #8664 on Section 15.52 in More on Algebra

it might be worth noting that the properties of excellence and quasi-excellence can be checked zariski-locally


On Alexis left comment #8663 on Section 35.34 in Descent

In the definition of the descent data 023V, the same notation is used for the morphism and the morphism of descent data.


On Andrea Panontin left comment #8658 on Lemma 15.11.6 in More on Algebra

In the proof of in "suppose given a factorization with monic" I would add the (implicit) assumption that is the unit ideal. Then it is clear that we have a decomposition of , which should be (the text is missing the quotient by I in the second factor)


On Sergey Guminov left comment #8657 on Section 96.14 in Sheaves on Algebraic Stacks

There are two instances of "wich" instead of "which" in the first two lemmas on this page.


On Andrea Panontin left comment #8656 on Lemma 15.12.1 in More on Algebra

When showing that the colimit is a henselian pair the following "Since " should instead read "Since ".


On nkym left comment #8655 on Lemma 36.22.6 in Derived Categories of Schemes

Right before "the second equality by Lemma ..." in the proof, should be .


On ZL left comment #8654 on Lemma 21.37.2 in Cohomology on Sites

There seems to be typos on the superscript for the -spectral sequence: "" should be "" Similarly the non-zero terms in the -page should be .


On Branislav Sobot left comment #8653 on Section 10.84 in Commutative Algebra

Should it be Q_{\alpha}=Q\cap P_{\alpha} in condition (6)?


On nkym left comment #8652 on Proposition 15.78.3 in More on Algebra

In the explanation of right after introducing the notation, should be .


On Yu left comment #8651 on Definition 8.2.2 in Stacks

Typo: "The subpresheaf Isom(x,y) whose values over V is the set of isomorphisms..." should be "The subpresheaf Isom(x,y) whose value over V is the set of isomorphisms...".


On left comment #8650 on Lemma 5.4.2 in Topology

(Sorry: a finite scheme is not necessarily affine. However, schemes with 1 or 2 points always are.)


On Michael left comment #8649 on Section 3.7 in Set Theory

A minor point, but shouldn't there be a resource for limits and colimits in the bibliography, or an appendix of sorts? It's a bit jarring that the chapter discusses elementary set theory, but assumes colimits are already known.