cp's OEIS Frontend

A037150 Fourier coefficients of Eisenstein series of degree 2 and weight 6 when evaluated at Gram(A_2)*z.

%I A037150 #45 Jul 08 2025 22:03:25
%S A037150 1,0,-1512,44352,449064,6519744,47263608,257027904,1115041032,
%T A037150 4093040448,13000566096,37057027392,96945887304,232758852480,
%U A037150 526296318912,1128198915648,2286101175624,4451375005056,8386154766360,15131349955008,26614555499952
%N A037150 Fourier coefficients of Eisenstein series of degree 2 and weight 6 when evaluated at Gram(A_2)*z.
%D A037150 J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, Third Ed., 1998.
%D A037150 Helmut Klingen, Introductory Lectures on Siegel Modular Forms, Cambrifge, 1990, p. 123.
%H A037150 N. J. A. Sloane, <a href="/A037150/b037150.txt">Table of n, a(n) for n = 0..100</a>
%H A037150 N. J. A. Sloane, <a href="/A037150/a037150.pdf">Notes on Two-dimensional Theta Series of Lattices</a> (Notes on some joint work with Eric M. Rains), pages 96-115, circa Jun 08 1998, of N. J. A. Sloane's notebook "Lattices Volume 79".
%H A037150 <a href="/index/Ed#Eisen">Index entries for sequences related to Eisenstein series</a>
%F A037150 x^12-72*x^6*y-1728*y^2, x = phi_0(z), y = Delta_12(z). Here phi_0(z) is the theta series of the A_2 lattice - see A004016, and Delta_12 is the 12-dimensional cusp form given in A007332.
%p A037150 # Maple code from _N. J. A. Sloane_, Dec 12 2020. Will also be useful for related sequences.
%p A037150 # get standard theta series in Maple. First set max degree, maxd.
%p A037150 maxd:=201:
%p A037150 # get th2, th3, th4 = Jacobi theta constants out to degree maxd (Ref. Conway-Sloane, p. 102)
%p A037150 temp0:=trunc(evalf(sqrt(maxd)))+2:
%p A037150 a:=0: for i from -temp0 to temp0 do a:=a+q^( (i+1/2)^2): od:
%p A037150 th2:=series(a,q,maxd);
%p A037150 a:=0: for i from -temp0 to temp0 do a:=a+q^(i^2): od:
%p A037150 th3:=series(a,q,maxd);
%p A037150 th4:=series(subs(q=-q,th3),q,maxd);
%p A037150 # get Dedekind eta function
%p A037150 a:=q^(1/24) : for m from 1 to maxd do a:=a*(1-q^m); od:
%p A037150 eta:=a;
%p A037150 # get phi0 and phi1 (Ref. Conway-Sloane, p. 103)
%p A037150 phi0:=series( subs(q=q^2,th2)*subs(q=q^6,th2)+subs(q=q^2,th3)*subs(q=q^6,th3), q, maxd );
%p A037150 phi1:=series( subs(q=q^2,th2)*subs(q=q^6,th3)+subs(q=q^2,th3)*subs(q=q^6,th2), q, maxd );
%p A037150 # get delta12 (Ref. Conway-Sloane, p. 204, where it is called Delta_6)
%p A037150 delta12:=series((subs(q=q^3,eta)*eta)^6,q,maxd);
%p A037150 delta12:=series(subs(q=q^2,delta12),q,maxd);
%p A037150 # To get the present sequence: (Ref. Sloane notebook pages)
%p A037150 x:=phi0; y:=delta12;
%p A037150 w1:= x^12-72*x^6*y-1728*y^2; w1s:=series(w1,q,maxd); w2:=subs(q=sqrt(t),w1s); w3:=series(w2,t,101);
%p A037150 w4:=seriestolist(w3); # A037150
%Y A037150 Cf. A004016, A007332.
%K A037150 sign
%O A037150 0,3
%A A037150 _N. J. A. Sloane_
%E A037150 Entry revised by _N. J. A. Sloane_, Dec 12 2020