Stacks project -- Comments Stacks project, see en (The Stacks project) (Pieter Belmans) Stacks project -- Comments #4016 on tag 02LD by Alexander Schmidt A new comment by Alexander Schmidt on tag 02LD. Comment on [Comment #4011 by Janos Kollar on February 19, 2019 at 12:09]

Indeed, there are many names but none of them is really good. Let me make yet another proposal: "Nisnevich neighborhood".

Alexander Schmidt Thu, 21 Feb 2019 11:52:03 GMT
#4015 on tag 0D49 by Fabrice Orgogozo A new comment by Fabrice Orgogozo on tag 0D49. In the proof of the lemma 09ZL, "Moreover, if B′′/IB′′→… is an isomorphism, then B′→eB′′ is an isomorphism too", I think it should be "Moreover, if B'/IB' →… is an isomorphism …".

Fabrice Orgogozo Thu, 21 Feb 2019 07:55:15 GMT
#4014 on tag 04PB by Matthieu Romagny A new comment by Matthieu Romagny on tag 04PB. After (04PC) it is written "Then the pair (a′,Z′) satisfies (1), (2)" but conditions (1) and (2) do not exist. Also in Remark 04PI remove "s" from "an F2-algebras (without unit)".

Matthieu Romagny Thu, 21 Feb 2019 04:06:17 GMT
#4013 on tag 0C1D by Dario Weißmann A new comment by Dario Weißmann on tag 0C1D. typo: should be

Dario Weißmann Wed, 20 Feb 2019 08:40:30 GMT
#4012 on tag 066P by jojo A new comment by jojo on tag 066P. Maybe instead of

"The assumption on means that every module has a finite projective resolution of length at most , in particular every module has finite tor dimension."

you should say

""The assumption on means that every module has a finite projective resolution of length at most , in particular every module has tor dimension less ."

since this is what you are proving ?

jojo Wed, 20 Feb 2019 06:23:18 GMT
#4011 on tag 02LD by Janos Kollar A new comment by Janos Kollar on tag 02LD. Dear Johan, it might be good to mention that your “elementary étale neighborhoods” have many different names. I believe that they are called “étale neighborhoods” in (Milne’s book, p.36), “strongly étale” in (Kurke Pfister, Roczen book , p.108) and “strictly étale” is also frequent I think.



Janos Kollar Tue, 19 Feb 2019 12:09:26 GMT
#4010 on tag 01JF by Andrei Bengus-Lasnier A new comment by Andrei Bengus-Lasnier on tag 01JF. In the last paragraph of the proof, I don't see why we use the open immersion property to make the maximal. One does not need that in order to prove they agree on overlaps.

Andrei Bengus-Lasnier Sun, 17 Feb 2019 08:46:10 GMT
#4008 on tag 0DRE by George Georgiev A new comment by George Georgiev on tag 0DRE. Minor typo: "univesally" -> "universally" in "...univesally catenary scheme..."

Great work otherwise. I'm learning statistics and I find field theory & set theory basics quite indispensible in understanding the nitty-gritty stuff.

George Georgiev Fri, 15 Feb 2019 03:39:12 GMT
#4006 on tag 0EWX by Johan A new comment by Johan on tag 0EWX. Oops, yes I will fix this later. Thanks

Johan Tue, 12 Feb 2019 06:01:51 GMT
#4005 on tag 0EWX by Zhiyu Zhang A new comment by Zhiyu Zhang on tag 0EWX. OK, It's also because of a typo that made me confused at first : the index on the right side of shall be , so and we can use the assumption to deduce this lemma.

Zhiyu Zhang Tue, 12 Feb 2019 12:24:16 GMT