Copying

Just a heads up for those people who are taking parts or all of the Stacks project and doing new and exciting things with it. Please make sure you comply with the license that the Stacks project is under. Thanks!

Also, if you receive texts based on the Stacks project in your inbox, send us an email. Maybe in the future we can have a hall of shame or something.

Question about completion

Over the summer I wrote up a bit of material laying out a (very general) theory of formal algebraic spaces for the Stacks project. The idea is to work initially with very general objects and then for later results impose those conditions that make the arguments work (similarly to what is done for algebraic spaces and algebraic stacks in the Stacks project). As is often the case when you work through a new subject some natural very basic questions arise which I am unable to answer.

This paragraph is for motivation only and you can skip it. Let X be a scheme and let Z ⊂ X be a closed subset. The completion of X along Z is the functor which associates to a scheme T the set of morphisms f : T —> X such that f(T) ⊂ Z set theoretically. My question is whether one has “countably indexed => adic*” for such a completion.

In terms of algebra this means the following. Let A be a ring and let I ⊂ A be a radical ideal. Assume there is a countable family

I ⊃ J_1 ⊃ J_2 ⊃ J_3 ⊃ …

of ideals with V(I) = V(J_n) such that for every ideal I ⊃ J with V(I) = V(J) we have J ⊃ J_n for some n. In other words, the partially ordered set of closed subschemes of \Spec(A) supported on Z = V(I) has a countable cofinal subset. Let’s write A^* = \lim A/J_n as a topological ring endowed with the limit topology.

Is there a finitely generated ideal 𐌹 ⊂ A^* such that the powers of 𐌹 form a fundamental system of open neighbourhoods of 0? In other words, is A^* an adic topological ring which has a finitely generated ideal of definition?

Now that I state it like this, it seems this cannot possibly be true. But I haven’t found a counter example. Have you?

PS: I love gothic letters… 𐌰 𐌱 𐌲 𐌳 𐌴 𐌵 𐌶 𐌷 𐌸 𐌹 𐌺 𐌻 𐌼 𐌽 𐌾 𐌿 𐍀 𐍁 𐍂 𐍃 𐍄 𐍅 𐍆 𐍇 𐍈 𐍉 𐍊

Edit Sept 12, 2014. Just got a note from Gabber where he shows that the answer is yes when I is the radical of a countably generated ideal and that there is a counter example in general.

Stats for Newton Polygons

In the last few days I tried (unsuccessfully) to find some “new” supersingular surfaces by computation. Please read the previous post to see why one might want to find these surfaces. Anyway, one of the things that I have to show for this are some distributions of Newton Polygons (NPs) in the data. Here is an example:

13-15-19-184-p-11
3616 2, 2, 1, 1, 1, 0, 0
302 2, 3/2, 3/2, 1, 1/2, 1/2, 0
46 2, 1, 1, 1, 1, 1, 0
24 5/3, 5/3, 5/3, 1, 1/3, 1/3, 1/3
6 3/2, 3/2, 1, 1, 1, 1/2, 1/2
5 1, 1, 1, 1, 1, 1, 1

The sequence of numbers at the top mean the following: We are looking at computations of NPs on H^2_{prim} of randomly chosen quasi-smooth surfaces over F_11 defined by an equation in weighted projective space of the form

W^2 = F(X, Y, Z)

where X, Y, Z have weights 13, 15, 19, the polynomial F is homogeneous of degree 184, and W has degree 184/2 = 92. Summing up the integers in the first column we see that we did a run of 3999 experiments and we got NP counts as shown.

The table suggests that the primitive Hodge numbers of these surfaces are h^{0, 2} = 2, h^{1, 1} = 3, and h^{2, 0} = 2 as is indeed the case. All possible NPs occur in the table, except for 4/3,4/3,4/3,1,2/3,2/3,2/3. The table suggests that the NP 2,2,1,1,1,0,0 happens generically and 2,3/2,3/2,1,1/2,1/2,0 happens in codimension 1 because 11 * 302 is almost 3616. Next, we expect the NPs 2,1,1,1,1,1,0 and 5/3,5/3,5/3,1,1/3,1/3,1/3 to happen in codimension 2. In fact, the whole table is strangely consistent with the known theory of NP jumps, except that 1,1,1,1,1,1,1 occurs too often.

