Global Tate models

Introduction

A global Tate model describes a particular form of an elliptic fibration. We focus on an elliptic fibration over a base $B$. Consider the weighted projective space $\mathbb{P}^{2,3,1}$ with coordinates $x, y, z$. In addition, consider

$a_1 \in H^0( B_3, \overline{K}_{B} )$,
$a_2 \in H^0( B_3, \overline{K}_{B}^{\otimes 2} )$,
$a_3 \in H^0( B_3, \overline{K}_{B}^{\otimes 3} )$,
$a_4 \in H^0( B_3, \overline{K}_{B}^{\otimes 4} )$,
$a_6 \in H^0( B_3, \overline{K}_{B}^{\otimes 6} )$.

Then form a $\mathbb{P}^{2,3,1}$-bundle over $B$ such that

$x$ transforms as a section of $2 \overline{K}_{B}$,
$y$ transforms as a section of $3 \overline{K}_{B}$,
$z$ transforms as a section of $0 \overline{K}_{B} = \mathcal{O}_{B}$.

In this 5-fold ambient space, a global Tate model is the hypersurface defined by the vanishing of the Tate polynomial $P_T = x^3 - y^2 - x y z a_1 + x^2 z^2 a_2 - y z^3 a_3 + x z^4 a_4 + z^6 a_6$.

Crucially, for non-trivial F-theory settings, the elliptic fibration in question must be singular. In fact, by construction, one usually engineers certain singularities. For this, vanishing orders of the sections $a_i$ above need to specified. The following table–-often referred to as the Tate table and taken from [Wei10]–-summarizes the singularities introduced by certain vanishing orders:

sing. type	$\mathrm{ord}(\Delta)$	singularity	group $G$	$a_1$	$a_2$	$a_3$	$a_4$	$a_6$
$I_0$	$0$			$0$	$0$	$0$	$0$	$0$
$I_1$	$1$			$0$	$0$	$1$	$1$	$1$
$I_2$	$2$	$A_1$	$SU(2)$	$0$	$0$	$1$	$1$	$2$
$I_{2k}^{ns}$	$2k$	$C_k$	$Sp(k)$	$0$	$0$	$k$	$k$	$2k$
$I_{2k}^s$	$2k$	$A_{2k-1}$	$SU(2k)$	$0$	$1$	$k$	$k$	$2k$
$I_{2k+1}^{ns}$	$2k+1$		$Sp(k)$	$0$	$0$	$k+1$	$k+1$	$2k+1$
$I_{2k+1}^{s}$	$2k+1$	$A_{2k}$	$SU(2k+1)$	$0$	$1$	$k$	$k+1$	$2k+1$
$II$	$2$			$1$	$1$	$1$	$1$	$1$
$III$	$3$	$A_1$	$SU(2)$	$1$	$1$	$1$	$1$	$2$
$IV^{ns}$	$4$		$Sp(1)$	$1$	$1$	$1$	$2$	$2$
$IV^s$	$4$	$A_2$	$SU(3)$	$1$	$1$	$1$	$2$	$3$
$I_0^{*ns}$	$6$	$G_2$	$G_2$	$1$	$1$	$2$	$2$	$3$
$I_0^{*ss}$	$6$	$B_3$	$SO(7)$	$1$	$1$	$2$	$2$	$4$
$I_0^{*s}$	$6$	$D_4$	$SO(8)$	$1$	$1$	$2$	$2$	$4$
$I_1^{*ns}$	$7$	$B_4$	$SO(9)$	$1$	$1$	$2$	$3$	$4$
$I_1^{*s}$	$7$	$D_5$	$SO(10)$	$1$	$1$	$2$	$3$	$5$
$I_2^{*ns}$	$8$	$B_5$	$SO(11)$	$1$	$1$	$3$	$3$	$5$
$I_2^{*s}$	$8$	$D_6$	$SO(12)$	$1$	$1$	$3$	$3$	$5$
$I_{2k-3}^{*ns}$	$2k+3$	$B_{2k}$	$SO(4k+1)$	$1$	$1$	$k$	$k+1$	$2k$
$I_{2k-3}^{*s}$	$2k+3$	$D_{2k+1}$	$SO(4k+2)$	$1$	$1$	$k$	$k+1$	$2k+1$
$I_{2k-2}^{*ns}$	$2k+4$	$B_{2k+1}$	$SO(4k+3)$	$1$	$1$	$k+1$	$k+1$	$2k+1$
$I_{2k-2}^{*s}$	$2k+4$	$D_{2k+2}$	$SO(4k+4)$	$1$	$1$	$k+1$	$k+1$	$2k+1$
$IV^{*ns}$	$8$	$F_4$	$F_4$	$1$	$2$	$2$	$3$	$4$
$IV^{*s}$	$8$	$E_6$	$E_6$	$1$	$2$	$2$	$3$	$5$
$III^*$	$9$	$E_7$	$E_7$	$1$	$2$	$3$	$3$	$5$
$II^*$	$10$	$E_8$	$E_8$	$1$	$2$	$3$	$4$	$5$
non-min.	$12$			$1$	$2$	$3$	$4$	$6$

Constructors

We aim to provide support for global Tate models over the following bases:

a toric variety,
a toric scheme,
a (covered) scheme.

Often, one also wishes to obtain information about a global Tate model without explicitly specifying the base space. Also for this application, we provide support. Finally, we provide support for some standard constructions.

Before we detail these constructors, we must comment on the constructors over toric base spaces. Namely, in order to construct a global Tate model as a hypersurface in an ambient space, we first wish to construct the ambient space in question. For a toric base, one way to achieve this is to first focus on the Cox ring of the toric ambient space. This ring must be graded such that the Tate polynomial is homogeneous and cuts out a Calabi-Yau hypersurface. Given this grading, one can perform a triangulation task. Typically, this combinatorial task is very demanding, consumes a lot of computational power and takes a long time to complete. Even more, it will yield a large, often huge, number of candidate ambient spaces of which the typical user will only pick one. For instance, a common and often appropriate choice is a toric ambient space which contains the toric base space in a manifest way.

To circumvent this very demanding computation, our toric constructors operate in the opposite direction. That is, they begin by extracting the rays and maximal cones of the chosen toric base space. Subsequently, those rays and cones are extended to form one of the many toric ambient spaces. This proves hugely superior in performance than going through the triangulation task of enumerating all possible toric ambient spaces. One downside of this strategy is that the so-constructed ambient space need not be smooth.

A toric variety as base space

We require that the provided toric base space is complete. This is a technical limitation as of now. The functionality of OSCAR only allows us to compute a section basis (or a finite subset thereof) for complete toric varieties. In the future, this could be extended.

However, completeness is an expensive check. Therefore, we provide an optional argument which one can use to disable this check if desired. To this end, one passes the optional argument completeness_check = false as last argument to the constructor. The following examples demonstrate this:

global_tate_model — Method

global_tate_model(base::NormalToricVariety; completeness_check::Bool = true)

This method constructs a global Tate model over a given toric base 3-fold. The Tate sections $a_i$ are taken with (pseudo) random coefficients.

Examples

julia> t = global_tate_model(sample_toric_variety(); completeness_check = false)
Global Tate model over a concrete base