In the title I am referring to a result in the paper “Solutions d’équations à coefficients dans un anneau hensélien”.

I’ve completely forgotten how to make mathematical symbols appear in blog posts. So this blog post will use ugly workarounds to get the mathematics across. Sorry!

Let A be a Noetherian ring. Let I be an ideal of A. Let A —> B be a ring map such that B is I-adically complete and such that B/IB is of finite type over A/I. Then we say A —> B is rig-smooth if the “completed” naive cotangent complex NL_{B/A}^\wedge 0AJL has the following property: over the complement of V(IB) in Spec(B) it only has cohomology in degree 0 and this cohomology is a finite locally free module there. (I intend to add this definition to the Stacks project soon.)

Elkik’s Theorem 7: If I is a principal ideal and A —> B is rig-smooth, then B is the I-adic completion of a finite type A-algebra.

Question: Does this theorem also hold if I is not principal?

This question was asked by Temkin in this paper in Remark 3.1.3 part (iii).

I do not know any application of this if it were true. Moreover, I am having a very hard time even coming up with a possible scenario in which you could apply this and not one of the many closely related things that I do know how to prove. But this is of course just one of those things one goes through as a mathematician: once a question has been asked it is hard to stop thinking about it.

Anyway, I would be grateful for any ideas of comments you might have about the question. Please either email me or leave a comment on this post. Thanks!

Let me list the things I think I can prove (caveat emptor):

1. It is true if I is principal but more generally when the complement of V(IB) in Spec(B) is affine
2. It is true if B is rig-etale, see 0AKA
3. It is true if A is an excellent ring
4. There exists an ideal J = (b_1, …, b_m) in B such that V(J) = V(IB) and such that the I-adic completion of the affine blow-up algebras B[J/b_i] are completions of finite type A-algebras

The final statement says that locally on the rigid space associated to the formal scheme Spf(B) we have the algebraizability (spelling?) that we want. The second statement is what we use in the Stacks project to reprove a strong version of Artin’s algebraization of dilatations. I am hoping to upgrade the relevant chapter of the Stacks project and add a discussion of Artin’s theorem on contractions.

Thanks for reading!

Thanks to all those who helped out. As usual, many of the comments were more interesting than they appeared at first sight. The most helpful are comments which (1) address the mathematics directly, (2) point out precisely what the problem is, (3) if possible give a definite suggestion as to how to fix or improve things, (4) are left on the page of the smallest unit that is being commented on (so if commenting on a lemma go to the webpage that only displays that lemma). You can leave mathematics in the comment (using latex) and when this is done I can steal your latex code when I make my edits which helps! Of course, the editor for leaving comments isn’t perfect, but it mostly works.

Thanks again!

Another thing: if people ask questions about the mathematics, I don’t always answer those questions. But you, dear reader, can answer those questions too. I welcome that!

OK, I worked through all the comments once more. Thanks to everybody for contributing!

OK, this time there won’t be a party. Sad, but you know why. The main new addition that got us over the hump was the chapter on derived categories of varieties. I hope you enjoy it.

The previous posts of this nature are 6000 pages, 5000 Pages, 4000 pages, 3000 pages, and 2000 pages.

This is a continuation of the post Purity (part 2). Thanks to an email from János Kollár we now know that the answer to the question is no for relative dimension ≥ 2 as I will explain in this post. All mistakes in this post are mine (of course).

Take a large integer n. The minimal versal deformation space (Y, y) of the rank 2 locally free module O + O(n) on P^1 has dimension n – 1 and is smooth. Let X’ be the projectivization of the universal deformation over Y x P^1. Then X’ → Y is a smooth projective family of Hirzebruch families. The fibre Σ = X’_y is the Hirzebruch surface Σ → P^1 which has a section σ with self-intersection -n. Recall that the Picard group of Σ is generated by σ and a fibre F. Consider the invertible module L on X’ whose restriction to Σ is D = -K + (n – 2)F. A computation shows that

1. D σ = 0
2. H^1(O_Σ(D)) = H^2(O_Σ(D)) = 0
3. H^0(O_Σ(D)) has dimension 3n + 3 and gives an embedding of the contraction of σ in Σ into P^{3n + 2}

