Properties

Label 2717.1.db.c
Level $2717$
Weight $1$
Character orbit 2717.db
Analytic conductor $1.356$
Analytic rank $0$
Dimension $24$
Projective image $D_{45}$
CM discriminant -143
Inner twists $4$

Related objects

Downloads

Learn more

Show commands: Magma / PariGP / SageMath

Newspace parameters

comment: Compute space of new eigenforms
 
[N,k,chi] = [2717,1,Mod(142,2717)]
 
mf = mfinit([N,k,chi],0)
 
lf = mfeigenbasis(mf)
 
from sage.modular.dirichlet import DirichletCharacter
 
H = DirichletGroup(2717, base_ring=CyclotomicField(18))
 
chi = DirichletCharacter(H, H._module([9, 9, 8]))
 
N = Newforms(chi, 1, names="a")
 
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
 
chi := DirichletCharacter("2717.142");
 
S:= CuspForms(chi, 1);
 
N := Newforms(S);
 
Level: \( N \) \(=\) \( 2717 = 11 \cdot 13 \cdot 19 \)
Weight: \( k \) \(=\) \( 1 \)
Character orbit: \([\chi]\) \(=\) 2717.db (of order \(18\), degree \(6\), minimal)

Newform invariants

comment: select newform
 
sage: f = N[0] # Warning: the index may be different
 
gp: f = lf[1] \\ Warning: the index may be different
 
Self dual: no
Analytic conductor: \(1.35595963932\)
Analytic rank: \(0\)
Dimension: \(24\)
Relative dimension: \(4\) over \(\Q(\zeta_{18})\)
Coefficient field: \(\Q(\zeta_{45})\)
comment: defining polynomial
 
gp: f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{24} - x^{21} + x^{15} - x^{12} + x^{9} - x^{3} + 1 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{19}]\)
Coefficient ring index: \( 1 \)
Twist minimal: yes
Projective image: \(D_{45}\)
Projective field: Galois closure of \(\mathbb{Q}[x]/(x^{45} - \cdots)\)

$q$-expansion

comment: q-expansion
 
sage: f.q_expansion() # note that sage often uses an isomorphic number field
 
gp: mfcoefs(f, 20)
 

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

