1: \begin{definition}\label{def:zeta}  \hskip 1.truecm \phantom{marcus}\\

2: \begin{enumerate}

3: \item Let $\Gamma_{\mathrm{Eisenstein}} = \Big\{(A,B,D,C) \in L^2\times L^2 \times L^2 \times L^3 \setminus\{0\}\ \ \text{s.t.} \ \

4: 27 D A^2 + 4 B^3 + 2^4 3^6  C^2=0 \Big\}$.

5: 

6: 

7: \item

8: Let $\zeta: \M^c_{\text{st}} \to L^2\times L^2 \times L^2 \times L^3$ be defined by

9: \beqa

10: \zeta(m)=(\tilde p_3(m),\tilde p_2(m),\mathrm{Disc}(Q_m),\mathrm{Inv}_m) \ , \ \ \forall m \in \M^c_{\text{st}} .\nn

11: \eeqa             

12: Note it follows from  Theorem \ref{theo:miracle}

13: and the  definition

14: of $ \M^c_{\text{st}}$ (cf. \eqref{eq:stable})

15: that $\mathrm{Im}(\zeta) \subset  \Gamma_{\mathrm{Eisenstein}}$. 

16: \item  The group $\FF^*$ acts on $L^2\times L^2 \times L^2 \times L^3$ by 

17: \beqa

18: \lambda\cdot(A,B,D,C)= \Big(\frac1 {\lambda^2} A,\frac1 {\lambda^2} B,\frac1 {\lambda^2} D,\frac1 {\lambda^3}C\Big) \ . \nn

19: \eeqa

20: We set

21: \beqa

22: \widetilde{{\mathbb P}}(L^2\times L^2 \times L^2 \times L^3) = (L^2\times L^2 \times L^2 \times L^3)/\FF^* \ . \nn

23: \eeqa

24: Note that $\Gamma_{\mathrm{Eisenstein}}$ is stable under this action and we will write 

25: $\widetilde{{\mathbb P}}(\Gamma_{\mathrm{Eisenstein}})=  \Gamma_{\mathrm{Eisenstein}}/\FF^*$. If

26: $U_3= \big\{[A,B,D,C] \in  \widetilde{{\mathbb P}}(\Gamma_{\mathrm{Eisenstein}}) \ \ \text{s.t.} \ \ D\ne 0 \big\}$,

27: we define the canonical affine chart $\psi_3: U_3\to \FF^2 $ and the canonical projective chart $\tilde \psi_3:

28:  \widetilde{{\mathbb P}}(\Gamma_{\mathrm{Eisenstein}})\to \mathbb P^2$ 

29: by

30: \beqa

31: \Psi_3([A,B,D,C])=\Big(\frac A D, \frac B D\Big) \ , \ \ \

32: \tilde \Psi_3([A,B,D,C])=[A, B,  D] \ .

33: \nn

34: \eeqa

35: \end{enumerate}

36: \end{definition}