arXiv:1212.1785 Minkowski polynomials and mutations (Akhtar, Coates, Galkin, Kasprzyk). This gives a very clean and satisfactory explanation of why a 3-dimensional Fano manifold will in general have many different Minkowski polynomials as mirrors.

The ordering of the 165 period sequences in the second paper is not the same the one in this blog’s page “3d Minkowski period sequences”

3. Threefold X has a unique deformation class of smoothing by Fano threefold Y
We also compute the principal invariants of Y: Betti numbers, degree, Lefschetz discriminant and Fano index

The main procedure is called Picard(toric)
The input is a 3-component vector toric=[description, vertices, faces]
description is a verbal description of variety X (not used for computations)
vertices is a matrix of vertices of the fan polytope Delta(X)
faces is a transposed matrix of faces (vertices of the moment polytope)

The output is a 2-component vector o = [lattice, invariants]
where lattice is 3-component vector [cubic, M, class]
cubic is homogenous cubic polynomial of ‘rk Pic(X)’ variables (self-intersection pairing)
class is the expression of the first Chern class in terms of generators of Picard group
M is the matrix of the Lefschetz pairing
and invariants is 5-component vector [rho,deg,b,d,r] of the principal invariants
rho is Picard number i.e. second Betti number of X
deg is the anticanonical degree
b is the half of third Betti number of the smoothing Y
d is the Lefschetz discriminant (i.e. determinant of matrix M)
r is the Fano index (i.e. divisibility of in )

Three years ago I lost the tex-file of Small toric degenerations of Fano threefolds and unfortunately haven’t found since then. But instead I typed it again! Voila! (so far only a “twitter version” – just a statement of the theorem and the table, no unnecessary proofs or applications).

I was reading an amusing paper of Ronald van Luijk: he demonstrates
the K3 surface with Picard number one.

Reflecting his proof I formulate the following unexpected principle:

in order to classify Fanos with Picard number 1
we should NOT just get rid of all polytopes with higher Picard number !

One of the reasons is as follows:
0. Assume we’ve done with computing basic invariants of polytopes,
including Picard numbers
1. Assume we’ve done with the initial step of creating some database
of prospective Laurent polynomials out of many many polytopes
2. It is much easier to create a “phone book” of period sequences (say
first 10 or 20 coefficients) then to compute their Picard–Fuchs
operators.
3. Once we have a “phone book” prospective polynomials W fall into
equivalence classes with respect to initial terms of their period
sequences
If we manage how to program Cremona-equivalence then they fall
into even better classes.
4. Now, under assumption that Laurent polynomial W reflects a toric
degeneration of Fano manifold X into the toric variety X_0 that W is
supported on (i.e. Newton(W) is dual to Moment(X_0))
$ rk Pic X \geq \rk \Pic X_0 $
5. So if we know that period sequence is supported on some toric
variety with Picard number > 1 – then it is not a period sequence of
Fano with Picard number 1
If we would drop polytopes with Picard number >1, then we have to
do extra work!

In fact we used this ideas for threefolds before we computed their
G-series by ad hoc and a posteriori methods.
By a posteriori I mean it is not so easy to tell what is Picard number
of Fano variety from its G-series and/or differential operator that
annihilates it:
G-series for Fano varieties with Picard number 1 and for G-minimal
(hence quantum minimal) varieties look pretty much the same.

In December 2011, at the Royal Society (London) Tom, Al and I discussed the possibilities of creating Sliceforms of Calabi-Yau forms. Sliceforms are geometric models constructed from interlocking sets of planar pieces. The basic idea behind sliceform construction is indicated in the photos. By creating two sets of slotted pieces (“slot-from-the-top” and “slot-from-the-bottom” sets) that intersect at right angles, one can link the two sets together to form models of surfaces and solids.

The Sliceform technique originated with a mathematician called Olaus Henrici who taught in London at the end of the nineteenth and early twentieth centuries. He made models using cross sections of quartic surfaces; these are similar to a sphere but have with cross sections which are ellipses, hyperbolae or parabolae.

Models were constructed for sale in Germany by the firm of Martin Schilling. These were designed by Alexander von Brill in Darmstadt. In the nineteenth century mathematical models (paper/wood/ceramic) were made for teaching and understanding geometry. They where also inspirational to artists such as Barbara Hepworth and Naum Gabo.

The Science Museum (London) exhibits a collection of Sliceforms from the 19th century to the present day (by Brill and John Sharp) they have an austere and utilitarian beauty, and where the original inspiration for developing sliceforms of the Calabi-Yau forms with Tom and Al.

Once I had cut the pieces of the sliceform out Tom cleverly pieced it together and you can see Tom and Alessios’ delight in the model…

This is a workaround for this very unfortunate bug in Sage, based on Sage 4.7. The patch is a horrible kludge (it just turns multi-modular matrix multiplication off completely) but will at least fix the problem until I get time to work up a proper patch. Save the file, remove the ‘.txt’ extension, clone a new copy of Sage, and then apply the patch using: