Comments 1 to 20 out of 5862 in reverse chronological order.


On RJ Acuña left comment #6297 on Section 2.5 in Conventions

Of course it doesn't matter because $\left(\mathbf{N} \cup \{\0}\right)\cong \mathbf{N}$. It's quite standard in number theory to say $0\not\in \mathbf{N}$. Some people find $0\in \N$ desirable because it makes $\mathbf{N}$ 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 $B\to C$, 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 $k$. Although I know that it is the residue field of $A$ but perhaps it is better to write what is $k$ 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 $c_{1}(\mathcal{L})\cap-$ maps the Chow group of $(k+s)$-cycles to that of $k$-cycles? Should the $s$ here be replaced by $1$?

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 $\mathcal C$ be $\mathcal C_{total}$?

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 $\mathcal F_0$ (counting from the left) be $\mathcal F_1$?

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 $\partial_{A}(\frac{a}{b},\frac{c}{d})$ should be $\partial_{A}(a,c)\partial_{A}(a,d)^{-1}\partial_{A}(b,c)^{-1}\partial_{A}(b,d)$.

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 $\mathcal{O}_{Y, y}^{sh}[1/f]$ is a filtered colimit of (d−a−1)-dimensional finite type algebras over the field $K(t_1,…,ta)^{sep}(x)$",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 $a$ 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 $\mathbf{A}^2\smallsetminus\{0\}$ that contains all the closed points of $\mathbf{A}^2\smallsetminus\{0\}$ is $\mathbf{A}^2\smallsetminus\{0\}$ itself, and this is not an affine variety ($\mathbf{A}^2:=\mathbf{A}^2_k$).

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 $\mathcal O_{\mathbf{A}^2,0}$ 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 $d'\left(\sum a_i \otimes x_i\right)= \sum d(a_i) \otimes x_i$

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 $d'\left(\sum a_i \otimes x_i\right)= \sum d(a_i) \otimes x_i\right$