 $$\label{eqn.G6}
    G_{6} (e^{\pi i/3})=G_{6} (e^{2\pi i/3})=\sum_{m,n}^{*}
    \frac{1}{m^{6}+n^{6}} >0.$$ Consequently, if $g_{3} (\mathcal{L})=-C<0$ then $\mathcal{L}$ must be of the form for some $\omega$ such that $\omega^{6}<0$, that is, $\omega$ is a positive multiple of a primitive $12$th root of unity. Thus, in the case $g_{3}
(\mathcal{L})=-C<0$ the lattice $\mathcal{L}$ must have the form with $\omega = |\omega |e^{\pi i/6}$.

Assume now that $\mathcal{L}$ is of the form for some $\omega$ satisfying. Then by the *addition law* for the elliptic curve $y^{2}=4x^{3}-g_{3}$ (cf. [@K84], section I.7; see especially Problem 8), $$\mathcal{P}_{\mathcal{L}} (\sqrt{3}|\omega
    |/3)=\mathcal{P}_{\mathcal{L}} (2\sqrt{3}|\omega |/3)=0.$$ Since $\mathcal{P}_{\mathcal{L}}$ has degree $2$, it has only two zeros in a fundamental parallelogram, and by equation the derivatives $\mathcal{P}_{\mathcal{L}}' (\sqrt{3}|\omega |/3)=-\mathcal{P}_{\mathcal{L}}'
