This is a scheduled post, I’ve been on a vacation for the past week, and I will be for the next. So I might’ve missed some really cool preprints and other links.
Anthony Blanc, Marco Robalo, Bertrand Töen and Gabriele Vezzosi: Motivic realizations of matrix factorizations and vanishing cycles is a very exciting paper. First it generalises the correspondence between singularity categories and Landau–Ginzburg models, then it constructs a functor from noncommutative motives to (Morel–Voevodsky) commutative motives, and finally it gives a deep comparison result between the inertia invariant part of the vanishing cohomology of a morphism and the realization of the category of a Landau–Ginzburg pair. All very complicated, and I would love to understand more about this. But for that I will have to immerse myself a little more in the recent work of the authors.
Bertrand Toën and Gabriele Vezzosi, The l-adic trace formula for dg-categories and Bloch’s conductor conjecture is a research announcement of results that build on the previous fortnightly link. I had missed it when it came out a few weeks ago, but it deserves to be mentioned. Bertrand Toën lectured about this in Stuttgart, and it looks really exciting to see how noncommutative geometry can be used to prove arithmetic results.
Goncalo Tabuada, A note on secondary K-theory II is a nice continuation of an earlier paper by Tabuada. The secondary K-theory of the title is also known as the Grothendieck ring of pretriangulated dg categories à la Bondal–Larsen–Lunts. The goal of the paper is to study the map from the derived Brauer group of a ring (or scheme) to the secondary K-theory, and show that in many cases it is injective.
Piotr Achinger and Maciej Zdanowicz, Some elementary examples of non-liftable schemes constructs examples in characteristic of schemes that do not admit a lifting to characteristic 0 or the ring of second Witt vectors. I always find it funny how you can abuse the Frobenius morphism in ever more twisted ways, or decide to blow up all -rational points, and get something interesting.
Jack Hall and David Rydh: The telescope conjecture for algebraic stacks is a preprint by two nice gentlemen that I met in Banff two weeks ago. The telescope conjecture is a relationship between small and big versions of triangulated categories, and should nowadays rather be called the telescope conjecture as there are counterexamples (the first one due to Keller if I’m not mistaken). The paper shows that in the cases where one expects the hypothesis to hold (one needs noetherianity) it does indeed hold.
Jack Hall and David Rydh: Mayer–Vietoris squares in algebraic geometry is a second preprint they produced recently. It also does what the title promises: discuss Mayer–Vietoris squares. Usually such a square is given by two open subschemes and their intersection, so that you are gluing objects in a topologically intuitive sense. This paper studies many other settings, unifying some of the already existing descent situations.
Today I decided to spend some time improving the website for the Stacks project, fixing bugs and implementing some small improvements. I grouped the issues in the GitHub issue tracker that I wanted to address. Here are two highlights, not because the bugfix was interesting, but because you might learn something about how to use the website.
the search now works better with quotes: If you want to learn about quasicoherent sheaves in the Stacks project, you should first of all know that the spelling quasi-coherent is used. Then it is important to know that if you want to use the search function to find results about quasi-coherent sheaves, you should enclose it with quotes. I.e. the following would be a way of looking for tags mentioning quasi-coherent sheaves on a stack:
Because of a silly implementation mistake by yours truly, the search would be successful, but the keywords would disappear from the search field. This is now fixed.
the captcha is now easier to read: I love it when you can make something better by such a little change. We are now using a font that distinguishes between ‘0’ and ‘O to display the tag identifier. This was a nice idea by Brian Conrad, thanks!
The other bugs are not very interesting, and most of them had a nearly trivial fix anyway.
Because I just keep on forgetting the conditions under which it is known when is generated by a single perfect complex (where is allowed to be an algebraic stack) I decided to write a quick summary post about the state of the art.
I phrase the question in a specific way: for the sake of this blogpost I am only interested in . One can also consider , the derived category of -modules whose cohomologies are all quasicoherent, which under suitable hypotheses is equivalent to the derived category of quasicoherent sheaves via the natural functor . But for the sake of this post, is the main player.
When is a scheme
In this case the result holds if is quasicompact and has affine diagonal.
In the Stacks project it is given in tag 09IS. Observe that the statement is for , but assuming quasicompact and having affine diagonal these categories turn out to be equivalent, which was proven in Bökstedt–Neeman (1993) for the quasicompact separated case, and in tag 08DB in the Stacks project assuming affine diagonal.
When is an algebraic space
In this case the result holds if is quasicompact and has affine diagonal.
This result is not published, but is due to Van den Bergh, from 2005.
When is an algebraic stack
In this case the result holds if is quasicompact and has affine1 and quasi-finite diagonal.
In particular, if I’m not mistaken the result applies to quasicompact Deligne–Mumford stacks having affine diagonal: by definition these have an unramified diagonal, and unramified implies quasi-finite (everything being quasicompact).
The result in this case is again a combination of knowing when the natural functor is an equivalence, and when the codomain is compactly generated by a single perfect complex. The results in the literature are:
is an equivalence if is quasicompact and has affine diagonal, provided (!) is compactly generated. So compact generation of this category becomes now important for two reasons. This is theorem 1.2 in Hall–Neeman–Rydh.
is compactly generated by a single perfect complex if is quasicompact and has quasifinite separated diagonal. This is theorem B in Hall–Rydh.
There are more general situations in which is an equivalence, the harder question is to have a single compact generator, and one cannot expect such a thing in general for an algebraic stack not having suitable finiteness properties, as one can conclude by considering which needs a countable set of compact generators.
The main conclusion of this post is probably that I should dedicate a blogpost (or even several) to the wonderful properties of diagonals.
1 I assume here that affine implies separated for algebraic stacks, a statement I couldn’t find in the Stacks project.
I was wondering how often the Stacks project gets cited nowadays. I wanted to check this both on arXiv and MathSciNet, but the fulltext search of arXiv only returns its results in a way not suitable for easy processing (and also not all of the results it seems, because the oldest preprint is from 2014), so I had to stick to MathSciNet.
So what I did is look at how often “stacks project” appears in the references on MathSciNet, and after some parsing (and with the sample being taken today) this gives the following results, broken down by year:
|year||number of citations|
In total, the Stacks project has been cited 77 times.
Nicolas Addington, Brendan Hassett, Yuri Tschinkel, Anthony Várilly-Alvarado: Cubic fourfolds fibered in sextic del Pezzo surfaces comes back to something which is turning into a recurring theme on my blog, which is the (non)rationality of the generic cubic fourfold. This paper rather identifies another class of cubic fourfolds which are special, in the sense that they are rational, unlike what is expected for the generic case.
Evelyn Lamb: Higher Homotopy Groups Are Spooky is a nice popularizing article about homotopy groups. I have to admit I never spent enough time thinking about the implications and interpretations of the higher homotopy groups of spheres, but this article aptly explains why some of those results require a bit of mind-bending, and what they mean in low dimensions.
Atsushi Ito, Makoto Miura, Shinnosuke Okawa, Kazushi Ueda: The class of the affine line is a zero divisor in the Grothendieck ring: via G2-Grassmannians is another proof of the fact that in the Grothendieck ring of varieties (also known as “baby motives”) the class of the affine line is a zero-divisor. As in the original approach by Borisov, it uses Calabi–Yau threefolds. Observe that there was a proof by Galkin–Shinder of the non-rationality of the generic cubic fourfold depending on the class of the affine line not being a zerodivisor.
José Rodríguez Alvira: The art of fugue is an interesting guide to Bach’s Die Kunst der Fuge, by describing the structure in a really pretty online way.
Dmitry Orlov, Gluing of categories and Krull–Schmidt partners is a very short paper (just 4 pages) that discusses a neat construction of what Orlov calls Krull–Schmidt partners: given a semi-orthogonal decomposition produce a (different) fully faithful functor, giving rise to a possibly new semi-orthogonal complement. Fun!
Tamás Szamuely and Gergely Zábrádi, The p-adic Hodge decomposition according to Beilinson is survey article of recent development in p-adic Hodge theory. I only read the introduction (it is a bit outside my comfort zone), but I really liked the appearance of the h-topology in which an algebraic version of the Poincaré lemma becomes true.