Show commands: Magma / Pari/GP / SageMath

Newspace parameters

Copy content comment:Compute space of new eigenforms
 
Copy content gp:[N,k,chi] = [725,2,Mod(307,725)] mf = mfinit([N,k,chi],0) lf = mfeigenbasis(mf)
 
Copy content magma:// Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code chi := DirichletCharacter("725.307"); S:= CuspForms(chi, 2); N := Newforms(S);
 
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(725, base_ring=CyclotomicField(4)) chi = DirichletCharacter(H, H._module([1, 3])) N = Newforms(chi, 2, names="a")
 
Level: \( N \) \(=\) \( 725 = 5^{2} \cdot 29 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 725.j (of order \(4\), degree \(2\), minimal)

Newform invariants

Copy content comment:select newform
 
Copy content sage:traces = [4] f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == traces)
 
Copy content gp:f = lf[1] \\ Warning: the index may be different
 
Self dual: no
Analytic conductor: \(5.78915414654\)
Analytic rank: \(0\)
Dimension: \(4\)
Relative dimension: \(2\) over \(\Q(i)\)
Coefficient field: \(\Q(i, \sqrt{5})\)
Copy content comment:defining polynomial
 
Copy content gp:f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{4} + 3x^{2} + 1 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{11}]\)
Coefficient ring index: \( 2^{2} \)
Twist minimal: yes
Sato-Tate group: $\mathrm{SU}(2)[C_{4}]$

Embedding invariants

Embedding label 307.1
Root \(1.61803i\) of defining polynomial
Character \(\chi\) \(=\) 725.307
Dual form 725.2.j.a.418.1

$q$-expansion

Copy content comment:q-expansion
 
Copy content sage:f.q_expansion() # note that sage often uses an isomorphic number field
 
Copy content gp:mfcoefs(f, 20)
 
