The Stacks project

Comments 2061 to 2080 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 Hao Peng left comment #7501 on Section 1.1 in Introduction

I am sorry to comment here but I want to know how to cite tags or comment tags that is clickable in the comments?


On Hao Peng left comment #7500 on Lemma 48.12.7 in Duality for Schemes

It should follow from tag 0G8I that has zero-th cohomology sheaf isomorphic to if is proper smooth of relative dimension , does this holds for more general situations?


On Hao Peng left comment #7499 on Lemma 48.12.7 in Duality for Schemes

In thr proof of (1) should be replaced by .


On tao left comment #7498 on Definition 10.45.1 in Commutative Algebra

Shoud it be finite extension or algebraic extension here?


On left comment #7497 on Section 85.3 in Simplicial Spaces

@#7493 Yes. With the formulation as given one gets the cleanest presentation of the material, I think. Now if one has a category fibred over , then there is a replacement of it where the pullback functors commute on the nose, see Lemma 4.36.4. If each of the fibre categories of over is endowed with the structure of a site and the pullback functors of define morphisms of sites, then I think it is easy to see that each fibre category of is endowed with the structure of a site so that we end up in Case A. The topos of the site one gets from this doesn't depend on the choices made by Lemma 85.3.4.

Some of this does not belong here. Instead we need to upgrade the discussion in Section 7.18. See also my comment on Tag 59.51.2 in response to a (related) comment of Tongmu He. There are also various additional descent questions one can ask when is replaced by an arbitrary category and one has a discussion of -topoi. Etc.


On Hao Peng left comment #7495 on Lemma 33.44.6 in Varieties

i noticed that proof of tag01YV works for a natural extension of statements to proper schemes of dimensione, and then this proposition will follow as a direct consequence. The proof will be much shorter, because the current proof is essentially doing devissage for coherent sheaves again.


On Xiaolong Liu left comment #7494 on Lemma 28.25.3 in Properties of Schemes

Before the last sentence, one should be instead of .


On Bogdan left comment #7493 on Section 85.3 in Simplicial Spaces

Case A. Let C be a simplicial object in the category whose objects are sites and whose morphisms are morphisms of sites.

It seems like the definition suggests that the category of sites is considered as a usual category (and not a -category). In particular, the relation on is (as opposed to a ''coherent'' system of isomorphisms).

But it seems that this assumption is too strong to hold in practice. Usually, is given by a pullback functor, which is defined up to a "canonical isomorphism".


On WhatJiaranEatsTonight left comment #7492 on Lemma 33.43.2 in Varieties

I think we need to be separated here. Otherwise \the projecitve line with double original point is a counterexample.


On Xiaolong Liu left comment #7491 on Lemma 36.8.1 in Derived Categories of Schemes

should be here.


On Diego left comment #7490 on Section 23.8 in Divided Power Algebra

Line -8 in the proof of Proposition 23.8.4: the left-hand side should read


On Hao Peng left comment #7489 on Lemma 53.3.2 in Algebraic Curves

should be replaced by


On Louis Carlin left comment #7488 on Lemma 4.2.18 in Categories

I think there is a typo in the second sentence. It is probably intended to be "Suppose for every we are given an object..." or something similar.


On Hao Peng left comment #7487 on Section 21.36 in Cohomology on Sites

The appearence of X is weird. Should be


On Hao Peng left comment #7486 on Lemma 49.12.6 in Discriminants and Differents

Borrowing drom differential geometry, would it be better to use instead if ?


On Hao Peng left comment #7485 on Lemma 49.12.6 in Discriminants and Differents

The central term of the exact sequence should by


On Hao Peng left comment #7484 on Definition 49.9.1 in Discriminants and Differents

in fact in tag0BWJ, may not by Noetherian


On Hao Peng left comment #7483 on Definition 49.9.1 in Discriminants and Differents

Should it be that all the propositions are true for Noetherian repalce by locally Noetherian? I don't see why we need Noetherian.


On Hao Peng left comment #7482 on Example 53.13.6 in Algebraic Curves

Shouldn't the map to P^1 be projection to x coordinates instead of y cooediantes?


On Nicolás left comment #7481 on Section 7.16 in Sites and Sheaves

A small nitpick comment: in the first paragraph, the letter is used both to reference the functor and some element .