Why is this strange? Well, because the equations cutting out the NP strata typically have high degree (polynomial in p) and hence we cannot expect *any* good behaviour of point counts over F_p (only when we work over F_q for a high power of p can we expect such a thing). The same happens for other experiments (see below). For smaller primes the behaviour is less regular; I think this happens because of the limited sample space.

Please let me know if you have any kind of guess as to why this should be!

PS: How did I compute these tables? To get the Frobenius polynomials I used a program I wrote a long time ago. More precisely, to replicate the results above you have checkout the double branch which computes Frobenius matrices of double covers of weighted projective planes. In each case I ran this program on random inputs repeatedly. You can find the outputs produced in this github repository.

13-15-19-184-p-7
1679 2, 2, 1, 1, 1, 0, 0
254 2, 3/2, 3/2, 1, 1/2, 1/2, 0
32 2, 1, 1, 1, 1, 1, 0
26 5/3, 5/3, 5/3, 1, 1/3, 1/3, 1/3
8 3/2, 3/2, 1, 1, 1, 1/2, 1/2
13-15-19-184-p-5
807 2, 2, 1, 1, 1, 0, 0
148 2, 3/2, 3/2, 1, 1/2, 1/2, 0
25 5/3, 5/3, 5/3, 1, 1/3, 1/3, 1/3
10 1, 1, 1, 1, 1, 1, 1
9 2, 1, 1, 1, 1, 1, 0
13-15-19-184-p-3
484 2, 2, 1, 1, 1, 0, 0
202 2, 1, 1, 1, 1, 1, 0
197 2, 3/2, 3/2, 1, 1/2, 1/2, 0
74 3/2, 3/2, 1, 1, 1, 1/2, 1/2
42 1, 1, 1, 1, 1, 1, 1
19-23-31-422-p-11
6299 2, 2, 2, 1, 1, 1, 1, 1, 0, 0, 0
574 2, 2, 3/2, 3/2, 1, 1, 1, 1/2, 1/2, 0, 0
60 2, 2, 4/3, 4/3, 4/3, 1, 2/3, 2/3, 2/3, 0, 0
51 2, 5/3, 5/3, 5/3, 1, 1, 1, 1/3, 1/3, 1/3, 0
6 2, 2, 1, 1, 1, 1, 1, 1, 1, 0, 0
6 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
2 2, 3/2, 3/2, 3/2, 3/2, 1, 1/2, 1/2, 1/2, 1/2, 0
1 5/3, 5/3, 5/3, 3/2, 3/2, 1, 1/2, 1/2, 1/3, 1/3, 1/3
19-23-31-422-p-7
5763 2, 2, 2, 1, 1, 1, 1, 1, 0, 0, 0
889 2, 2, 3/2, 3/2, 1, 1, 1, 1/2, 1/2, 0, 0
126 2, 2, 4/3, 4/3, 4/3, 1, 2/3, 2/3, 2/3, 0, 0
123 2, 5/3, 5/3, 5/3, 1, 1, 1, 1/3, 1/3, 1/3, 0
35 2, 3/2, 3/2, 3/2, 3/2, 1, 1/2, 1/2, 1/2, 1/2, 0
22 2, 2, 1, 1, 1, 1, 1, 1, 1, 0, 0
16 2, 3/2, 3/2, 1, 1, 1, 1, 1, 1/2, 1/2, 0
7 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
6 3/2, 3/2, 3/2, 3/2, 1, 1, 1, 1/2, 1/2, 1/2, 1/2
4 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1
3 5/3, 5/3, 5/3, 3/2, 3/2, 1, 1/2, 1/2, 1/3, 1/3, 1/3
1 2, 4/3, 4/3, 4/3, 1, 1, 1, 2/3, 2/3, 2/3, 0
19-23-31-422-p-5
770 2, 2, 2, 1, 1, 1, 1, 1, 0, 0, 0
138 2, 2, 3/2, 3/2, 1, 1, 1, 1/2, 1/2, 0, 0
36 2, 5/3, 5/3, 5/3, 1, 1, 1, 1/3, 1/3, 1/3, 0
30 2, 2, 4/3, 4/3, 4/3, 1, 2/3, 2/3, 2/3, 0, 0
8 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
8 2, 2, 1, 1, 1, 1, 1, 1, 1, 0, 0
5 2, 3/2, 3/2, 3/2, 3/2, 1, 1/2, 1/2, 1/2, 1/2, 0
3 2, 3/2, 3/2, 1, 1, 1, 1, 1, 1/2, 1/2, 0
1 2, 4/3, 4/3, 4/3, 1, 1, 1, 2/3, 2/3, 2/3, 0
19-23-31-422-p-3
431 2, 2, 2, 1, 1, 1, 1, 1, 0, 0, 0
239 2, 2, 3/2, 3/2, 1, 1, 1, 1/2, 1/2, 0, 0
131 2, 2, 4/3, 4/3, 4/3, 1, 2/3, 2/3, 2/3, 0, 0
82 2, 5/3, 5/3, 5/3, 1, 1, 1, 1/3, 1/3, 1/3, 0
47 2, 3/2, 3/2, 3/2, 3/2, 1, 1/2, 1/2, 1/2, 1/2, 0
22 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
11 5/3, 5/3, 5/3, 3/2, 3/2, 1, 1/2, 1/2, 1/3, 1/3, 1/3
2 8/5, 8/5, 8/5, 8/5, 8/5, 1, 2/5, 2/5, 2/5, 2/5, 2/5
8-13-29-216-p-5
3909 2, 2, 2, 1, 1, 1, 1, 1, 1, 0, 0, 0
667 2, 2, 3/2, 3/2, 1, 1, 1, 1, 1/2, 1/2, 0, 0
148 2, 5/3, 5/3, 5/3, 1, 1, 1, 1, 1/3, 1/3, 1/3, 0
121 2, 2, 4/3, 4/3, 4/3, 1, 1, 2/3, 2/3, 2/3, 0, 0
62 2, 3/2, 3/2, 3/2, 3/2, 1, 1, 1/2, 1/2, 1/2, 1/2, 0
24 2, 2, 5/4, 5/4, 5/4, 5/4, 3/4, 3/4, 3/4, 3/4, 0, 0
24 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
12 2, 3/2, 3/2, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 1/2, 1/2, 0
8 5/3, 5/3, 5/3, 3/2, 3/2, 1, 1, 1/2, 1/2, 1/3, 1/3, 1/3
6 2, 3/2, 3/2, 1, 1, 1, 1, 1, 1, 1/2, 1/2, 0
4 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0
2 7/6, 7/6, 7/6, 7/6, 7/6, 7/6, 5/6, 5/6, 5/6, 5/6, 5/6, 5/6
2 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0
2 2, 4/3, 4/3, 4/3, 1, 1, 1, 1, 2/3, 2/3, 2/3, 0
2 5/3, 5/3, 5/3, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 1/3, 1/3, 1/3
2 5/3, 5/3, 5/3, 1, 1, 1, 1, 1, 1, 1/3, 1/3, 1/3
2 2, 7/5, 7/5, 7/5, 7/5, 7/5, 3/5, 3/5, 3/5, 3/5, 3/5, 0
1 8/5, 8/5, 8/5, 8/5, 8/5, 1, 1, 2/5, 2/5, 2/5, 2/5, 2/5
1 3/2, 3/2, 3/2, 3/2, 3/2, 3/2, 1/2, 1/2, 1/2, 1/2, 1/2, 1/2
8-13-29-216-p-3
586 2, 2, 2, 1, 1, 1, 1, 1, 1, 0, 0, 0
189 2, 2, 3/2, 3/2, 1, 1, 1, 1, 1/2, 1/2, 0, 0
44 2, 2, 4/3, 4/3, 4/3, 1, 1, 2/3, 2/3, 2/3, 0, 0
35 2, 5/3, 5/3, 5/3, 1, 1, 1, 1, 1/3, 1/3, 1/3, 0
34 2, 3/2, 3/2, 3/2, 3/2, 1, 1, 1/2, 1/2, 1/2, 1/2, 0
33 2, 2, 5/4, 5/4, 5/4, 5/4, 3/4, 3/4, 3/4, 3/4, 0, 0
18 7/4, 7/4, 7/4, 7/4, 1, 1, 1, 1, 1/4, 1/4, 1/4, 1/4
13 2, 3/2, 3/2, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 1/2, 1/2, 0
8 3/2, 3/2, 3/2, 3/2, 3/2, 3/2, 1/2, 1/2, 1/2, 1/2, 1/2, 1/2
7 2, 3/2, 3/2, 1, 1, 1, 1, 1, 1, 1/2, 1/2, 0
6 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0
4 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0
2 5/3, 5/3, 5/3, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 1/3, 1/3, 1/3
2 3/2, 3/2, 3/2, 3/2, 1, 1, 1, 1, 1/2, 1/2, 1/2, 1/2
2 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1
9-13-14-126-p-7
819 2, 2, 1, 1, 1, 1, 0, 0
145 2, 3/2, 3/2, 1, 1, 1/2, 1/2, 0
15 2, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 0
12 5/3, 5/3, 5/3, 1, 1, 1/3, 1/3, 1/3
3 2, 1, 1, 1, 1, 1, 1, 0
3 1, 1, 1, 1, 1, 1, 1, 1
2 3/2, 3/2, 3/2, 3/2, 1/2, 1/2, 1/2, 1/2
9-13-14-126-p-5
583 2, 2, 1, 1, 1, 1, 0, 0
90 2, 3/2, 3/2, 1, 1, 1/2, 1/2, 0
24 5/3, 5/3, 5/3, 1, 1, 1/3, 1/3, 1/3
20 2, 4/3, 4/3, 4/3, 2/3, 2/3, 2/3, 0
2 2, 1, 1, 1, 1, 1, 1, 0
1 1, 1, 1, 1, 1, 1, 1, 1
9-13-14-126-p-3
64 2, 2, 1, 1, 1, 1, 0, 0
20 2, 1, 1, 1, 1, 1, 1, 0
6-5-11-66-p-3
560 2, 2, 1, 1, 1, 1, 1, 1, 0, 0
248 2, 3/2, 3/2, 1, 1, 1, 1, 1/2, 1/2, 0
52 2, 4/3, 4/3, 4/3, 1, 1, 2/3, 2/3, 2/3, 0
49 3/2, 3/2, 3/2, 3/2, 1, 1, 1/2, 1/2, 1/2, 1/2
44 5/3, 5/3, 5/3, 1, 1, 1, 1, 1/3, 1/3, 1/3
22 2, 5/4, 5/4, 5/4, 5/4, 3/4, 3/4, 3/4, 3/4, 0
5 1, 1, 1, 1, 1, 1, 1, 1, 1, 1
4 4/3, 4/3, 4/3, 1, 1, 1, 1, 2/3, 2/3, 2/3
3 2, 1, 1, 1, 1, 1, 1, 1, 1, 0
3-4-5-24-p-3
244 2, 1, 1, 1, 1, 1, 0
88 3/2, 3/2, 1, 1, 1, 1/2, 1/2
30 1, 1, 1, 1, 1, 1, 1

