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


On left comment #4351 on Lemma 13.15.12 in Derived Categories

Hi French Lotto Players, I am here now Today we will upload officially French Lotto Winning Numbers. The France Lotto offers some of the best chances to win withdraws three times a weak. Find the latest winning numbers here after each game and ‘Click Here‘ button to get the full French Lotto Results a find out if you are a winner in either the main draw or the French Lotto Raffel. French Results

On left comment #4350 on Situation 13.15.1 in Derived Categories

Hi French Lotto Players, I am here now Today we will upload officially French Lotto Winning Numbers. The France Lotto offers some of the best chances to win withdraws three times a weak. Find the latest winning numbers here after each game and ‘Click Here‘ button to get the full French Lotto Results a find out if you are a winner in either the main draw or the French Lotto Raffel. French Results

On awllower left comment #4349 on Lemma 13.34.3 in Derived Categories

I think in the proof the composition $E_ i[m] \to X \to \text{hocolim} X_ n$ is supposed to be $E_ i[m] \to C \to \text{hocolim} X_ n$?

On left comment #4347 on Section 95.19 in Morphisms of Algebraic Stacks

Typo in the proof of Lemma 95.19.4 : In the second to last sentence it should say "Hence $G_x \to G_y$ is an isomorphism"

On David Loeffler left comment #4346 on Lemma 13.31.8 in Derived Categories

trivial typo: "be homological functor" --> "be a homological functor"

On Manuel Hoff left comment #4345 on Definition 18.5.1 in Modules on Sites

I think there is a word missing in the second sentence: ...which is the sheafification of the free abelian presheaf on $\mathcal G$.

On Tim Holzschuh left comment #4344 on Definition 53.2.1 in Fundamental Groups of Schemes

typo: 'sometime'

On Manuel Hoff left comment #4343 on Remark 15.67.4 in More on Algebra

In the sentence "The category of super vector spaces has an internal hom which we denote $V^\vee$.", i think "internal hom" should be replaced by something like "duals".

On Kazuki Masugi(馬杉和貴) left comment #4342 on Lemma 28.3.1 in Morphisms of Schemes

in (2), "$Z\to Y$ is quasi-separated" should be "$Y\to X$ is quasi-separated".

On Manuel Hoff left comment #4341 on Section 15.57 in More on Algebra

I have a question concerning the material in this section. For a ring $R$ and a complex of $R$-modules $M^\bullet$ one defines the derived tensor product $- \otimes _ R^{\mathbf{L}} M^\bullet$. But I can't find any reference to a relation with the functor $F \colon K(\text{Mod}_ R) \to K(\text{Mod}_ R)$ sending $N^\bullet \mapsto \text{Tot}(N^\bullet \otimes _ R M^\bullet )$. Is it true that $LF$ is defined everywhere on $K(\text{Mod}_ R)$ in the sense of Section 13.15 (Tag 05S7) and that we have $LF = - \otimes _ R^{\mathbf{L}} M^\bullet$ as endofunctors of $D(R)$?

On Yairon Cid Ruiz left comment #4340 on Lemma 9.15.7 in Fields

Small typo in part (2): It should be added "any".

On David Speyer left comment #4339 on Lemma 10.119.3 in Commutative Algebra

I don't know if you have a standard convention about marking uses of Choice. If so, it might be worth pointing out that this argument requires Choice; see https://mathscinet.ams.org/mathscinet-getitem?mr=422022 . I ran across this page while trying to find out if Choice was needed for this Lemma, so maybe this comment will help the next person.

On ExcitedAlgebraicGeometer left comment #4338 on Section 10.5 in Commutative Algebra

A potential lemma of interest here: if a module is finitely presented, then any generating set has a finite presentation. The

On Manuel Hoff left comment #4337 on Lemma 13.29.8 in Derived Categories

In the formulation of the Lemma, it is mentioned two times that the complexes $I_k^\bullet$ are K-injective (one time in the second sentence and a second time in (1)).

On Manuel Hoff left comment #4336 on Definition 4.26.1 in Categories

In LMS2, the notation doesn't make it entirely clear to me how $W$ is quantified. Maybe one wants to mention more explicitly that given $t$ and $g$ as in the diagram, there exist $W, f$ and $s$ as in the diagram (same applies to RMS2).

On Elden left comment #4335 on Lemma 28.44.11 in Morphisms of Schemes

I think in the statement Lemma 28.44.11 you want to say that $A \rightarrow B_i$ is of finite presentation and furthermore induces a universal homeomorphism on $Spec$.

On left comment #4334 on Lemma 10.14.2 in Commutative Algebra

@#4333: No, this is not intentional. This is an issue which might have been caused by the server move (although it's unclear to me how), and I made a GitHub issue at https://github.com/gerby-project/gerby-website/issues/141.

I will look into it today or tomorrow. For now you can go to the section page, where for some reason the slogan is still displayed correctly.

On comment_bot left comment #4333 on Lemma 10.14.2 in Commutative Algebra

The slogan of this tag is displayed as "None". Is this intentional?

On ExcitedAlgebraicGeometer left comment #4332 on Section 7.10 in Sites and Sheaves

Can sheafification be generalized to presheaves taking values in arbitrary categories (or at least a setting more general than presheaves of "nice" concrete categories)?

On suggestion_bot left comment #4331 on Section 5.26 in Topology

I think it would be good to insert the following basic lemma somewhere close to the beginning of this section.

Lemma. Any open subset of an extremally disconnected space is extremally disconnected.