During the Christmas break I had a little fun with my series of algebraic geometry fun facts. One of these was a description of the genera of complete intersection curves, the upshot being that there are genera for which there is not a single complete intersection curve with that genus.
A while ago I submitted this sequence to the OEIS, and now you can see all genera up to 1000.
More fortnightly links.
- I announced this already via Google+, but let’s to it here too. We are organising a conference at the University of Antwerp. If you are part of the mathematical audience of this blog, you might be interested in attending. The list of speakers is frikkin’ awesome so far.
- The slides and videos for the Miami conference on mirror symmetry are available. The cubic fourfolds from an earlier post (whose rationality is still open it turns out: the paper was retracted) make a guest appearance in Orlov’s lecture, around the 38 minute mark, and during the question session.
- A comic on how to teach math. There is also the following related joke by the neverending author.
We are now at 5003 pages, hurray! There will be a party at Johan’s place, if you can make it to New York in time :).
It’s a little short notice, but next week we are having a small workshop on MGM duality at the University of Antwerp. Without further ado: the list of abstracts.
I could wait for the fortnightly links, but the proof of the conjectured rationality of the generic cubic fourfold has seen lots of unsuccessful approaches over the past years and a proof certainly is big news. For an overview of the state-of-the-art (except for the claimed proof of course) there are recent lectures notes by Alexander Kuznetsov and Brendan Hassett.
Now there is a preprint by Mingmin Shen that proves the nonrationality of the generic cubic fourfold! The proof uses new techniques regarding stable rationality introduced by Claire Voison, about which I can’t say too much at the moment. It’ll be interesting to see what this approach to the proof implies for the other approaches (Hodge theory, and derived categories, especially the more precise conjecture regarding subcategories related to K3 surfaces).
A new instalment of fortnightly links.
Bertrand Toën, Problèmes de modules formels, which is his Bourbaki lecture from last week (available on YouTube). I haven’t watched the video yet, but reading the pdf turned out to really clear up some confusions I had regarding formal moduli problems in the context of derived algebraic geometry.
The lecture by Gaitsgory from the same day also seems very interesting, I haven’t found the notes for that one though. At some point you should be able to download all the texts from the Bourbaki website, or you can go to the Institut Henri Poincaré, on the first floor outside the library door you can find physical copies.
Greg Stevenson, A tour of support theory for triangulated categories through tensor triangular geometry is another very interesting introductory read. As usual, Greg’s writing is very lucid.
Daniel Bergh, Valery Lunts, Olaf Schnürer, Geometricity for derived categories of algebraic stacks is another very interesting preprint. Orlov introduced the notion of geometricity for smooth and proper dg categories in a preprint from a little while back. Smooth and proper dg categories are the noncommutative analogues of smooth and proper (or projective) varieties, and he isolates a subclass of dg categories that can be embedded in the bounded derived category of an actual smooth and proper variety. He then goes on to prove that this class is closed under gluing, which tells us that finite-dimensional algebras are also geometric.
In their preprint Bergh–Lunts–Schnürer prove that smooth and proper Deligne–Mumford stacks can be suitably destackified, which allows one to apply the closure under gluing result, showing that these stacks are also geometric. The stacky techniques used in proving this are very cool! At some point I might write a blogpost about the analogue of Orlov’s blow-up formula for root stacks, which is one of the main ingredients of the proof.
SGA4 has seen some more digitizing action. When Grothendieck requested that these efforts were halted (see also Yves Laszlo’s page about this) the efforts for SGA4 went underground, but now they are again publicly available. The layout of the result is pretty awesome right now, and you can even take a look at the Git repository.
That’s it for this fortnight.