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(157,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.157"); 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, 1])) N = Newforms(chi, 2, names="a")
 
Level: \( N \) \(=\) \( 725 = 5^{2} \cdot 29 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 725.e (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 157.2
Root \(1.61803i\) of defining polynomial
Character \(\chi\) \(=\) 725.157
Dual form 725.2.e.a.568.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.23607i q^{2} -3.00000 q^{4} +(-2.23607 - 2.23607i) q^{7} -2.23607i 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.47214i q^{17} -6.70820i 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.70820i q^{32} +10.0000 q^{34} +9.00000 q^{36} +4.47214 q^{37} +(-4.47214 - 4.47214i) q^{38} +(1.00000 - 1.00000i) q^{41} -4.47214 q^{43} +(-12.0000 - 12.0000i) q^{44} +(5.00000 + 5.00000i) q^{46} -4.47214 q^{47} +3.00000i q^{49} +(13.4164 + 13.4164i) q^{52} +(-8.94427 + 8.94427i) q^{53} +(-5.00000 + 5.00000i) q^{56} +(11.1803 + 4.47214i) 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.4164i q^{68} +12.0000i q^{71} +6.70820i q^{72} +4.47214i q^{73} +10.0000i q^{74} +(6.00000 - 6.00000i) q^{76} -17.8885i 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.47214 q^{97} -6.70820 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{1}{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.23607i 1.58114i 0.612372 + 0.790569i \(0.290215\pi\)
−0.612372 + 0.790569i \(0.709785\pi\)
\(3\) 0 0 − 1.00000i \(-0.5\pi\)
1.00000i \(0.5\pi\)
\(4\) −3.00000 −1.50000
\(5\) 0 0
\(6\) 0 0
\(7\) −2.23607 − 2.23607i −0.845154 − 0.845154i 0.144370 − 0.989524i \(-0.453885\pi\)
−0.989524 + 0.144370i \(0.953885\pi\)
\(8\) − 2.23607i − 0.790569i
\(9\) −3.00000 −1.00000
\(10\) 0 0
\(11\) 4.00000 + 4.00000i 1.20605 + 1.20605i 0.972297 + 0.233748i \(0.0750991\pi\)
0.233748 + 0.972297i \(0.424901\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.47214i − 1.08465i −0.840168 − 0.542326i \(-0.817544\pi\)
0.840168 − 0.542326i \(-0.182456\pi\)
\(18\) − 6.70820i − 1.58114i
\(19\) −2.00000 + 2.00000i −0.458831 + 0.458831i −0.898272 − 0.439440i \(-0.855177\pi\)
0.439440 + 0.898272i \(0.355177\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.434446 − 0.900698i \(-0.643056\pi\)
0.900698 + 0.434446i \(0.143056\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.249861 − 0.968282i \(-0.419615\pi\)
−0.968282 + 0.249861i \(0.919615\pi\)
\(32\) − 6.70820i − 1.18585i
\(33\) 0 0
\(34\) 10.0000 1.71499
\(35\) 0 0
\(36\) 9.00000 1.50000
\(37\) 4.47214 0.735215 0.367607 − 0.929981i \(-0.380177\pi\)
0.367607 + 0.929981i \(0.380177\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.624695 − 0.780869i \(-0.714777\pi\)
0.780869 + 0.624695i \(0.214777\pi\)
\(42\) 0 0
\(43\) −4.47214 −0.681994 −0.340997 − 0.940064i \(-0.610765\pi\)
−0.340997 + 0.940064i \(0.610765\pi\)
\(44\) −12.0000 − 12.0000i −1.80907 − 1.80907i
\(45\) 0 0
\(46\) 5.00000 + 5.00000i 0.737210 + 0.737210i
\(47\) −4.47214 −0.652328 −0.326164 − 0.945313i \(-0.605756\pi\)
−0.326164 + 0.945313i \(0.605756\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.585073\pi\)
−0.964497 + 0.264093i \(0.914927\pi\)
\(54\) 0 0
\(55\) 0 0
\(56\) −5.00000 + 5.00000i −0.668153 + 0.668153i
\(57\) 0 0
\(58\) 11.1803 + 4.47214i 1.46805 + 0.587220i
\(59\) 0 0 1.00000 \(0\)
−1.00000 \(\pi\)
\(60\) 0 0
\(61\) −9.00000 − 9.00000i −1.15233 − 1.15233i −0.986084 − 0.166248i \(-0.946835\pi\)
−0.166248 − 0.986084i \(-0.553165\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.4164i 1.62698i
\(69\) 0 0
\(70\) 0 0
\(71\) 12.0000i 1.42414i 0.702109 + 0.712069i \(0.252242\pi\)
−0.702109 + 0.712069i \(0.747758\pi\)
\(72\) 6.70820i 0.790569i
\(73\) 4.47214i 0.523424i 0.965146 + 0.261712i \(0.0842870\pi\)
−0.965146 + 0.261712i \(0.915713\pi\)
\(74\) 10.0000i 1.16248i
\(75\) 0 0
\(76\) 6.00000 − 6.00000i 0.688247 − 0.688247i
\(77\) − 17.8885i − 2.03859i
\(78\) 0 0
\(79\) −2.00000 + 2.00000i −0.225018 + 0.225018i −0.810607 − 0.585590i \(-0.800863\pi\)
0.585590 + 0.810607i \(0.300863\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.971864 − 0.235543i \(-0.924313\pi\)
0.235543 + 0.971864i \(0.424313\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.925812\pi\)
0.230964 + 0.972962i \(0.425812\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.47214 −0.454077 −0.227038 − 0.973886i \(-0.572904\pi\)
−0.227038 + 0.973886i \(0.572904\pi\)
\(98\) −6.70820 −0.677631
\(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.e.a.157.2 yes 4
5.2 odd 4 725.2.j.a.418.1 yes 4
5.3 odd 4 725.2.j.a.418.2 yes 4
5.4 even 2 inner 725.2.e.a.157.1 ✓ 4
29.17 odd 4 725.2.j.a.307.2 yes 4
145.17 even 4 inner 725.2.e.a.568.2 yes 4
145.104 odd 4 725.2.j.a.307.1 yes 4
145.133 even 4 inner 725.2.e.a.568.1 yes 4
    
        By twisted newform
Twist Min Dim Char Parity Ord Type
725.2.e.a.157.1 ✓ 4 5.4 even 2 inner
725.2.e.a.157.2 yes 4 1.1 even 1 trivial
725.2.e.a.568.1 yes 4 145.133 even 4 inner
725.2.e.a.568.2 yes 4 145.17 even 4 inner
725.2.j.a.307.1 yes 4 145.104 odd 4
725.2.j.a.307.2 yes 4 29.17 odd 4
725.2.j.a.418.1 yes 4 5.2 odd 4
725.2.j.a.418.2 yes 4 5.3 odd 4