OK, I went through all of the comments and we have a brand new version of the Stacks project. The last time we did this was on March 3, 2023. We now have more than 600 contributors. Enjoy!
Category Archives: Uncategorized
Postdoc position
This is to advertise a 2 year research post-doc position with me here in the math dept at Columbia University. We have a very active and strong department and you will get to work with me (I hope that is a plus for you). We are also close to the CUNY graduate school, NYU Courant institute, Rutgers University, Princeton University, the Institute of Advanced Study, Stony Brook University and the Simons Center, etc. Living in NYC isn’t bad either. So apply on mathjobs here!
Endomorphisms of the Koszul complex
Let k be a ring, for example a field. Let R be a k-algebra. Let f_1, …, f_r be a regular sequence in R such that k → R/(f_1, …, f_r) is an isomorphism. Let K be the Koszul complex over R on f_1, …, f_r viewed as a cochain complex sitting in degrees -r, …, 0. See Tag 0621. Then we are interested in the hom-complex
E = Hom_R(K, K)
constructed in Tag 0A8H which we may and do view as a differential graded R-algebra, see for example Tag 0FQ2. This algebra is interesting for many reasons; for example because there is an equivalence
D(E) = D_{QCoh, V(f_1, …, f_r)}(Spec(R))
Here the LHS is the derived category of dg E-modules and the RHS is the derived category of complexes of quasi-coherent modules on Spec(R) supported set theoretically on f_1 = … = f_r = 0. To prove this equivalence, use Tag 09IR to see that K gives a generator of the RHS and argue as in the proof of Tag 09M5.
Recall that the underlying R-module of K is the exterior algebra on the free module of rank r, say with basis e_1, …, e_r. For i = 1, .., r let v_i : K → K be the operator given by contraction by the dual basis element to e_i. Of course v_i has degree 1 and a computation shows that v_i : K → K[1] is a map of complexes. Similarly, the reader shows that v_i ∘ v_j = – v_j ∘ v_i and v_i ∘ v_i = 0. Thus we obtain a map of differential graded k-algebras
k 〈 v_1, …, v_r 〉 → E
with target E and source the exterior algebra over k on v_1, …, v_r in degree 1 and vanishing differential. A bit more work shows that this map is a quasi-isomorphism of differential graded k-algebras; this is where we use the assumption that f_1, …, f_r is a regular sequence so the koszul complex is a resolution of R/(f_1, …, f_r) by Tag 062F.
Applying Tag 09S6 we conclude that
D(k 〈 v_1, …, v_r 〉) = D_{QCoh, V(f_1, …, f_r)}(Spec(R))
Cheers!
Workshop
We had a very successful Stacks project workshop. Here is a picture:
If I have time later this week, I will report here on what happened during the workshop with focus on the activities in my group.
A Jouanolou device
Let X be a scheme or an algebraic space. A Jouanolou device is a morphism Y → X such that Y is an affine scheme and such that Y is a torsor for a vector bundle over X.
A scheme with an ample family of invertible modules has a Jouanolou device (due to Jouanolou and Thomason). This is called the “Jouanolou trick”.
Let X be quasi-compact with affine diagonal. Consider the following conditions
- X has the resolution property
- X has a Jouanolou device
- X is the quotient of an affine scheme by a free action of a group scheme
- X is the quotient of a quasi-affine scheme by a free action of GL_n for some n
We know from Thomason, Totaro, and Gros that 1, 3, and 4 are equivalent. It is easy to see that 2 implies 3.
I am going to sketch an argument for 1 ⇒ 2. It may be in the literature; if you have a reference, please email me or leave a comment. [Edit: see end of this post.] Thanks!
The case of schemes is easier so I will explain that first. So, assume X is a quasi-compact scheme with affine diagonal and with the resolution property. By standard methods we reduce to the case where X is also of finite type over the integers, i.e., we may assume X is Noetherian. Let X = U_1 ∪ … ∪ U_n be a finite affine open covering. Let I_i ⊂ O_X be the ideal sheaf of the complement of U_i. By the resolution property, we may choose a finite locally free O_X-module V and a surjection V → I_1 ⊕ … ⊕ I_n. Thus we have
V → I_1 ⊕ … ⊕ I_n → O_X
Let E be the dual of V and let O_X(m_1 D_1 + … + m_n D_n) be short hand for SheafHom_{O_X}(I_1^{m_1} … I_n^{m_n}, O_X). Warning: this is just notation and we do not think of D_i as an actual divisor. Taking the dual sequence we obtain
O_X → O_X(D_1) ⊕ … ⊕ O_X(D_n) → E
If s : O_X → E is the composition, then we can consider
f : Y = RelativeSpec_X(Sym^*(E)/(s – 1)) → X
Since the section s is nowhere zero, this is a torsor for a vector bundle. To finish the proof we have to show that Y is affine. To see this it suffices to show that H^1(Y, G) = 0 for every coherent O_Y-module G. Since f_*G is a direct summand of f_*f^*f_*G it suffices to prove that for every coherent O_X-module F the map H^1(X, F) → H^1(X, f_*f^*F) is zero. This will be the case if for every element ξ in H^1(X, F) there exists an m > 0 such that the image of ξ by the map
F = F ⊗ O_X → F ⊗ Sym^m(E)
is zero. Finally, the key point is that the map O_X → Sym^m(E) factors through the map
O_X → ⨁ O_X(m_1 D_1 + … + m_n D_n)
where the sum is over m_1 + … + m_n = m. Thus it suffices to show that ξ dies in H^1(X, F ⊗ O_X(m_1 D_1 + … + m_n D_n)) provided m is large enough. Since m_i > m/n for at least one i, we see that it suffices to show that ξ dies in H^1(X, F ⊗ O_X(m D_i)) for m large enough. This is true because (U_i → X)_*O_{U_i} is the colimit of the modules O_X(m D_i) and hence we have
colim H^1(X, F ⊗ O_X(m D_i)) = H^1(U_i, F|_{U_i}) = 0
Here we use that the open immersion U_i → X is affine and that U_i is affine. This proves the schemes case of the assertion.
How do we change this argument when X is an algebraic space? We reduce to X of finite type over the integers as before. We replace the affine open covering by a surjective etale morphism U → X where U is an affine scheme. Using Zariski’s main theorem we may assume that U is a dense and schematically dense affine open of an algebraic space Z which comes with a finite morphism π : Z → X. Let I ⊂ O_Z be the ideal sheaf of the complement of U. If π where finite locally free, there would be a trace map tr : π_*O_Z → O_X. The replacement for this is that, after replacing I by a large positive power, there is a map
τ : π_*I → O_X
such that for a point u ∈ U with image x ∈ X the restriction of τ on the summand O^h_{U, u} of (π_*I) ⊗ O^h_{X, x} is given by the trace map for the finite free ring map O^h_{X, x} → O^h_{U, u}. In particular, τ is surjective. Choose a finite locally free O_X-module V and a surjection V → π_*I. Thus we have
V → π_*I → O_X
Let E be the dual of V and let s : O_X → E be the dual section. As before we have to show that Y = RelativeSpec_X(Sym^*(E)/(s – 1)) is affine.
Before we prove this, we can reduce to X integral and even normal. Namely, if X’ → X is finite surjective and if we can show that the base change of Y to X’ is affine, then it follows that Y is affine (see Tag 01ZT). The reader can check that the situation after base change has all the same properties as the situation before base change.
OK, we continue the proof that Y is affine, but now with X normal irreducible. Arguing as in the case of schemes, we reduce to proving that given F coherent on X and ξ ∈ H^1(X, F) then for m large enough ξ maps to zero in H^1(X, F ⊗ Sym^m(E)). Observe that Sym^m(E) is dual to the sheaf Syt^m(V) of symmetric tensors. Thus we consider the map
τ^m : Syt^m(π_*I) → O_X
Then I claim given m_0 for all m ≫ m_0 the map τ^m is a sum of compositions
Syt^m(π_*I) → π_*(I^a) ⊗ Syt^{m – a}(π_*I) → O_X
for a ≥ m_0. Here the first map comes from the multiplication maps and the second uses τ on the first tensor factor and some linear map Syt^{m – a}(π_*I) → O_X on the second tensor factor. It follows that F → F ⊗ Sym^m(E) is a sum of maps which factor through F → SheafHom(π_*(I^a), F) for some a ≥ m_0. Thus it suffices to show that
colim SheafHom(π_*(I^a), F)
is the pushforward of a coherent module on U to get the desired vanishing (argument as in the schemes case). This holds because it is the pushforward of the pullback of F as follows from Deligne’s formula and ω_{U/X} ≅ O_U. This finishes the sketch of the proof.
A word about the claim. To prove it we construct global maps over X and then we prove the equality on stalks at the generic point of X (this is why we reduced to the case where X is normal irreducible). Let us first explain what is happening in the generic point. Say L is a finite separable algebra of degree n over a field K. Let τ : L → K be the trace map. Denote Syt^m(L) the symmetric tensors in the mth tensor power of L over K. For m large enough we will write
τ^m : Syt^m(L) → K
as a sum of maps
Syt^m(L) → L ⊗ Syt^{m – a}(L) → K
for a ≥ m_0 where the first arrow uses the product on the first a tensors and the second map is of the form τ \otimes f_{m – a} for some linear map f_{m – a} : Syt^{m – a}(L) → K. In fact f_{m – a}(alpha) will be a universal polynomial in the coefficients of the characteristic polynomial of alpha over K. Thus to prove this we may reduce to the case where K is algebraically closed. Then L = K x … x K is a product of n copies of K. In this case, the dual statement, in terms of symmetric polynomials, asks the following: we have to write the polynomial
(x_1 + … + x_n)^m
as a sum of polynomials
(x_1^a + … + x_n^a) f_{m – a}
for a ≥ m_0 where f_{m – a} is some element in the Z-algebra S of symmetric polynomials in x_1, …, x_n. Now this is possible because the element x_1 + … + x_n maps to a nilpotent element of
S /(p_a; a ≥ m_0)
as the reader easily verifies. To finish the proof, all that is required is to observe that the polynomials f_{m – a} do indeed produce linear maps Syt^{m – a}(π_*I) → O_X over X as X is normal (details omitted).
Thanks for reading!
Edit 6/25/2023. Burt Totaro emailed to say that one can deduce the existence of the Jouanolou device more directly from his and Gross’s papers. I agree. For example, we may using their papers write X as W/GL_n with W quasi-affine and then use the “equivariant Jouanolou trick” in Section 3 of Burt’s paper to get the Jouanolou device for X. Or one can modify the arguments in Burt’s paper directly and get a simple, short, direct proof. I gave the argument above because for a while I’ve wanted to make the thing about powers of the trace map work but didn’t succeed until the writing of this blog post.
Updated once more
Thanks for all the comments. I looked at each and every one of them that got posted since the last update and I fixed all typos, etc, that were pointed out. I cannot follow up on all suggestions made in the comments for reasons of time.
There haven’t been a lot of actual errors pointed out recently — I don’t think this means there aren’t any, so please keep looking for those. Thanks!
Sections vs retractions
This is just a warning for readers of the Stacks project: please be careful as I think I don’t know left from right. As a consequence, the text of the Stacks project sometimes uses the phrase “section” when it should be using “retraction”. Similarly, watch out for confusion between “left inverse” and “right inverse”.
If you find occurrences of this, just leave a comment to point it out and we’ll fix it.
Thanks!
Updated again
After a little snafu with python packages over the last few days, the Stacks project is now updated with your latest comments incorporated. Many thanks to Alex Scheffeling, Zhiyu Zhang, and David Holmes for their help in responding to comments.
Please keep leaving comments. Please be as precise as you can. From top to bottom the most valuable comments are
- Pointing out mathematical errors in proofs.
- Pointing out specific steps in a proof you do not understand.
- Pointing out typos which make it harder to understand the mathematics, e.g., if symbols are mixed up or if the arrows point in the wrong direction.
- Pointing out that a reference is to the wrong tag.
- Precise suggestions as to how to clarify a proof.
- Alternative proofs, written out in detail and checked to not use forward references.
- Spelling errors.
- Punctuation.
- Whitespace errors:)
The reason that alternative proofs are so low on this list is that of course almost every mathematical result can be proven in a 100 different ways.
Thanks very much for helping out!
Help wanted
So I am going through the comments left on the Stacks project and many of the comments could have been answered more quickly. I do scan new comments quickly to see if they are pointing out a serious error with the material, because if so I want to be on top of it! But generally speaking I only go through the comments in detail only once every so often.
Anyway, I was wondering if anybody is interested in helping out with answering comments? Let me describe a bit more what I have in mind. Your task would be to monitor activity and take a first stab at responding to comments. Often comments point out trivial typos, sometimes a comment identifies a small error in a proof, or occasionally a comment suggests improvements to a proof and/or statement of a lemma. In these cases you could just quickly make local edits in the relevant latex file and communicate that to me. Or, if you know how to use git I can give you access to the repository to push the corresponding changes directly. Finally, if a more serious error is pointed out we can figure out how to fix it together.
You don’t need to understand all the material in the Stacks project as you can often figure out what went wrong by looking locally at the material. Or you can just answer only comments on certain topics; we don’t need all the comments to be answered quickly. Finally, we can have multiple people dealing with comments as well.
Anyway, let me know by email if you are interested!
Update May 19: Thanks to some people offering to help I am no longer actively looking. You can of course always informally help out by answering questions that people leave in the comments or by pointing out mistakes and/or improvements to the exposition!
Supports of flat modules, part B
Part A is this post. Let me prove the opposite of what the exercise in part A wrongly claimed (sigh).
Lemma: Let Z —> Y be a finite morphism of affine schemes. Then there exists a closed immersion Z —> Z’ of schemes over Y such that Z’ is finite syntomic over Y.
Remark: If we embed Z’ into a smooth scheme X over Y, then F = O_{Z’} is a coherent O_X-module flat over Y such that the generic points of Z are associated points of the restriction of F to their fibres.
Proof: Write Y = Spec(A) and Z = Spec(B). Choose generators b_1, …, b_r of B as an algebra over A. As B is finite over A, each b_i is the root of a monic polynomial P_i with coefficients in A. Then B’ = A[x_1, …, x_r]/(P_1(x_1), …, P_r(x_r)) is finite syntomic over A and Z’ = Spec(B’) works. EndProof.
The point I want to make in this post is that we have some equidimensionality result for associated points of flat modules, namely EGA IV, Proposition 12.1.1.5 (see Tag 0GSF). It implies the following: suppose that f : X —> Y is smooth with Y Noetherian and irreducible. Suppose that F is coherent on X and flat over Y. Let x be a point of the generic fibre of f which is an associated point of F. Then the zariski closure Z ⊂ X of the singleton {x} has the property that Z —> Y is equidimensional!
So for example, there is no finite module M over k[x, y, z] which is flat over k[x, y] such that (x – yt) is an associated prime of M. Presumably, you can see this directly? Is it easy? I didn’t try.
Enjoy!