The Stacks project

Comments 1 to 20 out of 8130 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 Anonymous left comment #8745 on Lemma 12.5.10 in Homological Algebra

If " is left inverse to " means that is the identity (where means "apply first"), then I think "left" and "right" should be switched in this lemma.


On Matt Broe left comment #8744 on Section 10.126 in Commutative Algebra

Someone pointed out to me that this claim holds in more generality: finitely generated projective modules are dualizable objects in RMod, and tensoring with dualizable objects commutes with limits.


On Zhenhua Wu left comment #8743 on Lemma 30.8.1 in Cohomology of Schemes

I believe the lemma is wrong in the case . Unwrapping the definition we should have , which is compatitable with but not compatitable with when .


On Matt Broe left comment #8742 on Section 10.126 in Commutative Algebra

I have found the criterion given in claim 1 of the following link for commuting tensor with an inverse limit of modules useful, but have not seen it in any reference: https://math.stackexchange.com/a/4577954/304290 Perhaps it would be worth mentioning here, either on this tag or wherever else it would fit.


On Zongzhu Lin left comment #8741 on Section 23.12 in Divided Power Algebra

In the definition of Koszul complex , should the differential be defined by ?


On pkas left comment #8740 on Section 10.160 in Commutative Algebra

In the second part of the proof for 10.160.8 (the case of positive characteristic), the terminology is slightly confusing. I suggest rewording the condition required of to the commutative square , where are the projections and , and is a chosen isomorphism. Moreover, the map to lift using formal smoothness is the composition .

It could also be helpful for readers to mention that this proof shows that the map from Cohen rings (up to isomorphism) to fields (up to isomorphism) is injective.


On Paolo Lammens left comment #8739 on Section 110.9 in Examples

Here what is the ideal that defines the -adic topology/completion?


On Yicheng Zhou left comment #8738 on Lemma 37.46.3 in More on Morphisms

I guess that in the first sentence of the last paragraph should be only "geometrically connected"?


On left comment #8737 on Lemma 67.41.2 in Morphisms of Algebraic Spaces

Thanks for sharing this useful information.


On Alexis left comment #8736 on Section 10.39 in Commutative Algebra

For lemma 0BBY, you might also want that .


On Hayama Kazuma left comment #8735 on Lemma 33.37.6 in Varieties

In the proof, "Observe that ", here should be ?


On Eiki left comment #8734 on Section 60.13 in Crystalline Cohomology

Some possibly pedantic comments; "two ring maps " aren't they technically maps of sheaves where on the level of sections they are described as above?

If we are later calling to be the maps on the corresponding schemes, maybe we want to give it some other name (probably rather than here)?


On Hao left comment #8733 on Theorem 57.13.3 in Derived Categories of Varieties

Sorry I just found the answer that by \tag{0FDC} they are the same.


On Hao left comment #8732 on Theorem 57.13.3 in Derived Categories of Varieties

The original version in Orlov's paper concerns the coherent category, but the statement here is about perfect objects. Does this implies the coherent version? Or Does every fullly faithful embedding preserves perfect objects?


On Michael left comment #8731 on Section 39.7 in Groupoid Schemes

I am wondering about the small detail mentioned in Lemma 047S. Can someone explain it to me ?


On Kentaro Inoue left comment #8730 on Lemma 10.99.8 in Commutative Algebra

I think that this lemma can be proved more easily. In the first paragraph, (2) is proved in the case . In the general case, (2) can be reduced to the case by considering the -adic filtration. Then (1) follows from (2) immediately.


On Erhard Neher left comment #8729 on Lemma 8.10.6 in Stacks

Line 8 of the proof should read: We have to find a morphism restricting to ...


On Erhard Neher left comment #8728 on Lemma 8.10.1 in Stacks

Proof of (2), line (2): it should read instead of .


On Jim Davis left comment #8727 on Section 111.1 in Exercises

Exercise 078G. Replace idempotent by central idempotent


On Theodore Sylvan left comment #8726 on Definition 10.17.1 in Commutative Algebra

This is not unlike nothing. however...