Stacks project -- Comments https://stacks.math.columbia.edu/recent-comments.xml Stacks project, see https://stacks.math.columbia.edu en stacks.project@gmail.com (The Stacks project) pieterbelmans@gmail.com (Pieter Belmans) https://stacks.math.columbia.edu/static/stacks.png Stacks project -- Comments https://stacks.math.columbia.edu/recent-comments.rss #5364 on tag 0BFH by BCnrd https://stacks.math.columbia.edu/tag/0BFH#comment-5364 A new comment by BCnrd on tag 0BFH. Should assume (so ) or else "only if" is not true (fails when ). Maybe also replace "" with "", to avoid awkward-looking notation such as .

]]>
BCnrd Fri, 03 Jul 2020 08:02:26 GMT
#5363 on tag 062G by MAO Zhouhang https://stacks.math.columbia.edu/tag/062G#comment-5363 A new comment by MAO Zhouhang on tag 062G. A typo in the hypothesis of the second statement: the second sequence should be , not .

]]>
MAO Zhouhang Fri, 03 Jul 2020 06:27:42 GMT
#5362 on tag 03CG by Mike Shulman https://stacks.math.columbia.edu/tag/03CG#comment-5362 A new comment by Mike Shulman on tag 03CG. "Dense morphism"? (cf. e.g. section 11 of my paper http://www.tac.mta.ca/tac/volumes/27/7/27-07abs.html, which may not be exactly the same but is very closely related)

]]>
Mike Shulman Thu, 02 Jul 2020 02:05:25 GMT
#5361 on tag 034O by Anh https://stacks.math.columbia.edu/tag/034O#comment-5361 A new comment by Anh on tag 034O. What is the definition of height 1 prime ideal? Please help me I don't understand.

]]>
Anh Thu, 02 Jul 2020 04:13:26 GMT
#5360 on tag 0DV7 by Laurent Moret-Bailly https://stacks.math.columbia.edu/tag/0DV7#comment-5360 A new comment by Laurent Moret-Bailly on tag 0DV7. In addition to Ben's comment, the converse (constructing from ) is proved but not stated. Also, in the proof there are 3 instances of an exponent standing for .

]]>
Laurent Moret-Bailly Thu, 02 Jul 2020 02:42:41 GMT
#5359 on tag 034O by Anh https://stacks.math.columbia.edu/tag/034O#comment-5359 A new comment by Anh on tag 034O. What is the definition of height 1 prime ideal? Please help me I don't understand.

]]>
Anh Thu, 02 Jul 2020 12:04:39 GMT
#5358 on tag 0BJA by MAO Zhouhang https://stacks.math.columbia.edu/tag/0BJA#comment-5358 A new comment by MAO Zhouhang on tag 0BJA. It might be better to either mention that the definition of is a special case of the one in that section about Serre subcategories, or incorporate a specialized definition here.

]]>
MAO Zhouhang Wed, 01 Jul 2020 03:49:57 GMT
#5357 on tag 0A6V by MAO Zhouhang https://stacks.math.columbia.edu/tag/0A6V#comment-5357 A new comment by MAO Zhouhang on tag 0A6V. It might be better to mention the name (Matlis)-Greenless-May duality in the text or in the slogan, which facilitates searching and locating.

]]>
MAO Zhouhang Wed, 01 Jul 2020 03:45:37 GMT
#5356 on tag 0EKB by Peter Bruin https://stacks.math.columbia.edu/tag/0EKB#comment-5356 A new comment by Peter Bruin on tag 0EKB. In the proof of (1), shouldn't be ?

]]>
Peter Bruin Tue, 30 Jun 2020 09:54:13 GMT
#5355 on tag 0A2M by Ben Moonen https://stacks.math.columbia.edu/tag/0A2M#comment-5355 A new comment by Ben Moonen on tag 0A2M. Hi Johan, In the statement of Lemma 0DV7 there is no relation between the sheaves F and G, which is not per se wrong but looks funny. Maybe better to make the statement more explicit, matching its proof: if G has cohomology then so does F = g^{-1}G; if F has cohomology then so does G = g_*F. Best wishes, Ben

]]>
Ben Moonen Tue, 30 Jun 2020 07:15:56 GMT