However, every other fibre of X’ → Y is a Hirzebruch surface whose directrix has self-intersection > -n. Hence -K + (n – 2)F will not contract the directrix on any other fibre. We conclude that L defines a factorization X’ → X → Y where we are constracting σ on Σ to a point x in X and nothing else. Thus f : X → Y is a morphism of varieties, Y is smooth, X is a normal variety, and f is smooth at all points except at x. Thus we see

codim Sing(f) = n – 1 + 2 = n + 1

Since the question was whether codim Sing(f) ≤ 1 + 2 we see the answer is very much no in the case of relative dimension 2.

For relative dimension d ≥ 2 we take the morphism X x A^{d – 2} → Y which has a singular locus still of codimension n + 1 and hence this shows the answer is no as soon as n > d.

As far as I know the question remains unanswered for relative dimension 1 (besides the one subcase of relative discussed in the previous post on this topic). Please let me know if you have an idea or an example.

PS: As János points out the morphism f constructed above is even flat and the fibres of f have rational singularities. Thus it seems unlikely there is a class of singularities strictly bigger than the lci ones (see previous post) for which purity holds.

PPS: Another question is whether examples like this can help us find examples of other purity statements gone wrong.

I would like to advertise this talk in the Stanford AG Seminar.

Will Sawin – The Shafarevich Conjecture for Hypersurfaces in Abelian Varieties

Time: Mar 27, 2020 07:00 PM Eastern Time (US and Canada)

To join the zoom meeting please email me and I will send you the link.

Abstract: Faltings proved the statement, previously conjectured by Shafarevich, that there are finitely many abelian varieties of dimension n, defined over the rational numbers (or another fixed number field), with good reduction outside a fixed finite set of primes, up to isomorphism. In joint work with Brian Lawrence, we prove an analogous finiteness statement for hypersurfaces in a fixed abelian variety with good reduction outside a finite set of primes. I will give a broad, intuitive introduction to some of the ideas in the proof, which combines tools from different areas in algebraic geometry, arithmetic geometry, and number theory, and builds heavily on recent work of Lawrence and Venkatesh.

Please don’t read this unless you want to be distracted in these difficult times and you enjoy thinking about elementary problems in etale cohomology. I am going to pose a challenge computing etale cohomology by Cech coverings.

The setting. We have a quasi-projective scheme X over an algebraically closed field k, a prime number ℓ different from the characteristic of k and a constructible sheaf F of Z/ℓ Z vector spaces. Next we have a cohomology class ξ in the etale cohomology group H^i(X, F). By a result of Artin, the cohomology of F over X is the same as the Cech cohomology with respect to etale coverings, but (of course) you have to take the colimit of all etale coverings. Thus we know there exists an etale covering cU = {U_i —> X} and a degree i Cech cohomology class ξ’ for cU and F which maps to ξ in H^i(X, F).

The problem I want to think about is this: is there a notion of minimal etale covers cU such that you can represent ξ by a Cech cohomology class for that covering.

Let’s do an example. Take X = P^1 the projective line and take F the constant sheaf Z/ ℓ Z. Then there is a nonzero class ξ in H^2(X, F). Then we can try and minimize (one at a time) the following numerical invariants of Cech coverings \cU = {U_i —> X}_{i = 1, …, n} such that ξ can be represented as a Cech cohomology class on them:

1. the sum of the number of connected components of U_i,
2. the sum of the geometric genera of the components of the U_i,
3. the sum of all the betti numbers of the U_i, or
4. the sum of the degrees of the morphisms U_i —> X.

I will edit this and put other suggestions here in the future

Rmk: Observe that if cU = {U_i —> X}_{i =1, …, n} is an etale covering, then so is {U —> X} where U is the disjoint union of the U_i and these covering have identical Cech complexes. Hence whatever invariant we use, it shouldn’t distinguish between these coverings, for example we shouldn’t use “n” as an invariant.

Rmk: for etale cohomology we have to use “regular” Cech cohomology, not alternating Cech cohomology.

Rmk: It might be better to work with etale hypercoverings and define numerical invariants for those.

