Fortnightly links (137)
Jenia Tevelev, Sebastián Torres: The BGMN conjecture via stable pairs goes a long way proving one of my favourite questions, that of the semiorthogonal decomposition of $\mathbf{D}^{\mathrm{b}}(\mathrm{M}_C(2,\mathcal{L}))$: they construct all the components that one hopes are present. Almost at the same time Kai Xu, Shing-Tung Yau: Semiorthogonal decomposition of $\mathbf{D}^{\mathrm{b}}(\mathrm{Bun}_2^L)$ constructs half of the expected decomposition using completely different methods. This is great to see!
Eunjeong Lee, Kyeong-Dong Park: Complete intersection hyperkähler fourfolds with respect to equivariant vector bundles over rational homogeneous varieties of Picard number one is a rigorous classification of the 4-dimensional zero loci of equivariant vector bundles on $G/P$ of rank 1 in type $\mathrm{E}_{6,7,8},\mathrm{F}_4,\mathrm{G}_2$. It's great to see this being worked out properly. Part of it was already contained in Benedetti's PhD thesis it turns out, and I had by an exhaustive computer search also told a friend of mine on June 18 that
I seem to have found no hyperkähler zero loci
.Benedetti writes in Tables B.17 and B.18 some Calabi–Yau sixfolds in exceptional Grassmannians for which he could not compute $\chi(X,\mathcal{O}_X)$. I'm running my code on some of them right now, but maybe the codimension is just too high for a quick check on my laptop on a Sunday morning to fully finish things.
That being said,
- for $\mathrm{E}_6/\mathrm{P}_5$ and $\mathcal{E}=(1,0,0,0,0,0)^{\oplus3}\oplus(0,0,0,0,0,1)\oplus\mathcal{O}(1)^{\oplus 2}$ (notice the fix of a minor typo, with $\mathcal{O}(2)$ the bundle has the wrong rank) the Euler characteristic is 2 according to my code
- for $\mathrm{E}_6/\mathrm{P}_5$ and $\mathcal{E}=(1,0,0,0,0,0)^{\oplus2}\oplus(0,0,0,0,0,1)^{\oplus 4}\oplus\mathcal{O}(1)$ the Euler characteristic is also 2 according to my code
- for $\mathrm{E}_6/\mathrm{P}_5$ and $\mathcal{E}=(1,0,0,0,0,0)\oplus(0,0,0,0,0,1)^{\oplus 7}$ the Euler characteristic is also 2 according to my code
So no unexpected things happened for 6-folds in type $\mathrm{E}_6$. I wasn't patient enough for $\mathrm{E}_7$.
I should maybe try and run my code to understand 8-folds then!
Alexander Kuznetsov, Alexander Perry: Serre functors and dimensions of residual categories is another great preprint, which correctly refines certain expectations about the Serre dimensions of residual categories in derived categories of complete intersections.
I'm particularly interested in the little room that Corollary 6.12 leaves for residual categories of complete intersections to be equivalent to the derived category of another smooth projective variety, and it would be great to understand whether that is ever possible outside the known cases of multidegree $(2)$ (when it's one or two points, depending on the parity of $n$), $(2,2)$ (when it's a hyperelliptic curve or a stacky curve, depending on the parity of $n$) or $(3)$ (for $n=5$ one gets K3 categories, which are sometimes equivalent to true K3 surfaces).
8d1h/bott is Sage code by Jieao Song to compute Chern numbers of hyperkähler varieties. Alternatively this can be done using the same author's Julia package 8d1h/IntersectionTheory. This is all related to some musings I posted a little while ago.
On a somewhat related note, there are nice notes of the "Topics in hyperkähler geometry" seminar between Bonn and Paris from previous semester.