10.5281/zenodo.7298788
https://zenodo.org/records/7298788
oai:zenodo.org:7298788
Hausen, Jürgen
Jürgen
Hausen
Universität Tübingen
Bäuerle, Andreas
Andreas
Bäuerle
Universität Tübingen
On Gorenstein Fano threefolds with an action of a twodimensional torus
Zenodo
2022
fano threefolds
torus action
2022-11-07
arXiv:2108.03029
10.5281/zenodo.7298787
1.0
Creative Commons Attribution 4.0 International
A database of the non-toric, \(\mathbb{Q}\)-factorial, log terminal, Gorenstein, Fano threefolds of Picard number 1 that admit an effective action of a two-dimensional torus.
For more information on the provided data see arXiv:2108.03029. This dataset is also available at Github.
Description:
The columns of the csv-file are labelled as follows:
ID: The ID of the family within the database, numbered 1 through 538.
case: Refers to the corresponding case in Proposition 2.24. Numbered 1 through 8.
format: The format of the family as defined on page 13.
generator matrix: The defining matrix \(P\) as defined in Construction 2.2.
class group: The isomorphy type of the class group. Presented as \([0, t_1, \dots, t_n]\) meaning \(\mathbb{Z} \oplus ( \mathbb{Z}/t_1 \mathbb{Z} \oplus \dots \oplus \mathbb{Z}/t_n \mathbb{Z} )\).
gd matrix: Grading matrix of the Cox ring. The \(i\)-th column is the degree of the \(i\)-th Cox ring generator.
relations: Minimal generating set of the ideal of relations of the Cox ring.
relation degree: Degree of the minimal generators of the ideal of relations.
anticanonical class: The anticanonical class.
degree: Anticanonical self-intersection number \(-\mathcal{K}_X^3\).
gorenstein index: The smallest positive \(\iota \in \mathbb{Z}\) such that \(\iota \mathcal{K}_X\) is Cartier. Here always equal to 1.
fano index: The largest \(k \in \mathbb{Z}\) such that \(k D = \mathcal{K}_X\) for some Cartier divisor \(D\).
dimension: The dimension of the corresponding variety. Here always equal to 3.
picard rank: The rank of the Picard group. Here always equal to 1.
acr gd matrix: Grading matrix of the anticanonical ring w.r.t. to a minimal system of generators. The \(i\)-th column is the degree of the \(i\)-th generator.
acr relations: Minimal generating set of the ideal of relations of the anticanonical ring.
hsNum, hsDenom: Numerator and denominator of the Hilbert-Poincaré series, i.e. \({\rm HP}_X(t) = {\rm hsNum}(t)/ {\rm hsDenom}(t)\).
hs0 - hs7: The \(i\)-th coefficient of the power series expansion of \({\rm HP}_X(t)\), i.e. \({\rm HP}_X(t) = {\rm hs0} + {\rm hs1}\, t + {\rm hs2}\, t^2 + \dots + {\rm hs7}\, t^7 + \dots\)
codim: The codimension of the embedding into a weighted projective space provided by the choice of generators of the anticanonical ring.
genus: This equals \(h^0 (X, -\mathcal{K}_X)-2\).