Skip to content

Commit 632c185

Browse files
committed
added more instructions
1 parent 0f74fd2 commit 632c185

1 file changed

Lines changed: 7 additions & 1 deletion

File tree

‎index.md‎

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,9 @@ This website, inspired by Pieter Belmans' [Fanography](https://www.fanography.in
1717

1818
In each row, the first three columns denote the dimension and index of the variety in Macaulay2's database, accessible using [`smoothFanoToricVariety(d,i)`](https://mahrud.github.io/LearnM2/help/#NormalToricVarieties::smoothFanoToricVariety(ZZ,ZZ)), followed by the ranks of the Picard group (= #rays - dim) and Grothendieck group (= #maximal cones).
1919

20-
Next, the columns of the $\Theta$-collection are the degrees of line bundles in the Bondal-Thomsen collection (in the default basis for the Picard group chosen by Macaulay2), which form a full generating set for the derived category. The significance of this collection lies in the fact that it is also a full generating set for the derived category of any other toric variety with the same set of rays.
20+
Next, the if the Picard rank is at most 3, the secondary fan of the toric variety is displayed, with the nef chamber colored in blue. Note that for Picard rank 3, the picture is really a 2D section of the 3D fan. If you click on the black triangle to the left of the row, you can also see the ray generators, maximal cones, and primitive collections of the variety.
21+
22+
Next, the degrees of the variables in the Cox ring and degrees of the line bundles in the Bondal-Thomsen collection are displayed as columns of matrices (in the default basis for the Picard group chosen by Macaulay2). Then $\Theta$-collection is of interest because it forms a full generating set for the derived category, and in particular it is also a full generating set for the derived category of any other toric variety with the same set of rays.
2123

2224
The Ext tables encapsulate the rank of Ext groups among the $\Theta$-collection: the $ij$-entry is a Laurent polynomial $\sum \operatorname{rk}\mathrm{Ext}^k(\OO(d_i),\OO(d_j)) \cdot T^k$. In this notation, the collection is exceptional if the table is upper triangular with ones on the diagonal, and it is strong if all entries are constant.
2325

@@ -34,6 +36,10 @@ For instance, for all but two threefolds, $(3,1)$ and $(3,10)$, the $\Theta$-col
3436
- the GRDB database at <http://www.grdb.co.uk/search/toricsmooth>
3537
- the FanoSearch database at <http://coates.ma.ic.ac.uk/fanosearch/?page_id=277>
3638
- add references and code
39+
- add other toric varieties of interest:
40+
- a page with a few different Hirzebruchs
41+
- a page for a few Kleinschmidt varieties
42+
- a page for some non-smooth or non-projectively normal ones
3743

3844
Please get in touch with me if you'd like to use the Macaulay2 package used for these computations. \\
3945
Bug reports and contributions are welcome on [GitHub](https://github.com/mahrud/FanoCats/).

0 commit comments

Comments
 (0)