Shioda’s conjecture

At the Seattle workshop I mentioned in the previous post I was a mentor of a group of recent PhDs consisting of Jennifer Park, Daniel Litt, Runpu (Z)Hong, Dingxin Zhang, Sam Raskin, and Francois Greer. The topic was “supersingular surfaces in positive characteristics”. Any mistakes and/or misrepresentations in this post are mine.

Let us define a smooth projective variety over a field K of characteristic p > 0 to be supersingular if for each i the Newton slopes on the “motive” H^i(X) are all i/2. (This is just one possible choice of definition.) If the Tate conjecture is true for H^2, then for a supersingular variety over an algebraically closed field the rank of the Picard group is equal to the second betti number (!).

Motivation for the choice of topic was the recent successes (due to my colleague Maulik, as well as Liedtke, Lieblich, and Charles) on moduli of supersingular K3 surfaces. Basically, we know that supersingular K3 surfaces satisfy the Tate conjecture, are unirational, form a family of dimension 9, and that any degeneration of a supersingular K3 has potentially good reduction.

Now, let’s discuss some things one can say for other surfaces.

Degeneration of supersingular surfaces. Let K = k((t)) and let X be a supersingular surface over K. The method here, following Rudakov-Zink-Shafarevich (RZS), is to note that the formal Brauer group of any special fibre X_0 has vanishing p-divisible part (they only prove this under the assumption that H^1(X_0, O_{X_0}) = 0). This imposes a strong condition on the limits. For example, if X_0 is equal to the union of two smooth surfaces S_1, S_2 glued along transversally along a nonsingular curve C, then S_1 and S_2 are forced to have slopes 1 of the Newton polygon of H^2 and the map Pic^0(S_1) x Pic^0(S_2) —> Pic^0(C) has to be surjective.