Back to the example, here is a covering that works. Let t be a coordinate on P^1. Let U_0 = G_m with coordinate x mapping to t = x^ℓ in P^1. Let U_1 = G_m with coordinate y mapping to t = y^ℓ + 1. Let U_2 = G_m with coordinate z mapping to t = z^ℓ / (z^ℓ – 1). The (double) fibre product of U_0 and U_1 over P^1 is connected and similarly for U_0 and U_2 and for U_1 and U_2. However, the (triple) fibre product of U_0 and U_1 and U_2 over P^1 is disconnected because a computation shows that (x^{-1}yz)^ℓ = 1 and hence x^{-1}yz has to be an ℓth root of 1. This suggests that we can write down an interesting Cech cohomology class in degree 2 for this etale Cech covering and indeed this is true. To actually prove that ξ can be represented by a Cech cohomology class for this covering, you can proceed as follows: first compute the obstruction to representing ξ by a Cech cohomology class for the open covering P^1 = (P^1 – {0}) cup (P^1 – {∞}). This is an element of H^1(P^1 – {0, ∞}, F). Then show this obstruction dies when passing to the covering {U_0 –> P^1, U_1 —> P^1, U_2 —> P^1} which refines the two part open covering because the H^1 element dies on U_i \times_{P^1} U_j for all i, j. Anyway, my solution gives the invariants as in list above:

1. For this invariant I get 3 because U_0, U_1, U_2 are connected
2. For this invariant I get 0 because U_0, U_1, U_2 are rational
3. For this invariant I get 6 because U_0, U_1, U_2 are G_m
4. For this invariant I get 3ℓ because the maps U_i —> P^1 have degree ℓ

Challenge: Can you improve for any of these invariants on the numbers I get? I’ve tried to improve on the first invariant without success so far.

OK, we are still planning to have the Stacks project workshop this summer. I am slowly trying to work on having a new t-shirt or sweat shirt. I asked my youngest and middle son to make some artwork. Here is what they came up with for the front and back of the shirt.

I’ve ordered 3 shirts with these pictures on it for me and my sons; I will post a picture here when we get them. But a question I have is what text (if any) to put with these pictures. What I came up with was

• Front: Climbing mathematics…
• Back: You can keep going

This doesn’t really work very well. Instead what one of my sons came up with was

• On the stack
• No looking back

and I think it’s better. What do you think? Do you have a suggestion?

There is an interesting question on mathoverflow by Damian Rössler.

His question reminds me of an approach to constructing determinants of perfect complexes that I’ve been meaning to think about. The goal is to do a minimum of computation. For the impatient: the outcome of the discussion below is that you can probably construct determinants in this manner, but that it is of very limited use — in particular it wouldn’t answer Damian’s question and related questions.

Aside: Currently, the Stacks project discusses determinants of perfect complexes only when they have tor amplitude in [-1, 0], see here and here.

Let S be a scheme. Denote Pic(S) the category whose objects are invertible O_S-modules and whose morphisms are isomorphisms of invertible modules. An object E of the derived category D(O_S) is called perfect if it is locally on S quasi-isomorphic to a bounded complex of finite free O_S-modules. Denote Perf-Iso(S) the category whose objects are perfect objects of D(O_S) and whose morphisms are isomorphisms E → E’ of perfect objects of D(O_S). If s ∈ S is a point we denote E ⊗ κ(s) the derived pullback of E to s viewed as the spectrum of its residue field. We often think of E ⊗ κ(s) as an object of D(κ(s)), i.e., as a complex of κ(s) vector spaces.

Let E be an object of D(O_S). We will say E is mighty fine if (a) E is perfect, (b) the cohomology sheaves of E are finite locally free, and (c) for any point s ∈ S the restriction E ⊗ κ(s) of E to s has no two consecutive nonzero cohomology spaces. In other words, if H^n(E ⊗ κ(s)) is nonzero, then both H^{n – 1}(E ⊗ κ(s)) and H^{n + 1}(E ⊗ κ(s)) are zero. Conditions (a) and (c) actually imply condition (b) as follows from the following lemma.

Lemma: Let E be a perfect object of D(O_S). Let s ∈ S be a point such that E ⊗ κ(s) of E to s has no two consecutive nonzero cohomology spaces. Then there is an open neighbourhood U of s in S such that E|_U is mighty fine.

To prove the lemma you can use Lemma 068U to split the complex into a direct sum of vector bundles in a neighbourhood of s in S. (The lemma applies because a perfect complex is pseudo-coherent, see Lemma 0658.)

If E is mighty fine, then we define det(E) as the alternating tensor product of the determinants of the cohomology sheaves of E. This makes sense because these sheaves are finite locally free. The construction is clearly a functor on the category of mighty fine complexes and isomorphisms in D(O_S) between these. Also, it is compatible with pullbacks.