\(f(q)\) \(=\) \(q-2.23607 q^{2} +3.00000 q^{4} +(2.23607 + 2.23607i) q^{7} -2.23607 q^{8} +3.00000 q^{9} +(4.00000 - 4.00000i) q^{11} +(-4.47214 - 4.47214i) q^{13} +(-5.00000 - 5.00000i) q^{14} -1.00000 q^{16} +4.47214 q^{17} -6.70820 q^{18} +(2.00000 + 2.00000i) q^{19} +(-8.94427 + 8.94427i) q^{22} +(-2.23607 + 2.23607i) q^{23} +(10.0000 + 10.0000i) q^{26} +(6.70820 + 6.70820i) q^{28} +(-2.00000 - 5.00000i) q^{29} +(-4.00000 + 4.00000i) q^{31} +6.70820 q^{32} -10.0000 q^{34} +9.00000 q^{36} -4.47214i q^{37} +(-4.47214 - 4.47214i) q^{38} +(1.00000 + 1.00000i) q^{41} -4.47214i q^{43} +(12.0000 - 12.0000i) q^{44} +(5.00000 - 5.00000i) q^{46} +4.47214i q^{47} +3.00000i q^{49} +(-13.4164 - 13.4164i) q^{52} +(8.94427 - 8.94427i) q^{53} +(-5.00000 - 5.00000i) q^{56} +(4.47214 + 11.1803i) q^{58} +(-9.00000 + 9.00000i) q^{61} +(8.94427 - 8.94427i) q^{62} +(6.70820 + 6.70820i) q^{63} -13.0000 q^{64} +(2.23607 - 2.23607i) q^{67} +13.4164 q^{68} -12.0000i q^{71} -6.70820 q^{72} +4.47214 q^{73} +10.0000i q^{74} +(6.00000 + 6.00000i) q^{76} +17.8885 q^{77} +(2.00000 + 2.00000i) q^{79} +9.00000 q^{81} +(-2.23607 - 2.23607i) q^{82} +(6.70820 - 6.70820i) q^{83} +10.0000i q^{86} +(-8.94427 + 8.94427i) q^{88} +(7.00000 + 7.00000i) q^{89} -20.0000i q^{91} +(-6.70820 + 6.70820i) q^{92} -10.0000i q^{94} +4.47214i q^{97} -6.70820i q^{98} +(12.0000 - 12.0000i) q^{99} +O(q^{100})\)
\(\operatorname{Tr}(f)(q)\) \(=\) \( 4 q + 12 q^{4} + 12 q^{9} + 16 q^{11} - 20 q^{14} - 4 q^{16} + 8 q^{19} + 40 q^{26} - 8 q^{29} - 16 q^{31} - 40 q^{34} + 36 q^{36} + 4 q^{41} + 48 q^{44} + 20 q^{46} - 20 q^{56} - 36 q^{61} - 52 q^{64}+ \cdots + 48 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Character values

We give the values of \(\chi\) on generators for \(\left(\mathbb{Z}/725\mathbb{Z}\right)^\times\).

\(n\) \(176\) \(552\)
\(\chi(n)\) \(e\left(\frac{3}{4}\right)\) \(e\left(\frac{1}{4}\right)\)

Coefficient data

For each \(n\) we display the coefficients of the \(q\)-expansion \(a_n\), the Satake parameters \(\alpha_p\), and the Satake angles \(\theta_p = \textrm{Arg}(\alpha_p)\). You can download additional coefficients here.



Currently showing only \(a_p\); display all \(a_n\) Currently showing all \(a_n\); display only \(a_p\)
Significant digits:
\(n\) \(a_n\) \(a_n / n^{(k-1)/2}\) \( \alpha_n \) \( \theta_n \)
\(p\) \(a_p\) \(a_p / p^{(k-1)/2}\) \( \alpha_p\) \( \theta_p \)
\(2\) −2.23607 −1.58114 −0.790569 − 0.612372i \(-0.790215\pi\)
−0.790569 + 0.612372i \(0.790215\pi\)
\(3\) 0 0 1.00000 \(0\)
−1.00000 \(\pi\)
\(4\) 3.00000 1.50000
\(5\) 0 0
\(6\) 0 0
\(7\) 2.23607 + 2.23607i 0.845154 + 0.845154i 0.989524 − 0.144370i \(-0.0461154\pi\)
−0.144370 + 0.989524i \(0.546115\pi\)
\(8\) −2.23607 −0.790569
\(9\) 3.00000 1.00000
\(10\) 0 0
\(11\) 4.00000 − 4.00000i 1.20605 − 1.20605i 0.233748 − 0.972297i \(-0.424901\pi\)
0.972297 − 0.233748i \(-0.0750991\pi\)
\(12\) 0 0
\(13\) −4.47214 − 4.47214i −1.24035 − 1.24035i −0.959857 − 0.280491i \(-0.909503\pi\)
−0.280491 − 0.959857i \(-0.590497\pi\)
\(14\) −5.00000 − 5.00000i −1.33631 − 1.33631i
\(15\) 0 0
\(16\) −1.00000 −0.250000
\(17\) 4.47214 1.08465 0.542326 − 0.840168i \(-0.317544\pi\)
0.542326 + 0.840168i \(0.317544\pi\)
\(18\) −6.70820 −1.58114
\(19\) 2.00000 + 2.00000i 0.458831 + 0.458831i 0.898272 − 0.439440i \(-0.144823\pi\)
−0.439440 + 0.898272i \(0.644823\pi\)
\(20\) 0 0
\(21\) 0 0
\(22\) −8.94427 + 8.94427i −1.90693 + 1.90693i
\(23\) −2.23607 + 2.23607i −0.466252 + 0.466252i −0.900698 − 0.434446i \(-0.856944\pi\)
0.434446 + 0.900698i \(0.356944\pi\)
\(24\) 0 0
\(25\) 0 0
\(26\) 10.0000 + 10.0000i 1.96116 + 1.96116i
\(27\) 0 0
\(28\) 6.70820 + 6.70820i 1.26773 + 1.26773i
\(29\) −2.00000 − 5.00000i −0.371391 − 0.928477i
\(30\) 0 0
\(31\) −4.00000 + 4.00000i −0.718421 + 0.718421i −0.968282 − 0.249861i \(-0.919615\pi\)
0.249861 + 0.968282i \(0.419615\pi\)
\(32\) 6.70820 1.18585
\(33\) 0 0
\(34\) −10.0000 −1.71499
\(35\) 0 0
\(36\) 9.00000 1.50000
\(37\) − 4.47214i − 0.735215i −0.929981 − 0.367607i \(-0.880177\pi\)
0.929981 − 0.367607i \(-0.119823\pi\)
\(38\) −4.47214 − 4.47214i −0.725476 − 0.725476i
\(39\) 0 0
\(40\) 0 0
\(41\) 1.00000 + 1.00000i 0.156174 + 0.156174i 0.780869 − 0.624695i \(-0.214777\pi\)
−0.624695 + 0.780869i \(0.714777\pi\)
\(42\) 0 0
\(43\) − 4.47214i − 0.681994i −0.940064 − 0.340997i \(-0.889235\pi\)
0.940064 − 0.340997i \(-0.110765\pi\)
\(44\) 12.0000 − 12.0000i 1.80907 − 1.80907i
\(45\) 0 0
\(46\) 5.00000 − 5.00000i 0.737210 − 0.737210i
\(47\) 4.47214i 0.652328i 0.945313 + 0.326164i \(0.105756\pi\)
−0.945313 + 0.326164i \(0.894244\pi\)
\(48\) 0 0
\(49\) 3.00000i 0.428571i
\(50\) 0 0
\(51\) 0 0
\(52\) −13.4164 − 13.4164i −1.86052 − 1.86052i
\(53\) 8.94427 − 8.94427i 1.22859 − 1.22859i 0.264093 − 0.964497i \(-0.414927\pi\)
0.964497 − 0.264093i \(-0.0850726\pi\)
\(54\) 0 0
\(55\) 0 0
\(56\) −5.00000 − 5.00000i −0.668153 − 0.668153i
\(57\) 0 0
\(58\) 4.47214 + 11.1803i 0.587220 + 1.46805i
\(59\) 0 0 1.00000 \(0\)
−1.00000 \(\pi\)
\(60\) 0 0
\(61\) −9.00000 + 9.00000i −1.15233 + 1.15233i −0.166248 + 0.986084i \(0.553165\pi\)
−0.986084 + 0.166248i \(0.946835\pi\)
\(62\) 8.94427 − 8.94427i 1.13592 − 1.13592i
\(63\) 6.70820 + 6.70820i 0.845154 + 0.845154i
\(64\) −13.0000 −1.62500
\(65\) 0 0
\(66\) 0 0
\(67\) 2.23607 − 2.23607i 0.273179 − 0.273179i −0.557199 − 0.830379i \(-0.688124\pi\)
0.830379 + 0.557199i \(0.188124\pi\)
\(68\) 13.4164 1.62698
\(69\) 0 0
\(70\) 0 0
\(71\) − 12.0000i − 1.42414i −0.702109 − 0.712069i \(-0.747758\pi\)
0.702109 − 0.712069i \(-0.252242\pi\)
\(72\) −6.70820 −0.790569
\(73\) 4.47214 0.523424 0.261712 − 0.965146i \(-0.415713\pi\)
0.261712 + 0.965146i \(0.415713\pi\)
\(74\) 10.0000i 1.16248i
\(75\) 0 0
\(76\) 6.00000 + 6.00000i 0.688247 + 0.688247i
\(77\) 17.8885 2.03859
\(78\) 0 0
\(79\) 2.00000 + 2.00000i 0.225018 + 0.225018i 0.810607 − 0.585590i \(-0.199137\pi\)
−0.585590 + 0.810607i \(0.699137\pi\)
\(80\) 0 0
\(81\) 9.00000 1.00000
\(82\) −2.23607 − 2.23607i −0.246932 − 0.246932i
\(83\) 6.70820 − 6.70820i 0.736321 − 0.736321i −0.235543 − 0.971864i \(-0.575687\pi\)
0.971864 + 0.235543i \(0.0756868\pi\)
\(84\) 0 0
\(85\) 0 0
\(86\) 10.0000i 1.07833i
\(87\) 0 0
\(88\) −8.94427 + 8.94427i −0.953463 + 0.953463i
\(89\) 7.00000 + 7.00000i 0.741999 + 0.741999i 0.972962 − 0.230964i \(-0.0741879\pi\)
−0.230964 + 0.972962i \(0.574188\pi\)
\(90\) 0 0
\(91\) − 20.0000i − 2.09657i
\(92\) −6.70820 + 6.70820i −0.699379 + 0.699379i
\(93\) 0 0
\(94\) − 10.0000i − 1.03142i
\(95\) 0 0
\(96\) 0 0
\(97\) 4.47214i 0.454077i 0.973886 + 0.227038i \(0.0729043\pi\)
−0.973886 + 0.227038i \(0.927096\pi\)
\(98\) − 6.70820i − 0.677631i
\(99\) 12.0000 − 12.0000i 1.20605 − 1.20605i
Currently showing only \(a_p\); display all \(a_n\) Currently showing all \(a_n\); display only \(a_p\)

Twists

       By twisting character
Char Parity Ord Type Twist Min Dim
1.1 even 1 trivial 725.2.j.a.307.1 yes 4
5.2 odd 4 725.2.e.a.568.1 yes 4
5.3 odd 4 725.2.e.a.568.2 yes 4
5.4 even 2 inner 725.2.j.a.307.2 yes 4
29.12 odd 4 725.2.e.a.157.1 ✓ 4
145.12 even 4 inner 725.2.j.a.418.2 yes 4
145.99 odd 4 725.2.e.a.157.2 yes 4
145.128 even 4 inner 725.2.j.a.418.1 yes 4
    
        By twisted newform
Twist Min Dim Char Parity Ord Type
725.2.e.a.157.1 ✓ 4 29.12 odd 4
725.2.e.a.157.2 yes 4 145.99 odd 4
725.2.e.a.568.1 yes 4 5.2 odd 4
725.2.e.a.568.2 yes 4 5.3 odd 4
725.2.j.a.307.1 yes 4 1.1 even 1 trivial
725.2.j.a.307.2 yes 4 5.4 even 2 inner
725.2.j.a.418.1 yes 4 145.128 even 4 inner
725.2.j.a.418.2 yes 4 145.12 even 4 inner