Pieter Belmans

New paper: Fano 4-fold quiver moduli from subspace quivers

Wed, 15 Jul 2026 00:00:00 +0000

Whilst it might look like I am hyperproductive these few weeks, with a new blogpost coming up almost every day about something I have done, I am mostly just putting things online that were finished before, in preparation of the summer holidays.

This post is about Fano 4-fold quiver moduli from subspace quivers, a new paper joint with Markus Reineke. Let's discuss the origin story of this paper in a way that is not appropriate for the paper's introduction, but that is perfect for a blog post.

Origin

It all started from Laurent Manivel's A four-dimensional cousin of the Segre cubic. In this paper, he studies a Fano fourfold, defined as the zero locus of a vector bundle on the product of two Grassmannians. Looking at the properties he finds for this Fano fourfold, my mind was applying the duck test in the following form:

If it looks like a quiver moduli space, swims like a quiver moduli space, and quacks like a quiver moduli space, then it probably is a quiver moduli space.

Quiver moduli are after all very special varieties: rational, Hodge–Tate, rigid. Laurent's Segre cubic cousin had all these properties. Through its relation to the Segre cubic, I also quickly guessed the quiver and dimension vector that should do the trick: the 6-subspace quiver, and $\mathbf{d}=(1,1,1,1,1,2;3)$. However, I couldn't pin down an isomorphism.

Then in February Markus came to Utrecht as the Springer visiting chair. Markus realized there is actually a fun classification problem hiding here: which other subspace quivers give rise to Fano 4-folds? The reason to be interested in subspace quivers is that, besides their moduli spaces being rigid, their moduli spaces also have no infinitesimal automorphisms, making them extra special.

It turns out that up to natural identifications, there are precisely 4 such Fano 4-fold subspace quiver moduli: one being the (expected) Segre cousin, another being the Fano model of $\mathop{\rm Bl}_6\mathbb{P}^4$, which is also $(\mathbb{P}^1)^7//\mathrm{PGL}_2$, the moduli space of 7 points on $\mathbb{P}^1$ (let's not spell out stability).

The other two are also very interesting: one admits a natural map to $\mathbb{P}^2$, exhibiting it as something called an involution surface bundle (the first time I encountered one in the wild), and another which looks a lot like the Segre cubic cousin.

And in the end, we also managed to prove that Manivel's Segre cubic cousin was indeed the subspace quiver moduli space we expected it to be all along. All's well that ends well.

Working with quiver moduli

What I like about this paper is that it is so very explicit with quiver moduli, and applies so many of the tools that have been developed for them. I consider it a bit of an advertisement, and I hope that it gets picked up by people who, a priori, would not work with quiver moduli, but now realize how useful this perspective can be!

Related to this is also the use of QuiverTools, which makes it possible to compute many invariants of quiver moduli. For the 4 cases in this paper, the code is available as FanoFourfoldSubspaceQuiverModuli.jl. And the tools we have used in this paper were also the inspiration for some of the new features for QuiverTools, more about those later.

Note that the duck test for quiver moduli doesn't always work so well! We are also working on a paper that explains how well the duck test works for Fano 3-folds. Stay tuned for that.