Having made these definitions we impose the following requirements on our determinant: A determinant is a rule that to every scheme S assigns a functor det : Perf-Iso(S) → Pic(S) satisfying the following requirements

1. det is compatible with pullbacks,
2. if E is mighty fine, then det(E) is as above,
3. if a : E → E’ is an isomorphism of mighty fine objects, then det(a) is as above.

We claim that this already almost completely pins down the determinant. To explain this we need another definition.

Let E be an object of D(O_S). We will say E is workable if there exists a quasi-compact open immersion j : U → S which is dense and schematically dense such that E|_U is mighty fine. Observe that by the first axiom of determinants above there always is a canonical map

det(E) ⟶ j_*det(E|_U)

and by our assumptions on j we find that this map is injective! Since we have already constructed the right hand side, we conclude, for example, that if a : E → E’ is an isomorphism in D(O_S), then there is absolutely no choice for the map det(a) : det(E) → det(E’). It must be the unique map det(a) : det(E) → det(E’) compatible with the aready defined map det(a|_U) provided it exists. Moreover, still in the workable case, we’re going to define det(E) as a submodule of j_*det(E|_U) constructed affine locally (see below).

Thus it is useful to have many workable perfect complexes.

Lemma: Let E be a perfect object of D(O_S). For every s ∈ S there exists an open neighbourhood U of s in S and a morphism f : U → V and a workable perfect object E’ in D(O_V) and an isomorphism a : E|_U → f^*E’.

Proof. Locally on S the object E is given by a bounded complex of finite free O_S-modules. Thus locally on S the object E is the pullback of the universal complex on the variety of complexes V = V(r). Here r = (r_i) is a sequence of nonnegative integers almost all zero and V(r) is the scheme parametrizing sequences of size r_{i + 1} × r_i matrices M_i with M_i M_{i – 1} = 0 for all i. The variety of complexes V is a finite type scheme over Z which is reduced by Theorem 10.2 in a paper by Musili and Sheshadri of 1983. The irreducible components of the variety of complexes V are known to be Cohen-Macaulay and normal (although this doesn’t seem to be particularly helpful for us) and moreover these components are distinguished by the ranks of the maps in the complex at their generic points. Finally, it is easy to see that at each generic point one obtains a mighty fine complex — because it is easy to show that over a field any bounded complex of finite dimensional vector spaces which has two consecutive nonzero cohomology spaces can be deformed to a complex with different (smaller) betti numbers for its cohomology. EndProof

Lemma. Let U be a scheme. Consider morphisms f_i : U → V_i, i = 1, 2 where V_i is a variety of complexes with universal complex E_i and an isomorphism a : f_1^*E_1 → f_2^*E_2 in D(O_S). Then, Zariski locally on U, there exists a morphism of schemes g : U → W and smooth morphisms g_i : W → V_i, i = 1, 2 and a map of complexes b : g_1^*E_1 → g_2^*E_2 which is a quasi-isomorphism such that f_i = g_i o g and a = g^*b. (In particular the complexes g_i^*E_i are workable as the pullback of a workable complex by a flat morphism of schemes.)

Proof sketch. Say V_1 = V(r1) and V_2 = V(r2) for some rank vectors r1, r2. Zariski locally on U the isomorphism a is given by a map of complexes between the pullbacks of the universal complexes. Thus we can let W be the scheme of finite type over Z parametrizing maps of complexes with rank vectors r1 and r2 which are moreover quasi-isomorphisms. Then deformation theory of complexes shows that both forgetful maps W → V_1 and W → V_2 are smooth (this uses that we are versally deforming E_1 on V_1 and E_2 on V_2). EndProof

These lemmas show that it suffices to produce a sufficiently canonical determinant for the pullback of the universal complexes over the varieties of complexes by smooth morphisms. I think this reduces us to the algebra problem formulated below. The main point I am trying to make with this post is that now we’re looking for the existence of certain lattices in modules and we are not checking any diagrams commute!

Algebra problem: Given a ring A, a nonzerodivisor f in A, a bounded complex of finite free A-modules M such that M_f is mighty fine, construct a rank 1 locally free A-submodule det(M) ⊂ det(M_f) where det(M_f) is the alternating tensor product of the determinants of the cohomology modules of M_f over A_f which is compatible with pullbacks and with quasi-isomorphisms between such complexes.