One can make examples of this kind of degeneration, by considering a family of supersingular genus 2 curves specializing to a good curve consisting of two supersingular elliptic curves glued in a point and taking the product with another supersingular elliptic curve.

Looking at quintic surfaces in P^3, we found that applying the RZS criterion to GIT-stable limits does not always give enough information, and that it is better to consider stable limits of surfaces in the sense of birational geometry. In fact, it appears likely that supersingular quintics have potential good reduction at least for large enough primes (but this may be an empty statement — see below).

Degenerations of supersingular elliptic surfaces with a section. If (X, σ) is an elliptic surface over a curve C and if all fibres are semi-stable, then this determines a morphism C —> \bar M_{1, 1}. Hence we can use Abramovich-Vistoli(+Olsson) to take a limit in \bar M_g(\bar M_{1, 1}, degree) and see that our elliptic surface degenerates to an elliptic surface X_0 over a semi-stable limit C_0 of C, right? For example if g = g(C) = 0, then C_0 is a tree of curves and at first it looks like RZS implies that C_0 has to be irreducible: namely the glueing curves are elliptic and the component surfaces are elliptic with nonconstant j-invariant hence have trivial Pic^0. Well, this is not quite the case as in this game you have to allow the base curve to become stacky at the nodes. And then the analysis of RZS still works (we think), but now you are glueing along stacky curves whose Pic^0 may be zero (or finite).