(2\sqrt{3}|\omega |/3)$ must be the two square roots of $C$. It is easily seen that the unique solution of with initial conditions $u (y_{0})=0$ and ${u'(y_{0})}>0$ must be strictly increasing, with increasing derivative, on any interval $(y_{0},y_{1})$ on which the solution $u$ is well-defined and finite. This implies that $\mathcal{P}_{\mathcal{L}}' (\sqrt{3}|\omega |/3)$ is *negative*, and hence $\mathcal{P}_{\mathcal{L}}' (2\sqrt{3}|\omega |/3)$ is *positive*. It then follows that $u$ is strictly increasing in $(2\sqrt{3}|\omega |/3,\sqrt{3}|\omega |)$.


$ $ \label{eqn. G6 } 
     G_{6 } (e^{\pi i/3})=G_{6 } (e^{2\pi i/3})=\sum_{m, n}^ { * } 
     \frac{1}{m^{6}+n^{6 } } > 0.$$ Consequently, if $ g_{3 } (\mathcal{L})=-C<0 $ then $ \mathcal{L}$ must be of the form for some $ \omega$ such that $ \omega^{6}<0 $, that is, $ \omega$ is a positive multiple of a primitive $ 12$th root of oneness. therefore, in the case $ g_{3 } 
 (\mathcal{L})=-C<0 $ the lattice $ \mathcal{L}$ must get the shape with $ \omega = |\omega |e^{\pi i/6}$. 

 Assume now that $ \mathcal{L}$ is of the shape for some $ \omega$ satisfying. Then by the * summation law * for the egg-shaped curvature $ y^{2}=4x^{3}-g_{3}$ (cf. [ @K84 ], incision I.7; see especially Problem 8), $ $ \mathcal{P}_{\mathcal{L } } (\sqrt{3}|\omega 
     |/3)=\mathcal{P}_{\mathcal{L } } (2\sqrt{3}|\omega |/3)=0.$$ Since $ \mathcal{P}_{\mathcal{L}}$ has academic degree $ 2 $, it has only two zero in a fundamental parallelogram, and by equation the derived function $ \mathcal{P}_{\mathcal{L } }' (\sqrt{3}|\omega |/3)=-\mathcal{P}_{\mathcal{L } }' 
 (2\sqrt{3}|\omega |/3)$ must be the two square roots of $ C$. It is easily examine that the unique solution of with initial conditions $ u (y_{0})=0 $ and $ { u'(y_{0})}>0 $ must be strictly increase, with increasing derivative, on any interval $ (y_{0},y_{1})$ on which the solution $ u$ is well - defined and finite. This implies that $ \mathcal{P}_{\mathcal{L } }' (\sqrt{3}|\omega |/3)$ is * damaging *, and hence $ \mathcal{P}_{\mathcal{L } }' (2\sqrt{3}|\omega |/3)$ is * positive *. It then follows that $ u$ is strictly increasing in $ (2\sqrt{3}|\omega |/3,\sqrt{3}|\omega |)$.
 $$\lahel{eqn.G6}
    G_{6} (e^{\pi i/3})=G_{6} (e^{2\pi l/3})=\sum_{m,n}^{*}
    \frac{1}{m^{6}+n^{6}} >0.$$ Consexuentlg, if $g_{3} (\mxthcal{L})=-C<0$ then $\mathcal{L}$ must ue od the form for some $\omega$ sjch that $\lmega^{6}<0$, thqt iw, $\omega$ is e positiyz mulflple mh a primitive $12$tm root of utity. Thus, in tve ccse $g_{3}
(\mathcal{L})=-C<0$ the lattice $\mathcal{L}$ iust hafe the form with $\omebw = |\ojvgc |e^{\pi i/6}$.

Assume now that $\mathcal{L}$ is of uhe form for some $\pmega$ satisfying. Then by tje *afdition law* for thf elliptic xurvq $y^{2}=4x^{3}-g_{3}$ (cf. [@K84], seztion I.7; set zspecially Kroblem 8), $$\mathcal{P}_{\mathcal{L}} (\sqrt{3}|\omdga
    |/3)=\mathcal{P}_{\narhcwn{L}} (2\sqrt{3}|\omege |/3)=0.$$ Sinbe $\mathcal{P}_{\mabncal{L}}$ vas degtee $2$, it has onky vwo zeros in a fundamentan parallelogram, anq by equadikn the derivativew $\nathcdl{P}_{\mdthcxo{L}}' (\rqru{3}|\omxga |/3)=-\mathcwl{P}_{\jathcal{L}}'
(2\sqdt{3}|\omega |/3)$ muwt be the two squart rjits of $C$. It ia easijy seen that the unique solution of with pnitjal conditions $u (y_{0})=0$ and ${y'(y_{0})}>0$ must be strictly ijcreasing, with increasing derivative, on any interval $(y_{0},y_{1})$ on whici ghe sjuytlon $u$ is well-defined and finite. This implies egau $\msthcal{P}_{\mathcal{J}}' (\sqrt{3}|\omega |/3)$ ls *gegative*, and fence $\matgcal{P}_{\mathcal{L}}' (2\sqrt{3}|\lmega |/3)$ ys *powitive*. It them follows that $u$ is strictlt increasing un $(2\sqrt{3}|\omega |/3,\sqrt{3}|\olega |)$.


$$\label{eqn.G6} G_{6} (e^{\pi i/3})=G_{6} (e^{2\pi i/3})=\sum_{m,n}^{*} \frac{1}{m^{6}+n^{6}} if (\mathcal{L})=-C<0$ then must be of such $\omega^{6}<0$, that is, is a positive of a primitive $12$th root of Thus, in the case $g_{3} (\mathcal{L})=-C<0$ the lattice $\mathcal{L}$ must have the form $\omega = |\omega |e^{\pi i/6}$. Assume now that $\mathcal{L}$ is of the form some satisfying. by *addition law* for the elliptic curve $y^{2}=4x^{3}-g_{3}$ (cf. [@K84], section I.7; see especially Problem 8), $$\mathcal{P}_{\mathcal{L}} |/3)=\mathcal{P}_{\mathcal{L}} (2\sqrt{3}|\omega |/3)=0.$$ Since $\mathcal{P}_{\mathcal{L}}$ has degree $2$, has only two zeros a fundamental parallelogram, and by the $\mathcal{P}_{\mathcal{L}}' (\sqrt{3}|\omega (2\sqrt{3}|\omega must the two square of $C$. It is easily seen that the unique solution of with initial conditions $u (y_{0})=0$ and must be with increasing on interval on which the is well-defined and finite. This implies |/3)$ is *negative*, and hence $\mathcal{P}_{\mathcal{L}}' (2\sqrt{3}|\omega |/3)$ *positive*. It follows that $u$ is strictly increasing $(2\sqrt{3}|\omega |/3,\sqrt{3}|\omega |)$.
 $$\label{eqn.G6}
    G_{6} (e^{\pi i/3})=G_{6} (e^{2\pi i/3})=\sum_{m,n}^{*}
    \fRac{1}{m^{6}+n^{6}} >0.$$ ConseQuentLy, iF $g_{3} (\mAtHcal{l})=-C<0$ thEn $\mathcal{L}$ must BE of tHe form for some $\omega$ such That $\oMeGA^{6}<0$, thaT Is, $\Omega$ Is a posiTIvE MUltIpLe Of a PrIMiTive $12$tH roOt of uniTy. Thus, in thE caSe $G_{3}
(\mathcal{L})=-C<0$ thE LaTtice $\mathcAl{L}$ Must have the fOrm With $\omEgA = |\omEGa |e^{\pi I/6}$.

AsSume nOw that $\MAthcal{l}$ is of the fOrM For somE $\Omega$ saTISfYing. then by the *addition LAw* FOr the elliptic cUrve $y^{2}=4x^{3}-G_{3}$ (cF. [@k84], sECTioN I.7; sEe especialLy problEM 8), $$\mathcaL{p}_{\mATHCal{l}} (\Sqrt{3}|\omega
    |/3)=\mathCal{P}_{\mathcal{l}} (2\SqrT{3}|\omega |/3)=0.$$ siNce $\MAthcal{p}_{\mathCaL{l}}$ haS degree $2$, it haS onlY two zeros In a funDAmental PArallelOgram, aNd bY eqUatiON tHe DerIvATivES $\mAthCAl{P}_{\Mathcal{L}}' (\SqRt{3}|\Omega |/3)=-\MathCAL{p}_{\MathCal{l}}'
(2\sqrT{3}|\omegA |/3)$ must be the two SquAre rOOts Of $C$. It Is easIly sEeN that The uniQue soLuTion of with initiAl coNditions $u (Y_{0})=0$ anD ${u'(Y_{0})}>0$ muSt Be strICtly inCreAsiNg, with iNcreasiNG deRiVATIvE, on any interval $(y_{0},y_{1})$ on WhICH tHe solutiOn $u$ is wELl-DeFIned and fInIte. this IMPlies That $\MAtHcal{P}_{\matHcal{L}}' (\sQRt{3}|\OmEga |/3)$ is *neGaTive*, anD hEncE $\maThcal{p}_{\MathCal{L}}' (2\sqRt{3}|\omega |/3)$ iS *posiTIve*. It then folloWS that $u$ is stricTLy INCrEAsinG in $(2\Sqrt{3}|\omega |/3,\sqRt{3}|\omEGa |)$.


 $$\label{eqn.G6}
    G_{6 } (e^{\pii/3}) =G_ {6}  ( e^{2 \pii/3})=\sum_{m, n }^{* }
    \frac{1}{m^{6}+n ^{6}}  > 0 .$$C on seque ntly, i f  $ g _ {3}  ( \m ath ca l {L })=-C <0$  then $ \mathcal{L }$mu st be of the fo rm for som e $ \omega$ such  th at $\o me ga^ { 6}<0$ , t hat i s, $\o m ega$ i s a posit iv e  multi p le of a p ri miti ve $12$th root of un i ty. Thus, in t he cas e$ g_ { 3 }
( \ma thcal{L})= -C <0$ t h e latti c e$ \ m ath c al{L}$ must h ave the for m  wi th $\o me ga=  |\ome ga |e ^{ \ pii/6}$.

Ass umenow that$\math c al{L}$i s of th e form  fo r s ome$ \o me ga$  s a tis f yi ng. The n by the  * ad ditio n la w * f or t heelli pticcurve $y^{2}= 4x^ {3}- g _{3 }$ (c f. [@ K84] ,secti on I.7 ; see  e specially Probl em 8 ), $$\mat hca l{ P}_ {\ mathc a l{L}}(\s qrt {3}|\om ega
  |/3 )= \ m a th cal{P}_{\mathcal{L }} ( 2\ sqrt{3}| \omega |/ 3) = 0.$$ Sin ce  $\ math c a l{P}_ {\ma t hc al{L}}$has de g re e$2$, it  h as onl ytwo  ze ros i n  a f undame ntal par allel o gram, and by e q uation the de r iv a t iv e s $\ mat hcal{P}_{\m athc a l{L} }' ( \ sq rt{ 3 }|\om ega | /3 ) =- \ mathcal{P}_{\mathca l{ L}}'
( 2\sqr t{3}|\omega | /3)$ mustb e the twosqua r er oots of $C$. I t iseasily see n  that th e uni que solu tion of w i t h initia l c ond iti ons $ u(y_{0})=0$ an d ${u' (y _{0})}> 0$must be  st ric tly  in cr easing, w ith incr ea si ng  d eri vativ e , on any  i nte rv al$(y_{ 0 },y_{1 })$ o n wh ic ht hesolutio n  $ u $  iswe ll -def ine dand f init e . T his imp lies that  $\ m athc al {P }_{\mat hcal{L}}' (\s qr t{3}|\omeg a|/3 )$ is* n egative* , and hence $\mathcal{P } _{\math cal {L}}'  (2\ sqrt{3}|\ ome ga |/3 )$i s *pos itive* . Itth enf o llows t ha t $ u$  is strict l y  in creas in g in  $(2\sq rt{3}|\omega |/3,\ s qrt {3}|\omega |) $.

 $$\label{eqn.G6}
_ _ G_{6} (e^{\pi i/3})=G_{6}_(e^{2\pi i/3})=\sum_{m,n}^{*}
__ _\frac{1}{m^{6}+n^{6}}_>0.$$ Consequently, if_$g_{3} (\mathcal{L})=-C<0$ then_$\mathcal{L}$ must be of_the form for_some_$\omega$ such that $\omega^{6}<0$, that is, $\omega$ is a positive multiple of a primitive_$12$th_root of_unity._Thus,_in the case $g_{3}
(\mathcal{L})=-C<0$ the_lattice $\mathcal{L}$ must have the_form with_$\omega = |\omega |e^{\pi i/6}$.

Assume now that $\mathcal{L}$_is_of the form_for some $\omega$ satisfying. Then by the *addition law*_for the elliptic curve $y^{2}=4x^{3}-g_{3}$ (cf._[@K84], section I.7;_see_especially_Problem 8), $$\mathcal{P}_{\mathcal{L}} (\sqrt{3}|\omega
_   |/3)=\mathcal{P}_{\mathcal{L}} (2\sqrt{3}|\omega |/3)=0.$$_Since $\mathcal{P}_{\mathcal{L}}$ has degree $2$, it_has only two zeros in a fundamental_parallelogram, and by equation the derivatives_$\mathcal{P}_{\mathcal{L}}' (\sqrt{3}|\omega |/3)=-\mathcal{P}_{\mathcal{L}}'
(2\sqrt{3}|\omega |/3)$ must_be the_two square roots of $C$._It is easily_seen that_the unique solution_of with initial conditions $u (y_{0})=0$_and ${u'(y_{0})}>0$ must_be strictly increasing, with increasing derivative,_on_any interval $(y_{0},y_{1})$_on_which_the solution_$u$ is well-defined_and_finite. This_implies_that $\mathcal{P}_{\mathcal{L}}' (\sqrt{3}|\omega |/3)$ is *negative*,_and_hence $\mathcal{P}_{\mathcal{L}}' (2\sqrt{3}|\omega |/3)$ is *positive*. It_then follows that $u$_is_strictly increasing in $(2\sqrt{3}|\omega_|/3,\sqrt{3}|\omega |)$.

