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 568.1
Root \(-1.61803i\) of defining polynomial
Character \(\chi\) \(=\) 725.568
Dual form 725.2.e.a.157.2

$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{3}{4}\right)\) \(e\left(\frac{3}{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.709785\pi\)
0.612372 − 0.790569i \(-0.290215\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.989524 − 0.144370i \(-0.953885\pi\)
0.144370 + 0.989524i \(0.453885\pi\)
\(8\) 2.23607i 0.790569i
\(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.280491 + 0.959857i \(0.590497\pi\)
−0.959857 + 0.280491i \(0.909503\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.182456\pi\)
−0.840168 + 0.542326i \(0.817544\pi\)
\(18\) 6.70820i 1.58114i
\(19\) −2.00000 − 2.00000i −0.458831 − 0.458831i 0.439440 − 0.898272i \(-0.355177\pi\)
−0.898272 + 0.439440i \(0.855177\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.143056\pi\)
−0.434446 + 0.900698i \(0.643056\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.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.780869 − 0.624695i \(-0.214777\pi\)
−0.624695 + 0.780869i \(0.714777\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.964497 − 0.264093i \(-0.914927\pi\)
−0.264093 − 0.964497i \(-0.585073\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.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.830379 − 0.557199i \(-0.188124\pi\)
−0.557199 + 0.830379i \(0.688124\pi\)
\(68\) − 13.4164i − 1.62698i
\(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.70820i − 0.790569i
\(73\) − 4.47214i − 0.523424i −0.965146 − 0.261712i \(-0.915713\pi\)
0.965146 − 0.261712i \(-0.0842870\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.585590 − 0.810607i \(-0.300863\pi\)
−0.810607 + 0.585590i \(0.800863\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.424313\pi\)
−0.971864 + 0.235543i \(0.924313\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.230964 − 0.972962i \(-0.425812\pi\)
−0.972962 + 0.230964i \(0.925812\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.568.1 yes 4
5.2 odd 4 725.2.j.a.307.2 yes 4
5.3 odd 4 725.2.j.a.307.1 yes 4
5.4 even 2 inner 725.2.e.a.568.2 yes 4
29.12 odd 4 725.2.j.a.418.2 yes 4
145.12 even 4 inner 725.2.e.a.157.2 yes 4
145.99 odd 4 725.2.j.a.418.1 yes 4
145.128 even 4 inner 725.2.e.a.157.1 ✓ 4
    
        By twisted newform
Twist Min Dim Char Parity Ord Type
725.2.e.a.157.1 ✓ 4 145.128 even 4 inner
725.2.e.a.157.2 yes 4 145.12 even 4 inner
725.2.e.a.568.1 yes 4 1.1 even 1 trivial
725.2.e.a.568.2 yes 4 5.4 even 2 inner
725.2.j.a.307.1 yes 4 5.3 odd 4
725.2.j.a.307.2 yes 4 5.2 odd 4
725.2.j.a.418.1 yes 4 145.99 odd 4
725.2.j.a.418.2 yes 4 29.12 odd 4