It is well-known that the compactification $\overline M\_{1,1}$ of the moduli space of elliptic curves over $\mathbb C$ is a weighted projective line with 
weights $4$ and $6$. As far as I can tell, this is more or less directly linked to the fact that the ring of holomorphic modular forms for $SL\_2(\mathbb Z)$ 
is a polynomial ring with generators $E\_4$ and $E\_6$. As a consequence, $\overline M\_{1,1}$ is a smooth toric Deligne-Mumford stack.


It has been shown in Eichler-Zagier's book 


<http://carlossicoli.free.fr/E/Eichler_M.,_Zagier_D.-The_theory_of_Jacobi_forms.pdf>


that the ring of weak Jacobi forms of even weight is a polynomial ring with a double grading by weight and index (see Theorem 9.3 on page 108). The bigradings of the variables are $(4,0),(6,0),(-2,1),(0,1)$. It is thus tempting to consider a GIT quotient of $\mathbb C^4$ with respect to the corresponding action of $\mathbb (C^\*)^2$ by looking at the Gale dual of the set of weights. This would be a smooth toric DM stack of dimension two and Picard number 2. Dimension two makes a choice of triangulation automatic.


Does one get the universal elliptic curve $\overline M\_{1,2}$ this way? If so, is there a reference for this? My guess is that it is a little bit off, but I am not positive. (Note: I believe the fibers of the projection map to $\overline M\_{1,1}$ are elliptic curves modulo Kummer involution, which is why they are rational).



Is the universal elliptic curve $\overline M_{1,2}$ a toric stack?
The fibers aren't rational curves when viewed as stacks, because they have four points with extra automorphisms. I think this will be problematic.


The universal family of elliptic curves is the quotient of the scheme with projective variablesz $x,y,z$, affine variables $g\_2,g\_3$, and equation $y^2z=x^3-g\_2xz^2-g\_3z^3$ by the torus action that takes fixez $z$ and takes $x \to t^2x, y \to t^3 y, g\_2 \to t^4g\_2, g\_3 \to t^6 g\_3$. So if $\overline{M}\_{1,2}$ were a toric variety then this should be as well, but the equation has too many terms to be toric.


Here the extra automorphism is the case $t=-1$. Taking the even weight forms should basically by equivalent to taking the quotient by this action, where you replace $y$ by $y^2$ and then eliminating that variable, which I think gives your ring $(4,0)=g\_2$, $(6,0)=g\_3$, $(-2,1)=z$, $(0,1)=x$. I'm not completely sure of this because I don't think you actually can eliminate $y$ and get the Jacobi ring because of the extra factor of $z$, but you certainly get a toric variety by doing this (you just need to add the variable $x^3/z$.) However this is not going to be the same stack as you get from the full ring.


