The Stacks project

Comments 1 to 20 out of 5862 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 RJ Acuña left comment #6297 on Section 2.5 in Conventions

Of course it doesn't matter because . It's quite standard in number theory to say . Some people find desirable because it makes into a monoid. It's a matter of taste.


On left comment #6296 on Lemma 15.102.11 in More on Algebra

It seems that the first part, i.e. the flatness of , also follows directly from Tag 092C.


On typo_bot left comment #6295 on Lemma 65.28.3 in Morphisms of Algebraic Spaces

There is a period missing to end the first sentence of the statement.


On Ehsan left comment #6294 on Proposition 15.49.2 in More on Algebra

In the statement it is not written what is . Although I know that it is the residue field of but perhaps it is better to write what is explicity?


On Meng-Gen Tsai left comment #6293 on Section 9.26 in Fields

Typo: 'wold' should be 'would' (in the first paragraph of the proof of Lemma 030F.)


On Jia Jia left comment #6292 on Section 63.10 in Algebraic Spaces

In the first line of Proof of Lemma 02WU, it should be "j'=(s',t')" for consistency.


On Yi Shan left comment #6291 on Section 42.27 in Chow Homology and Chern Classes

In the statement before Lemma 02TJ, why the operation maps the Chow group of -cycles to that of -cycles? Should the here be replaced by ?


On Mira left comment #6290 on Lemma 13.18.7 in Derived Categories

I am stuck with \ref{https://electronicsphysics.com/rules-for-finding-of-the-number-of-significant-figures/ Significant Figure}. It this post good or not?


On Rachel Webb left comment #6285 on Definition 83.12.1 in Simplicial Spaces

In (1), should be ?


On Rachel Webb left comment #6284 on Lemma 83.4.2 in Simplicial Spaces

In the third highlighted equation of the proof, should the third instance of (counting from the left) be ?


On Yi Shan left comment #6283 on Section 42.5 in Chow Homology and Chern Classes

In the statement after the definition of tame symbols, the formula for should be .


On Xy left comment #6282 on Section 58.94 in Étale Cohomology

In the proof of Proposition 0F0V,The last paragraph of the interlude one says "we see that is a filtered colimit of (d−a−1)-dimensional finite type algebras over the field ",I wonder why this follows from the embedding mensioned before that paragraph...


On left comment #6281 on Definition 34.9.1 in Topologies on Schemes

The map in definition needn't be injective.


On Owen left comment #6280 on Definition 34.9.1 in Topologies on Schemes

but Lemma 34.9.2 cannot be true… the only open of that contains all the closed points of is itself, and this is not an affine variety ().


On Yuto Masamura left comment #6279 on Lemma 4.18.2 in Categories

The term "diagram category" is used in the proof and at the begining of this section 4.18. I think it has the same meaning as "index category". Maybe we should add the definition of daigram categories in 4.14.


On left comment #6278 on Definition 34.9.1 in Topologies on Schemes

Lemma 34.9.2 shows it is an fpqc covering.


On nkym left comment #6277 on Lemma 10.129.2 in Commutative Algebra

I was wondering if someone could tell me where the flatness hypothesis is used. Maybe the same in the next proposition.


On Owen left comment #6276 on Definition 34.9.1 in Topologies on Schemes

is a fpqc covering, but not according to this definition (here denotes the local ring at the origin).


On Abel Milor left comment #6275 on Lemma 10.131.12 in Commutative Algebra

I think there is a small typo here: on the first line, it should be


On Abel Milor left comment #6274 on Lemma 10.131.12 in Commutative Algebra

I think there is a small typo here: on the first line, it should be