In fact, looking at 1-parameter families of supersingular elliptic K3 surfaces (which we know exist) we proved this kind of behaviour must happen, i.e., the Abramovich-Vistoli limit must produce a reducible stacky limit curve C_0. This is not a contradiction with the previously mentioned good reduction of K3 surfaces, as what (probably) happens is that one of the irreducible components X_0 is a K3 and the others are (for example) rational elliptic surfaces. Slogan: there is a difference between limits of X as an abstract surface and limits of X as an elliptic surface.

Unirational surfaces are supersingular. Shioda gave an example of a supersingular surface with q = p_g = 0 which is not unirational. However, he also conjectured

Let X be a simply-connected surface (i. e. without connected etale covering of degree > 1) in char p > 0. Then X is unirational if and only if it is supersingular.

As far as I can tell this conjecture is still open (please let me know if this is no longer the case). To try and disprove this, we can try to find “new” examples of supersinguar surfaces. E.g., we can look for whole families of them as in the next paragraph. But, we can also look for “sporadic” surfaces (like Fermat surfaces for which the conjecture is known). In fact, I don’t know if for every p > 5 there is a supersingular quintic surface we could try the conjecture on (again, please let me know if there are examples). I also tried to find new ones by computation which I will report on in the next blog post.

In fact, I can point out some examples for which I don’t know if the conjecture holds. Let C and C’ be supersingular hyperelliptic curves in char p > 2 and let i, i’ denote the hyperelliptic involutions. Note: for p > 2 there exists a 1-parameter family of supersingular hyperelliptic curves for genus 2 and for genus 3 too (Oort). Then let X be the resolution of singularities of (C x C’)/<(i, i')>. It seems to me that \pi_1(X) = 0 and of course X is supersingular. But I don’t know how to prove that X is unirational, do you? Countably many cases of this are discussed by Shioda and others (eg when the curves C and C’ are related to Fermat curves); also if C and C’ are elliptic curves, then X is a Kummer surface and X was proved to be unirational by Shioda (a beautiful alternative non-computational proof of this was found by Katsura).

Moduli of supersingular surfaces. Suppose given a family of surfaces over a base B, for example the universal family of quintic surfaces in P^3. What one can try is look at the lower bound on the codimension of the supersingular stratum in B using the fact that Newton polygons jump in codimension 1 (if they do jump). We tried this on the first day and it turns out that for quintic surfaces in P^3 and for elliptic surfaces which are not K3 and not rational, the lower bound you get is higher than the dimension of B, i.e., it is useless. In fact, I would like to know

Are there infinitely many primes p such that there is a 1-parameter family of supersingular quintic surfaces?

In fact, I don’t know a 1-parameter family of supersingular quintic surfaces except for p = 5. Of course, we can ask the displayed question for surfaces of any given degree > 4 in P^3. Also, we can ask this for elliptic surfaces of given height > 2 (i.e., not rational or K3).

But, looking around the literature, families of supersingular surfaces seem to be hard to come by and the ones I’ve found are always families of unirational surfaces (so useless from the point of trying to address Shioda’s conjecture). Please let me know if you know of examples where unirationality (currently) isn’t known.

To finish the discussion let me mention two examples of families.

For surfaces in P^3 we can consider the Zariski surfaces

X : T_0^p = F(T_1, T_2, T_3)

where F is a general homogeneous form of degree p. Such a surface has a large number of A_{p – 1} singularities and the desingularization X is a unirational surface. If I understand well, then all the new algebraic cycles come from the resolution of the singularities.

Let q be a power of p. In Shioda’s paper one finds the family of surfaces

T_0^q T_2 + T_1^q T_3 + T_0 F(T_2, T_3) + T_1 G(T_2, T_3) = O

where F, G are degree q homogeneous without common factors. These are smooth and unirational and have 2q – 2 moduli.

Back from Seattle

Just got back from a workshop/conference organized by Max Lieblich. Thanks for all the comments you guys left on the Stacks project this week. I just finished dealing with these and I am ready for more.

One word about submitting slogans: let’s try to really think about using different language in the slogans. It doesn’t need to be entirely mathematically correct or be entirely equivalent to the actual statement. Maybe the idea is even to make the reader think a little bit about why the slogan is a slogan for the result in question. If while using the sloganerator you come across a lemma and the only slogan that comes to mind is very close to the actual statement, then you can just click on “get new tag” to see if the next one is “more fun” so to speak.

Also, we now have almost 150 contributors to the Stacks project. I need 4 more of you to leave an intelligent comment (for example) with your name. Thanks!

Stacks incubator?

Here is the idea (stolen from the cring project): collect any expository notes written by you and put them on the web under the GFDL. Why? I have several reasons:

  1. I have many times come across good expositions by younger people of (parts of) results in our field which ultimately disappear as the webpage is removed when the person moves on.
  2. It turns out to be very helpful to use an initial write-up on some topic (no matter how badly written) to start a new chapter or a new section of the Stacks project.
  3. Keep a record of past contributions in this form; this will allow people to compare the older version of material with what it transforms into in the Stacks project.
  4. Expositions may cover results from the Stacks project sketching alternative proofs, more elementary treatments, etc.
  5. Outlining more advanced material can be done in such notes, even if the necessary preliminaries aren’t yet available in the Stacks project.
  6. Lower the threshold for participation in the Stacks project.

The last one because we’ll accept any latex source that compiles whose content is suitable (is about algebraic geometry, sheaves, commutative algebra, stacks, cohomology, dgas, etc).

I haven’t yet started a repository on github for this because I want your input on the name. It seems that using “incubator” is American English. Here are some (silly) alternative names for the repository: “Stacks dump”, “Stacks raw”, “Stacks stack” or “Stacks stock”. Please leave a comment if you have a preference for one of these or if you have another (sillier) name to suggest.

Once the repository goes up we can after a while set up a web page which displays compiled (pdf) versions of these notes somewhere. We can have a big sign telling the casual visitor that these notes are just there in the hope that they will help out understanding the material.

I will try to initially populate the repository with latex files sent to me over the past 6 years some of which have already gone into the Stacks project and some of which haven’t. (If this concerns you I will email you and ask for your permission before I do so, or you can email me to remind me.) Also, please feel free to email me anything that fits the description given above (stacks.project@gmail.com).

Note, note, note: You can do whatever you want with material you write yourself; you own it. To emphasize this, I always suggest people who contribute material to the Stacks project, to keep a copy of their work on their webpage, or post it on the arxiv, or whatever. The same is true for submitting to the incubator (or whatever it will be called). If later you realize you want to turn whatever you contributed into a paper (to be published) you can certainly do so (and at your request we can even remove anything you contributed, as long as it hasn’t gone into the Stacks project yet).

Finally, if you have a friend with a nice write-up, gently suggest they consider the incubator…

Sloganerator

Pieter Belmans and Johan Commelin have added a bunch of new features to the Stacks project website:

  1. Nested enumerations are now displayed correctly; this lemma is an example.
  2. Outside references are more visible; this lemma has one.
  3. Footnotes are now displayed as footnotes; this section has four footnotes.
  4. They have implemented a system for historical remarks; Nakayama’s lemma is currently the only tag which has a historical remark.
  5. They have implemented a system for slogans; these lemmas are examples (look at the top underneath the header and breadcrumb).
  6. They have written the sloganerator; click or read below.

Huge thanks for all the work put into this by Pieter and Johan.

What is the sloganerator? Roughly, it gives you a random result from the Stacks project and asks you to type in a slogan describing the result. Your suggestion will become a comment on the tag’s page the Stacks project website. In due time we will then add the slogan to the actual Stacks project and you slogan will become visible as in the examples above.

The idea of having “slogans” or “human readable” descriptions of the results in the Stacks project has been around for a while. See this blog post and follow the links to the older blog posts. This will hopefully give you a better idea of what this is all about.

Thanks!

PS: If you’d like to suggest a slogan on any given tag of the Stacks project, then please just leave a comment on the tag’s page. Similarly with outside references and historical remarks.

Dilatations

This is a follow up of Example wanted. There I ask for two examples.

Firstly, I ask for a Noetherian local domain A such that its completion A* has an isolated singularity and such that Spec(A) does not have a resolution of singularities.

I now think such an example cannot exist. Namely, conjecturally resolution for Spec(A*) would proceed by blowing up nonsingular centers each lying about the closed point, which would transfer over to Spec(A) thereby giving a resolution for Spec(A).

Secondly, I ask for a Noetherian local ring A and a proper morphism Y —> Spec(A*) of algebraic spaces which is an iso above the puctured spectrum U* which is NOT the base change of a similar morphism X —> Spec(A).

As Jason pointed out in the comments on the aforementioned blog post, to get such an example we have to assume that A is nonexcellent since otherwise Artin’s result on dilatations kicks in to show that X does exist. In fact we have the following:

  1. We may assume A is henselian, see Lemma Tag 0AE4
  2. It holds when A is a G-ring, see Lemma Tag 0AE5
  3. There exists a blow up Y’ —> Spec(A*) with center supported on the closed point which dominates Y and which is the base change of some X’ —> Spec(A) as above, see Lemma Tag 0AE6 and Lemma Tag 0AFK.

I’ve tried to make a counter example for non-G-rings, but failed. So now I am beginning to wonder: maybe there isn’t one?

If so, then perhaps Artin’s result on dilatations (in formal moduli II) holds for Noetherian algebraic spaces without any supplementary conditions. Yes, this is a ridiculous step to take (Artin’s result is about formal algebraic spaces and a lot stronger than the question asked above), and I say this, not because I have a good reason to think this is true, but just to make it easier for you and me to make a counter example. I don’t have one, do you?

You should probably stop reading here, because now things become really vague. Looking at affine schemes \’etale over Y leads to the following type of question. Suppose that f : V* —> Spec(A*) is a finite type morphism with V* affine and f^{-1}(U*) —> U* \’etale. Then we can ask whether V* is the base change of a similar type of morphism V —> Spec(A). The answer is a resounding NO because for example the morphism f could be an open immersion whose complement is a closed subscheme of Spec(A*) which is not the base change of a closed subscheme of Spec(A). But suppose we only ask for a V —> Spec(A) such that the m_A-adic formal completion of V is isomorphic to the m_{A*}-adic formal completion of V*? Namely, if this question has a positive answer, then we might be able to use this to construct an X as above whose base change is Y by glueing affine pieces. I also would dearly love a counter example to this question (again it holds if A is a G-ring so a counter example would have to involve some kind of bad ring). [Edit July 25, 2014: The existence of these algebras follows from the paper by Elkik on solutions of equations over henselian rings. So no counter examples.]

Anyway, any suggestions, ideas, references, etc are very welcome. Thanks!

Bibliography + references

As I’ve said before I want to add more outside references everywhere locally in the Stacks project. Here is a way you can help: follow this link to find a listing of all results in the Stacks project whose LaTeX environment is coded as a theorem or a proposition (many important results from the literature are called lemmas in the Stacks project — if you want you can complain about this too). Then look through the list to see if you know a precise reference for one of these results (what I mean is a precise theorem/proposition/lemma in a paper which is mathematically very closely related, e.g., logically equivalent, a special case, or a generalization, or overlapping in many instances, etc). Then either leave a comment on the corresponding tag’s page or send an email to stacks dot project at google mail. Thanks!