\(f(q)\) \(=\) \( q + (\zeta_{90}^{39} + \zeta_{90}^{11}) q^{2} + (\zeta_{90}^{14} + \zeta_{90}^{6}) q^{3} + ( - \zeta_{90}^{33} + \cdots - \zeta_{90}^{5}) q^{4}+ \cdots + (\zeta_{90}^{28} + \cdots + \zeta_{90}^{12}) q^{9}+O(q^{10}) \) Copy content Toggle raw display \( q + (\zeta_{90}^{39} + \zeta_{90}^{11}) q^{2} + (\zeta_{90}^{14} + \zeta_{90}^{6}) q^{3} + ( - \zeta_{90}^{33} + \cdots - \zeta_{90}^{5}) q^{4}+ \cdots + ( - \zeta_{90}^{42} + \cdots + \zeta_{90}^{5}) q^{99}+O(q^{100}) \) Copy content Toggle raw display
\(\operatorname{Tr}(f)(q)\) \(=\) \( 24 q - 3 q^{2} + 3 q^{3} + 3 q^{4} - 24 q^{6} + 3 q^{8} + 3 q^{9}+O(q^{10}) \) Copy content Toggle raw display \( 24 q - 3 q^{2} + 3 q^{3} + 3 q^{4} - 24 q^{6} + 3 q^{8} + 3 q^{9} + 12 q^{11} - 3 q^{12} + 3 q^{14} - 3 q^{16} - 6 q^{18} - 3 q^{21} + 3 q^{22} + 3 q^{23} + 6 q^{24} - 3 q^{27} + 9 q^{28} + 9 q^{32} + 6 q^{33} + 30 q^{36} - 3 q^{41} + 12 q^{42} + 6 q^{44} + 3 q^{46} - 12 q^{49} - 3 q^{52} + 3 q^{53} - 21 q^{54} - 12 q^{56} - 6 q^{63} - 15 q^{64} - 12 q^{66} - 3 q^{69} - 15 q^{72} - 3 q^{76} - 12 q^{78} + 6 q^{81} + 3 q^{82} - 12 q^{84} - 3 q^{88} - 6 q^{91} - 3 q^{92} + 6 q^{96} - 6 q^{98} - 3 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Character values

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

\(n\) \(210\) \(287\) \(2224\)
\(\chi(n)\) \(-1\) \(-\zeta_{90}^{5}\) \(-1\)

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.

comment: embeddings in the coefficient field
 
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} \)
142.1
−0.241922 + 0.970296i
−0.997564 + 0.0697565i
0.848048 + 0.529919i
−0.374607 0.927184i
0.438371 0.898794i
0.990268 + 0.139173i
−0.719340 0.694658i
−0.882948 + 0.469472i
0.438371 + 0.898794i
0.990268 0.139173i
−0.719340 + 0.694658i
−0.882948 0.469472i
−0.615661 + 0.788011i
0.559193 + 0.829038i
0.961262 0.275637i
0.0348995 0.999391i
−0.615661 0.788011i
0.559193 0.829038i
0.961262 + 0.275637i
0.0348995 + 0.999391i
−0.333843 1.89332i 0.856733 0.718885i −2.53350 + 0.922119i 0 −1.64709 1.38207i −0.615661 + 1.06636i 1.63039 + 2.82392i 0.0435487 0.246977i 0
142.2 −0.194206 1.10140i 1.47274 1.23577i −0.235663 + 0.0857741i 0 −1.64709 1.38207i 0.0348995 0.0604477i −0.418955 0.725651i 0.468172 2.65514i 0
142.3 −0.0121205 0.0687386i −0.943248 + 0.791479i 0.935115 0.340354i 0 0.0658378 + 0.0552444i 0.961262 1.66495i −0.0696290 0.120601i 0.0896296 0.508315i 0
142.4 0.213817 + 1.21262i 0.0534691 0.0448659i −0.485028 + 0.176536i 0 0.0658378 + 0.0552444i 0.559193 0.968551i 0.297884 + 0.515950i −0.172802 + 0.980010i 0
1429.1 −1.87481 0.682374i −0.0840186 0.476493i 2.28322 + 1.91585i 0 −0.167628 + 0.950665i 0.848048 1.46886i −1.97571 3.42203i 0.719706 0.261952i 0
1429.2 −0.704030 0.256246i 0.294524 + 1.67033i −0.336048 0.281978i 0 0.220661 1.25143i −0.997564 + 1.72783i 0.538939 + 0.933469i −1.76356 + 0.641884i 0
1429.3 −0.454664 0.165484i −0.346450 1.96482i −0.586710 0.492308i 0 −0.167628 + 0.950665i −0.374607 + 0.648838i 0.427209 + 0.739947i −2.80079 + 1.01940i 0
1429.4 1.59381 + 0.580099i −0.130100 0.737831i 1.43767 + 1.20635i 0 0.220661 1.25143i −0.241922 + 0.419021i 0.743520 + 1.28781i 0.412224 0.150037i 0
1715.1 −1.87481 + 0.682374i −0.0840186 + 0.476493i 2.28322 1.91585i 0 −0.167628 0.950665i 0.848048 + 1.46886i −1.97571 + 3.42203i 0.719706 + 0.261952i 0
1715.2 −0.704030 + 0.256246i 0.294524 1.67033i −0.336048 + 0.281978i 0 0.220661 + 1.25143i −0.997564 1.72783i 0.538939 0.933469i −1.76356 0.641884i 0
1715.3 −0.454664 + 0.165484i −0.346450 + 1.96482i −0.586710 + 0.492308i 0 −0.167628 0.950665i −0.374607 0.648838i 0.427209 0.739947i −2.80079 1.01940i 0
1715.4 1.59381 0.580099i −0.130100 + 0.737831i 1.43767 1.20635i 0 0.220661 + 1.25143i −0.241922 0.419021i 0.743520 1.28781i 0.412224 + 0.150037i 0
2001.1 −1.51718 + 1.27306i 1.65940 + 0.603972i 0.507491 2.87812i 0 −3.28650 + 1.19619i 0.438371 0.759281i 1.90381 + 3.29750i 1.62278 + 1.36167i 0
2001.2 −0.671624 + 0.563559i 1.35192 + 0.492057i −0.0401688 + 0.227809i 0 −1.18528 + 0.431408i −0.882948 + 1.52931i −0.539776 0.934920i 0.819514 + 0.687654i 0
2001.3 1.10209 0.924765i −0.823868 0.299864i 0.185769 1.05355i 0 −1.18528 + 0.431408i 0.990268 1.71519i −0.0502092 0.0869649i −0.177204 0.148692i 0
2001.4 1.35275 1.13510i −1.86110 0.677383i 0.367854 2.08620i 0 −3.28650 + 1.19619i −0.719340 + 1.24593i −0.987476 1.71036i 2.23878 + 1.87856i 0
2144.1 −1.51718 1.27306i 1.65940 0.603972i 0.507491 + 2.87812i 0 −3.28650 1.19619i 0.438371 + 0.759281i 1.90381 3.29750i 1.62278 1.36167i 0
2144.2 −0.671624 0.563559i 1.35192 0.492057i −0.0401688 0.227809i 0 −1.18528 0.431408i −0.882948 1.52931i −0.539776 + 0.934920i 0.819514 0.687654i 0
2144.3 1.10209 + 0.924765i −0.823868 + 0.299864i 0.185769 + 1.05355i 0 −1.18528 0.431408i 0.990268 + 1.71519i −0.0502092 + 0.0869649i −0.177204 + 0.148692i 0
2144.4 1.35275 + 1.13510i −1.86110 + 0.677383i 0.367854 + 2.08620i 0 −3.28650 1.19619i −0.719340 1.24593i −0.987476 + 1.71036i 2.23878 1.87856i 0
See all 24 embeddings
\(n\): e.g. 2-40 or 990-1000
Embeddings: e.g. 1-3 or 142.4
Significant digits:
Format:

Inner twists

Char Parity Ord Mult Type
1.a even 1 1 trivial
143.d odd 2 1 CM by \(\Q(\sqrt{-143}) \)
19.e even 9 1 inner
2717.db odd 18 1 inner

Twists

       By twisting character orbit
Char Parity Ord Mult Type Twist Min Dim
1.a even 1 1 trivial 2717.1.db.c 24
11.b odd 2 1 2717.1.db.d yes 24
13.b even 2 1 2717.1.db.d yes 24
19.e even 9 1 inner 2717.1.db.c 24
143.d odd 2 1 CM 2717.1.db.c 24
209.q odd 18 1 2717.1.db.d yes 24
247.bn even 18 1 2717.1.db.d yes 24
2717.db odd 18 1 inner 2717.1.db.c 24
    
        By twisted newform orbit
Twist Min Dim Char Parity Ord Mult Type
2717.1.db.c 24 1.a even 1 1 trivial
2717.1.db.c 24 19.e even 9 1 inner
2717.1.db.c 24 143.d odd 2 1 CM
2717.1.db.c 24 2717.db odd 18 1 inner
2717.1.db.d yes 24 11.b odd 2 1
2717.1.db.d yes 24 13.b even 2 1
2717.1.db.d yes 24 209.q odd 18 1
2717.1.db.d yes 24 247.bn even 18 1

Hecke kernels

This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{24} + 3 T_{2}^{23} + 3 T_{2}^{22} - T_{2}^{21} + 15 T_{2}^{19} + 68 T_{2}^{18} + 90 T_{2}^{17} + \cdots + 1 \) acting on \(S_{1}^{\mathrm{new}}(2717, [\chi])\). Copy content Toggle raw display

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ \( T^{24} + 3 T^{23} + \cdots + 1 \) Copy content Toggle raw display
$3$ \( T^{24} - 3 T^{23} + \cdots + 1 \) Copy content Toggle raw display
$5$ \( T^{24} \) Copy content Toggle raw display
$7$ \( T^{24} + 12 T^{22} + \cdots + 1 \) Copy content Toggle raw display
$11$ \( (T^{2} - T + 1)^{12} \) Copy content Toggle raw display
$13$ \( (T^{6} - T^{3} + 1)^{4} \) Copy content Toggle raw display
$17$ \( T^{24} \) Copy content Toggle raw display
$19$ \( T^{24} + T^{21} + \cdots + 1 \) Copy content Toggle raw display
$23$ \( T^{24} - 3 T^{23} + \cdots + 1 \) Copy content Toggle raw display
$29$ \( T^{24} \) Copy content Toggle raw display
$31$ \( T^{24} \) Copy content Toggle raw display
$37$ \( T^{24} \) Copy content Toggle raw display
$41$ \( T^{24} + 3 T^{23} + \cdots + 1 \) Copy content Toggle raw display
$43$ \( T^{24} \) Copy content Toggle raw display
$47$ \( T^{24} \) Copy content Toggle raw display
$53$ \( T^{24} - 3 T^{23} + \cdots + 1 \) Copy content Toggle raw display
$59$ \( T^{24} \) Copy content Toggle raw display
$61$ \( T^{24} \) Copy content Toggle raw display
$67$ \( T^{24} \) Copy content Toggle raw display
$71$ \( T^{24} \) Copy content Toggle raw display
$73$ \( (T^{12} + 4 T^{9} + 17 T^{6} + \cdots + 1)^{2} \) Copy content Toggle raw display
$79$ \( T^{24} \) Copy content Toggle raw display
$83$ \( T^{24} + 12 T^{22} + \cdots + 1 \) Copy content Toggle raw display
$89$ \( T^{24} \) Copy content Toggle raw display
$97$ \( T^{24} \) Copy content Toggle raw display
show more
show less