Properties

Label 2301.1.z.c
Level $2301$
Weight $1$
Character orbit 2301.z
Analytic conductor $1.148$
Analytic rank $0$
Dimension $56$
Projective image $D_{58}$
CM discriminant -39
Inner twists $8$

Related objects

Downloads

Learn more

Show commands: Magma / Pari/GP / SageMath

Newspace parameters

Copy content comment:Compute space of new eigenforms
 
Copy content gp:[N,k,chi] = [2301,1,Mod(116,2301)] 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("2301.116"); S:= CuspForms(chi, 1); N := Newforms(S);
 
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(2301, base_ring=CyclotomicField(58)) chi = DirichletCharacter(H, H._module([29, 29, 30])) B = ModularForms(chi, 1).cuspidal_submodule().basis() N = [B[i] for i in range(len(B))]
 
Level: \( N \) \(=\) \( 2301 = 3 \cdot 13 \cdot 59 \)
Weight: \( k \) \(=\) \( 1 \)
Character orbit: \([\chi]\) \(=\) 2301.z (of order \(58\), degree \(28\), minimal)

Newform invariants

Copy content comment:select newform
 
Copy content sage:traces = [56,0] f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == traces)
 
Copy content gp:f = lf[1] \\ Warning: the index may be different
 
Self dual: no
Analytic conductor: \(1.14834859407\)
Analytic rank: \(0\)
Dimension: \(56\)
Relative dimension: \(2\) over \(\Q(\zeta_{58})\)
Coefficient field: \(\Q(\zeta_{116})\)
Copy content comment:defining polynomial
 
Copy content gp:f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{56} - x^{54} + x^{52} - x^{50} + x^{48} - x^{46} + x^{44} - x^{42} + x^{40} - x^{38} + x^{36} + \cdots + 1 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{59}]\)
Coefficient ring index: \( 1 \)
Twist minimal: yes
Projective image: \(D_{58}\)
Projective field: Galois closure of \(\mathbb{Q}[x]/(x^{58} - \cdots)\)

$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)
 

The \(q\)-expansion and trace form are shown below.

\(f(q)\) \(=\) \( q + (\zeta_{116}^{45} - \zeta_{116}^{33}) q^{2} - \zeta_{116}^{36} q^{3} + ( - \zeta_{116}^{32} + \cdots - \zeta_{116}^{8}) q^{4} + (\zeta_{116}^{39} - \zeta_{116}^{23}) q^{5} + (\zeta_{116}^{23} - \zeta_{116}^{11}) q^{6} + \cdots + (\zeta_{116}^{35} + \zeta_{116}^{29}) q^{99} +O(q^{100}) \) Copy content Toggle raw display
\(\operatorname{Tr}(f)(q)\) \(=\) \( 56 q + 2 q^{3} + 2 q^{4} - 2 q^{9} - 2 q^{12} + 2 q^{13} - 2 q^{16} + 2 q^{25} + 2 q^{27} + 2 q^{36} - 2 q^{39} - 58 q^{40} - 4 q^{43} + 2 q^{48} - 2 q^{49} - 2 q^{52} + 4 q^{61} + 2 q^{64} - 2 q^{75} + 4 q^{79}+ \cdots - 2 q^{81}+O(q^{100}) \) Copy content Toggle raw display

Character values

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

\(n\) \(886\) \(1535\) \(2185\)
\(\chi(n)\) \(-1\) \(-1\) \(\zeta_{116}^{20}\)

Embeddings

For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.

For more information on an embedded modular form you can click on its label.

Copy content comment:embeddings in the coefficient field
 
Copy content gp:mfembed(f)
 