Also note that there is another work-in-progress (don't expect either of them before the start of my summer break, though!) where we take the involution surface bundle Fano 4-fold subspace quiver moduli, and take its connection to the extended Dynkin quiver $\widetilde{\mathrm{D}}_4$, to find 5 infinite series of even-dimensional Fano varieties attached to extended Dynkin quivers, with lots of interesting properties. Stay tuned for that too!

Cubic 4-folds: special cubic fourfolds and their K3 surfaces

Mon, 13 Jul 2026 00:00:00 +0000

Since early 2023 there has been a website at cubics.fanography.info on the relationship between cubic fourfolds and K3 surfaces, but I never announced it I think: a first draft version was written in just 2 days and I didn’t know what to do next. I’m not sure it is in any state or form “finished”, but given that I’m on a website spree lately, I might as well get this one out too. So this is that announcement, three years late.

Hassett divisors

A smooth cubic fourfold $X\subseteq\mathbb{P}^5$ is special if it contains a surface not homologous to a complete intersection; these form the Hassett divisors $\mathcal{C}_d$ in the moduli space of cubic fourfolds.

The website is a table with one row for every discriminant $d$, collecting some things that are known about $\mathcal{C}_d$: the various notions of an associated (twisted) K3 surface, rationality, the Kodaira dimension, Fourier–Mukai partners, and which surfaces the generic member contains, with clickable references. It goes back to a chart of Nicolas Addington, whose comments shaped the website.

As with my other websites it is a static site built with Hugo. Feature requests, corrections and contributions are very welcome, on GitHub or by email.

LLMs were used to build this, which made the whole process much faster.

le superficie algebriche: a table and more surfaces

Sun, 12 Jul 2026 00:00:00 +0000

Back in 2015, Johan Commelin and I made le superficie algebriche, an interactive picture of the geography of minimal complex algebraic surfaces, plotted by their Chern numbers $\mathrm{c}_1^2$ and $\mathrm{c}_2$ (see the original post and a 2019 update). It has just had its biggest update since.

A table. Next to the plane of Chern numbers there is now a table: every class of surface in the database with its Kodaira dimension and numerical invariants, sortable by any column, searchable by name, and with descriptions you can unfold in place.

More surfaces, with descriptions and references. A literature sweep added a long list of named classes, from fake quadrics and the ball quotients on the Bogomolov–Miyaoka–Yau line (Ishida, Cartwright–Steger, Yeung’s surface of maximal canonical degree) to product-quotient and Beauville-type surfaces. Each now comes with a short description, what it is and why it is interesting, and full citations resolved to MathSciNet, arXiv or DOI, using the same bibliography machinery I built for mgnbar.

The map, filled in. The whole interior between the Noether line and the signature-zero line is now populated (following Persson), so the picture genuinely shows which Chern numbers occur and, just as clearly, the thin strip below the Bogomolov–Miyaoka–Yau line that is still an open problem.

Smaller things: the holomorphic Euler characteristic of the tangent bundle $\chi(\mathrm{T}_S)$ is shown too, and every surface now has its own URL, so you can link straight to one, like superficie.info/2/4-8/fake-quadrics. As with my other websites it is now a static site built with Hugo.

Corrections and, especially, more surfaces are very welcome, on GitHub or by email. If you know a surface that belongs on the map, it is easy to add.

LLMs were used to build this, which made the whole process much faster.

DOIs for my websites

Fri, 10 Jul 2026 00:00:00 +0000

Some quick housekeeping: several of my websites now have a Zenodo DOI, so they are easier to cite. This currently covers fanography.info, grassmannian.info, hyperkaehler.info and mgnbar.info, with more to follow. Each site's "how to cite" section now lists the DOI, and I use the version-independent one, so it always resolves to the latest release.

If you use any of these in your work, please do cite them: it helps me explain to the people who fund my work that building these things is useful.

Mgnbar.info: two new layers

Thu, 09 Jul 2026 00:00:00 +0000

Back in 2023, together with Ignacio Barros, I made Mgnbar.info, a website about the geometry of $\overline{\mathrm{M}}_{g,n}$, the moduli space of stable $n$-pointed genus $g$ curves. For a long time it showed a single invariant, the Kodaira dimension. It now has two more layers, which you can pick from the selector above the table, and the Kodaira dimension layer itself has gained some extra information.

The tautological ring. For each $(g,n)$ the table records whether the Chow ring of $\overline{\mathrm{M}}_{g,n}$, and of the open $\mathrm{M}_{g,n}$, is generated by the tautological classes, the natural $\psi$- and $\kappa$-classes and boundary strata, or whether there are genuinely more mysterious cycles.

Point counts. Whether the number of points of $\overline{\mathrm{M}}_{g,n}$ and $\mathrm{M}_{g,n}$ over a finite field $\mathbb{F}_q$ is a polynomial in $q$. The first place where this fails is $\overline{\mathrm{M}}_{1,11}$, where the culprit is the Ramanujan $\tau$-function, the coefficients of the weight-12 cusp form.

Both layers are transcribed from Hannah Larson’s recent survey arXiv:2606.29656, which collects the state of the art on precisely these questions. It is a wonderful read, and any errors in the transcription are of course mine.

More on the Kodaira dimension. Kodaira dimension $-\infty$ is only the coarsest sign that a moduli space is not of general type. The finer notions rational $\Rightarrow$ unirational $\Rightarrow$ rationally connected $\Rightarrow$ uniruled all imply it, and are now shown, as shaded blues, on the cells where the Kodaira dimension is $-\infty$. The baseline is Benzo’s 2014 survey table, extended with the more recent results of Agostini–Barros, Keneshlou–Tanturri, and (for genus 11-15) Verra and Bruno–Verra.

Along the way each layer got its own URL, and clicking a cell now updates the address bar too, so you can link straight to a single entry like mgnbar.info/tautological/#9,4. There is a small about page explaining how to cite the website, and, as with my other websites, Mgnbar.info is now a static site built with Hugo. I’m a big fan of Hugo nowadays, can you tell?

Suggestions and corrections are very welcome, on GitHub or by email.

LLMs were used to build this, which made the whole process much faster.

New paper: Brauer groups of resolved quiver moduli via gerbes

Wed, 08 Jul 2026 00:00:00 +0000

I'm happy to announce a new paper, Brauer groups of resolved quiver moduli via gerbes, joint with Gianni Petrella and Sebastian Torres.

In this paper we give a new and very different proof of an old result due to Le Bruyn and Schofield (two mathematicians I admire greatly!), by translating a proof (due to Biswas–Hogadi–Holla) in the context of moduli of vector bundles on curves to that of quiver moduli. It is no secret that the quiver-curve dictionary is a favourite topic of mine, and this paper can be seen as a contribution to this dictionary.

The result in question says that the Brauer group of a resolution of any moduli space of quiver representations vanishes. If you believe that all quiver moduli (and moduli of vector bundles) are rational, then certainly this Brauer group has to vanish. Along the way of (re)proving this vanishing, we explain some interesting properties of quiver moduli, highlighting parallels (and differences) between the curve and quiver case.

This project was the result of a working group back in Luxembourg, which was a lot of fun!

Congratulations Dr. Gianni Petrella!

Fri, 03 Jul 2026 00:00:00 +0000

I want to congratulate Gianni Petrella, for his PhD defense today at the University of Luxembourg, and the wonderful thesis Windows, walls and invariants of quiver moduli that he has written. The thesis will be available online at some point, but you can also check out the papers it builds on:

Rigidity and Schofield's partial tilting conjecture for quiver moduli, a joint paper with Ana-Maria Brecan, Hans Franzen, Markus Reineke, and myself, published in the Journal de l'École Polytechnique
Partial semiorthogonal decompositions for quiver moduli, his solo paper, published in the Journal of Symbolic Computation
Finding the walls for quiver moduli, a joint paper with Hans Franzen and Rachel Webb, published in the Journal of Pure and Applied Algebra
The QuiverTools package for SageMath and Julia, a joint paper with Hans Franzen and myself, published in the Journal of Software for Algebra and Geometry
Brauer groups of resolved quiver moduli via gerbes, a joint paper with Sebastian Torres and myself, which will appear on the arXiv very soon

Gianni was my PhD student (although FNR regulations prevented an official recognition of this fact) and I have greatly enjoyed our mathematical conversations. I look forward to our future ones, as he will take up a postdoc at the University of Amsterdam, working with Raf Bocklandt. Congratulations!

Fanography is now a static website (and other improvements)

Thu, 02 Jul 2026 00:00:00 +0000

Almost eight years ago I launched Fanography. It has just received its biggest technical overhaul since then: fanography.info is now a static website, generated with Hugo and served from GitHub Pages.

From Flask to Hugo

Before, Fanography was a Flask application: a little Python server that assembled each page on the fly from the underlying classification data. That worked well, but it meant there was always a server that needed to keep running, be kept up to date, and be paid for in one way or another. So I rebuilt it from scratch with Hugo:

The old Flask application has been retired. As with moving my own website to Hugo, the migration should be invisible to visitors—please let me know if something broke!

New information on Fanography

Whilst I was busy with Fanography, I decided to add a bit of data that I've wanted to be there for a long time.

The Mori–Mukai determinant: Each entry page now displays the Mori–Mukai determinant $d(X)$, and it is included for all 105 families. I wrote about this invariant, and how I computed it for every family, in a separate blogpost.
Holomorphic Poisson structures: There is a new card recording the holomorphic Poisson structures on $X$, that is, the global sections $\pi$ of $\wedge^2\mathrm{T}_X$ for which the Schouten–Nijenhuis bracket with itself vanishes, i.e., $[\pi,\pi]_{\mathrm{NS}}=0$. For Fano 3-folds of Picard rank 1 these were classified by Loray–Pereira–Touzet, and the card lists the irreducible components of $\mathbb{P}\mathrm{H}^0(X,\wedge^2\mathrm{T}_X)$ together with their dimensions. For higher Picard rank the classification is, as far as I know, still open. This sounds like a fun challenge!

Other improvements

A small quality-of-life improvement: you can now use the left and right arrow keys to move between consecutive families, which makes browsing the classification in order much more pleasant.

A handful of smaller additions came along for the ride:

several rank-1 Fano 3-folds are now referred to by name;
del Pezzo surface pages show the number of exceptional lines, and their polyvector parallelogram.

Maybe more updates to come soon!

Oh, and hyperkaehler.info is now also a static website! But that one didn't get any improvements, so no separate blogpost.

The Mori–Mukai determinant

Wed, 01 Jul 2026 00:00:00 +0000

I like Fano 3-folds. I like them so much that I created Fanography!

One thing which I found intriguing in the story one aspect of the details of the Mori–Mukai classification that is not often mentioned. Namely, at the very end of their Classification of Fano threefolds with $\mathrm{b}_2\geq 2$, I, in paragraph (7.33), they introduce an invariant that they need to distinguish between various Fano 3-folds with otherwise the same numerical invariants.

For instance, the families 2.22 and 2.24 have the same Hodge numbers and volume (the invariants that were most easily computed from their birational description), so, a priori, they could be the same family (or one a subfamily of the other). They needed a numerical deformation invariant to distinguish these families, and I found it frustrating that I could not find this invariant computed for all Fano 3-folds (Mori–Mukai only give it for the cases they need to distinguish), so that I could include it in Fanography. But this frustration is now gone!

The invariant

For a smooth Fano 3-fold $X$ with $\operatorname{Pic}(X)$ of rank $\rho$ and a $\mathbb{Z}$-basis $D_1, \dots, D_\rho$, Mori and Mukai define

\[ d(X) = \det\bigl( -\mathrm{K}_X \cdot D_i \cdot D_j \bigr)_{1 \le i, j \le \rho}. \]

It is basis-independent and a deformation invariant, and its sign is $(-1)^{\rho-1}$. I like to call it the Mori–Mukai determinant.

Computing it with OSCAR

Mori and Mukai give a lemma (their Lemma 7.34) which describes how to compute the determinant for a Fano 3-fold $Y$, if $Y=\mathop{\rm Bl}_CX$ or $Y=\mathop{\rm Bl}_pX$. However, I decided to have a little fun, and use IntersectionTheory in OSCAR (see also my earlier post Intersection theory in OSCAR). That way, I could test the package a bit more, and also use it to compute the determinant for primitive cases of higher Picard rank.

The code is in FanoThreefoldMoriMukaiDeterminant.jl. It encodes all the primitive Fano 3-folds using IntersectionTheory (except for a few of Picard rank 1 where no construction is available, e.g., because they involve weighted projective spaces) and then encodes all the imprimitive ones as blowups. This is all data that was already in Fanography.

Using it

Using the code is not very hard. It suffices to do

using FanoThreefoldMoriMukaiDeterminant

mori_mukai_determinant("2-22")   # d(X) for one family
determinants()                   # Dict id => d(X) for all 105 families

Julia has a high precompilation cost, if you disregard that, the computation itself finishes in 10 seconds or so on my machine (and I have not tried to improve it whatsoever). A full CI run, installing Julia and Oscar from scratch, took 15 minutes.

All the values

For completeness, here is $d(X)$ for all 105 deformation families, organised by Picard rank $\rho$. The entry in row $k$ and column $\rho$ is the determinant of the family $\rho.k$ (in Mori–Mukai's numbering, as used on Fanography, with 4.13 the case missing from their classification).

№	ρ = 1	ρ = 2	ρ = 3	ρ = 4	ρ = 5	ρ = 6	ρ = 7	ρ = 8	ρ = 9	ρ = 10
1	2	-1	16	-48	56	-80	128	-192	256	-256
2	4	-4	16	-32	44
3	6	-4	28	-48	48
4	8	-9	24	-40
5	10	-9	28	-39
6	12	-12	32	-44
7	14	-16	36	-39
8	16	-8	34	-32
9	18	-17	12	-31
10	22	-16	40	-28
11	2	-13	28	-23
12	4	-20	36	-20
13	6	-24	40	-44
14	8	-25	18
15	10	-12	34
16	6	-20	30
17	4	-25	28
18		-16	26
19		-17	24
20		-29	28
21		-28	22
22		-24	18
23		-16	20
24		-21	22
25		-16	20
26		-21	18
27		-17	16
28		-9	16
29		-16	12
30		-12	14
31		-13	12
32		-12
33		-9
34		-9
35		-8
36		-5

The data will appear very soon on Fanography too! But that is for another blogpost, where I discuss some other changes and improvements to Fanography.

Verifying Kostant's conjecture using Semisimple.jl

Fri, 29 May 2026 00:00:00 +0000

This post concerns Semisimple.jl, a Julia package for computations with semisimple Lie algebras. There is documentation.

Over on the HomogeneousTools blog I wrote a post titled Verifying Kostant’s conjecture using Semisimple.jl, which describes a fun way to use computer algebra to experiment with conjectures.