Fixed all issues

Hello again. This just a quick post to let you know that I worked through your recent comments and updated the Stacks project website with the latest version. So get back there and find more mistakes. Thank you all!

Lemma of the day

Let F be a predeformation category which has a versal formal object. Then

1. F has a minimal versal formal object,
2. minimal versal objects are unique up to isomorphism, and
3. any versal object is the pushforward of a minimal versal object along a power series ring extension.

See Lemma Tag 06T5.

What is fun about this lemma is that it produces a minimal versal object (as defined in Definition Tag 06T4) from a versal one without assuming Schlessinger’s axioms. If Schlessinger’s axioms are satisfied and one is in the classical case (see Definition Tag 06GC), then a minimal versal formal object is a versal formal object defined over a ring with minimal tangent space. This is discussed in Section Tag 06IL.

Lemma of the day

Let h : X –> Y, g : Y –> B be morphisms of algebraic spaces with composition f : X –> B. Let b ∈ |B| and let Spec(k) → B be a morphism in the equivalence class of b. Assume

1. X → B is a proper morphism,
2. Y → B is separated and locally of finite type,
3. one of the following is true:
1. the image of |X_k| → |Y_k| is finite,
2. the image of |f|^{−1}({b}) in |Y| is finite and B is decent.

Then there is an open subspace B′ ⊂ B containing b such that X_{B′} → Y_{B′} factors through a closed subspace Z ⊂ Y_{B′} finite over B′. See Lemma Tag 0AEJ.

Slogan: Collapsing a fibre of a proper family forces nearby ones to collapse too.

Lemma of the day

Let (A,m) be a Noetherian local ring. Let I ⊂ J ⊂ A be proper ideals. Assume

1. A/J has finite tor dimension over A/I, and
2. J is generated by a regular sequence.

Then I is generated by a regular sequence and J/I is generated by a regular sequence. See Lemma Tag 09PW.

Here is the graph of this lemma

Lemma of the day

Let X be an algebraic space. Let x ∈ |X|. If X is separated, locally Noetherian, and the dimension of the local ring of X at x is ≤1 (Definition Tag 04NA), then there exists an open subspace of X containing x which is a scheme. See Lemma Tag 0ADD.

Slogan: Separated algebraic spaces are schemes in codimension 1.

Lemma of the day

Let (C, O) be a ringed site. Given K,L,M in D(O) there is a canonical morphism RHom(L,M) ⊗ RHom(K,L) ⟶ RHom(K,M) in D(O). See Lemma Tag 0A98.

Slogan: Composition on RSheafHom.

We’ve recently been having a few frequent commenters on the Stacks project which is great; take a look at the most recent comments. They’ve pointed out not only trivial typos and other idiocies, but also actual errors which we’ve repaired with their help. (One of the goals of the Stacks project is to fix errors as soon as possible in every case.) Huge thanks to all!

Anyway, I encourage you to waste a few hours doing the same. Here are some tips:

• If you refer to a different tag say ABCD in a comment use \ref{ABCD}.
• If you have a comment about a particular lemma then please leave the comment on the page corresponding to the lemma not the enclosing section.
• Please make suggestions as explicit as possible. For example, if you think a proof is missing an argument, try to say exactly what part is missing (even just write the argument in the comment if you can) and where to put it.
• Precise outside references for material are VERY WELCOME, including references to your own work. We now have a working system for dealing with this which is very easy and quick for me to use, so bring it on.
• Funny comments are welcome too!