Label   \(\iota_m(\nu)\) \( a_{2} \) \( a_{3} \) \( a_{4} \) \( a_{5} \) \( a_{6} \) \( a_{7} \) \( a_{8} \) \( a_{9} \) \( a_{10} \)
116.1
0.986827 + 0.161782i
−0.986827 0.161782i
0.214970 0.976621i
−0.214970 + 0.976621i
−0.762162 + 0.647386i
0.762162 0.647386i
0.605174 0.796093i
−0.605174 + 0.796093i
−0.687699 + 0.725995i
0.687699 0.725995i
−0.319302 0.947653i
0.319302 + 0.947653i
0.419889 0.907575i
−0.419889 + 0.907575i
0.827689 + 0.561187i
−0.827689 0.561187i
0.883512 + 0.468408i
−0.883512 0.468408i
0.419889 + 0.907575i
−0.419889 0.907575i
−0.0896204 + 1.65295i −0.907575 + 0.419889i −1.73007 0.188157i 1.82622 + 0.615326i −0.612719 1.53781i 0 0.198254 1.20929i 0.647386 0.762162i −1.18077 + 2.96351i
116.2 0.0896204 1.65295i −0.907575 + 0.419889i −1.73007 0.188157i −1.82622 0.615326i 0.612719 + 1.53781i 0 −0.198254 + 1.20929i 0.647386 0.762162i −1.18077 + 2.96351i
194.1 −1.08146 + 1.59504i −0.0541389 0.998533i −1.00445 2.52098i −1.79124 0.828715i 1.65125 + 0.993524i 0 3.22529 + 0.709940i −0.994138 + 0.108119i 3.25899 1.96087i
194.2 1.08146 1.59504i −0.0541389 0.998533i −1.00445 2.52098i 1.79124 + 0.828715i −1.65125 0.993524i 0 −3.22529 0.709940i −0.994138 + 0.108119i 3.25899 1.96087i
272.1 −1.28285 + 1.21518i −0.976621 + 0.214970i 0.114903 2.11926i −0.195813 + 1.19440i 0.991631 1.46255i 0 1.28394 + 1.51157i 0.907575 0.419889i −1.20022 1.77019i
272.2 1.28285 1.21518i −0.976621 + 0.214970i 0.114903 2.11926i 0.195813 1.19440i −0.991631 + 1.46255i 0 −1.28394 1.51157i 0.907575 0.419889i −1.20022 1.77019i
311.1 −1.34324 0.295670i 0.161782 + 0.986827i 0.809305 + 0.374424i 0.472729 + 1.70262i 0.0744626 1.37338i 0 0.118558 + 0.0901257i −0.947653 + 0.319302i −0.131577 2.42680i
311.2 1.34324 + 0.295670i 0.161782 + 0.986827i 0.809305 + 0.374424i −0.472729 1.70262i −0.0744626 + 1.37338i 0 −0.118558 0.0901257i −0.947653 + 0.319302i −0.131577 2.42680i
389.1 −0.528008 1.90171i 0.561187 0.827689i −2.48086 + 1.49269i 0.0232765 + 0.429310i −1.87034 0.630190i 0 2.71571 + 2.57246i −0.370138 0.928977i 0.804135 0.270945i
389.2 0.528008 + 1.90171i 0.561187 0.827689i −2.48086 + 1.49269i −0.0232765 0.429310i 1.87034 + 0.630190i 0 −2.71571 2.57246i −0.370138 0.928977i 0.804135 0.270945i
428.1 −1.84706 + 0.200880i −0.647386 0.762162i 2.39466 0.527106i −0.820858 + 0.624000i 1.34887 + 1.27771i 0 −2.55651 + 0.861390i −0.161782 + 0.986827i 1.39083 1.31746i
428.2 1.84706 0.200880i −0.647386 0.762162i 2.39466 0.527106i 0.820858 0.624000i −1.34887 1.27771i 0 2.55651 0.861390i −0.161782 + 0.986827i 1.39083 1.31746i
584.1 −0.381652 0.957875i 0.994138 0.108119i −0.0458707 + 0.0434510i 0.413423 + 0.486719i −0.482980 0.910996i 0 −0.876681 0.405596i 0.976621 0.214970i 0.308432 0.581765i
584.2 0.381652 + 0.957875i 0.994138 0.108119i −0.0458707 + 0.0434510i −0.413423 0.486719i 0.482980 + 0.910996i 0 0.876681 + 0.405596i 0.976621 0.214970i 0.308432 0.581765i
779.1 −0.795818 + 0.268142i 0.856857 0.515554i −0.234666 + 0.178389i −0.739191 1.85523i −0.543661 + 0.640047i 0 0.610191 0.899964i 0.468408 0.883512i 1.08573 + 1.27822i
779.2 0.795818 0.268142i 0.856857 0.515554i −0.234666 + 0.178389i 0.739191 + 1.85523i 0.543661 0.640047i 0 −0.610191 + 0.899964i 0.468408 0.883512i 1.08573 + 1.27822i
818.1 −0.0695567 + 0.424277i −0.267528 + 0.963550i 0.772480 + 0.260279i 0.771856 + 1.13840i −0.390204 0.180527i 0 −0.365549 + 0.689499i −0.856857 0.515554i −0.536686 + 0.248297i
818.2 0.0695567 0.424277i −0.267528 + 0.963550i 0.772480 + 0.260279i −0.771856 1.13840i 0.390204 + 0.180527i 0 0.365549 0.689499i −0.856857 0.515554i −0.536686 + 0.248297i
1052.1 −0.381652 + 0.957875i 0.994138 + 0.108119i −0.0458707 0.0434510i 0.413423 0.486719i −0.482980 + 0.910996i 0 −0.876681 + 0.405596i 0.976621 + 0.214970i 0.308432 + 0.581765i
1052.2 0.381652 0.957875i 0.994138 + 0.108119i −0.0458707 0.0434510i −0.413423 + 0.486719i 0.482980 0.910996i 0 0.876681 0.405596i 0.976621 + 0.214970i 0.308432 + 0.581765i
See all 56 embeddings
\(n\): e.g. 2-40 or 990-1000
Embeddings: e.g. 1-3 or 116.2
Significant digits:
Format:

Inner twists

Char Parity Ord Mult Type
1.a even 1 1 trivial
39.d odd 2 1 CM by \(\Q(\sqrt{-39}) \)
3.b odd 2 1 inner
13.b even 2 1 inner
59.c even 29 1 inner
177.h odd 58 1 inner
767.p even 58 1 inner
2301.z odd 58 1 inner

Twists

       By twisting character orbit
Char Parity Ord Mult Type Twist Min Dim
1.a even 1 1 trivial 2301.1.z.c 56
3.b odd 2 1 inner 2301.1.z.c 56
13.b even 2 1 inner 2301.1.z.c 56
39.d odd 2 1 CM 2301.1.z.c 56
59.c even 29 1 inner 2301.1.z.c 56
177.h odd 58 1 inner 2301.1.z.c 56
767.p even 58 1 inner 2301.1.z.c 56
2301.z odd 58 1 inner 2301.1.z.c 56
    
        By twisted newform orbit
Twist Min Dim Char Parity Ord Mult Type
2301.1.z.c 56 1.a even 1 1 trivial
2301.1.z.c 56 3.b odd 2 1 inner
2301.1.z.c 56 13.b even 2 1 inner
2301.1.z.c 56 39.d odd 2 1 CM
2301.1.z.c 56 59.c even 29 1 inner
2301.1.z.c 56 177.h odd 58 1 inner
2301.1.z.c 56 767.p even 58 1 inner
2301.1.z.c 56 2301.z odd 58 1 inner

Hecke kernels

This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{56} + 58 T_{2}^{48} - 8294 T_{2}^{42} + 1247 T_{2}^{40} + 3306 T_{2}^{36} + 1223742 T_{2}^{34} + \cdots + 841 \) acting on \(S_{1}^{\mathrm{new}}(2301, [\chi])\). Copy content Toggle raw display

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ \( T^{56} + 58 T^{48} + \cdots + 841 \) Copy content Toggle raw display
$3$ \( (T^{28} - T^{27} + T^{26} + \cdots + 1)^{2} \) Copy content Toggle raw display
$5$ \( T^{56} + 406 T^{48} + \cdots + 841 \) Copy content Toggle raw display
$7$ \( T^{56} \) Copy content Toggle raw display
$11$ \( T^{56} + 1218 T^{46} + \cdots + 841 \) Copy content Toggle raw display
$13$ \( (T^{28} - T^{27} + T^{26} + \cdots + 1)^{2} \) Copy content Toggle raw display
$17$ \( T^{56} \) Copy content Toggle raw display
$19$ \( T^{56} \) Copy content Toggle raw display
$23$ \( T^{56} \) Copy content Toggle raw display
$29$ \( T^{56} \) Copy content Toggle raw display
$31$ \( T^{56} \) Copy content Toggle raw display
$37$ \( T^{56} \) Copy content Toggle raw display
$41$ \( T^{56} + 58 T^{52} + \cdots + 841 \) Copy content Toggle raw display
$43$ \( (T^{28} + 2 T^{27} + \cdots + 1)^{2} \) Copy content Toggle raw display
$47$ \( T^{56} - 58 T^{46} + \cdots + 841 \) Copy content Toggle raw display
$53$ \( T^{56} \) Copy content Toggle raw display
$59$ \( T^{56} - T^{54} + \cdots + 1 \) Copy content Toggle raw display
$61$ \( (T^{28} - 2 T^{27} + \cdots + 1)^{2} \) Copy content Toggle raw display
$67$ \( T^{56} \) Copy content Toggle raw display
$71$ \( T^{56} + 58 T^{48} + \cdots + 841 \) Copy content Toggle raw display
$73$ \( T^{56} \) Copy content Toggle raw display
$79$ \( (T^{28} - 2 T^{27} + \cdots + 1)^{2} \) Copy content Toggle raw display
$83$ \( T^{56} + 58 T^{36} + \cdots + 841 \) Copy content Toggle raw display
$89$ \( T^{56} + 58 T^{36} + \cdots + 841 \) Copy content Toggle raw display
$97$ \( T^{56} \) Copy content Toggle raw display
show more
show less