For example, if A is a dvr and f is a power of the uniformizer, then we have the lattices H^i(M)/torsion ⊂ H^i(M_f) and we can take the corresponding lattice in the determinant. A similar construction works if A is a valuation ring. If the varieties of complexes are semi-normal (I don’t know if this is true, do you?), then we’d only have to look at Noetherian semi-normal rings A and our choice for dvrs would be enough.

Drawback of this method: One of the properties you want is that given an object (E, F) of the filtered derived category of S such that E and gr E are perfect, then we have a canonical isomorphism det(E) = ⊗ det(gr_i E). However, I do not think it is true that a “versally deformed” pair (E, F) has E and gr E workable. (I think I have a counter example.) Thus the method fails to produce the desired isomorphism in a sort of straightforward manner. Similarly, this method also wouldn’t answer Damian Rössler question… Sigh!

Please read Purity (part 1) first.

Let f : X → Y be a dominant, finite type morphism of integral Noetherian schemes. We assume X is normal and Y regular. Let Sing(f) be the closed set of points of X where f isn’t smooth.

Question: Is codim Sing(f) ≤ 1 + dimension of generic fibre of f?

The discussion in the previous post shows that the answer is yes when f is a morphism between smooth varieties over a field all of whose fibres have the same dimension and that the bound given is best possible.

Dolgachev proved the answer to the question is yes in case X is a local complete intersection over Y (which happens for example if both X and Y are smooth over a common base scheme). There is a paper of Rolf k\”allstr\”om which has this result and much more.

As we’ve seen in the previous post, the answer to the question is “yes” when f is generically finite, i.e., when the dimension of the generic fibre is 0.

In the rest of this post we discuss the case where the generic fibre has dimension 1.

Let f : X → Y be as above with generic fibre of dimension 1. Let x be a generic point of an irreducible component of Sing(f) with image y in Y. We want to show that dim O_{X, x} is at most 2. To get a contradiction, assume this is not the case.

1. dim O_{X, x} = dim O_{Y, y} + 1 – trdeg κ(x)/κ(y) by the dimension formula.
2. If dim O_{X, x} > 3, then dim O_{Y, y} > 2 and we can find a regular divisor Y_0 in Y passing through y = f(x) and thereby reduce the dimension (lots of details missing, but I think this probably can be made to work).
3. Assume dim O_{X, x} = 3 so dim O_{Y, y} = 2 + t where t is the transcendence degree of κ(x) over κ(y).

At the moment I have nothing intelligent to say in the case t > 0; suggestions are welcome. Assume t = 0.

In this case x is a closed point of the fibre. In particular, we see that, after shrinking X we may assume x is the only singular point of the fibre X_y. An argument similar to the one in miracle flatness shows that O_{Y, y} → O_{X, x} must be flat (here we use X is assumed to be normal).

Thus we see that we have to show something like this: given the formal germ C of an isolated reduced curve singularity over an algebraically closed field k there cannot be a flat deformation D/A of C over a 2-dimensional complete regular local ring A with residue field k which smooths out the singularity in all directions (no singular fibres except for the central one).

By an argument, which I think is due to Deligne, such a deformation can be globalized. In other words, given D/A we can find a proper flat family of geometrically connected curves X over Spec(A) and a closed point x of the closed fibre of X such that the completion of X at x is D and such that X is smooth over Spec(A) everywhere except at x. Essentially the way I think about this is that you first “attach” smooth projective curves to the germ C over k and then you use that deformations of curves always are smooth over the deformations of their singularities. In this construction we may and do assume the genera of the irreducible components of the closed fibre are > 1 and a fortiori that the genus of the generic fibre is > 1.

Thus we reduce to showing: there cannot be a flat proper family X of geometrically connected curves over a 2 dimensional complete local regular Noetherian ring A which is smooth except at finitely many points of the special fibre such that all irreducible components of the special fibre have genus > 1.

By a result of Moret-Bailly, given such an X there exists a different family X’ over A which agrees with X over the punctured spectrum and whose special fibre is proper smooth over k. A simple argument (using the genera of components being > 1) shows that X and X’ are isomorphic as schemes over A as desired.

Edit 4-28-2020 The answer is no, see Purity (Part 3)